runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108281254/packup2hy4tr-0.6/rand574.cudf.s-e.log.runsolver ./packup2hy4tr-0.6 /home/misc2010/data/2011/incremental/s-e/rand574.cudf /home/misc2010/tmp/201108281254/packup2hy4tr-0.6/rand574.cudf.s-e.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/37 21238
/proc/meminfo: memFree=347120/1048576 swapFree=0/0
[pid=21237] ppid=21236 vsize=2568 CPUtime=0
/proc/21237/stat : 21237 (packup2hy4tr-0.) S 21236 21237 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35935315 2629632 273 1283457024 134512640 135304128 4291964752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/21237/statm: 642 273 233 194 0 29 0
[pid=21238] ppid=21237 vsize=3712 CPUtime=0
/proc/21238/stat : 21238 (packup) D 21237 21237 17551 34817 17551 4202496 388 0 0 0 0 0 0 0 18 0 1 0 35935315 3801088 317 1283457024 134512640 134752139 4293275760 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/21238/statm: 928 317 273 59 0 92 0

[startup+0.203819 s]
/proc/loadavg: 1.00 1.00 1.00 3/37 21238
/proc/meminfo: memFree=347120/1048576 swapFree=0/0
[pid=21237] ppid=21236 vsize=2568 CPUtime=0
/proc/21237/stat : 21237 (packup2hy4tr-0.) S 21236 21237 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35935315 2629632 273 1283457024 134512640 135304128 4291964752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/21237/statm: 642 273 233 194 0 29 0
[pid=21238] ppid=21237 vsize=10340 CPUtime=0.16
/proc/21238/stat : 21238 (packup) R 21237 21237 17551 34817 17551 4202496 2084 0 0 0 16 0 0 0 25 0 1 0 35935315 10588160 2013 1283457024 134512640 134752139 4293275760 18446744073709551615 134681674 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/21238/statm: 2585 2013 286 59 0 1749 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 12908

[startup+0.307811 s]
/proc/loadavg: 1.00 1.00 1.00 3/37 21238
/proc/meminfo: memFree=347120/1048576 swapFree=0/0
[pid=21237] ppid=21236 vsize=2568 CPUtime=0
/proc/21237/stat : 21237 (packup2hy4tr-0.) S 21236 21237 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35935315 2629632 273 1283457024 134512640 135304128 4291964752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/21237/statm: 642 273 233 194 0 29 0
[pid=21238] ppid=21237 vsize=13544 CPUtime=0.25
/proc/21238/stat : 21238 (packup) R 21237 21237 17551 34817 17551 4202496 2866 0 0 0 25 0 0 0 25 0 1 0 35935315 13869056 2795 1283457024 134512640 134752139 4293275760 18446744073709551615 134681685 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/21238/statm: 3386 2795 286 59 0 2550 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 16112

[startup+0.407817 s]
/proc/loadavg: 1.00 1.00 1.00 3/37 21238
/proc/meminfo: memFree=347120/1048576 swapFree=0/0
[pid=21237] ppid=21236 vsize=2568 CPUtime=0
/proc/21237/stat : 21237 (packup2hy4tr-0.) S 21236 21237 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35935315 2629632 273 1283457024 134512640 135304128 4291964752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/21237/statm: 642 273 233 194 0 29 0
[pid=21238] ppid=21237 vsize=16248 CPUtime=0.34
/proc/21238/stat : 21238 (packup) R 21237 21237 17551 34817 17551 4202496 3568 0 0 0 34 0 0 0 25 0 1 0 35935315 16637952 3497 1283457024 134512640 134752139 4293275760 18446744073709551615 134681694 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/21238/statm: 4062 3497 286 59 0 3226 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 18816

[startup+0.715953 s]
/proc/loadavg: 1.00 1.00 1.00 3/37 21238
/proc/meminfo: memFree=347120/1048576 swapFree=0/0
[pid=21237] ppid=21236 vsize=2568 CPUtime=0
/proc/21237/stat : 21237 (packup2hy4tr-0.) S 21236 21237 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35935315 2629632 273 1283457024 134512640 135304128 4291964752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/21237/statm: 642 273 233 194 0 29 0
[pid=21238] ppid=21237 vsize=28412 CPUtime=0.65
/proc/21238/stat : 21238 (packup) R 21237 21237 17551 34817 17551 4202496 6627 0 0 0 60 5 0 0 25 0 1 0 35935315 29093888 6440 1283457024 134512640 134752139 4293275760 18446744073709551615 4294960130 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/21238/statm: 7103 6440 321 59 0 6267 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 30980

[startup+1.5061 s]
/proc/loadavg: 1.00 1.00 1.00 2/41 21245
/proc/meminfo: memFree=304864/1048576 swapFree=0/0
[pid=21237] ppid=21236 vsize=2568 CPUtime=0
/proc/21237/stat : 21237 (packup2hy4tr-0.) S 21236 21237 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35935315 2629632 273 1283457024 134512640 135304128 4291964752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/21237/statm: 642 273 233 194 0 29 0
[pid=21238] ppid=21237 vsize=28412 CPUtime=0.75
/proc/21238/stat : 21238 (packup) S 21237 21237 17551 34817 17551 4202496 6632 0 0 0 62 13 0 0 25 0 1 0 35935315 29093888 6443 1283457024 134512640 134752139 4293275760 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/21238/statm: 7103 6443 324 59 0 6267 0
[pid=21240] ppid=21238 vsize=1672 CPUtime=0
/proc/21240/stat : 21240 (sh) S 21238 21237 17551 34817 17551 4202496 147 0 0 0 0 0 0 0 25 0 1 0 35935398 1712128 124 1283457024 134512640 134593992 4292311088 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/21240/statm: 418 124 108 20 0 45 0
[pid=21241] ppid=21240 vsize=2568 CPUtime=0.01
/proc/21241/stat : 21241 (run_h) S 21240 21237 17551 34817 17551 4202496 367 614 0 0 0 1 0 0 25 0 1 0 35935399 2629632 273 1283457024 134512640 135304128 4293023984 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21241/statm: 642 273 232 194 0 29 0
[pid=21245] ppid=21241 vsize=18828 CPUtime=0.66
/proc/21245/stat : 21245 (minisatp_32) R 21241 21237 17551 34817 17551 4202496 4088 0 0 0 62 4 0 0 25 0 1 0 35935399 19279872 3526 1283457024 134512640 135413687 4288500880 18446744073709551615 134656402 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/21245/statm: 4707 3526 85 220 0 4485 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 54048

[startup+3.10639 s]
/proc/loadavg: 1.00 1.00 1.00 2/41 21251
/proc/meminfo: memFree=307840/1048576 swapFree=0/0
[pid=21237] ppid=21236 vsize=2568 CPUtime=0
/proc/21237/stat : 21237 (packup2hy4tr-0.) S 21236 21237 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35935315 2629632 273 1283457024 134512640 135304128 4291964752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/21237/statm: 642 273 233 194 0 29 0
[pid=21238] ppid=21237 vsize=28416 CPUtime=2.01
/proc/21238/stat : 21238 (packup) S 21237 21237 17551 34817 17551 4202496 6708 9430 0 0 72 20 101 8 18 0 1 0 35935315 29097984 6457 1283457024 134512640 134752139 4293275760 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/21238/statm: 7104 6457 332 59 0 6268 0
[pid=21246] ppid=21238 vsize=1672 CPUtime=0
/proc/21246/stat : 21246 (sh) S 21238 21237 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35935526 1712128 123 1283457024 134512640 134593992 4288634032 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/21246/statm: 418 123 108 20 0 45 0
[pid=21247] ppid=21246 vsize=2572 CPUtime=0
/proc/21247/stat : 21247 (run_h) S 21246 21237 17551 34817 17551 4202496 367 612 0 0 0 0 0 0 21 0 1 0 35935526 2633728 273 1283457024 134512640 135304128 4292298816 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21247/statm: 643 273 232 194 0 30 0
[pid=21251] ppid=21247 vsize=27308 CPUtime=0.99
/proc/21251/stat : 21251 (minisatp_32) R 21247 21237 17551 34817 17551 4202496 8216 0 0 0 86 13 0 0 25 0 1 0 35935526 27963392 6163 1283457024 134512640 135413687 4288027680 18446744073709551615 134657337 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/21251/statm: 6827 6163 94 220 0 6605 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 62536

[startup+6.30721 s]
/proc/loadavg: 1.00 1.00 1.00 2/41 21257
/proc/meminfo: memFree=266672/1048576 swapFree=0/0
[pid=21237] ppid=21236 vsize=2568 CPUtime=0
/proc/21237/stat : 21237 (packup2hy4tr-0.) S 21236 21237 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35935315 2629632 273 1283457024 134512640 135304128 4291964752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/21237/statm: 642 273 233 194 0 29 0
[pid=21238] ppid=21237 vsize=28420 CPUtime=4.03
/proc/21238/stat : 21238 (packup) S 21237 21237 17551 34817 17551 4202496 6780 27458 0 0 80 29 268 26 18 0 1 0 35935315 29102080 6461 1283457024 134512640 134752139 4293275760 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/21238/statm: 7105 6461 332 59 0 6269 0
[pid=21252] ppid=21238 vsize=1676 CPUtime=0.01
/proc/21252/stat : 21252 (sh) S 21238 21237 17551 34817 17551 4202496 147 0 0 0 0 1 0 0 18 0 1 0 35935728 1716224 124 1283457024 134512640 134593992 4290041344 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/21252/statm: 419 124 108 20 0 46 0
[pid=21253] ppid=21252 vsize=2568 CPUtime=0
/proc/21253/stat : 21253 (run_h) S 21252 21237 17551 34817 17551 4202496 367 613 0 0 0 0 0 0 20 0 1 0 35935728 2629632 273 1283457024 134512640 135304128 4287384464 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21253/statm: 642 273 232 194 0 29 0
[pid=21257] ppid=21253 vsize=53644 CPUtime=2.16
/proc/21257/stat : 21257 (minisatp_32) R 21253 21237 17551 34817 17551 4202496 18097 0 0 0 202 14 0 0 25 0 1 0 35935729 54931456 12202 1283457024 134512640 135413687 4292583536 18446744073709551615 134683810 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/21257/statm: 13411 12202 94 220 0 13189 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 88876

Solver just ended. Dumping a history of the last processes samples

[startup+6.50726 s]
/proc/loadavg: 1.00 1.00 1.00 2/41 21257
/proc/meminfo: memFree=266672/1048576 swapFree=0/0
[pid=21237] ppid=21236 vsize=2568 CPUtime=0
/proc/21237/stat : 21237 (packup2hy4tr-0.) S 21236 21237 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35935315 2629632 273 1283457024 134512640 135304128 4291964752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/21237/statm: 642 273 233 194 0 29 0
[pid=21238] ppid=21237 vsize=28420 CPUtime=4.03
/proc/21238/stat : 21238 (packup) S 21237 21237 17551 34817 17551 4202496 6780 27458 0 0 80 29 268 26 18 0 1 0 35935315 29102080 6461 1283457024 134512640 134752139 4293275760 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/21238/statm: 7105 6461 332 59 0 6269 0
[pid=21252] ppid=21238 vsize=1676 CPUtime=0.01
/proc/21252/stat : 21252 (sh) S 21238 21237 17551 34817 17551 4202496 147 0 0 0 0 1 0 0 18 0 1 0 35935728 1716224 124 1283457024 134512640 134593992 4290041344 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/21252/statm: 419 124 108 20 0 46 0
[pid=21253] ppid=21252 vsize=2568 CPUtime=0
/proc/21253/stat : 21253 (run_h) S 21252 21237 17551 34817 17551 4202496 367 613 0 0 0 0 0 0 20 0 1 0 35935728 2629632 273 1283457024 134512640 135304128 4287384464 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21253/statm: 642 273 232 194 0 29 0
[pid=21257] ppid=21253 vsize=50504 CPUtime=2.36
/proc/21257/stat : 21257 (minisatp_32) R 21253 21237 17551 34817 17551 4202496 18534 0 0 0 222 14 0 0 25 0 1 0 35935729 51716096 11657 1283457024 134512640 135413687 4292583536 18446744073709551615 134682843 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/21257/statm: 12626 11657 94 220 0 12404 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 85736

[startup+9.70976 s]
/proc/loadavg: 1.00 1.00 1.00 2/43 21268
/proc/meminfo: memFree=243948/1048576 swapFree=0/0
[pid=21237] ppid=21236 vsize=2568 CPUtime=0
/proc/21237/stat : 21237 (packup2hy4tr-0.) S 21236 21237 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35935315 2629632 273 1283457024 134512640 135304128 4291964752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/21237/statm: 642 273 233 194 0 29 0
[pid=21238] ppid=21237 vsize=28424 CPUtime=7.25
/proc/21238/stat : 21238 (packup) S 21237 21237 17551 34817 17551 4202496 6845 52730 0 0 84 43 551 47 18 0 1 0 35935315 29106176 6462 1283457024 134512640 134752139 4293275760 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/21238/statm: 7106 6462 332 59 0 6270 0
[pid=21258] ppid=21238 vsize=1668 CPUtime=0
/proc/21258/stat : 21258 (sh) S 21238 21237 17551 34817 17551 4202496 147 0 0 0 0 0 0 0 18 0 1 0 35936052 1708032 123 1283457024 134512640 134593992 4294881952 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/21258/statm: 417 123 108 20 0 44 0
[pid=21259] ppid=21258 vsize=2572 CPUtime=0
/proc/21259/stat : 21259 (run_h) S 21258 21237 17551 34817 17551 4202496 368 614 0 0 0 0 0 0 20 0 1 0 35936052 2633728 273 1283457024 134512640 135304128 4294773408 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21259/statm: 643 273 232 194 0 30 0
[pid=21263] ppid=21259 vsize=2568 CPUtime=0
/proc/21263/stat : 21263 (run_scip) S 21259 21237 17551 34817 17551 4202496 393 755 0 0 0 0 0 0 22 0 1 0 35936053 2629632 269 1283457024 134512640 135304128 4291880912 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21263/statm: 642 269 228 194 0 29 0
[pid=21267] ppid=21263 vsize=85132 CPUtime=2.32
/proc/21267/stat : 21267 (scip-2.0.1.linu) R 21263 21237 17551 34817 17551 4202496 23835 0 0 0 195 37 0 0 25 0 1 0 35936053 87175168 18993 1283457024 134512640 143279753 4290797184 18446744073709551615 134862975 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/21267/statm: 21283 18993 653 2141 0 19139 0
[pid=21268] ppid=21263 vsize=7192 CPUtime=0.01
/proc/21268/stat : 21268 (scip2v) S 21263 21237 17551 34817 17551 4202496 1009 0 0 0 1 0 0 0 18 0 1 0 35936065 7364608 847 1283457024 134512640 136477024 4294574704 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/21268/statm: 1798 847 474 480 0 383 0
Current children cumulated CPU time (s) 9.58
Current children cumulated vsize (KiB) 130124

[startup+10.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/43 21268
/proc/meminfo: memFree=236756/1048576 swapFree=0/0
[pid=21237] ppid=21236 vsize=2568 CPUtime=0
/proc/21237/stat : 21237 (packup2hy4tr-0.) S 21236 21237 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35935315 2629632 273 1283457024 134512640 135304128 4291964752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/21237/statm: 642 273 233 194 0 29 0
[pid=21238] ppid=21237 vsize=28424 CPUtime=7.25
/proc/21238/stat : 21238 (packup) S 21237 21237 17551 34817 17551 4202496 6845 52730 0 0 84 43 551 47 18 0 1 0 35935315 29106176 6462 1283457024 134512640 134752139 4293275760 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/21238/statm: 7106 6462 332 59 0 6270 0
[pid=21258] ppid=21238 vsize=1668 CPUtime=0
/proc/21258/stat : 21258 (sh) S 21238 21237 17551 34817 17551 4202496 147 0 0 0 0 0 0 0 18 0 1 0 35936052 1708032 123 1283457024 134512640 134593992 4294881952 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/21258/statm: 417 123 108 20 0 44 0
[pid=21259] ppid=21258 vsize=2572 CPUtime=0
/proc/21259/stat : 21259 (run_h) S 21258 21237 17551 34817 17551 4202496 368 614 0 0 0 0 0 0 20 0 1 0 35936052 2633728 273 1283457024 134512640 135304128 4294773408 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21259/statm: 643 273 232 194 0 30 0
[pid=21263] ppid=21259 vsize=2568 CPUtime=0
/proc/21263/stat : 21263 (run_scip) S 21259 21237 17551 34817 17551 4202496 393 755 0 0 0 0 0 0 22 0 1 0 35936053 2629632 269 1283457024 134512640 135304128 4291880912 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21263/statm: 642 269 228 194 0 29 0
[pid=21267] ppid=21263 vsize=86156 CPUtime=3.1
/proc/21267/stat : 21267 (scip-2.0.1.linu) R 21263 21237 17551 34817 17551 4202496 25766 0 0 0 273 37 0 0 25 0 1 0 35936053 88223744 19247 1283457024 134512640 143279753 4290797184 18446744073709551615 141131408 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/21267/statm: 21539 19247 657 2141 0 19395 0
[pid=21268] ppid=21263 vsize=7192 CPUtime=0.01
/proc/21268/stat : 21268 (scip2v) S 21263 21237 17551 34817 17551 4202496 1009 0 0 0 1 0 0 0 18 0 1 0 35936065 7364608 847 1283457024 134512640 136477024 4294574704 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/21268/statm: 1798 847 474 480 0 383 0
Current children cumulated CPU time (s) 10.36
Current children cumulated vsize (KiB) 131148

[startup+10.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/43 21268
/proc/meminfo: memFree=236756/1048576 swapFree=0/0
[pid=21237] ppid=21236 vsize=2568 CPUtime=0
/proc/21237/stat : 21237 (packup2hy4tr-0.) S 21236 21237 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35935315 2629632 273 1283457024 134512640 135304128 4291964752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/21237/statm: 642 273 233 194 0 29 0
[pid=21238] ppid=21237 vsize=28424 CPUtime=7.25
/proc/21238/stat : 21238 (packup) S 21237 21237 17551 34817 17551 4202496 6845 52730 0 0 84 43 551 47 18 0 1 0 35935315 29106176 6462 1283457024 134512640 134752139 4293275760 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/21238/statm: 7106 6462 332 59 0 6270 0
[pid=21258] ppid=21238 vsize=1668 CPUtime=0
/proc/21258/stat : 21258 (sh) S 21238 21237 17551 34817 17551 4202496 147 0 0 0 0 0 0 0 18 0 1 0 35936052 1708032 123 1283457024 134512640 134593992 4294881952 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/21258/statm: 417 123 108 20 0 44 0
[pid=21259] ppid=21258 vsize=2572 CPUtime=0
/proc/21259/stat : 21259 (run_h) S 21258 21237 17551 34817 17551 4202496 368 614 0 0 0 0 0 0 20 0 1 0 35936052 2633728 273 1283457024 134512640 135304128 4294773408 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21259/statm: 643 273 232 194 0 30 0
[pid=21263] ppid=21259 vsize=2568 CPUtime=0
/proc/21263/stat : 21263 (run_scip) S 21259 21237 17551 34817 17551 4202496 393 755 0 0 0 0 0 0 22 0 1 0 35936053 2629632 269 1283457024 134512640 135304128 4291880912 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21263/statm: 642 269 228 194 0 29 0
[pid=21267] ppid=21263 vsize=86156 CPUtime=3.5
/proc/21267/stat : 21267 (scip-2.0.1.linu) R 21263 21237 17551 34817 17551 4202496 25766 0 0 0 313 37 0 0 25 0 1 0 35936053 88223744 19247 1283457024 134512640 143279753 4290797184 18446744073709551615 135486201 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/21267/statm: 21539 19247 657 2141 0 19395 0
[pid=21268] ppid=21263 vsize=7192 CPUtime=0.01
/proc/21268/stat : 21268 (scip2v) S 21263 21237 17551 34817 17551 4202496 1009 0 0 0 1 0 0 0 18 0 1 0 35936065 7364608 847 1283457024 134512640 136477024 4294574704 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/21268/statm: 1798 847 474 480 0 383 0
Current children cumulated CPU time (s) 10.76
Current children cumulated vsize (KiB) 131148

[startup+11.3101 s]
/proc/loadavg: 1.00 1.00 1.00 2/43 21268
/proc/meminfo: memFree=235764/1048576 swapFree=0/0
[pid=21237] ppid=21236 vsize=2568 CPUtime=0
/proc/21237/stat : 21237 (packup2hy4tr-0.) S 21236 21237 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35935315 2629632 273 1283457024 134512640 135304128 4291964752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/21237/statm: 642 273 233 194 0 29 0
[pid=21238] ppid=21237 vsize=28424 CPUtime=7.25
/proc/21238/stat : 21238 (packup) S 21237 21237 17551 34817 17551 4202496 6845 52730 0 0 84 43 551 47 18 0 1 0 35935315 29106176 6462 1283457024 134512640 134752139 4293275760 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/21238/statm: 7106 6462 332 59 0 6270 0
[pid=21258] ppid=21238 vsize=1668 CPUtime=0
/proc/21258/stat : 21258 (sh) S 21238 21237 17551 34817 17551 4202496 147 0 0 0 0 0 0 0 18 0 1 0 35936052 1708032 123 1283457024 134512640 134593992 4294881952 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/21258/statm: 417 123 108 20 0 44 0
[pid=21259] ppid=21258 vsize=2572 CPUtime=0
/proc/21259/stat : 21259 (run_h) S 21258 21237 17551 34817 17551 4202496 368 614 0 0 0 0 0 0 20 0 1 0 35936052 2633728 273 1283457024 134512640 135304128 4294773408 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21259/statm: 643 273 232 194 0 30 0
[pid=21263] ppid=21259 vsize=2568 CPUtime=0
/proc/21263/stat : 21263 (run_scip) S 21259 21237 17551 34817 17551 4202496 393 755 0 0 0 0 0 0 22 0 1 0 35936053 2629632 269 1283457024 134512640 135304128 4291880912 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21263/statm: 642 269 228 194 0 29 0
[pid=21267] ppid=21263 vsize=87380 CPUtime=3.88
/proc/21267/stat : 21267 (scip-2.0.1.linu) R 21263 21237 17551 34817 17551 4202496 26432 0 0 0 345 43 0 0 25 0 1 0 35936053 89477120 19655 1283457024 134512640 143279753 4290797184 18446744073709551615 4294960130 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/21267/statm: 21845 19655 747 2141 0 19701 0
[pid=21268] ppid=21263 vsize=7372 CPUtime=0.03
/proc/21268/stat : 21268 (scip2v) S 21263 21237 17551 34817 17551 4202496 1048 0 0 0 1 2 0 0 18 0 1 0 35936065 7548928 886 1283457024 134512640 136477024 4294574704 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/21268/statm: 1843 886 479 480 0 428 0
Current children cumulated CPU time (s) 11.16
Current children cumulated vsize (KiB) 132552

[startup+11.4102 s]
/proc/loadavg: 1.00 1.00 1.00 2/43 21268
/proc/meminfo: memFree=235764/1048576 swapFree=0/0
[pid=21237] ppid=21236 vsize=2568 CPUtime=0
/proc/21237/stat : 21237 (packup2hy4tr-0.) S 21236 21237 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35935315 2629632 273 1283457024 134512640 135304128 4291964752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/21237/statm: 642 273 233 194 0 29 0
[pid=21238] ppid=21237 vsize=28036 CPUtime=11.29
/proc/21238/stat : 21238 (packup) R 21237 21237 17551 34817 17551 4202496 12125 82563 0 0 88 46 901 94 18 0 1 0 35935315 28708864 6378 1283457024 134512640 134752139 4293275760 18446744073709551615 4157511069 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/21238/statm: 7009 6378 345 59 0 6173 0
Current children cumulated CPU time (s) 11.29
Current children cumulated vsize (KiB) 30604

Child status: 0
Real time (s): 11.4401
CPU time (s): 11.3167
CPU user time (s): 9.91262
CPU system time (s): 1.40409
CPU usage (%): 98.9215
Max. virtual memory (cumulated for all children) (KiB): 132552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.91262
system time used= 1.40409
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95610
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12200
involuntary context switches= 12393

runsolver used 0.012 second user time and 0 second system time

The end