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-3481888-1307577202/watcher-3481888-1307577202 -o /tmp/evaluation-result-3481888-1307577202/solver-3481888-1307577202 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481888-1307577202.opb -seed 1360058803 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.98 1.95 1.21 3/699 31388
/proc/meminfo: memFree=28308984/32950928 swapFree=43925852/67111528
[pid=31388] ppid=31386 vsize=16244 CPUtime=0.01 cores=0,2,4,6
/proc/31388/stat : 31388 (python) R 31386 31388 30488 0 -1 4202496 1063 0 0 0 1 0 0 0 23 0 1 0 869319068 16633856 935 33554432000 4194304 5683644 140733599654016 18446744073709551615 268272688896 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/31388/statm: 4061 935 381 364 0 548 0
[startup+0.0923609 s]
/proc/loadavg: 1.98 1.95 1.21 3/699 31388
/proc/meminfo: memFree=28308984/32950928 swapFree=43925852/67111528
[pid=31388] ppid=31386 vsize=84568 CPUtime=0.05 cores=0,2,4,6
/proc/31388/stat : 31388 (python) S 31386 31388 30488 0 -1 4202496 2409 0 0 0 4 1 0 0 24 0 1 0 869319068 86597632 2136 33554432000 4194304 5683644 140733599654016 18446744073709551615 268272687104 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/31388/statm: 21142 2136 707 364 0 1359 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84568
[startup+0.101403 s]
/proc/loadavg: 1.98 1.95 1.21 3/699 31388
/proc/meminfo: memFree=28308984/32950928 swapFree=43925852/67111528
[pid=31388] ppid=31386 vsize=87828 CPUtime=0.05 cores=0,2,4,6
/proc/31388/stat : 31388 (python) S 31386 31388 30488 0 -1 4202496 2691 0 0 0 4 1 0 0 24 0 1 0 869319068 89935872 2407 33554432000 4194304 5683644 140733599654016 18446744073709551615 268272687104 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/31388/statm: 21957 2407 735 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 87828
[startup+0.30026 s]
/proc/loadavg: 1.98 1.95 1.21 3/699 31388
/proc/meminfo: memFree=28308984/32950928 swapFree=43925852/67111528
[pid=31388] ppid=31386 vsize=123740 CPUtime=0.15 cores=0,2,4,6
/proc/31388/stat : 31388 (python) R 31386 31388 30488 0 -1 4202496 5357 930 1 0 11 4 0 0 25 0 1 0 869319068 126709760 3744 33554432000 4194304 5683644 140733599654016 18446744073709551615 268272685061 0 2147483391 16781312 2 0 0 0 17 6 0 0 0
/proc/31388/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.700184 s]
/proc/loadavg: 1.98 1.95 1.21 3/699 31388
/proc/meminfo: memFree=28308984/32950928 swapFree=43925852/67111528
[pid=31388] ppid=31386 vsize=283652 CPUtime=0.41 cores=0,2,4,6
/proc/31388/stat : 31388 (python) R 31386 31388 30488 0 -1 4202496 9380 930 1 0 31 10 0 0 25 0 1 0 869319068 290459648 7243 33554432000 4194304 5683644 140733599654016 18446744073709551615 4539741 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/31388/statm: 70913 7243 1781 364 0 5806 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 283652
[startup+1.50104 s]
/proc/loadavg: 1.98 1.95 1.21 3/700 31393
/proc/meminfo: memFree=28280876/32950928 swapFree=43925852/67111528
[pid=31388] ppid=31386 vsize=298244 CPUtime=0.8 cores=0,2,4,6
/proc/31388/stat : 31388 (python) S 31386 31388 30488 0 -1 4202496 11367 930 1 0 70 10 0 0 25 0 2 0 869319068 305401856 8400 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/31388/statm: 74561 8400 1870 364 0 9448 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 298244
[startup+3.10083 s]
/proc/loadavg: 1.98 1.95 1.21 3/721 31414
/proc/meminfo: memFree=28179696/32950928 swapFree=43925852/67111528
[pid=31388] ppid=31386 vsize=298244 CPUtime=0.8 cores=0,2,4,6
/proc/31388/stat : 31388 (python) S 31386 31388 30488 0 -1 4202496 11367 930 1 0 70 10 0 0 25 0 2 0 869319068 305401856 8400 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/31388/statm: 74561 8400 1870 364 0 9448 0
[pid=31394] ppid=31388 vsize=288000 CPUtime=0 cores=0,2,4,6
/proc/31394/stat : 31394 (python) S 31388 31388 30488 0 -1 4202560 757 0 0 0 0 0 0 0 15 0 1 0 869319177 294912000 6878 33554432000 4194304 5683644 140733599654016 18446744073709551615 268272709135 0 0 16781312 33554946 15519329038026899715 0 0 17 4 0 0 0
/proc/31394/statm: 72000 6878 352 364 0 6887 0
[pid=31396] ppid=31394 vsize=8539736 CPUtime=2.8 cores=0,2,4,6
/proc/31396/stat : 31396 (java) S 31394 31396 31396 0 -1 4202496 29814 0 1 0 277 3 0 0 25 0 19 0 869319177 8744689664 26523 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/31396/statm: 2134934 26523 2255 9 0 2125675 0
[pid=31396/tid=31397] ppid=31394 vsize=8539736 CPUtime=1.96 cores=0,2,4,6
/proc/31396/task/31397/stat : 31397 (java) R 31394 31396 31396 0 -1 4202560 18508 0 1 0 195 1 0 0 25 0 19 0 869319177 8744689664 26523 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 46912505890736 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=31396/tid=31398] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31398/stat : 31398 (java) S 31394 31396 31396 0 -1 4202560 740 0 0 0 0 0 0 0 18 0 19 0 869319178 8744689664 26523 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 2 0 0 0
[pid=31396/tid=31399] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31399/stat : 31399 (java) S 31394 31396 31396 0 -1 4202560 684 0 0 0 0 0 0 0 18 0 19 0 869319178 8744689664 26523 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 4 0 0 0
[pid=31396/tid=31400] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31400/stat : 31400 (java) S 31394 31396 31396 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869319178 8744689664 26523 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 2 0 0 0
[pid=31396/tid=31401] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31401/stat : 31401 (java) S 31394 31396 31396 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869319178 8744689664 26523 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 4 0 0 0
[pid=31396/tid=31402] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31402/stat : 31402 (java) S 31394 31396 31396 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869319178 8744689664 26523 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 4 0 0 0
[pid=31396/tid=31403] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31403/stat : 31403 (java) S 31394 31396 31396 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869319178 8744689664 26523 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 4 0 0 0
[pid=31396/tid=31404] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31404/stat : 31404 (java) S 31394 31396 31396 0 -1 4202560 253 0 0 0 0 0 0 0 18 0 19 0 869319178 8744689664 26523 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 0 0 0 0
[pid=31396/tid=31405] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31405/stat : 31405 (java) S 31394 31396 31396 0 -1 4202560 364 0 0 0 0 0 0 0 18 0 19 0 869319178 8744689664 26523 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 0 0 0 0
[pid=31396/tid=31406] ppid=31394 vsize=8539736 CPUtime=0.01 cores=0,2,4,6
/proc/31396/task/31406/stat : 31406 (java) S 31394 31396 31396 0 -1 4202560 1997 0 0 0 1 0 0 0 16 0 19 0 869319179 8744689664 26523 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284505600 0 0 0 16800975 18446604448351086400 0 0 -1 6 0 0 0
[pid=31396/tid=31407] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31407/stat : 31407 (java) S 31394 31396 31396 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869319179 8744689664 26523 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 6 0 0 0
[pid=31396/tid=31408] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31408/stat : 31408 (java) S 31394 31396 31396 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869319179 8744689664 26523 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 6 0 0 0
[pid=31396/tid=31409] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31409/stat : 31409 (java) S 31394 31396 31396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869319181 8744689664 26523 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284512689 0 4 0 16800975 18446604448351086400 0 0 -1 6 0 0 0
[pid=31396/tid=31410] ppid=31394 vsize=8539736 CPUtime=0.39 cores=0,2,4,6
/proc/31396/task/31410/stat : 31410 (java) S 31394 31396 31396 0 -1 4202560 3815 0 0 0 39 0 0 0 15 0 19 0 869319181 8744689664 26523 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 0 0 0 0
[pid=31396/tid=31411] ppid=31394 vsize=8539736 CPUtime=0.4 cores=0,2,4,6
/proc/31396/task/31411/stat : 31411 (java) S 31394 31396 31396 0 -1 4202560 2072 0 0 0 40 0 0 0 16 0 19 0 869319181 8744689664 26523 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 4 0 0 0
[pid=31396/tid=31412] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31412/stat : 31412 (java) S 31394 31396 31396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869319181 8744689664 26523 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 6 0 0 0
[pid=31396/tid=31413] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31413/stat : 31413 (java) S 31394 31396 31396 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869319181 8744689664 26523 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284505600 0 4 0 16800975 18446604448351086400 0 0 -1 4 0 0 0
[pid=31396/tid=31414] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31414/stat : 31414 (java) S 31394 31396 31396 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869319224 8744689664 26523 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284505600 0 4 0 16800975 18446604448351086400 0 0 -1 4 0 0 0
[pid=31388/tid=31395] ppid=31386 vsize=298244 CPUtime=0 cores=0,2,4,6
/proc/31388/task/31395/stat : 31395 (python) S 31386 31388 30488 0 -1 4202560 28 930 0 0 0 0 0 0 25 0 2 0 869319177 305401856 8400 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440491765824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 9125980
[startup+6.32318 s]
/proc/loadavg: 1.98 1.95 1.21 3/721 31414
/proc/meminfo: memFree=28141416/32950928 swapFree=43925852/67111528
[pid=31388] ppid=31386 vsize=298244 CPUtime=0.8 cores=0,2,4,6
/proc/31388/stat : 31388 (python) S 31386 31388 30488 0 -1 4202496 11367 930 1 0 70 10 0 0 25 0 2 0 869319068 305401856 8400 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/31388/statm: 74561 8400 1870 364 0 9448 0
[pid=31394] ppid=31388 vsize=288000 CPUtime=0.02 cores=0,2,4,6
/proc/31394/stat : 31394 (python) S 31388 31388 30488 0 -1 4202560 904 0 0 0 1 1 0 0 15 0 1 0 869319177 294912000 6902 33554432000 4194304 5683644 140733599654016 18446744073709551615 268272709135 0 0 16781312 33554946 4294934785 0 0 17 4 0 0 0
/proc/31394/statm: 72000 6902 376 364 0 6887 0
[pid=31396] ppid=31394 vsize=8539736 CPUtime=6.12 cores=0,2,4,6
/proc/31396/stat : 31396 (java) S 31394 31396 31396 0 -1 4202496 39741 0 1 0 607 5 0 0 25 0 19 0 869319177 8744689664 36142 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/31396/statm: 2134934 36142 2255 9 0 2125675 0
[pid=31396/tid=31397] ppid=31394 vsize=8539736 CPUtime=5.08 cores=0,2,4,6
/proc/31396/task/31397/stat : 31397 (java) R 31394 31396 31396 0 -1 4202560 18513 0 1 0 507 1 0 0 25 0 19 0 869319177 8744689664 36142 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 46912505784729 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31396/tid=31398] ppid=31394 vsize=8539736 CPUtime=0.01 cores=0,2,4,6
/proc/31396/task/31398/stat : 31398 (java) S 31394 31396 31396 0 -1 4202560 2400 0 0 0 1 0 0 0 15 0 19 0 869319178 8744689664 36142 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 0 0 0 0
[pid=31396/tid=31399] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31399/stat : 31399 (java) S 31394 31396 31396 0 -1 4202560 684 0 0 0 0 0 0 0 15 0 19 0 869319178 8744689664 36142 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 0 0 0 0
[pid=31396/tid=31400] ppid=31394 vsize=8539736 CPUtime=0.01 cores=0,2,4,6
/proc/31396/task/31400/stat : 31400 (java) S 31394 31396 31396 0 -1 4202560 784 0 0 0 1 0 0 0 15 0 19 0 869319178 8744689664 36142 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 2 0 0 0
[pid=31396/tid=31401] ppid=31394 vsize=8539736 CPUtime=0.01 cores=0,2,4,6
/proc/31396/task/31401/stat : 31401 (java) S 31394 31396 31396 0 -1 4202560 1315 0 0 0 1 0 0 0 16 0 19 0 869319178 8744689664 36142 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 2 0 0 0
[pid=31396/tid=31402] ppid=31394 vsize=8539736 CPUtime=0.01 cores=0,2,4,6
/proc/31396/task/31402/stat : 31402 (java) S 31394 31396 31396 0 -1 4202560 789 0 0 0 1 0 0 0 16 0 19 0 869319178 8744689664 36142 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 0 0 0 0
[pid=31396/tid=31403] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31403/stat : 31403 (java) S 31394 31396 31396 0 -1 4202560 311 0 0 0 0 0 0 0 16 0 19 0 869319178 8744689664 36142 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 4 0 0 0
[pid=31396/tid=31404] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31404/stat : 31404 (java) S 31394 31396 31396 0 -1 4202560 1134 0 0 0 0 0 0 0 15 0 19 0 869319178 8744689664 36142 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 0 0 0 0
[pid=31396/tid=31405] ppid=31394 vsize=8539736 CPUtime=0.01 cores=0,2,4,6
/proc/31396/task/31405/stat : 31405 (java) S 31394 31396 31396 0 -1 4202560 982 0 0 0 1 0 0 0 16 0 19 0 869319178 8744689664 36142 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 4 0 0 0
[pid=31396/tid=31406] ppid=31394 vsize=8539736 CPUtime=0.06 cores=0,2,4,6
/proc/31396/task/31406/stat : 31406 (java) S 31394 31396 31396 0 -1 4202560 5254 0 0 0 6 0 0 0 16 0 19 0 869319179 8744689664 36142 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284505600 0 0 0 16800975 18446604448351086400 0 0 -1 6 0 0 0
[pid=31396/tid=31407] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31407/stat : 31407 (java) S 31394 31396 31396 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869319179 8744689664 36142 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 6 0 0 0
[pid=31396/tid=31408] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31408/stat : 31408 (java) S 31394 31396 31396 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869319179 8744689664 36142 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 6 0 0 0
[pid=31396/tid=31409] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31409/stat : 31409 (java) S 31394 31396 31396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869319181 8744689664 36142 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284512689 0 4 0 16800975 18446604448351086400 0 0 -1 6 0 0 0
[pid=31396/tid=31410] ppid=31394 vsize=8539736 CPUtime=0.42 cores=0,2,4,6
/proc/31396/task/31410/stat : 31410 (java) S 31394 31396 31396 0 -1 4202560 4126 0 0 0 42 0 0 0 15 0 19 0 869319181 8744689664 36142 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 0 0 0 0
[pid=31396/tid=31411] ppid=31394 vsize=8539736 CPUtime=0.4 cores=0,2,4,6
/proc/31396/task/31411/stat : 31411 (java) S 31394 31396 31396 0 -1 4202560 2072 0 0 0 40 0 0 0 15 0 19 0 869319181 8744689664 36142 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 4 0 0 0
[pid=31396/tid=31412] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31412/stat : 31412 (java) S 31394 31396 31396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869319181 8744689664 36142 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 6 0 0 0
[pid=31396/tid=31413] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31413/stat : 31413 (java) S 31394 31396 31396 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869319181 8744689664 36142 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284505600 0 4 0 16800975 18446604448351086400 0 0 -1 0 0 0 0
[pid=31396/tid=31414] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31414/stat : 31414 (java) S 31394 31396 31396 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869319224 8744689664 36142 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284505600 0 4 0 16800975 18446604448351086400 0 0 -1 4 0 0 0
[pid=31388/tid=31395] ppid=31386 vsize=298244 CPUtime=0 cores=0,2,4,6
/proc/31388/task/31395/stat : 31395 (python) S 31386 31388 30488 0 -1 4202560 28 930 0 0 0 0 0 0 25 0 2 0 869319177 305401856 8400 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440491765824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.94
Current children cumulated vsize (KiB) 9125980
[startup+12.7012 s]
/proc/loadavg: 1.98 1.95 1.22 3/721 31414
/proc/meminfo: memFree=28120376/32950928 swapFree=43925852/67111528
[pid=31388] ppid=31386 vsize=298244 CPUtime=0.8 cores=0,2,4,6
/proc/31388/stat : 31388 (python) S 31386 31388 30488 0 -1 4202496 11367 930 1 0 70 10 0 0 25 0 2 0 869319068 305401856 8400 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/31388/statm: 74561 8400 1870 364 0 9448 0
[pid=31394] ppid=31388 vsize=288000 CPUtime=0.04 cores=0,2,4,6
/proc/31394/stat : 31394 (python) S 31388 31388 30488 0 -1 4202560 906 0 0 0 2 2 0 0 15 0 1 0 869319177 294912000 6902 33554432000 4194304 5683644 140733599654016 18446744073709551615 268272709135 0 0 16781312 33554946 3139750058358996992 0 0 17 4 0 0 0
/proc/31394/statm: 72000 6902 376 364 0 6887 0
[pid=31396] ppid=31394 vsize=8539736 CPUtime=12.54 cores=0,2,4,6
/proc/31396/stat : 31396 (java) S 31394 31396 31396 0 -1 4202496 46835 0 1 0 1248 6 0 0 25 0 19 0 869319177 8744689664 42905 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/31396/statm: 2134934 42905 2255 9 0 2125675 0
[pid=31396/tid=31397] ppid=31394 vsize=8539736 CPUtime=11.32 cores=0,2,4,6
/proc/31396/task/31397/stat : 31397 (java) R 31394 31396 31396 0 -1 4202560 18517 0 1 0 1131 1 0 0 25 0 19 0 869319177 8744689664 42905 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 46912505802284 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31396/tid=31398] ppid=31394 vsize=8539736 CPUtime=0.02 cores=0,2,4,6
/proc/31396/task/31398/stat : 31398 (java) S 31394 31396 31396 0 -1 4202560 2777 0 0 0 2 0 0 0 16 0 19 0 869319178 8744689664 42905 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 4 0 0 0
[pid=31396/tid=31399] ppid=31394 vsize=8539736 CPUtime=0.03 cores=0,2,4,6
/proc/31396/task/31399/stat : 31399 (java) S 31394 31396 31396 0 -1 4202560 1135 0 0 0 3 0 0 0 16 0 19 0 869319178 8744689664 42905 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 0 0 0 0
[pid=31396/tid=31400] ppid=31394 vsize=8539736 CPUtime=0.02 cores=0,2,4,6
/proc/31396/task/31400/stat : 31400 (java) S 31394 31396 31396 0 -1 4202560 1470 0 0 0 2 0 0 0 16 0 19 0 869319178 8744689664 42905 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446604448351086400 0 0 -1 6 0 0 0
[pid=31396/tid=31401] ppid=31394 vsize=8539736 CPUtime=0.02 cores=0,2,4,6
################
# More data... #
################
[pid=31584/tid=31597] ppid=31582 vsize=8548008 CPUtime=0 cores=0,2,4,6
/proc/31584/task/31597/stat : 31597 (java) S 31582 31584 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869347217 8753160192 29705 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 268284512689 0 4 0 16800975 18446604444964829248 0 0 -1 4 0 0 0
[pid=31584/tid=31598] ppid=31582 vsize=8548008 CPUtime=0.55 cores=0,2,4,6
/proc/31584/task/31598/stat : 31598 (java) R 31582 31584 31584 0 -1 4202560 4352 0 0 0 55 0 0 0 25 0 19 0 869347217 8753160192 29705 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 47260820606137 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=31584/tid=31599] ppid=31582 vsize=8548008 CPUtime=0.63 cores=0,2,4,6
/proc/31584/task/31599/stat : 31599 (java) R 31582 31584 31584 0 -1 4202560 7469 0 0 0 63 0 0 0 16 0 19 0 869347217 8753160192 29705 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 47260818264104 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31584/tid=31600] ppid=31582 vsize=8548008 CPUtime=0 cores=0,2,4,6
/proc/31584/task/31600/stat : 31600 (java) S 31582 31584 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869347217 8753160192 29705 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 268284504985 0 4 0 16800975 18446604444964829248 0 0 -1 4 0 0 0
[pid=31584/tid=31601] ppid=31582 vsize=8548008 CPUtime=0 cores=0,2,4,6
/proc/31584/task/31601/stat : 31601 (java) R 31582 31584 31584 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869347217 8753160192 29705 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 268284505600 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=31584/tid=31602] ppid=31582 vsize=8548008 CPUtime=0 cores=0,2,4,6
/proc/31584/task/31602/stat : 31602 (java) S 31582 31584 31584 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869347259 8753160192 29706 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 268284505600 0 4 0 16800975 18446604444964829248 0 0 -1 6 0 0 0
[pid=31388/tid=31395] ppid=31386 vsize=339268 CPUtime=0 cores=0,2,4,6
/proc/31388/task/31395/stat : 31395 (python) S 31386 31388 30488 0 -1 4202560 31 930 0 0 0 0 0 0 18 0 6 0 869319177 347410432 8425 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440491765824 0 0 -1 6 0 0 0
[pid=31388/tid=31495] ppid=31386 vsize=339268 CPUtime=0 cores=0,2,4,6
/proc/31388/task/31495/stat : 31495 (python) S 31386 31388 30488 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 6 0 869323752 347410432 8425 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440491765824 0 0 -1 0 0 0 0
[pid=31388/tid=31563] ppid=31386 vsize=339268 CPUtime=0 cores=0,2,4,6
/proc/31388/task/31563/stat : 31563 (python) S 31386 31388 30488 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 6 0 869333053 347410432 8425 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440491765824 0 0 -1 0 0 0 0
[pid=31388/tid=31573] ppid=31386 vsize=339268 CPUtime=0 cores=0,2,4,6
/proc/31388/task/31573/stat : 31573 (python) S 31386 31388 30488 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 6 0 869337866 347410432 8425 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440491765824 0 0 -1 0 0 0 0
[pid=31388/tid=31583] ppid=31386 vsize=339268 CPUtime=0 cores=0,2,4,6
/proc/31388/task/31583/stat : 31583 (python) S 31386 31388 30488 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 6 0 869347211 347410432 8425 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440491765824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.91
Current children cumulated vsize (KiB) 19184080
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+282.302 s]
/proc/loadavg: 2.26 2.09 1.45 6/772 31602
/proc/meminfo: memFree=25413596/32950928 swapFree=43925852/67111528
[pid=31388] ppid=31386 vsize=339268 CPUtime=0.93 cores=0,2,4,6
/proc/31388/stat : 31388 (python) S 31386 31388 30488 0 -1 4202496 15197 930 1 0 82 11 0 0 20 0 6 0 869319068 347410432 8425 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/31388/statm: 84817 8425 1879 364 0 19692 0
[pid=31394] ppid=31388 vsize=298244 CPUtime=0.52 cores=0,2,4,6
/proc/31394/stat : 31394 (python) S 31388 31388 30488 0 -1 4202560 1114 0 0 0 26 26 0 0 15 0 2 0 869319177 305401856 6939 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/31394/statm: 74561 6939 408 364 0 9448 0
[pid=31396] ppid=31394 vsize=8539736 CPUtime=92.32 cores=0,2,4,6
/proc/31396/stat : 31396 (java) T 31394 31396 31396 0 -1 4202496 72431 0 1 0 9222 10 0 0 18 0 19 0 869319177 8744689664 67046 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/31396/statm: 2134934 67046 2257 9 0 2125675 0
[pid=31396/tid=31397] ppid=31394 vsize=8539736 CPUtime=89.94 cores=0,2,4,6
/proc/31396/task/31397/stat : 31397 (java) T 31394 31396 31396 0 -1 4202560 19227 0 1 0 8992 2 0 0 25 0 19 0 869319177 8744689664 67046 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 46912505802371 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=31396/tid=31398] ppid=31394 vsize=8539736 CPUtime=0.11 cores=0,2,4,6
/proc/31396/task/31398/stat : 31398 (java) T 31394 31396 31396 0 -1 4202560 6151 0 0 0 11 0 0 0 15 0 19 0 869319178 8744689664 67046 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=31396/tid=31399] ppid=31394 vsize=8539736 CPUtime=0.09 cores=0,2,4,6
/proc/31396/task/31399/stat : 31399 (java) T 31394 31396 31396 0 -1 4202560 1708 0 0 0 9 0 0 0 15 0 19 0 869319178 8744689664 67046 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=31396/tid=31400] ppid=31394 vsize=8539736 CPUtime=0.09 cores=0,2,4,6
/proc/31396/task/31400/stat : 31400 (java) T 31394 31396 31396 0 -1 4202560 6891 0 0 0 9 0 0 0 15 0 19 0 869319178 8744689664 67046 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=31396/tid=31401] ppid=31394 vsize=8539736 CPUtime=0.09 cores=0,2,4,6
/proc/31396/task/31401/stat : 31401 (java) T 31394 31396 31396 0 -1 4202560 5445 0 0 0 8 1 0 0 15 0 19 0 869319178 8744689664 67046 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31396/tid=31402] ppid=31394 vsize=8539736 CPUtime=0.05 cores=0,2,4,6
/proc/31396/task/31402/stat : 31402 (java) T 31394 31396 31396 0 -1 4202560 2158 0 0 0 5 0 0 0 15 0 19 0 869319178 8744689664 67046 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31396/tid=31403] ppid=31394 vsize=8539736 CPUtime=0.08 cores=0,2,4,6
/proc/31396/task/31403/stat : 31403 (java) T 31394 31396 31396 0 -1 4202560 5001 0 0 0 8 0 0 0 15 0 19 0 869319178 8744689664 67046 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31396/tid=31404] ppid=31394 vsize=8539736 CPUtime=0.05 cores=0,2,4,6
/proc/31396/task/31404/stat : 31404 (java) T 31394 31396 31396 0 -1 4202560 3348 0 0 0 5 0 0 0 15 0 19 0 869319178 8744689664 67046 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31396/tid=31405] ppid=31394 vsize=8539736 CPUtime=0.09 cores=0,2,4,6
/proc/31396/task/31405/stat : 31405 (java) T 31394 31396 31396 0 -1 4202560 4823 0 0 0 8 1 0 0 15 0 19 0 869319178 8744689664 67046 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31396/tid=31406] ppid=31394 vsize=8539736 CPUtime=0.71 cores=0,2,4,6
/proc/31396/task/31406/stat : 31406 (java) T 31394 31396 31396 0 -1 4202560 9179 0 0 0 70 1 0 0 15 0 19 0 869319179 8744689664 67046 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284505600 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=31396/tid=31407] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31407/stat : 31407 (java) T 31394 31396 31396 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869319179 8744689664 67046 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=31396/tid=31408] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31408/stat : 31408 (java) T 31394 31396 31396 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869319179 8744689664 67046 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=31396/tid=31409] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31409/stat : 31409 (java) T 31394 31396 31396 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869319181 8744689664 67046 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284512689 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=31396/tid=31410] ppid=31394 vsize=8539736 CPUtime=0.47 cores=0,2,4,6
/proc/31396/task/31410/stat : 31410 (java) T 31394 31396 31396 0 -1 4202560 5034 0 0 0 47 0 0 0 15 0 19 0 869319181 8744689664 67046 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=31396/tid=31411] ppid=31394 vsize=8539736 CPUtime=0.44 cores=0,2,4,6
/proc/31396/task/31411/stat : 31411 (java) T 31394 31396 31396 0 -1 4202560 2083 0 0 0 44 0 0 0 15 0 19 0 869319181 8744689664 67046 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31396/tid=31412] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31412/stat : 31412 (java) T 31394 31396 31396 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869319181 8744689664 67046 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=31396/tid=31413] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31413/stat : 31413 (java) T 31394 31396 31396 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869319181 8744689664 67046 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=31396/tid=31414] ppid=31394 vsize=8539736 CPUtime=0 cores=0,2,4,6
/proc/31396/task/31414/stat : 31414 (java) T 31394 31396 31396 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869319224 8744689664 67046 33554432000 1073741824 1073778376 140735565955392 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31394/tid=31493] ppid=31388 vsize=298244 CPUtime=0 cores=0,2,4,6
/proc/31394/task/31493/stat : 31493 (python) S 31388 31388 30488 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 869323749 305401856 6939 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284512689 0 0 16781312 33554946 18446604452101990528 0 0 -1 6 0 0 0
[pid=31494] ppid=31388 vsize=298256 CPUtime=0.31 cores=0,2,4,6
/proc/31494/stat : 31494 (python) S 31388 31388 30488 0 -1 4202560 1184 0 0 0 17 14 0 0 16 0 2 0 869323751 305414144 6934 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/31494/statm: 74564 6934 403 364 0 9448 0
[pid=31496] ppid=31494 vsize=65424 CPUtime=47.58 cores=0,2,4,6
/proc/31496/stat : 31496 (wbo1.4a) T 31494 31496 31496 0 -1 4202496 16782 0 0 0 4725 33 0 0 25 0 1 0 869323752 66994176 15904 33554432000 134512640 135751879 4287694048 18446744073709551615 134616505 0 0 16781312 3 18446744071562691360 0 0 17 6 0 0 0
/proc/31496/statm: 16356 15904 146 303 0 16051 0
[pid=31494/tid=31502] ppid=31388 vsize=298256 CPUtime=0 cores=0,2,4,6
/proc/31494/task/31502/stat : 31502 (python) S 31388 31388 30488 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869328518 305414144 6934 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284512689 0 0 16781312 33554946 18446604444040259776 0 0 -1 0 0 0 0
[pid=31562] ppid=31388 vsize=308512 CPUtime=0.25 cores=0,2,4,6
/proc/31562/stat : 31562 (python) S 31388 31388 30488 0 -1 4202560 1133 0 0 0 12 13 0 0 16 0 2 0 869333053 315916288 6932 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/31562/statm: 77128 6932 397 364 0 12009 0
[pid=31564] ppid=31562 vsize=113328 CPUtime=48.04 cores=0,2,4,6
/proc/31564/stat : 31564 (pbct-0.1.2-linu) T 31562 31564 31564 0 -1 4202496 28668 0 0 0 4729 75 0 0 25 0 1 0 869333053 116047872 27595 33554432000 134512640 136422188 4287712912 18446744073709551615 134860185 0 0 16781312 16387 18446744071562691360 0 0 17 0 0 0 0
/proc/31564/statm: 28332 27595 236 467 0 27863 0
[pid=31562/tid=31571] ppid=31388 vsize=308512 CPUtime=0 cores=0,2,4,6
/proc/31562/task/31571/stat : 31571 (python) S 31388 31388 30488 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869337863 315916288 6932 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284512689 0 0 16781312 33554946 18446604447629283456 0 0 -1 6 0 0 0
[pid=31572] ppid=31388 vsize=318768 CPUtime=0.46 cores=0,2,4,6
/proc/31572/stat : 31572 (python) S 31388 31388 30488 0 -1 4202560 1164 0 0 0 22 24 0 0 17 0 2 0 869337866 326418432 6936 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/31572/statm: 79692 6936 397 364 0 14570 0
[pid=31574] ppid=31572 vsize=25512 CPUtime=93.41 cores=0,2,4,6
/proc/31574/stat : 31574 (clasp-1.3.7-x86) T 31572 31574 31574 0 -1 4202496 6480 0 0 0 9341 0 0 0 25 0 1 0 869337866 26124288 6115 33554432000 134512640 136139019 4290385936 18446744073709551615 134875768 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/31574/statm: 6378 6115 187 398 0 5978 0
[pid=31572/tid=31581] ppid=31388 vsize=318768 CPUtime=0 cores=0,2,4,6
/proc/31572/task/31581/stat : 31581 (python) S 31388 31388 30488 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869347208 326418432 6936 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284512689 0 0 16781312 33554946 18446604450919178560 0 0 -1 6 0 0 0
[pid=31582] ppid=31388 vsize=329024 CPUtime=0 cores=0,2,4,6
/proc/31582/stat : 31582 (python) S 31388 31388 30488 0 -1 4202560 811 0 0 0 0 0 0 0 15 0 1 0 869347211 336920576 6891 33554432000 4194304 5683644 140733599654016 18446744073709551615 268272709190 0 0 16781312 33554946 4294934785 0 0 17 0 0 0 0
/proc/31582/statm: 82256 6891 349 364 0 17131 0
[pid=31584] ppid=31582 vsize=8548008 CPUtime=2.09 cores=0,2,4,6
/proc/31584/stat : 31584 (java) S 31582 31584 31584 0 -1 4202496 33875 0 1 0 206 3 0 0 20 0 19 0 869347212 8753160192 29618 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31584/statm: 2137002 29619 2226 9 0 2127743 0
[pid=31584/tid=31585] ppid=31582 vsize=8548008 CPUtime=0.89 cores=0,2,4,6
/proc/31584/task/31585/stat : 31585 (java) R 31582 31584 31584 0 -1 4202560 20725 0 1 0 87 2 0 0 19 0 19 0 869347213 8753160192 29691 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 46912506035865 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31584/tid=31586] ppid=31582 vsize=8548008 CPUtime=0 cores=0,2,4,6
/proc/31584/task/31586/stat : 31586 (java) S 31582 31584 31584 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869347213 8753160192 29696 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 268284504985 0 4 0 16800975 18446604444964829248 0 0 -1 4 0 0 0
[pid=31584/tid=31587] ppid=31582 vsize=8548008 CPUtime=0 cores=0,2,4,6
/proc/31584/task/31587/stat : 31587 (java) S 31582 31584 31584 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869347213 8753160192 29697 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 268284504985 0 4 0 16800975 18446604444964829248 0 0 -1 4 0 0 0
[pid=31584/tid=31588] ppid=31582 vsize=8548008 CPUtime=0 cores=0,2,4,6
/proc/31584/task/31588/stat : 31588 (java) S 31582 31584 31584 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869347213 8753160192 29699 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 268284504985 0 4 0 16800975 18446604444964829248 0 0 -1 4 0 0 0
[pid=31584/tid=31589] ppid=31582 vsize=8548008 CPUtime=0 cores=0,2,4,6
/proc/31584/task/31589/stat : 31589 (java) S 31582 31584 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869347213 8753160192 29700 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 268284504985 0 4 0 16800975 18446604444964829248 0 0 -1 0 0 0 0
[pid=31584/tid=31590] ppid=31582 vsize=8548008 CPUtime=0 cores=0,2,4,6
/proc/31584/task/31590/stat : 31590 (java) S 31582 31584 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869347213 8753160192 29702 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 268284504985 0 4 0 16800975 18446604444964829248 0 0 -1 0 0 0 0
[pid=31584/tid=31591] ppid=31582 vsize=8548008 CPUtime=0 cores=0,2,4,6
/proc/31584/task/31591/stat : 31591 (java) S 31582 31584 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869347213 8753160192 29703 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 268284504985 0 4 0 16800975 18446604444964829248 0 0 -1 6 0 0 0
[pid=31584/tid=31592] ppid=31582 vsize=8548008 CPUtime=0 cores=0,2,4,6
/proc/31584/task/31592/stat : 31592 (java) S 31582 31584 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869347213 8753160192 29704 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 268284504985 0 4 0 16800975 18446604444964829248 0 0 -1 0 0 0 0
[pid=31584/tid=31593] ppid=31582 vsize=8548008 CPUtime=0 cores=0,2,4,6
/proc/31584/task/31593/stat : 31593 (java) S 31582 31584 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869347213 8753160192 29704 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 268284504985 0 4 0 16800975 18446604444964829248 0 0 -1 6 0 0 0
[pid=31584/tid=31594] ppid=31582 vsize=8548008 CPUtime=0 cores=0,2,4,6
/proc/31584/task/31594/stat : 31594 (java) S 31582 31584 31584 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869347214 8753160192 29704 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 268284505600 0 0 0 16800975 18446604444964829248 0 0 -1 4 0 0 0
[pid=31584/tid=31595] ppid=31582 vsize=8548008 CPUtime=0 cores=0,2,4,6
/proc/31584/task/31595/stat : 31595 (java) S 31582 31584 31584 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869347215 8753160192 29705 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 268284504985 0 4 0 16800975 18446604444964829248 0 0 -1 4 0 0 0
[pid=31584/tid=31596] ppid=31582 vsize=8548008 CPUtime=0 cores=0,2,4,6
/proc/31584/task/31596/stat : 31596 (java) S 31582 31584 31584 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869347215 8753160192 29705 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 268284504985 0 4 0 16800975 18446604444964829248 0 0 -1 4 0 0 0
[pid=31584/tid=31597] ppid=31582 vsize=8548008 CPUtime=0 cores=0,2,4,6
/proc/31584/task/31597/stat : 31597 (java) S 31582 31584 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869347217 8753160192 29705 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 268284512689 0 4 0 16800975 18446604444964829248 0 0 -1 4 0 0 0
[pid=31584/tid=31598] ppid=31582 vsize=8548008 CPUtime=0.55 cores=0,2,4,6
/proc/31584/task/31598/stat : 31598 (java) R 31582 31584 31584 0 -1 4202560 4352 0 0 0 55 0 0 0 25 0 19 0 869347217 8753160192 29705 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 47260820606137 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=31584/tid=31599] ppid=31582 vsize=8548008 CPUtime=0.63 cores=0,2,4,6
/proc/31584/task/31599/stat : 31599 (java) R 31582 31584 31584 0 -1 4202560 7469 0 0 0 63 0 0 0 16 0 19 0 869347217 8753160192 29705 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 47260818264104 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31584/tid=31600] ppid=31582 vsize=8548008 CPUtime=0 cores=0,2,4,6
/proc/31584/task/31600/stat : 31600 (java) S 31582 31584 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869347217 8753160192 29705 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 268284504985 0 4 0 16800975 18446604444964829248 0 0 -1 4 0 0 0
[pid=31584/tid=31601] ppid=31582 vsize=8548008 CPUtime=0 cores=0,2,4,6
/proc/31584/task/31601/stat : 31601 (java) R 31582 31584 31584 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869347217 8753160192 29705 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 268284505600 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=31584/tid=31602] ppid=31582 vsize=8548008 CPUtime=0 cores=0,2,4,6
/proc/31584/task/31602/stat : 31602 (java) S 31582 31584 31584 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869347259 8753160192 29706 33554432000 1073741824 1073778376 140735443836000 18446744073709551615 268284505600 0 4 0 16800975 18446604444964829248 0 0 -1 6 0 0 0
[pid=31388/tid=31395] ppid=31386 vsize=339268 CPUtime=0 cores=0,2,4,6
/proc/31388/task/31395/stat : 31395 (python) S 31386 31388 30488 0 -1 4202560 31 930 0 0 0 0 0 0 18 0 6 0 869319177 347410432 8425 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440491765824 0 0 -1 6 0 0 0
[pid=31388/tid=31495] ppid=31386 vsize=339268 CPUtime=0 cores=0,2,4,6
/proc/31388/task/31495/stat : 31495 (python) S 31386 31388 30488 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 6 0 869323752 347410432 8425 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440491765824 0 0 -1 0 0 0 0
[pid=31388/tid=31563] ppid=31386 vsize=339268 CPUtime=0 cores=0,2,4,6
/proc/31388/task/31563/stat : 31563 (python) S 31386 31388 30488 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 6 0 869333053 347410432 8425 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440491765824 0 0 -1 0 0 0 0
[pid=31388/tid=31573] ppid=31386 vsize=339268 CPUtime=0 cores=0,2,4,6
/proc/31388/task/31573/stat : 31573 (python) S 31386 31388 30488 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 6 0 869337866 347410432 8425 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440491765824 0 0 -1 0 0 0 0
[pid=31388/tid=31583] ppid=31386 vsize=339268 CPUtime=0 cores=0,2,4,6
/proc/31388/task/31583/stat : 31583 (python) S 31386 31388 30488 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 6 0 869347211 347410432 8425 33554432000 4194304 5683644 140733599654016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440491765824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.91
Current children cumulated vsize (KiB) 19184080
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31388 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=828873
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=121981
# CPU time returned by wait4() is 0.950854
# while last known CPU time is 285.91
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 282.424
CPU time (s): 285.91
CPU user time (s): 283.82
CPU system time (s): 2.09
CPU usage (%): 101.234
Max. virtual memory (cumulated for all children) (KiB): 19184080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.828873
system time used= 0.121981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16130
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= 2871
involuntary context switches= 32
runsolver used 2.15767 second user time and 4.42833 second system time
The end