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/rand376.cudf.s-e.log.runsolver ./packup2hy4tr-0.6 /home/misc2010/data/2011/incremental/s-e/rand376.cudf /home/misc2010/tmp/201108281254/packup2hy4tr-0.6/rand376.cudf.s-e.result 

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


[startup+0 s]
/proc/loadavg: 1.03 1.01 0.96 3/37 19719
/proc/meminfo: memFree=310704/1048576 swapFree=0/0
[pid=19718] ppid=19717 vsize=2564 CPUtime=0
/proc/19718/stat : 19718 (packup2hy4tr-0.) S 19717 19718 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35625694 2625536 272 1283457024 134512640 135304128 4294890016 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19718/statm: 641 272 233 194 0 28 0
[pid=19719] ppid=19718 vsize=3716 CPUtime=0
/proc/19719/stat : 19719 (packup) D 19718 19718 17551 34817 17551 4202496 388 0 0 0 0 0 0 0 18 0 1 0 35625695 3805184 317 1283457024 134512640 134752139 4286618128 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/19719/statm: 929 317 273 59 0 93 0

[startup+0.203782 s]
/proc/loadavg: 1.03 1.01 0.96 3/37 19719
/proc/meminfo: memFree=310704/1048576 swapFree=0/0
[pid=19718] ppid=19717 vsize=2564 CPUtime=0
/proc/19718/stat : 19718 (packup2hy4tr-0.) S 19717 19718 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35625694 2625536 272 1283457024 134512640 135304128 4294890016 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19718/statm: 641 272 233 194 0 28 0
[pid=19719] ppid=19718 vsize=10740 CPUtime=0.17
/proc/19719/stat : 19719 (packup) D 19718 19718 17551 34817 17551 4202496 2176 0 0 0 16 1 0 0 25 0 1 0 35625695 10997760 2105 1283457024 134512640 134752139 4286618128 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/19719/statm: 2685 2105 286 59 0 1849 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 13304

[startup+0.315773 s]
/proc/loadavg: 1.03 1.01 0.96 3/37 19719
/proc/meminfo: memFree=310704/1048576 swapFree=0/0
[pid=19718] ppid=19717 vsize=2564 CPUtime=0
/proc/19718/stat : 19718 (packup2hy4tr-0.) S 19717 19718 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35625694 2625536 272 1283457024 134512640 135304128 4294890016 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19718/statm: 641 272 233 194 0 28 0
[pid=19719] ppid=19718 vsize=13812 CPUtime=0.26
/proc/19719/stat : 19719 (packup) R 19718 19718 17551 34817 17551 4202496 2938 0 0 0 25 1 0 0 25 0 1 0 35625695 14143488 2867 1283457024 134512640 134752139 4286618128 18446744073709551615 134681682 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19719/statm: 3453 2867 286 59 0 2617 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 16376

[startup+0.407778 s]
/proc/loadavg: 1.03 1.01 0.96 3/37 19719
/proc/meminfo: memFree=310704/1048576 swapFree=0/0
[pid=19718] ppid=19717 vsize=2564 CPUtime=0
/proc/19718/stat : 19718 (packup2hy4tr-0.) S 19717 19718 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35625694 2625536 272 1283457024 134512640 135304128 4294890016 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19718/statm: 641 272 233 194 0 28 0
[pid=19719] ppid=19718 vsize=16384 CPUtime=0.34
/proc/19719/stat : 19719 (packup) R 19718 19718 17551 34817 17551 4202496 3572 0 0 0 33 1 0 0 25 0 1 0 35625695 16777216 3501 1283457024 134512640 134752139 4286618128 18446744073709551615 4157422966 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19719/statm: 4096 3501 286 59 0 3260 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 18948

[startup+0.704728 s]
/proc/loadavg: 1.03 1.01 0.96 3/37 19719
/proc/meminfo: memFree=310704/1048576 swapFree=0/0
[pid=19718] ppid=19717 vsize=2564 CPUtime=0
/proc/19718/stat : 19718 (packup2hy4tr-0.) S 19717 19718 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35625694 2625536 272 1283457024 134512640 135304128 4294890016 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19718/statm: 641 272 233 194 0 28 0
[pid=19719] ppid=19718 vsize=28328 CPUtime=0.62
/proc/19719/stat : 19719 (packup) R 19718 19718 17551 34817 17551 4202496 6598 0 0 0 57 5 0 0 25 0 1 0 35625695 29007872 6413 1283457024 134512640 134752139 4286618128 18446744073709551615 4294960130 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19719/statm: 7082 6413 321 59 0 6246 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 30892

[startup+1.50491 s]
/proc/loadavg: 1.02 1.01 0.96 2/41 19726
/proc/meminfo: memFree=268388/1048576 swapFree=0/0
[pid=19718] ppid=19717 vsize=2564 CPUtime=0
/proc/19718/stat : 19718 (packup2hy4tr-0.) S 19717 19718 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35625694 2625536 272 1283457024 134512640 135304128 4294890016 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19718/statm: 641 272 233 194 0 28 0
[pid=19719] ppid=19718 vsize=28328 CPUtime=0.74
/proc/19719/stat : 19719 (packup) S 19718 19718 17551 34817 17551 4202496 6602 0 0 0 64 10 0 0 25 0 1 0 35625695 29007872 6416 1283457024 134512640 134752139 4286618128 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19719/statm: 7082 6416 324 59 0 6246 0
[pid=19721] ppid=19719 vsize=1676 CPUtime=0
/proc/19721/stat : 19721 (sh) S 19719 19718 17551 34817 17551 4202496 147 0 0 0 0 0 0 0 25 0 1 0 35625776 1716224 124 1283457024 134512640 134593992 4288201792 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19721/statm: 419 124 108 20 0 46 0
[pid=19722] ppid=19721 vsize=2572 CPUtime=0
/proc/19722/stat : 19722 (run_h) S 19721 19718 17551 34817 17551 4202496 366 611 0 0 0 0 0 0 25 0 1 0 35625777 2633728 272 1283457024 134512640 135304128 4289322352 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19722/statm: 643 272 232 194 0 30 0
[pid=19726] ppid=19722 vsize=18984 CPUtime=0.68
/proc/19726/stat : 19726 (minisatp_32) R 19722 19718 17551 34817 17551 4202496 4205 0 0 0 60 8 0 0 25 0 1 0 35625778 19439616 3609 1283457024 134512640 135413687 4291295040 18446744073709551615 134988446 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/19726/statm: 4746 3609 85 220 0 4524 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 54124

[startup+3.1053 s]
/proc/loadavg: 1.02 1.01 0.96 2/41 19732
/proc/meminfo: memFree=273844/1048576 swapFree=0/0
[pid=19718] ppid=19717 vsize=2564 CPUtime=0
/proc/19718/stat : 19718 (packup2hy4tr-0.) S 19717 19718 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35625694 2625536 272 1283457024 134512640 135304128 4294890016 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19718/statm: 641 272 233 194 0 28 0
[pid=19719] ppid=19718 vsize=28332 CPUtime=2.12
/proc/19719/stat : 19719 (packup) S 19718 19718 17551 34817 17551 4202496 6677 10552 0 0 71 20 109 12 18 0 1 0 35625695 29011968 6429 1283457024 134512640 134752139 4286618128 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19719/statm: 7083 6429 332 59 0 6247 0
[pid=19727] ppid=19719 vsize=1672 CPUtime=0
/proc/19727/stat : 19727 (sh) S 19719 19718 17551 34817 17551 4202496 147 0 0 0 0 0 0 0 18 0 1 0 35625915 1712128 124 1283457024 134512640 134593992 4287484816 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19727/statm: 418 124 108 20 0 45 0
[pid=19728] ppid=19727 vsize=2572 CPUtime=0
/proc/19728/stat : 19728 (run_h) S 19727 19718 17551 34817 17551 4202496 369 609 0 0 0 0 0 0 20 0 1 0 35625915 2633728 273 1283457024 134512640 135304128 4286833424 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19728/statm: 643 273 232 194 0 30 0
[pid=19732] ppid=19728 vsize=25096 CPUtime=0.89
/proc/19732/stat : 19732 (minisatp_32) R 19728 19718 17551 34817 17551 4202496 7806 0 0 0 81 8 0 0 25 0 1 0 35625916 25698304 5819 1283457024 134512640 135413687 4293148928 18446744073709551615 134648894 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/19732/statm: 6274 5819 94 220 0 6052 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 60236

[startup+6.30612 s]
/proc/loadavg: 1.02 1.01 0.96 2/41 19738
/proc/meminfo: memFree=230444/1048576 swapFree=0/0
[pid=19718] ppid=19717 vsize=2564 CPUtime=0
/proc/19718/stat : 19718 (packup2hy4tr-0.) S 19717 19718 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35625694 2625536 272 1283457024 134512640 135304128 4294890016 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19718/statm: 641 272 233 194 0 28 0
[pid=19719] ppid=19718 vsize=28336 CPUtime=4.1
/proc/19719/stat : 19719 (packup) S 19718 19718 17551 34817 17551 4202496 6744 28664 0 0 76 32 278 24 18 0 1 0 35625695 29016064 6434 1283457024 134512640 134752139 4286618128 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19719/statm: 7084 6434 332 59 0 6248 0
[pid=19733] ppid=19719 vsize=1672 CPUtime=0
/proc/19733/stat : 19733 (sh) S 19719 19718 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35626114 1712128 123 1283457024 134512640 134593992 4294076896 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19733/statm: 418 123 108 20 0 45 0
[pid=19734] ppid=19733 vsize=2568 CPUtime=0
/proc/19734/stat : 19734 (run_h) S 19733 19718 17551 34817 17551 4202496 367 609 0 0 0 0 0 0 20 0 1 0 35626114 2629632 272 1283457024 134512640 135304128 4294660736 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19734/statm: 642 272 232 194 0 29 0
[pid=19738] ppid=19734 vsize=60044 CPUtime=2.1
/proc/19738/stat : 19738 (minisatp_32) R 19734 19718 17551 34817 17551 4202496 20876 0 0 0 190 20 0 0 25 0 1 0 35626115 61485056 13463 1283457024 134512640 135413687 4290662048 18446744073709551615 134690920 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/19738/statm: 15011 13463 107 220 0 14789 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 95184

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

[startup+6.50619 s]
/proc/loadavg: 1.02 1.01 0.96 2/41 19738
/proc/meminfo: memFree=230444/1048576 swapFree=0/0
[pid=19718] ppid=19717 vsize=2564 CPUtime=0
/proc/19718/stat : 19718 (packup2hy4tr-0.) S 19717 19718 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35625694 2625536 272 1283457024 134512640 135304128 4294890016 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19718/statm: 641 272 233 194 0 28 0
[pid=19719] ppid=19718 vsize=28336 CPUtime=4.1
/proc/19719/stat : 19719 (packup) S 19718 19718 17551 34817 17551 4202496 6744 28664 0 0 76 32 278 24 18 0 1 0 35625695 29016064 6434 1283457024 134512640 134752139 4286618128 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19719/statm: 7084 6434 332 59 0 6248 0
[pid=19733] ppid=19719 vsize=1672 CPUtime=0
/proc/19733/stat : 19733 (sh) S 19719 19718 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35626114 1712128 123 1283457024 134512640 134593992 4294076896 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19733/statm: 418 123 108 20 0 45 0
[pid=19734] ppid=19733 vsize=2568 CPUtime=0
/proc/19734/stat : 19734 (run_h) S 19733 19718 17551 34817 17551 4202496 367 609 0 0 0 0 0 0 20 0 1 0 35626114 2629632 272 1283457024 134512640 135304128 4294660736 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19734/statm: 642 272 232 194 0 29 0
[pid=19738] ppid=19734 vsize=68656 CPUtime=2.3
/proc/19738/stat : 19738 (minisatp_32) R 19734 19718 17551 34817 17551 4202496 22966 0 0 0 208 22 0 0 25 0 1 0 35626115 70303744 15403 1283457024 134512640 135413687 4290662048 18446744073709551615 134973170 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/19738/statm: 17164 15403 107 220 0 16942 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 103796

[startup+8.10715 s]
/proc/loadavg: 1.02 1.01 0.96 2/43 19749
/proc/meminfo: memFree=215780/1048576 swapFree=0/0
[pid=19718] ppid=19717 vsize=2564 CPUtime=0
/proc/19718/stat : 19718 (packup2hy4tr-0.) S 19717 19718 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35625694 2625536 272 1283457024 134512640 135304128 4294890016 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19718/statm: 641 272 233 194 0 28 0
[pid=19719] ppid=19718 vsize=28340 CPUtime=6.83
/proc/19719/stat : 19719 (packup) S 19718 19718 17551 34817 17551 4202496 6807 53972 0 0 85 42 510 46 18 0 1 0 35625695 29020160 6435 1283457024 134512640 134752139 4286618128 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19719/statm: 7085 6435 332 59 0 6249 0
[pid=19739] ppid=19719 vsize=1676 CPUtime=0
/proc/19739/stat : 19739 (sh) S 19719 19718 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35626387 1716224 124 1283457024 134512640 134593992 4291872704 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19739/statm: 419 124 108 20 0 46 0
[pid=19740] ppid=19739 vsize=2576 CPUtime=0
/proc/19740/stat : 19740 (run_h) S 19739 19718 17551 34817 17551 4202496 369 609 0 0 0 0 0 0 18 0 1 0 35626387 2637824 274 1283457024 134512640 135304128 4288931088 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19740/statm: 644 274 232 194 0 31 0
[pid=19744] ppid=19740 vsize=2564 CPUtime=0
/proc/19744/stat : 19744 (run_scip) S 19740 19718 17551 34817 17551 4202496 392 756 0 0 0 0 0 0 24 0 1 0 35626388 2625536 268 1283457024 134512640 135304128 4292458592 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19744/statm: 641 268 228 194 0 28 0
[pid=19748] ppid=19744 vsize=69004 CPUtime=1.15
/proc/19748/stat : 19748 (scip-2.0.1.linu) R 19744 19718 17551 34817 17551 4202496 16342 0 0 0 92 23 0 0 25 0 1 0 35626388 70660096 15134 1283457024 134512640 143279753 4286864064 18446744073709551615 135108200 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19748/statm: 17251 15134 608 2141 0 15107 0
[pid=19749] ppid=19744 vsize=7192 CPUtime=0.01
/proc/19749/stat : 19749 (scip2v) S 19744 19718 17551 34817 17551 4202496 1008 0 0 0 1 0 0 0 21 0 1 0 35626389 7364608 847 1283457024 134512640 136477024 4294273584 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19749/statm: 1798 847 474 480 0 383 0
Current children cumulated CPU time (s) 7.99
Current children cumulated vsize (KiB) 113916

[startup+8.90743 s]
/proc/loadavg: 1.02 1.01 0.96 2/43 19749
/proc/meminfo: memFree=205488/1048576 swapFree=0/0
[pid=19718] ppid=19717 vsize=2564 CPUtime=0
/proc/19718/stat : 19718 (packup2hy4tr-0.) S 19717 19718 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35625694 2625536 272 1283457024 134512640 135304128 4294890016 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19718/statm: 641 272 233 194 0 28 0
[pid=19719] ppid=19718 vsize=28340 CPUtime=6.83
/proc/19719/stat : 19719 (packup) S 19718 19718 17551 34817 17551 4202496 6807 53972 0 0 85 42 510 46 18 0 1 0 35625695 29020160 6435 1283457024 134512640 134752139 4286618128 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19719/statm: 7085 6435 332 59 0 6249 0
[pid=19739] ppid=19719 vsize=1676 CPUtime=0
/proc/19739/stat : 19739 (sh) S 19719 19718 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35626387 1716224 124 1283457024 134512640 134593992 4291872704 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19739/statm: 419 124 108 20 0 46 0
[pid=19740] ppid=19739 vsize=2576 CPUtime=0
/proc/19740/stat : 19740 (run_h) S 19739 19718 17551 34817 17551 4202496 369 609 0 0 0 0 0 0 18 0 1 0 35626387 2637824 274 1283457024 134512640 135304128 4288931088 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19740/statm: 644 274 232 194 0 31 0
[pid=19744] ppid=19740 vsize=2564 CPUtime=0
/proc/19744/stat : 19744 (run_scip) S 19740 19718 17551 34817 17551 4202496 392 756 0 0 0 0 0 0 24 0 1 0 35626388 2625536 268 1283457024 134512640 135304128 4292458592 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19744/statm: 641 268 228 194 0 28 0
[pid=19748] ppid=19744 vsize=78900 CPUtime=1.94
/proc/19748/stat : 19748 (scip-2.0.1.linu) R 19744 19718 17551 34817 17551 4202496 22014 0 0 0 154 40 0 0 25 0 1 0 35626388 80793600 17604 1283457024 134512640 143279753 4286864064 18446744073709551615 136534201 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19748/statm: 19725 17604 638 2141 0 17581 0
[pid=19749] ppid=19744 vsize=7192 CPUtime=0.01
/proc/19749/stat : 19749 (scip2v) S 19744 19718 17551 34817 17551 4202496 1008 0 0 0 1 0 0 0 18 0 1 0 35626389 7364608 847 1283457024 134512640 136477024 4294273584 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19749/statm: 1798 847 474 480 0 383 0
Current children cumulated CPU time (s) 8.78
Current children cumulated vsize (KiB) 123812

[startup+9.30751 s]
/proc/loadavg: 1.02 1.01 0.96 2/43 19749
/proc/meminfo: memFree=205488/1048576 swapFree=0/0
[pid=19718] ppid=19717 vsize=2564 CPUtime=0
/proc/19718/stat : 19718 (packup2hy4tr-0.) S 19717 19718 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35625694 2625536 272 1283457024 134512640 135304128 4294890016 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19718/statm: 641 272 233 194 0 28 0
[pid=19719] ppid=19718 vsize=28340 CPUtime=6.83
/proc/19719/stat : 19719 (packup) S 19718 19718 17551 34817 17551 4202496 6807 53972 0 0 85 42 510 46 18 0 1 0 35625695 29020160 6435 1283457024 134512640 134752139 4286618128 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19719/statm: 7085 6435 332 59 0 6249 0
[pid=19739] ppid=19719 vsize=1676 CPUtime=0
/proc/19739/stat : 19739 (sh) S 19719 19718 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35626387 1716224 124 1283457024 134512640 134593992 4291872704 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19739/statm: 419 124 108 20 0 46 0
[pid=19740] ppid=19739 vsize=2576 CPUtime=0
/proc/19740/stat : 19740 (run_h) S 19739 19718 17551 34817 17551 4202496 369 609 0 0 0 0 0 0 18 0 1 0 35626387 2637824 274 1283457024 134512640 135304128 4288931088 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19740/statm: 644 274 232 194 0 31 0
[pid=19744] ppid=19740 vsize=2564 CPUtime=0
/proc/19744/stat : 19744 (run_scip) S 19740 19718 17551 34817 17551 4202496 392 756 0 0 0 0 0 0 24 0 1 0 35626388 2625536 268 1283457024 134512640 135304128 4292458592 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19744/statm: 641 268 228 194 0 28 0
[pid=19748] ppid=19744 vsize=79756 CPUtime=2.35
/proc/19748/stat : 19748 (scip-2.0.1.linu) R 19744 19718 17551 34817 17551 4202496 29566 0 0 0 185 50 0 0 25 0 1 0 35626388 81670144 17803 1283457024 134512640 143279753 4286864064 18446744073709551615 141858391 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19748/statm: 19939 17803 653 2141 0 17795 0
[pid=19749] ppid=19744 vsize=7192 CPUtime=0.01
/proc/19749/stat : 19749 (scip2v) S 19744 19718 17551 34817 17551 4202496 1009 0 0 0 1 0 0 0 18 0 1 0 35626389 7364608 848 1283457024 134512640 136477024 4294273584 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19749/statm: 1798 848 474 480 0 383 0
Current children cumulated CPU time (s) 9.19
Current children cumulated vsize (KiB) 124668

[startup+9.50755 s]
/proc/loadavg: 1.02 1.01 0.96 2/43 19749
/proc/meminfo: memFree=205488/1048576 swapFree=0/0
[pid=19718] ppid=19717 vsize=2564 CPUtime=0
/proc/19718/stat : 19718 (packup2hy4tr-0.) S 19717 19718 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35625694 2625536 272 1283457024 134512640 135304128 4294890016 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19718/statm: 641 272 233 194 0 28 0
[pid=19719] ppid=19718 vsize=28340 CPUtime=6.83
/proc/19719/stat : 19719 (packup) S 19718 19718 17551 34817 17551 4202496 6807 53972 0 0 85 42 510 46 18 0 1 0 35625695 29020160 6435 1283457024 134512640 134752139 4286618128 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19719/statm: 7085 6435 332 59 0 6249 0
[pid=19739] ppid=19719 vsize=1676 CPUtime=0
/proc/19739/stat : 19739 (sh) S 19719 19718 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35626387 1716224 124 1283457024 134512640 134593992 4291872704 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19739/statm: 419 124 108 20 0 46 0
[pid=19740] ppid=19739 vsize=2576 CPUtime=0
/proc/19740/stat : 19740 (run_h) S 19739 19718 17551 34817 17551 4202496 369 609 0 0 0 0 0 0 18 0 1 0 35626387 2637824 274 1283457024 134512640 135304128 4288931088 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19740/statm: 644 274 232 194 0 31 0
[pid=19744] ppid=19740 vsize=2564 CPUtime=0
/proc/19744/stat : 19744 (run_scip) S 19740 19718 17551 34817 17551 4202496 392 756 0 0 0 0 0 0 24 0 1 0 35626388 2625536 268 1283457024 134512640 135304128 4292458592 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19744/statm: 641 268 228 194 0 28 0
[pid=19748] ppid=19744 vsize=80840 CPUtime=2.54
/proc/19748/stat : 19748 (scip-2.0.1.linu) R 19744 19718 17551 34817 17551 4202496 32548 0 0 0 203 51 0 0 25 0 1 0 35626388 82780160 18163 1283457024 134512640 143279753 4286864064 18446744073709551615 4294960130 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/19748/statm: 20210 18163 747 2141 0 18066 0
[pid=19749] ppid=19744 vsize=7192 CPUtime=0.02
/proc/19749/stat : 19749 (scip2v) R 19744 19718 17551 34817 17551 4202496 1025 0 0 0 2 0 0 0 18 0 1 0 35626389 7364608 864 1283457024 134512640 136477024 4294273584 18446744073709551615 4294960130 0 0 16800256 2 0 0 0 17 0 0 0 0
/proc/19749/statm: 1798 864 479 480 0 383 0
Current children cumulated CPU time (s) 9.39
Current children cumulated vsize (KiB) 125752

[startup+9.60757 s]
/proc/loadavg: 1.02 1.01 0.96 2/43 19749
/proc/meminfo: memFree=205488/1048576 swapFree=0/0
[pid=19718] ppid=19717 vsize=2564 CPUtime=0
/proc/19718/stat : 19718 (packup2hy4tr-0.) S 19717 19718 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35625694 2625536 272 1283457024 134512640 135304128 4294890016 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19718/statm: 641 272 233 194 0 28 0
[pid=19719] ppid=19718 vsize=28340 CPUtime=6.83
/proc/19719/stat : 19719 (packup) S 19718 19718 17551 34817 17551 4202496 6807 53972 0 0 85 42 510 46 18 0 1 0 35625695 29020160 6435 1283457024 134512640 134752139 4286618128 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19719/statm: 7085 6435 332 59 0 6249 0
[pid=19739] ppid=19719 vsize=1676 CPUtime=0
/proc/19739/stat : 19739 (sh) S 19719 19718 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35626387 1716224 124 1283457024 134512640 134593992 4291872704 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19739/statm: 419 124 108 20 0 46 0
[pid=19740] ppid=19739 vsize=2576 CPUtime=0
/proc/19740/stat : 19740 (run_h) S 19739 19718 17551 34817 17551 4202496 369 609 0 0 0 0 0 0 18 0 1 0 35626387 2637824 274 1283457024 134512640 135304128 4288931088 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19740/statm: 644 274 232 194 0 31 0
[pid=19744] ppid=19740 vsize=2564 CPUtime=0
/proc/19744/stat : 19744 (run_scip) S 19740 19718 17551 34817 17551 4202496 392 756 0 0 0 0 0 0 24 0 1 0 35626388 2625536 268 1283457024 134512640 135304128 4292458592 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19744/statm: 641 268 228 194 0 28 0
[pid=19748] ppid=19744 vsize=80840 CPUtime=2.59
/proc/19748/stat : 19748 (scip-2.0.1.linu) R 19744 19718 17551 34817 17551 4202496 32548 0 0 0 205 54 0 0 25 0 1 0 35626388 82780160 18163 1283457024 134512640 143279753 4286864064 18446744073709551615 4294960130 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/19748/statm: 20210 18163 747 2141 0 18066 0
[pid=19749] ppid=19744 vsize=7384 CPUtime=0.06
/proc/19749/stat : 19749 (scip2v) S 19744 19718 17551 34817 17551 4202496 1047 0 0 0 4 2 0 0 18 0 1 0 35626389 7561216 886 1283457024 134512640 136477024 4294273584 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19749/statm: 1846 886 479 480 0 431 0
Current children cumulated CPU time (s) 9.48
Current children cumulated vsize (KiB) 125944

Child status: 0
Real time (s): 9.70582
CPU time (s): 9.6086
CPU user time (s): 8.11651
CPU system time (s): 1.49209
CPU usage (%): 98.9983
Max. virtual memory (cumulated for all children) (KiB): 125944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.11651
system time used= 1.49209
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102900
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= 11825
involuntary context switches= 11981

runsolver used 0.012 second user time and 0.008 second system time

The end