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/rand390.cudf.dudf-random.log.runsolver ./packup2hy4tr-0.6 /home/misc2010/data/2011/dudf-random//rand390.cudf /home/misc2010/tmp/201108281254/packup2hy4tr-0.6/rand390.cudf.dudf-random.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: 0.87 0.97 0.94 3/39 19105
/proc/meminfo: memFree=239008/1048576 swapFree=0/0
[pid=19104] ppid=19103 vsize=2572 CPUtime=0
/proc/19104/stat : 19104 (packup2hy4tr-0.) S 19103 19104 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 19 0 1 0 35519725 2633728 274 1283457024 134512640 135304128 4292628464 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19104/statm: 643 274 233 194 0 30 0
[pid=19105] ppid=19104 vsize=3712 CPUtime=0.01
/proc/19105/stat : 19105 (packup) D 19104 19104 17551 34817 17551 4202496 388 0 0 0 1 0 0 0 19 0 1 0 35519726 3801088 317 1283457024 134512640 134752139 4291884816 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/19105/statm: 928 317 273 59 0 92 0

[startup+0.123109 s]
/proc/loadavg: 0.87 0.97 0.94 3/39 19105
/proc/meminfo: memFree=239008/1048576 swapFree=0/0
[pid=19104] ppid=19103 vsize=2572 CPUtime=0
/proc/19104/stat : 19104 (packup2hy4tr-0.) S 19103 19104 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 19 0 1 0 35519725 2633728 274 1283457024 134512640 135304128 4292628464 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19104/statm: 643 274 233 194 0 30 0
[pid=19105] ppid=19104 vsize=7316 CPUtime=0.1
/proc/19105/stat : 19105 (packup) R 19104 19104 17551 34817 17551 4202496 1309 0 0 0 9 1 0 0 25 0 1 0 35519726 7491584 1238 1283457024 134512640 134752139 4291884816 18446744073709551615 4157557658 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19105/statm: 1829 1238 286 59 0 993 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9888

[startup+0.207049 s]
/proc/loadavg: 0.87 0.97 0.94 3/39 19105
/proc/meminfo: memFree=239008/1048576 swapFree=0/0
[pid=19104] ppid=19103 vsize=2572 CPUtime=0
/proc/19104/stat : 19104 (packup2hy4tr-0.) S 19103 19104 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 19 0 1 0 35519725 2633728 274 1283457024 134512640 135304128 4292628464 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19104/statm: 643 274 233 194 0 30 0
[pid=19105] ppid=19104 vsize=9560 CPUtime=0.16
/proc/19105/stat : 19105 (packup) R 19104 19104 17551 34817 17551 4202496 1894 0 0 0 15 1 0 0 25 0 1 0 35519726 9789440 1823 1283457024 134512640 134752139 4291884816 18446744073709551615 134706520 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19105/statm: 2390 1823 286 59 0 1554 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 12132

[startup+0.307052 s]
/proc/loadavg: 0.87 0.97 0.94 3/39 19105
/proc/meminfo: memFree=239008/1048576 swapFree=0/0
[pid=19104] ppid=19103 vsize=2572 CPUtime=0
/proc/19104/stat : 19104 (packup2hy4tr-0.) S 19103 19104 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 19 0 1 0 35519725 2633728 274 1283457024 134512640 135304128 4292628464 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19104/statm: 643 274 233 194 0 30 0
[pid=19105] ppid=19104 vsize=12264 CPUtime=0.24
/proc/19105/stat : 19105 (packup) R 19104 19104 17551 34817 17551 4202496 2555 0 0 0 23 1 0 0 25 0 1 0 35519726 12558336 2484 1283457024 134512640 134752139 4291884816 18446744073709551615 134682011 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19105/statm: 3066 2484 286 59 0 2230 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 14836

[startup+0.707076 s]
/proc/loadavg: 0.87 0.97 0.94 3/39 19105
/proc/meminfo: memFree=239008/1048576 swapFree=0/0
[pid=19104] ppid=19103 vsize=2572 CPUtime=0
/proc/19104/stat : 19104 (packup2hy4tr-0.) S 19103 19104 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 19 0 1 0 35519725 2633728 274 1283457024 134512640 135304128 4292628464 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19104/statm: 643 274 233 194 0 30 0
[pid=19105] ppid=19104 vsize=18256 CPUtime=0.43
/proc/19105/stat : 19105 (packup) R 19104 19104 17551 34817 17551 4202496 4038 0 0 0 41 2 0 0 25 0 1 0 35519726 18694144 3967 1283457024 134512640 134752139 4291884816 18446744073709551615 134706174 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19105/statm: 4564 3967 286 59 0 3728 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 20828

[startup+1.50714 s]
/proc/loadavg: 0.87 0.97 0.94 2/40 19107
/proc/meminfo: memFree=201992/1048576 swapFree=0/0
[pid=19104] ppid=19103 vsize=2572 CPUtime=0
/proc/19104/stat : 19104 (packup2hy4tr-0.) S 19103 19104 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 19 0 1 0 35519725 2633728 274 1283457024 134512640 135304128 4292628464 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19104/statm: 643 274 233 194 0 30 0
[pid=19105] ppid=19104 vsize=31916 CPUtime=0.98
/proc/19105/stat : 19105 (packup) R 19104 19104 17551 34817 17551 4202496 7470 0 0 0 93 5 0 0 25 0 1 0 35519726 32681984 7399 1283457024 134512640 134752139 4291884816 18446744073709551615 134706265 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19105/statm: 7979 7399 286 59 0 7143 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 34488

[startup+3.11249 s]
/proc/loadavg: 0.87 0.97 0.94 2/40 19107
/proc/meminfo: memFree=160680/1048576 swapFree=0/0
[pid=19104] ppid=19103 vsize=2572 CPUtime=0
/proc/19104/stat : 19104 (packup2hy4tr-0.) S 19103 19104 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 19 0 1 0 35519725 2633728 274 1283457024 134512640 135304128 4292628464 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19104/statm: 643 274 233 194 0 30 0
[pid=19105] ppid=19104 vsize=53272 CPUtime=1.75
/proc/19105/stat : 19105 (packup) S 19104 19104 17551 34817 17551 4202496 12919 0 0 0 145 30 0 0 25 0 1 0 35519726 54550528 12574 1283457024 134512640 134752139 4291884816 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19105/statm: 13318 12574 325 59 0 12482 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 55844
heavy processes:

[startup+6.31377 s]
/proc/loadavg: 0.96 0.98 0.94 2/40 19113
/proc/meminfo: memFree=161424/1048576 swapFree=0/0
[pid=19104] ppid=19103 vsize=2572 CPUtime=0
/proc/19104/stat : 19104 (packup2hy4tr-0.) S 19103 19104 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 19 0 1 0 35519725 2633728 274 1283457024 134512640 135304128 4292628464 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19104/statm: 643 274 233 194 0 30 0
[pid=19105] ppid=19104 vsize=53276 CPUtime=5.19
/proc/19105/stat : 19105 (packup) S 19104 19104 17551 34817 17551 4202496 13006 27430 0 0 156 53 276 34 18 0 1 0 35519726 54554624 12592 1283457024 134512640 134752139 4291884816 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19105/statm: 13319 12592 333 59 0 12483 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 55848

[startup+12.7056 s]
/proc/loadavg: 0.96 0.98 0.94 2/43 19126
/proc/meminfo: memFree=129384/1048576 swapFree=0/0
[pid=19104] ppid=19103 vsize=2572 CPUtime=0
/proc/19104/stat : 19104 (packup2hy4tr-0.) S 19103 19104 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 19 0 1 0 35519725 2633728 274 1283457024 134512640 135304128 4292628464 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19104/statm: 643 274 233 194 0 30 0
[pid=19105] ppid=19104 vsize=53280 CPUtime=10.04
/proc/19105/stat : 19105 (packup) S 19104 19104 17551 34817 17551 4202496 13099 68971 0 0 178 67 691 68 18 0 1 0 35519726 54558720 12602 1283457024 134512640 134752139 4291884816 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19105/statm: 13320 12602 333 59 0 12484 0
[pid=19121] ppid=19105 vsize=1672 CPUtime=0.01
/proc/19121/stat : 19121 (sh) S 19105 19104 17551 34817 17551 4202496 145 0 0 0 0 1 0 0 18 0 1 0 35520788 1712128 123 1283457024 134512640 134593992 4290346576 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19121/statm: 418 123 108 20 0 45 0
[pid=19122] ppid=19121 vsize=2572 CPUtime=0
/proc/19122/stat : 19122 (run_h) S 19121 19104 17551 34817 17551 4202496 369 609 0 0 0 0 0 0 21 0 1 0 35520788 2633728 274 1283457024 134512640 135304128 4287476640 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19122/statm: 643 274 232 194 0 30 0
[pid=19126] ppid=19122 vsize=70624 CPUtime=2.07
/proc/19126/stat : 19126 (minisatp_32) R 19122 19104 17551 34817 17551 4202496 20542 0 0 0 188 19 0 0 25 0 1 0 35520789 72318976 16213 1283457024 134512640 135413687 4287411072 18446744073709551615 134688635 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/19126/statm: 17656 16213 94 220 0 17434 0
Current children cumulated CPU time (s) 12.12
Current children cumulated vsize (KiB) 130720

[startup+25.5089 s]
/proc/loadavg: 0.97 0.98 0.94 2/44 19137
/proc/meminfo: memFree=39096/1048576 swapFree=0/0
[pid=19104] ppid=19103 vsize=2572 CPUtime=0
/proc/19104/stat : 19104 (packup2hy4tr-0.) S 19103 19104 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 19 0 1 0 35519725 2633728 274 1283457024 134512640 135304128 4292628464 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19104/statm: 643 274 233 194 0 30 0
[pid=19105] ppid=19104 vsize=53284 CPUtime=15.76
/proc/19105/stat : 19105 (packup) S 19104 19104 17551 34817 17551 4202496 13181 114116 0 0 196 84 1190 106 18 0 1 0 35519726 54562816 12603 1283457024 134512640 134752139 4291884816 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19105/statm: 13321 12603 333 59 0 12485 0
[pid=19127] ppid=19105 vsize=1676 CPUtime=0
/proc/19127/stat : 19127 (sh) S 19105 19104 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35521361 1716224 124 1283457024 134512640 134593992 4292315184 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19127/statm: 419 124 108 20 0 46 0
[pid=19128] ppid=19127 vsize=2572 CPUtime=0
/proc/19128/stat : 19128 (run_h) S 19127 19104 17551 34817 17551 4202496 365 611 0 0 0 0 0 0 20 0 1 0 35521362 2633728 272 1283457024 134512640 135304128 4290235968 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19128/statm: 643 272 232 194 0 30 0
[pid=19132] ppid=19128 vsize=2568 CPUtime=0.01
/proc/19132/stat : 19132 (run_scip) S 19128 19104 17551 34817 17551 4202496 394 772 0 0 0 1 0 0 22 0 1 0 35521362 2629632 269 1283457024 134512640 135304128 4289459584 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19132/statm: 642 269 228 194 0 29 0
[pid=19136] ppid=19132 vsize=128880 CPUtime=9.08
/proc/19136/stat : 19136 (scip-2.0.1.linu) R 19132 19104 17551 34817 17551 4202496 58033 0 0 0 806 102 0 0 25 0 1 0 35521363 131973120 29840 1283457024 134512640 143279753 4293601584 18446744073709551615 136059666 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19136/statm: 32220 29840 656 2141 0 30076 0
[pid=19137] ppid=19132 vsize=7188 CPUtime=0.02
/proc/19137/stat : 19137 (scip2v) S 19132 19104 17551 34817 17551 4202496 1012 0 0 0 2 0 0 0 18 0 1 0 35521375 7360512 850 1283457024 134512640 136477024 4289793504 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19137/statm: 1797 850 474 480 0 382 0
Current children cumulated CPU time (s) 24.87
Current children cumulated vsize (KiB) 198740

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

[startup+25.6089 s]
/proc/loadavg: 0.97 0.98 0.94 2/44 19137
/proc/meminfo: memFree=39096/1048576 swapFree=0/0
[pid=19104] ppid=19103 vsize=2572 CPUtime=0
/proc/19104/stat : 19104 (packup2hy4tr-0.) S 19103 19104 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 19 0 1 0 35519725 2633728 274 1283457024 134512640 135304128 4292628464 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19104/statm: 643 274 233 194 0 30 0
[pid=19105] ppid=19104 vsize=53284 CPUtime=15.76
/proc/19105/stat : 19105 (packup) S 19104 19104 17551 34817 17551 4202496 13181 114116 0 0 196 84 1190 106 18 0 1 0 35519726 54562816 12603 1283457024 134512640 134752139 4291884816 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19105/statm: 13321 12603 333 59 0 12485 0
[pid=19127] ppid=19105 vsize=1676 CPUtime=0
/proc/19127/stat : 19127 (sh) S 19105 19104 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35521361 1716224 124 1283457024 134512640 134593992 4292315184 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19127/statm: 419 124 108 20 0 46 0
[pid=19128] ppid=19127 vsize=2572 CPUtime=0
/proc/19128/stat : 19128 (run_h) S 19127 19104 17551 34817 17551 4202496 365 611 0 0 0 0 0 0 20 0 1 0 35521362 2633728 272 1283457024 134512640 135304128 4290235968 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19128/statm: 643 272 232 194 0 30 0
[pid=19132] ppid=19128 vsize=2568 CPUtime=0.01
/proc/19132/stat : 19132 (run_scip) S 19128 19104 17551 34817 17551 4202496 394 772 0 0 0 1 0 0 22 0 1 0 35521362 2629632 269 1283457024 134512640 135304128 4289459584 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19132/statm: 642 269 228 194 0 29 0
[pid=19136] ppid=19132 vsize=128880 CPUtime=9.18
/proc/19136/stat : 19136 (scip-2.0.1.linu) R 19132 19104 17551 34817 17551 4202496 58033 0 0 0 816 102 0 0 25 0 1 0 35521363 131973120 29840 1283457024 134512640 143279753 4293601584 18446744073709551615 141131763 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19136/statm: 32220 29840 656 2141 0 30076 0
[pid=19137] ppid=19132 vsize=7188 CPUtime=0.02
/proc/19137/stat : 19137 (scip2v) S 19132 19104 17551 34817 17551 4202496 1012 0 0 0 2 0 0 0 18 0 1 0 35521375 7360512 850 1283457024 134512640 136477024 4289793504 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19137/statm: 1797 850 474 480 0 382 0
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (KiB) 198740

[startup+32.0134 s]
/proc/loadavg: 0.97 0.98 0.94 2/44 19137
/proc/meminfo: memFree=17520/1048576 swapFree=0/0
[pid=19104] ppid=19103 vsize=2572 CPUtime=0
/proc/19104/stat : 19104 (packup2hy4tr-0.) S 19103 19104 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 19 0 1 0 35519725 2633728 274 1283457024 134512640 135304128 4292628464 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19104/statm: 643 274 233 194 0 30 0
[pid=19105] ppid=19104 vsize=53284 CPUtime=15.76
/proc/19105/stat : 19105 (packup) S 19104 19104 17551 34817 17551 4202496 13181 114116 0 0 196 84 1190 106 18 0 1 0 35519726 54562816 12603 1283457024 134512640 134752139 4291884816 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19105/statm: 13321 12603 333 59 0 12485 0
[pid=19127] ppid=19105 vsize=1676 CPUtime=0
/proc/19127/stat : 19127 (sh) S 19105 19104 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35521361 1716224 124 1283457024 134512640 134593992 4292315184 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19127/statm: 419 124 108 20 0 46 0
[pid=19128] ppid=19127 vsize=2572 CPUtime=0
/proc/19128/stat : 19128 (run_h) S 19127 19104 17551 34817 17551 4202496 365 611 0 0 0 0 0 0 20 0 1 0 35521362 2633728 272 1283457024 134512640 135304128 4290235968 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19128/statm: 643 272 232 194 0 30 0
[pid=19132] ppid=19128 vsize=2568 CPUtime=0.01
/proc/19132/stat : 19132 (run_scip) S 19128 19104 17551 34817 17551 4202496 394 772 0 0 0 1 0 0 22 0 1 0 35521362 2629632 269 1283457024 134512640 135304128 4289459584 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19132/statm: 642 269 228 194 0 29 0
[pid=19136] ppid=19132 vsize=152548 CPUtime=15.57
/proc/19136/stat : 19136 (scip-2.0.1.linu) R 19132 19104 17551 34817 17551 4202496 70796 0 0 0 1435 122 0 0 25 0 1 0 35521363 156209152 35379 1283457024 134512640 143279753 4293601584 18446744073709551615 134911582 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19136/statm: 38137 35379 657 2141 0 35993 0
[pid=19137] ppid=19132 vsize=7188 CPUtime=0.02
/proc/19137/stat : 19137 (scip2v) S 19132 19104 17551 34817 17551 4202496 1013 0 0 0 2 0 0 0 18 0 1 0 35521375 7360512 851 1283457024 134512640 136477024 4289793504 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19137/statm: 1797 851 474 480 0 382 0
Current children cumulated CPU time (s) 31.36
Current children cumulated vsize (KiB) 222408

[startup+33.6139 s]
/proc/loadavg: 0.97 0.98 0.94 2/44 19137
/proc/meminfo: memFree=15908/1048576 swapFree=0/0
[pid=19104] ppid=19103 vsize=2572 CPUtime=0
/proc/19104/stat : 19104 (packup2hy4tr-0.) S 19103 19104 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 19 0 1 0 35519725 2633728 274 1283457024 134512640 135304128 4292628464 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19104/statm: 643 274 233 194 0 30 0
[pid=19105] ppid=19104 vsize=53284 CPUtime=15.76
/proc/19105/stat : 19105 (packup) S 19104 19104 17551 34817 17551 4202496 13181 114116 0 0 196 84 1190 106 18 0 1 0 35519726 54562816 12603 1283457024 134512640 134752139 4291884816 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19105/statm: 13321 12603 333 59 0 12485 0
[pid=19127] ppid=19105 vsize=1676 CPUtime=0
/proc/19127/stat : 19127 (sh) S 19105 19104 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35521361 1716224 124 1283457024 134512640 134593992 4292315184 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19127/statm: 419 124 108 20 0 46 0
[pid=19128] ppid=19127 vsize=2572 CPUtime=0
/proc/19128/stat : 19128 (run_h) S 19127 19104 17551 34817 17551 4202496 365 611 0 0 0 0 0 0 20 0 1 0 35521362 2633728 272 1283457024 134512640 135304128 4290235968 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19128/statm: 643 272 232 194 0 30 0
[pid=19132] ppid=19128 vsize=2568 CPUtime=0.01
/proc/19132/stat : 19132 (run_scip) S 19128 19104 17551 34817 17551 4202496 394 772 0 0 0 1 0 0 22 0 1 0 35521362 2629632 269 1283457024 134512640 135304128 4289459584 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19132/statm: 642 269 228 194 0 29 0
[pid=19136] ppid=19132 vsize=154832 CPUtime=17.16
/proc/19136/stat : 19136 (scip-2.0.1.linu) R 19132 19104 17551 34817 17551 4202496 71710 0 0 0 1592 124 0 0 25 0 1 0 35521363 158547968 35906 1283457024 134512640 143279753 4293601584 18446744073709551615 134854753 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19136/statm: 38708 35906 657 2141 0 36564 0
[pid=19137] ppid=19132 vsize=7188 CPUtime=0.02
/proc/19137/stat : 19137 (scip2v) S 19132 19104 17551 34817 17551 4202496 1013 0 0 0 2 0 0 0 18 0 1 0 35521375 7360512 851 1283457024 134512640 136477024 4289793504 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19137/statm: 1797 851 474 480 0 382 0
Current children cumulated CPU time (s) 32.95
Current children cumulated vsize (KiB) 224692

[startup+34.4141 s]
/proc/loadavg: 0.97 0.98 0.94 2/44 19137
/proc/meminfo: memFree=14916/1048576 swapFree=0/0
[pid=19104] ppid=19103 vsize=2572 CPUtime=0
/proc/19104/stat : 19104 (packup2hy4tr-0.) S 19103 19104 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 19 0 1 0 35519725 2633728 274 1283457024 134512640 135304128 4292628464 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19104/statm: 643 274 233 194 0 30 0
[pid=19105] ppid=19104 vsize=53284 CPUtime=15.76
/proc/19105/stat : 19105 (packup) S 19104 19104 17551 34817 17551 4202496 13181 114116 0 0 196 84 1190 106 18 0 1 0 35519726 54562816 12603 1283457024 134512640 134752139 4291884816 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19105/statm: 13321 12603 333 59 0 12485 0
[pid=19127] ppid=19105 vsize=1676 CPUtime=0
/proc/19127/stat : 19127 (sh) S 19105 19104 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35521361 1716224 124 1283457024 134512640 134593992 4292315184 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19127/statm: 419 124 108 20 0 46 0
[pid=19128] ppid=19127 vsize=2572 CPUtime=0
/proc/19128/stat : 19128 (run_h) S 19127 19104 17551 34817 17551 4202496 365 611 0 0 0 0 0 0 20 0 1 0 35521362 2633728 272 1283457024 134512640 135304128 4290235968 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19128/statm: 643 272 232 194 0 30 0
[pid=19132] ppid=19128 vsize=2568 CPUtime=0.01
/proc/19132/stat : 19132 (run_scip) S 19128 19104 17551 34817 17551 4202496 394 772 0 0 0 1 0 0 22 0 1 0 35521362 2629632 269 1283457024 134512640 135304128 4289459584 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19132/statm: 642 269 228 194 0 29 0
[pid=19136] ppid=19132 vsize=154832 CPUtime=17.97
/proc/19136/stat : 19136 (scip-2.0.1.linu) R 19132 19104 17551 34817 17551 4202496 73387 0 0 0 1669 128 0 0 25 0 1 0 35521363 158547968 35906 1283457024 134512640 143279753 4293601584 18446744073709551615 134854720 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19136/statm: 38708 35906 657 2141 0 36564 0
[pid=19137] ppid=19132 vsize=7188 CPUtime=0.02
/proc/19137/stat : 19137 (scip2v) S 19132 19104 17551 34817 17551 4202496 1013 0 0 0 2 0 0 0 18 0 1 0 35521375 7360512 851 1283457024 134512640 136477024 4289793504 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19137/statm: 1797 851 474 480 0 382 0
Current children cumulated CPU time (s) 33.76
Current children cumulated vsize (KiB) 224692

[startup+35.2068 s]
/proc/loadavg: 0.97 0.98 0.94 2/44 19137
/proc/meminfo: memFree=16032/1048576 swapFree=0/0
[pid=19104] ppid=19103 vsize=2572 CPUtime=0
/proc/19104/stat : 19104 (packup2hy4tr-0.) S 19103 19104 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 19 0 1 0 35519725 2633728 274 1283457024 134512640 135304128 4292628464 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19104/statm: 643 274 233 194 0 30 0
[pid=19105] ppid=19104 vsize=53284 CPUtime=15.76
/proc/19105/stat : 19105 (packup) S 19104 19104 17551 34817 17551 4202496 13181 114116 0 0 196 84 1190 106 18 0 1 0 35519726 54562816 12603 1283457024 134512640 134752139 4291884816 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19105/statm: 13321 12603 333 59 0 12485 0
[pid=19127] ppid=19105 vsize=1676 CPUtime=0
/proc/19127/stat : 19127 (sh) S 19105 19104 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35521361 1716224 124 1283457024 134512640 134593992 4292315184 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19127/statm: 419 124 108 20 0 46 0
[pid=19128] ppid=19127 vsize=2572 CPUtime=0
/proc/19128/stat : 19128 (run_h) S 19127 19104 17551 34817 17551 4202496 365 611 0 0 0 0 0 0 20 0 1 0 35521362 2633728 272 1283457024 134512640 135304128 4290235968 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19128/statm: 643 272 232 194 0 30 0
[pid=19132] ppid=19128 vsize=2568 CPUtime=0.01
/proc/19132/stat : 19132 (run_scip) S 19128 19104 17551 34817 17551 4202496 394 772 0 0 0 1 0 0 22 0 1 0 35521362 2629632 269 1283457024 134512640 135304128 4289459584 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19132/statm: 642 269 228 194 0 29 0
[pid=19136] ppid=19132 vsize=154052 CPUtime=18.7
/proc/19136/stat : 19136 (scip-2.0.1.linu) R 19132 19104 17551 34817 17551 4202496 75990 0 0 0 1736 134 0 0 25 0 1 0 35521363 157749248 35800 1283457024 134512640 143279753 4293601584 18446744073709551615 4294960130 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/19136/statm: 38513 35800 745 2141 0 36369 0
[pid=19137] ppid=19132 vsize=7380 CPUtime=0.06
/proc/19137/stat : 19137 (scip2v) S 19132 19104 17551 34817 17551 4202496 1049 0 0 0 4 2 0 0 18 0 1 0 35521375 7557120 887 1283457024 134512640 136477024 4289793504 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19137/statm: 1845 887 479 480 0 430 0
Current children cumulated CPU time (s) 34.53
Current children cumulated vsize (KiB) 224104

[startup+35.4069 s]
/proc/loadavg: 0.97 0.98 0.94 2/44 19137
/proc/meminfo: memFree=16032/1048576 swapFree=0/0
[pid=19104] ppid=19103 vsize=2572 CPUtime=0
/proc/19104/stat : 19104 (packup2hy4tr-0.) S 19103 19104 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 19 0 1 0 35519725 2633728 274 1283457024 134512640 135304128 4292628464 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19104/statm: 643 274 233 194 0 30 0
[pid=19105] ppid=19104 vsize=52512 CPUtime=34.76
/proc/19105/stat : 19105 (packup) R 19104 19104 17551 34817 17551 4202496 19617 193617 0 0 198 90 2938 250 18 0 1 0 35519726 53772288 12423 1283457024 134512640 134752139 4291884816 18446744073709551615 4159348932 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19105/statm: 13128 12423 346 59 0 12292 0
Current children cumulated CPU time (s) 34.76
Current children cumulated vsize (KiB) 55084

[startup+35.5053 s]
/proc/loadavg: 0.97 0.98 0.94 2/44 19137
/proc/meminfo: memFree=16032/1048576 swapFree=0/0
[pid=19104] ppid=19103 vsize=2572 CPUtime=0
/proc/19104/stat : 19104 (packup2hy4tr-0.) S 19103 19104 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 19 0 1 0 35519725 2633728 274 1283457024 134512640 135304128 4292628464 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19104/statm: 643 274 233 194 0 30 0
[pid=19105] ppid=19104 vsize=0 CPUtime=34.84
/proc/19105/stat : 19105 (packup) D 19104 19104 17551 34817 17551 4202500 24762 193617 0 0 204 92 2938 250 18 0 1 0 35519726 0 0 1283457024 0 0 0 0 0 0 0 18944 8192 18446744071696440003 0 0 17 0 0 0 0
/proc/19105/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 34.84
Current children cumulated vsize (KiB) 2572

Child status: 0
Real time (s): 35.5365
CPU time (s): 34.8542
CPU user time (s): 31.43
CPU system time (s): 3.42421
CPU usage (%): 98.08
Max. virtual memory (cumulated for all children) (KiB): 224692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.43
system time used= 3.42421
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218766
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= 20551
involuntary context switches= 21014

runsolver used 0 second user time and 0 second system time

The end