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/rand230.cudf.s-e.log.runsolver ./packup2hy4tr-0.6 /home/misc2010/data/2011/incremental/s-e/rand230.cudf /home/misc2010/tmp/201108281254/packup2hy4tr-0.6/rand230.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: 0.97 0.98 0.91 5/39 18595
/proc/meminfo: memFree=253560/1048576 swapFree=0/0
[pid=18594] ppid=18593 vsize=2568 CPUtime=0
/proc/18594/stat : 18594 (packup2hy4tr-0.) R 18593 18594 17551 34817 17551 4202496 359 0 0 0 0 0 0 0 25 0 1 0 35441120 2629632 272 1283457024 134512640 135304128 4291522272 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0
/proc/18594/statm: 642 272 233 194 0 29 0
[pid=18595] ppid=18594 vsize=2568 CPUtime=0
/proc/18595/stat : 18595 (packup2hy4tr-0.) R 18594 18594 17551 34817 17551 4202560 0 0 0 0 0 0 0 0 25 0 1 0 35441120 2629632 39 1283457024 134512640 135304128 4291522272 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0
/proc/18595/statm: 642 39 0 194 0 29 0

[startup+0.15193 s]
/proc/loadavg: 0.97 0.98 0.91 5/39 18595
/proc/meminfo: memFree=253560/1048576 swapFree=0/0
[pid=18594] ppid=18593 vsize=2568 CPUtime=0
/proc/18594/stat : 18594 (packup2hy4tr-0.) S 18593 18594 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35441120 2629632 272 1283457024 134512640 135304128 4291522272 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18594/statm: 642 272 233 194 0 29 0
[pid=18595] ppid=18594 vsize=8628 CPUtime=0.12
/proc/18595/stat : 18595 (packup) R 18594 18594 17551 34817 17551 4202496 1660 0 0 0 12 0 0 0 25 0 1 0 35441120 8835072 1589 1283457024 134512640 134752139 4292630480 18446744073709551615 134681608 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/18595/statm: 2157 1589 286 59 0 1321 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 11196

[startup+0.20776 s]
/proc/loadavg: 0.97 0.98 0.91 5/39 18595
/proc/meminfo: memFree=253560/1048576 swapFree=0/0
[pid=18594] ppid=18593 vsize=2568 CPUtime=0
/proc/18594/stat : 18594 (packup2hy4tr-0.) S 18593 18594 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35441120 2629632 272 1283457024 134512640 135304128 4291522272 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18594/statm: 642 272 233 194 0 29 0
[pid=18595] ppid=18594 vsize=10476 CPUtime=0.16
/proc/18595/stat : 18595 (packup) R 18594 18594 17551 34817 17551 4202496 2114 0 0 0 16 0 0 0 25 0 1 0 35441120 10727424 2043 1283457024 134512640 134752139 4292630480 18446744073709551615 4158845463 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/18595/statm: 2619 2043 286 59 0 1783 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 13044

[startup+0.307787 s]
/proc/loadavg: 0.97 0.98 0.91 5/39 18595
/proc/meminfo: memFree=253560/1048576 swapFree=0/0
[pid=18594] ppid=18593 vsize=2568 CPUtime=0
/proc/18594/stat : 18594 (packup2hy4tr-0.) S 18593 18594 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35441120 2629632 272 1283457024 134512640 135304128 4291522272 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18594/statm: 642 272 233 194 0 29 0
[pid=18595] ppid=18594 vsize=13548 CPUtime=0.25
/proc/18595/stat : 18595 (packup) R 18594 18594 17551 34817 17551 4202496 2865 0 0 0 24 1 0 0 25 0 1 0 35441120 13873152 2794 1283457024 134512640 134752139 4292630480 18446744073709551615 134682011 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/18595/statm: 3387 2794 286 59 0 2551 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 16116

[startup+0.710621 s]
/proc/loadavg: 0.97 0.98 0.91 5/39 18595
/proc/meminfo: memFree=253560/1048576 swapFree=0/0
[pid=18594] ppid=18593 vsize=2568 CPUtime=0
/proc/18594/stat : 18594 (packup2hy4tr-0.) S 18593 18594 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35441120 2629632 272 1283457024 134512640 135304128 4291522272 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18594/statm: 642 272 233 194 0 29 0
[pid=18595] ppid=18594 vsize=26952 CPUtime=0.56
/proc/18595/stat : 18595 (packup) R 18594 18594 17551 34817 17551 4202496 6257 0 0 0 55 1 0 0 25 0 1 0 35441120 27598848 6186 1283457024 134512640 134752139 4292630480 18446744073709551615 4157416837 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/18595/statm: 6738 6186 316 59 0 5902 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 29520

[startup+1.51075 s]
/proc/loadavg: 0.97 0.98 0.91 2/43 18602
/proc/meminfo: memFree=214220/1048576 swapFree=0/0
[pid=18594] ppid=18593 vsize=2568 CPUtime=0
/proc/18594/stat : 18594 (packup2hy4tr-0.) S 18593 18594 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35441120 2629632 272 1283457024 134512640 135304128 4291522272 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18594/statm: 642 272 233 194 0 29 0
[pid=18595] ppid=18594 vsize=28332 CPUtime=0.73
/proc/18595/stat : 18595 (packup) S 18594 18594 17551 34817 17551 4202496 6603 0 0 0 63 10 0 0 25 0 1 0 35441120 29011968 6417 1283457024 134512640 134752139 4292630480 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18595/statm: 7083 6417 324 59 0 6247 0
[pid=18597] ppid=18595 vsize=1668 CPUtime=0
/proc/18597/stat : 18597 (sh) S 18595 18594 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 25 0 1 0 35441208 1708032 123 1283457024 134512640 134593992 4287064880 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18597/statm: 417 123 108 20 0 44 0
[pid=18598] ppid=18597 vsize=2568 CPUtime=0
/proc/18598/stat : 18598 (run_h) S 18597 18594 17551 34817 17551 4202496 367 613 0 0 0 0 0 0 25 0 1 0 35441209 2629632 273 1283457024 134512640 135304128 4288162896 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18598/statm: 642 273 232 194 0 29 0
[pid=18602] ppid=18598 vsize=17552 CPUtime=0.62
/proc/18602/stat : 18602 (minisatp_32) R 18598 18594 17551 34817 17551 4202496 3662 0 0 0 56 6 0 0 25 0 1 0 35441209 17973248 3162 1283457024 134512640 135413687 4294877856 18446744073709551615 134656621 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/18602/statm: 4388 3162 85 220 0 4166 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 52688

[startup+3.11102 s]
/proc/loadavg: 0.97 0.98 0.91 2/43 18608
/proc/meminfo: memFree=213104/1048576 swapFree=0/0
[pid=18594] ppid=18593 vsize=2568 CPUtime=0
/proc/18594/stat : 18594 (packup2hy4tr-0.) S 18593 18594 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35441120 2629632 272 1283457024 134512640 135304128 4291522272 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18594/statm: 642 272 233 194 0 29 0
[pid=18595] ppid=18594 vsize=28336 CPUtime=1.78
/proc/18595/stat : 18595 (packup) S 18594 18594 17551 34817 17551 4202496 6666 8096 0 0 70 19 82 7 18 0 1 0 35441120 29016064 6430 1283457024 134512640 134752139 4292630480 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18595/statm: 7084 6430 332 59 0 6248 0
[pid=18603] ppid=18595 vsize=1668 CPUtime=0
/proc/18603/stat : 18603 (sh) S 18595 18594 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35441315 1708032 123 1283457024 134512640 134593992 4290367056 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18603/statm: 417 123 108 20 0 44 0
[pid=18604] ppid=18603 vsize=2568 CPUtime=0
/proc/18604/stat : 18604 (run_h) S 18603 18594 17551 34817 17551 4202496 367 609 0 0 0 0 0 0 20 0 1 0 35441315 2629632 272 1283457024 134512640 135304128 4294943424 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18604/statm: 642 272 232 194 0 29 0
[pid=18608] ppid=18604 vsize=37884 CPUtime=1.15
/proc/18608/stat : 18608 (minisatp_32) R 18604 18594 17551 34817 17551 4202496 12170 0 0 0 107 8 0 0 25 0 1 0 35441316 38793216 8580 1283457024 134512640 135413687 4292733088 18446744073709551615 134690080 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/18608/statm: 9471 8580 107 220 0 9249 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 73024

[startup+6.31179 s]
/proc/loadavg: 0.97 0.98 0.91 2/42 18614
/proc/meminfo: memFree=178028/1048576 swapFree=0/0
[pid=18594] ppid=18593 vsize=2568 CPUtime=0
/proc/18594/stat : 18594 (packup2hy4tr-0.) S 18593 18594 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35441120 2629632 272 1283457024 134512640 135304128 4291522272 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18594/statm: 642 272 233 194 0 29 0
[pid=18595] ppid=18594 vsize=28340 CPUtime=3.66
/proc/18595/stat : 18595 (packup) S 18594 18594 17551 34817 17551 4202496 6728 25047 0 0 77 30 242 17 18 0 1 0 35441120 29020160 6435 1283457024 134512640 134752139 4292630480 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18595/statm: 7085 6435 332 59 0 6249 0
[pid=18609] ppid=18595 vsize=1668 CPUtime=0
/proc/18609/stat : 18609 (sh) S 18595 18594 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35441503 1708032 123 1283457024 134512640 134593992 4294187504 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18609/statm: 417 123 108 20 0 44 0
[pid=18610] ppid=18609 vsize=2572 CPUtime=0.01
/proc/18610/stat : 18610 (run_h) S 18609 18594 17551 34817 17551 4202496 367 614 0 0 0 1 0 0 20 0 1 0 35441504 2633728 273 1283457024 134512640 135304128 4293278000 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18610/statm: 643 273 232 194 0 30 0
[pid=18614] ppid=18610 vsize=59420 CPUtime=2.46
/proc/18614/stat : 18614 (minisatp_32) R 18610 18594 17551 34817 17551 4202496 21991 0 0 0 228 18 0 0 25 0 1 0 35441504 60846080 13268 1283457024 134512640 135413687 4287869936 18446744073709551615 134629973 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/18614/statm: 14855 13268 107 220 0 14633 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 94568

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

[startup+6.41238 s]
/proc/loadavg: 0.97 0.98 0.91 2/42 18614
/proc/meminfo: memFree=178028/1048576 swapFree=0/0
[pid=18594] ppid=18593 vsize=2568 CPUtime=0
/proc/18594/stat : 18594 (packup2hy4tr-0.) S 18593 18594 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35441120 2629632 272 1283457024 134512640 135304128 4291522272 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18594/statm: 642 272 233 194 0 29 0
[pid=18595] ppid=18594 vsize=28344 CPUtime=6.25
/proc/18595/stat : 18595 (packup) R 18594 18594 17551 34817 17551 4202496 6784 48200 0 0 80 33 474 38 18 0 1 0 35441120 29024256 6436 1283457024 134512640 134752139 4292630480 18446744073709551615 4294960130 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/18595/statm: 7086 6436 332 59 0 6250 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 30912

[startup+9.61295 s]
/proc/loadavg: 0.98 0.98 0.91 2/44 18625
/proc/meminfo: memFree=156296/1048576 swapFree=0/0
[pid=18594] ppid=18593 vsize=2568 CPUtime=0
/proc/18594/stat : 18594 (packup2hy4tr-0.) S 18593 18594 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35441120 2629632 272 1283457024 134512640 135304128 4291522272 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18594/statm: 642 272 233 194 0 29 0
[pid=18595] ppid=18594 vsize=28344 CPUtime=6.36
/proc/18595/stat : 18595 (packup) S 18594 18594 17551 34817 17551 4202496 6785 48200 0 0 88 36 474 38 18 0 1 0 35441120 29024256 6436 1283457024 134512640 134752139 4292630480 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18595/statm: 7086 6436 332 59 0 6250 0
[pid=18615] ppid=18595 vsize=1672 CPUtime=0
/proc/18615/stat : 18615 (sh) S 18595 18594 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 19 0 1 0 35441773 1712128 124 1283457024 134512640 134593992 4292651136 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18615/statm: 418 124 108 20 0 45 0
[pid=18616] ppid=18615 vsize=2576 CPUtime=0.01
/proc/18616/stat : 18616 (run_h) S 18615 18594 17551 34817 17551 4202496 368 611 0 0 0 0 0 1 20 0 1 0 35441773 2637824 274 1283457024 134512640 135304128 4289971712 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18616/statm: 644 274 232 194 0 31 0
[pid=18620] ppid=18616 vsize=2568 CPUtime=0
/proc/18620/stat : 18620 (run_scip) S 18616 18594 17551 34817 17551 4202496 392 757 0 0 0 0 0 0 20 0 1 0 35441773 2629632 268 1283457024 134512640 135304128 4287536048 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18620/statm: 642 268 228 194 0 29 0
[pid=18624] ppid=18620 vsize=70772 CPUtime=3.06
/proc/18624/stat : 18624 (scip-2.0.1.linu) R 18620 18594 17551 34817 17551 4202496 25183 0 0 0 268 38 0 0 25 0 1 0 35441774 72470528 15685 1283457024 134512640 143279753 4290164208 18446744073709551615 135922144 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/18624/statm: 17693 15685 653 2141 0 15549 0
[pid=18625] ppid=18620 vsize=7188 CPUtime=0.01
/proc/18625/stat : 18625 (scip2v) S 18620 18594 17551 34817 17551 4202496 1008 0 0 0 1 0 0 0 18 0 1 0 35441780 7360512 847 1283457024 134512640 136477024 4291530640 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/18625/statm: 1797 847 474 480 0 382 0
Current children cumulated CPU time (s) 9.44
Current children cumulated vsize (KiB) 115688

[startup+11.2134 s]
/proc/loadavg: 1.06 1.00 0.91 2/44 18625
/proc/meminfo: memFree=155552/1048576 swapFree=0/0
[pid=18594] ppid=18593 vsize=2568 CPUtime=0
/proc/18594/stat : 18594 (packup2hy4tr-0.) S 18593 18594 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35441120 2629632 272 1283457024 134512640 135304128 4291522272 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18594/statm: 642 272 233 194 0 29 0
[pid=18595] ppid=18594 vsize=28344 CPUtime=6.36
/proc/18595/stat : 18595 (packup) S 18594 18594 17551 34817 17551 4202496 6785 48200 0 0 88 36 474 38 18 0 1 0 35441120 29024256 6436 1283457024 134512640 134752139 4292630480 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18595/statm: 7086 6436 332 59 0 6250 0
[pid=18615] ppid=18595 vsize=1672 CPUtime=0
/proc/18615/stat : 18615 (sh) S 18595 18594 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 19 0 1 0 35441773 1712128 124 1283457024 134512640 134593992 4292651136 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18615/statm: 418 124 108 20 0 45 0
[pid=18616] ppid=18615 vsize=2576 CPUtime=0.01
/proc/18616/stat : 18616 (run_h) S 18615 18594 17551 34817 17551 4202496 368 611 0 0 0 0 0 1 20 0 1 0 35441773 2637824 274 1283457024 134512640 135304128 4289971712 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18616/statm: 644 274 232 194 0 31 0
[pid=18620] ppid=18616 vsize=2568 CPUtime=0
/proc/18620/stat : 18620 (run_scip) S 18616 18594 17551 34817 17551 4202496 392 757 0 0 0 0 0 0 20 0 1 0 35441773 2629632 268 1283457024 134512640 135304128 4287536048 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18620/statm: 642 268 228 194 0 29 0
[pid=18624] ppid=18620 vsize=72264 CPUtime=4.65
/proc/18624/stat : 18624 (scip-2.0.1.linu) R 18620 18594 17551 34817 17551 4202496 34221 0 0 0 416 49 0 0 25 0 1 0 35441774 73998336 16080 1283457024 134512640 143279753 4290164208 18446744073709551615 141131408 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/18624/statm: 18066 16080 657 2141 0 15922 0
[pid=18625] ppid=18620 vsize=7188 CPUtime=0.01
/proc/18625/stat : 18625 (scip2v) S 18620 18594 17551 34817 17551 4202496 1010 0 0 0 1 0 0 0 18 0 1 0 35441780 7360512 849 1283457024 134512640 136477024 4291530640 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/18625/statm: 1797 849 474 480 0 382 0
Current children cumulated CPU time (s) 11.03
Current children cumulated vsize (KiB) 117180

[startup+12.014 s]
/proc/loadavg: 1.06 1.00 0.91 2/44 18625
/proc/meminfo: memFree=155552/1048576 swapFree=0/0
[pid=18594] ppid=18593 vsize=2568 CPUtime=0
/proc/18594/stat : 18594 (packup2hy4tr-0.) S 18593 18594 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35441120 2629632 272 1283457024 134512640 135304128 4291522272 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18594/statm: 642 272 233 194 0 29 0
[pid=18595] ppid=18594 vsize=28344 CPUtime=6.36
/proc/18595/stat : 18595 (packup) S 18594 18594 17551 34817 17551 4202496 6785 48200 0 0 88 36 474 38 18 0 1 0 35441120 29024256 6436 1283457024 134512640 134752139 4292630480 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18595/statm: 7086 6436 332 59 0 6250 0
[pid=18615] ppid=18595 vsize=1672 CPUtime=0
/proc/18615/stat : 18615 (sh) S 18595 18594 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 19 0 1 0 35441773 1712128 124 1283457024 134512640 134593992 4292651136 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18615/statm: 418 124 108 20 0 45 0
[pid=18616] ppid=18615 vsize=2576 CPUtime=0.01
/proc/18616/stat : 18616 (run_h) S 18615 18594 17551 34817 17551 4202496 368 611 0 0 0 0 0 1 20 0 1 0 35441773 2637824 274 1283457024 134512640 135304128 4289971712 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18616/statm: 644 274 232 194 0 31 0
[pid=18620] ppid=18616 vsize=2568 CPUtime=0
/proc/18620/stat : 18620 (run_scip) S 18616 18594 17551 34817 17551 4202496 392 757 0 0 0 0 0 0 20 0 1 0 35441773 2629632 268 1283457024 134512640 135304128 4287536048 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18620/statm: 642 268 228 194 0 29 0
[pid=18624] ppid=18620 vsize=72264 CPUtime=5.44
/proc/18624/stat : 18624 (scip-2.0.1.linu) R 18620 18594 17551 34817 17551 4202496 40285 0 0 0 488 56 0 0 25 0 1 0 35441774 73998336 16081 1283457024 134512640 143279753 4290164208 18446744073709551615 141131408 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/18624/statm: 18066 16081 657 2141 0 15922 0
[pid=18625] ppid=18620 vsize=7188 CPUtime=0.01
/proc/18625/stat : 18625 (scip2v) S 18620 18594 17551 34817 17551 4202496 1011 0 0 0 1 0 0 0 18 0 1 0 35441780 7360512 850 1283457024 134512640 136477024 4291530640 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/18625/statm: 1797 850 474 480 0 382 0
Current children cumulated CPU time (s) 11.82
Current children cumulated vsize (KiB) 117180

[startup+12.4141 s]
/proc/loadavg: 1.06 1.00 0.91 2/44 18625
/proc/meminfo: memFree=154560/1048576 swapFree=0/0
[pid=18594] ppid=18593 vsize=2568 CPUtime=0
/proc/18594/stat : 18594 (packup2hy4tr-0.) S 18593 18594 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35441120 2629632 272 1283457024 134512640 135304128 4291522272 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18594/statm: 642 272 233 194 0 29 0
[pid=18595] ppid=18594 vsize=27956 CPUtime=12.23
/proc/18595/stat : 18595 (packup) R 18594 18594 17551 34817 17551 4202496 12048 93544 0 0 92 37 985 109 18 0 1 0 35441120 28626944 6352 1283457024 134512640 134752139 4292630480 18446744073709551615 4157379997 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/18595/statm: 6989 6352 345 59 0 6153 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 30524

Child status: 0
Real time (s): 12.4479
CPU time (s): 12.2768
CPU user time (s): 10.8047
CPU system time (s): 1.47209
CPU usage (%): 98.625
Max. virtual memory (cumulated for all children) (KiB): 119236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.8047
system time used= 1.47209
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106505
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= 10732
involuntary context switches= 10934

runsolver used 0 second user time and 0.012 second system time

The end