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/rand105.cudf.user-upgrades.log.runsolver ./packup2hy4tr-0.6 /home/misc2010/data/2011/user-upgrades/rand105.cudf /home/misc2010/tmp/201108281254/packup2hy4tr-0.6/rand105.cudf.user-upgrades.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.08 0.93 0.69 3/37 17902
/proc/meminfo: memFree=361084/1048576 swapFree=0/0
[pid=17901] ppid=17900 vsize=2576 CPUtime=0
/proc/17901/stat : 17901 (packup2hy4tr-0.) S 17900 17901 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35288345 2637824 275 1283457024 134512640 135304128 4292265872 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17901/statm: 644 275 233 194 0 31 0
[pid=17902] ppid=17901 vsize=3560 CPUtime=0
/proc/17902/stat : 17902 (packup) D 17901 17901 17551 34817 17551 4202496 366 0 0 0 0 0 0 0 18 0 1 0 35288345 3645440 295 1283457024 134512640 134752139 4289131632 18446744073709551615 4294960130 0 0 18944 8192 18446744071564252162 0 0 17 0 0 0 0
/proc/17902/statm: 890 295 259 59 0 54 0

[startup+0.204391 s]
/proc/loadavg: 1.08 0.93 0.69 3/37 17902
/proc/meminfo: memFree=361084/1048576 swapFree=0/0
[pid=17901] ppid=17900 vsize=2576 CPUtime=0
/proc/17901/stat : 17901 (packup2hy4tr-0.) S 17900 17901 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35288345 2637824 275 1283457024 134512640 135304128 4292265872 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17901/statm: 644 275 233 194 0 31 0
[pid=17902] ppid=17901 vsize=8352 CPUtime=0.11
/proc/17902/stat : 17902 (packup) R 17901 17901 17551 34817 17551 4202496 1561 0 0 0 10 1 0 0 25 0 1 0 35288345 8552448 1490 1283457024 134512640 134752139 4289131632 18446744073709551615 4158902157 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/17902/statm: 2088 1490 286 59 0 1252 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10928

[startup+0.304399 s]
/proc/loadavg: 1.08 0.93 0.69 3/37 17902
/proc/meminfo: memFree=361084/1048576 swapFree=0/0
[pid=17901] ppid=17900 vsize=2576 CPUtime=0
/proc/17901/stat : 17901 (packup2hy4tr-0.) S 17900 17901 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35288345 2637824 275 1283457024 134512640 135304128 4292265872 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17901/statm: 644 275 233 194 0 31 0
[pid=17902] ppid=17901 vsize=9672 CPUtime=0.14
/proc/17902/stat : 17902 (packup) R 17901 17901 17551 34817 17551 4202496 1894 0 0 0 13 1 0 0 25 0 1 0 35288345 9904128 1823 1283457024 134512640 134752139 4289131632 18446744073709551615 134681839 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/17902/statm: 2418 1823 286 59 0 1582 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 12248

[startup+0.404409 s]
/proc/loadavg: 1.08 0.93 0.69 3/37 17902
/proc/meminfo: memFree=361084/1048576 swapFree=0/0
[pid=17901] ppid=17900 vsize=2576 CPUtime=0
/proc/17901/stat : 17901 (packup2hy4tr-0.) S 17900 17901 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35288345 2637824 275 1283457024 134512640 135304128 4292265872 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17901/statm: 644 275 233 194 0 31 0
[pid=17902] ppid=17901 vsize=11980 CPUtime=0.22
/proc/17902/stat : 17902 (packup) R 17901 17901 17551 34817 17551 4202496 2478 0 0 0 21 1 0 0 25 0 1 0 35288345 12267520 2407 1283457024 134512640 134752139 4289131632 18446744073709551615 134681659 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/17902/statm: 2995 2407 286 59 0 2159 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 14556

[startup+0.704419 s]
/proc/loadavg: 1.08 0.93 0.69 3/37 17902
/proc/meminfo: memFree=361084/1048576 swapFree=0/0
[pid=17901] ppid=17900 vsize=2576 CPUtime=0
/proc/17901/stat : 17901 (packup2hy4tr-0.) S 17900 17901 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35288345 2637824 275 1283457024 134512640 135304128 4292265872 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17901/statm: 644 275 233 194 0 31 0
[pid=17902] ppid=17901 vsize=17896 CPUtime=0.43
/proc/17902/stat : 17902 (packup) R 17901 17901 17551 34817 17551 4202496 3950 0 0 0 41 2 0 0 25 0 1 0 35288345 18325504 3879 1283457024 134512640 134752139 4289131632 18446744073709551615 4156959251 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/17902/statm: 4474 3879 286 59 0 3638 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 20472

[startup+1.50981 s]
/proc/loadavg: 1.08 0.93 0.69 2/38 17903
/proc/meminfo: memFree=317276/1048576 swapFree=0/0
[pid=17901] ppid=17900 vsize=2576 CPUtime=0
/proc/17901/stat : 17901 (packup2hy4tr-0.) S 17900 17901 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35288345 2637824 275 1283457024 134512640 135304128 4292265872 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17901/statm: 644 275 233 194 0 31 0
[pid=17902] ppid=17901 vsize=30692 CPUtime=0.93
/proc/17902/stat : 17902 (packup) D 17901 17901 17551 34817 17551 4202496 7205 0 0 0 90 3 0 0 25 0 1 0 35288345 31428608 7085 1283457024 134512640 134752139 4289131632 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/17902/statm: 7673 7085 286 59 0 6837 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 33268

[startup+3.10829 s]
/proc/loadavg: 1.08 0.93 0.69 3/41 17909
/proc/meminfo: memFree=282304/1048576 swapFree=0/0
[pid=17901] ppid=17900 vsize=2576 CPUtime=0
/proc/17901/stat : 17901 (packup2hy4tr-0.) S 17900 17901 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35288345 2637824 275 1283457024 134512640 135304128 4292265872 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17901/statm: 644 275 233 194 0 31 0
[pid=17902] ppid=17901 vsize=46084 CPUtime=1.48
/proc/17902/stat : 17902 (packup) S 17901 17901 17551 34817 17551 4202496 11092 0 0 0 128 20 0 0 25 0 1 0 35288345 47190016 10828 1283457024 134512640 134752139 4289131632 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/17902/statm: 11521 10828 325 59 0 10685 0
[pid=17904] ppid=17902 vsize=1668 CPUtime=0
/proc/17904/stat : 17904 (sh) S 17902 17901 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 25 0 1 0 35288555 1708032 123 1283457024 134512640 134593992 4294871712 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/17904/statm: 417 123 108 20 0 44 0
[pid=17905] ppid=17904 vsize=2568 CPUtime=0
/proc/17905/stat : 17905 (run_h) S 17904 17901 17551 34817 17551 4202496 367 609 0 0 0 0 0 0 25 0 1 0 35288556 2629632 272 1283457024 134512640 135304128 4294914752 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17905/statm: 642 272 232 194 0 29 0
[pid=17909] ppid=17905 vsize=22228 CPUtime=0.98
/proc/17909/stat : 17909 (minisatp_32) R 17905 17901 17551 34817 17551 4202496 6677 0 0 0 86 12 0 0 25 0 1 0 35288556 22761472 5200 1283457024 134512640 135413687 4286786288 18446744073709551615 134686158 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/17909/statm: 5557 5200 110 220 0 5335 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 75124
heavy processes:

[startup+6.30913 s]
/proc/loadavg: 1.07 0.93 0.69 2/41 17921
/proc/meminfo: memFree=281932/1048576 swapFree=0/0
[pid=17901] ppid=17900 vsize=2576 CPUtime=0
/proc/17901/stat : 17901 (packup2hy4tr-0.) S 17900 17901 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35288345 2637824 275 1283457024 134512640 135304128 4292265872 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17901/statm: 644 275 233 194 0 31 0
[pid=17902] ppid=17901 vsize=46092 CPUtime=4.8
/proc/17902/stat : 17902 (packup) S 17901 17901 17551 34817 17551 4202496 11256 25329 0 0 147 45 263 25 18 0 1 0 35288345 47198208 10863 1283457024 134512640 134752139 4289131632 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/17902/statm: 11523 10863 333 59 0 10687 0
[pid=17916] ppid=17902 vsize=1668 CPUtime=0
/proc/17916/stat : 17916 (sh) S 17902 17901 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35288890 1708032 123 1283457024 134512640 134593992 4293226768 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/17916/statm: 417 123 108 20 0 44 0
[pid=17917] ppid=17916 vsize=2568 CPUtime=0
/proc/17917/stat : 17917 (run_h) S 17916 17901 17551 34817 17551 4202496 367 613 0 0 0 0 0 0 21 0 1 0 35288890 2629632 273 1283457024 134512640 135304128 4287613888 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17917/statm: 642 273 232 194 0 29 0
[pid=17921] ppid=17917 vsize=23616 CPUtime=0.84
/proc/17921/stat : 17921 (minisatp_32) R 17917 17901 17551 34817 17551 4202496 5350 0 0 0 80 4 0 0 25 0 1 0 35288891 24182784 4560 1283457024 134512640 135413687 4293583200 18446744073709551615 134988446 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/17921/statm: 5904 4560 85 220 0 5682 0
Current children cumulated CPU time (s) 5.64
Current children cumulated vsize (KiB) 76520

[startup+12.7109 s]
/proc/loadavg: 1.15 0.95 0.70 2/43 17932
/proc/meminfo: memFree=211592/1048576 swapFree=0/0
[pid=17901] ppid=17900 vsize=2576 CPUtime=0
/proc/17901/stat : 17901 (packup2hy4tr-0.) S 17900 17901 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35288345 2637824 275 1283457024 134512640 135304128 4292265872 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17901/statm: 644 275 233 194 0 31 0
[pid=17902] ppid=17901 vsize=46096 CPUtime=7.84
/proc/17902/stat : 17902 (packup) S 17901 17901 17551 34817 17551 4202496 11325 49682 0 0 157 57 523 47 18 0 1 0 35288345 47202304 10864 1283457024 134512640 134752139 4289131632 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/17902/statm: 11524 10864 333 59 0 10688 0
[pid=17922] ppid=17902 vsize=1672 CPUtime=0
/proc/17922/stat : 17922 (sh) S 17902 17901 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35289194 1712128 123 1283457024 134512640 134593992 4290076176 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/17922/statm: 418 123 108 20 0 45 0
[pid=17923] ppid=17922 vsize=2568 CPUtime=0.01
/proc/17923/stat : 17923 (run_h) S 17922 17901 17551 34817 17551 4202496 365 611 0 0 0 1 0 0 21 0 1 0 35289195 2629632 272 1283457024 134512640 135304128 4290891488 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17923/statm: 642 272 232 194 0 29 0
[pid=17927] ppid=17923 vsize=2568 CPUtime=0
/proc/17927/stat : 17927 (run_scip) S 17923 17901 17551 34817 17551 4202496 390 755 0 0 0 0 0 0 22 0 1 0 35289195 2629632 268 1283457024 134512640 135304128 4291768240 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17927/statm: 642 268 228 194 0 29 0
[pid=17931] ppid=17927 vsize=82660 CPUtime=4.19
/proc/17931/stat : 17931 (scip-2.0.1.linu) R 17927 17901 17551 34817 17551 4202496 30062 0 0 0 362 57 0 0 25 0 1 0 35289196 84643840 18576 1283457024 134512640 143279753 4292956304 18446744073709551615 135922293 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/17931/statm: 20665 18576 653 2141 0 18521 0
[pid=17932] ppid=17927 vsize=7192 CPUtime=0.01
/proc/17932/stat : 17932 (scip2v) S 17927 17901 17551 34817 17551 4202496 1008 0 0 0 0 1 0 0 18 0 1 0 35289208 7364608 847 1283457024 134512640 136477024 4288908560 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/17932/statm: 1798 847 474 480 0 383 0
Current children cumulated CPU time (s) 12.05
Current children cumulated vsize (KiB) 145332

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

[startup+12.911 s]
/proc/loadavg: 1.15 0.95 0.70 2/43 17932
/proc/meminfo: memFree=211592/1048576 swapFree=0/0
[pid=17901] ppid=17900 vsize=2576 CPUtime=0
/proc/17901/stat : 17901 (packup2hy4tr-0.) S 17900 17901 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35288345 2637824 275 1283457024 134512640 135304128 4292265872 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17901/statm: 644 275 233 194 0 31 0
[pid=17902] ppid=17901 vsize=46096 CPUtime=7.84
/proc/17902/stat : 17902 (packup) S 17901 17901 17551 34817 17551 4202496 11325 49682 0 0 157 57 523 47 18 0 1 0 35288345 47202304 10864 1283457024 134512640 134752139 4289131632 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/17902/statm: 11524 10864 333 59 0 10688 0
[pid=17922] ppid=17902 vsize=1672 CPUtime=0
/proc/17922/stat : 17922 (sh) S 17902 17901 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35289194 1712128 123 1283457024 134512640 134593992 4290076176 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/17922/statm: 418 123 108 20 0 45 0
[pid=17923] ppid=17922 vsize=2568 CPUtime=0.01
/proc/17923/stat : 17923 (run_h) S 17922 17901 17551 34817 17551 4202496 365 611 0 0 0 1 0 0 21 0 1 0 35289195 2629632 272 1283457024 134512640 135304128 4290891488 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17923/statm: 642 272 232 194 0 29 0
[pid=17927] ppid=17923 vsize=2568 CPUtime=0
/proc/17927/stat : 17927 (run_scip) S 17923 17901 17551 34817 17551 4202496 390 755 0 0 0 0 0 0 22 0 1 0 35289195 2629632 268 1283457024 134512640 135304128 4291768240 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17927/statm: 642 268 228 194 0 29 0
[pid=17931] ppid=17927 vsize=83104 CPUtime=4.39
/proc/17931/stat : 17931 (scip-2.0.1.linu) R 17927 17901 17551 34817 17551 4202496 31462 0 0 0 379 60 0 0 25 0 1 0 35289196 85098496 18686 1283457024 134512640 143279753 4292956304 18446744073709551615 135844241 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/17931/statm: 20776 18686 653 2141 0 18632 0
[pid=17932] ppid=17927 vsize=7192 CPUtime=0.01
/proc/17932/stat : 17932 (scip2v) S 17927 17901 17551 34817 17551 4202496 1008 0 0 0 0 1 0 0 18 0 1 0 35289208 7364608 847 1283457024 134512640 136477024 4288908560 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/17932/statm: 1798 847 474 480 0 383 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 145776

[startup+16.1118 s]
/proc/loadavg: 1.13 0.95 0.70 2/43 17932
/proc/meminfo: memFree=210352/1048576 swapFree=0/0
[pid=17901] ppid=17900 vsize=2576 CPUtime=0
/proc/17901/stat : 17901 (packup2hy4tr-0.) S 17900 17901 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35288345 2637824 275 1283457024 134512640 135304128 4292265872 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17901/statm: 644 275 233 194 0 31 0
[pid=17902] ppid=17901 vsize=46096 CPUtime=7.84
/proc/17902/stat : 17902 (packup) S 17901 17901 17551 34817 17551 4202496 11325 49682 0 0 157 57 523 47 18 0 1 0 35288345 47202304 10864 1283457024 134512640 134752139 4289131632 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/17902/statm: 11524 10864 333 59 0 10688 0
[pid=17922] ppid=17902 vsize=1672 CPUtime=0
/proc/17922/stat : 17922 (sh) S 17902 17901 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35289194 1712128 123 1283457024 134512640 134593992 4290076176 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/17922/statm: 418 123 108 20 0 45 0
[pid=17923] ppid=17922 vsize=2568 CPUtime=0.01
/proc/17923/stat : 17923 (run_h) S 17922 17901 17551 34817 17551 4202496 365 611 0 0 0 1 0 0 21 0 1 0 35289195 2629632 272 1283457024 134512640 135304128 4290891488 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17923/statm: 642 272 232 194 0 29 0
[pid=17927] ppid=17923 vsize=2568 CPUtime=0
/proc/17927/stat : 17927 (run_scip) S 17923 17901 17551 34817 17551 4202496 390 755 0 0 0 0 0 0 22 0 1 0 35289195 2629632 268 1283457024 134512640 135304128 4291768240 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17927/statm: 642 268 228 194 0 29 0
[pid=17931] ppid=17927 vsize=84504 CPUtime=7.59
/proc/17931/stat : 17931 (scip-2.0.1.linu) R 17927 17901 17551 34817 17551 4202496 38440 0 0 0 680 79 0 0 25 0 1 0 35289196 86532096 18956 1283457024 134512640 143279753 4292956304 18446744073709551615 141858391 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/17931/statm: 21126 18956 657 2141 0 18982 0
[pid=17932] ppid=17927 vsize=7192 CPUtime=0.01
/proc/17932/stat : 17932 (scip2v) S 17927 17901 17551 34817 17551 4202496 1011 0 0 0 0 1 0 0 18 0 1 0 35289208 7364608 850 1283457024 134512640 136477024 4288908560 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/17932/statm: 1798 850 474 480 0 383 0
Current children cumulated CPU time (s) 15.45
Current children cumulated vsize (KiB) 147176

[startup+19.3025 s]
/proc/loadavg: 1.12 0.95 0.70 2/43 17932
/proc/meminfo: memFree=210104/1048576 swapFree=0/0
[pid=17901] ppid=17900 vsize=2576 CPUtime=0
/proc/17901/stat : 17901 (packup2hy4tr-0.) S 17900 17901 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35288345 2637824 275 1283457024 134512640 135304128 4292265872 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17901/statm: 644 275 233 194 0 31 0
[pid=17902] ppid=17901 vsize=46096 CPUtime=7.84
/proc/17902/stat : 17902 (packup) S 17901 17901 17551 34817 17551 4202496 11325 49682 0 0 157 57 523 47 18 0 1 0 35288345 47202304 10864 1283457024 134512640 134752139 4289131632 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/17902/statm: 11524 10864 333 59 0 10688 0
[pid=17922] ppid=17902 vsize=1672 CPUtime=0
/proc/17922/stat : 17922 (sh) S 17902 17901 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35289194 1712128 123 1283457024 134512640 134593992 4290076176 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/17922/statm: 418 123 108 20 0 45 0
[pid=17923] ppid=17922 vsize=2568 CPUtime=0.01
/proc/17923/stat : 17923 (run_h) S 17922 17901 17551 34817 17551 4202496 365 611 0 0 0 1 0 0 21 0 1 0 35289195 2629632 272 1283457024 134512640 135304128 4290891488 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17923/statm: 642 272 232 194 0 29 0
[pid=17927] ppid=17923 vsize=2568 CPUtime=0
/proc/17927/stat : 17927 (run_scip) S 17923 17901 17551 34817 17551 4202496 390 755 0 0 0 0 0 0 22 0 1 0 35289195 2629632 268 1283457024 134512640 135304128 4291768240 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17927/statm: 642 268 228 194 0 29 0
[pid=17931] ppid=17927 vsize=84196 CPUtime=10.77
/proc/17931/stat : 17931 (scip-2.0.1.linu) R 17927 17901 17551 34817 17551 4202496 47865 0 0 0 979 98 0 0 25 0 1 0 35289196 86216704 18964 1283457024 134512640 143279753 4292956304 18446744073709551615 4294960130 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/17931/statm: 21049 18964 657 2141 0 18905 0
[pid=17932] ppid=17927 vsize=7192 CPUtime=0.01
/proc/17932/stat : 17932 (scip2v) S 17927 17901 17551 34817 17551 4202496 1012 0 0 0 0 1 0 0 18 0 1 0 35289208 7364608 851 1283457024 134512640 136477024 4288908560 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/17932/statm: 1798 851 474 480 0 383 0
Current children cumulated CPU time (s) 18.63
Current children cumulated vsize (KiB) 146868

[startup+20.9029 s]
/proc/loadavg: 1.12 0.95 0.70 2/43 17932
/proc/meminfo: memFree=210104/1048576 swapFree=0/0
[pid=17901] ppid=17900 vsize=2576 CPUtime=0
/proc/17901/stat : 17901 (packup2hy4tr-0.) S 17900 17901 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35288345 2637824 275 1283457024 134512640 135304128 4292265872 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17901/statm: 644 275 233 194 0 31 0
[pid=17902] ppid=17901 vsize=46096 CPUtime=7.84
/proc/17902/stat : 17902 (packup) S 17901 17901 17551 34817 17551 4202496 11325 49682 0 0 157 57 523 47 18 0 1 0 35288345 47202304 10864 1283457024 134512640 134752139 4289131632 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/17902/statm: 11524 10864 333 59 0 10688 0
[pid=17922] ppid=17902 vsize=1672 CPUtime=0
/proc/17922/stat : 17922 (sh) S 17902 17901 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35289194 1712128 123 1283457024 134512640 134593992 4290076176 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/17922/statm: 418 123 108 20 0 45 0
[pid=17923] ppid=17922 vsize=2568 CPUtime=0.01
/proc/17923/stat : 17923 (run_h) S 17922 17901 17551 34817 17551 4202496 365 611 0 0 0 1 0 0 21 0 1 0 35289195 2629632 272 1283457024 134512640 135304128 4290891488 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17923/statm: 642 272 232 194 0 29 0
[pid=17927] ppid=17923 vsize=2568 CPUtime=0
/proc/17927/stat : 17927 (run_scip) S 17923 17901 17551 34817 17551 4202496 390 755 0 0 0 0 0 0 22 0 1 0 35289195 2629632 268 1283457024 134512640 135304128 4291768240 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17927/statm: 642 268 228 194 0 29 0
[pid=17931] ppid=17927 vsize=84196 CPUtime=12.36
/proc/17931/stat : 17931 (scip-2.0.1.linu) R 17927 17901 17551 34817 17551 4202496 54702 0 0 0 1122 114 0 0 25 0 1 0 35289196 86216704 18964 1283457024 134512640 143279753 4292956304 18446744073709551615 4294960130 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/17931/statm: 21049 18964 657 2141 0 18905 0
[pid=17932] ppid=17927 vsize=7192 CPUtime=0.01
/proc/17932/stat : 17932 (scip2v) S 17927 17901 17551 34817 17551 4202496 1012 0 0 0 0 1 0 0 18 0 1 0 35289208 7364608 851 1283457024 134512640 136477024 4288908560 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/17932/statm: 1798 851 474 480 0 383 0
Current children cumulated CPU time (s) 20.22
Current children cumulated vsize (KiB) 146868

[startup+21.703 s]
/proc/loadavg: 1.12 0.95 0.70 2/43 17932
/proc/meminfo: memFree=210104/1048576 swapFree=0/0
[pid=17901] ppid=17900 vsize=2576 CPUtime=0
/proc/17901/stat : 17901 (packup2hy4tr-0.) S 17900 17901 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35288345 2637824 275 1283457024 134512640 135304128 4292265872 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17901/statm: 644 275 233 194 0 31 0
[pid=17902] ppid=17901 vsize=46096 CPUtime=7.84
/proc/17902/stat : 17902 (packup) S 17901 17901 17551 34817 17551 4202496 11325 49682 0 0 157 57 523 47 18 0 1 0 35288345 47202304 10864 1283457024 134512640 134752139 4289131632 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/17902/statm: 11524 10864 333 59 0 10688 0
[pid=17922] ppid=17902 vsize=1672 CPUtime=0
/proc/17922/stat : 17922 (sh) S 17902 17901 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35289194 1712128 123 1283457024 134512640 134593992 4290076176 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/17922/statm: 418 123 108 20 0 45 0
[pid=17923] ppid=17922 vsize=2568 CPUtime=0.01
/proc/17923/stat : 17923 (run_h) S 17922 17901 17551 34817 17551 4202496 365 611 0 0 0 1 0 0 21 0 1 0 35289195 2629632 272 1283457024 134512640 135304128 4290891488 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17923/statm: 642 272 232 194 0 29 0
[pid=17927] ppid=17923 vsize=2568 CPUtime=0
/proc/17927/stat : 17927 (run_scip) S 17923 17901 17551 34817 17551 4202496 390 755 0 0 0 0 0 0 22 0 1 0 35289195 2629632 268 1283457024 134512640 135304128 4291768240 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17927/statm: 642 268 228 194 0 29 0
[pid=17931] ppid=17927 vsize=85972 CPUtime=13.17
/proc/17931/stat : 17931 (scip-2.0.1.linu) R 17927 17901 17551 34817 17551 4202496 58081 0 0 0 1200 117 0 0 25 0 1 0 35289196 88035328 19441 1283457024 134512640 143279753 4292956304 18446744073709551615 134766190 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/17931/statm: 21493 19441 746 2141 0 19349 0
[pid=17932] ppid=17927 vsize=7192 CPUtime=0.01
/proc/17932/stat : 17932 (scip2v) S 17927 17901 17551 34817 17551 4202496 1013 0 0 0 0 1 0 0 18 0 1 0 35289208 7364608 852 1283457024 134512640 136477024 4288908560 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/17932/statm: 1798 852 474 480 0 383 0
Current children cumulated CPU time (s) 21.03
Current children cumulated vsize (KiB) 148644

[startup+21.9031 s]
/proc/loadavg: 1.12 0.95 0.70 2/43 17932
/proc/meminfo: memFree=210104/1048576 swapFree=0/0
[pid=17901] ppid=17900 vsize=2576 CPUtime=0
/proc/17901/stat : 17901 (packup2hy4tr-0.) S 17900 17901 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35288345 2637824 275 1283457024 134512640 135304128 4292265872 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17901/statm: 644 275 233 194 0 31 0
[pid=17902] ppid=17901 vsize=46100 CPUtime=21.23
/proc/17902/stat : 17902 (packup) R 17901 17901 17551 34817 17551 4202496 13254 111167 0 0 158 59 1732 174 18 0 1 0 35288345 47206400 10877 1283457024 134512640 134752139 4289131632 18446744073709551615 134525596 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/17902/statm: 11525 10877 345 59 0 10689 0
Current children cumulated CPU time (s) 21.23
Current children cumulated vsize (KiB) 48676

Child status: 0
Real time (s): 21.985
CPU time (s): 21.3333
CPU user time (s): 18.9612
CPU system time (s): 2.37215
CPU usage (%): 97.0357
Max. virtual memory (cumulated for all children) (KiB): 148964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.9612
system time used= 2.37215
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132983
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= 12765
involuntary context switches= 12990

runsolver used 0.012 second user time and 0 second system time

The end