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/rand763.cudf.user-upgrades.log.runsolver ./packup2hy4tr-0.6 /home/misc2010/data/2011/user-upgrades/rand763.cudf /home/misc2010/tmp/201108281254/packup2hy4tr-0.6/rand763.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.09 1.05 1.01 3/37 22285
/proc/meminfo: memFree=248624/1048576 swapFree=0/0
[pid=22284] ppid=22283 vsize=2572 CPUtime=0
/proc/22284/stat : 22284 (packup2hy4tr-0.) S 22283 22284 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35972634 2633728 274 1283457024 134512640 135304128 4287656752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22284/statm: 643 274 233 194 0 30 0
[pid=22285] ppid=22284 vsize=3716 CPUtime=0
/proc/22285/stat : 22285 (packup) D 22284 22284 17551 34817 17551 4202496 389 0 0 0 0 0 0 0 18 0 1 0 35972634 3805184 317 1283457024 134512640 134752139 4288021344 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/22285/statm: 929 317 273 59 0 93 0

[startup+0.147804 s]
/proc/loadavg: 1.09 1.05 1.01 3/37 22285
/proc/meminfo: memFree=248624/1048576 swapFree=0/0
[pid=22284] ppid=22283 vsize=2572 CPUtime=0
/proc/22284/stat : 22284 (packup2hy4tr-0.) S 22283 22284 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35972634 2633728 274 1283457024 134512640 135304128 4287656752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22284/statm: 643 274 233 194 0 30 0
[pid=22285] ppid=22284 vsize=7560 CPUtime=0.11
/proc/22285/stat : 22285 (packup) R 22284 22284 17551 34817 17551 4202496 1396 0 0 0 10 1 0 0 25 0 1 0 35972634 7741440 1324 1283457024 134512640 134752139 4288021344 18446744073709551615 134539865 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/22285/statm: 1890 1324 286 59 0 1054 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10132

[startup+0.20782 s]
/proc/loadavg: 1.09 1.05 1.01 3/37 22285
/proc/meminfo: memFree=248624/1048576 swapFree=0/0
[pid=22284] ppid=22283 vsize=2572 CPUtime=0
/proc/22284/stat : 22284 (packup2hy4tr-0.) S 22283 22284 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35972634 2633728 274 1283457024 134512640 135304128 4287656752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22284/statm: 643 274 233 194 0 30 0
[pid=22285] ppid=22284 vsize=9144 CPUtime=0.17
/proc/22285/stat : 22285 (packup) R 22284 22284 17551 34817 17551 4202496 1791 0 0 0 16 1 0 0 25 0 1 0 35972634 9363456 1719 1283457024 134512640 134752139 4288021344 18446744073709551615 134681608 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/22285/statm: 2286 1719 286 59 0 1450 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 11716

[startup+0.307827 s]
/proc/loadavg: 1.09 1.05 1.01 3/37 22285
/proc/meminfo: memFree=248624/1048576 swapFree=0/0
[pid=22284] ppid=22283 vsize=2572 CPUtime=0
/proc/22284/stat : 22284 (packup2hy4tr-0.) S 22283 22284 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35972634 2633728 274 1283457024 134512640 135304128 4287656752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22284/statm: 643 274 233 194 0 30 0
[pid=22285] ppid=22284 vsize=11848 CPUtime=0.25
/proc/22285/stat : 22285 (packup) R 22284 22284 17551 34817 17551 4202496 2444 0 0 0 24 1 0 0 25 0 1 0 35972634 12132352 2372 1283457024 134512640 134752139 4288021344 18446744073709551615 134695987 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/22285/statm: 2962 2372 286 59 0 2126 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 14420

[startup+0.707885 s]
/proc/loadavg: 1.09 1.05 1.01 3/37 22285
/proc/meminfo: memFree=248624/1048576 swapFree=0/0
[pid=22284] ppid=22283 vsize=2572 CPUtime=0
/proc/22284/stat : 22284 (packup2hy4tr-0.) S 22283 22284 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35972634 2633728 274 1283457024 134512640 135304128 4287656752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22284/statm: 643 274 233 194 0 30 0
[pid=22285] ppid=22284 vsize=18292 CPUtime=0.47
/proc/22285/stat : 22285 (packup) D 22284 22284 17551 34817 17551 4202496 4071 0 0 0 44 3 0 0 25 0 1 0 35972634 18731008 3999 1283457024 134512640 134752139 4288021344 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/22285/statm: 4573 3999 286 59 0 3737 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 20864

[startup+1.5079 s]
/proc/loadavg: 1.09 1.05 1.01 2/38 22286
/proc/meminfo: memFree=205788/1048576 swapFree=0/0
[pid=22284] ppid=22283 vsize=2572 CPUtime=0
/proc/22284/stat : 22284 (packup2hy4tr-0.) S 22283 22284 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35972634 2633728 274 1283457024 134512640 135304128 4287656752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22284/statm: 643 274 233 194 0 30 0
[pid=22285] ppid=22284 vsize=32976 CPUtime=1.09
/proc/22285/stat : 22285 (packup) R 22284 22284 17551 34817 17551 4202496 7785 0 0 0 104 5 0 0 25 0 1 0 35972634 33767424 7664 1283457024 134512640 134752139 4288021344 18446744073709551615 134681674 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/22285/statm: 8244 7664 286 59 0 7408 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 35548

[startup+3.11324 s]
/proc/loadavg: 1.08 1.05 1.01 2/41 22292
/proc/meminfo: memFree=169032/1048576 swapFree=0/0
[pid=22284] ppid=22283 vsize=2572 CPUtime=0
/proc/22284/stat : 22284 (packup2hy4tr-0.) S 22283 22284 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35972634 2633728 274 1283457024 134512640 135304128 4287656752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22284/statm: 643 274 233 194 0 30 0
[pid=22285] ppid=22284 vsize=46096 CPUtime=2.69
/proc/22285/stat : 22285 (packup) R 22284 22284 17551 34817 17551 4202496 11167 9134 0 0 141 18 94 16 18 0 1 0 35972634 47202304 10846 1283457024 134512640 134752139 4288021344 18446744073709551615 4294960130 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/22285/statm: 11524 10846 333 59 0 10688 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 48668

[startup+6.30454 s]
/proc/loadavg: 1.08 1.05 1.01 2/41 22304
/proc/meminfo: memFree=170892/1048576 swapFree=0/0
[pid=22284] ppid=22283 vsize=2572 CPUtime=0
/proc/22284/stat : 22284 (packup2hy4tr-0.) S 22283 22284 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35972634 2633728 274 1283457024 134512640 135304128 4287656752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22284/statm: 643 274 233 194 0 30 0
[pid=22285] ppid=22284 vsize=46100 CPUtime=4.94
/proc/22285/stat : 22285 (packup) S 22284 22284 17551 34817 17551 4202496 11247 25324 0 0 158 43 262 31 18 0 1 0 35972634 47206400 10852 1283457024 134512640 134752139 4288021344 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22285/statm: 11525 10852 333 59 0 10689 0
[pid=22299] ppid=22285 vsize=1676 CPUtime=0
/proc/22299/stat : 22299 (sh) S 22285 22284 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35973172 1716224 124 1283457024 134512640 134593992 4291901376 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22299/statm: 419 124 108 20 0 46 0
[pid=22300] ppid=22299 vsize=2572 CPUtime=0.01
/proc/22300/stat : 22300 (run_h) S 22299 22284 17551 34817 17551 4202496 367 614 0 0 0 0 1 0 21 0 1 0 35973173 2633728 273 1283457024 134512640 135304128 4287093584 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22300/statm: 643 273 232 194 0 30 0
[pid=22304] ppid=22300 vsize=23552 CPUtime=0.9
/proc/22304/stat : 22304 (minisatp_32) R 22300 22284 17551 34817 17551 4202496 5414 0 0 0 81 9 0 0 25 0 1 0 35973173 24117248 4623 1283457024 134512640 135413687 4288005136 18446744073709551615 134988446 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/22304/statm: 5888 4623 85 220 0 5666 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 76472

[startup+12.7107 s]
/proc/loadavg: 1.07 1.05 1.01 2/43 22315
/proc/meminfo: memFree=101172/1048576 swapFree=0/0
[pid=22284] ppid=22283 vsize=2572 CPUtime=0
/proc/22284/stat : 22284 (packup2hy4tr-0.) S 22283 22284 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35972634 2633728 274 1283457024 134512640 135304128 4287656752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22284/statm: 643 274 233 194 0 30 0
[pid=22285] ppid=22284 vsize=46104 CPUtime=8.03
/proc/22285/stat : 22285 (packup) S 22284 22284 17551 34817 17551 4202496 11313 49978 0 0 165 58 523 57 18 0 1 0 35972634 47210496 10853 1283457024 134512640 134752139 4288021344 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22285/statm: 11526 10853 333 59 0 10690 0
[pid=22305] ppid=22285 vsize=1672 CPUtime=0
/proc/22305/stat : 22305 (sh) S 22285 22284 17551 34817 17551 4202496 147 0 0 0 0 0 0 0 18 0 1 0 35973500 1712128 124 1283457024 134512640 134593992 4288320608 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22305/statm: 418 124 108 20 0 45 0
[pid=22306] ppid=22305 vsize=2576 CPUtime=0.01
/proc/22306/stat : 22306 (run_h) S 22305 22284 17551 34817 17551 4202496 369 611 0 0 0 0 0 1 21 0 1 0 35973501 2637824 274 1283457024 134512640 135304128 4291704752 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22306/statm: 644 274 232 194 0 31 0
[pid=22310] ppid=22306 vsize=2568 CPUtime=0
/proc/22310/stat : 22310 (run_scip) S 22306 22284 17551 34817 17551 4202496 392 756 0 0 0 0 0 0 22 0 1 0 35973501 2629632 269 1283457024 134512640 135304128 4292032496 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22310/statm: 642 269 228 194 0 29 0
[pid=22314] ppid=22310 vsize=81256 CPUtime=4
/proc/22314/stat : 22314 (scip-2.0.1.linu) R 22310 22284 17551 34817 17551 4202496 27878 0 0 0 347 53 0 0 25 0 1 0 35973502 83206144 18246 1283457024 134512640 143279753 4291573568 18446744073709551615 135451913 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/22314/statm: 20314 18246 653 2141 0 18170 0
[pid=22315] ppid=22310 vsize=7192 CPUtime=0.01
/proc/22315/stat : 22315 (scip2v) S 22310 22284 17551 34817 17551 4202496 1010 0 0 0 0 1 0 0 18 0 1 0 35973515 7364608 848 1283457024 134512640 136477024 4294277680 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/22315/statm: 1798 848 474 480 0 383 0
Current children cumulated CPU time (s) 12.05
Current children cumulated vsize (KiB) 143940

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

[startup+12.8108 s]
/proc/loadavg: 1.07 1.05 1.01 2/43 22315
/proc/meminfo: memFree=101172/1048576 swapFree=0/0
[pid=22284] ppid=22283 vsize=2572 CPUtime=0
/proc/22284/stat : 22284 (packup2hy4tr-0.) S 22283 22284 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35972634 2633728 274 1283457024 134512640 135304128 4287656752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22284/statm: 643 274 233 194 0 30 0
[pid=22285] ppid=22284 vsize=46104 CPUtime=8.03
/proc/22285/stat : 22285 (packup) S 22284 22284 17551 34817 17551 4202496 11313 49978 0 0 165 58 523 57 18 0 1 0 35972634 47210496 10853 1283457024 134512640 134752139 4288021344 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22285/statm: 11526 10853 333 59 0 10690 0
[pid=22305] ppid=22285 vsize=1672 CPUtime=0
/proc/22305/stat : 22305 (sh) S 22285 22284 17551 34817 17551 4202496 147 0 0 0 0 0 0 0 18 0 1 0 35973500 1712128 124 1283457024 134512640 134593992 4288320608 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22305/statm: 418 124 108 20 0 45 0
[pid=22306] ppid=22305 vsize=2576 CPUtime=0.01
/proc/22306/stat : 22306 (run_h) S 22305 22284 17551 34817 17551 4202496 369 611 0 0 0 0 0 1 21 0 1 0 35973501 2637824 274 1283457024 134512640 135304128 4291704752 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22306/statm: 644 274 232 194 0 31 0
[pid=22310] ppid=22306 vsize=2568 CPUtime=0
/proc/22310/stat : 22310 (run_scip) S 22306 22284 17551 34817 17551 4202496 392 756 0 0 0 0 0 0 22 0 1 0 35973501 2629632 269 1283457024 134512640 135304128 4292032496 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22310/statm: 642 269 228 194 0 29 0
[pid=22314] ppid=22310 vsize=81256 CPUtime=4.11
/proc/22314/stat : 22314 (scip-2.0.1.linu) R 22310 22284 17551 34817 17551 4202496 28523 0 0 0 355 56 0 0 25 0 1 0 35973502 83206144 18246 1283457024 134512640 143279753 4291573568 18446744073709551615 134917883 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/22314/statm: 20314 18246 653 2141 0 18170 0
[pid=22315] ppid=22310 vsize=7192 CPUtime=0.01
/proc/22315/stat : 22315 (scip2v) S 22310 22284 17551 34817 17551 4202496 1010 0 0 0 0 1 0 0 18 0 1 0 35973515 7364608 848 1283457024 134512640 136477024 4294277680 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/22315/statm: 1798 848 474 480 0 383 0
Current children cumulated CPU time (s) 12.16
Current children cumulated vsize (KiB) 143940

[startup+16.012 s]
/proc/loadavg: 1.07 1.05 1.01 2/43 22315
/proc/meminfo: memFree=99188/1048576 swapFree=0/0
[pid=22284] ppid=22283 vsize=2572 CPUtime=0
/proc/22284/stat : 22284 (packup2hy4tr-0.) S 22283 22284 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35972634 2633728 274 1283457024 134512640 135304128 4287656752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22284/statm: 643 274 233 194 0 30 0
[pid=22285] ppid=22284 vsize=46104 CPUtime=8.03
/proc/22285/stat : 22285 (packup) S 22284 22284 17551 34817 17551 4202496 11313 49978 0 0 165 58 523 57 18 0 1 0 35972634 47210496 10853 1283457024 134512640 134752139 4288021344 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22285/statm: 11526 10853 333 59 0 10690 0
[pid=22305] ppid=22285 vsize=1672 CPUtime=0
/proc/22305/stat : 22305 (sh) S 22285 22284 17551 34817 17551 4202496 147 0 0 0 0 0 0 0 18 0 1 0 35973500 1712128 124 1283457024 134512640 134593992 4288320608 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22305/statm: 418 124 108 20 0 45 0
[pid=22306] ppid=22305 vsize=2576 CPUtime=0.01
/proc/22306/stat : 22306 (run_h) S 22305 22284 17551 34817 17551 4202496 369 611 0 0 0 0 0 1 21 0 1 0 35973501 2637824 274 1283457024 134512640 135304128 4291704752 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22306/statm: 644 274 232 194 0 31 0
[pid=22310] ppid=22306 vsize=2568 CPUtime=0
/proc/22310/stat : 22310 (run_scip) S 22306 22284 17551 34817 17551 4202496 392 756 0 0 0 0 0 0 22 0 1 0 35973501 2629632 269 1283457024 134512640 135304128 4292032496 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22310/statm: 642 269 228 194 0 29 0
[pid=22314] ppid=22310 vsize=82740 CPUtime=7.31
/proc/22314/stat : 22314 (scip-2.0.1.linu) R 22310 22284 17551 34817 17551 4202496 39232 0 0 0 652 79 0 0 25 0 1 0 35973502 84725760 18635 1283457024 134512640 143279753 4291573568 18446744073709551615 136059652 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/22314/statm: 20685 18635 657 2141 0 18541 0
[pid=22315] ppid=22310 vsize=7192 CPUtime=0.01
/proc/22315/stat : 22315 (scip2v) S 22310 22284 17551 34817 17551 4202496 1013 0 0 0 0 1 0 0 18 0 1 0 35973515 7364608 851 1283457024 134512640 136477024 4294277680 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/22315/statm: 1798 851 474 480 0 383 0
Current children cumulated CPU time (s) 15.36
Current children cumulated vsize (KiB) 145424

[startup+19.2029 s]
/proc/loadavg: 1.06 1.05 1.01 2/43 22315
/proc/meminfo: memFree=99188/1048576 swapFree=0/0
[pid=22284] ppid=22283 vsize=2572 CPUtime=0
/proc/22284/stat : 22284 (packup2hy4tr-0.) S 22283 22284 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35972634 2633728 274 1283457024 134512640 135304128 4287656752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22284/statm: 643 274 233 194 0 30 0
[pid=22285] ppid=22284 vsize=46104 CPUtime=8.03
/proc/22285/stat : 22285 (packup) S 22284 22284 17551 34817 17551 4202496 11313 49978 0 0 165 58 523 57 18 0 1 0 35972634 47210496 10853 1283457024 134512640 134752139 4288021344 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22285/statm: 11526 10853 333 59 0 10690 0
[pid=22305] ppid=22285 vsize=1672 CPUtime=0
/proc/22305/stat : 22305 (sh) S 22285 22284 17551 34817 17551 4202496 147 0 0 0 0 0 0 0 18 0 1 0 35973500 1712128 124 1283457024 134512640 134593992 4288320608 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22305/statm: 418 124 108 20 0 45 0
[pid=22306] ppid=22305 vsize=2576 CPUtime=0.01
/proc/22306/stat : 22306 (run_h) S 22305 22284 17551 34817 17551 4202496 369 611 0 0 0 0 0 1 21 0 1 0 35973501 2637824 274 1283457024 134512640 135304128 4291704752 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22306/statm: 644 274 232 194 0 31 0
[pid=22310] ppid=22306 vsize=2568 CPUtime=0
/proc/22310/stat : 22310 (run_scip) S 22306 22284 17551 34817 17551 4202496 392 756 0 0 0 0 0 0 22 0 1 0 35973501 2629632 269 1283457024 134512640 135304128 4292032496 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22310/statm: 642 269 228 194 0 29 0
[pid=22314] ppid=22310 vsize=83764 CPUtime=10.49
/proc/22314/stat : 22314 (scip-2.0.1.linu) R 22310 22284 17551 34817 17551 4202496 45809 0 0 0 956 93 0 0 25 0 1 0 35973502 85774336 18891 1283457024 134512640 143279753 4291573568 18446744073709551615 141131387 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/22314/statm: 20941 18891 657 2141 0 18797 0
[pid=22315] ppid=22310 vsize=7192 CPUtime=0.01
/proc/22315/stat : 22315 (scip2v) S 22310 22284 17551 34817 17551 4202496 1013 0 0 0 0 1 0 0 18 0 1 0 35973515 7364608 851 1283457024 134512640 136477024 4294277680 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/22315/statm: 1798 851 474 480 0 383 0
Current children cumulated CPU time (s) 18.54
Current children cumulated vsize (KiB) 146448

[startup+20.0031 s]
/proc/loadavg: 1.06 1.05 1.01 2/43 22315
/proc/meminfo: memFree=98196/1048576 swapFree=0/0
[pid=22284] ppid=22283 vsize=2572 CPUtime=0
/proc/22284/stat : 22284 (packup2hy4tr-0.) S 22283 22284 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35972634 2633728 274 1283457024 134512640 135304128 4287656752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22284/statm: 643 274 233 194 0 30 0
[pid=22285] ppid=22284 vsize=46104 CPUtime=8.03
/proc/22285/stat : 22285 (packup) S 22284 22284 17551 34817 17551 4202496 11313 49978 0 0 165 58 523 57 18 0 1 0 35972634 47210496 10853 1283457024 134512640 134752139 4288021344 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22285/statm: 11526 10853 333 59 0 10690 0
[pid=22305] ppid=22285 vsize=1672 CPUtime=0
/proc/22305/stat : 22305 (sh) S 22285 22284 17551 34817 17551 4202496 147 0 0 0 0 0 0 0 18 0 1 0 35973500 1712128 124 1283457024 134512640 134593992 4288320608 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22305/statm: 418 124 108 20 0 45 0
[pid=22306] ppid=22305 vsize=2576 CPUtime=0.01
/proc/22306/stat : 22306 (run_h) S 22305 22284 17551 34817 17551 4202496 369 611 0 0 0 0 0 1 21 0 1 0 35973501 2637824 274 1283457024 134512640 135304128 4291704752 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22306/statm: 644 274 232 194 0 31 0
[pid=22310] ppid=22306 vsize=2568 CPUtime=0
/proc/22310/stat : 22310 (run_scip) S 22306 22284 17551 34817 17551 4202496 392 756 0 0 0 0 0 0 22 0 1 0 35973501 2629632 269 1283457024 134512640 135304128 4292032496 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22310/statm: 642 269 228 194 0 29 0
[pid=22314] ppid=22310 vsize=84184 CPUtime=11.29
/proc/22314/stat : 22314 (scip-2.0.1.linu) R 22310 22284 17551 34817 17551 4202496 45913 0 0 0 1035 94 0 0 25 0 1 0 35973502 86204416 18995 1283457024 134512640 143279753 4291573568 18446744073709551615 136541004 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/22314/statm: 21046 18995 657 2141 0 18902 0
[pid=22315] ppid=22310 vsize=7192 CPUtime=0.01
/proc/22315/stat : 22315 (scip2v) S 22310 22284 17551 34817 17551 4202496 1013 0 0 0 0 1 0 0 18 0 1 0 35973515 7364608 851 1283457024 134512640 136477024 4294277680 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/22315/statm: 1798 851 474 480 0 383 0
Current children cumulated CPU time (s) 19.34
Current children cumulated vsize (KiB) 146868

[startup+20.4131 s]
/proc/loadavg: 1.06 1.05 1.01 2/43 22315
/proc/meminfo: memFree=98196/1048576 swapFree=0/0
[pid=22284] ppid=22283 vsize=2572 CPUtime=0
/proc/22284/stat : 22284 (packup2hy4tr-0.) S 22283 22284 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35972634 2633728 274 1283457024 134512640 135304128 4287656752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22284/statm: 643 274 233 194 0 30 0
[pid=22285] ppid=22284 vsize=46104 CPUtime=8.03
/proc/22285/stat : 22285 (packup) S 22284 22284 17551 34817 17551 4202496 11313 49978 0 0 165 58 523 57 18 0 1 0 35972634 47210496 10853 1283457024 134512640 134752139 4288021344 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22285/statm: 11526 10853 333 59 0 10690 0
[pid=22305] ppid=22285 vsize=1672 CPUtime=0
/proc/22305/stat : 22305 (sh) S 22285 22284 17551 34817 17551 4202496 147 0 0 0 0 0 0 0 18 0 1 0 35973500 1712128 124 1283457024 134512640 134593992 4288320608 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22305/statm: 418 124 108 20 0 45 0
[pid=22306] ppid=22305 vsize=2576 CPUtime=0.01
/proc/22306/stat : 22306 (run_h) S 22305 22284 17551 34817 17551 4202496 369 611 0 0 0 0 0 1 21 0 1 0 35973501 2637824 274 1283457024 134512640 135304128 4291704752 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22306/statm: 644 274 232 194 0 31 0
[pid=22310] ppid=22306 vsize=2568 CPUtime=0
/proc/22310/stat : 22310 (run_scip) S 22306 22284 17551 34817 17551 4202496 392 756 0 0 0 0 0 0 22 0 1 0 35973501 2629632 269 1283457024 134512640 135304128 4292032496 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22310/statm: 642 269 228 194 0 29 0
[pid=22314] ppid=22310 vsize=84412 CPUtime=11.7
/proc/22314/stat : 22314 (scip-2.0.1.linu) R 22310 22284 17551 34817 17551 4202496 49910 0 0 0 1072 98 0 0 25 0 1 0 35973502 86437888 19070 1283457024 134512640 143279753 4291573568 18446744073709551615 135294315 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/22314/statm: 21103 19070 689 2141 0 18959 0
[pid=22315] ppid=22310 vsize=7192 CPUtime=0.01
/proc/22315/stat : 22315 (scip2v) S 22310 22284 17551 34817 17551 4202496 1014 0 0 0 0 1 0 0 18 0 1 0 35973515 7364608 852 1283457024 134512640 136477024 4294277680 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/22315/statm: 1798 852 474 480 0 383 0
Current children cumulated CPU time (s) 19.75
Current children cumulated vsize (KiB) 147096

[startup+20.6147 s]
/proc/loadavg: 1.06 1.05 1.01 2/43 22315
/proc/meminfo: memFree=98196/1048576 swapFree=0/0
[pid=22284] ppid=22283 vsize=2572 CPUtime=0
/proc/22284/stat : 22284 (packup2hy4tr-0.) S 22283 22284 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35972634 2633728 274 1283457024 134512640 135304128 4287656752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22284/statm: 643 274 233 194 0 30 0
[pid=22285] ppid=22284 vsize=46104 CPUtime=8.03
/proc/22285/stat : 22285 (packup) S 22284 22284 17551 34817 17551 4202496 11313 49978 0 0 165 58 523 57 18 0 1 0 35972634 47210496 10853 1283457024 134512640 134752139 4288021344 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22285/statm: 11526 10853 333 59 0 10690 0
[pid=22305] ppid=22285 vsize=1672 CPUtime=0
/proc/22305/stat : 22305 (sh) S 22285 22284 17551 34817 17551 4202496 147 0 0 0 0 0 0 0 18 0 1 0 35973500 1712128 124 1283457024 134512640 134593992 4288320608 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22305/statm: 418 124 108 20 0 45 0
[pid=22306] ppid=22305 vsize=2576 CPUtime=0.01
/proc/22306/stat : 22306 (run_h) S 22305 22284 17551 34817 17551 4202496 369 611 0 0 0 0 0 1 21 0 1 0 35973501 2637824 274 1283457024 134512640 135304128 4291704752 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22306/statm: 644 274 232 194 0 31 0
[pid=22310] ppid=22306 vsize=2568 CPUtime=0.08
/proc/22310/stat : 22310 (run_scip) S 22306 22284 17551 34817 17551 4202496 392 1870 0 0 0 0 4 4 18 0 1 0 35973501 2629632 269 1283457024 134512640 135304128 4292032496 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22310/statm: 642 269 228 194 0 29 0
[pid=22314] ppid=22310 vsize=0 CPUtime=11.82
/proc/22314/stat : 22314 (scip-2.0.1.linu) R 22310 22284 17551 34817 17551 4203524 50374 0 0 0 1078 104 0 0 25 0 1 0 35973502 0 0 1283457024 0 0 0 0 0 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/22314/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (KiB) 55492

[startup+20.7145 s]
/proc/loadavg: 1.06 1.05 1.01 2/43 22315
/proc/meminfo: memFree=98196/1048576 swapFree=0/0
[pid=22284] ppid=22283 vsize=2572 CPUtime=0
/proc/22284/stat : 22284 (packup2hy4tr-0.) S 22283 22284 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 35972634 2633728 274 1283457024 134512640 135304128 4287656752 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22284/statm: 643 274 233 194 0 30 0
[pid=22285] ppid=22284 vsize=44748 CPUtime=20.07
/proc/22285/stat : 22285 (packup) R 22284 22284 17551 34817 17551 4202496 21067 103766 0 0 173 60 1607 167 18 0 1 0 35972634 45821952 10527 1283457024 134512640 134752139 4288021344 18446744073709551615 4157257117 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/22285/statm: 11187 10527 346 59 0 10351 0
Current children cumulated CPU time (s) 20.07
Current children cumulated vsize (KiB) 47320

Child status: 0
Real time (s): 20.7321
CPU time (s): 20.0893
CPU user time (s): 17.8171
CPU system time (s): 2.27214
CPU usage (%): 96.8992
Max. virtual memory (cumulated for all children) (KiB): 149000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.8171
system time used= 2.27214
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125574
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= 12783
involuntary context switches= 13023

runsolver used 0.008 second user time and 0 second system time

The end