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-3459124-1307134098/watcher-3459124-1307134098 -o /tmp/evaluation-result-3459124-1307134098/solver-3459124-1307134098 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459124-1307134098.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.34 3.12 3.53 2/404 1470
/proc/meminfo: memFree=23689076/32951124 swapFree=49244120/67111528
[pid=1470] ppid=1468 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/1470/stat : 1470 (java) R 1468 1470 31984 0 -1 4202496 900 0 0 0 0 0 0 0 18 0 1 0 825012581 23580672 644 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218365994773 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1470/statm: 5757 655 481 9 0 124 0
[pid=1470/tid=1471] ppid=1468 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1471/stat : 1471 (java) R 1468 1470 31984 0 -1 4202560 4431 0 1 0 0 0 0 0 19 0 2 0 825012582 13850947584 5247 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0203981 s]
/proc/loadavg: 2.34 3.12 3.53 2/404 1470
/proc/meminfo: memFree=23689076/32951124 swapFree=49244120/67111528
[pid=1470] ppid=1468 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/1470/stat : 1470 (java) S 1468 1470 31984 0 -1 4202496 9636 0 1 0 0 1 0 0 18 0 2 0 825012581 13850947584 9338 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/1470/statm: 3381579 9355 917 9 0 3372735 0
[pid=1470/tid=1471] ppid=1468 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1471/stat : 1471 (java) R 1468 1470 31984 0 -1 4202560 8551 0 1 0 0 0 0 0 19 0 2 0 825012582 13850947584 9367 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13526316
[startup+0.100337 s]
/proc/loadavg: 2.34 3.12 3.53 2/404 1470
/proc/meminfo: memFree=23689076/32951124 swapFree=49244120/67111528
[pid=1470] ppid=1468 vsize=13622056 CPUtime=0.1 cores=1,3,5,7
/proc/1470/stat : 1470 (java) S 1468 1470 31984 0 -1 4202496 15528 0 1 0 9 1 0 0 18 0 18 0 825012581 13948985344 15209 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1470/statm: 3405514 15210 2093 9 0 3396248 0
[pid=1470/tid=1471] ppid=1468 vsize=13622056 CPUtime=0.09 cores=1,3,5,7
/proc/1470/task/1471/stat : 1471 (java) R 1468 1470 31984 0 -1 4202560 13591 0 1 0 8 1 0 0 25 0 18 0 825012582 13948985344 15211 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 47520955097859 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) 13622056
[startup+0.300341 s]
/proc/loadavg: 2.34 3.12 3.53 2/404 1470
/proc/meminfo: memFree=23689076/32951124 swapFree=49244120/67111528
[pid=1470] ppid=1468 vsize=13626324 CPUtime=0.55 cores=1,3,5,7
/proc/1470/stat : 1470 (java) S 1468 1470 31984 0 -1 4202496 18978 0 1 0 53 2 0 0 18 0 19 0 825012581 13953355776 17539 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1470/statm: 3406581 17539 2215 9 0 3397315 0
[pid=1470/tid=1471] ppid=1468 vsize=13626324 CPUtime=0.28 cores=1,3,5,7
/proc/1470/task/1471/stat : 1471 (java) R 1468 1470 31984 0 -1 4202560 14174 0 1 0 27 1 0 0 25 0 19 0 825012582 13953355776 17539 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 46912505525720 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) 13626324
[startup+0.700278 s]
/proc/loadavg: 2.34 3.12 3.53 2/404 1470
/proc/meminfo: memFree=23689076/32951124 swapFree=49244120/67111528
[pid=1470] ppid=1468 vsize=13626324 CPUtime=1.05 cores=1,3,5,7
/proc/1470/stat : 1470 (java) S 1468 1470 31984 0 -1 4202496 19955 0 1 0 103 2 0 0 18 0 19 0 825012581 13953355776 18165 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1470/statm: 3406581 18165 2247 9 0 3397315 0
[pid=1470/tid=1471] ppid=1468 vsize=13626324 CPUtime=0.67 cores=1,3,5,7
/proc/1470/task/1471/stat : 1471 (java) R 1468 1470 31984 0 -1 4202560 14376 0 1 0 66 1 0 0 25 0 19 0 825012582 13953355776 18165 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 46912505557036 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 13626324
[startup+1.50112 s]
/proc/loadavg: 2.34 3.12 3.53 3/423 1489
/proc/meminfo: memFree=23622860/32951124 swapFree=49244120/67111528
[pid=1470] ppid=1468 vsize=13626324 CPUtime=1.89 cores=1,3,5,7
/proc/1470/stat : 1470 (java) S 1468 1470 31984 0 -1 4202496 20534 0 1 0 186 3 0 0 18 0 19 0 825012581 13953355776 18741 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1470/statm: 3406581 18741 2248 9 0 3397315 0
[pid=1470/tid=1471] ppid=1468 vsize=13626324 CPUtime=1.42 cores=1,3,5,7
/proc/1470/task/1471/stat : 1471 (java) R 1468 1470 31984 0 -1 4202560 14378 0 1 0 141 1 0 0 25 0 19 0 825012582 13953355776 18741 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 46912505614311 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1470/tid=1473] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1473/stat : 1473 (java) S 1468 1470 31984 0 -1 4202560 133 0 0 0 0 0 0 0 15 0 19 0 825012584 13953355776 18741 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 5 0 0 0
[pid=1470/tid=1474] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1474/stat : 1474 (java) S 1468 1470 31984 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 19 0 825012584 13953355776 18741 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 5 0 0 0
[pid=1470/tid=1475] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1475/stat : 1475 (java) S 1468 1470 31984 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 825012584 13953355776 18741 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1476] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1476/stat : 1476 (java) S 1468 1470 31984 0 -1 4202560 117 0 0 0 0 0 0 0 16 0 19 0 825012584 13953355776 18741 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
[pid=1470/tid=1477] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1477/stat : 1477 (java) S 1468 1470 31984 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 19 0 825012584 13953355776 18741 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1478] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1478/stat : 1478 (java) S 1468 1470 31984 0 -1 4202560 114 0 0 0 0 0 0 0 16 0 19 0 825012584 13953355776 18741 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 5 0 0 0
[pid=1470/tid=1479] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1479/stat : 1479 (java) S 1468 1470 31984 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 825012584 13953355776 18741 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 5 0 0 0
[pid=1470/tid=1480] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1480/stat : 1480 (java) S 1468 1470 31984 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 825012584 13953355776 18741 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1481] ppid=1468 vsize=13626324 CPUtime=0.05 cores=1,3,5,7
/proc/1470/task/1481/stat : 1481 (java) S 1468 1470 31984 0 -1 4202560 403 0 0 0 5 0 0 0 15 0 19 0 825012585 13953355776 18741 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773760 0 0 0 16800975 18446604461693348736 0 0 -1 7 0 0 0
[pid=1470/tid=1482] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1482/stat : 1482 (java) S 1468 1470 31984 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 825012585 13953355776 18741 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1483] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1483/stat : 1483 (java) S 1468 1470 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825012585 13953355776 18741 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1484] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1484/stat : 1484 (java) S 1468 1470 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825012587 13953355776 18741 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382780849 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1485] ppid=1468 vsize=13626324 CPUtime=0.18 cores=1,3,5,7
/proc/1470/task/1485/stat : 1485 (java) S 1468 1470 31984 0 -1 4202560 2075 0 0 0 18 0 0 0 16 0 19 0 825012587 13953355776 18741 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 5 0 0 0
[pid=1470/tid=1486] ppid=1468 vsize=13626324 CPUtime=0.19 cores=1,3,5,7
/proc/1470/task/1486/stat : 1486 (java) S 1468 1470 31984 0 -1 4202560 1957 0 0 0 19 0 0 0 17 0 19 0 825012588 13953355776 18741 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 7 0 0 0
[pid=1470/tid=1487] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1487/stat : 1487 (java) S 1468 1470 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825012588 13953355776 18741 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1488] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1488/stat : 1488 (java) S 1468 1470 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825012588 13953355776 18741 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773760 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
[pid=1470/tid=1489] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1489/stat : 1489 (java) S 1468 1470 31984 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825012598 13953355776 18741 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773760 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13626324
[startup+3.10084 s]
/proc/loadavg: 2.31 3.10 3.52 3/423 1489
/proc/meminfo: memFree=23620876/32951124 swapFree=49244120/67111528
[pid=1470] ppid=1468 vsize=13626324 CPUtime=3.49 cores=1,3,5,7
/proc/1470/stat : 1470 (java) S 1468 1470 31984 0 -1 4202496 20766 0 1 0 346 3 0 0 18 0 19 0 825012581 13953355776 18969 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1470/statm: 3406581 18969 2248 9 0 3397315 0
[pid=1470/tid=1471] ppid=1468 vsize=13626324 CPUtime=2.96 cores=1,3,5,7
/proc/1470/task/1471/stat : 1471 (java) R 1468 1470 31984 0 -1 4202560 14382 0 1 0 295 1 0 0 25 0 19 0 825012582 13953355776 18969 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 46912505728528 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1470/tid=1473] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1473/stat : 1473 (java) S 1468 1470 31984 0 -1 4202560 133 0 0 0 0 0 0 0 15 0 19 0 825012584 13953355776 18969 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1474] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1474/stat : 1474 (java) S 1468 1470 31984 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 825012584 13953355776 18969 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1475] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1475/stat : 1475 (java) S 1468 1470 31984 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 19 0 825012584 13953355776 18969 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1476] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1476/stat : 1476 (java) S 1468 1470 31984 0 -1 4202560 117 0 0 0 0 0 0 0 16 0 19 0 825012584 13953355776 18969 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
[pid=1470/tid=1477] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1477/stat : 1477 (java) S 1468 1470 31984 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 19 0 825012584 13953355776 18969 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1478] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1478/stat : 1478 (java) S 1468 1470 31984 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 19 0 825012584 13953355776 18969 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 7 0 0 0
[pid=1470/tid=1479] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1479/stat : 1479 (java) S 1468 1470 31984 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 825012584 13953355776 18969 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 7 0 0 0
[pid=1470/tid=1480] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1480/stat : 1480 (java) S 1468 1470 31984 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 825012584 13953355776 18969 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1481] ppid=1468 vsize=13626324 CPUtime=0.1 cores=1,3,5,7
/proc/1470/task/1481/stat : 1481 (java) S 1468 1470 31984 0 -1 4202560 625 0 0 0 10 0 0 0 15 0 19 0 825012585 13953355776 18969 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773760 0 0 0 16800975 18446604461693348736 0 0 -1 5 0 0 0
[pid=1470/tid=1482] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1482/stat : 1482 (java) S 1468 1470 31984 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 825012585 13953355776 18969 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1483] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1483/stat : 1483 (java) S 1468 1470 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825012585 13953355776 18969 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1484] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1484/stat : 1484 (java) S 1468 1470 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825012587 13953355776 18969 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382780849 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1485] ppid=1468 vsize=13626324 CPUtime=0.18 cores=1,3,5,7
/proc/1470/task/1485/stat : 1485 (java) S 1468 1470 31984 0 -1 4202560 2075 0 0 0 18 0 0 0 16 0 19 0 825012587 13953355776 18969 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 5 0 0 0
[pid=1470/tid=1486] ppid=1468 vsize=13626324 CPUtime=0.19 cores=1,3,5,7
/proc/1470/task/1486/stat : 1486 (java) S 1468 1470 31984 0 -1 4202560 1957 0 0 0 19 0 0 0 17 0 19 0 825012588 13953355776 18969 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 7 0 0 0
[pid=1470/tid=1487] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1487/stat : 1487 (java) S 1468 1470 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825012588 13953355776 18969 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1488] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1488/stat : 1488 (java) S 1468 1470 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825012588 13953355776 18969 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773760 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
[pid=1470/tid=1489] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1489/stat : 1489 (java) S 1468 1470 31984 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825012598 13953355776 18969 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773760 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 13626324
[startup+6.30156 s]
/proc/loadavg: 2.31 3.10 3.52 3/423 1489
/proc/meminfo: memFree=23620280/32951124 swapFree=49244120/67111528
[pid=1470] ppid=1468 vsize=13626324 CPUtime=6.7 cores=1,3,5,7
/proc/1470/stat : 1470 (java) S 1468 1470 31984 0 -1 4202496 20822 0 1 0 667 3 0 0 18 0 19 0 825012581 13953355776 18876 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1470/statm: 3406581 18876 2248 9 0 3397315 0
[pid=1470/tid=1471] ppid=1468 vsize=13626324 CPUtime=6.02 cores=1,3,5,7
/proc/1470/task/1471/stat : 1471 (java) S 1468 1470 31984 0 -1 4202560 14392 0 1 0 601 1 0 0 20 0 19 0 825012582 13953355776 18876 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1473] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1473/stat : 1473 (java) R 1468 1470 31984 0 -1 4202560 134 0 0 0 0 0 0 0 15 0 19 0 825012584 13953355776 18876 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218370910519 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1470/tid=1474] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1474/stat : 1474 (java) R 1468 1470 31984 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 825012584 13953355776 18876 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382774214 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1470/tid=1475] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1475/stat : 1475 (java) S 1468 1470 31984 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 19 0 825012584 13953355776 18876 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1476] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1476/stat : 1476 (java) S 1468 1470 31984 0 -1 4202560 117 0 0 0 0 0 0 0 15 0 19 0 825012584 13953355776 18876 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
[pid=1470/tid=1477] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1477/stat : 1477 (java) R 1468 1470 31984 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 19 0 825012584 13953355776 18876 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218370910519 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=1470/tid=1478] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1478/stat : 1478 (java) R 1468 1470 31984 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 19 0 825012584 13953355776 18876 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=1470/tid=1479] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1479/stat : 1479 (java) S 1468 1470 31984 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 825012584 13953355776 18876 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 7 0 0 0
[pid=1470/tid=1480] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1480/stat : 1480 (java) R 1468 1470 31984 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 825012584 13953355776 18876 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218370910519 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1470/tid=1481] ppid=1468 vsize=13626324 CPUtime=0.23 cores=1,3,5,7
/proc/1470/task/1481/stat : 1481 (java) S 1468 1470 31984 0 -1 4202560 662 0 0 0 23 0 0 0 15 0 19 0 825012585 13953355776 18876 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 0 0 16800975 18446604461693348736 0 0 -1 5 0 0 0
[pid=1470/tid=1482] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1482/stat : 1482 (java) S 1468 1470 31984 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 825012585 13953355776 18876 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1483] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1483/stat : 1483 (java) S 1468 1470 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825012585 13953355776 18876 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1484] ppid=1468 vsize=13626324 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1484/stat : 1484 (java) S 1468 1470 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825012587 13953355776 18876 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382780849 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1485] ppid=1468 vsize=13626324 CPUtime=0.18 cores=1,3,5,7
/proc/1470/task/1485/stat : 1485 (java) S 1468 1470 31984 0 -1 4202560 2075 0 0 0 18 0 0 0 16 0 19 0 825012587 13953355776 18876 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 5 0 0 0
[pid=1470/tid=1486] ppid=1468 vsize=13626324 CPUtime=0.19 cores=1,3,5,7
/proc/1470/task/1486/stat : 1486 (java) S 1468 1470 31984 0 -1 4202560 1957 0 0 0 19 0 0 0 17 0 19 0 825012588 13953355776 18876 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/1470/task/1474/stat : 1474 (java) S 1468 1470 31984 0 -1 4202560 94 0 0 0 1 0 0 0 16 0 19 0 825012584 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
[pid=1470/tid=1475] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1475/stat : 1475 (java) S 1468 1470 31984 0 -1 4202560 38 0 0 0 1 0 0 0 16 0 19 0 825012584 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1476] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1476/stat : 1476 (java) S 1468 1470 31984 0 -1 4202560 117 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1477] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1477/stat : 1477 (java) S 1468 1470 31984 0 -1 4202560 56 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1478] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1478/stat : 1478 (java) S 1468 1470 31984 0 -1 4202560 115 0 0 0 1 0 0 0 16 0 19 0 825012584 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 7 0 0 0
[pid=1470/tid=1479] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1479/stat : 1479 (java) S 1468 1470 31984 0 -1 4202560 8 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1480] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1480/stat : 1480 (java) S 1468 1470 31984 0 -1 4202560 31 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
[pid=1470/tid=1481] ppid=1468 vsize=13645332 CPUtime=0.49 cores=1,3,5,7
/proc/1470/task/1481/stat : 1481 (java) S 1468 1470 31984 0 -1 4202560 726 0 0 0 49 0 0 0 15 0 19 0 825012585 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773760 0 0 0 16800975 18446604461693348736 0 0 -1 5 0 0 0
[pid=1470/tid=1482] ppid=1468 vsize=13645332 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1482/stat : 1482 (java) S 1468 1470 31984 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 825012585 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1483] ppid=1468 vsize=13645332 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1483/stat : 1483 (java) S 1468 1470 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825012585 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1484] ppid=1468 vsize=13645332 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1484/stat : 1484 (java) S 1468 1470 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825012587 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382780849 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1485] ppid=1468 vsize=13645332 CPUtime=0.21 cores=1,3,5,7
/proc/1470/task/1485/stat : 1485 (java) S 1468 1470 31984 0 -1 4202560 2314 0 0 0 21 0 0 0 15 0 19 0 825012587 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 5 0 0 0
[pid=1470/tid=1486] ppid=1468 vsize=13645332 CPUtime=0.84 cores=1,3,5,7
/proc/1470/task/1486/stat : 1486 (java) S 1468 1470 31984 0 -1 4202560 9846 0 0 0 83 1 0 0 16 0 19 0 825012588 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
[pid=1470/tid=1487] ppid=1468 vsize=13645332 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1487/stat : 1487 (java) S 1468 1470 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825012588 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1488] ppid=1468 vsize=13645332 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1488/stat : 1488 (java) S 1468 1470 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825012588 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773760 0 4 0 16800975 18446604461693348736 0 0 -1 7 0 0 0
[pid=1470/tid=1489] ppid=1468 vsize=13645332 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1489/stat : 1489 (java) S 1468 1470 31984 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825012598 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773760 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 13.82
Current children cumulated vsize (KiB) 13645332
Solver just ended. Dumping a history of the last processes samples
[startup+13.1011 s]
/proc/loadavg: 2.26 3.06 3.50 3/423 1489
/proc/meminfo: memFree=23598492/32951124 swapFree=49244120/67111528
[pid=1470] ppid=1468 vsize=13645332 CPUtime=14.23 cores=1,3,5,7
/proc/1470/stat : 1470 (java) S 1468 1470 31984 0 -1 4202496 29044 0 1 0 1418 5 0 0 18 0 19 0 825012581 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1470/statm: 3411333 24033 2250 9 0 3402067 0
[pid=1470/tid=1471] ppid=1468 vsize=13645332 CPUtime=12.49 cores=1,3,5,7
/proc/1470/task/1471/stat : 1471 (java) R 1468 1470 31984 0 -1 4202560 14411 0 1 0 1248 1 0 0 18 0 19 0 825012582 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 46912505166942 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1470/tid=1473] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1473/stat : 1473 (java) S 1468 1470 31984 0 -1 4202560 137 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1474] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1474/stat : 1474 (java) S 1468 1470 31984 0 -1 4202560 94 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
[pid=1470/tid=1475] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1475/stat : 1475 (java) S 1468 1470 31984 0 -1 4202560 38 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 7 0 0 0
[pid=1470/tid=1476] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1476/stat : 1476 (java) S 1468 1470 31984 0 -1 4202560 117 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
[pid=1470/tid=1477] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1477/stat : 1477 (java) S 1468 1470 31984 0 -1 4202560 56 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 7 0 0 0
[pid=1470/tid=1478] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1478/stat : 1478 (java) S 1468 1470 31984 0 -1 4202560 115 0 0 0 1 0 0 0 16 0 19 0 825012584 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 7 0 0 0
[pid=1470/tid=1479] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1479/stat : 1479 (java) S 1468 1470 31984 0 -1 4202560 8 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1480] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1480/stat : 1480 (java) S 1468 1470 31984 0 -1 4202560 31 0 0 0 1 0 0 0 16 0 19 0 825012584 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
[pid=1470/tid=1481] ppid=1468 vsize=13645332 CPUtime=0.52 cores=1,3,5,7
/proc/1470/task/1481/stat : 1481 (java) S 1468 1470 31984 0 -1 4202560 726 0 0 0 52 0 0 0 15 0 19 0 825012585 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773760 0 0 0 16800975 18446604461693348736 0 0 -1 5 0 0 0
[pid=1470/tid=1482] ppid=1468 vsize=13645332 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1482/stat : 1482 (java) S 1468 1470 31984 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 825012585 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1483] ppid=1468 vsize=13645332 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1483/stat : 1483 (java) S 1468 1470 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825012585 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1484] ppid=1468 vsize=13645332 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1484/stat : 1484 (java) S 1468 1470 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825012587 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382780849 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1485] ppid=1468 vsize=13645332 CPUtime=0.21 cores=1,3,5,7
/proc/1470/task/1485/stat : 1485 (java) S 1468 1470 31984 0 -1 4202560 2314 0 0 0 21 0 0 0 15 0 19 0 825012587 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 5 0 0 0
[pid=1470/tid=1486] ppid=1468 vsize=13645332 CPUtime=0.84 cores=1,3,5,7
/proc/1470/task/1486/stat : 1486 (java) S 1468 1470 31984 0 -1 4202560 9846 0 0 0 83 1 0 0 16 0 19 0 825012588 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
[pid=1470/tid=1487] ppid=1468 vsize=13645332 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1487/stat : 1487 (java) S 1468 1470 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825012588 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1488] ppid=1468 vsize=13645332 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1488/stat : 1488 (java) R 1468 1470 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825012588 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773760 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=1470/tid=1489] ppid=1468 vsize=13645332 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1489/stat : 1489 (java) S 1468 1470 31984 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825012598 13972819968 24033 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773760 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 14.23
Current children cumulated vsize (KiB) 13645332
[startup+13.501 s]
/proc/loadavg: 2.26 3.06 3.50 3/423 1489
/proc/meminfo: memFree=23598492/32951124 swapFree=49244120/67111528
[pid=1470] ppid=1468 vsize=13645332 CPUtime=14.63 cores=1,3,5,7
/proc/1470/stat : 1470 (java) S 1468 1470 31984 0 -1 4202496 29058 0 1 0 1458 5 0 0 18 0 19 0 825012581 13972819968 24046 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1470/statm: 3411333 24046 2250 9 0 3402067 0
[pid=1470/tid=1471] ppid=1468 vsize=13645332 CPUtime=12.86 cores=1,3,5,7
/proc/1470/task/1471/stat : 1471 (java) R 1468 1470 31984 0 -1 4202560 14412 0 1 0 1285 1 0 0 18 0 19 0 825012582 13972819968 24046 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 46912505558956 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1470/tid=1473] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1473/stat : 1473 (java) S 1468 1470 31984 0 -1 4202560 137 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24046 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1474] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1474/stat : 1474 (java) S 1468 1470 31984 0 -1 4202560 94 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24046 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
[pid=1470/tid=1475] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1475/stat : 1475 (java) S 1468 1470 31984 0 -1 4202560 38 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24046 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 7 0 0 0
[pid=1470/tid=1476] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1476/stat : 1476 (java) S 1468 1470 31984 0 -1 4202560 117 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24046 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
[pid=1470/tid=1477] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1477/stat : 1477 (java) S 1468 1470 31984 0 -1 4202560 56 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24046 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1478] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1478/stat : 1478 (java) S 1468 1470 31984 0 -1 4202560 115 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24046 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 7 0 0 0
[pid=1470/tid=1479] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1479/stat : 1479 (java) S 1468 1470 31984 0 -1 4202560 8 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24046 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1480] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1480/stat : 1480 (java) S 1468 1470 31984 0 -1 4202560 31 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24046 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
[pid=1470/tid=1481] ppid=1468 vsize=13645332 CPUtime=0.54 cores=1,3,5,7
/proc/1470/task/1481/stat : 1481 (java) S 1468 1470 31984 0 -1 4202560 739 0 0 0 54 0 0 0 15 0 19 0 825012585 13972819968 24046 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773760 0 0 0 16800975 18446604461693348736 0 0 -1 5 0 0 0
[pid=1470/tid=1482] ppid=1468 vsize=13645332 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1482/stat : 1482 (java) S 1468 1470 31984 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 825012585 13972819968 24046 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1483] ppid=1468 vsize=13645332 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1483/stat : 1483 (java) S 1468 1470 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825012585 13972819968 24046 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1484] ppid=1468 vsize=13645332 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1484/stat : 1484 (java) S 1468 1470 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825012587 13972819968 24046 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382780849 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1485] ppid=1468 vsize=13645332 CPUtime=0.21 cores=1,3,5,7
/proc/1470/task/1485/stat : 1485 (java) S 1468 1470 31984 0 -1 4202560 2314 0 0 0 21 0 0 0 15 0 19 0 825012587 13972819968 24046 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 5 0 0 0
[pid=1470/tid=1486] ppid=1468 vsize=13645332 CPUtime=0.84 cores=1,3,5,7
/proc/1470/task/1486/stat : 1486 (java) S 1468 1470 31984 0 -1 4202560 9846 0 0 0 83 1 0 0 15 0 19 0 825012588 13972819968 24046 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
[pid=1470/tid=1487] ppid=1468 vsize=13645332 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1487/stat : 1487 (java) S 1468 1470 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825012588 13972819968 24046 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1488] ppid=1468 vsize=13645332 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1488/stat : 1488 (java) S 1468 1470 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825012588 13972819968 24046 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773760 0 4 0 16800975 18446604461693348736 0 0 -1 7 0 0 0
[pid=1470/tid=1489] ppid=1468 vsize=13645332 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1489/stat : 1489 (java) S 1468 1470 31984 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825012598 13972819968 24046 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773760 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 14.63
Current children cumulated vsize (KiB) 13645332
[startup+13.601 s]
/proc/loadavg: 2.26 3.06 3.50 3/423 1489
/proc/meminfo: memFree=23598492/32951124 swapFree=49244120/67111528
[pid=1470] ppid=1468 vsize=13645332 CPUtime=14.74 cores=1,3,5,7
/proc/1470/stat : 1470 (java) S 1468 1470 31984 0 -1 4202496 29163 0 1 0 1469 5 0 0 18 0 19 0 825012581 13972819968 24090 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1470/statm: 3411333 24090 2250 9 0 3402067 0
[pid=1470/tid=1471] ppid=1468 vsize=13645332 CPUtime=12.96 cores=1,3,5,7
/proc/1470/task/1471/stat : 1471 (java) R 1468 1470 31984 0 -1 4202560 14414 0 1 0 1295 1 0 0 19 0 19 0 825012582 13972819968 24090 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 46912505541037 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1470/tid=1473] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1473/stat : 1473 (java) S 1468 1470 31984 0 -1 4202560 137 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24090 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1474] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1474/stat : 1474 (java) S 1468 1470 31984 0 -1 4202560 94 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24090 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
[pid=1470/tid=1475] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1475/stat : 1475 (java) S 1468 1470 31984 0 -1 4202560 38 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24090 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 7 0 0 0
[pid=1470/tid=1476] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1476/stat : 1476 (java) S 1468 1470 31984 0 -1 4202560 117 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24090 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
[pid=1470/tid=1477] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1477/stat : 1477 (java) S 1468 1470 31984 0 -1 4202560 56 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24090 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1478] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1478/stat : 1478 (java) S 1468 1470 31984 0 -1 4202560 115 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24090 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 7 0 0 0
[pid=1470/tid=1479] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1479/stat : 1479 (java) S 1468 1470 31984 0 -1 4202560 8 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24090 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1480] ppid=1468 vsize=13645332 CPUtime=0.01 cores=1,3,5,7
/proc/1470/task/1480/stat : 1480 (java) S 1468 1470 31984 0 -1 4202560 31 0 0 0 1 0 0 0 15 0 19 0 825012584 13972819968 24090 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
[pid=1470/tid=1481] ppid=1468 vsize=13645332 CPUtime=0.54 cores=1,3,5,7
/proc/1470/task/1481/stat : 1481 (java) S 1468 1470 31984 0 -1 4202560 739 0 0 0 54 0 0 0 15 0 19 0 825012585 13972819968 24090 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773760 0 0 0 16800975 18446604461693348736 0 0 -1 5 0 0 0
[pid=1470/tid=1482] ppid=1468 vsize=13645332 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1482/stat : 1482 (java) S 1468 1470 31984 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 825012585 13972819968 24090 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1483] ppid=1468 vsize=13645332 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1483/stat : 1483 (java) S 1468 1470 31984 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825012585 13972819968 24090 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1484] ppid=1468 vsize=13645332 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1484/stat : 1484 (java) S 1468 1470 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825012587 13972819968 24090 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382780849 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1485] ppid=1468 vsize=13645332 CPUtime=0.22 cores=1,3,5,7
/proc/1470/task/1485/stat : 1485 (java) S 1468 1470 31984 0 -1 4202560 2417 0 0 0 22 0 0 0 15 0 19 0 825012587 13972819968 24090 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 5 0 0 0
[pid=1470/tid=1486] ppid=1468 vsize=13645332 CPUtime=0.85 cores=1,3,5,7
/proc/1470/task/1486/stat : 1486 (java) S 1468 1470 31984 0 -1 4202560 9846 0 0 0 84 1 0 0 15 0 19 0 825012588 13972819968 24090 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
[pid=1470/tid=1487] ppid=1468 vsize=13645332 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1487/stat : 1487 (java) S 1468 1470 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825012588 13972819968 24090 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773145 0 4 0 16800975 18446604461693348736 0 0 -1 3 0 0 0
[pid=1470/tid=1488] ppid=1468 vsize=13645332 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1488/stat : 1488 (java) S 1468 1470 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825012588 13972819968 24090 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773760 0 4 0 16800975 18446604461693348736 0 0 -1 7 0 0 0
[pid=1470/tid=1489] ppid=1468 vsize=13645332 CPUtime=0 cores=1,3,5,7
/proc/1470/task/1489/stat : 1489 (java) S 1468 1470 31984 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825012598 13972819968 24090 33554432000 1073741824 1073778376 140733370732992 18446744073709551615 218382773760 0 4 0 16800975 18446604461693348736 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 14.74
Current children cumulated vsize (KiB) 13645332
Child status: 20
Real time (s): 13.6538
CPU time (s): 14.8077
CPU user time (s): 14.7518
CPU system time (s): 0.055991
CPU usage (%): 108.452
Max. virtual memory (cumulated for all children) (KiB): 13648948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.7518
system time used= 0.055991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29190
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= 1443
involuntary context switches= 864
runsolver used 0.057991 second user time and 0.12798 second system time
The end