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-3459116-1307134085/watcher-3459116-1307134085 -o /tmp/evaluation-result-3459116-1307134085/solver-3459116-1307134085 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459116-1307134085.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.14 3.12 3.54 2/404 1331
/proc/meminfo: memFree=23689832/32951124 swapFree=49244120/67111528
[pid=1331] ppid=1329 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/1331/stat : 1331 (java) R 1329 1331 31984 0 -1 4202496 948 0 0 0 0 0 0 0 25 0 1 0 825011240 23580672 692 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218365994472 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1331/statm: 5757 692 509 9 0 124 0
[pid=1331/tid=1332] ppid=1329 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1332/stat : 1332 (java) S 1329 1331 31984 0 -1 4202560 202 0 0 0 0 0 0 0 25 0 2 0 825011240 36646912 1018 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218370977350 0 0 0 16784584 8390641241812893695 0 0 -1 3 0 0 0
[startup+0.104146 s]
/proc/loadavg: 2.14 3.12 3.54 2/404 1331
/proc/meminfo: memFree=23689832/32951124 swapFree=49244120/67111528
[pid=1331] ppid=1329 vsize=13622252 CPUtime=0.1 cores=1,3,5,7
/proc/1331/stat : 1331 (java) S 1329 1331 31984 0 -1 4202496 15473 0 1 0 9 1 0 0 25 0 18 0 825011240 13949186048 15142 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1331/statm: 3405563 15142 2092 9 0 3396297 0
[pid=1331/tid=1332] ppid=1329 vsize=13622252 CPUtime=0.08 cores=1,3,5,7
/proc/1331/task/1332/stat : 1332 (java) R 1329 1331 31984 0 -1 4202560 13542 0 1 0 7 1 0 0 18 0 18 0 825011240 13949186048 15142 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218370618401 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622252
[startup+0.208175 s]
/proc/loadavg: 2.14 3.12 3.54 2/404 1331
/proc/meminfo: memFree=23689832/32951124 swapFree=49244120/67111528
[pid=1331] ppid=1329 vsize=13625552 CPUtime=0.29 cores=1,3,5,7
/proc/1331/stat : 1331 (java) S 1329 1331 31984 0 -1 4202496 17917 0 1 0 28 1 0 0 25 0 19 0 825011240 13952565248 17059 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1331/statm: 3406388 17144 2202 9 0 3397122 0
[pid=1331/tid=1332] ppid=1329 vsize=13625552 CPUtime=0.19 cores=1,3,5,7
/proc/1331/task/1332/stat : 1332 (java) R 1329 1331 31984 0 -1 4202560 14180 0 1 0 18 1 0 0 19 0 19 0 825011240 13952565248 17144 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 46912505220234 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13625552
[startup+0.315141 s]
/proc/loadavg: 2.14 3.12 3.54 2/404 1331
/proc/meminfo: memFree=23689832/32951124 swapFree=49244120/67111528
[pid=1331] ppid=1329 vsize=13625832 CPUtime=0.55 cores=1,3,5,7
/proc/1331/stat : 1331 (java) S 1329 1331 31984 0 -1 4202496 18544 0 1 0 53 2 0 0 25 0 19 0 825011240 13952851968 17412 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1331/statm: 3406458 17412 2214 9 0 3397192 0
[pid=1331/tid=1332] ppid=1329 vsize=13625832 CPUtime=0.29 cores=1,3,5,7
/proc/1331/task/1332/stat : 1332 (java) R 1329 1331 31984 0 -1 4202560 14251 0 1 0 28 1 0 0 19 0 19 0 825011240 13952851968 17412 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 46912505227955 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13625832
[startup+0.701075 s]
/proc/loadavg: 2.14 3.12 3.54 2/404 1331
/proc/meminfo: memFree=23689832/32951124 swapFree=49244120/67111528
[pid=1331] ppid=1329 vsize=13625552 CPUtime=1.03 cores=1,3,5,7
/proc/1331/stat : 1331 (java) S 1329 1331 31984 0 -1 4202496 19234 0 1 0 101 2 0 0 25 0 19 0 825011240 13952565248 17977 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1331/statm: 3406388 17977 2246 9 0 3397122 0
[pid=1331/tid=1332] ppid=1329 vsize=13625552 CPUtime=0.66 cores=1,3,5,7
/proc/1331/task/1332/stat : 1332 (java) R 1329 1331 31984 0 -1 4202560 14433 0 1 0 65 1 0 0 19 0 19 0 825011240 13952565248 17977 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 46912505522656 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 13625552
[startup+1.50093 s]
/proc/loadavg: 2.12 3.11 3.53 3/423 1350
/proc/meminfo: memFree=23624044/32951124 swapFree=49244120/67111528
[pid=1331] ppid=1329 vsize=13625848 CPUtime=1.85 cores=1,3,5,7
/proc/1331/stat : 1331 (java) S 1329 1331 31984 0 -1 4202496 19883 0 1 0 183 2 0 0 25 0 19 0 825011240 13952868352 18623 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1331/statm: 3406462 18623 2247 9 0 3397196 0
[pid=1331/tid=1332] ppid=1329 vsize=13625848 CPUtime=1.41 cores=1,3,5,7
/proc/1331/task/1332/stat : 1332 (java) R 1329 1331 31984 0 -1 4202560 14435 0 1 0 140 1 0 0 20 0 19 0 825011240 13952868352 18623 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 46912505556542 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1331/tid=1334] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1334/stat : 1334 (java) S 1329 1331 31984 0 -1 4202560 130 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 18623 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
[pid=1331/tid=1335] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1335/stat : 1335 (java) S 1329 1331 31984 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 18623 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1336] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1336/stat : 1336 (java) S 1329 1331 31984 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 18623 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
[pid=1331/tid=1337] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1337/stat : 1337 (java) S 1329 1331 31984 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 18623 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1338] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1338/stat : 1338 (java) S 1329 1331 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 18623 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1339] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1339/stat : 1339 (java) S 1329 1331 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 18623 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1340] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1340/stat : 1340 (java) S 1329 1331 31984 0 -1 4202560 79 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 18623 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 1 0 0 0
[pid=1331/tid=1341] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1341/stat : 1341 (java) S 1329 1331 31984 0 -1 4202560 273 0 0 0 0 0 0 0 16 0 19 0 825011243 13952868352 18623 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1342] ppid=1329 vsize=13625848 CPUtime=0.05 cores=1,3,5,7
/proc/1331/task/1342/stat : 1342 (java) S 1329 1331 31984 0 -1 4202560 401 0 0 0 5 0 0 0 16 0 19 0 825011244 13952868352 18623 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773760 0 0 0 16800975 18446604454866291648 0 0 -1 3 0 0 0
[pid=1331/tid=1343] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1343/stat : 1343 (java) S 1329 1331 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825011245 13952868352 18623 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1344] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1344/stat : 1344 (java) S 1329 1331 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825011245 13952868352 18623 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1345] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1345/stat : 1345 (java) S 1329 1331 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825011247 13952868352 18623 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382780849 0 4 0 16800975 18446604454866291648 0 0 -1 3 0 0 0
[pid=1331/tid=1346] ppid=1329 vsize=13625848 CPUtime=0.19 cores=1,3,5,7
/proc/1331/task/1346/stat : 1346 (java) S 1329 1331 31984 0 -1 4202560 1912 0 0 0 19 0 0 0 16 0 19 0 825011247 13952868352 18623 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
[pid=1331/tid=1347] ppid=1329 vsize=13625848 CPUtime=0.18 cores=1,3,5,7
/proc/1331/task/1347/stat : 1347 (java) S 1329 1331 31984 0 -1 4202560 1395 0 0 0 18 0 0 0 15 0 19 0 825011247 13952868352 18623 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 1 0 0 0
[pid=1331/tid=1348] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1348/stat : 1348 (java) S 1329 1331 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825011247 13952868352 18623 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 3 0 0 0
[pid=1331/tid=1349] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1349/stat : 1349 (java) S 1329 1331 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825011247 13952868352 18623 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773760 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1350] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1350/stat : 1350 (java) S 1329 1331 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825011257 13952868352 18623 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773760 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 13625848
[startup+3.10065 s]
/proc/loadavg: 2.12 3.11 3.53 3/423 1350
/proc/meminfo: memFree=23621708/32951124 swapFree=49244120/67111528
[pid=1331] ppid=1329 vsize=13625848 CPUtime=3.46 cores=1,3,5,7
/proc/1331/stat : 1331 (java) S 1329 1331 31984 0 -1 4202496 20199 0 1 0 344 2 0 0 25 0 19 0 825011240 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1331/statm: 3406462 18935 2247 9 0 3397196 0
[pid=1331/tid=1332] ppid=1329 vsize=13625848 CPUtime=2.95 cores=1,3,5,7
/proc/1331/task/1332/stat : 1332 (java) R 1329 1331 31984 0 -1 4202560 14439 0 1 0 294 1 0 0 25 0 19 0 825011240 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 46912505562100 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1331/tid=1334] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1334/stat : 1334 (java) S 1329 1331 31984 0 -1 4202560 161 0 0 0 0 0 0 0 16 0 19 0 825011243 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
[pid=1331/tid=1335] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1335/stat : 1335 (java) S 1329 1331 31984 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1336] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1336/stat : 1336 (java) S 1329 1331 31984 0 -1 4202560 26 0 0 0 0 0 0 0 16 0 19 0 825011243 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
[pid=1331/tid=1337] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1337/stat : 1337 (java) S 1329 1331 31984 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 1 0 0 0
[pid=1331/tid=1338] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1338/stat : 1338 (java) S 1329 1331 31984 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
[pid=1331/tid=1339] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1339/stat : 1339 (java) S 1329 1331 31984 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 19 0 825011243 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1340] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1340/stat : 1340 (java) S 1329 1331 31984 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
[pid=1331/tid=1341] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1341/stat : 1341 (java) S 1329 1331 31984 0 -1 4202560 286 0 0 0 0 0 0 0 16 0 19 0 825011243 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 1 0 0 0
[pid=1331/tid=1342] ppid=1329 vsize=13625848 CPUtime=0.1 cores=1,3,5,7
/proc/1331/task/1342/stat : 1342 (java) S 1329 1331 31984 0 -1 4202560 639 0 0 0 10 0 0 0 16 0 19 0 825011244 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773760 0 0 0 16800975 18446604454866291648 0 0 -1 3 0 0 0
[pid=1331/tid=1343] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1343/stat : 1343 (java) S 1329 1331 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825011245 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1344] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1344/stat : 1344 (java) S 1329 1331 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825011245 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1345] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1345/stat : 1345 (java) S 1329 1331 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825011247 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382780849 0 4 0 16800975 18446604454866291648 0 0 -1 3 0 0 0
[pid=1331/tid=1346] ppid=1329 vsize=13625848 CPUtime=0.19 cores=1,3,5,7
/proc/1331/task/1346/stat : 1346 (java) S 1329 1331 31984 0 -1 4202560 1912 0 0 0 19 0 0 0 16 0 19 0 825011247 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
[pid=1331/tid=1347] ppid=1329 vsize=13625848 CPUtime=0.18 cores=1,3,5,7
/proc/1331/task/1347/stat : 1347 (java) S 1329 1331 31984 0 -1 4202560 1395 0 0 0 18 0 0 0 15 0 19 0 825011247 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 1 0 0 0
[pid=1331/tid=1348] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1348/stat : 1348 (java) S 1329 1331 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825011247 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 3 0 0 0
[pid=1331/tid=1349] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1349/stat : 1349 (java) S 1329 1331 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825011247 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773760 0 4 0 16800975 18446604454866291648 0 0 -1 1 0 0 0
[pid=1331/tid=1350] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1350/stat : 1350 (java) S 1329 1331 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825011257 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773760 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 13625848
Solver just ended. Dumping a history of the last processes samples
[startup+3.20164 s]
/proc/loadavg: 2.12 3.11 3.53 3/423 1350
/proc/meminfo: memFree=23621708/32951124 swapFree=49244120/67111528
[pid=1331] ppid=1329 vsize=13625848 CPUtime=3.56 cores=1,3,5,7
/proc/1331/stat : 1331 (java) S 1329 1331 31984 0 -1 4202496 20199 0 1 0 354 2 0 0 25 0 19 0 825011240 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1331/statm: 3406462 18935 2247 9 0 3397196 0
[pid=1331/tid=1332] ppid=1329 vsize=13625848 CPUtime=3.05 cores=1,3,5,7
/proc/1331/task/1332/stat : 1332 (java) R 1329 1331 31984 0 -1 4202560 14439 0 1 0 304 1 0 0 25 0 19 0 825011240 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 46912505556500 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1331/tid=1334] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1334/stat : 1334 (java) S 1329 1331 31984 0 -1 4202560 161 0 0 0 0 0 0 0 16 0 19 0 825011243 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
[pid=1331/tid=1335] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1335/stat : 1335 (java) S 1329 1331 31984 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1336] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1336/stat : 1336 (java) S 1329 1331 31984 0 -1 4202560 26 0 0 0 0 0 0 0 16 0 19 0 825011243 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
[pid=1331/tid=1337] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1337/stat : 1337 (java) S 1329 1331 31984 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 1 0 0 0
[pid=1331/tid=1338] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1338/stat : 1338 (java) S 1329 1331 31984 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
[pid=1331/tid=1339] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1339/stat : 1339 (java) S 1329 1331 31984 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 19 0 825011243 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1340] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1340/stat : 1340 (java) S 1329 1331 31984 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
[pid=1331/tid=1341] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1341/stat : 1341 (java) S 1329 1331 31984 0 -1 4202560 286 0 0 0 0 0 0 0 16 0 19 0 825011243 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 1 0 0 0
[pid=1331/tid=1342] ppid=1329 vsize=13625848 CPUtime=0.1 cores=1,3,5,7
/proc/1331/task/1342/stat : 1342 (java) S 1329 1331 31984 0 -1 4202560 639 0 0 0 10 0 0 0 16 0 19 0 825011244 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773760 0 0 0 16800975 18446604454866291648 0 0 -1 3 0 0 0
[pid=1331/tid=1343] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1343/stat : 1343 (java) S 1329 1331 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825011245 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1344] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1344/stat : 1344 (java) S 1329 1331 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825011245 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1345] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1345/stat : 1345 (java) S 1329 1331 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825011247 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382780849 0 4 0 16800975 18446604454866291648 0 0 -1 3 0 0 0
[pid=1331/tid=1346] ppid=1329 vsize=13625848 CPUtime=0.19 cores=1,3,5,7
/proc/1331/task/1346/stat : 1346 (java) S 1329 1331 31984 0 -1 4202560 1912 0 0 0 19 0 0 0 16 0 19 0 825011247 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
[pid=1331/tid=1347] ppid=1329 vsize=13625848 CPUtime=0.18 cores=1,3,5,7
/proc/1331/task/1347/stat : 1347 (java) S 1329 1331 31984 0 -1 4202560 1395 0 0 0 18 0 0 0 15 0 19 0 825011247 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 1 0 0 0
[pid=1331/tid=1348] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1348/stat : 1348 (java) S 1329 1331 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825011247 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 3 0 0 0
[pid=1331/tid=1349] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1349/stat : 1349 (java) S 1329 1331 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825011247 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773760 0 4 0 16800975 18446604454866291648 0 0 -1 1 0 0 0
[pid=1331/tid=1350] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1350/stat : 1350 (java) S 1329 1331 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825011257 13952868352 18935 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773760 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 13625848
[startup+4.00149 s]
/proc/loadavg: 2.12 3.11 3.53 3/423 1350
/proc/meminfo: memFree=23621204/32951124 swapFree=49244120/67111528
[pid=1331] ppid=1329 vsize=13625848 CPUtime=4.36 cores=1,3,5,7
/proc/1331/stat : 1331 (java) S 1329 1331 31984 0 -1 4202496 20222 0 1 0 434 2 0 0 25 0 19 0 825011240 13952868352 18956 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1331/statm: 3406462 18956 2247 9 0 3397196 0
[pid=1331/tid=1332] ppid=1329 vsize=13625848 CPUtime=3.82 cores=1,3,5,7
/proc/1331/task/1332/stat : 1332 (java) R 1329 1331 31984 0 -1 4202560 14441 0 1 0 381 1 0 0 25 0 19 0 825011240 13952868352 18956 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 46912505545706 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1331/tid=1334] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1334/stat : 1334 (java) S 1329 1331 31984 0 -1 4202560 162 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 18956 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
[pid=1331/tid=1335] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1335/stat : 1335 (java) S 1329 1331 31984 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 18956 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1336] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1336/stat : 1336 (java) S 1329 1331 31984 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 18956 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 1 0 0 0
[pid=1331/tid=1337] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1337/stat : 1337 (java) S 1329 1331 31984 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 18956 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 1 0 0 0
[pid=1331/tid=1338] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1338/stat : 1338 (java) S 1329 1331 31984 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 18956 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1339] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1339/stat : 1339 (java) S 1329 1331 31984 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 18956 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1340] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1340/stat : 1340 (java) S 1329 1331 31984 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 18956 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
[pid=1331/tid=1341] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1341/stat : 1341 (java) S 1329 1331 31984 0 -1 4202560 286 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 18956 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 1 0 0 0
[pid=1331/tid=1342] ppid=1329 vsize=13625848 CPUtime=0.13 cores=1,3,5,7
/proc/1331/task/1342/stat : 1342 (java) S 1329 1331 31984 0 -1 4202560 652 0 0 0 13 0 0 0 16 0 19 0 825011244 13952868352 18956 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773760 0 0 0 16800975 18446604454866291648 0 0 -1 3 0 0 0
[pid=1331/tid=1343] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1343/stat : 1343 (java) S 1329 1331 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825011245 13952868352 18956 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1344] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1344/stat : 1344 (java) S 1329 1331 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825011245 13952868352 18956 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1345] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1345/stat : 1345 (java) S 1329 1331 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825011247 13952868352 18956 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382780849 0 4 0 16800975 18446604454866291648 0 0 -1 3 0 0 0
[pid=1331/tid=1346] ppid=1329 vsize=13625848 CPUtime=0.19 cores=1,3,5,7
/proc/1331/task/1346/stat : 1346 (java) S 1329 1331 31984 0 -1 4202560 1912 0 0 0 19 0 0 0 16 0 19 0 825011247 13952868352 18956 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
[pid=1331/tid=1347] ppid=1329 vsize=13625848 CPUtime=0.18 cores=1,3,5,7
/proc/1331/task/1347/stat : 1347 (java) S 1329 1331 31984 0 -1 4202560 1395 0 0 0 18 0 0 0 15 0 19 0 825011247 13952868352 18956 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 1 0 0 0
[pid=1331/tid=1348] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1348/stat : 1348 (java) S 1329 1331 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825011247 13952868352 18956 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 3 0 0 0
[pid=1331/tid=1349] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1349/stat : 1349 (java) S 1329 1331 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825011247 13952868352 18956 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773760 0 4 0 16800975 18446604454866291648 0 0 -1 1 0 0 0
[pid=1331/tid=1350] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1350/stat : 1350 (java) S 1329 1331 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825011257 13952868352 18956 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773760 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 13625848
[startup+4.80135 s]
/proc/loadavg: 2.12 3.11 3.53 3/423 1350
/proc/meminfo: memFree=23620956/32951124 swapFree=49244120/67111528
[pid=1331] ppid=1329 vsize=13625848 CPUtime=5.17 cores=1,3,5,7
/proc/1331/stat : 1331 (java) S 1329 1331 31984 0 -1 4202496 20270 0 1 0 514 3 0 0 25 0 19 0 825011240 13952868352 19002 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1331/statm: 3406462 19002 2247 9 0 3397196 0
[pid=1331/tid=1332] ppid=1329 vsize=13625848 CPUtime=4.59 cores=1,3,5,7
/proc/1331/task/1332/stat : 1332 (java) R 1329 1331 31984 0 -1 4202560 14443 0 1 0 458 1 0 0 25 0 19 0 825011240 13952868352 19002 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 46912505536019 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1331/tid=1334] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1334/stat : 1334 (java) S 1329 1331 31984 0 -1 4202560 162 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 19002 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
[pid=1331/tid=1335] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1335/stat : 1335 (java) S 1329 1331 31984 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 19002 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1336] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1336/stat : 1336 (java) S 1329 1331 31984 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 19002 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1337] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1337/stat : 1337 (java) S 1329 1331 31984 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 19002 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 1 0 0 0
[pid=1331/tid=1338] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1338/stat : 1338 (java) S 1329 1331 31984 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 19002 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1339] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1339/stat : 1339 (java) S 1329 1331 31984 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 19002 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1340] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1340/stat : 1340 (java) S 1329 1331 31984 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 19002 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
[pid=1331/tid=1341] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1341/stat : 1341 (java) S 1329 1331 31984 0 -1 4202560 286 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 19002 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 1 0 0 0
[pid=1331/tid=1342] ppid=1329 vsize=13625848 CPUtime=0.16 cores=1,3,5,7
/proc/1331/task/1342/stat : 1342 (java) S 1329 1331 31984 0 -1 4202560 697 0 0 0 16 0 0 0 16 0 19 0 825011244 13952868352 19002 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773760 0 0 0 16800975 18446604454866291648 0 0 -1 3 0 0 0
[pid=1331/tid=1343] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1343/stat : 1343 (java) S 1329 1331 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825011245 13952868352 19002 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1344] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1344/stat : 1344 (java) S 1329 1331 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825011245 13952868352 19002 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1345] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1345/stat : 1345 (java) S 1329 1331 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825011247 13952868352 19002 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382780849 0 4 0 16800975 18446604454866291648 0 0 -1 3 0 0 0
[pid=1331/tid=1346] ppid=1329 vsize=13625848 CPUtime=0.19 cores=1,3,5,7
/proc/1331/task/1346/stat : 1346 (java) S 1329 1331 31984 0 -1 4202560 1912 0 0 0 19 0 0 0 16 0 19 0 825011247 13952868352 19002 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
[pid=1331/tid=1347] ppid=1329 vsize=13625848 CPUtime=0.18 cores=1,3,5,7
/proc/1331/task/1347/stat : 1347 (java) S 1329 1331 31984 0 -1 4202560 1395 0 0 0 18 0 0 0 15 0 19 0 825011247 13952868352 19002 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 1 0 0 0
[pid=1331/tid=1348] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1348/stat : 1348 (java) S 1329 1331 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825011247 13952868352 19002 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 3 0 0 0
[pid=1331/tid=1349] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1349/stat : 1349 (java) S 1329 1331 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825011247 13952868352 19002 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773760 0 4 0 16800975 18446604454866291648 0 0 -1 1 0 0 0
[pid=1331/tid=1350] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1350/stat : 1350 (java) S 1329 1331 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825011257 13952868352 19002 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773760 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.17
Current children cumulated vsize (KiB) 13625848
[startup+5.00132 s]
/proc/loadavg: 2.12 3.11 3.53 3/423 1350
/proc/meminfo: memFree=23620956/32951124 swapFree=49244120/67111528
[pid=1331] ppid=1329 vsize=13625848 CPUtime=5.37 cores=1,3,5,7
/proc/1331/stat : 1331 (java) S 1329 1331 31984 0 -1 4202496 20273 0 1 0 534 3 0 0 25 0 19 0 825011240 13952868352 19004 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1331/statm: 3406462 19004 2247 9 0 3397196 0
[pid=1331/tid=1332] ppid=1329 vsize=13625848 CPUtime=4.78 cores=1,3,5,7
/proc/1331/task/1332/stat : 1332 (java) S 1329 1331 31984 0 -1 4202560 14444 0 1 0 477 1 0 0 25 0 19 0 825011240 13952868352 19004 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 3 0 0 0
[pid=1331/tid=1334] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1334/stat : 1334 (java) S 1329 1331 31984 0 -1 4202560 162 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 19004 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
[pid=1331/tid=1335] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1335/stat : 1335 (java) S 1329 1331 31984 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 19004 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1336] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1336/stat : 1336 (java) S 1329 1331 31984 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 19004 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
[pid=1331/tid=1337] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1337/stat : 1337 (java) S 1329 1331 31984 0 -1 4202560 30 0 0 0 0 0 0 0 16 0 19 0 825011243 13952868352 19004 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 1 0 0 0
[pid=1331/tid=1338] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1338/stat : 1338 (java) S 1329 1331 31984 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 19004 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1339] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1339/stat : 1339 (java) S 1329 1331 31984 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 19004 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1340] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1340/stat : 1340 (java) S 1329 1331 31984 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 825011243 13952868352 19004 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
[pid=1331/tid=1341] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1341/stat : 1341 (java) S 1329 1331 31984 0 -1 4202560 286 0 0 0 0 0 0 0 16 0 19 0 825011243 13952868352 19004 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 1 0 0 0
[pid=1331/tid=1342] ppid=1329 vsize=13625848 CPUtime=0.17 cores=1,3,5,7
/proc/1331/task/1342/stat : 1342 (java) R 1329 1331 31984 0 -1 4202560 697 0 0 0 17 0 0 0 15 0 19 0 825011244 13952868352 19004 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 47602777210495 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=1331/tid=1343] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1343/stat : 1343 (java) S 1329 1331 31984 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825011245 13952868352 19004 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1344] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1344/stat : 1344 (java) S 1329 1331 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825011245 13952868352 19004 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 7 0 0 0
[pid=1331/tid=1345] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1345/stat : 1345 (java) S 1329 1331 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825011247 13952868352 19004 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382780849 0 4 0 16800975 18446604454866291648 0 0 -1 3 0 0 0
[pid=1331/tid=1346] ppid=1329 vsize=13625848 CPUtime=0.19 cores=1,3,5,7
/proc/1331/task/1346/stat : 1346 (java) S 1329 1331 31984 0 -1 4202560 1912 0 0 0 19 0 0 0 16 0 19 0 825011247 13952868352 19004 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
[pid=1331/tid=1347] ppid=1329 vsize=13625848 CPUtime=0.18 cores=1,3,5,7
/proc/1331/task/1347/stat : 1347 (java) S 1329 1331 31984 0 -1 4202560 1395 0 0 0 18 0 0 0 15 0 19 0 825011247 13952868352 19004 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 1 0 0 0
[pid=1331/tid=1348] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1348/stat : 1348 (java) S 1329 1331 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825011247 13952868352 19004 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773145 0 4 0 16800975 18446604454866291648 0 0 -1 3 0 0 0
[pid=1331/tid=1349] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1349/stat : 1349 (java) S 1329 1331 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825011247 13952868352 19004 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773760 0 4 0 16800975 18446604454866291648 0 0 -1 1 0 0 0
[pid=1331/tid=1350] ppid=1329 vsize=13625848 CPUtime=0 cores=1,3,5,7
/proc/1331/task/1350/stat : 1350 (java) S 1329 1331 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825011257 13952868352 19004 33554432000 1073741824 1073778376 140734464636560 18446744073709551615 218382773760 0 4 0 16800975 18446604454866291648 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.37
Current children cumulated vsize (KiB) 13625848
Child status: 10
Real time (s): 5.05292
CPU time (s): 5.43517
CPU user time (s): 5.40018
CPU system time (s): 0.034994
CPU usage (%): 107.565
Max. virtual memory (cumulated for all children) (KiB): 13625848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.40018
system time used= 0.034994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20303
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= 625
involuntary context switches= 185
runsolver used 0.017997 second user time and 0.052991 second system time
The end