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/rand992.cudf.dudf-random.log.runsolver ./packup2hy4tr-0.6 /home/misc2010/data/2011/dudf-random//rand992.cudf /home/misc2010/tmp/201108281254/packup2hy4tr-0.6/rand992.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: 1.13 1.09 1.02 5/37 22607
/proc/meminfo: memFree=129536/1048576 swapFree=0/0
[pid=22606] ppid=22605 vsize=2572 CPUtime=0
/proc/22606/stat : 22606 (packup2hy4tr-0.) R 22605 22606 17551 34817 17551 4202496 361 0 0 0 0 0 0 0 25 0 1 0 35988120 2633728 274 1283457024 134512640 135304128 4291858224 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0
/proc/22606/statm: 643 274 233 194 0 30 0
[pid=22607] ppid=22606 vsize=2572 CPUtime=0
/proc/22607/stat : 22607 (packup2hy4tr-0.) R 22606 22606 17551 34817 17551 4202560 0 0 0 0 0 0 0 0 25 0 1 0 35988120 2633728 41 1283457024 134512640 135304128 4291858224 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0
/proc/22607/statm: 643 41 0 194 0 30 0

[startup+0.11116 s]
/proc/loadavg: 1.13 1.09 1.02 5/37 22607
/proc/meminfo: memFree=129536/1048576 swapFree=0/0
[pid=22606] ppid=22605 vsize=2572 CPUtime=0
/proc/22606/stat : 22606 (packup2hy4tr-0.) S 22605 22606 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 25 0 1 0 35988120 2633728 274 1283457024 134512640 135304128 4291858224 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22606/statm: 643 274 233 194 0 30 0
[pid=22607] ppid=22606 vsize=6912 CPUtime=0.07
/proc/22607/stat : 22607 (packup) D 22606 22606 17551 34817 17551 4202496 1204 0 0 0 7 0 0 0 25 0 1 0 35988120 7077888 1133 1283457024 134512640 134752139 4286966368 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/22607/statm: 1728 1133 286 59 0 892 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9484

[startup+0.198732 s]
/proc/loadavg: 1.13 1.09 1.02 5/37 22607
/proc/meminfo: memFree=129536/1048576 swapFree=0/0
[pid=22606] ppid=22605 vsize=2572 CPUtime=0
/proc/22606/stat : 22606 (packup2hy4tr-0.) S 22605 22606 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 25 0 1 0 35988120 2633728 274 1283457024 134512640 135304128 4291858224 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22606/statm: 643 274 233 194 0 30 0
[pid=22607] ppid=22606 vsize=9428 CPUtime=0.15
/proc/22607/stat : 22607 (packup) R 22606 22606 17551 34817 17551 4202496 1832 0 0 0 14 1 0 0 25 0 1 0 35988120 9654272 1761 1283457024 134512640 134752139 4286966368 18446744073709551615 134681805 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/22607/statm: 2357 1761 286 59 0 1521 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 12000

[startup+0.302751 s]
/proc/loadavg: 1.13 1.09 1.02 5/37 22607
/proc/meminfo: memFree=129536/1048576 swapFree=0/0
[pid=22606] ppid=22605 vsize=2572 CPUtime=0
/proc/22606/stat : 22606 (packup2hy4tr-0.) S 22605 22606 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 25 0 1 0 35988120 2633728 274 1283457024 134512640 135304128 4291858224 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22606/statm: 643 274 233 194 0 30 0
[pid=22607] ppid=22606 vsize=11408 CPUtime=0.19
/proc/22607/stat : 22607 (packup) R 22606 22606 17551 34817 17551 4202496 2340 0 0 0 18 1 0 0 25 0 1 0 35988120 11681792 2269 1283457024 134512640 134752139 4286966368 18446744073709551615 134681493 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/22607/statm: 2852 2269 286 59 0 2016 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13980

[startup+0.706755 s]
/proc/loadavg: 1.13 1.09 1.02 5/37 22607
/proc/meminfo: memFree=129536/1048576 swapFree=0/0
[pid=22606] ppid=22605 vsize=2572 CPUtime=0
/proc/22606/stat : 22606 (packup2hy4tr-0.) S 22605 22606 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 25 0 1 0 35988120 2633728 274 1283457024 134512640 135304128 4291858224 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22606/statm: 643 274 233 194 0 30 0
[pid=22607] ppid=22606 vsize=20764 CPUtime=0.52
/proc/22607/stat : 22607 (packup) R 22606 22606 17551 34817 17551 4202496 4676 0 0 0 48 4 0 0 25 0 1 0 35988120 21262336 4605 1283457024 134512640 134752139 4286966368 18446744073709551615 134681760 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/22607/statm: 5191 4605 286 59 0 4355 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 23336

[startup+1.51479 s]
/proc/loadavg: 1.13 1.09 1.02 2/38 22608
/proc/meminfo: memFree=85440/1048576 swapFree=0/0
[pid=22606] ppid=22605 vsize=2572 CPUtime=0
/proc/22606/stat : 22606 (packup2hy4tr-0.) S 22605 22606 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 25 0 1 0 35988120 2633728 274 1283457024 134512640 135304128 4291858224 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22606/statm: 643 274 233 194 0 30 0
[pid=22607] ppid=22606 vsize=42124 CPUtime=1.24
/proc/22607/stat : 22607 (packup) R 22606 22606 17551 34817 17551 4202496 10095 0 0 0 118 6 0 0 25 0 1 0 35988120 43134976 9975 1283457024 134512640 134752139 4286966368 18446744073709551615 134668251 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/22607/statm: 10531 9975 306 59 0 9695 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 44696

[startup+3.10511 s]
/proc/loadavg: 1.12 1.08 1.02 2/41 22614
/proc/meminfo: memFree=48360/1048576 swapFree=0/0
[pid=22606] ppid=22605 vsize=2572 CPUtime=0
/proc/22606/stat : 22606 (packup2hy4tr-0.) S 22605 22606 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 25 0 1 0 35988120 2633728 274 1283457024 134512640 135304128 4291858224 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22606/statm: 643 274 233 194 0 30 0
[pid=22607] ppid=22606 vsize=53528 CPUtime=1.76
/proc/22607/stat : 22607 (packup) S 22606 22606 17551 34817 17551 4202496 12962 0 0 0 152 24 0 0 25 0 1 0 35988120 54812672 12614 1283457024 134512640 134752139 4286966368 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22607/statm: 13382 12614 325 59 0 12546 0
[pid=22609] ppid=22607 vsize=1668 CPUtime=0
/proc/22609/stat : 22609 (sh) S 22607 22606 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 25 0 1 0 35988324 1708032 123 1283457024 134512640 134593992 4289322320 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22609/statm: 417 123 108 20 0 44 0
[pid=22610] ppid=22609 vsize=2572 CPUtime=0.01
/proc/22610/stat : 22610 (run_h) S 22609 22606 17551 34817 17551 4202496 367 613 0 0 0 1 0 0 25 0 1 0 35988325 2633728 273 1283457024 134512640 135304128 4288224352 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22610/statm: 643 273 232 194 0 30 0
[pid=22614] ppid=22610 vsize=26624 CPUtime=1.04
/proc/22614/stat : 22614 (minisatp_32) R 22610 22606 17551 34817 17551 4202496 5957 0 0 0 104 0 0 0 25 0 1 0 35988325 27262976 5276 1283457024 134512640 135413687 4294466112 18446744073709551615 134948386 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/22614/statm: 6656 5276 77 220 0 6434 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 86964

[startup+6.30724 s]
/proc/loadavg: 1.12 1.08 1.02 2/41 22614
/proc/meminfo: memFree=10332/1048576 swapFree=0/0
[pid=22606] ppid=22605 vsize=2572 CPUtime=0
/proc/22606/stat : 22606 (packup2hy4tr-0.) S 22605 22606 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 25 0 1 0 35988120 2633728 274 1283457024 134512640 135304128 4291858224 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22606/statm: 643 274 233 194 0 30 0
[pid=22607] ppid=22606 vsize=53532 CPUtime=5.55
/proc/22607/stat : 22607 (packup) S 22606 22606 17551 34817 17551 4202496 13066 26044 0 0 171 40 316 28 18 0 1 0 35988120 54816768 12632 1283457024 134512640 134752139 4286966368 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22607/statm: 13383 12632 333 59 0 12547 0
Current children cumulated CPU time (s) 5.55
Current children cumulated vsize (KiB) 56104

[startup+12.7097 s]
/proc/loadavg: 1.10 1.08 1.02 2/41 22620
/proc/meminfo: memFree=6260/1048576 swapFree=0/0
[pid=22606] ppid=22605 vsize=2572 CPUtime=0
/proc/22606/stat : 22606 (packup2hy4tr-0.) S 22605 22606 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 25 0 1 0 35988120 2633728 274 1283457024 134512640 135304128 4291858224 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22606/statm: 643 274 233 194 0 30 0
[pid=22607] ppid=22606 vsize=53532 CPUtime=5.55
/proc/22607/stat : 22607 (packup) S 22606 22606 17551 34817 17551 4202496 13066 26044 0 0 171 40 316 28 18 0 1 0 35988120 54816768 12632 1283457024 134512640 134752139 4286966368 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22607/statm: 13383 12632 333 59 0 12547 0
[pid=22615] ppid=22607 vsize=1672 CPUtime=0
/proc/22615/stat : 22615 (sh) S 22607 22606 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35988723 1712128 124 1283457024 134512640 134593992 4289410400 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22615/statm: 418 124 108 20 0 45 0
[pid=22616] ppid=22615 vsize=2572 CPUtime=0
/proc/22616/stat : 22616 (run_h) S 22615 22606 17551 34817 17551 4202496 368 609 0 0 0 0 0 0 20 0 1 0 35988724 2633728 273 1283457024 134512640 135304128 4294890160 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22616/statm: 643 273 232 194 0 30 0
[pid=22620] ppid=22616 vsize=168604 CPUtime=6.65
/proc/22620/stat : 22620 (minisatp_32) R 22616 22606 17551 34817 17551 4202496 52250 0 0 0 619 46 0 0 25 0 1 0 35988724 172650496 36639 1283457024 134512640 135413687 4292112384 18446744073709551615 134692236 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/22620/statm: 42151 36639 109 220 0 41929 0
Current children cumulated CPU time (s) 12.2
Current children cumulated vsize (KiB) 228952

[startup+25.5141 s]
/proc/loadavg: 1.08 1.08 1.02 2/41 22626
/proc/meminfo: memFree=127560/1048576 swapFree=0/0
[pid=22606] ppid=22605 vsize=2572 CPUtime=0
/proc/22606/stat : 22606 (packup2hy4tr-0.) S 22605 22606 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 25 0 1 0 35988120 2633728 274 1283457024 134512640 135304128 4291858224 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22606/statm: 643 274 233 194 0 30 0
[pid=22607] ppid=22606 vsize=53536 CPUtime=17.24
/proc/22607/stat : 22607 (packup) S 22606 22606 17551 34817 17551 4202496 13157 119725 0 0 188 61 1374 101 18 0 1 0 35988120 54820864 12642 1283457024 134512640 134752139 4286966368 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22607/statm: 13384 12642 333 59 0 12548 0
[pid=22621] ppid=22607 vsize=1668 CPUtime=0
/proc/22621/stat : 22621 (sh) S 22607 22606 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35989893 1708032 123 1283457024 134512640 134593992 4288969984 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22621/statm: 417 123 108 20 0 44 0
[pid=22622] ppid=22621 vsize=2568 CPUtime=0
/proc/22622/stat : 22622 (run_h) S 22621 22606 17551 34817 17551 4202496 367 613 0 0 0 0 0 0 21 0 1 0 35989894 2629632 273 1283457024 134512640 135304128 4288027696 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22622/statm: 642 273 232 194 0 29 0
[pid=22626] ppid=22622 vsize=176576 CPUtime=7.75
/proc/22626/stat : 22626 (minisatp_32) R 22622 22606 17551 34817 17551 4202496 57134 0 0 0 729 46 0 0 25 0 1 0 35989894 180813824 38026 1283457024 134512640 135413687 4290110992 18446744073709551615 134648950 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/22626/statm: 44144 38026 109 220 0 43922 0
Current children cumulated CPU time (s) 24.99
Current children cumulated vsize (KiB) 236920

[startup+51.1142 s]
/proc/loadavg: 1.05 1.07 1.02 2/45 22639
/proc/meminfo: memFree=148584/1048576 swapFree=0/0
[pid=22606] ppid=22605 vsize=2572 CPUtime=0
/proc/22606/stat : 22606 (packup2hy4tr-0.) S 22605 22606 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 25 0 1 0 35988120 2633728 274 1283457024 134512640 135304128 4291858224 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22606/statm: 643 274 233 194 0 30 0
[pid=22607] ppid=22606 vsize=53540 CPUtime=27.53
/proc/22607/stat : 22607 (packup) S 22606 22606 17551 34817 17551 4202496 13248 184316 0 0 202 81 2316 154 18 0 1 0 35988120 54824960 12643 1283457024 134512640 134752139 4286966368 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22607/statm: 13385 12643 333 59 0 12549 0
[pid=22627] ppid=22607 vsize=1668 CPUtime=0.01
/proc/22627/stat : 22627 (sh) S 22607 22606 17551 34817 17551 4202496 145 0 0 0 0 1 0 0 18 0 1 0 35990927 1708032 123 1283457024 134512640 134593992 4291279584 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22627/statm: 417 123 108 20 0 44 0
[pid=22628] ppid=22627 vsize=2568 CPUtime=0
/proc/22628/stat : 22628 (run_h) S 22627 22606 17551 34817 17551 4202496 366 609 0 0 0 0 0 0 20 0 1 0 35990927 2629632 272 1283457024 134512640 135304128 4293763488 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22628/statm: 642 272 232 194 0 29 0
[pid=22632] ppid=22628 vsize=2572 CPUtime=0
/proc/22632/stat : 22632 (run_scip) S 22628 22606 17551 34817 17551 4202496 394 752 0 0 0 0 0 0 22 0 1 0 35990928 2633728 269 1283457024 134512640 135304128 4289013008 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22632/statm: 643 269 228 194 0 30 0
[pid=22636] ppid=22632 vsize=128324 CPUtime=22.95
/proc/22636/stat : 22636 (scip-2.0.1.linu) R 22632 22606 17551 34817 17551 4202496 55571 0 0 0 2167 128 0 0 25 0 1 0 35990928 131403776 29761 1283457024 134512640 143279753 4291170016 18446744073709551615 136059652 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/22636/statm: 32081 29761 662 2141 0 29937 0
[pid=22637] ppid=22632 vsize=7188 CPUtime=0
/proc/22637/stat : 22637 (scip2v) S 22632 22606 17551 34817 17551 4202496 1009 0 0 0 0 0 0 0 18 0 1 0 35990941 7360512 847 1283457024 134512640 136477024 4289719760 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/22637/statm: 1797 847 474 480 0 382 0
Current children cumulated CPU time (s) 50.49
Current children cumulated vsize (KiB) 198432

[startup+102.307 s]
/proc/loadavg: 1.02 1.06 1.01 2/45 22644
/proc/meminfo: memFree=108284/1048576 swapFree=0/0
[pid=22606] ppid=22605 vsize=2572 CPUtime=0
/proc/22606/stat : 22606 (packup2hy4tr-0.) S 22605 22606 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 25 0 1 0 35988120 2633728 274 1283457024 134512640 135304128 4291858224 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22606/statm: 643 274 233 194 0 30 0
[pid=22607] ppid=22606 vsize=53540 CPUtime=27.53
/proc/22607/stat : 22607 (packup) S 22606 22606 17551 34817 17551 4202496 13248 184316 0 0 202 81 2316 154 18 0 1 0 35988120 54824960 12643 1283457024 134512640 134752139 4286966368 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22607/statm: 13385 12643 333 59 0 12549 0
[pid=22627] ppid=22607 vsize=1668 CPUtime=0.01
/proc/22627/stat : 22627 (sh) S 22607 22606 17551 34817 17551 4202496 145 0 0 0 0 1 0 0 18 0 1 0 35990927 1708032 123 1283457024 134512640 134593992 4291279584 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22627/statm: 417 123 108 20 0 44 0
[pid=22628] ppid=22627 vsize=2568 CPUtime=0
/proc/22628/stat : 22628 (run_h) S 22627 22606 17551 34817 17551 4202496 366 609 0 0 0 0 0 0 20 0 1 0 35990927 2629632 272 1283457024 134512640 135304128 4293763488 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22628/statm: 642 272 232 194 0 29 0
[pid=22632] ppid=22628 vsize=2572 CPUtime=0
/proc/22632/stat : 22632 (run_scip) S 22628 22606 17551 34817 17551 4202496 394 752 0 0 0 0 0 0 22 0 1 0 35990928 2633728 269 1283457024 134512640 135304128 4289013008 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22632/statm: 643 269 228 194 0 30 0
[pid=22636] ppid=22632 vsize=174760 CPUtime=74.03
/proc/22636/stat : 22636 (scip-2.0.1.linu) R 22632 22606 17551 34817 17551 4202496 108352 0 0 0 7139 264 0 0 25 0 1 0 35990928 178954240 39977 1283457024 134512640 143279753 4291170016 18446744073709551615 137734011 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/22636/statm: 43690 39977 756 2141 0 41546 0
[pid=22637] ppid=22632 vsize=7188 CPUtime=0
/proc/22637/stat : 22637 (scip2v) S 22632 22606 17551 34817 17551 4202496 1013 0 0 0 0 0 0 0 18 0 1 0 35990941 7360512 851 1283457024 134512640 136477024 4289719760 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/22637/statm: 1797 851 474 480 0 382 0
Current children cumulated CPU time (s) 101.57
Current children cumulated vsize (KiB) 244868

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

[startup+115.115 s]
/proc/loadavg: 1.02 1.05 1.01 2/45 22645
/proc/meminfo: memFree=97124/1048576 swapFree=0/0
[pid=22606] ppid=22605 vsize=2572 CPUtime=0
/proc/22606/stat : 22606 (packup2hy4tr-0.) S 22605 22606 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 25 0 1 0 35988120 2633728 274 1283457024 134512640 135304128 4291858224 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22606/statm: 643 274 233 194 0 30 0
[pid=22607] ppid=22606 vsize=53540 CPUtime=27.53
/proc/22607/stat : 22607 (packup) S 22606 22606 17551 34817 17551 4202496 13248 184316 0 0 202 81 2316 154 18 0 1 0 35988120 54824960 12643 1283457024 134512640 134752139 4286966368 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22607/statm: 13385 12643 333 59 0 12549 0
[pid=22627] ppid=22607 vsize=1668 CPUtime=0.01
/proc/22627/stat : 22627 (sh) S 22607 22606 17551 34817 17551 4202496 145 0 0 0 0 1 0 0 18 0 1 0 35990927 1708032 123 1283457024 134512640 134593992 4291279584 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22627/statm: 417 123 108 20 0 44 0
[pid=22628] ppid=22627 vsize=2568 CPUtime=0
/proc/22628/stat : 22628 (run_h) S 22627 22606 17551 34817 17551 4202496 366 609 0 0 0 0 0 0 20 0 1 0 35990927 2629632 272 1283457024 134512640 135304128 4293763488 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22628/statm: 642 272 232 194 0 29 0
[pid=22632] ppid=22628 vsize=2572 CPUtime=0
/proc/22632/stat : 22632 (run_scip) S 22628 22606 17551 34817 17551 4202496 394 752 0 0 0 0 0 0 22 0 1 0 35990928 2633728 269 1283457024 134512640 135304128 4289013008 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22632/statm: 643 269 228 194 0 30 0
[pid=22636] ppid=22632 vsize=187720 CPUtime=86.81
/proc/22636/stat : 22636 (scip-2.0.1.linu) R 22632 22606 17551 34817 17551 4202496 128120 0 0 0 8396 285 0 0 25 0 1 0 35990928 192225280 42862 1283457024 134512640 143279753 4291170016 18446744073709551615 136803243 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/22636/statm: 46930 42862 797 2141 0 44786 0
[pid=22637] ppid=22632 vsize=7188 CPUtime=0.01
/proc/22637/stat : 22637 (scip2v) S 22632 22606 17551 34817 17551 4202496 1013 0 0 0 0 1 0 0 18 0 1 0 35990941 7360512 851 1283457024 134512640 136477024 4289719760 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/22637/statm: 1797 851 474 480 0 382 0
Current children cumulated CPU time (s) 114.36
Current children cumulated vsize (KiB) 257828

[startup+127.908 s]
/proc/loadavg: 1.01 1.05 1.01 2/45 22646
/proc/meminfo: memFree=89684/1048576 swapFree=0/0
[pid=22606] ppid=22605 vsize=2572 CPUtime=0
/proc/22606/stat : 22606 (packup2hy4tr-0.) S 22605 22606 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 25 0 1 0 35988120 2633728 274 1283457024 134512640 135304128 4291858224 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22606/statm: 643 274 233 194 0 30 0
[pid=22607] ppid=22606 vsize=53540 CPUtime=27.53
/proc/22607/stat : 22607 (packup) S 22606 22606 17551 34817 17551 4202496 13248 184316 0 0 202 81 2316 154 18 0 1 0 35988120 54824960 12643 1283457024 134512640 134752139 4286966368 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22607/statm: 13385 12643 333 59 0 12549 0
[pid=22627] ppid=22607 vsize=1668 CPUtime=0.01
/proc/22627/stat : 22627 (sh) S 22607 22606 17551 34817 17551 4202496 145 0 0 0 0 1 0 0 18 0 1 0 35990927 1708032 123 1283457024 134512640 134593992 4291279584 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22627/statm: 417 123 108 20 0 44 0
[pid=22628] ppid=22627 vsize=2568 CPUtime=0
/proc/22628/stat : 22628 (run_h) S 22627 22606 17551 34817 17551 4202496 366 609 0 0 0 0 0 0 20 0 1 0 35990927 2629632 272 1283457024 134512640 135304128 4293763488 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22628/statm: 642 272 232 194 0 29 0
[pid=22632] ppid=22628 vsize=2572 CPUtime=0
/proc/22632/stat : 22632 (run_scip) S 22628 22606 17551 34817 17551 4202496 394 752 0 0 0 0 0 0 22 0 1 0 35990928 2633728 269 1283457024 134512640 135304128 4289013008 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22632/statm: 643 269 228 194 0 30 0
[pid=22636] ppid=22632 vsize=194592 CPUtime=99.58
/proc/22636/stat : 22636 (scip-2.0.1.linu) R 22632 22606 17551 34817 17551 4202496 137019 0 0 0 9665 293 0 0 25 0 1 0 35990928 199262208 44689 1283457024 134512640 143279753 4291170016 18446744073709551615 136875205 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/22636/statm: 48648 44689 805 2141 0 46504 0
[pid=22637] ppid=22632 vsize=7188 CPUtime=0.01
/proc/22637/stat : 22637 (scip2v) S 22632 22606 17551 34817 17551 4202496 1013 0 0 0 0 1 0 0 18 0 1 0 35990941 7360512 851 1283457024 134512640 136477024 4289719760 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/22637/statm: 1797 851 474 480 0 382 0
Current children cumulated CPU time (s) 127.13
Current children cumulated vsize (KiB) 264700

[startup+134.309 s]
/proc/loadavg: 1.01 1.05 1.01 2/45 22647
/proc/meminfo: memFree=90800/1048576 swapFree=0/0
[pid=22606] ppid=22605 vsize=2572 CPUtime=0
/proc/22606/stat : 22606 (packup2hy4tr-0.) S 22605 22606 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 25 0 1 0 35988120 2633728 274 1283457024 134512640 135304128 4291858224 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22606/statm: 643 274 233 194 0 30 0
[pid=22607] ppid=22606 vsize=53540 CPUtime=27.53
/proc/22607/stat : 22607 (packup) S 22606 22606 17551 34817 17551 4202496 13248 184316 0 0 202 81 2316 154 18 0 1 0 35988120 54824960 12643 1283457024 134512640 134752139 4286966368 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22607/statm: 13385 12643 333 59 0 12549 0
[pid=22627] ppid=22607 vsize=1668 CPUtime=0.01
/proc/22627/stat : 22627 (sh) S 22607 22606 17551 34817 17551 4202496 145 0 0 0 0 1 0 0 18 0 1 0 35990927 1708032 123 1283457024 134512640 134593992 4291279584 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22627/statm: 417 123 108 20 0 44 0
[pid=22628] ppid=22627 vsize=2568 CPUtime=0
/proc/22628/stat : 22628 (run_h) S 22627 22606 17551 34817 17551 4202496 366 609 0 0 0 0 0 0 20 0 1 0 35990927 2629632 272 1283457024 134512640 135304128 4293763488 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22628/statm: 642 272 232 194 0 29 0
[pid=22632] ppid=22628 vsize=2572 CPUtime=0
/proc/22632/stat : 22632 (run_scip) S 22628 22606 17551 34817 17551 4202496 394 752 0 0 0 0 0 0 22 0 1 0 35990928 2633728 269 1283457024 134512640 135304128 4289013008 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22632/statm: 643 269 228 194 0 30 0
[pid=22636] ppid=22632 vsize=195364 CPUtime=105.98
/proc/22636/stat : 22636 (scip-2.0.1.linu) R 22632 22606 17551 34817 17551 4202496 139993 0 0 0 10297 301 0 0 25 0 1 0 35990928 200052736 44521 1283457024 134512640 143279753 4291170016 18446744073709551615 135245360 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/22636/statm: 48841 44521 796 2141 0 46697 0
[pid=22637] ppid=22632 vsize=7188 CPUtime=0.01
/proc/22637/stat : 22637 (scip2v) S 22632 22606 17551 34817 17551 4202496 1013 0 0 0 0 1 0 0 18 0 1 0 35990941 7360512 851 1283457024 134512640 136477024 4289719760 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/22637/statm: 1797 851 474 480 0 382 0
Current children cumulated CPU time (s) 133.53
Current children cumulated vsize (KiB) 265472

[startup+137.513 s]
/proc/loadavg: 1.01 1.05 1.01 2/45 22647
/proc/meminfo: memFree=90056/1048576 swapFree=0/0
[pid=22606] ppid=22605 vsize=2572 CPUtime=0
/proc/22606/stat : 22606 (packup2hy4tr-0.) S 22605 22606 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 25 0 1 0 35988120 2633728 274 1283457024 134512640 135304128 4291858224 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22606/statm: 643 274 233 194 0 30 0
[pid=22607] ppid=22606 vsize=53540 CPUtime=27.53
/proc/22607/stat : 22607 (packup) S 22606 22606 17551 34817 17551 4202496 13248 184316 0 0 202 81 2316 154 18 0 1 0 35988120 54824960 12643 1283457024 134512640 134752139 4286966368 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22607/statm: 13385 12643 333 59 0 12549 0
[pid=22627] ppid=22607 vsize=1668 CPUtime=0.01
/proc/22627/stat : 22627 (sh) S 22607 22606 17551 34817 17551 4202496 145 0 0 0 0 1 0 0 18 0 1 0 35990927 1708032 123 1283457024 134512640 134593992 4291279584 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22627/statm: 417 123 108 20 0 44 0
[pid=22628] ppid=22627 vsize=2568 CPUtime=0
/proc/22628/stat : 22628 (run_h) S 22627 22606 17551 34817 17551 4202496 366 609 0 0 0 0 0 0 20 0 1 0 35990927 2629632 272 1283457024 134512640 135304128 4293763488 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22628/statm: 642 272 232 194 0 29 0
[pid=22632] ppid=22628 vsize=2572 CPUtime=0
/proc/22632/stat : 22632 (run_scip) S 22628 22606 17551 34817 17551 4202496 394 752 0 0 0 0 0 0 22 0 1 0 35990928 2633728 269 1283457024 134512640 135304128 4289013008 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22632/statm: 643 269 228 194 0 30 0
[pid=22636] ppid=22632 vsize=195800 CPUtime=109.16
/proc/22636/stat : 22636 (scip-2.0.1.linu) R 22632 22606 17551 34817 17551 4202496 140912 0 0 0 10612 304 0 0 25 0 1 0 35990928 200499200 44655 1283457024 134512640 143279753 4291170016 18446744073709551615 137827443 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/22636/statm: 48950 44655 796 2141 0 46806 0
[pid=22637] ppid=22632 vsize=7188 CPUtime=0.01
/proc/22637/stat : 22637 (scip2v) S 22632 22606 17551 34817 17551 4202496 1013 0 0 0 0 1 0 0 18 0 1 0 35990941 7360512 851 1283457024 134512640 136477024 4289719760 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/22637/statm: 1797 851 474 480 0 382 0
Current children cumulated CPU time (s) 136.71
Current children cumulated vsize (KiB) 265908

[startup+139.113 s]
/proc/loadavg: 1.01 1.05 1.01 2/45 22647
/proc/meminfo: memFree=89808/1048576 swapFree=0/0
[pid=22606] ppid=22605 vsize=2572 CPUtime=0
/proc/22606/stat : 22606 (packup2hy4tr-0.) S 22605 22606 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 25 0 1 0 35988120 2633728 274 1283457024 134512640 135304128 4291858224 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22606/statm: 643 274 233 194 0 30 0
[pid=22607] ppid=22606 vsize=53540 CPUtime=27.53
/proc/22607/stat : 22607 (packup) S 22606 22606 17551 34817 17551 4202496 13248 184316 0 0 202 81 2316 154 18 0 1 0 35988120 54824960 12643 1283457024 134512640 134752139 4286966368 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22607/statm: 13385 12643 333 59 0 12549 0
[pid=22627] ppid=22607 vsize=1668 CPUtime=0.01
/proc/22627/stat : 22627 (sh) S 22607 22606 17551 34817 17551 4202496 145 0 0 0 0 1 0 0 18 0 1 0 35990927 1708032 123 1283457024 134512640 134593992 4291279584 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22627/statm: 417 123 108 20 0 44 0
[pid=22628] ppid=22627 vsize=2568 CPUtime=0
/proc/22628/stat : 22628 (run_h) S 22627 22606 17551 34817 17551 4202496 366 609 0 0 0 0 0 0 20 0 1 0 35990927 2629632 272 1283457024 134512640 135304128 4293763488 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22628/statm: 642 272 232 194 0 29 0
[pid=22632] ppid=22628 vsize=2572 CPUtime=0
/proc/22632/stat : 22632 (run_scip) S 22628 22606 17551 34817 17551 4202496 394 752 0 0 0 0 0 0 22 0 1 0 35990928 2633728 269 1283457024 134512640 135304128 4289013008 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22632/statm: 643 269 228 194 0 30 0
[pid=22636] ppid=22632 vsize=195800 CPUtime=110.76
/proc/22636/stat : 22636 (scip-2.0.1.linu) R 22632 22606 17551 34817 17551 4202496 141231 0 0 0 10766 310 0 0 25 0 1 0 35990928 200499200 44639 1283457024 134512640 143279753 4291170016 18446744073709551615 136802900 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/22636/statm: 48950 44639 796 2141 0 46806 0
[pid=22637] ppid=22632 vsize=7188 CPUtime=0.01
/proc/22637/stat : 22637 (scip2v) S 22632 22606 17551 34817 17551 4202496 1013 0 0 0 0 1 0 0 18 0 1 0 35990941 7360512 851 1283457024 134512640 136477024 4289719760 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/22637/statm: 1797 851 474 480 0 382 0
Current children cumulated CPU time (s) 138.31
Current children cumulated vsize (KiB) 265908

[startup+139.514 s]
/proc/loadavg: 1.01 1.05 1.01 2/45 22647
/proc/meminfo: memFree=89808/1048576 swapFree=0/0
[pid=22606] ppid=22605 vsize=2572 CPUtime=0
/proc/22606/stat : 22606 (packup2hy4tr-0.) S 22605 22606 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 25 0 1 0 35988120 2633728 274 1283457024 134512640 135304128 4291858224 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22606/statm: 643 274 233 194 0 30 0
[pid=22607] ppid=22606 vsize=53540 CPUtime=27.53
/proc/22607/stat : 22607 (packup) S 22606 22606 17551 34817 17551 4202496 13248 184316 0 0 202 81 2316 154 18 0 1 0 35988120 54824960 12643 1283457024 134512640 134752139 4286966368 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22607/statm: 13385 12643 333 59 0 12549 0
[pid=22627] ppid=22607 vsize=1668 CPUtime=0.01
/proc/22627/stat : 22627 (sh) S 22607 22606 17551 34817 17551 4202496 145 0 0 0 0 1 0 0 18 0 1 0 35990927 1708032 123 1283457024 134512640 134593992 4291279584 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22627/statm: 417 123 108 20 0 44 0
[pid=22628] ppid=22627 vsize=2568 CPUtime=0
/proc/22628/stat : 22628 (run_h) S 22627 22606 17551 34817 17551 4202496 366 609 0 0 0 0 0 0 20 0 1 0 35990927 2629632 272 1283457024 134512640 135304128 4293763488 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22628/statm: 642 272 232 194 0 29 0
[pid=22632] ppid=22628 vsize=2572 CPUtime=0
/proc/22632/stat : 22632 (run_scip) S 22628 22606 17551 34817 17551 4202496 394 752 0 0 0 0 0 0 22 0 1 0 35990928 2633728 269 1283457024 134512640 135304128 4289013008 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22632/statm: 643 269 228 194 0 30 0
[pid=22636] ppid=22632 vsize=196072 CPUtime=111.08
/proc/22636/stat : 22636 (scip-2.0.1.linu) R 22632 22606 17551 34817 17551 4202496 142344 0 0 0 10790 318 0 0 25 0 1 0 35990928 200777728 44643 1283457024 134512640 143279753 4291170016 18446744073709551615 4294960130 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/22636/statm: 49018 44643 797 2141 0 46874 0
[pid=22637] ppid=22632 vsize=7640 CPUtime=0.09
/proc/22637/stat : 22637 (scip2v) R 22632 22606 17551 34817 17551 4202496 1118 0 0 0 4 5 0 0 18 0 1 0 35990941 7823360 956 1283457024 134512640 136477024 4289719760 18446744073709551615 4157413381 0 0 16800256 2 0 0 0 17 0 0 0 0
/proc/22637/statm: 1910 956 479 480 0 495 0
Current children cumulated CPU time (s) 138.71
Current children cumulated vsize (KiB) 266632

[startup+139.705 s]
/proc/loadavg: 1.01 1.05 1.01 2/40 22648
/proc/meminfo: memFree=269780/1048576 swapFree=0/0
[pid=22606] ppid=22605 vsize=2572 CPUtime=0
/proc/22606/stat : 22606 (packup2hy4tr-0.) S 22605 22606 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 25 0 1 0 35988120 2633728 274 1283457024 134512640 135304128 4291858224 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22606/statm: 643 274 233 194 0 30 0
[pid=22607] ppid=22606 vsize=52184 CPUtime=138.93
/proc/22607/stat : 22607 (packup) R 22606 22606 17551 34817 17551 4202496 24357 330150 0 0 211 86 13114 482 18 0 1 0 35988120 53436416 12317 1283457024 134512640 134752139 4286966368 18446744073709551615 4157859337 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/22607/statm: 13046 12317 346 59 0 12210 0
Current children cumulated CPU time (s) 138.93
Current children cumulated vsize (KiB) 54756

Child status: 0
Real time (s): 139.73
CPU time (s): 138.969
CPU user time (s): 133.26
CPU system time (s): 5.70836
CPU usage (%): 99.4551
Max. virtual memory (cumulated for all children) (KiB): 367732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 133.26
system time used= 5.70836
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355398
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= 21678
involuntary context switches= 23589

runsolver used 0 second user time and 0 second system time

The end