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-3481912-1307577380/watcher-3481912-1307577380 -o /tmp/evaluation-result-3481912-1307577380/solver-3481912-1307577380 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481912-1307577380.opb -seed 1360058803 -budget 1800
running on 4 cores: 0,2,4,6
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: 2.11 2.06 1.40 3/625 3411
/proc/meminfo: memFree=22445128/32950928 swapFree=34366004/67111528
[pid=3411] ppid=3408 vsize=15216 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (python) R 3408 3411 2236 0 -1 4202496 666 0 0 0 0 0 0 0 25 0 1 0 869336786 15581184 562 33554432000 4194304 5683644 140736202738608 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3411/statm: 3804 562 314 364 0 291 0
[startup+0.090805 s]
/proc/loadavg: 2.11 2.06 1.40 3/625 3411
/proc/meminfo: memFree=22445128/32950928 swapFree=34366004/67111528
[pid=3411] ppid=3408 vsize=92000 CPUtime=0.07 cores=0,2,4,6
/proc/3411/stat : 3411 (python) R 3408 3411 2236 0 -1 4202496 2725 0 1 0 5 2 0 0 25 0 1 0 869336786 94208000 2436 33554432000 4194304 5683644 140736202738608 18446744073709551615 235594866320 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3411/statm: 23000 2449 770 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 92000
[startup+0.100853 s]
/proc/loadavg: 2.11 2.06 1.40 3/625 3411
/proc/meminfo: memFree=22445128/32950928 swapFree=34366004/67111528
[pid=3411] ppid=3408 vsize=96124 CPUtime=0.08 cores=0,2,4,6
/proc/3411/stat : 3411 (python) R 3408 3411 2236 0 -1 4202496 3169 930 1 0 6 2 0 0 25 0 1 0 869336786 98430976 2483 33554432000 4194304 5683644 140736202738608 18446744073709551615 5158272 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3411/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.300862 s]
/proc/loadavg: 2.11 2.06 1.40 3/625 3411
/proc/meminfo: memFree=22445128/32950928 swapFree=34366004/67111528
[pid=3411] ppid=3408 vsize=202996 CPUtime=0.24 cores=0,2,4,6
/proc/3411/stat : 3411 (python) R 3408 3411 2236 0 -1 4202496 6663 930 1 0 17 7 0 0 25 0 1 0 869336786 207867904 4950 33554432000 4194304 5683644 140736202738608 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3411/statm: 50749 4950 1472 364 0 3711 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 202996
[startup+0.700745 s]
/proc/loadavg: 2.11 2.06 1.40 3/625 3411
/proc/meminfo: memFree=22445128/32950928 swapFree=34366004/67111528
[pid=3411] ppid=3408 vsize=293092 CPUtime=0.42 cores=0,2,4,6
/proc/3411/stat : 3411 (python) S 3408 3411 2236 0 -1 4202496 9700 930 1 0 32 10 0 0 25 0 2 0 869336786 300126208 7142 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3411/statm: 73273 7142 1870 364 0 8160 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 293092
[startup+1.50056 s]
/proc/loadavg: 2.11 2.06 1.40 3/629 3422
/proc/meminfo: memFree=22419160/32950928 swapFree=34366004/67111528
[pid=3411] ppid=3408 vsize=293092 CPUtime=0.42 cores=0,2,4,6
/proc/3411/stat : 3411 (python) S 3408 3411 2236 0 -1 4202496 9700 930 1 0 32 10 0 0 25 0 2 0 869336786 300126208 7142 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3411/statm: 73273 7142 1870 364 0 8160 0
[pid=3420] ppid=3411 vsize=282848 CPUtime=0 cores=0,2,4,6
/proc/3420/stat : 3420 (python) S 3411 3411 2236 0 -1 4202560 832 0 0 0 0 0 0 0 21 0 1 0 869336837 289636352 5626 33554432000 4194304 5683644 140736202738608 18446744073709551615 235594886671 0 0 16781312 33554946 3245532611778445312 0 0 17 2 0 0 0
/proc/3420/statm: 70712 5626 358 364 0 5599 0
[pid=3422] ppid=3420 vsize=1860 CPUtime=0.97 cores=0,2,4,6
/proc/3422/stat : 3422 (clasp-1.3.7-x86) R 3420 3422 3422 0 -1 4202496 482 0 0 0 97 0 0 0 25 0 1 0 869336838 1904640 226 33554432000 134512640 136139019 4289661744 18446744073709551615 134831226 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/3422/statm: 465 226 184 398 0 65 0
[pid=3411/tid=3421] ppid=3408 vsize=293092 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3421/stat : 3421 (python) S 3408 3411 2236 0 -1 4202560 22 930 0 0 0 0 0 0 25 0 2 0 869336838 300126208 7142 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259992192 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 577800
[startup+3.10039 s]
/proc/loadavg: 2.11 2.06 1.40 4/629 3422
/proc/meminfo: memFree=22419412/32950928 swapFree=34366004/67111528
[pid=3411] ppid=3408 vsize=293092 CPUtime=0.42 cores=0,2,4,6
/proc/3411/stat : 3411 (python) S 3408 3411 2236 0 -1 4202496 9700 930 1 0 32 10 0 0 25 0 2 0 869336786 300126208 7142 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3411/statm: 73273 7142 1870 364 0 8160 0
[pid=3420] ppid=3411 vsize=282848 CPUtime=0 cores=0,2,4,6
/proc/3420/stat : 3420 (python) S 3411 3411 2236 0 -1 4202560 832 0 0 0 0 0 0 0 17 0 1 0 869336837 289636352 5626 33554432000 4194304 5683644 140736202738608 18446744073709551615 235594886671 0 0 16781312 33554946 4294934786 0 0 17 2 0 0 0
/proc/3420/statm: 70712 5626 358 364 0 5599 0
[pid=3422] ppid=3420 vsize=1860 CPUtime=2.58 cores=0,2,4,6
/proc/3422/stat : 3422 (clasp-1.3.7-x86) R 3420 3422 3422 0 -1 4202496 482 0 0 0 257 1 0 0 25 0 1 0 869336838 1904640 226 33554432000 134512640 136139019 4289661744 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/3422/statm: 465 226 184 398 0 65 0
[pid=3411/tid=3421] ppid=3408 vsize=293092 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3421/stat : 3421 (python) S 3408 3411 2236 0 -1 4202560 22 930 0 0 0 0 0 0 25 0 2 0 869336838 300126208 7142 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259992192 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 577800
[startup+6.3177 s]
/proc/loadavg: 2.10 2.06 1.40 3/629 3422
/proc/meminfo: memFree=22419404/32950928 swapFree=34366004/67111528
[pid=3411] ppid=3408 vsize=293092 CPUtime=0.42 cores=0,2,4,6
/proc/3411/stat : 3411 (python) S 3408 3411 2236 0 -1 4202496 9700 930 1 0 32 10 0 0 25 0 2 0 869336786 300126208 7142 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3411/statm: 73273 7142 1870 364 0 8160 0
[pid=3420] ppid=3411 vsize=282848 CPUtime=0.01 cores=0,2,4,6
/proc/3420/stat : 3420 (python) S 3411 3411 2236 0 -1 4202560 963 0 0 0 1 0 0 0 15 0 1 0 869336837 289636352 5649 33554432000 4194304 5683644 140736202738608 18446744073709551615 235594886671 0 0 16781312 33554946 2551892923868250112 0 0 17 4 0 0 0
/proc/3420/statm: 70712 5649 381 364 0 5599 0
[pid=3422] ppid=3420 vsize=1860 CPUtime=5.79 cores=0,2,4,6
/proc/3422/stat : 3422 (clasp-1.3.7-x86) R 3420 3422 3422 0 -1 4202496 484 0 0 0 578 1 0 0 25 0 1 0 869336838 1904640 228 33554432000 134512640 136139019 4289661744 18446744073709551615 134828863 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/3422/statm: 465 228 184 398 0 65 0
[pid=3411/tid=3421] ppid=3408 vsize=293092 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3421/stat : 3421 (python) S 3408 3411 2236 0 -1 4202560 22 930 0 0 0 0 0 0 25 0 2 0 869336838 300126208 7142 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259992192 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 577800
[startup+12.7006 s]
/proc/loadavg: 2.10 2.06 1.40 4/629 3424
/proc/meminfo: memFree=22419180/32950928 swapFree=34366004/67111528
[pid=3411] ppid=3408 vsize=293092 CPUtime=0.42 cores=0,2,4,6
/proc/3411/stat : 3411 (python) S 3408 3411 2236 0 -1 4202496 9700 930 1 0 32 10 0 0 25 0 2 0 869336786 300126208 7142 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3411/statm: 73273 7142 1870 364 0 8160 0
[pid=3420] ppid=3411 vsize=282848 CPUtime=0.04 cores=0,2,4,6
/proc/3420/stat : 3420 (python) S 3411 3411 2236 0 -1 4202560 967 0 0 0 2 2 0 0 15 0 1 0 869336837 289636352 5649 33554432000 4194304 5683644 140736202738608 18446744073709551615 235594886671 0 0 16781312 33554946 72409437758827358 0 0 17 4 0 0 0
/proc/3420/statm: 70712 5649 381 364 0 5599 0
[pid=3422] ppid=3420 vsize=1860 CPUtime=12.17 cores=0,2,4,6
/proc/3422/stat : 3422 (clasp-1.3.7-x86) R 3420 3422 3422 0 -1 4202496 484 0 0 0 1216 1 0 0 25 0 1 0 869336838 1904640 228 33554432000 134512640 136139019 4289661744 18446744073709551615 134640640 0 0 16781312 16386 0 0 0 17 6 0 0 0
/proc/3422/statm: 465 228 184 398 0 65 0
[pid=3411/tid=3421] ppid=3408 vsize=293092 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3421/stat : 3421 (python) S 3408 3411 2236 0 -1 4202560 22 930 0 0 0 0 0 0 25 0 2 0 869336838 300126208 7142 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259992192 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 577800
[startup+25.5003 s]
/proc/loadavg: 2.15 2.07 1.42 3/633 3429
/proc/meminfo: memFree=22393276/32950928 swapFree=34366004/67111528
[pid=3411] ppid=3408 vsize=293092 CPUtime=0.42 cores=0,2,4,6
/proc/3411/stat : 3411 (python) S 3408 3411 2236 0 -1 4202496 9700 930 1 0 32 10 0 0 25 0 2 0 869336786 300126208 7142 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3411/statm: 73273 7142 1870 364 0 8160 0
[pid=3420] ppid=3411 vsize=282848 CPUtime=0.09 cores=0,2,4,6
/proc/3420/stat : 3420 (python) S 3411 3411 2236 0 -1 4202560 970 0 0 0 5 4 0 0 15 0 1 0 869336837 289636352 5649 33554432000 4194304 5683644 140736202738608 18446744073709551615 235594886671 0 0 16781312 33554946 72409437758827358 0 0 17 4 0 0 0
/proc/3420/statm: 70712 5649 381 364 0 5599 0
[pid=3422] ppid=3420 vsize=1988 CPUtime=24.96 cores=0,2,4,6
/proc/3422/stat : 3422 (clasp-1.3.7-x86) R 3420 3422 3422 0 -1 4202496 486 0 0 0 2495 1 0 0 25 0 1 0 869336838 2035712 230 33554432000 134512640 136139019 4289661744 18446744073709551615 134599005 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/3422/statm: 497 230 184 398 0 97 0
[pid=3411/tid=3421] ppid=3408 vsize=293092 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3421/stat : 3421 (python) S 3408 3411 2236 0 -1 4202560 22 930 0 0 0 0 0 0 25 0 2 0 869336838 300126208 7142 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259992192 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 577928
[startup+51.1009 s]
/proc/loadavg: 2.10 2.07 1.43 3/637 3436
/proc/meminfo: memFree=22353416/32950928 swapFree=34366004/67111528
[pid=3411] ppid=3408 vsize=303884 CPUtime=0.45 cores=0,2,4,6
/proc/3411/stat : 3411 (python) S 3408 3411 2236 0 -1 4202496 10494 930 1 0 34 11 0 0 19 0 3 0 869336786 311177216 7268 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3411/statm: 75971 7268 1873 364 0 10855 0
[pid=3420] ppid=3411 vsize=293092 CPUtime=0.2 cores=0,2,4,6
/proc/3420/stat : 3420 (python) S 3411 3411 2236 0 -1 4202560 1136 0 0 0 11 9 0 0 17 0 2 0 869336837 300126208 5685 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3420/statm: 73273 5685 412 364 0 8160 0
[pid=3422] ppid=3420 vsize=1988 CPUtime=47.98 cores=0,2,4,6
/proc/3422/stat : 3422 (clasp-1.3.7-x86) T 3420 3422 3422 0 -1 4202496 486 0 0 0 4797 1 0 0 25 0 1 0 869336838 2035712 230 33554432000 134512640 136139019 4289661744 18446744073709551615 134641544 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/3422/statm: 497 230 184 398 0 97 0
[pid=3420/tid=3432] ppid=3411 vsize=293092 CPUtime=0 cores=0,2,4,6
/proc/3420/task/3432/stat : 3432 (python) S 3411 3411 2236 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869341640 300126208 5685 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606690225 0 0 16781312 33554946 18446604446249446144 0 0 -1 6 0 0 0
[pid=3434] ppid=3411 vsize=293640 CPUtime=0 cores=0,2,4,6
/proc/3434/stat : 3434 (python) S 3411 3411 2236 0 -1 4202560 767 0 0 0 0 0 0 0 15 0 1 0 869341643 300687360 5740 33554432000 4194304 5683644 140736202738608 18446744073709551615 235594886726 0 0 16781312 33554946 4294934787 0 0 17 4 0 0 0
/proc/3434/statm: 73410 5740 349 364 0 8294 0
[pid=3436] ppid=3434 vsize=11600 CPUtime=2.52 cores=0,2,4,6
/proc/3436/stat : 3436 (wbo1.4a) R 3434 3436 3436 0 -1 4202496 2719 0 0 0 249 3 0 0 25 0 1 0 869341643 11878400 2452 33554432000 134512640 135751879 4293673344 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/3436/statm: 2900 2452 143 303 0 2595 0
[pid=3411/tid=3421] ppid=3408 vsize=303884 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3421/stat : 3421 (python) S 3408 3411 2236 0 -1 4202560 22 930 0 0 0 0 0 0 25 0 3 0 869336838 311177216 7268 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259992192 0 0 -1 2 0 0 0
[pid=3411/tid=3435] ppid=3408 vsize=303884 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3435/stat : 3435 (python) S 3408 3411 2236 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 3 0 869341643 311177216 7268 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259992192 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 904204
[startup+102.301 s]
/proc/loadavg: 2.04 2.05 1.46 3/645 3447
/proc/meminfo: memFree=22139368/32950928 swapFree=34366004/67111528
[pid=3411] ppid=3408 vsize=313908 CPUtime=0.48 cores=0,2,4,6
/proc/3411/stat : 3411 (python) S 3408 3411 2236 0 -1 4202496 11407 930 1 0 37 11 0 0 20 0 4 0 869336786 321441792 7221 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3411/statm: 78477 7221 1875 364 0 13358 0
[pid=3420] ppid=3411 vsize=293092 CPUtime=0.2 cores=0,2,4,6
/proc/3420/stat : 3420 (python) S 3411 3411 2236 0 -1 4202560 1136 0 0 0 11 9 0 0 17 0 2 0 869336837 300126208 5685 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3420/statm: 73273 5685 412 364 0 8160 0
[pid=3422] ppid=3420 vsize=1988 CPUtime=47.98 cores=0,2,4,6
/proc/3422/stat : 3422 (clasp-1.3.7-x86) T 3420 3422 3422 0 -1 4202496 486 0 0 0 4797 1 0 0 25 0 1 0 869336838 2035712 230 33554432000 134512640 136139019 4289661744 18446744073709551615 134641544 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/3422/statm: 497 230 184 398 0 97 0
[pid=3420/tid=3432] ppid=3411 vsize=293092 CPUtime=0 cores=0,2,4,6
/proc/3420/task/3432/stat : 3432 (python) S 3411 3411 2236 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869341640 300126208 5685 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606690225 0 0 16781312 33554946 18446604446249446144 0 0 -1 6 0 0 0
[pid=3434] ppid=3411 vsize=293640 CPUtime=0.18 cores=0,2,4,6
/proc/3434/stat : 3434 (python) S 3411 3411 2236 0 -1 4202560 1100 0 0 0 8 10 0 0 16 0 2 0 869341643 300687360 5789 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/3434/statm: 73410 5789 397 364 0 8294 0
[pid=3436] ppid=3434 vsize=117228 CPUtime=47.09 cores=0,2,4,6
/proc/3436/stat : 3436 (wbo1.4a) T 3434 3436 3436 0 -1 4202496 29113 0 0 0 4664 45 0 0 25 0 1 0 869341643 120041472 28846 33554432000 134512640 135751879 4293673344 18446744073709551615 134610323 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/3436/statm: 29307 28846 143 303 0 29002 0
[pid=3434/tid=3442] ppid=3411 vsize=293640 CPUtime=0 cores=0,2,4,6
/proc/3434/task/3442/stat : 3442 (python) S 3411 3411 2236 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869346355 300687360 5789 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606690225 0 0 16781312 33554946 18446604448262230080 0 0 -1 2 0 0 0
[pid=3444] ppid=3411 vsize=303664 CPUtime=0.14 cores=0,2,4,6
/proc/3444/stat : 3444 (python) S 3411 3411 2236 0 -1 4202560 932 0 0 0 12 2 0 0 15 0 1 0 869346358 310951936 5715 33554432000 4194304 5683644 140736202738608 18446744073709551615 235594886726 0 0 16781312 33554946 166636042365960192 0 0 17 4 0 0 0
################
# More data... #
################
[pid=3487/tid=3506] ppid=3484 vsize=8539200 CPUtime=0.32 cores=0,2,4,6
/proc/3487/task/3506/stat : 3506 (java) S 3484 3487 3487 0 -1 4202560 1957 0 0 0 32 0 0 0 15 0 19 0 869356046 8744140800 41144 33554432000 1073741824 1073778376 140734312047824 18446744073709551615 235606682521 0 4 0 16800975 18446604446458104704 0 0 -1 2 0 0 0
[pid=3487/tid=3507] ppid=3484 vsize=8539200 CPUtime=0 cores=0,2,4,6
/proc/3487/task/3507/stat : 3507 (java) S 3484 3487 3487 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869356046 8744140800 41144 33554432000 1073741824 1073778376 140734312047824 18446744073709551615 235606682521 0 4 0 16800975 18446604446458104704 0 0 -1 4 0 0 0
[pid=3487/tid=3509] ppid=3484 vsize=8539200 CPUtime=0 cores=0,2,4,6
/proc/3487/task/3509/stat : 3509 (java) S 3484 3487 3487 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 869356046 8744140800 41144 33554432000 1073741824 1073778376 140734312047824 18446744073709551615 235606683136 0 4 0 16800975 18446604446458104704 0 0 -1 4 0 0 0
[pid=3487/tid=3510] ppid=3484 vsize=8539200 CPUtime=0 cores=0,2,4,6
/proc/3487/task/3510/stat : 3510 (java) S 3484 3487 3487 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869356058 8744140800 41144 33554432000 1073741824 1073778376 140734312047824 18446744073709551615 235606683136 0 4 0 16800975 18446604446458104704 0 0 -1 2 0 0 0
[pid=3411/tid=3421] ppid=3408 vsize=324568 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3421/stat : 3421 (python) S 3408 3411 2236 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 5 0 869336838 332357632 7328 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259992192 0 0 -1 2 0 0 0
[pid=3411/tid=3435] ppid=3408 vsize=324568 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3435/stat : 3435 (python) S 3408 3411 2236 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 5 0 869341643 332357632 7328 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259992192 0 0 -1 4 0 0 0
[pid=3411/tid=3446] ppid=3408 vsize=324568 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3446/stat : 3446 (python) S 3408 3411 2236 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 5 0 869346358 332357632 7328 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259992192 0 0 -1 4 0 0 0
[pid=3411/tid=3486] ppid=3408 vsize=324568 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3486/stat : 3486 (python) S 3408 3411 2236 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 5 0 869356042 332357632 7328 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259992192 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 284.16
Current children cumulated vsize (KiB) 10266428
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+285.601 s]
/proc/loadavg: 2.26 2.13 1.59 5/719 3554
/proc/meminfo: memFree=21453068/32950928 swapFree=34366004/67111528
[pid=3411] ppid=3408 vsize=334824 CPUtime=0.55 cores=0,2,4,6
/proc/3411/stat : 3411 (python) S 3408 3411 2236 0 -1 4202496 13113 930 1 0 44 11 0 0 20 0 6 0 869336786 342859776 7334 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/3411/statm: 83706 7334 1879 364 0 18581 0
[pid=3420] ppid=3411 vsize=293092 CPUtime=0.39 cores=0,2,4,6
/proc/3420/stat : 3420 (python) S 3411 3411 2236 0 -1 4202560 1163 0 0 0 21 18 0 0 15 0 2 0 869336837 300126208 5686 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3420/statm: 73273 5686 413 364 0 8160 0
[pid=3422] ppid=3420 vsize=1988 CPUtime=93.37 cores=0,2,4,6
/proc/3422/stat : 3422 (clasp-1.3.7-x86) T 3420 3422 3422 0 -1 4202496 486 0 0 0 9336 1 0 0 25 0 1 0 869336838 2035712 230 33554432000 134512640 136139019 4289661744 18446744073709551615 134831589 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/3422/statm: 497 230 184 398 0 97 0
[pid=3420/tid=3432] ppid=3411 vsize=293092 CPUtime=0 cores=0,2,4,6
/proc/3420/task/3432/stat : 3432 (python) S 3411 3411 2236 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 869341640 300126208 5686 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606690225 0 0 16781312 33554946 18446604446249446144 0 0 -1 6 0 0 0
[pid=3434] ppid=3411 vsize=293640 CPUtime=0.18 cores=0,2,4,6
/proc/3434/stat : 3434 (python) S 3411 3411 2236 0 -1 4202560 1100 0 0 0 8 10 0 0 16 0 2 0 869341643 300687360 5789 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/3434/statm: 73410 5789 397 364 0 8294 0
[pid=3436] ppid=3434 vsize=117228 CPUtime=47.09 cores=0,2,4,6
/proc/3436/stat : 3436 (wbo1.4a) T 3434 3436 3436 0 -1 4202496 29113 0 0 0 4664 45 0 0 25 0 1 0 869341643 120041472 28846 33554432000 134512640 135751879 4293673344 18446744073709551615 134610323 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/3436/statm: 29307 28846 143 303 0 29002 0
[pid=3434/tid=3442] ppid=3411 vsize=293640 CPUtime=0 cores=0,2,4,6
/proc/3434/task/3442/stat : 3442 (python) S 3411 3411 2236 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869346355 300687360 5789 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606690225 0 0 16781312 33554946 18446604448262230080 0 0 -1 2 0 0 0
[pid=3444] ppid=3411 vsize=303960 CPUtime=0.49 cores=0,2,4,6
/proc/3444/stat : 3444 (python) S 3411 3411 2236 0 -1 4202560 1211 0 0 0 33 16 0 0 16 0 2 0 869346358 311255040 5780 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3444/statm: 75990 5780 399 364 0 10871 0
[pid=3447] ppid=3444 vsize=78428 CPUtime=51.23 cores=0,2,4,6
/proc/3447/stat : 3447 (scip-2.0.1.linu) T 3444 3447 3447 0 -1 4202496 53322 0 0 0 4736 387 0 0 18 0 1 0 869346358 80310272 17188 33554432000 4194304 13684479 140736807109040 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/3447/statm: 19607 17188 812 2317 0 17285 0
[pid=3444/tid=3453] ppid=3411 vsize=303960 CPUtime=0 cores=0,2,4,6
/proc/3444/task/3453/stat : 3453 (python) S 3411 3411 2236 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869351497 311255040 5780 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606690225 0 0 16781312 33554946 18446604453983266688 0 0 -1 6 0 0 0
[pid=3484] ppid=3411 vsize=314324 CPUtime=0.45 cores=0,2,4,6
/proc/3484/stat : 3484 (python) S 3411 3411 2236 0 -1 4202560 1145 0 0 0 25 20 0 0 17 0 2 0 869356041 321867776 5845 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/3484/statm: 78581 5845 397 364 0 13459 0
[pid=3487] ppid=3484 vsize=8539200 CPUtime=92.67 cores=0,2,4,6
/proc/3487/stat : 3487 (java) T 3484 3487 3487 0 -1 4202496 43655 0 1 0 9260 7 0 0 18 0 19 0 869356042 8744140800 41150 33554432000 1073741824 1073778376 140734312047824 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3487/statm: 2134800 41150 2241 9 0 2125541 0
[pid=3487/tid=3488] ppid=3484 vsize=8539200 CPUtime=90.47 cores=0,2,4,6
/proc/3487/task/3488/stat : 3488 (java) T 3484 3487 3487 0 -1 4202560 35355 0 1 0 9043 4 0 0 25 0 19 0 869356042 8744140800 41150 33554432000 1073741824 1073778376 140734312047824 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3487/tid=3489] ppid=3484 vsize=8539200 CPUtime=0.07 cores=0,2,4,6
/proc/3487/task/3489/stat : 3489 (java) T 3484 3487 3487 0 -1 4202560 375 0 0 0 7 0 0 0 15 0 19 0 869356043 8744140800 41150 33554432000 1073741824 1073778376 140734312047824 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3487/tid=3490] ppid=3484 vsize=8539200 CPUtime=0.1 cores=0,2,4,6
/proc/3487/task/3490/stat : 3490 (java) T 3484 3487 3487 0 -1 4202560 236 0 0 0 10 0 0 0 15 0 19 0 869356043 8744140800 41150 33554432000 1073741824 1073778376 140734312047824 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3487/tid=3491] ppid=3484 vsize=8539200 CPUtime=0.06 cores=0,2,4,6
/proc/3487/task/3491/stat : 3491 (java) T 3484 3487 3487 0 -1 4202560 30 0 0 0 6 0 0 0 15 0 19 0 869356043 8744140800 41150 33554432000 1073741824 1073778376 140734312047824 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3487/tid=3493] ppid=3484 vsize=8539200 CPUtime=0.07 cores=0,2,4,6
/proc/3487/task/3493/stat : 3493 (java) T 3484 3487 3487 0 -1 4202560 232 0 0 0 7 0 0 0 15 0 19 0 869356043 8744140800 41150 33554432000 1073741824 1073778376 140734312047824 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3487/tid=3496] ppid=3484 vsize=8539200 CPUtime=0.05 cores=0,2,4,6
/proc/3487/task/3496/stat : 3496 (java) T 3484 3487 3487 0 -1 4202560 69 0 0 0 5 0 0 0 15 0 19 0 869356043 8744140800 41150 33554432000 1073741824 1073778376 140734312047824 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3487/tid=3497] ppid=3484 vsize=8539200 CPUtime=0.07 cores=0,2,4,6
/proc/3487/task/3497/stat : 3497 (java) T 3484 3487 3487 0 -1 4202560 147 0 0 0 7 0 0 0 15 0 19 0 869356043 8744140800 41150 33554432000 1073741824 1073778376 140734312047824 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3487/tid=3498] ppid=3484 vsize=8539200 CPUtime=0.09 cores=0,2,4,6
/proc/3487/task/3498/stat : 3498 (java) T 3484 3487 3487 0 -1 4202560 72 0 0 0 9 0 0 0 15 0 19 0 869356043 8744140800 41150 33554432000 1073741824 1073778376 140734312047824 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3487/tid=3499] ppid=3484 vsize=8539200 CPUtime=0.06 cores=0,2,4,6
/proc/3487/task/3499/stat : 3499 (java) T 3484 3487 3487 0 -1 4202560 9 0 0 0 6 0 0 0 15 0 19 0 869356043 8744140800 41150 33554432000 1073741824 1073778376 140734312047824 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3487/tid=3501] ppid=3484 vsize=8539200 CPUtime=1.02 cores=0,2,4,6
/proc/3487/task/3501/stat : 3501 (java) T 3484 3487 3487 0 -1 4202560 1459 0 0 0 101 1 0 0 15 0 19 0 869356044 8744140800 41150 33554432000 1073741824 1073778376 140734312047824 18446744073709551615 47798280180247 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3487/tid=3502] ppid=3484 vsize=8539200 CPUtime=0 cores=0,2,4,6
/proc/3487/task/3502/stat : 3502 (java) T 3484 3487 3487 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869356044 8744140800 41150 33554432000 1073741824 1073778376 140734312047824 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3487/tid=3503] ppid=3484 vsize=8539200 CPUtime=0 cores=0,2,4,6
/proc/3487/task/3503/stat : 3503 (java) T 3484 3487 3487 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869356044 8744140800 41150 33554432000 1073741824 1073778376 140734312047824 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3487/tid=3504] ppid=3484 vsize=8539200 CPUtime=0 cores=0,2,4,6
/proc/3487/task/3504/stat : 3504 (java) T 3484 3487 3487 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869356046 8744140800 41150 33554432000 1073741824 1073778376 140734312047824 18446744073709551615 235606690225 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3487/tid=3505] ppid=3484 vsize=8539200 CPUtime=0.2 cores=0,2,4,6
/proc/3487/task/3505/stat : 3505 (java) T 3484 3487 3487 0 -1 4202560 2327 0 0 0 20 0 0 0 15 0 19 0 869356046 8744140800 41150 33554432000 1073741824 1073778376 140734312047824 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3487/tid=3506] ppid=3484 vsize=8539200 CPUtime=0.32 cores=0,2,4,6
/proc/3487/task/3506/stat : 3506 (java) T 3484 3487 3487 0 -1 4202560 1957 0 0 0 32 0 0 0 15 0 19 0 869356046 8744140800 41150 33554432000 1073741824 1073778376 140734312047824 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3487/tid=3507] ppid=3484 vsize=8539200 CPUtime=0 cores=0,2,4,6
/proc/3487/task/3507/stat : 3507 (java) T 3484 3487 3487 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869356046 8744140800 41150 33554432000 1073741824 1073778376 140734312047824 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3487/tid=3509] ppid=3484 vsize=8539200 CPUtime=0 cores=0,2,4,6
/proc/3487/task/3509/stat : 3509 (java) T 3484 3487 3487 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 869356046 8744140800 41150 33554432000 1073741824 1073778376 140734312047824 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3487/tid=3510] ppid=3484 vsize=8539200 CPUtime=0 cores=0,2,4,6
/proc/3487/task/3510/stat : 3510 (java) T 3484 3487 3487 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869356058 8744140800 41150 33554432000 1073741824 1073778376 140734312047824 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3484/tid=3533] ppid=3411 vsize=314324 CPUtime=0 cores=0,2,4,6
/proc/3484/task/3533/stat : 3533 (python) S 3411 3411 2236 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869365236 321867776 5845 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606690225 0 0 16781312 33554946 18446604445224774528 0 0 -1 0 0 0 0
[pid=3534] ppid=3411 vsize=324580 CPUtime=0 cores=0,2,4,6
/proc/3534/stat : 3534 (python) S 3411 3411 2236 0 -1 4202560 820 0 0 0 0 0 0 0 15 0 1 0 869365239 332369920 5800 33554432000 4194304 5683644 140736202738608 18446744073709551615 235594886726 0 0 16781312 33554946 4294934786 0 0 17 2 0 0 0
/proc/3534/statm: 81145 5800 349 364 0 16020 0
[pid=3536] ppid=3534 vsize=8545620 CPUtime=2.19 cores=0,2,4,6
/proc/3536/stat : 3536 (java) S 3534 3536 3536 0 -1 4202496 46408 0 1 0 214 5 0 0 20 0 19 0 869365239 8750714880 42468 33554432000 1073741824 1073778376 140737397540272 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3536/statm: 2136405 42468 2233 9 0 2127146 0
[pid=3536/tid=3537] ppid=3534 vsize=8545620 CPUtime=1.09 cores=0,2,4,6
/proc/3536/task/3537/stat : 3537 (java) R 3534 3536 3536 0 -1 4202560 35260 0 1 0 106 3 0 0 18 0 19 0 869365240 8750714880 42468 33554432000 1073741824 1073778376 140737397540272 18446744073709551615 46912505585988 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3536/tid=3538] ppid=3534 vsize=8545620 CPUtime=0 cores=0,2,4,6
/proc/3536/task/3538/stat : 3538 (java) S 3534 3536 3536 0 -1 4202560 194 0 0 0 0 0 0 0 18 0 19 0 869365241 8750714880 42468 33554432000 1073741824 1073778376 140737397540272 18446744073709551615 235606682521 0 4 0 16800975 18446604453922012160 0 0 -1 2 0 0 0
[pid=3536/tid=3539] ppid=3534 vsize=8545620 CPUtime=0 cores=0,2,4,6
/proc/3536/task/3539/stat : 3539 (java) S 3534 3536 3536 0 -1 4202560 215 0 0 0 0 0 0 0 18 0 19 0 869365241 8750714880 42468 33554432000 1073741824 1073778376 140737397540272 18446744073709551615 235606682521 0 4 0 16800975 18446604453922012160 0 0 -1 0 0 0 0
[pid=3536/tid=3540] ppid=3534 vsize=8545620 CPUtime=0 cores=0,2,4,6
/proc/3536/task/3540/stat : 3540 (java) S 3534 3536 3536 0 -1 4202560 71 0 0 0 0 0 0 0 18 0 19 0 869365241 8750714880 42468 33554432000 1073741824 1073778376 140737397540272 18446744073709551615 235606682521 0 4 0 16800975 18446604453922012160 0 0 -1 4 0 0 0
[pid=3536/tid=3541] ppid=3534 vsize=8545620 CPUtime=0 cores=0,2,4,6
/proc/3536/task/3541/stat : 3541 (java) S 3534 3536 3536 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869365241 8750714880 42468 33554432000 1073741824 1073778376 140737397540272 18446744073709551615 235606682521 0 4 0 16800975 18446604453922012160 0 0 -1 2 0 0 0
[pid=3536/tid=3542] ppid=3534 vsize=8545620 CPUtime=0 cores=0,2,4,6
/proc/3536/task/3542/stat : 3542 (java) S 3534 3536 3536 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869365241 8750714880 42468 33554432000 1073741824 1073778376 140737397540272 18446744073709551615 235606682521 0 4 0 16800975 18446604453922012160 0 0 -1 2 0 0 0
[pid=3536/tid=3543] ppid=3534 vsize=8545620 CPUtime=0 cores=0,2,4,6
/proc/3536/task/3543/stat : 3543 (java) S 3534 3536 3536 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869365241 8750714880 42468 33554432000 1073741824 1073778376 140737397540272 18446744073709551615 235606682521 0 4 0 16800975 18446604453922012160 0 0 -1 2 0 0 0
[pid=3536/tid=3544] ppid=3534 vsize=8545620 CPUtime=0 cores=0,2,4,6
/proc/3536/task/3544/stat : 3544 (java) S 3534 3536 3536 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869365241 8750714880 42468 33554432000 1073741824 1073778376 140737397540272 18446744073709551615 235606682521 0 4 0 16800975 18446604453922012160 0 0 -1 2 0 0 0
[pid=3536/tid=3545] ppid=3534 vsize=8545620 CPUtime=0 cores=0,2,4,6
/proc/3536/task/3545/stat : 3545 (java) S 3534 3536 3536 0 -1 4202560 66 0 0 0 0 0 0 0 18 0 19 0 869365241 8750714880 42468 33554432000 1073741824 1073778376 140737397540272 18446744073709551615 235606682521 0 4 0 16800975 18446604453922012160 0 0 -1 2 0 0 0
[pid=3536/tid=3546] ppid=3534 vsize=8545620 CPUtime=0 cores=0,2,4,6
/proc/3536/task/3546/stat : 3546 (java) S 3534 3536 3536 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869365242 8750714880 42468 33554432000 1073741824 1073778376 140737397540272 18446744073709551615 235606683136 0 0 0 16800975 18446604453922012160 0 0 -1 4 0 0 0
[pid=3536/tid=3547] ppid=3534 vsize=8545620 CPUtime=0 cores=0,2,4,6
/proc/3536/task/3547/stat : 3547 (java) S 3534 3536 3536 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869365242 8750714880 42468 33554432000 1073741824 1073778376 140737397540272 18446744073709551615 235606682521 0 4 0 16800975 18446604453922012160 0 0 -1 0 0 0 0
[pid=3536/tid=3548] ppid=3534 vsize=8545620 CPUtime=0 cores=0,2,4,6
/proc/3536/task/3548/stat : 3548 (java) S 3534 3536 3536 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869365242 8750714880 42468 33554432000 1073741824 1073778376 140737397540272 18446744073709551615 235606682521 0 4 0 16800975 18446604453922012160 0 0 -1 2 0 0 0
[pid=3536/tid=3549] ppid=3534 vsize=8545620 CPUtime=0 cores=0,2,4,6
/proc/3536/task/3549/stat : 3549 (java) S 3534 3536 3536 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869365245 8750714880 42468 33554432000 1073741824 1073778376 140737397540272 18446744073709551615 235606690225 0 4 0 16800975 18446604453922012160 0 0 -1 4 0 0 0
[pid=3536/tid=3550] ppid=3534 vsize=8545620 CPUtime=0.57 cores=0,2,4,6
/proc/3536/task/3550/stat : 3550 (java) R 3534 3536 3536 0 -1 4202560 4605 0 0 0 57 0 0 0 16 0 19 0 869365245 8750714880 42468 33554432000 1073741824 1073778376 140737397540272 18446744073709551615 47289325346592 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3536/tid=3551] ppid=3534 vsize=8545620 CPUtime=0.5 cores=0,2,4,6
/proc/3536/task/3551/stat : 3551 (java) S 3534 3536 3536 0 -1 4202560 4666 0 0 0 50 0 0 0 22 0 19 0 869365245 8750714880 42468 33554432000 1073741824 1073778376 140737397540272 18446744073709551615 235606682521 0 4 0 16800975 18446604453922012160 0 0 -1 6 0 0 0
[pid=3536/tid=3552] ppid=3534 vsize=8545620 CPUtime=0 cores=0,2,4,6
/proc/3536/task/3552/stat : 3552 (java) S 3534 3536 3536 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869365245 8750714880 42468 33554432000 1073741824 1073778376 140737397540272 18446744073709551615 235606682521 0 4 0 16800975 18446604453922012160 0 0 -1 4 0 0 0
[pid=3536/tid=3553] ppid=3534 vsize=8545620 CPUtime=0 cores=0,2,4,6
/proc/3536/task/3553/stat : 3553 (java) S 3534 3536 3536 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869365245 8750714880 42468 33554432000 1073741824 1073778376 140737397540272 18446744073709551615 235606683136 0 4 0 16800975 18446604453922012160 0 0 -1 2 0 0 0
[pid=3536/tid=3554] ppid=3534 vsize=8545620 CPUtime=0 cores=0,2,4,6
/proc/3536/task/3554/stat : 3554 (java) S 3534 3536 3536 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869365255 8750714880 42468 33554432000 1073741824 1073778376 140737397540272 18446744073709551615 235606683136 0 4 0 16800975 18446604453922012160 0 0 -1 0 0 0 0
[pid=3411/tid=3421] ppid=3408 vsize=334824 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3421/stat : 3421 (python) S 3408 3411 2236 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 6 0 869336838 342859776 7334 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259992192 0 0 -1 2 0 0 0
[pid=3411/tid=3435] ppid=3408 vsize=334824 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3435/stat : 3435 (python) S 3408 3411 2236 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 6 0 869341643 342859776 7334 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259992192 0 0 -1 4 0 0 0
[pid=3411/tid=3446] ppid=3408 vsize=334824 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3446/stat : 3446 (python) S 3408 3411 2236 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 6 0 869346358 342859776 7334 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259992192 0 0 -1 4 0 0 0
[pid=3411/tid=3486] ppid=3408 vsize=334824 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3486/stat : 3486 (python) S 3408 3411 2236 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 6 0 869356042 342859776 7334 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259992192 0 0 -1 6 0 0 0
[pid=3411/tid=3535] ppid=3408 vsize=334824 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3535/stat : 3535 (python) S 3408 3411 2236 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 6 0 869365239 342859776 7334 33554432000 4194304 5683644 140736202738608 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259992192 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 288.61
Current children cumulated vsize (KiB) 19146884
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3411 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=443932
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=118981
# CPU time returned by wait4() is 0.562913
# while last known CPU time is 288.61
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 285.683
CPU time (s): 288.61
CPU user time (s): 283.41
CPU system time (s): 5.2
CPU usage (%): 101.025
Max. virtual memory (cumulated for all children) (KiB): 19146884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.443932
system time used= 0.118981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14046
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= 1011
involuntary context switches= 19
runsolver used 1.64675 second user time and 3.75943 second system time
The end