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/a754ac72-95cc-11e0-9181-00163e1e087d.cudf.dudf-real.log.runsolver ./packup2hy4tr-0.6 /home/misc2010/data/2011/dudf-real//a754ac72-95cc-11e0-9181-00163e1e087d.cudf /home/misc2010/tmp/201108281254/packup2hy4tr-0.6/a754ac72-95cc-11e0-9181-00163e1e087d.cudf.dudf-real.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.01 1.03 1.00 3/37 23262
/proc/meminfo: memFree=229096/1048576 swapFree=0/0
[pid=23261] ppid=23260 vsize=2572 CPUtime=0
/proc/23261/stat : 23261 (packup2hy4tr-0.) S 23260 23261 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 36025958 2633728 275 1283457024 134512640 135304128 4291462816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23261/statm: 643 275 233 194 0 30 0
[pid=23262] ppid=23261 vsize=3708 CPUtime=0.01
/proc/23262/stat : 23262 (packup) D 23261 23261 17551 34817 17551 4202496 387 0 0 0 0 1 0 0 18 0 1 0 36025958 3796992 316 1283457024 134512640 134752139 4292665248 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/23262/statm: 927 316 273 59 0 91 0

[startup+0.191518 s]
/proc/loadavg: 1.01 1.03 1.00 3/37 23262
/proc/meminfo: memFree=229096/1048576 swapFree=0/0
[pid=23261] ppid=23260 vsize=2572 CPUtime=0
/proc/23261/stat : 23261 (packup2hy4tr-0.) S 23260 23261 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 36025958 2633728 275 1283457024 134512640 135304128 4291462816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23261/statm: 643 275 233 194 0 30 0
[pid=23262] ppid=23261 vsize=5824 CPUtime=0.03
/proc/23262/stat : 23262 (packup) D 23261 23261 17551 34817 17551 4202496 933 0 0 0 2 1 0 0 25 0 1 0 36025958 5963776 862 1283457024 134512640 134752139 4292665248 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/23262/statm: 1456 862 286 59 0 620 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8396

[startup+0.207572 s]
/proc/loadavg: 1.01 1.03 1.00 3/37 23262
/proc/meminfo: memFree=229096/1048576 swapFree=0/0
[pid=23261] ppid=23260 vsize=2572 CPUtime=0
/proc/23261/stat : 23261 (packup2hy4tr-0.) S 23260 23261 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 36025958 2633728 275 1283457024 134512640 135304128 4291462816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23261/statm: 643 275 233 194 0 30 0
[pid=23262] ppid=23261 vsize=5824 CPUtime=0.03
/proc/23262/stat : 23262 (packup) D 23261 23261 17551 34817 17551 4202496 933 0 0 0 2 1 0 0 25 0 1 0 36025958 5963776 862 1283457024 134512640 134752139 4292665248 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/23262/statm: 1456 862 286 59 0 620 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8396

[startup+0.307504 s]
/proc/loadavg: 1.01 1.03 1.00 3/37 23262
/proc/meminfo: memFree=229096/1048576 swapFree=0/0
[pid=23261] ppid=23260 vsize=2572 CPUtime=0
/proc/23261/stat : 23261 (packup2hy4tr-0.) S 23260 23261 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 36025958 2633728 275 1283457024 134512640 135304128 4291462816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23261/statm: 643 275 233 194 0 30 0
[pid=23262] ppid=23261 vsize=6632 CPUtime=0.05
/proc/23262/stat : 23262 (packup) D 23261 23261 17551 34817 17551 4202496 1161 0 0 0 4 1 0 0 24 0 1 0 36025958 6791168 1090 1283457024 134512640 134752139 4292665248 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/23262/statm: 1658 1090 286 59 0 822 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9204

[startup+0.707523 s]
/proc/loadavg: 1.01 1.03 1.00 3/37 23262
/proc/meminfo: memFree=229096/1048576 swapFree=0/0
[pid=23261] ppid=23260 vsize=2572 CPUtime=0
/proc/23261/stat : 23261 (packup2hy4tr-0.) S 23260 23261 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 36025958 2633728 275 1283457024 134512640 135304128 4291462816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23261/statm: 643 275 233 194 0 30 0
[pid=23262] ppid=23261 vsize=12584 CPUtime=0.18
/proc/23262/stat : 23262 (packup) R 23261 23261 17551 34817 17551 4202496 2652 0 0 0 16 2 0 0 24 0 1 0 36025958 12886016 2581 1283457024 134512640 134752139 4292665248 18446744073709551615 134706558 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/23262/statm: 3146 2581 286 59 0 2310 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 15156

[startup+1.5076 s]
/proc/loadavg: 1.01 1.03 1.00 1/38 23263
/proc/meminfo: memFree=206068/1048576 swapFree=0/0
[pid=23261] ppid=23260 vsize=2572 CPUtime=0
/proc/23261/stat : 23261 (packup2hy4tr-0.) S 23260 23261 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 36025958 2633728 275 1283457024 134512640 135304128 4291462816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23261/statm: 643 275 233 194 0 30 0
[pid=23262] ppid=23261 vsize=23076 CPUtime=0.41
/proc/23262/stat : 23262 (packup) D 23261 23261 17551 34817 17551 4202496 5266 0 0 0 37 4 0 0 22 0 1 0 36025958 23629824 5195 1283457024 134512640 134752139 4292665248 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/23262/statm: 5769 5195 286 59 0 4933 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 25648

[startup+3.11191 s]
/proc/loadavg: 1.01 1.03 1.00 2/38 23263
/proc/meminfo: memFree=180032/1048576 swapFree=0/0
[pid=23261] ppid=23260 vsize=2572 CPUtime=0
/proc/23261/stat : 23261 (packup2hy4tr-0.) S 23260 23261 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 36025958 2633728 275 1283457024 134512640 135304128 4291462816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23261/statm: 643 275 233 194 0 30 0
[pid=23262] ppid=23261 vsize=39808 CPUtime=0.97
/proc/23262/stat : 23262 (packup) S 23261 23261 17551 34817 17551 4202496 9491 0 0 0 82 15 0 0 20 0 1 0 36025958 40763392 9299 1283457024 134512640 134752139 4292665248 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/23262/statm: 9952 9299 325 59 0 9116 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 42380
heavy processes:

[startup+6.31267 s]
/proc/loadavg: 1.01 1.03 1.00 2/41 23281
/proc/meminfo: memFree=170684/1048576 swapFree=0/0
[pid=23261] ppid=23260 vsize=2572 CPUtime=0
/proc/23261/stat : 23261 (packup2hy4tr-0.) S 23260 23261 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 36025958 2633728 275 1283457024 134512640 135304128 4291462816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23261/statm: 643 275 233 194 0 30 0
[pid=23262] ppid=23261 vsize=39816 CPUtime=3.89
/proc/23262/stat : 23262 (packup) S 23261 23261 17551 34817 17551 4202496 9630 23758 0 0 91 41 236 21 18 0 1 0 36025958 40771584 9328 1283457024 134512640 134752139 4292665248 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/23262/statm: 9954 9328 333 59 0 9118 0
[pid=23276] ppid=23262 vsize=1672 CPUtime=0
/proc/23276/stat : 23276 (sh) S 23262 23261 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 36026502 1712128 124 1283457024 134512640 134593992 4293751184 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/23276/statm: 418 124 108 20 0 45 0
[pid=23277] ppid=23276 vsize=2572 CPUtime=0
/proc/23277/stat : 23277 (run_h) S 23276 23261 17551 34817 17551 4202496 365 612 0 0 0 0 0 0 21 0 1 0 36026503 2633728 272 1283457024 134512640 135304128 4290301520 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23277/statm: 643 272 232 194 0 30 0
[pid=23281] ppid=23277 vsize=25116 CPUtime=0.87
/proc/23281/stat : 23281 (minisatp_32) R 23277 23261 17551 34817 17551 4202496 6018 0 0 0 76 11 0 0 25 0 1 0 36026503 25718784 5057 1283457024 134512640 135413687 4290762416 18446744073709551615 134628267 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/23281/statm: 6279 5057 88 220 0 6057 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 71748
heavy processes:

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

[startup+6.4127 s]
/proc/loadavg: 1.01 1.03 1.00 2/41 23281
/proc/meminfo: memFree=152704/1048576 swapFree=0/0
[pid=23261] ppid=23260 vsize=2572 CPUtime=0
/proc/23261/stat : 23261 (packup2hy4tr-0.) S 23260 23261 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 36025958 2633728 275 1283457024 134512640 135304128 4291462816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23261/statm: 643 275 233 194 0 30 0
[pid=23262] ppid=23261 vsize=39816 CPUtime=3.89
/proc/23262/stat : 23262 (packup) S 23261 23261 17551 34817 17551 4202496 9630 23758 0 0 91 41 236 21 18 0 1 0 36025958 40771584 9328 1283457024 134512640 134752139 4292665248 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/23262/statm: 9954 9328 333 59 0 9118 0
[pid=23276] ppid=23262 vsize=1672 CPUtime=0
/proc/23276/stat : 23276 (sh) S 23262 23261 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 36026502 1712128 124 1283457024 134512640 134593992 4293751184 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/23276/statm: 418 124 108 20 0 45 0
[pid=23277] ppid=23276 vsize=2572 CPUtime=0
/proc/23277/stat : 23277 (run_h) S 23276 23261 17551 34817 17551 4202496 365 612 0 0 0 0 0 0 21 0 1 0 36026503 2633728 272 1283457024 134512640 135304128 4290301520 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23277/statm: 643 272 232 194 0 30 0
[pid=23281] ppid=23277 vsize=35848 CPUtime=0.97
/proc/23281/stat : 23281 (minisatp_32) R 23277 23261 17551 34817 17551 4202496 9941 0 0 0 86 11 0 0 25 0 1 0 36026503 36708352 7884 1283457024 134512640 135413687 4290762416 18446744073709551615 134692025 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/23281/statm: 8962 7884 92 220 0 8740 0
Current children cumulated CPU time (s) 4.86
Current children cumulated vsize (KiB) 82480

[startup+8.01314 s]
/proc/loadavg: 1.01 1.03 1.00 3/43 23292
/proc/meminfo: memFree=152920/1048576 swapFree=0/0
[pid=23261] ppid=23260 vsize=2572 CPUtime=0
/proc/23261/stat : 23261 (packup2hy4tr-0.) S 23260 23261 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 36025958 2633728 275 1283457024 134512640 135304128 4291462816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23261/statm: 643 275 233 194 0 30 0
[pid=23262] ppid=23261 vsize=39820 CPUtime=5.82
/proc/23262/stat : 23262 (packup) S 23261 23261 17551 34817 17551 4202496 9687 41303 0 0 105 46 394 37 18 0 1 0 36025958 40775680 9329 1283457024 134512640 134752139 4292665248 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/23262/statm: 9955 9329 333 59 0 9119 0
[pid=23282] ppid=23262 vsize=1672 CPUtime=0
/proc/23282/stat : 23282 (sh) S 23262 23261 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 36026695 1712128 124 1283457024 134512640 134593992 4291786672 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/23282/statm: 418 124 108 20 0 45 0
[pid=23283] ppid=23282 vsize=2572 CPUtime=0
/proc/23283/stat : 23283 (run_h) S 23282 23261 17551 34817 17551 4202496 367 614 0 0 0 0 0 0 21 0 1 0 36026696 2633728 273 1283457024 134512640 135304128 4293023984 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23283/statm: 643 273 232 194 0 30 0
[pid=23287] ppid=23283 vsize=2568 CPUtime=0.01
/proc/23287/stat : 23287 (run_scip) S 23283 23261 17551 34817 17551 4202496 390 754 0 0 0 0 0 1 22 0 1 0 36026696 2629632 268 1283457024 134512640 135304128 4291235632 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23287/statm: 642 268 228 194 0 29 0
[pid=23291] ppid=23287 vsize=66056 CPUtime=0.61
/proc/23291/stat : 23291 (scip-2.0.1.linu) R 23287 23261 17551 34817 17551 4202496 14787 0 0 0 58 3 0 0 25 0 1 0 36026697 67641344 14503 1283457024 134512640 143279753 4292952208 18446744073709551615 134766190 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/23291/statm: 16514 14503 547 2141 0 14370 0
[pid=23292] ppid=23287 vsize=7188 CPUtime=0.01
/proc/23292/stat : 23292 (scip2v) S 23287 23261 17551 34817 17551 4202496 1007 0 0 0 1 0 0 0 22 0 1 0 36026710 7360512 846 1283457024 134512640 136477024 4294802096 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/23292/statm: 1797 846 474 480 0 382 0
Current children cumulated CPU time (s) 6.45
Current children cumulated vsize (KiB) 122448

[startup+8.81334 s]
/proc/loadavg: 1.01 1.03 1.00 2/43 23292
/proc/meminfo: memFree=108280/1048576 swapFree=0/0
[pid=23261] ppid=23260 vsize=2572 CPUtime=0
/proc/23261/stat : 23261 (packup2hy4tr-0.) S 23260 23261 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 36025958 2633728 275 1283457024 134512640 135304128 4291462816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23261/statm: 643 275 233 194 0 30 0
[pid=23262] ppid=23261 vsize=39820 CPUtime=5.82
/proc/23262/stat : 23262 (packup) S 23261 23261 17551 34817 17551 4202496 9687 41303 0 0 105 46 394 37 18 0 1 0 36025958 40775680 9329 1283457024 134512640 134752139 4292665248 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/23262/statm: 9955 9329 333 59 0 9119 0
[pid=23282] ppid=23262 vsize=1672 CPUtime=0
/proc/23282/stat : 23282 (sh) S 23262 23261 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 36026695 1712128 124 1283457024 134512640 134593992 4291786672 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/23282/statm: 418 124 108 20 0 45 0
[pid=23283] ppid=23282 vsize=2572 CPUtime=0
/proc/23283/stat : 23283 (run_h) S 23282 23261 17551 34817 17551 4202496 367 614 0 0 0 0 0 0 21 0 1 0 36026696 2633728 273 1283457024 134512640 135304128 4293023984 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23283/statm: 643 273 232 194 0 30 0
[pid=23287] ppid=23283 vsize=2568 CPUtime=0.01
/proc/23287/stat : 23287 (run_scip) S 23283 23261 17551 34817 17551 4202496 390 754 0 0 0 0 0 1 22 0 1 0 36026696 2629632 268 1283457024 134512640 135304128 4291235632 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23287/statm: 642 268 228 194 0 29 0
[pid=23291] ppid=23287 vsize=72732 CPUtime=1.41
/proc/23291/stat : 23291 (scip-2.0.1.linu) R 23287 23261 17551 34817 17551 4202496 18006 0 0 0 121 20 0 0 25 0 1 0 36026697 74477568 16045 1283457024 134512640 143279753 4292952208 18446744073709551615 4294960130 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/23291/statm: 18183 16045 608 2141 0 16039 0
[pid=23292] ppid=23287 vsize=7188 CPUtime=0.01
/proc/23292/stat : 23292 (scip2v) S 23287 23261 17551 34817 17551 4202496 1007 0 0 0 1 0 0 0 18 0 1 0 36026710 7360512 846 1283457024 134512640 136477024 4294802096 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/23292/statm: 1797 846 474 480 0 382 0
Current children cumulated CPU time (s) 7.25
Current children cumulated vsize (KiB) 129124

[startup+9.21346 s]
/proc/loadavg: 1.01 1.03 1.00 2/43 23292
/proc/meminfo: memFree=108280/1048576 swapFree=0/0
[pid=23261] ppid=23260 vsize=2572 CPUtime=0
/proc/23261/stat : 23261 (packup2hy4tr-0.) S 23260 23261 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 36025958 2633728 275 1283457024 134512640 135304128 4291462816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23261/statm: 643 275 233 194 0 30 0
[pid=23262] ppid=23261 vsize=39820 CPUtime=5.82
/proc/23262/stat : 23262 (packup) S 23261 23261 17551 34817 17551 4202496 9687 41303 0 0 105 46 394 37 18 0 1 0 36025958 40775680 9329 1283457024 134512640 134752139 4292665248 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/23262/statm: 9955 9329 333 59 0 9119 0
[pid=23282] ppid=23262 vsize=1672 CPUtime=0
/proc/23282/stat : 23282 (sh) S 23262 23261 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 36026695 1712128 124 1283457024 134512640 134593992 4291786672 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/23282/statm: 418 124 108 20 0 45 0
[pid=23283] ppid=23282 vsize=2572 CPUtime=0
/proc/23283/stat : 23283 (run_h) S 23282 23261 17551 34817 17551 4202496 367 614 0 0 0 0 0 0 21 0 1 0 36026696 2633728 273 1283457024 134512640 135304128 4293023984 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23283/statm: 643 273 232 194 0 30 0
[pid=23287] ppid=23283 vsize=2568 CPUtime=0.01
/proc/23287/stat : 23287 (run_scip) R 23283 23261 17551 34817 17551 4202496 390 754 0 0 0 0 0 1 18 0 1 0 36026696 2629632 268 1283457024 134512640 135304128 4291235632 18446744073709551615 4294960130 0 65536 18948 65538 0 0 0 17 0 0 0 0
/proc/23287/statm: 642 268 228 194 0 29 0
[pid=23291] ppid=23287 vsize=0 CPUtime=1.77
/proc/23291/stat : 23291 (scip-2.0.1.linu) Z 23287 23261 17551 34817 17551 4202508 20612 0 0 0 148 29 0 0 25 0 1 0 36026697 0 0 1283457024 0 0 0 0 0 0 0 18944 0 18446744071564254338 0 0 17 0 0 0 0
/proc/23291/statm: 0 0 0 0 0 0 0
[pid=23292] ppid=23287 vsize=7504 CPUtime=0.05
/proc/23292/stat : 23292 (scip2v) R 23287 23261 17551 34817 17551 4202496 1094 0 0 0 3 2 0 0 18 0 1 0 36026710 7684096 933 1283457024 134512640 136477024 4294802096 18446744073709551615 134907514 0 0 16800256 2 0 0 0 17 0 0 0 0
/proc/23292/statm: 1876 933 479 480 0 461 0
Current children cumulated CPU time (s) 7.65
Current children cumulated vsize (KiB) 56708

[startup+9.3135 s]
/proc/loadavg: 1.01 1.03 1.00 2/43 23292
/proc/meminfo: memFree=108280/1048576 swapFree=0/0
[pid=23261] ppid=23260 vsize=2572 CPUtime=0
/proc/23261/stat : 23261 (packup2hy4tr-0.) S 23260 23261 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 36025958 2633728 275 1283457024 134512640 135304128 4291462816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23261/statm: 643 275 233 194 0 30 0
[pid=23262] ppid=23261 vsize=37888 CPUtime=7.77
/proc/23262/stat : 23262 (packup) R 23261 23261 17551 34817 17551 4202496 18318 65308 0 0 113 48 545 71 18 0 1 0 36025958 38797312 8967 1283457024 134512640 134752139 4292665248 18446744073709551615 4156994838 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/23262/statm: 9472 8967 346 59 0 8636 0
Current children cumulated CPU time (s) 7.77
Current children cumulated vsize (KiB) 40460

Child status: 0
Real time (s): 9.32362
CPU time (s): 7.79649
CPU user time (s): 6.58841
CPU system time (s): 1.20807
CPU usage (%): 83.6208
Max. virtual memory (cumulated for all children) (KiB): 130632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.58841
system time used= 1.20808
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84023
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= 11777
involuntary context switches= 11860

runsolver used 0 second user time and 0 second system time

The end