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-3481826-1307576911/watcher-3481826-1307576911 -o /tmp/evaluation-result-3481826-1307576911/solver-3481826-1307576911 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481826-1307576911.opb -seed 852816353 -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.46 1.81 0.92 2/501 11529
/proc/meminfo: memFree=28406228/32950904 swapFree=56615552/67111528
[pid=11529] ppid=11527 vsize=15760 CPUtime=0 cores=0,2,4,6
/proc/11529/stat : 11529 (python) S 11527 11529 11000 0 -1 4202496 845 0 0 0 0 0 0 0 23 0 1 0 869290916 16138240 727 33554432000 4194304 5683644 140736823607200 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/11529/statm: 3940 727 334 364 0 427 0
[startup+0.082726 s]
/proc/loadavg: 2.46 1.81 0.92 2/501 11529
/proc/meminfo: memFree=28406228/32950904 swapFree=56615552/67111528
[pid=11529] ppid=11527 vsize=50300 CPUtime=0.05 cores=0,2,4,6
/proc/11529/stat : 11529 (python) R 11527 11529 11000 0 -1 4202496 2006 0 0 0 4 1 0 0 24 0 1 0 869290916 51507200 1765 33554432000 4194304 5683644 140736823607200 18446744073709551615 4510813 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/11529/statm: 12575 1765 480 364 0 1275 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 50300
[startup+0.100719 s]
/proc/loadavg: 2.46 1.81 0.92 2/501 11529
/proc/meminfo: memFree=28406228/32950904 swapFree=56615552/67111528
[pid=11529] ppid=11527 vsize=87824 CPUtime=0.07 cores=0,2,4,6
/proc/11529/stat : 11529 (python) R 11527 11529 11000 0 -1 4202496 2676 0 0 0 5 2 0 0 24 0 1 0 869290916 89931776 2391 33554432000 4194304 5683644 140736823607200 18446744073709551615 237273911588 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/11529/statm: 21956 2393 722 364 0 1621 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 87824
[startup+0.300688 s]
/proc/loadavg: 2.46 1.81 0.92 2/501 11529
/proc/meminfo: memFree=28406228/32950904 swapFree=56615552/67111528
[pid=11529] ppid=11527 vsize=123740 CPUtime=0.18 cores=0,2,4,6
/proc/11529/stat : 11529 (python) S 11527 11529 11000 0 -1 4202496 5358 932 1 0 13 5 0 0 25 0 1 0 869290916 126709760 3745 33554432000 4194304 5683644 140736823607200 18446744073709551615 237278875653 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/11529/statm: 30935 3745 987 364 0 2767 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123740
[startup+0.700669 s]
/proc/loadavg: 2.46 1.81 0.92 2/501 11529
/proc/meminfo: memFree=28406228/32950904 swapFree=56615552/67111528
[pid=11529] ppid=11527 vsize=283388 CPUtime=0.45 cores=0,2,4,6
/proc/11529/stat : 11529 (python) R 11527 11529 11000 0 -1 4202496 9319 932 1 0 33 12 0 0 25 0 1 0 869290916 290189312 7181 33554432000 4194304 5683644 140736823607200 18446744073709551615 4602560 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/11529/statm: 70847 7181 1781 364 0 5740 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 283388
[startup+1.50142 s]
/proc/loadavg: 2.46 1.81 0.92 3/522 11554
/proc/meminfo: memFree=28366316/32950904 swapFree=56615552/67111528
[pid=11529] ppid=11527 vsize=295872 CPUtime=0.65 cores=0,2,4,6
/proc/11529/stat : 11529 (python) S 11527 11529 11000 0 -1 4202496 10614 932 1 0 53 12 0 0 25 0 2 0 869290916 302972928 7807 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/11529/statm: 73968 7807 1870 364 0 8855 0
[pid=11535] ppid=11529 vsize=285628 CPUtime=0 cores=0,2,4,6
/proc/11535/stat : 11535 (python) S 11529 11529 11000 0 -1 4202560 751 0 0 0 0 0 0 0 21 0 1 0 869291007 292483072 6285 33554432000 4194304 5683644 140736823607200 18446744073709551615 237278899727 0 0 16781312 33554946 1566164055029154051 0 0 17 2 0 0 0
/proc/11535/statm: 71407 6285 352 364 0 6294 0
[pid=11537] ppid=11535 vsize=8538756 CPUtime=1.25 cores=0,2,4,6
/proc/11537/stat : 11537 (java) S 11535 11537 11537 0 -1 4202496 17961 0 1 0 123 2 0 0 25 0 19 0 869291008 8743686144 15499 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11537/statm: 2134689 15499 2224 9 0 2125430 0
[pid=11537/tid=11538] ppid=11535 vsize=8538756 CPUtime=0.57 cores=0,2,4,6
/proc/11537/task/11538/stat : 11538 (java) R 11535 11537 11537 0 -1 4202560 11476 0 1 0 55 2 0 0 25 0 19 0 869291008 8743686144 15499 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 46912505226938 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11537/tid=11539] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11539/stat : 11539 (java) S 11535 11537 11537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869291009 8743686144 15499 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 0 0 0 0
[pid=11537/tid=11540] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11540/stat : 11540 (java) S 11535 11537 11537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869291009 8743686144 15499 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 0 0 0 0
[pid=11537/tid=11541] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11541/stat : 11541 (java) S 11535 11537 11537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869291009 8743686144 15499 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 0 0 0 0
[pid=11537/tid=11542] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11542/stat : 11542 (java) S 11535 11537 11537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869291009 8743686144 15499 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 0 0 0 0
[pid=11537/tid=11543] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11543/stat : 11543 (java) S 11535 11537 11537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869291009 8743686144 15499 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 0 0 0 0
[pid=11537/tid=11544] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11544/stat : 11544 (java) S 11535 11537 11537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869291009 8743686144 15499 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 0 0 0 0
[pid=11537/tid=11545] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11545/stat : 11545 (java) S 11535 11537 11537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869291009 8743686144 15499 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 0 0 0 0
[pid=11537/tid=11546] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11546/stat : 11546 (java) S 11535 11537 11537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869291009 8743686144 15499 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 0 0 0 0
[pid=11537/tid=11547] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11547/stat : 11547 (java) S 11535 11537 11537 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869291010 8743686144 15499 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290696192 0 0 0 16800975 18446604446523417664 0 0 -1 2 0 0 0
[pid=11537/tid=11548] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11548/stat : 11548 (java) S 11535 11537 11537 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869291010 8743686144 15499 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 2 0 0 0
[pid=11537/tid=11549] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11549/stat : 11549 (java) S 11535 11537 11537 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869291010 8743686144 15500 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 2 0 0 0
[pid=11537/tid=11550] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11550/stat : 11550 (java) S 11535 11537 11537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869291012 8743686144 15500 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290703281 0 4 0 16800975 18446604446523417664 0 0 -1 2 0 0 0
[pid=11537/tid=11551] ppid=11535 vsize=8538756 CPUtime=0.34 cores=0,2,4,6
/proc/11537/task/11551/stat : 11551 (java) R 11535 11537 11537 0 -1 4202560 2443 0 0 0 34 0 0 0 25 0 19 0 869291012 8743686144 15500 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 47007287557802 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11537/tid=11552] ppid=11535 vsize=8538756 CPUtime=0.33 cores=0,2,4,6
/proc/11537/task/11552/stat : 11552 (java) R 11535 11537 11537 0 -1 4202560 2654 0 0 0 33 0 0 0 16 0 19 0 869291012 8743686144 15500 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 47007286948709 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11537/tid=11553] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11553/stat : 11553 (java) S 11535 11537 11537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869291012 8743686144 15500 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 2 0 0 0
[pid=11537/tid=11554] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11554/stat : 11554 (java) S 11535 11537 11537 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869291012 8743686144 15500 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290696192 0 4 0 16800975 18446604446523417664 0 0 -1 6 0 0 0
[pid=11529/tid=11536] ppid=11527 vsize=295872 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11536/stat : 11536 (python) S 11527 11529 11000 0 -1 4202560 26 932 0 0 0 0 0 0 25 0 2 0 869291008 302972928 7807 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452353833152 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 9120256
[startup+3.10124 s]
/proc/loadavg: 2.50 1.83 0.93 4/523 11555
/proc/meminfo: memFree=28298852/32950904 swapFree=56615552/67111528
[pid=11529] ppid=11527 vsize=295872 CPUtime=0.65 cores=0,2,4,6
/proc/11529/stat : 11529 (python) S 11527 11529 11000 0 -1 4202496 10614 932 1 0 53 12 0 0 25 0 2 0 869290916 302972928 7807 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/11529/statm: 73968 7807 1870 364 0 8855 0
[pid=11535] ppid=11529 vsize=285628 CPUtime=0 cores=0,2,4,6
/proc/11535/stat : 11535 (python) S 11529 11529 11000 0 -1 4202560 759 0 0 0 0 0 0 0 15 0 1 0 869291007 292483072 6285 33554432000 4194304 5683644 140736823607200 18446744073709551615 237278899727 0 0 16781312 33554946 3543666022873563136 0 0 17 2 0 0 0
/proc/11535/statm: 71407 6285 352 364 0 6294 0
[pid=11537] ppid=11535 vsize=8538756 CPUtime=3 cores=0,2,4,6
/proc/11537/stat : 11537 (java) S 11535 11537 11537 0 -1 4202496 27557 0 1 0 296 4 0 0 25 0 19 0 869291008 8743686144 24765 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11537/statm: 2134689 24765 2255 9 0 2125430 0
[pid=11537/tid=11538] ppid=11535 vsize=8538756 CPUtime=2.13 cores=0,2,4,6
/proc/11537/task/11538/stat : 11538 (java) R 11535 11537 11537 0 -1 4202560 13820 0 1 0 211 2 0 0 25 0 19 0 869291008 8743686144 24765 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 46912505792576 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11537/tid=11539] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11539/stat : 11539 (java) S 11535 11537 11537 0 -1 4202560 1070 0 0 0 0 0 0 0 16 0 19 0 869291009 8743686144 24765 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 6 0 0 0
[pid=11537/tid=11540] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11540/stat : 11540 (java) S 11535 11537 11537 0 -1 4202560 965 0 0 0 0 0 0 0 16 0 19 0 869291009 8743686144 24765 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 0 0 0 0
[pid=11537/tid=11541] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11541/stat : 11541 (java) S 11535 11537 11537 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869291009 8743686144 24765 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 0 0 0 0
[pid=11537/tid=11542] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11542/stat : 11542 (java) S 11535 11537 11537 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869291009 8743686144 24765 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 0 0 0 0
[pid=11537/tid=11543] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11543/stat : 11543 (java) S 11535 11537 11537 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869291009 8743686144 24765 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 0 0 0 0
[pid=11537/tid=11544] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11544/stat : 11544 (java) S 11535 11537 11537 0 -1 4202560 735 0 0 0 0 0 0 0 16 0 19 0 869291009 8743686144 24765 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 6 0 0 0
[pid=11537/tid=11545] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11545/stat : 11545 (java) S 11535 11537 11537 0 -1 4202560 1138 0 0 0 0 0 0 0 16 0 19 0 869291009 8743686144 24765 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 6 0 0 0
[pid=11537/tid=11546] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11546/stat : 11546 (java) S 11535 11537 11537 0 -1 4202560 235 0 0 0 0 0 0 0 15 0 19 0 869291009 8743686144 24765 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 0 0 0 0
[pid=11537/tid=11547] ppid=11535 vsize=8538756 CPUtime=0.02 cores=0,2,4,6
/proc/11537/task/11547/stat : 11547 (java) S 11535 11537 11537 0 -1 4202560 2762 0 0 0 2 0 0 0 16 0 19 0 869291010 8743686144 24765 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290696192 0 0 0 16800975 18446604446523417664 0 0 -1 2 0 0 0
[pid=11537/tid=11548] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11548/stat : 11548 (java) S 11535 11537 11537 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869291010 8743686144 24765 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 2 0 0 0
[pid=11537/tid=11549] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11549/stat : 11549 (java) S 11535 11537 11537 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869291010 8743686144 24765 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 2 0 0 0
[pid=11537/tid=11550] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11550/stat : 11550 (java) S 11535 11537 11537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869291012 8743686144 24765 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290703281 0 4 0 16800975 18446604446523417664 0 0 -1 2 0 0 0
[pid=11537/tid=11551] ppid=11535 vsize=8538756 CPUtime=0.41 cores=0,2,4,6
/proc/11537/task/11551/stat : 11551 (java) S 11535 11537 11537 0 -1 4202560 2781 0 0 0 41 0 0 0 15 0 19 0 869291012 8743686144 24765 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 0 0 0 0
[pid=11537/tid=11552] ppid=11535 vsize=8538756 CPUtime=0.39 cores=0,2,4,6
/proc/11537/task/11552/stat : 11552 (java) S 11535 11537 11537 0 -1 4202560 2667 0 0 0 39 0 0 0 15 0 19 0 869291012 8743686144 24765 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 6 0 0 0
[pid=11537/tid=11553] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11553/stat : 11553 (java) S 11535 11537 11537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869291012 8743686144 24765 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 2 0 0 0
[pid=11537/tid=11554] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11554/stat : 11554 (java) S 11535 11537 11537 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869291012 8743686144 24765 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290696192 0 4 0 16800975 18446604446523417664 0 0 -1 0 0 0 0
[pid=11537/tid=11555] ppid=11535 vsize=8538756 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11555/stat : 11555 (java) S 11535 11537 11537 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869291050 8743686144 24765 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290696192 0 4 0 16800975 18446604446523417664 0 0 -1 2 0 0 0
[pid=11529/tid=11536] ppid=11527 vsize=295872 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11536/stat : 11536 (python) S 11527 11529 11000 0 -1 4202560 26 932 0 0 0 0 0 0 25 0 2 0 869291008 302972928 7807 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452353833152 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 9120256
[startup+6.30167 s]
/proc/loadavg: 2.50 1.83 0.93 3/523 11555
/proc/meminfo: memFree=28262136/32950904 swapFree=56615552/67111528
[pid=11529] ppid=11527 vsize=295872 CPUtime=0.65 cores=0,2,4,6
/proc/11529/stat : 11529 (python) S 11527 11529 11000 0 -1 4202496 10614 932 1 0 53 12 0 0 25 0 2 0 869290916 302972928 7807 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/11529/statm: 73968 7807 1870 364 0 8855 0
[pid=11535] ppid=11529 vsize=285628 CPUtime=0.02 cores=0,2,4,6
/proc/11535/stat : 11535 (python) S 11529 11529 11000 0 -1 4202560 890 0 0 0 1 1 0 0 15 0 1 0 869291007 292483072 6309 33554432000 4194304 5683644 140736823607200 18446744073709551615 237278899727 0 0 16781312 33554946 2854297533910351872 0 0 17 2 0 0 0
/proc/11535/statm: 71407 6309 376 364 0 6294 0
[pid=11537] ppid=11535 vsize=8538436 CPUtime=6.23 cores=0,2,4,6
/proc/11537/stat : 11537 (java) S 11535 11537 11537 0 -1 4202496 32725 0 1 0 619 4 0 0 25 0 19 0 869291008 8743358464 29686 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11537/statm: 2134609 29686 2255 9 0 2125350 0
[pid=11537/tid=11538] ppid=11535 vsize=8538436 CPUtime=5.25 cores=0,2,4,6
/proc/11537/task/11538/stat : 11538 (java) R 11535 11537 11537 0 -1 4202560 13823 0 1 0 523 2 0 0 25 0 19 0 869291008 8743358464 29686 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 46912505802371 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11537/tid=11539] ppid=11535 vsize=8538436 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11539/stat : 11539 (java) S 11535 11537 11537 0 -1 4202560 1233 0 0 0 0 0 0 0 16 0 19 0 869291009 8743358464 29686 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 2 0 0 0
[pid=11537/tid=11540] ppid=11535 vsize=8538436 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11540/stat : 11540 (java) S 11535 11537 11537 0 -1 4202560 1148 0 0 0 0 0 0 0 15 0 19 0 869291009 8743358464 29686 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 6 0 0 0
[pid=11537/tid=11541] ppid=11535 vsize=8538436 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11541/stat : 11541 (java) S 11535 11537 11537 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869291009 8743358464 29686 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 0 0 0 0
[pid=11537/tid=11542] ppid=11535 vsize=8538436 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11542/stat : 11542 (java) S 11535 11537 11537 0 -1 4202560 540 0 0 0 0 0 0 0 15 0 19 0 869291009 8743358464 29686 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 2 0 0 0
[pid=11537/tid=11543] ppid=11535 vsize=8538436 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11543/stat : 11543 (java) S 11535 11537 11537 0 -1 4202560 202 0 0 0 0 0 0 0 15 0 19 0 869291009 8743358464 29686 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 6 0 0 0
[pid=11537/tid=11544] ppid=11535 vsize=8538436 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11544/stat : 11544 (java) S 11535 11537 11537 0 -1 4202560 994 0 0 0 0 0 0 0 15 0 19 0 869291009 8743358464 29686 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 0 0 0 0
[pid=11537/tid=11545] ppid=11535 vsize=8538436 CPUtime=0.01 cores=0,2,4,6
/proc/11537/task/11545/stat : 11545 (java) S 11535 11537 11537 0 -1 4202560 1777 0 0 0 1 0 0 0 15 0 19 0 869291009 8743358464 29686 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 2 0 0 0
[pid=11537/tid=11546] ppid=11535 vsize=8538436 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11546/stat : 11546 (java) S 11535 11537 11537 0 -1 4202560 897 0 0 0 0 0 0 0 15 0 19 0 869291009 8743358464 29686 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446604446523417664 0 0 -1 2 0 0 0
[pid=11537/tid=11547] ppid=11535 vsize=8538436 CPUtime=0.07 cores=0,2,4,6
/proc/11537/task/11547/stat : 11547 (java) S 11535 11537 11537 0 -1 4202560 5197 0 0 0 7 0 0 0 15 0 19 0 869291010 8743358464 29686 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290696192 0 0 0 16800975 18446604446523417664 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=11529/tid=11536] ppid=11527 vsize=347656 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11536/stat : 11536 (python) S 11527 11529 11000 0 -1 4202560 30 932 0 0 0 0 0 0 18 0 7 0 869291008 355999744 7964 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452353833152 0 0 -1 2 0 0 0
[pid=11529/tid=11635] ppid=11527 vsize=347656 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11635/stat : 11635 (python) S 11527 11529 11000 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 7 0 869295946 355999744 7964 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452353833152 0 0 -1 0 0 0 0
[pid=11529/tid=11647] ppid=11527 vsize=347656 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11647/stat : 11647 (python) S 11527 11529 11000 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 7 0 869305277 355999744 7964 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452353833152 0 0 -1 0 0 0 0
[pid=11529/tid=11655] ppid=11527 vsize=347656 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11655/stat : 11655 (python) S 11527 11529 11000 0 -1 4202560 32 932 0 0 0 0 0 0 20 0 7 0 869309939 355999744 7964 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452353833152 0 0 -1 2 0 0 0
[pid=11529/tid=11665] ppid=11527 vsize=347656 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11665/stat : 11665 (python) S 11527 11529 11000 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 7 0 869319170 355999744 7964 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452353833152 0 0 -1 2 0 0 0
[pid=11529/tid=11764] ppid=11527 vsize=347656 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11764/stat : 11764 (python) S 11527 11529 11000 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 7 0 869323899 355999744 7964 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452353833152 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 332
Current children cumulated vsize (KiB) 19504056
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+329.902 s]
/proc/loadavg: 2.00 1.93 1.23 6/574 11782
/proc/meminfo: memFree=26661928/32950904 swapFree=56615552/67111528
[pid=11529] ppid=11527 vsize=347656 CPUtime=0.82 cores=0,2,4,6
/proc/11529/stat : 11529 (python) S 11527 11529 11000 0 -1 4202496 15345 932 1 0 69 13 0 0 20 0 7 0 869290916 355999744 7964 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/11529/statm: 86914 7964 1881 364 0 21786 0
[pid=11535] ppid=11529 vsize=295872 CPUtime=0.36 cores=0,2,4,6
/proc/11535/stat : 11535 (python) S 11529 11529 11000 0 -1 4202560 1103 0 0 0 18 18 0 0 15 0 2 0 869291007 302972928 6346 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/11535/statm: 73968 6346 408 364 0 8855 0
[pid=11537] ppid=11535 vsize=8538436 CPUtime=95.51 cores=0,2,4,6
/proc/11537/stat : 11537 (java) T 11535 11537 11537 0 -1 4202496 47041 0 1 0 9544 7 0 0 18 0 19 0 869291008 8743358464 43422 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11537/statm: 2134609 43422 2255 9 0 2125350 0
[pid=11537/tid=11538] ppid=11535 vsize=8538436 CPUtime=93.16 cores=0,2,4,6
/proc/11537/task/11538/stat : 11538 (java) T 11535 11537 11537 0 -1 4202560 13852 0 1 0 9314 2 0 0 25 0 19 0 869291008 8743358464 43422 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 46912505817703 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=11537/tid=11539] ppid=11535 vsize=8538436 CPUtime=0.05 cores=0,2,4,6
/proc/11537/task/11539/stat : 11539 (java) T 11535 11537 11537 0 -1 4202560 2302 0 0 0 5 0 0 0 15 0 19 0 869291009 8743358464 43422 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=11537/tid=11540] ppid=11535 vsize=8538436 CPUtime=0.06 cores=0,2,4,6
/proc/11537/task/11540/stat : 11540 (java) T 11535 11537 11537 0 -1 4202560 1733 0 0 0 6 0 0 0 15 0 19 0 869291009 8743358464 43422 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11537/tid=11541] ppid=11535 vsize=8538436 CPUtime=0.07 cores=0,2,4,6
/proc/11537/task/11541/stat : 11541 (java) T 11535 11537 11537 0 -1 4202560 1556 0 0 0 7 0 0 0 15 0 19 0 869291009 8743358464 43422 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=11537/tid=11542] ppid=11535 vsize=8538436 CPUtime=0.07 cores=0,2,4,6
/proc/11537/task/11542/stat : 11542 (java) T 11535 11537 11537 0 -1 4202560 2667 0 0 0 7 0 0 0 15 0 19 0 869291009 8743358464 43422 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=11537/tid=11543] ppid=11535 vsize=8538436 CPUtime=0.06 cores=0,2,4,6
/proc/11537/task/11543/stat : 11543 (java) T 11535 11537 11537 0 -1 4202560 932 0 0 0 6 0 0 0 15 0 19 0 869291009 8743358464 43422 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=11537/tid=11544] ppid=11535 vsize=8538436 CPUtime=0.06 cores=0,2,4,6
/proc/11537/task/11544/stat : 11544 (java) T 11535 11537 11537 0 -1 4202560 1867 0 0 0 6 0 0 0 15 0 19 0 869291009 8743358464 43422 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=11537/tid=11545] ppid=11535 vsize=8538436 CPUtime=0.05 cores=0,2,4,6
/proc/11537/task/11545/stat : 11545 (java) T 11535 11537 11537 0 -1 4202560 2211 0 0 0 5 0 0 0 15 0 19 0 869291009 8743358464 43422 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11537/tid=11546] ppid=11535 vsize=8538436 CPUtime=0.06 cores=0,2,4,6
/proc/11537/task/11546/stat : 11546 (java) T 11535 11537 11537 0 -1 4202560 1347 0 0 0 6 0 0 0 15 0 19 0 869291009 8743358464 43422 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11537/tid=11547] ppid=11535 vsize=8538436 CPUtime=0.86 cores=0,2,4,6
/proc/11537/task/11547/stat : 11547 (java) T 11535 11537 11537 0 -1 4202560 11254 0 0 0 85 1 0 0 15 0 19 0 869291010 8743358464 43422 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290696192 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=11537/tid=11548] ppid=11535 vsize=8538436 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11548/stat : 11548 (java) T 11535 11537 11537 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869291010 8743358464 43422 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11537/tid=11549] ppid=11535 vsize=8538436 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11549/stat : 11549 (java) T 11535 11537 11537 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869291010 8743358464 43422 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11537/tid=11550] ppid=11535 vsize=8538436 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11550/stat : 11550 (java) T 11535 11537 11537 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869291012 8743358464 43422 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290703281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11537/tid=11551] ppid=11535 vsize=8538436 CPUtime=0.48 cores=0,2,4,6
/proc/11537/task/11551/stat : 11551 (java) T 11535 11537 11537 0 -1 4202560 3183 0 0 0 48 0 0 0 15 0 19 0 869291012 8743358464 43422 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=11537/tid=11552] ppid=11535 vsize=8538436 CPUtime=0.42 cores=0,2,4,6
/proc/11537/task/11552/stat : 11552 (java) T 11535 11537 11537 0 -1 4202560 2750 0 0 0 42 0 0 0 15 0 19 0 869291012 8743358464 43422 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=11537/tid=11553] ppid=11535 vsize=8538436 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11553/stat : 11553 (java) T 11535 11537 11537 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869291012 8743358464 43422 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11537/tid=11554] ppid=11535 vsize=8538436 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11554/stat : 11554 (java) T 11535 11537 11537 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869291012 8743358464 43422 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11537/tid=11555] ppid=11535 vsize=8538436 CPUtime=0 cores=0,2,4,6
/proc/11537/task/11555/stat : 11555 (java) T 11535 11537 11537 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869291050 8743358464 43422 33554432000 1073741824 1073778376 140735438286736 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11535/tid=11633] ppid=11529 vsize=295872 CPUtime=0 cores=0,2,4,6
/proc/11535/task/11633/stat : 11633 (python) S 11529 11529 11000 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 869295943 302972928 6346 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290703281 0 0 16781312 33554946 18446604450100644800 0 0 -1 2 0 0 0
[pid=11634] ppid=11529 vsize=296388 CPUtime=0.21 cores=0,2,4,6
/proc/11634/stat : 11634 (python) S 11529 11529 11000 0 -1 4202560 1137 0 0 0 11 10 0 0 16 0 2 0 869295946 303501312 6461 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/11634/statm: 74097 6461 397 364 0 8981 0
[pid=11636] ppid=11634 vsize=105140 CPUtime=48.28 cores=0,2,4,6
/proc/11636/stat : 11636 (wbo1.4a) T 11634 11636 11636 0 -1 4202496 26326 0 0 0 4775 53 0 0 25 0 1 0 869295946 107663360 25827 33554432000 134512640 135751879 4290284608 18446744073709551615 134602919 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/11636/statm: 26285 25827 146 303 0 25980 0
[pid=11634/tid=11642] ppid=11529 vsize=296388 CPUtime=0 cores=0,2,4,6
/proc/11634/task/11642/stat : 11642 (python) S 11529 11529 11000 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869300775 303501312 6461 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290703281 0 0 16781312 33554946 18446604444325568704 0 0 -1 6 0 0 0
[pid=11646] ppid=11529 vsize=306644 CPUtime=0.16 cores=0,2,4,6
/proc/11646/stat : 11646 (python) S 11529 11529 11000 0 -1 4202560 1174 0 0 0 8 8 0 0 16 0 2 0 869305277 314003456 6471 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/11646/statm: 76661 6471 403 364 0 11542 0
[pid=11648] ppid=11646 vsize=54904 CPUtime=46.57 cores=0,2,4,6
/proc/11648/stat : 11648 (pbct-0.1.2-linu) T 11646 11648 11648 0 -1 4202496 13805 0 0 0 4574 83 0 0 25 0 1 0 869305278 56221696 13228 33554432000 134512640 136422188 4290258288 18446744073709551615 135026738 0 0 16781312 16387 18446744071562691360 0 0 17 0 0 0 0
/proc/11648/statm: 13726 13228 236 467 0 13257 0
[pid=11646/tid=11653] ppid=11529 vsize=306644 CPUtime=0 cores=0,2,4,6
/proc/11646/task/11653/stat : 11653 (python) S 11529 11529 11000 0 -1 4202560 95 0 0 0 0 0 0 0 16 0 2 0 869309936 314003456 6471 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290703281 0 0 16781312 33554946 18446604452353831360 0 0 -1 2 0 0 0
[pid=11654] ppid=11529 vsize=316900 CPUtime=0.33 cores=0,2,4,6
/proc/11654/stat : 11654 (python) S 11529 11529 11000 0 -1 4202560 1198 0 0 0 17 16 0 0 17 0 2 0 869309939 324505600 6475 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/11654/statm: 79225 6475 403 364 0 14103 0
[pid=11656] ppid=11654 vsize=13800 CPUtime=92.27 cores=0,2,4,6
/proc/11656/stat : 11656 (clasp-1.3.7-x86) T 11654 11656 11656 0 -1 4202496 3613 0 0 0 9227 0 0 0 25 0 1 0 869309939 14131200 3213 33554432000 134512640 136139019 4290663984 18446744073709551615 134599822 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/11656/statm: 3450 3213 187 398 0 3050 0
[pid=11654/tid=11663] ppid=11529 vsize=316900 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11663/stat : 11663 (python) S 11529 11529 11000 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869319167 324505600 6475 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290703281 0 0 16781312 33554946 18446604450100643008 0 0 -1 2 0 0 0
[pid=11664] ppid=11529 vsize=327156 CPUtime=0.17 cores=0,2,4,6
/proc/11664/stat : 11664 (python) S 11529 11529 11000 0 -1 4202560 1141 0 0 0 9 8 0 0 16 0 2 0 869319170 335007744 6473 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/11664/statm: 81789 6473 397 364 0 16664 0
[pid=11666] ppid=11664 vsize=97108 CPUtime=47.24 cores=0,2,4,6
/proc/11666/stat : 11666 (scip-2.0.1.linu) T 11664 11666 11666 0 -1 4202496 33984 0 0 0 4702 22 0 0 25 0 1 0 869319170 99438592 17937 33554432000 4194304 15243407 140735927043552 18446744073709551615 8113548 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/11666/statm: 24277 17937 923 2698 0 21572 0
[pid=11664/tid=11762] ppid=11529 vsize=327156 CPUtime=0 cores=0,2,4,6
/proc/11664/task/11762/stat : 11762 (python) S 11529 11529 11000 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869323896 335007744 6473 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290703281 0 0 16781312 33554946 18446604453922487040 0 0 -1 4 0 0 0
[pid=11763] ppid=11529 vsize=337412 CPUtime=0 cores=0,2,4,6
/proc/11763/stat : 11763 (python) R 11529 11529 11000 0 -1 4202560 757 0 0 0 0 0 0 0 19 0 1 0 869323899 345509888 6425 33554432000 4194304 5683644 140736823607200 18446744073709551615 237278899782 0 0 16781312 33554946 0 0 0 17 6 0 0 0
/proc/11763/statm: 84353 6425 346 364 0 19225 0
[pid=11765] ppid=11763 vsize=8466640 CPUtime=0.08 cores=0,2,4,6
/proc/11765/stat : 11765 (java) S 11763 11765 11765 0 -1 4202496 5113 0 1 0 7 1 0 0 21 0 18 0 869323899 8669839360 4565 33554432000 1073741824 1073778376 140735422081872 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/11765/statm: 2116660 4565 2071 9 0 2107401 0
[pid=11765/tid=11766] ppid=11763 vsize=8466772 CPUtime=0.06 cores=0,2,4,6
/proc/11765/task/11766/stat : 11766 (java) R 11763 11765 11765 0 -1 4202560 3197 0 1 0 6 0 0 0 25 0 18 0 869323900 8669974528 4642 33554432000 1073741824 1073778376 140735422081872 18446744073709551615 47757567959811 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11765/tid=11767] ppid=11763 vsize=8466772 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11767/stat : 11767 (java) S 11763 11765 11765 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869323900 8669974528 4642 33554432000 1073741824 1073778376 140735422081872 18446744073709551615 237290695577 0 4 0 16800975 18446604440683521856 0 0 -1 6 0 0 0
[pid=11765/tid=11768] ppid=11763 vsize=8466772 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11768/stat : 11768 (java) S 11763 11765 11765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869323900 8669974528 4642 33554432000 1073741824 1073778376 140735422081872 18446744073709551615 237290695577 0 4 0 16800975 18446604440683521856 0 0 -1 4 0 0 0
[pid=11765/tid=11769] ppid=11763 vsize=8466772 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11769/stat : 11769 (java) S 11763 11765 11765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869323900 8669974528 4642 33554432000 1073741824 1073778376 140735422081872 18446744073709551615 237290695577 0 4 0 16800975 18446604440683521856 0 0 -1 4 0 0 0
[pid=11765/tid=11770] ppid=11763 vsize=8466772 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11770/stat : 11770 (java) S 11763 11765 11765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869323900 8669974528 4643 33554432000 1073741824 1073778376 140735422081872 18446744073709551615 237290695577 0 4 0 16800975 18446604440683521856 0 0 -1 4 0 0 0
[pid=11765/tid=11771] ppid=11763 vsize=8466772 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11771/stat : 11771 (java) S 11763 11765 11765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869323900 8669974528 4643 33554432000 1073741824 1073778376 140735422081872 18446744073709551615 237290695577 0 4 0 16800975 18446604440683521856 0 0 -1 4 0 0 0
[pid=11765/tid=11772] ppid=11763 vsize=8466772 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11772/stat : 11772 (java) S 11763 11765 11765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869323900 8669974528 4643 33554432000 1073741824 1073778376 140735422081872 18446744073709551615 237290695577 0 4 0 16800975 18446604440683521856 0 0 -1 4 0 0 0
[pid=11765/tid=11773] ppid=11763 vsize=8466772 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11773/stat : 11773 (java) S 11763 11765 11765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869323900 8669974528 4644 33554432000 1073741824 1073778376 140735422081872 18446744073709551615 237290695577 0 4 0 16800975 18446604440683521856 0 0 -1 4 0 0 0
[pid=11765/tid=11774] ppid=11763 vsize=8466772 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11774/stat : 11774 (java) S 11763 11765 11765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869323900 8669974528 4644 33554432000 1073741824 1073778376 140735422081872 18446744073709551615 237290695577 0 4 0 16800975 18446604440683521856 0 0 -1 4 0 0 0
[pid=11765/tid=11775] ppid=11763 vsize=8466772 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11775/stat : 11775 (java) S 11763 11765 11765 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869323901 8669974528 4644 33554432000 1073741824 1073778376 140735422081872 18446744073709551615 237290696192 0 0 0 16800975 18446604440683521856 0 0 -1 6 0 0 0
[pid=11765/tid=11776] ppid=11763 vsize=8466772 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11776/stat : 11776 (java) S 11763 11765 11765 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869323902 8669974528 4645 33554432000 1073741824 1073778376 140735422081872 18446744073709551615 237290695577 0 4 0 16800975 18446604440683521856 0 0 -1 6 0 0 0
[pid=11765/tid=11777] ppid=11763 vsize=8466772 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11777/stat : 11777 (java) S 11763 11765 11765 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869323902 8669974528 4645 33554432000 1073741824 1073778376 140735422081872 18446744073709551615 237290695577 0 4 0 16800975 18446604440683521856 0 0 -1 6 0 0 0
[pid=11765/tid=11778] ppid=11763 vsize=8466772 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11778/stat : 11778 (java) S 11763 11765 11765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869323904 8669974528 4645 33554432000 1073741824 1073778376 140735422081872 18446744073709551615 237290703281 0 4 0 16800975 18446604440683521856 0 0 -1 6 0 0 0
[pid=11765/tid=11779] ppid=11763 vsize=8466772 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11779/stat : 11779 (java) R 11763 11765 11765 0 -1 4202560 22 0 0 0 0 0 0 0 25 0 18 0 869323904 8669974528 4645 33554432000 1073741824 1073778376 140735422081872 18446744073709551615 237290695577 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11765/tid=11780] ppid=11763 vsize=8466772 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11780/stat : 11780 (java) R 11763 11765 11765 0 -1 4202560 576 0 0 0 0 0 0 0 25 0 18 0 869323904 8669974528 4645 33554432000 1073741824 1073778376 140735422081872 18446744073709551615 47757568215593 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11765/tid=11781] ppid=11763 vsize=8466772 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11781/stat : 11781 (java) S 11763 11765 11765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869323904 8669974528 4645 33554432000 1073741824 1073778376 140735422081872 18446744073709551615 237290695577 0 4 0 16800975 18446604440683521856 0 0 -1 6 0 0 0
[pid=11765/tid=11782] ppid=11763 vsize=8466772 CPUtime=0 cores=0,2,4,6
/proc/11765/task/11782/stat : 11782 (java) R 11763 11765 11765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869323904 8669974528 4645 33554432000 1073741824 1073778376 140735422081872 18446744073709551615 237290696192 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11529/tid=11536] ppid=11527 vsize=347656 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11536/stat : 11536 (python) S 11527 11529 11000 0 -1 4202560 30 932 0 0 0 0 0 0 18 0 7 0 869291008 355999744 7964 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452353833152 0 0 -1 2 0 0 0
[pid=11529/tid=11635] ppid=11527 vsize=347656 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11635/stat : 11635 (python) S 11527 11529 11000 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 7 0 869295946 355999744 7964 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452353833152 0 0 -1 0 0 0 0
[pid=11529/tid=11647] ppid=11527 vsize=347656 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11647/stat : 11647 (python) S 11527 11529 11000 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 7 0 869305277 355999744 7964 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452353833152 0 0 -1 0 0 0 0
[pid=11529/tid=11655] ppid=11527 vsize=347656 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11655/stat : 11655 (python) S 11527 11529 11000 0 -1 4202560 32 932 0 0 0 0 0 0 20 0 7 0 869309939 355999744 7964 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452353833152 0 0 -1 2 0 0 0
[pid=11529/tid=11665] ppid=11527 vsize=347656 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11665/stat : 11665 (python) S 11527 11529 11000 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 7 0 869319170 355999744 7964 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452353833152 0 0 -1 2 0 0 0
[pid=11529/tid=11764] ppid=11527 vsize=347656 CPUtime=0 cores=0,2,4,6
/proc/11529/task/11764/stat : 11764 (python) S 11527 11529 11000 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 7 0 869323899 355999744 7964 33554432000 4194304 5683644 140736823607200 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452353833152 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 332
Current children cumulated vsize (KiB) 19504056
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11529 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=698893
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=139978
# CPU time returned by wait4() is 0.838871
# while last known CPU time is 332
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 329.982
CPU time (s): 332
CPU user time (s): 329.61
CPU system time (s): 2.39
CPU usage (%): 100.611
Max. virtual memory (cumulated for all children) (KiB): 19504056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.698893
system time used= 0.139978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16722
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= 2877
involuntary context switches= 21
runsolver used 2.10268 second user time and 3.73043 second system time
The end