runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3481756-1307576890/watcher-3481756-1307576890 -o /tmp/evaluation-result-3481756-1307576890/solver-3481756-1307576890 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481756-1307576890.opb -seed 197850423 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.98 1.68 0.86 2/537 23383
/proc/meminfo: memFree=26040496/32951124 swapFree=55639044/67111528
[pid=23383] ppid=23381 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/23383/stat : 23383 (python) R 23381 23383 23050 0 -1 4202496 883 0 0 0 0 0 0 0 20 0 1 0 869286982 16154624 765 33554432000 4194304 5683644 140736271985456 18446744073709551615 271550198469 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23383/statm: 3944 765 343 364 0 431 0
[startup+0.059115 s]
/proc/loadavg: 1.98 1.68 0.86 2/537 23383
/proc/meminfo: memFree=26040496/32951124 swapFree=55639044/67111528
[pid=23383] ppid=23381 vsize=29792 CPUtime=0.03 cores=1,3,5,7
/proc/23383/stat : 23383 (python) R 23381 23383 23050 0 -1 4202496 1408 0 0 0 3 0 0 0 17 0 1 0 869286982 30507008 1252 33554432000 4194304 5683644 140736271985456 18446744073709551615 4273480 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23383/statm: 7448 1252 443 364 0 818 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29792
[startup+0.101106 s]
/proc/loadavg: 1.98 1.68 0.86 2/537 23383
/proc/meminfo: memFree=26040496/32951124 swapFree=55639044/67111528
[pid=23383] ppid=23381 vsize=85624 CPUtime=0.06 cores=1,3,5,7
/proc/23383/stat : 23383 (python) R 23381 23383 23050 0 -1 4202496 2622 0 0 0 4 2 0 0 17 0 1 0 869286982 87678976 2342 33554432000 4194304 5683644 140736271985456 18446744073709551615 271550198817 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23383/statm: 21406 2344 715 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85624
[startup+0.301082 s]
/proc/loadavg: 1.98 1.68 0.86 2/537 23383
/proc/meminfo: memFree=26040496/32951124 swapFree=55639044/67111528
[pid=23383] ppid=23381 vsize=123744 CPUtime=0.17 cores=1,3,5,7
/proc/23383/stat : 23383 (python) R 23381 23383 23050 0 -1 4202496 5357 932 1 0 12 5 0 0 16 0 1 0 869286982 126713856 3745 33554432000 4194304 5683644 140736271985456 18446744073709551615 271550533637 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23383/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.700977 s]
/proc/loadavg: 1.98 1.68 0.86 2/537 23383
/proc/meminfo: memFree=26040496/32951124 swapFree=55639044/67111528
[pid=23383] ppid=23381 vsize=283000 CPUtime=0.43 cores=1,3,5,7
/proc/23383/stat : 23383 (python) R 23381 23383 23050 0 -1 4202496 9227 932 1 0 30 13 0 0 15 0 1 0 869286982 289792000 7090 33554432000 4194304 5683644 140736271985456 18446744073709551615 4539738 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23383/statm: 70750 7090 1781 364 0 5643 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 283000
[startup+1.50083 s]
/proc/loadavg: 1.98 1.68 0.86 4/541 23391
/proc/meminfo: memFree=26018764/32951124 swapFree=55639044/67111528
[pid=23383] ppid=23381 vsize=297396 CPUtime=0.73 cores=1,3,5,7
/proc/23383/stat : 23383 (python) S 23381 23383 23050 0 -1 4202496 11251 932 1 0 59 14 0 0 18 0 2 0 869286982 304533504 8210 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23383/statm: 74349 8210 1870 364 0 9236 0
[pid=23389] ppid=23383 vsize=287152 CPUtime=0 cores=1,3,5,7
/proc/23389/stat : 23389 (python) S 23383 23383 23050 0 -1 4202560 751 0 0 0 0 0 0 0 15 0 1 0 869287082 294043648 6688 33554432000 4194304 5683644 140736271985456 18446744073709551615 271550557711 0 0 16781312 33554946 8086408745229189381 0 0 17 5 0 0 0
/proc/23389/statm: 71788 6688 352 364 0 6675 0
[pid=23391] ppid=23389 vsize=75084 CPUtime=0.49 cores=1,3,5,7
/proc/23391/stat : 23391 (scip-2.0.1.linu) R 23389 23391 23391 0 -1 4202496 16900 0 0 0 43 6 0 0 20 0 1 0 869287082 76886016 16206 33554432000 4194304 13684479 140734023299392 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23391/statm: 18771 16206 666 2317 0 16449 0
[pid=23383/tid=23390] ppid=23381 vsize=297396 CPUtime=0 cores=1,3,5,7
/proc/23383/task/23390/stat : 23390 (python) S 23381 23383 23050 0 -1 4202560 28 932 0 0 0 0 0 0 18 0 2 0 869287082 304533504 8210 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562361265 0 0 16781312 33554434 18446604458682164224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 659632
[startup+3.10053 s]
/proc/loadavg: 1.98 1.68 0.86 3/541 23391
/proc/meminfo: memFree=25921300/32951124 swapFree=55639044/67111528
[pid=23383] ppid=23381 vsize=297396 CPUtime=0.73 cores=1,3,5,7
/proc/23383/stat : 23383 (python) S 23381 23383 23050 0 -1 4202496 11251 932 1 0 59 14 0 0 18 0 2 0 869286982 304533504 8210 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23383/statm: 74349 8210 1870 364 0 9236 0
[pid=23389] ppid=23383 vsize=287152 CPUtime=0 cores=1,3,5,7
/proc/23389/stat : 23389 (python) S 23383 23383 23050 0 -1 4202560 766 0 0 0 0 0 0 0 15 0 1 0 869287082 294043648 6688 33554432000 4194304 5683644 140736271985456 18446744073709551615 271550557711 0 0 16781312 33554946 8086408745229189381 0 0 17 5 0 0 0
/proc/23389/statm: 71788 6688 352 364 0 6675 0
[pid=23391] ppid=23389 vsize=104400 CPUtime=2.09 cores=1,3,5,7
/proc/23391/stat : 23391 (scip-2.0.1.linu) R 23389 23391 23391 0 -1 4202496 24156 0 0 0 200 9 0 0 20 0 1 0 869287082 106905600 23135 33554432000 4194304 13684479 140734023299392 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23391/statm: 26100 23135 753 2317 0 23778 0
[pid=23383/tid=23390] ppid=23381 vsize=297396 CPUtime=0 cores=1,3,5,7
/proc/23383/task/23390/stat : 23390 (python) S 23381 23383 23050 0 -1 4202560 28 932 0 0 0 0 0 0 18 0 2 0 869287082 304533504 8210 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562361265 0 0 16781312 33554434 18446604458682164224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 688948
[startup+6.30096 s]
/proc/loadavg: 1.98 1.69 0.87 3/541 23392
/proc/meminfo: memFree=25926060/32951124 swapFree=55639044/67111528
[pid=23383] ppid=23381 vsize=297396 CPUtime=0.73 cores=1,3,5,7
/proc/23383/stat : 23383 (python) S 23381 23383 23050 0 -1 4202496 11251 932 1 0 59 14 0 0 18 0 2 0 869286982 304533504 8210 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23383/statm: 74349 8210 1870 364 0 9236 0
[pid=23389] ppid=23383 vsize=287152 CPUtime=0.01 cores=1,3,5,7
/proc/23389/stat : 23389 (python) S 23383 23383 23050 0 -1 4202560 899 0 0 0 1 0 0 0 15 0 1 0 869287082 294043648 6712 33554432000 4194304 5683644 140736271985456 18446744073709551615 271550557711 0 0 16781312 33554946 8086511068530049285 0 0 17 5 0 0 0
/proc/23389/statm: 71788 6712 376 364 0 6675 0
[pid=23391] ppid=23389 vsize=106232 CPUtime=5.29 cores=1,3,5,7
/proc/23391/stat : 23391 (scip-2.0.1.linu) R 23389 23391 23391 0 -1 4202496 24597 0 0 0 519 10 0 0 25 0 1 0 869287082 108781568 23568 33554432000 4194304 13684479 140734023299392 18446744073709551615 7390424 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23391/statm: 26558 23568 753 2317 0 24236 0
[pid=23383/tid=23390] ppid=23381 vsize=297396 CPUtime=0 cores=1,3,5,7
/proc/23383/task/23390/stat : 23390 (python) S 23381 23383 23050 0 -1 4202560 28 932 0 0 0 0 0 0 18 0 2 0 869287082 304533504 8210 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562361265 0 0 16781312 33554434 18446604458682164224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 690780
[startup+12.7008 s]
/proc/loadavg: 1.98 1.69 0.88 3/541 23392
/proc/meminfo: memFree=25917072/32951124 swapFree=55639044/67111528
[pid=23383] ppid=23381 vsize=297396 CPUtime=0.73 cores=1,3,5,7
/proc/23383/stat : 23383 (python) S 23381 23383 23050 0 -1 4202496 11251 932 1 0 59 14 0 0 18 0 2 0 869286982 304533504 8210 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23383/statm: 74349 8210 1870 364 0 9236 0
[pid=23389] ppid=23383 vsize=287152 CPUtime=0.03 cores=1,3,5,7
/proc/23389/stat : 23389 (python) S 23383 23383 23050 0 -1 4202560 903 0 0 0 2 1 0 0 15 0 1 0 869287082 294043648 6712 33554432000 4194304 5683644 140736271985456 18446744073709551615 271550557711 0 0 16781312 33554946 5623606151888251745 0 0 17 5 0 0 0
/proc/23389/statm: 71788 6712 376 364 0 6675 0
[pid=23391] ppid=23389 vsize=107100 CPUtime=11.69 cores=1,3,5,7
/proc/23391/stat : 23391 (scip-2.0.1.linu) R 23389 23391 23391 0 -1 4202496 24942 0 0 0 1158 11 0 0 25 0 1 0 869287082 109670400 23913 33554432000 4194304 13684479 140734023299392 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23391/statm: 26775 23913 753 2317 0 24453 0
[pid=23383/tid=23390] ppid=23381 vsize=297396 CPUtime=0 cores=1,3,5,7
/proc/23383/task/23390/stat : 23390 (python) S 23381 23383 23050 0 -1 4202560 28 932 0 0 0 0 0 0 18 0 2 0 869287082 304533504 8210 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562361265 0 0 16781312 33554434 18446604458682164224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 691648
[startup+25.5005 s]
/proc/loadavg: 1.98 1.70 0.89 3/541 23392
/proc/meminfo: memFree=25919188/32951124 swapFree=55639044/67111528
[pid=23383] ppid=23381 vsize=297396 CPUtime=0.73 cores=1,3,5,7
/proc/23383/stat : 23383 (python) S 23381 23383 23050 0 -1 4202496 11251 932 1 0 59 14 0 0 18 0 2 0 869286982 304533504 8210 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23383/statm: 74349 8210 1870 364 0 9236 0
[pid=23389] ppid=23383 vsize=287152 CPUtime=0.09 cores=1,3,5,7
/proc/23389/stat : 23389 (python) S 23383 23383 23050 0 -1 4202560 916 0 0 0 4 5 0 0 15 0 1 0 869287082 294043648 6712 33554432000 4194304 5683644 140736271985456 18446744073709551615 271550557711 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/23389/statm: 71788 6712 376 364 0 6675 0
[pid=23391] ppid=23389 vsize=108336 CPUtime=24.49 cores=1,3,5,7
/proc/23391/stat : 23391 (scip-2.0.1.linu) R 23389 23391 23391 0 -1 4202496 25230 0 0 0 2434 15 0 0 21 0 1 0 869287082 110936064 24201 33554432000 4194304 13684479 140734023299392 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23391/statm: 27084 24201 771 2317 0 24762 0
[pid=23383/tid=23390] ppid=23381 vsize=297396 CPUtime=0 cores=1,3,5,7
/proc/23383/task/23390/stat : 23390 (python) S 23381 23383 23050 0 -1 4202560 28 932 0 0 0 0 0 0 18 0 2 0 869287082 304533504 8210 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562361265 0 0 16781312 33554434 18446604458682164224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 692884
[startup+51.1008 s]
/proc/loadavg: 2.06 1.74 0.93 3/557 23409
/proc/meminfo: memFree=25846252/32951124 swapFree=55639044/67111528
[pid=23383] ppid=23381 vsize=307652 CPUtime=0.75 cores=1,3,5,7
/proc/23383/stat : 23383 (python) S 23381 23383 23050 0 -1 4202496 12047 932 1 0 61 14 0 0 19 0 3 0 869286982 315035648 8217 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23383/statm: 76913 8217 1873 364 0 11797 0
[pid=23389] ppid=23383 vsize=297396 CPUtime=0.2 cores=1,3,5,7
/proc/23389/stat : 23389 (python) S 23383 23383 23050 0 -1 4202560 1091 0 0 0 10 10 0 0 17 0 2 0 869287082 304533504 6748 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23389/statm: 74349 6748 407 364 0 9236 0
[pid=23391] ppid=23389 vsize=170192 CPUtime=49.43 cores=1,3,5,7
/proc/23391/stat : 23391 (scip-2.0.1.linu) T 23389 23391 23391 0 -1 4202496 43140 0 0 0 4898 45 0 0 25 0 1 0 869287082 174276608 39803 33554432000 4194304 13684479 140734023299392 18446744073709551615 7280944 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/23391/statm: 42548 39803 802 2317 0 40226 0
[pid=23389/tid=23394] ppid=23383 vsize=297396 CPUtime=0 cores=1,3,5,7
/proc/23389/task/23394/stat : 23394 (python) S 23383 23383 23050 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869292026 304533504 6748 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562361265 0 0 16781312 33554946 18446604458127256640 0 0 -1 7 0 0 0
[pid=23395] ppid=23383 vsize=297408 CPUtime=0 cores=1,3,5,7
/proc/23395/stat : 23395 (python) S 23383 23383 23050 0 -1 4202560 794 0 0 0 0 0 0 0 16 0 1 0 869292028 304545792 6689 33554432000 4194304 5683644 140736271985456 18446744073709551615 271550557766 0 0 16781312 33554946 2253082046106697728 0 0 17 1 0 0 0
/proc/23395/statm: 74352 6689 349 364 0 9236 0
[pid=23397] ppid=23395 vsize=8537204 CPUtime=1.2 cores=1,3,5,7
/proc/23397/stat : 23397 (java) S 23395 23397 23397 0 -1 4202496 42513 0 1 0 115 5 0 0 18 0 18 0 869292029 8742096896 39853 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23397/statm: 2134301 39853 2235 9 0 2125042 0
[pid=23397/tid=23398] ppid=23395 vsize=8537204 CPUtime=0.61 cores=1,3,5,7
/proc/23397/task/23398/stat : 23398 (java) R 23395 23397 23397 0 -1 4202560 35175 0 1 0 57 4 0 0 18 0 18 0 869292029 8742096896 39853 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 46912505200043 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23397/tid=23399] ppid=23395 vsize=8537204 CPUtime=0 cores=1,3,5,7
/proc/23397/task/23399/stat : 23399 (java) S 23395 23397 23397 0 -1 4202560 323 0 0 0 0 0 0 0 16 0 18 0 869292030 8742096896 39853 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562353561 0 4 0 16800975 18446604461250132800 0 0 -1 1 0 0 0
[pid=23397/tid=23400] ppid=23395 vsize=8537204 CPUtime=0 cores=1,3,5,7
/proc/23397/task/23400/stat : 23400 (java) S 23395 23397 23397 0 -1 4202560 277 0 0 0 0 0 0 0 17 0 18 0 869292030 8742096896 39853 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562353561 0 4 0 16800975 18446604461250132800 0 0 -1 3 0 0 0
[pid=23397/tid=23401] ppid=23395 vsize=8537204 CPUtime=0 cores=1,3,5,7
/proc/23397/task/23401/stat : 23401 (java) S 23395 23397 23397 0 -1 4202560 392 0 0 0 0 0 0 0 17 0 18 0 869292030 8742096896 39853 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562353561 0 4 0 16800975 18446604461250132800 0 0 -1 7 0 0 0
[pid=23397/tid=23402] ppid=23395 vsize=8537204 CPUtime=0 cores=1,3,5,7
/proc/23397/task/23402/stat : 23402 (java) S 23395 23397 23397 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 869292030 8742096896 39853 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562353561 0 4 0 16800975 18446604461250132800 0 0 -1 7 0 0 0
[pid=23397/tid=23403] ppid=23395 vsize=8537204 CPUtime=0 cores=1,3,5,7
/proc/23397/task/23403/stat : 23403 (java) S 23395 23397 23397 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 869292030 8742096896 39853 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562353561 0 4 0 16800975 18446604461250132800 0 0 -1 7 0 0 0
[pid=23397/tid=23404] ppid=23395 vsize=8537204 CPUtime=0 cores=1,3,5,7
/proc/23397/task/23404/stat : 23404 (java) S 23395 23397 23397 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 869292030 8742096896 39853 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562353561 0 4 0 16800975 18446604461250132800 0 0 -1 7 0 0 0
[pid=23397/tid=23405] ppid=23395 vsize=8537204 CPUtime=0 cores=1,3,5,7
/proc/23397/task/23405/stat : 23405 (java) S 23395 23397 23397 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 869292030 8742096896 39853 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562353561 0 4 0 16800975 18446604461250132800 0 0 -1 3 0 0 0
[pid=23397/tid=23406] ppid=23395 vsize=8537204 CPUtime=0 cores=1,3,5,7
/proc/23397/task/23406/stat : 23406 (java) S 23395 23397 23397 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 869292030 8742096896 39853 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562353561 0 4 0 16800975 18446604461250132800 0 0 -1 1 0 0 0
[pid=23397/tid=23407] ppid=23395 vsize=8537204 CPUtime=0 cores=1,3,5,7
/proc/23397/task/23407/stat : 23407 (java) S 23395 23397 23397 0 -1 4202560 73 0 0 0 0 0 0 0 19 0 18 0 869292031 8742096896 39853 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562354176 0 0 0 16800975 18446604461250132800 0 0 -1 7 0 0 0
[pid=23397/tid=23408] ppid=23395 vsize=8537204 CPUtime=0 cores=1,3,5,7
/proc/23397/task/23408/stat : 23408 (java) S 23395 23397 23397 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 869292031 8742096896 39853 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562353561 0 4 0 16800975 18446604461250132800 0 0 -1 7 0 0 0
[pid=23397/tid=23409] ppid=23395 vsize=8537204 CPUtime=0 cores=1,3,5,7
/proc/23397/task/23409/stat : 23409 (java) S 23395 23397 23397 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 18 0 869292031 8742096896 39853 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562353561 0 4 0 16800975 18446604461250132800 0 0 -1 7 0 0 0
[pid=23397/tid=23410] ppid=23395 vsize=8537204 CPUtime=0 cores=1,3,5,7
/proc/23397/task/23410/stat : 23410 (java) S 23395 23397 23397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869292033 8742096896 39853 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562361265 0 4 0 16800975 18446604461250132800 0 0 -1 1 0 0 0
[pid=23397/tid=23411] ppid=23395 vsize=8537204 CPUtime=0.24 cores=1,3,5,7
/proc/23397/task/23411/stat : 23411 (java) R 23395 23397 23397 0 -1 4202560 1203 0 0 0 24 0 0 0 17 0 18 0 869292033 8742096896 39853 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 47434432747604 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23397/tid=23412] ppid=23395 vsize=8537204 CPUtime=0.32 cores=1,3,5,7
/proc/23397/task/23412/stat : 23412 (java) R 23395 23397 23397 0 -1 4202560 3678 0 0 0 32 0 0 0 25 0 18 0 869292033 8742096896 39853 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 47434428076592 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23397/tid=23413] ppid=23395 vsize=8537204 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=23425/tid=23433] ppid=23423 vsize=8602136 CPUtime=0 cores=1,3,5,7
/proc/23425/task/23433/stat : 23433 (java) S 23423 23425 23425 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869301398 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562353561 0 4 0 16800975 18446604456933161856 0 0 -1 7 0 0 0
[pid=23425/tid=23434] ppid=23423 vsize=8602136 CPUtime=0 cores=1,3,5,7
/proc/23425/task/23434/stat : 23434 (java) S 23423 23425 23425 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869301398 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562353561 0 4 0 16800975 18446604456933161856 0 0 -1 7 0 0 0
[pid=23425/tid=23435] ppid=23423 vsize=8602136 CPUtime=0 cores=1,3,5,7
/proc/23425/task/23435/stat : 23435 (java) S 23423 23425 23425 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 869301399 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562354176 0 0 0 16800975 18446604456933161856 0 0 -1 7 0 0 0
[pid=23425/tid=23436] ppid=23423 vsize=8602136 CPUtime=0 cores=1,3,5,7
/proc/23425/task/23436/stat : 23436 (java) S 23423 23425 23425 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 869301399 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562353561 0 4 0 16800975 18446604456933161856 0 0 -1 1 0 0 0
[pid=23425/tid=23437] ppid=23423 vsize=8602136 CPUtime=0 cores=1,3,5,7
/proc/23425/task/23437/stat : 23437 (java) S 23423 23425 23425 0 -1 4202560 8 0 0 0 0 0 0 0 24 0 19 0 869301399 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562353561 0 4 0 16800975 18446604456933161856 0 0 -1 7 0 0 0
[pid=23425/tid=23438] ppid=23423 vsize=8602136 CPUtime=0 cores=1,3,5,7
/proc/23425/task/23438/stat : 23438 (java) S 23423 23425 23425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869301402 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562361265 0 4 0 16800975 18446604456933161856 0 0 -1 1 0 0 0
[pid=23425/tid=23439] ppid=23423 vsize=8602136 CPUtime=0.43 cores=1,3,5,7
/proc/23425/task/23439/stat : 23439 (java) S 23423 23425 23425 0 -1 4202560 2835 0 0 0 43 0 0 0 17 0 19 0 869301402 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562353561 0 4 0 16800975 18446604456933161856 0 0 -1 7 0 0 0
[pid=23425/tid=23440] ppid=23423 vsize=8602136 CPUtime=0.46 cores=1,3,5,7
/proc/23425/task/23440/stat : 23440 (java) S 23423 23425 23425 0 -1 4202560 2363 0 0 0 46 0 0 0 17 0 19 0 869301402 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562353561 0 4 0 16800975 18446604456933161856 0 0 -1 1 0 0 0
[pid=23425/tid=23441] ppid=23423 vsize=8602136 CPUtime=0 cores=1,3,5,7
/proc/23425/task/23441/stat : 23441 (java) S 23423 23425 23425 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869301402 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562353561 0 4 0 16800975 18446604456933161856 0 0 -1 1 0 0 0
[pid=23425/tid=23442] ppid=23423 vsize=8602136 CPUtime=0 cores=1,3,5,7
/proc/23425/task/23442/stat : 23442 (java) S 23423 23425 23425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869301402 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562354176 0 4 0 16800975 18446604456933161856 0 0 -1 5 0 0 0
[pid=23425/tid=23443] ppid=23423 vsize=8602136 CPUtime=0 cores=1,3,5,7
/proc/23425/task/23443/stat : 23443 (java) S 23423 23425 23425 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 869301456 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562354176 0 4 0 16800975 18446604456933161856 0 0 -1 7 0 0 0
[pid=23383/tid=23390] ppid=23381 vsize=328832 CPUtime=0 cores=1,3,5,7
/proc/23383/task/23390/stat : 23390 (python) S 23381 23383 23050 0 -1 4202560 28 932 0 0 0 0 0 0 18 0 5 0 869287082 336723968 8371 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562361265 0 0 16781312 33554434 18446604458682164224 0 0 -1 5 0 0 0
[pid=23383/tid=23396] ppid=23381 vsize=328832 CPUtime=0 cores=1,3,5,7
/proc/23383/task/23396/stat : 23396 (python) S 23381 23383 23050 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 5 0 869292028 336723968 8371 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562361265 0 0 16781312 33554434 18446604458682164224 0 0 -1 5 0 0 0
[pid=23383/tid=23419] ppid=23381 vsize=328832 CPUtime=0 cores=1,3,5,7
/proc/23383/task/23419/stat : 23419 (python) S 23381 23383 23050 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 5 0 869296671 336723968 8371 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562361265 0 0 16781312 33554434 18446604458682164224 0 0 -1 3 0 0 0
[pid=23383/tid=23424] ppid=23381 vsize=328832 CPUtime=0 cores=1,3,5,7
/proc/23383/task/23424/stat : 23424 (python) S 23381 23383 23050 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 5 0 869301396 336723968 8371 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562361265 0 0 16781312 33554434 18446604458682164224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 147.57
Current children cumulated vsize (KiB) 19039604
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+145.102 s]
/proc/loadavg: 2.25 1.88 1.05 3/589 23443
/proc/meminfo: memFree=25335668/32951124 swapFree=55639044/67111528
[pid=23383] ppid=23381 vsize=328832 CPUtime=0.8 cores=1,3,5,7
/proc/23383/stat : 23383 (python) S 23381 23383 23050 0 -1 4202496 13800 932 1 0 66 14 0 0 19 0 5 0 869286982 336723968 8371 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23383/statm: 82208 8371 1877 364 0 17086 0
[pid=23389] ppid=23383 vsize=297396 CPUtime=0.2 cores=1,3,5,7
/proc/23389/stat : 23389 (python) S 23383 23383 23050 0 -1 4202560 1091 0 0 0 10 10 0 0 17 0 2 0 869287082 304533504 6748 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23389/statm: 74349 6748 407 364 0 9236 0
[pid=23391] ppid=23389 vsize=170192 CPUtime=49.43 cores=1,3,5,7
/proc/23391/stat : 23391 (scip-2.0.1.linu) T 23389 23391 23391 0 -1 4202496 43140 0 0 0 4898 45 0 0 25 0 1 0 869287082 174276608 39803 33554432000 4194304 13684479 140734023299392 18446744073709551615 7280944 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/23391/statm: 42548 39803 802 2317 0 40226 0
[pid=23389/tid=23394] ppid=23383 vsize=297396 CPUtime=0 cores=1,3,5,7
/proc/23389/task/23394/stat : 23394 (python) S 23383 23383 23050 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869292026 304533504 6748 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562361265 0 0 16781312 33554946 18446604458127256640 0 0 -1 7 0 0 0
[pid=23395] ppid=23383 vsize=297408 CPUtime=0.18 cores=1,3,5,7
/proc/23395/stat : 23395 (python) S 23383 23383 23050 0 -1 4202560 1118 0 0 0 10 8 0 0 16 0 2 0 869292028 304545792 6738 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23395/statm: 74352 6738 397 364 0 9236 0
[pid=23397] ppid=23395 vsize=8538972 CPUtime=47.69 cores=1,3,5,7
/proc/23397/stat : 23397 (java) T 23395 23397 23397 0 -1 4202496 87663 0 1 0 4758 11 0 0 18 0 19 0 869292029 8743907328 67918 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23397/statm: 2134743 67918 2258 9 0 2125484 0
[pid=23397/tid=23398] ppid=23395 vsize=8538972 CPUtime=46.1 cores=1,3,5,7
/proc/23397/task/23398/stat : 23398 (java) T 23395 23397 23397 0 -1 4202560 35309 0 1 0 4606 4 0 0 25 0 19 0 869292029 8743907328 67918 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 46912505961678 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23397/tid=23399] ppid=23395 vsize=8538972 CPUtime=0.01 cores=1,3,5,7
/proc/23397/task/23399/stat : 23399 (java) T 23395 23397 23397 0 -1 4202560 4005 0 0 0 1 0 0 0 15 0 19 0 869292030 8743907328 67918 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23397/tid=23400] ppid=23395 vsize=8538972 CPUtime=0.01 cores=1,3,5,7
/proc/23397/task/23400/stat : 23400 (java) T 23395 23397 23397 0 -1 4202560 4480 0 0 0 1 0 0 0 15 0 19 0 869292030 8743907328 67918 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23397/tid=23401] ppid=23395 vsize=8538972 CPUtime=0.01 cores=1,3,5,7
/proc/23397/task/23401/stat : 23401 (java) T 23395 23397 23397 0 -1 4202560 4493 0 0 0 1 0 0 0 15 0 19 0 869292030 8743907328 67918 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23397/tid=23402] ppid=23395 vsize=8538972 CPUtime=0 cores=1,3,5,7
/proc/23397/task/23402/stat : 23402 (java) T 23395 23397 23397 0 -1 4202560 3599 0 0 0 0 0 0 0 15 0 19 0 869292030 8743907328 67918 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23397/tid=23403] ppid=23395 vsize=8538972 CPUtime=0.01 cores=1,3,5,7
/proc/23397/task/23403/stat : 23403 (java) T 23395 23397 23397 0 -1 4202560 1192 0 0 0 1 0 0 0 15 0 19 0 869292030 8743907328 67918 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23397/tid=23404] ppid=23395 vsize=8538972 CPUtime=0.01 cores=1,3,5,7
/proc/23397/task/23404/stat : 23404 (java) T 23395 23397 23397 0 -1 4202560 3048 0 0 0 1 0 0 0 15 0 19 0 869292030 8743907328 67918 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23397/tid=23405] ppid=23395 vsize=8538972 CPUtime=0.01 cores=1,3,5,7
/proc/23397/task/23405/stat : 23405 (java) T 23395 23397 23397 0 -1 4202560 4590 0 0 0 1 0 0 0 15 0 19 0 869292030 8743907328 67918 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23397/tid=23406] ppid=23395 vsize=8538972 CPUtime=0.03 cores=1,3,5,7
/proc/23397/task/23406/stat : 23406 (java) T 23395 23397 23397 0 -1 4202560 8533 0 0 0 2 1 0 0 15 0 19 0 869292030 8743907328 67918 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23397/tid=23407] ppid=23395 vsize=8538972 CPUtime=0.15 cores=1,3,5,7
/proc/23397/task/23407/stat : 23407 (java) T 23395 23397 23397 0 -1 4202560 8275 0 0 0 15 0 0 0 15 0 19 0 869292031 8743907328 67918 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562354176 0 0 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23397/tid=23408] ppid=23395 vsize=8538972 CPUtime=0 cores=1,3,5,7
/proc/23397/task/23408/stat : 23408 (java) T 23395 23397 23397 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869292031 8743907328 67918 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23397/tid=23409] ppid=23395 vsize=8538972 CPUtime=0 cores=1,3,5,7
/proc/23397/task/23409/stat : 23409 (java) T 23395 23397 23397 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869292031 8743907328 67918 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23397/tid=23410] ppid=23395 vsize=8538972 CPUtime=0 cores=1,3,5,7
/proc/23397/task/23410/stat : 23410 (java) T 23395 23397 23397 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869292033 8743907328 67918 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562361265 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23397/tid=23411] ppid=23395 vsize=8538972 CPUtime=0.56 cores=1,3,5,7
/proc/23397/task/23411/stat : 23411 (java) T 23395 23397 23397 0 -1 4202560 2983 0 0 0 56 0 0 0 15 0 19 0 869292033 8743907328 67918 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23397/tid=23412] ppid=23395 vsize=8538972 CPUtime=0.67 cores=1,3,5,7
/proc/23397/task/23412/stat : 23412 (java) T 23395 23397 23397 0 -1 4202560 5761 0 0 0 67 0 0 0 15 0 19 0 869292033 8743907328 67918 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23397/tid=23413] ppid=23395 vsize=8538972 CPUtime=0 cores=1,3,5,7
/proc/23397/task/23413/stat : 23413 (java) T 23395 23397 23397 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869292033 8743907328 67918 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23397/tid=23414] ppid=23395 vsize=8538972 CPUtime=0 cores=1,3,5,7
/proc/23397/task/23414/stat : 23414 (java) T 23395 23397 23397 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869292033 8743907328 67918 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562354176 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23397/tid=23415] ppid=23395 vsize=8538972 CPUtime=0 cores=1,3,5,7
/proc/23397/task/23415/stat : 23415 (java) T 23395 23397 23397 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869292094 8743907328 67918 33554432000 1073741824 1073778376 140734338624448 18446744073709551615 271562354176 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23395/tid=23417] ppid=23383 vsize=297408 CPUtime=0 cores=1,3,5,7
/proc/23395/task/23417/stat : 23417 (python) S 23383 23383 23050 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869296668 304545792 6738 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562361265 0 0 16781312 33554946 18446604459107456000 0 0 -1 7 0 0 0
[pid=23418] ppid=23383 vsize=307828 CPUtime=0.18 cores=1,3,5,7
/proc/23418/stat : 23418 (python) S 23383 23383 23050 0 -1 4202560 1151 0 0 0 9 9 0 0 16 0 2 0 869296671 315215872 6764 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23418/statm: 76957 6764 403 364 0 11838 0
[pid=23420] ppid=23418 vsize=178252 CPUtime=47.21 cores=1,3,5,7
/proc/23420/stat : 23420 (scip-2.0.1.linu) T 23418 23420 23420 0 -1 4202496 58209 0 0 0 4695 26 0 0 25 0 1 0 869296671 182530048 39186 33554432000 4194304 15243407 140735993673936 18446744073709551615 7345353 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/23420/statm: 44563 39186 916 2698 0 41858 0
[pid=23418/tid=23422] ppid=23383 vsize=307828 CPUtime=0 cores=1,3,5,7
/proc/23418/task/23422/stat : 23422 (python) S 23383 23383 23050 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 869301393 315215872 6764 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562361265 0 0 16781312 33554946 18446604454371668416 0 0 -1 7 0 0 0
[pid=23423] ppid=23383 vsize=318588 CPUtime=0 cores=1,3,5,7
/proc/23423/stat : 23423 (python) S 23383 23383 23050 0 -1 4202560 875 0 0 0 0 0 0 0 15 0 1 0 869301396 326234112 6846 33554432000 4194304 5683644 140736271985456 18446744073709551615 271550557766 0 0 16781312 33554946 1694365289761734656 0 0 17 5 0 0 0
/proc/23423/statm: 79647 6846 356 364 0 14525 0
[pid=23425] ppid=23423 vsize=8602136 CPUtime=1.88 cores=1,3,5,7
/proc/23425/stat : 23425 (java) S 23423 23425 23425 0 -1 4202496 26267 0 1 0 184 4 0 0 17 0 19 0 869301396 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23425/statm: 2150534 23510 2230 9 0 2141275 0
[pid=23425/tid=23426] ppid=23423 vsize=8602136 CPUtime=0.96 cores=1,3,5,7
/proc/23425/task/23426/stat : 23426 (java) R 23423 23425 23425 0 -1 4202560 19662 0 1 0 94 2 0 0 25 0 19 0 869301397 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 46912506017376 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23425/tid=23427] ppid=23423 vsize=8602136 CPUtime=0 cores=1,3,5,7
/proc/23425/task/23427/stat : 23427 (java) S 23423 23425 23425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869301398 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562353561 0 4 0 16800975 18446604456933161856 0 0 -1 1 0 0 0
[pid=23425/tid=23428] ppid=23423 vsize=8602136 CPUtime=0 cores=1,3,5,7
/proc/23425/task/23428/stat : 23428 (java) S 23423 23425 23425 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869301398 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562353561 0 4 0 16800975 18446604456933161856 0 0 -1 7 0 0 0
[pid=23425/tid=23429] ppid=23423 vsize=8602136 CPUtime=0 cores=1,3,5,7
/proc/23425/task/23429/stat : 23429 (java) S 23423 23425 23425 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869301398 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562353561 0 4 0 16800975 18446604456933161856 0 0 -1 7 0 0 0
[pid=23425/tid=23430] ppid=23423 vsize=8602136 CPUtime=0 cores=1,3,5,7
/proc/23425/task/23430/stat : 23430 (java) S 23423 23425 23425 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869301398 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562353561 0 4 0 16800975 18446604456933161856 0 0 -1 3 0 0 0
[pid=23425/tid=23431] ppid=23423 vsize=8602136 CPUtime=0 cores=1,3,5,7
/proc/23425/task/23431/stat : 23431 (java) S 23423 23425 23425 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869301398 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562353561 0 4 0 16800975 18446604456933161856 0 0 -1 7 0 0 0
[pid=23425/tid=23432] ppid=23423 vsize=8602136 CPUtime=0 cores=1,3,5,7
/proc/23425/task/23432/stat : 23432 (java) S 23423 23425 23425 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869301398 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562353561 0 4 0 16800975 18446604456933161856 0 0 -1 7 0 0 0
[pid=23425/tid=23433] ppid=23423 vsize=8602136 CPUtime=0 cores=1,3,5,7
/proc/23425/task/23433/stat : 23433 (java) S 23423 23425 23425 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869301398 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562353561 0 4 0 16800975 18446604456933161856 0 0 -1 7 0 0 0
[pid=23425/tid=23434] ppid=23423 vsize=8602136 CPUtime=0 cores=1,3,5,7
/proc/23425/task/23434/stat : 23434 (java) S 23423 23425 23425 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869301398 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562353561 0 4 0 16800975 18446604456933161856 0 0 -1 7 0 0 0
[pid=23425/tid=23435] ppid=23423 vsize=8602136 CPUtime=0 cores=1,3,5,7
/proc/23425/task/23435/stat : 23435 (java) S 23423 23425 23425 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 869301399 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562354176 0 0 0 16800975 18446604456933161856 0 0 -1 7 0 0 0
[pid=23425/tid=23436] ppid=23423 vsize=8602136 CPUtime=0 cores=1,3,5,7
/proc/23425/task/23436/stat : 23436 (java) S 23423 23425 23425 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 869301399 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562353561 0 4 0 16800975 18446604456933161856 0 0 -1 1 0 0 0
[pid=23425/tid=23437] ppid=23423 vsize=8602136 CPUtime=0 cores=1,3,5,7
/proc/23425/task/23437/stat : 23437 (java) S 23423 23425 23425 0 -1 4202560 8 0 0 0 0 0 0 0 24 0 19 0 869301399 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562353561 0 4 0 16800975 18446604456933161856 0 0 -1 7 0 0 0
[pid=23425/tid=23438] ppid=23423 vsize=8602136 CPUtime=0 cores=1,3,5,7
/proc/23425/task/23438/stat : 23438 (java) S 23423 23425 23425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869301402 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562361265 0 4 0 16800975 18446604456933161856 0 0 -1 1 0 0 0
[pid=23425/tid=23439] ppid=23423 vsize=8602136 CPUtime=0.43 cores=1,3,5,7
/proc/23425/task/23439/stat : 23439 (java) S 23423 23425 23425 0 -1 4202560 2835 0 0 0 43 0 0 0 17 0 19 0 869301402 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562353561 0 4 0 16800975 18446604456933161856 0 0 -1 7 0 0 0
[pid=23425/tid=23440] ppid=23423 vsize=8602136 CPUtime=0.46 cores=1,3,5,7
/proc/23425/task/23440/stat : 23440 (java) S 23423 23425 23425 0 -1 4202560 2363 0 0 0 46 0 0 0 17 0 19 0 869301402 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562353561 0 4 0 16800975 18446604456933161856 0 0 -1 1 0 0 0
[pid=23425/tid=23441] ppid=23423 vsize=8602136 CPUtime=0 cores=1,3,5,7
/proc/23425/task/23441/stat : 23441 (java) S 23423 23425 23425 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869301402 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562353561 0 4 0 16800975 18446604456933161856 0 0 -1 1 0 0 0
[pid=23425/tid=23442] ppid=23423 vsize=8602136 CPUtime=0 cores=1,3,5,7
/proc/23425/task/23442/stat : 23442 (java) S 23423 23425 23425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869301402 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562354176 0 4 0 16800975 18446604456933161856 0 0 -1 5 0 0 0
[pid=23425/tid=23443] ppid=23423 vsize=8602136 CPUtime=0 cores=1,3,5,7
/proc/23425/task/23443/stat : 23443 (java) S 23423 23425 23425 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 869301456 8808587264 23510 33554432000 1073741824 1073778376 140736453345328 18446744073709551615 271562354176 0 4 0 16800975 18446604456933161856 0 0 -1 7 0 0 0
[pid=23383/tid=23390] ppid=23381 vsize=328832 CPUtime=0 cores=1,3,5,7
/proc/23383/task/23390/stat : 23390 (python) S 23381 23383 23050 0 -1 4202560 28 932 0 0 0 0 0 0 18 0 5 0 869287082 336723968 8371 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562361265 0 0 16781312 33554434 18446604458682164224 0 0 -1 5 0 0 0
[pid=23383/tid=23396] ppid=23381 vsize=328832 CPUtime=0 cores=1,3,5,7
/proc/23383/task/23396/stat : 23396 (python) S 23381 23383 23050 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 5 0 869292028 336723968 8371 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562361265 0 0 16781312 33554434 18446604458682164224 0 0 -1 5 0 0 0
[pid=23383/tid=23419] ppid=23381 vsize=328832 CPUtime=0 cores=1,3,5,7
/proc/23383/task/23419/stat : 23419 (python) S 23381 23383 23050 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 5 0 869296671 336723968 8371 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562361265 0 0 16781312 33554434 18446604458682164224 0 0 -1 3 0 0 0
[pid=23383/tid=23424] ppid=23381 vsize=328832 CPUtime=0 cores=1,3,5,7
/proc/23383/task/23424/stat : 23424 (python) S 23381 23383 23050 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 5 0 869301396 336723968 8371 33554432000 4194304 5683644 140736271985456 18446744073709551615 271562361265 0 0 16781312 33554434 18446604458682164224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 147.57
Current children cumulated vsize (KiB) 19039604
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23383 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=661899
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=152976
# CPU time returned by wait4() is 0.814875
# while last known CPU time is 147.57
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 145.183
CPU time (s): 147.57
CPU user time (s): 146.3
CPU system time (s): 1.27
CPU usage (%): 101.644
Max. virtual memory (cumulated for all children) (KiB): 19039604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.661899
system time used= 0.152976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14734
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2866
involuntary context switches= 17
runsolver used 0.669898 second user time and 1.67874 second system time
The end