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-3482389-1307576824/watcher-3482389-1307576824 -o /tmp/evaluation-result-3482389-1307576824/solver-3482389-1307576824 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482389-1307576824.opb -seed 945828997 -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: 3.64 2.21 1.00 2/517 32403
/proc/meminfo: memFree=24528708/32950928 swapFree=34421304/67111528
[pid=32403] ppid=32401 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/32403/stat : 32403 (python) R 32401 32403 31489 0 -1 4202496 1046 0 0 0 0 0 0 0 20 0 1 0 947913164 16629760 917 33554432000 4194304 5683644 140737215483312 18446744073709551615 251367240660 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/32403/statm: 4060 917 381 364 0 547 0
[startup+0.081263 s]
/proc/loadavg: 3.64 2.21 1.00 2/517 32403
/proc/meminfo: memFree=24528708/32950928 swapFree=34421304/67111528
[pid=32403] ppid=32401 vsize=50012 CPUtime=0.03 cores=0,2,4,6
/proc/32403/stat : 32403 (python) S 32401 32403 31489 0 -1 4202496 1949 0 0 0 3 0 0 0 20 0 1 0 947913164 51212288 1713 33554432000 4194304 5683644 140737215483312 18446744073709551615 251367544832 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/32403/statm: 12503 1713 476 364 0 1203 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 50012
[startup+0.10063 s]
/proc/loadavg: 3.64 2.21 1.00 2/517 32403
/proc/meminfo: memFree=24528708/32950928 swapFree=34421304/67111528
[pid=32403] ppid=32401 vsize=85620 CPUtime=0.05 cores=0,2,4,6
/proc/32403/stat : 32403 (python) S 32401 32403 31489 0 -1 4202496 2664 0 0 0 4 1 0 0 20 0 1 0 947913164 87674880 2382 33554432000 4194304 5683644 140737215483312 18446744073709551615 251367544832 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/32403/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85620
[startup+0.300237 s]
/proc/loadavg: 3.64 2.21 1.00 2/517 32403
/proc/meminfo: memFree=24528708/32950928 swapFree=34421304/67111528
[pid=32403] ppid=32401 vsize=123744 CPUtime=0.16 cores=0,2,4,6
/proc/32403/stat : 32403 (python) S 32401 32403 31489 0 -1 4202496 5357 928 1 0 12 4 0 0 17 0 1 0 947913164 126713856 3745 33554432000 4194304 5683644 140737215483312 18446744073709551615 251367542789 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/32403/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123744
[startup+0.700168 s]
/proc/loadavg: 3.64 2.21 1.00 2/517 32403
/proc/meminfo: memFree=24528708/32950928 swapFree=34421304/67111528
[pid=32403] ppid=32401 vsize=282408 CPUtime=0.39 cores=0,2,4,6
/proc/32403/stat : 32403 (python) S 32401 32403 31489 0 -1 4202496 9192 928 1 0 29 10 0 0 16 0 1 0 947913164 289185792 6938 33554432000 4194304 5683644 140737215483312 18446744073709551615 251367566863 0 0 16781312 2 4294934786 0 0 17 6 0 0 0
/proc/32403/statm: 70602 6938 1777 364 0 5495 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 282408
[startup+1.50107 s]
/proc/loadavg: 3.64 2.21 1.00 3/518 32409
/proc/meminfo: memFree=24498196/32950928 swapFree=34421304/67111528
[pid=32403] ppid=32401 vsize=291432 CPUtime=1.18 cores=0,2,4,6
/proc/32403/stat : 32403 (python) R 32401 32403 31489 0 -1 4202496 14532 1429 1 0 84 11 21 2 18 0 1 0 947913164 298426368 9205 33554432000 4194304 5683644 140737215483312 18446744073709551615 4952221 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/32403/statm: 72858 9205 1817 364 0 7751 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 291432
[startup+3.10077 s]
/proc/loadavg: 3.59 2.22 1.01 5/538 32429
/proc/meminfo: memFree=24467600/32950928 swapFree=34421304/67111528
[pid=32403] ppid=32401 vsize=302344 CPUtime=1.4 cores=0,2,4,6
/proc/32403/stat : 32403 (python) S 32401 32403 31489 0 -1 4202496 15397 1429 1 0 106 11 21 2 21 0 2 0 947913164 309600256 9428 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/32403/statm: 75586 9428 1873 364 0 10473 0
[pid=32410] ppid=32403 vsize=292100 CPUtime=0 cores=0,2,4,6
/proc/32410/stat : 32410 (python) S 32403 32403 31489 0 -1 4202560 727 0 0 0 0 0 0 0 15 0 1 0 947913336 299110400 7869 33554432000 4194304 5683644 140737215483312 18446744073709551615 251367566863 0 0 16781312 33554946 4078968283968045056 0 0 17 0 0 0 0
/proc/32410/statm: 73025 7869 318 364 0 7912 0
[pid=32412] ppid=32410 vsize=8548316 CPUtime=2.72 cores=0,2,4,6
/proc/32412/stat : 32412 (java) S 32410 32412 32412 0 -1 4202496 34971 0 1 0 267 5 0 0 21 0 19 0 947913337 8753475584 29549 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/32412/statm: 2137079 29550 2229 9 0 2127820 0
[pid=32412/tid=32413] ppid=32410 vsize=8548316 CPUtime=1.22 cores=0,2,4,6
/proc/32412/task/32413/stat : 32413 (java) R 32410 32412 32412 0 -1 4202560 22098 0 1 0 119 3 0 0 18 0 19 0 947913338 8753475584 29550 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 46912505908047 0 4 0 16800975 0 0 0 -1 2 0 0 12
[pid=32412/tid=32414] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32414/stat : 32414 (java) S 32410 32412 32412 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947913338 8753475584 29550 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 6 0 0 0
[pid=32412/tid=32415] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32415/stat : 32415 (java) S 32410 32412 32412 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947913338 8753475584 29552 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 6 0 0 0
[pid=32412/tid=32416] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32416/stat : 32416 (java) S 32410 32412 32412 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947913338 8753475584 29553 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 6 0 0 0
[pid=32412/tid=32417] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32417/stat : 32417 (java) S 32410 32412 32412 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947913338 8753475584 29569 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 6 0 0 0
[pid=32412/tid=32418] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32418/stat : 32418 (java) S 32410 32412 32412 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947913338 8753475584 29584 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 6 0 0 0
[pid=32412/tid=32419] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32419/stat : 32419 (java) S 32410 32412 32412 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947913338 8753475584 29589 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 6 0 0 0
[pid=32412/tid=32420] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32420/stat : 32420 (java) S 32410 32412 32412 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947913338 8753475584 29589 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 6 0 0 0
[pid=32412/tid=32421] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32421/stat : 32421 (java) S 32410 32412 32412 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947913338 8753475584 29589 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 0 0 0 0
[pid=32412/tid=32422] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32422/stat : 32422 (java) S 32410 32412 32412 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 947913339 8753475584 29589 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379363328 0 0 0 16800975 18446604447743654976 0 0 -1 6 0 0 0
[pid=32412/tid=32423] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32423/stat : 32423 (java) S 32410 32412 32412 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947913340 8753475584 29589 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 6 0 0 0
[pid=32412/tid=32424] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32424/stat : 32424 (java) S 32410 32412 32412 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947913340 8753475584 29589 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 6 0 0 0
[pid=32412/tid=32425] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32425/stat : 32425 (java) S 32410 32412 32412 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947913342 8753475584 29589 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379370417 0 4 0 16800975 18446604447743654976 0 0 -1 6 0 0 0
[pid=32412/tid=32426] ppid=32410 vsize=8548316 CPUtime=0.76 cores=0,2,4,6
/proc/32412/task/32426/stat : 32426 (java) S 32410 32412 32412 0 -1 4202560 6523 0 0 0 75 1 0 0 16 0 19 0 947913342 8753475584 29589 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 6 0 0 0
[pid=32412/tid=32427] ppid=32410 vsize=8548316 CPUtime=0.71 cores=0,2,4,6
/proc/32412/task/32427/stat : 32427 (java) S 32410 32412 32412 0 -1 4202560 4963 0 0 0 71 0 0 0 17 0 19 0 947913342 8753475584 29589 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 0 0 0 0
[pid=32412/tid=32428] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32428/stat : 32428 (java) S 32410 32412 32412 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947913342 8753475584 29589 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 6 0 0 0
[pid=32412/tid=32429] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32429/stat : 32429 (java) S 32410 32412 32412 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947913342 8753475584 29589 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379363328 0 4 0 16800975 18446604447743654976 0 0 -1 4 0 0 0
[pid=32403/tid=32411] ppid=32401 vsize=302344 CPUtime=0.23 cores=0,2,4,6
/proc/32403/task/32411/stat : 32411 (python) S 32401 32403 31489 0 -1 4202560 25 1429 0 0 0 0 21 2 21 0 2 0 947913337 309600256 9428 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554434 18446604446450323648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 9142760
[startup+6.30117 s]
/proc/loadavg: 3.59 2.22 1.01 3/539 32430
/proc/meminfo: memFree=24306368/32950928 swapFree=34421304/67111528
[pid=32403] ppid=32401 vsize=302344 CPUtime=1.4 cores=0,2,4,6
/proc/32403/stat : 32403 (python) S 32401 32403 31489 0 -1 4202496 15397 1429 1 0 106 11 21 2 21 0 2 0 947913164 309600256 9428 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/32403/statm: 75586 9428 1873 364 0 10473 0
[pid=32410] ppid=32403 vsize=292100 CPUtime=0.02 cores=0,2,4,6
/proc/32410/stat : 32410 (python) S 32403 32403 31489 0 -1 4202560 866 0 0 0 1 1 0 0 15 0 1 0 947913336 299110400 7893 33554432000 4194304 5683644 140737215483312 18446744073709551615 251367566863 0 0 16781312 33554946 10494931090911756546 0 0 17 0 0 0 0
/proc/32410/statm: 73025 7893 342 364 0 7912 0
[pid=32412] ppid=32410 vsize=8548316 CPUtime=6.28 cores=0,2,4,6
/proc/32412/stat : 32412 (java) S 32410 32412 32412 0 -1 4202496 61494 0 1 0 618 10 0 0 21 0 19 0 947913337 8753475584 55174 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/32412/statm: 2137079 55174 2243 9 0 2127820 0
[pid=32412/tid=32413] ppid=32410 vsize=8548316 CPUtime=4.36 cores=0,2,4,6
/proc/32412/task/32413/stat : 32413 (java) R 32410 32412 32412 0 -1 4202560 35310 0 1 0 431 5 0 0 21 0 19 0 947913338 8753475584 55174 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 46912506041317 0 4 0 16800975 0 0 0 -1 2 0 0 12
[pid=32412/tid=32414] ppid=32410 vsize=8548316 CPUtime=0.02 cores=0,2,4,6
/proc/32412/task/32414/stat : 32414 (java) S 32410 32412 32412 0 -1 4202560 2068 0 0 0 2 0 0 0 18 0 19 0 947913338 8753475584 55174 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 6 0 0 0
[pid=32412/tid=32415] ppid=32410 vsize=8548316 CPUtime=0.02 cores=0,2,4,6
/proc/32412/task/32415/stat : 32415 (java) S 32410 32412 32412 0 -1 4202560 1928 0 0 0 2 0 0 0 18 0 19 0 947913338 8753475584 55174 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 4 0 0 0
[pid=32412/tid=32416] ppid=32410 vsize=8548316 CPUtime=0.02 cores=0,2,4,6
/proc/32412/task/32416/stat : 32416 (java) S 32410 32412 32412 0 -1 4202560 1823 0 0 0 2 0 0 0 18 0 19 0 947913338 8753475584 55174 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 6 0 0 0
[pid=32412/tid=32417] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32417/stat : 32417 (java) S 32410 32412 32412 0 -1 4202560 399 0 0 0 0 0 0 0 18 0 19 0 947913338 8753475584 55174 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 0 0 0 0
[pid=32412/tid=32418] ppid=32410 vsize=8548316 CPUtime=0.01 cores=0,2,4,6
/proc/32412/task/32418/stat : 32418 (java) S 32410 32412 32412 0 -1 4202560 1885 0 0 0 1 0 0 0 16 0 19 0 947913338 8753475584 55174 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 6 0 0 0
[pid=32412/tid=32419] ppid=32410 vsize=8548316 CPUtime=0.01 cores=0,2,4,6
/proc/32412/task/32419/stat : 32419 (java) S 32410 32412 32412 0 -1 4202560 2335 0 0 0 1 0 0 0 16 0 19 0 947913338 8753475584 55174 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 2 0 0 0
[pid=32412/tid=32420] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32420/stat : 32420 (java) S 32410 32412 32412 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947913338 8753475584 55174 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 6 0 0 0
[pid=32412/tid=32421] ppid=32410 vsize=8548316 CPUtime=0.01 cores=0,2,4,6
/proc/32412/task/32421/stat : 32421 (java) S 32410 32412 32412 0 -1 4202560 1503 0 0 0 1 0 0 0 16 0 19 0 947913338 8753475584 55174 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 0 0 0 0
[pid=32412/tid=32422] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32422/stat : 32422 (java) S 32410 32412 32412 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 947913339 8753475584 55174 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379363328 0 0 0 16800975 18446604447743654976 0 0 -1 6 0 0 0
[pid=32412/tid=32423] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32423/stat : 32423 (java) S 32410 32412 32412 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947913340 8753475584 55174 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 6 0 0 0
[pid=32412/tid=32424] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32424/stat : 32424 (java) S 32410 32412 32412 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 947913340 8753475584 55174 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 6 0 0 4
[pid=32412/tid=32425] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32425/stat : 32425 (java) S 32410 32412 32412 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947913342 8753475584 55174 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379370417 0 4 0 16800975 18446604447743654976 0 0 -1 6 0 0 0
[pid=32412/tid=32426] ppid=32410 vsize=8548316 CPUtime=0.9 cores=0,2,4,6
/proc/32412/task/32426/stat : 32426 (java) S 32410 32412 32412 0 -1 4202560 7816 0 0 0 89 1 0 0 15 0 19 0 947913342 8753475584 55174 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 6 0 0 0
[pid=32412/tid=32427] ppid=32410 vsize=8548316 CPUtime=0.84 cores=0,2,4,6
/proc/32412/task/32427/stat : 32427 (java) R 32410 32412 32412 0 -1 4202560 4972 0 0 0 84 0 0 0 15 0 19 0 947913342 8753475584 55174 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 46971850133915 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32412/tid=32428] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32428/stat : 32428 (java) S 32410 32412 32412 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947913342 8753475584 55174 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 6 0 0 0
[pid=32412/tid=32429] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32429/stat : 32429 (java) S 32410 32412 32412 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947913342 8753475584 55174 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379363328 0 4 0 16800975 18446604447743654976 0 0 -1 4 0 0 0
[pid=32412/tid=32430] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32430/stat : 32430 (java) S 32410 32412 32412 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947913416 8753475584 55174 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379363328 0 4 0 16800975 18446604447743654976 0 0 -1 4 0 0 0
[pid=32403/tid=32411] ppid=32401 vsize=302344 CPUtime=0.23 cores=0,2,4,6
/proc/32403/task/32411/stat : 32411 (python) S 32401 32403 31489 0 -1 4202560 25 1429 0 0 0 0 21 2 21 0 2 0 947913337 309600256 9428 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554434 18446604446450323648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.7
Current children cumulated vsize (KiB) 9142760
[startup+12.701 s]
/proc/loadavg: 3.35 2.22 1.02 3/539 32430
/proc/meminfo: memFree=24120448/32950928 swapFree=34421304/67111528
[pid=32403] ppid=32401 vsize=302344 CPUtime=1.4 cores=0,2,4,6
/proc/32403/stat : 32403 (python) S 32401 32403 31489 0 -1 4202496 15397 1429 1 0 106 11 21 2 21 0 2 0 947913164 309600256 9428 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/32403/statm: 75586 9428 1873 364 0 10473 0
[pid=32410] ppid=32403 vsize=292100 CPUtime=0.04 cores=0,2,4,6
/proc/32410/stat : 32410 (python) S 32403 32403 31489 0 -1 4202560 971 0 0 0 2 2 0 0 15 0 1 0 947913336 299110400 7898 33554432000 4194304 5683644 140737215483312 18446744073709551615 251367566863 0 0 16781312 33554946 72114768642583356 0 0 17 0 0 0 0
/proc/32410/statm: 73025 7898 347 364 0 7912 0
[pid=32412] ppid=32410 vsize=8548316 CPUtime=12.89 cores=0,2,4,6
/proc/32412/stat : 32412 (java) S 32410 32412 32412 0 -1 4202496 99368 0 1 0 1275 14 0 0 21 0 19 0 947913337 8753475584 92840 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/32412/statm: 2137079 92840 2244 9 0 2127820 0
[pid=32412/tid=32413] ppid=32410 vsize=8548316 CPUtime=10.74 cores=0,2,4,6
/proc/32412/task/32413/stat : 32413 (java) R 32410 32412 32412 0 -1 4202560 62696 0 1 0 1066 8 0 0 25 0 19 0 947913338 8753475584 92840 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 46912506041335 0 4 0 16800975 0 0 0 -1 2 0 0 12
[pid=32412/tid=32414] ppid=32410 vsize=8548316 CPUtime=0.02 cores=0,2,4,6
/proc/32412/task/32414/stat : 32414 (java) S 32410 32412 32412 0 -1 4202560 2068 0 0 0 2 0 0 0 15 0 19 0 947913338 8753475584 92840 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 6 0 0 0
[pid=32412/tid=32415] ppid=32410 vsize=8548316 CPUtime=0.04 cores=0,2,4,6
/proc/32412/task/32415/stat : 32415 (java) S 32410 32412 32412 0 -1 4202560 5391 0 0 0 3 1 0 0 18 0 19 0 947913338 8753475584 92840 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 4 0 0 0
[pid=32412/tid=32416] ppid=32410 vsize=8548316 CPUtime=0.04 cores=0,2,4,6
/proc/32412/task/32416/stat : 32416 (java) S 32410 32412 32412 0 -1 4202560 3420 0 0 0 4 0 0 0 16 0 19 0 947913338 8753475584 92840 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 6 0 0 0
[pid=32412/tid=32417] ppid=32410 vsize=8548316 CPUtime=0.02 cores=0,2,4,6
/proc/32412/task/32417/stat : 32417 (java) S 32410 32412 32412 0 -1 4202560 3059 0 0 0 2 0 0 0 16 0 19 0 947913338 8753475584 92840 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446604447743654976 0 0 -1 0 0 0 0
[pid=32412/tid=32418] ppid=32410 vsize=8548316 CPUtime=0.01 cores=0,2,4,6
################
# More data... #
################
/proc/32739/stat : 32739 (minion) T 32737 32739 32739 0 -1 4202496 66067 0 0 0 4884 7 0 0 25 0 1 0 948079682 283725824 61869 33554432000 134512640 165565024 4292941504 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 2 0 0 0
/proc/32739/statm: 69269 61869 359 7582 0 61684 0
[pid=32737/tid=32743] ppid=32403 vsize=363892 CPUtime=0 cores=0,2,4,6
/proc/32737/task/32743/stat : 32743 (python) S 32403 32403 31489 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 948084573 372625408 7976 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554946 18446604442228352960 0 0 -1 6 0 0 0
[pid=32403/tid=32411] ppid=32401 vsize=374136 CPUtime=0.23 cores=0,2,4,6
/proc/32403/task/32411/stat : 32411 (python) S 32401 32403 31489 0 -1 4202560 25 1429 0 0 0 0 21 2 21 0 9 0 947913337 383115264 9471 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554434 18446604446450323648 0 0 -1 0 0 0 0
[pid=32403/tid=32435] ppid=32401 vsize=374136 CPUtime=0.23 cores=0,2,4,6
/proc/32403/task/32435/stat : 32435 (python) S 32401 32403 31489 0 -1 4202560 47 1429 0 0 0 0 21 2 18 0 9 0 947917734 383115264 9471 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554434 18446604446450323648 0 0 -1 0 0 0 0
[pid=32403/tid=32441] ppid=32401 vsize=374136 CPUtime=0.23 cores=0,2,4,6
/proc/32403/task/32441/stat : 32441 (python) S 32401 32403 31489 0 -1 4202560 39 1429 0 0 0 0 21 2 18 0 9 0 947922564 383115264 9471 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554434 18446604446450323648 0 0 -1 0 0 0 0
[pid=32403/tid=32446] ppid=32401 vsize=374136 CPUtime=0.23 cores=0,2,4,6
/proc/32403/task/32446/stat : 32446 (python) S 32401 32403 31489 0 -1 4202560 31 1429 0 0 0 0 21 2 18 0 9 0 947927388 383115264 9471 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554434 18446604446450323648 0 0 -1 0 0 0 0
[pid=32403/tid=32462] ppid=32401 vsize=374136 CPUtime=0.23 cores=0,2,4,6
/proc/32403/task/32462/stat : 32462 (python) S 32401 32403 31489 0 -1 4202560 30 1429 0 0 0 0 21 2 20 0 9 0 947959485 383115264 9471 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554434 18446604446450323648 0 0 -1 0 0 0 0
[pid=32403/tid=32511] ppid=32401 vsize=374136 CPUtime=0.23 cores=0,2,4,6
/proc/32403/task/32511/stat : 32511 (python) S 32401 32403 31489 0 -1 4202560 30 1429 0 0 0 0 21 2 20 0 9 0 948010127 383115264 9471 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554434 18446604446450323648 0 0 -1 0 0 0 0
[pid=32403/tid=32711] ppid=32401 vsize=374136 CPUtime=0.23 cores=0,2,4,6
/proc/32403/task/32711/stat : 32711 (python) S 32401 32403 31489 0 -1 4202560 31 1429 0 0 0 0 21 2 20 0 9 0 948070004 383115264 9471 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554434 18446604446450323648 0 0 -1 0 0 0 0
[pid=32403/tid=32738] ppid=32401 vsize=374136 CPUtime=0.23 cores=0,2,4,6
/proc/32403/task/32738/stat : 32738 (python) S 32401 32403 31489 0 -1 4202560 27 1429 0 0 0 0 21 2 24 0 9 0 948079682 383115264 9471 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554434 18446604446450323648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1791.7
Current children cumulated vsize (KiB) 13101776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790.6 s]
/proc/loadavg: 2.09 2.07 1.88 3/615 32745
/proc/meminfo: memFree=20589336/32950928 swapFree=34421304/67111528
[pid=32403] ppid=32401 vsize=374136 CPUtime=4.02 cores=0,2,4,6
/proc/32403/stat : 32403 (python) S 32401 32403 31489 0 -1 4202496 22864 1429 1 0 364 15 21 2 18 0 9 0 947913164 383115264 9471 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/32403/statm: 93534 9471 1888 364 0 28400 0
[pid=32410] ppid=32403 vsize=302344 CPUtime=0.18 cores=0,2,4,6
/proc/32410/stat : 32410 (python) S 32403 32403 31489 0 -1 4202560 1159 0 0 0 9 9 0 0 16 0 2 0 947913336 309600256 7966 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32410/statm: 75586 7966 410 364 0 10473 0
[pid=32412] ppid=32410 vsize=8548316 CPUtime=46.14 cores=0,2,4,6
/proc/32412/stat : 32412 (java) T 32410 32412 32412 0 -1 4202496 140763 0 1 0 4590 24 0 0 18 0 19 0 947913337 8753475584 132794 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32412/statm: 2137079 132794 2244 9 0 2127820 0
[pid=32412/tid=32413] ppid=32410 vsize=8548316 CPUtime=43.57 cores=0,2,4,6
/proc/32412/task/32413/stat : 32413 (java) T 32410 32412 32412 0 -1 4202560 62703 0 1 0 4349 8 0 0 25 0 19 0 947913338 8753475584 132794 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 46912506097089 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 12
[pid=32412/tid=32414] ppid=32410 vsize=8548316 CPUtime=0.07 cores=0,2,4,6
/proc/32412/task/32414/stat : 32414 (java) T 32410 32412 32412 0 -1 4202560 7459 0 0 0 6 1 0 0 15 0 19 0 947913338 8753475584 132794 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=32412/tid=32415] ppid=32410 vsize=8548316 CPUtime=0.11 cores=0,2,4,6
/proc/32412/task/32415/stat : 32415 (java) T 32410 32412 32412 0 -1 4202560 11665 0 0 0 9 2 0 0 15 0 19 0 947913338 8753475584 132794 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32412/tid=32416] ppid=32410 vsize=8548316 CPUtime=0.09 cores=0,2,4,6
/proc/32412/task/32416/stat : 32416 (java) T 32410 32412 32412 0 -1 4202560 7469 0 0 0 8 1 0 0 15 0 19 0 947913338 8753475584 132794 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32412/tid=32417] ppid=32410 vsize=8548316 CPUtime=0.07 cores=0,2,4,6
/proc/32412/task/32417/stat : 32417 (java) T 32410 32412 32412 0 -1 4202560 9501 0 0 0 6 1 0 0 15 0 19 0 947913338 8753475584 132794 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32412/tid=32418] ppid=32410 vsize=8548316 CPUtime=0.06 cores=0,2,4,6
/proc/32412/task/32418/stat : 32418 (java) T 32410 32412 32412 0 -1 4202560 6146 0 0 0 5 1 0 0 15 0 19 0 947913338 8753475584 132794 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=32412/tid=32419] ppid=32410 vsize=8548316 CPUtime=0.08 cores=0,2,4,6
/proc/32412/task/32419/stat : 32419 (java) T 32410 32412 32412 0 -1 4202560 12044 0 0 0 6 2 0 0 15 0 19 0 947913338 8753475584 132794 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=32412/tid=32420] ppid=32410 vsize=8548316 CPUtime=0.03 cores=0,2,4,6
/proc/32412/task/32420/stat : 32420 (java) T 32410 32412 32412 0 -1 4202560 3607 0 0 0 3 0 0 0 15 0 19 0 947913338 8753475584 132794 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=32412/tid=32421] ppid=32410 vsize=8548316 CPUtime=0.05 cores=0,2,4,6
/proc/32412/task/32421/stat : 32421 (java) T 32410 32412 32412 0 -1 4202560 5860 0 0 0 4 1 0 0 15 0 19 0 947913338 8753475584 132794 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=32412/tid=32422] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32422/stat : 32422 (java) T 32410 32412 32412 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 19 0 947913339 8753475584 132794 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379363328 0 0 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32412/tid=32423] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32423/stat : 32423 (java) T 32410 32412 32412 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947913340 8753475584 132794 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32412/tid=32424] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32424/stat : 32424 (java) T 32410 32412 32412 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 947913340 8753475584 132794 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 4
[pid=32412/tid=32425] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32425/stat : 32425 (java) T 32410 32412 32412 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947913342 8753475584 132794 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379370417 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32412/tid=32426] ppid=32410 vsize=8548316 CPUtime=0.96 cores=0,2,4,6
/proc/32412/task/32426/stat : 32426 (java) T 32410 32412 32412 0 -1 4202560 7826 0 0 0 95 1 0 0 15 0 19 0 947913342 8753475584 132794 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32412/tid=32427] ppid=32410 vsize=8548316 CPUtime=0.95 cores=0,2,4,6
/proc/32412/task/32427/stat : 32427 (java) T 32410 32412 32412 0 -1 4202560 4983 0 0 0 95 0 0 0 15 0 19 0 947913342 8753475584 132794 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=32412/tid=32428] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32428/stat : 32428 (java) T 32410 32412 32412 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947913342 8753475584 132794 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32412/tid=32429] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32429/stat : 32429 (java) T 32410 32412 32412 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947913342 8753475584 132794 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379363328 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32412/tid=32430] ppid=32410 vsize=8548316 CPUtime=0 cores=0,2,4,6
/proc/32412/task/32430/stat : 32430 (java) T 32410 32412 32412 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947913416 8753475584 132794 33554432000 1073741824 1073778376 140736545018416 18446744073709551615 251379363328 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32410/tid=32433] ppid=32403 vsize=302344 CPUtime=0 cores=0,2,4,6
/proc/32410/task/32433/stat : 32433 (python) S 32403 32403 31489 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 947917731 309600256 7966 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554946 18446604444373227392 0 0 -1 6 0 0 0
[pid=32434] ppid=32403 vsize=302356 CPUtime=4.55 cores=0,2,4,6
/proc/32434/stat : 32434 (python) S 32403 32403 31489 0 -1 4202560 1224 0 0 0 234 221 0 0 15 0 2 0 947917734 309612544 7946 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32434/statm: 75589 7946 390 364 0 10473 0
[pid=32436] ppid=32434 vsize=294536 CPUtime=1055.4 cores=0,2,4,6
/proc/32436/stat : 32436 (scip-2.0.1.linu) T 32434 32436 32436 0 -1 4202496 78438 0 0 0 105343 197 0 0 25 0 1 0 947917735 301604864 71042 33554432000 4194304 13684479 140736825614272 18446744073709551615 7268038 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/32436/statm: 73634 71042 851 2317 0 71312 0
[pid=32434/tid=32439] ppid=32403 vsize=302356 CPUtime=0 cores=0,2,4,6
/proc/32434/task/32439/stat : 32439 (python) S 32403 32403 31489 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 947922561 309612544 7946 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554946 18446604441285568448 0 0 -1 0 0 0 0
[pid=32440] ppid=32403 vsize=312612 CPUtime=1.33 cores=0,2,4,6
/proc/32440/stat : 32440 (python) S 32403 32403 31489 0 -1 4202560 1199 0 0 0 66 67 0 0 18 0 2 0 947922564 320114688 7950 33554432000 4194304 5683644 140737215483312 18446744073709551615 251367566918 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32440/statm: 78153 7950 390 364 0 13034 0
[pid=32442] ppid=32440 vsize=83960 CPUtime=307.53 cores=0,2,4,6
/proc/32442/stat : 32442 (clasp-1.3.7-x86) R 32440 32442 32442 0 -1 4202496 21250 0 0 0 30751 2 0 0 25 0 1 0 947922564 85975040 20380 33554432000 134512640 136139019 4293526480 18446744073709551615 134883815 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/32442/statm: 20990 20380 183 398 0 20590 0
[pid=32440/tid=32444] ppid=32403 vsize=312612 CPUtime=0 cores=0,2,4,6
/proc/32440/task/32444/stat : 32444 (python) S 32403 32403 31489 0 -1 4202560 52 0 0 0 0 0 0 0 18 0 2 0 947927385 320114688 7950 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554946 18446604441941901568 0 0 -1 2 0 0 0
[pid=32445] ppid=32403 vsize=322868 CPUtime=0.6 cores=0,2,4,6
/proc/32445/stat : 32445 (python) S 32403 32403 31489 0 -1 4202560 1195 0 0 0 28 32 0 0 16 0 2 0 947927388 330616832 7954 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32445/statm: 80717 7954 390 364 0 15595 0
[pid=32447] ppid=32445 vsize=254412 CPUtime=137.44 cores=0,2,4,6
/proc/32447/stat : 32447 (scip-2.0.1.linu) T 32445 32447 32447 0 -1 4202496 89862 0 0 0 13709 35 0 0 25 0 1 0 947927388 260517888 58716 33554432000 4194304 15243407 140734159133616 18446744073709551615 4900285 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/32447/statm: 63603 58716 950 2698 0 60898 0
[pid=32445/tid=32452] ppid=32403 vsize=322868 CPUtime=0 cores=0,2,4,6
/proc/32445/task/32452/stat : 32452 (python) S 32403 32403 31489 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 2 0 947932265 330616832 7954 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554946 18446604453825434048 0 0 -1 4 0 0 0
[pid=32461] ppid=32403 vsize=333124 CPUtime=0.41 cores=0,2,4,6
/proc/32461/stat : 32461 (python) S 32403 32403 31489 0 -1 4202560 1189 0 0 0 20 21 0 0 17 0 2 0 947959485 341118976 7958 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32461/statm: 83281 7958 390 364 0 18156 0
[pid=32463] ppid=32461 vsize=439412 CPUtime=94.95 cores=0,2,4,6
/proc/32463/stat : 32463 (bsolo_pb10) T 32461 32463 32463 0 -1 4202496 108597 0 0 0 9468 27 0 0 25 0 1 0 947959485 449957888 107363 33554432000 134512640 137138936 4287876880 18446744073709551615 134542516 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/32463/statm: 109853 107363 190 642 0 109209 0
[pid=32461/tid=32467] ppid=32403 vsize=333124 CPUtime=0 cores=0,2,4,6
/proc/32461/task/32467/stat : 32467 (python) S 32403 32403 31489 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 947968981 341118976 7958 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554946 18446604445359745856 0 0 -1 6 0 0 0
[pid=32510] ppid=32403 vsize=343380 CPUtime=0.2 cores=0,2,4,6
/proc/32510/stat : 32510 (python) S 32403 32403 31489 0 -1 4202560 1162 0 0 0 11 9 0 0 16 0 2 0 948010127 351621120 7962 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/32510/statm: 85845 7962 390 364 0 20717 0
[pid=32512] ppid=32510 vsize=74708 CPUtime=48.21 cores=0,2,4,6
/proc/32512/stat : 32512 (bsolo_pb10) T 32510 32512 32512 0 -1 4202496 17419 0 0 0 4811 10 0 0 25 0 1 0 948010127 76500992 16188 33554432000 134512640 137138936 4289815424 18446744073709551615 134542295 0 0 16781312 16384 18446744071562691360 0 0 17 6 0 0 0
/proc/32512/statm: 18677 16188 192 642 0 18033 0
[pid=32510/tid=32514] ppid=32403 vsize=343380 CPUtime=0 cores=0,2,4,6
/proc/32510/task/32514/stat : 32514 (python) S 32403 32403 31489 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 2 0 948014954 351621120 7962 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554946 18446604444373228288 0 0 -1 2 0 0 0
[pid=32710] ppid=32403 vsize=353636 CPUtime=0.22 cores=0,2,4,6
/proc/32710/stat : 32710 (python) S 32403 32403 31489 0 -1 4202560 1172 0 0 0 10 12 0 0 17 0 2 0 948070004 362123264 7966 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32710/statm: 88409 7966 390 364 0 23278 0
[pid=32712] ppid=32710 vsize=121104 CPUtime=49.76 cores=0,2,4,6
/proc/32712/stat : 32712 (wbo1.4a) T 32710 32712 32712 0 -1 4202496 30378 0 0 0 4961 15 0 0 25 0 1 0 948070004 124010496 29740 33554432000 134512640 135751879 4288459504 18446744073709551615 134604738 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/32712/statm: 30276 29740 143 303 0 29971 0
[pid=32710/tid=32714] ppid=32403 vsize=353636 CPUtime=0 cores=0,2,4,6
/proc/32710/task/32714/stat : 32714 (python) S 32403 32403 31489 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 948074981 362123264 7966 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554946 18446604441941902464 0 0 -1 6 0 0 0
[pid=32737] ppid=32403 vsize=363892 CPUtime=0.21 cores=0,2,4,6
/proc/32737/stat : 32737 (python) S 32403 32403 31489 0 -1 4202560 1224 0 0 0 11 10 0 0 19 0 2 0 948079681 372625408 7976 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32737/statm: 90973 7976 396 364 0 25839 0
[pid=32739] ppid=32737 vsize=277076 CPUtime=48.91 cores=0,2,4,6
/proc/32739/stat : 32739 (minion) T 32737 32739 32739 0 -1 4202496 66067 0 0 0 4884 7 0 0 25 0 1 0 948079682 283725824 61869 33554432000 134512640 165565024 4292941504 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 2 0 0 0
/proc/32739/statm: 69269 61869 359 7582 0 61684 0
[pid=32737/tid=32743] ppid=32403 vsize=363892 CPUtime=0 cores=0,2,4,6
/proc/32737/task/32743/stat : 32743 (python) S 32403 32403 31489 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 948084573 372625408 7976 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554946 18446604442228352960 0 0 -1 6 0 0 0
[pid=32403/tid=32411] ppid=32401 vsize=374136 CPUtime=0.23 cores=0,2,4,6
/proc/32403/task/32411/stat : 32411 (python) S 32401 32403 31489 0 -1 4202560 25 1429 0 0 0 0 21 2 21 0 9 0 947913337 383115264 9471 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554434 18446604446450323648 0 0 -1 0 0 0 0
[pid=32403/tid=32435] ppid=32401 vsize=374136 CPUtime=0.23 cores=0,2,4,6
/proc/32403/task/32435/stat : 32435 (python) S 32401 32403 31489 0 -1 4202560 47 1429 0 0 0 0 21 2 18 0 9 0 947917734 383115264 9471 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554434 18446604446450323648 0 0 -1 0 0 0 0
[pid=32403/tid=32441] ppid=32401 vsize=374136 CPUtime=0.23 cores=0,2,4,6
/proc/32403/task/32441/stat : 32441 (python) S 32401 32403 31489 0 -1 4202560 39 1429 0 0 0 0 21 2 18 0 9 0 947922564 383115264 9471 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554434 18446604446450323648 0 0 -1 0 0 0 0
[pid=32403/tid=32446] ppid=32401 vsize=374136 CPUtime=0.23 cores=0,2,4,6
/proc/32403/task/32446/stat : 32446 (python) S 32401 32403 31489 0 -1 4202560 31 1429 0 0 0 0 21 2 18 0 9 0 947927388 383115264 9471 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554434 18446604446450323648 0 0 -1 0 0 0 0
[pid=32403/tid=32462] ppid=32401 vsize=374136 CPUtime=0.23 cores=0,2,4,6
/proc/32403/task/32462/stat : 32462 (python) S 32401 32403 31489 0 -1 4202560 30 1429 0 0 0 0 21 2 20 0 9 0 947959485 383115264 9471 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554434 18446604446450323648 0 0 -1 0 0 0 0
[pid=32403/tid=32511] ppid=32401 vsize=374136 CPUtime=0.23 cores=0,2,4,6
/proc/32403/task/32511/stat : 32511 (python) S 32401 32403 31489 0 -1 4202560 30 1429 0 0 0 0 21 2 20 0 9 0 948010127 383115264 9471 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554434 18446604446450323648 0 0 -1 0 0 0 0
[pid=32403/tid=32711] ppid=32401 vsize=374136 CPUtime=0.23 cores=0,2,4,6
/proc/32403/task/32711/stat : 32711 (python) S 32401 32403 31489 0 -1 4202560 31 1429 0 0 0 0 21 2 20 0 9 0 948070004 383115264 9471 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554434 18446604446450323648 0 0 -1 0 0 0 0
[pid=32403/tid=32738] ppid=32401 vsize=374136 CPUtime=0.23 cores=0,2,4,6
/proc/32403/task/32738/stat : 32738 (python) S 32401 32403 31489 0 -1 4202560 27 1429 0 0 0 0 21 2 24 0 9 0 948079682 383115264 9471 33554432000 4194304 5683644 140737215483312 18446744073709551615 251379370417 0 0 16781312 33554434 18446604446450323648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13101872
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 32403 and gives
# childrusage.ru_utime.tv_sec=363
# childrusage.ru_utime.tv_usec=472743
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=178364
# CPU time returned by wait4() is 367.651
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1790.68
CPU time (s): 1800.06
CPU user time (s): 1792.91
CPU system time (s): 7.15
CPU usage (%): 100.524
Max. virtual memory (cumulated for all children) (KiB): 13101904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 363.473
system time used= 4.17836
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74230
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= 18210
involuntary context switches= 1060
runsolver used 15.1097 second user time and 31.6172 second system time
The end