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-3457949-1307166039/watcher-3457949-1307166039 -o /tmp/evaluation-result-3457949-1307166039/solver-3457949-1307166039 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3457949-1307166039.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.86 2.01 1.99 2/590 32462
/proc/meminfo: memFree=31626352/32950928 swapFree=43925852/67111528
[pid=32462] ppid=32460 vsize=13526316 CPUtime=0.01 cores=0,2,4,6
/proc/32462/stat : 32462 (java) S 32460 32462 32216 0 -1 4202496 9923 0 1 0 0 1 0 0 25 0 2 0 828202693 13850947584 9625 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/32462/statm: 3381579 9639 917 9 0 3372735 0
[pid=32462/tid=32463] ppid=32460 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32463/stat : 32463 (java) R 32460 32462 32216 0 -1 4202560 9094 0 1 0 0 0 0 0 25 0 2 0 828202693 13850947584 9909 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268272383035 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0455101 s]
/proc/loadavg: 1.86 2.01 1.99 2/590 32462
/proc/meminfo: memFree=31626352/32950928 swapFree=43925852/67111528
[pid=32462] ppid=32460 vsize=13549480 CPUtime=0.04 cores=0,2,4,6
/proc/32462/stat : 32462 (java) S 32460 32462 32216 0 -1 4202496 13756 0 1 0 3 1 0 0 25 0 13 0 828202693 13874667520 13453 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/32462/statm: 3387370 13453 1673 9 0 3378118 0
[pid=32462/tid=32463] ppid=32460 vsize=13549480 CPUtime=0.03 cores=0,2,4,6
/proc/32462/task/32463/stat : 32463 (java) R 32460 32462 32216 0 -1 4202560 12610 0 1 0 2 1 0 0 25 0 13 0 828202693 13874667520 13453 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 46912505099412 0 4 0 16784584 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549480
[startup+0.105402 s]
/proc/loadavg: 1.86 2.01 1.99 2/590 32462
/proc/meminfo: memFree=31626352/32950928 swapFree=43925852/67111528
[pid=32462] ppid=32460 vsize=13622100 CPUtime=0.1 cores=0,2,4,6
/proc/32462/stat : 32462 (java) S 32460 32462 32216 0 -1 4202496 15620 0 1 0 9 1 0 0 25 0 18 0 828202693 13949030400 15317 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32462/statm: 3405525 15317 2092 9 0 3396259 0
[pid=32462/tid=32463] ppid=32460 vsize=13622100 CPUtime=0.09 cores=0,2,4,6
/proc/32462/task/32463/stat : 32463 (java) R 32460 32462 32216 0 -1 4202560 13719 0 1 0 8 1 0 0 25 0 18 0 828202693 13949030400 15317 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622100
[startup+0.300317 s]
/proc/loadavg: 1.86 2.01 1.99 2/590 32462
/proc/meminfo: memFree=31626352/32950928 swapFree=43925852/67111528
[pid=32462] ppid=32460 vsize=13624460 CPUtime=0.48 cores=0,2,4,6
/proc/32462/stat : 32462 (java) S 32460 32462 32216 0 -1 4202496 18704 0 1 0 46 2 0 0 25 0 18 0 828202693 13951447040 18012 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32462/statm: 3406115 18012 2200 9 0 3396849 0
[pid=32462/tid=32463] ppid=32460 vsize=13624460 CPUtime=0.28 cores=0,2,4,6
/proc/32462/task/32463/stat : 32463 (java) R 32460 32462 32216 0 -1 4202560 15569 0 1 0 27 1 0 0 25 0 18 0 828202693 13951447040 18013 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 46912505578804 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13624460
[startup+0.700306 s]
/proc/loadavg: 1.86 2.01 1.99 2/590 32462
/proc/meminfo: memFree=31626352/32950928 swapFree=43925852/67111528
[pid=32462] ppid=32460 vsize=13628420 CPUtime=1.41 cores=0,2,4,6
/proc/32462/stat : 32462 (java) S 32460 32462 32216 0 -1 4202496 37570 0 1 0 137 4 0 0 25 0 19 0 828202693 13955502080 34960 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32462/statm: 3407105 34960 2234 9 0 3397839 0
[pid=32462/tid=32463] ppid=32460 vsize=13628420 CPUtime=0.68 cores=0,2,4,6
/proc/32462/task/32463/stat : 32463 (java) R 32460 32462 32216 0 -1 4202560 30999 0 1 0 65 3 0 0 18 0 19 0 828202693 13955502080 34960 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 46912505830848 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 13628420
[startup+1.5011 s]
/proc/loadavg: 1.87 2.00 1.99 3/588 32485
/proc/meminfo: memFree=31715560/32950928 swapFree=43925852/67111528
[pid=32462] ppid=32460 vsize=13628420 CPUtime=2.41 cores=0,2,4,6
/proc/32462/stat : 32462 (java) S 32460 32462 32216 0 -1 4202496 40422 0 1 0 236 5 0 0 25 0 19 0 828202693 13955502080 37688 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32462/statm: 3407105 37688 2263 9 0 3397839 0
[pid=32462/tid=32463] ppid=32460 vsize=13628420 CPUtime=1.43 cores=0,2,4,6
/proc/32462/task/32463/stat : 32463 (java) R 32460 32462 32216 0 -1 4202560 31361 0 1 0 140 3 0 0 18 0 19 0 828202693 13955502080 37688 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 46912505888020 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32462/tid=32465] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32465/stat : 32465 (java) S 32460 32462 32216 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37688 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 2 0 0 0
[pid=32462/tid=32466] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32466/stat : 32466 (java) S 32460 32462 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37688 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 2 0 0 0
[pid=32462/tid=32467] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32467/stat : 32467 (java) S 32460 32462 32216 0 -1 4202560 130 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37688 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 4 0 0 0
[pid=32462/tid=32468] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32468/stat : 32468 (java) S 32460 32462 32216 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37688 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 2 0 0 0
[pid=32462/tid=32469] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32469/stat : 32469 (java) S 32460 32462 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37688 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 4 0 0 0
[pid=32462/tid=32470] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32470/stat : 32470 (java) S 32460 32462 32216 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37688 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 4 0 0 0
[pid=32462/tid=32471] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32471/stat : 32471 (java) S 32460 32462 32216 0 -1 4202560 404 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37688 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 2 0 0 0
[pid=32462/tid=32472] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32472/stat : 32472 (java) S 32460 32462 32216 0 -1 4202560 460 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37688 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 2 0 0 0
[pid=32462/tid=32473] ppid=32460 vsize=13628420 CPUtime=0.04 cores=0,2,4,6
/proc/32462/task/32473/stat : 32473 (java) S 32460 32462 32216 0 -1 4202560 1090 0 0 0 4 0 0 0 15 0 19 0 828202696 13955502080 37688 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284505600 0 0 0 16800975 18446604450755081344 0 0 -1 6 0 0 0
[pid=32462/tid=32474] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32474/stat : 32474 (java) S 32460 32462 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828202697 13955502080 37688 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 6 0 0 0
[pid=32462/tid=32475] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32475/stat : 32475 (java) S 32460 32462 32216 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828202697 13955502080 37688 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 6 0 0 0
[pid=32462/tid=32476] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32476/stat : 32476 (java) S 32460 32462 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828202699 13955502080 37688 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284512689 0 4 0 16800975 18446604450755081344 0 0 -1 6 0 0 0
[pid=32462/tid=32477] ppid=32460 vsize=13628420 CPUtime=0.43 cores=0,2,4,6
/proc/32462/task/32477/stat : 32477 (java) S 32460 32462 32216 0 -1 4202560 2120 0 0 0 43 0 0 0 21 0 19 0 828202699 13955502080 37688 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 0 0 0 0
[pid=32462/tid=32478] ppid=32460 vsize=13628420 CPUtime=0.45 cores=0,2,4,6
/proc/32462/task/32478/stat : 32478 (java) S 32460 32462 32216 0 -1 4202560 3481 0 0 0 45 0 0 0 21 0 19 0 828202699 13955502080 37688 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 4 0 0 0
[pid=32462/tid=32479] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32479/stat : 32479 (java) S 32460 32462 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828202699 13955502080 37688 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 6 0 0 0
[pid=32462/tid=32480] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32480/stat : 32480 (java) S 32460 32462 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828202699 13955502080 37688 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284505600 0 4 0 16800975 18446604450755081344 0 0 -1 4 0 0 0
[pid=32462/tid=32482] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32482/stat : 32482 (java) S 32460 32462 32216 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828202746 13955502080 37688 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284505600 0 4 0 16800975 18446604450755081344 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 13628420
Solver just ended. Dumping a history of the last processes samples
[startup+2.30107 s]
/proc/loadavg: 1.87 2.00 1.99 3/609 32528
/proc/meminfo: memFree=31574896/32950928 swapFree=43925852/67111528
[pid=32462] ppid=32460 vsize=13628420 CPUtime=3.27 cores=0,2,4,6
/proc/32462/stat : 32462 (java) S 32460 32462 32216 0 -1 4202496 41194 0 1 0 322 5 0 0 25 0 19 0 828202693 13955502080 37794 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32462/statm: 3407105 37794 2263 9 0 3397839 0
[pid=32462/tid=32463] ppid=32460 vsize=13628420 CPUtime=2.18 cores=0,2,4,6
/proc/32462/task/32463/stat : 32463 (java) R 32460 32462 32216 0 -1 4202560 31361 0 1 0 215 3 0 0 19 0 19 0 828202693 13955502080 37794 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 46912505855588 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32462/tid=32465] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32465/stat : 32465 (java) S 32460 32462 32216 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37794 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 2 0 0 0
[pid=32462/tid=32466] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32466/stat : 32466 (java) S 32460 32462 32216 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37794 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 2 0 0 0
[pid=32462/tid=32467] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32467/stat : 32467 (java) S 32460 32462 32216 0 -1 4202560 130 0 0 0 0 0 0 0 16 0 19 0 828202695 13955502080 37794 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 4 0 0 0
[pid=32462/tid=32468] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32468/stat : 32468 (java) S 32460 32462 32216 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37794 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 0 0 0 0
[pid=32462/tid=32469] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32469/stat : 32469 (java) S 32460 32462 32216 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37794 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 4 0 0 0
[pid=32462/tid=32470] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32470/stat : 32470 (java) S 32460 32462 32216 0 -1 4202560 101 0 0 0 0 0 0 0 16 0 19 0 828202695 13955502080 37794 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 2 0 0 0
[pid=32462/tid=32471] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32471/stat : 32471 (java) S 32460 32462 32216 0 -1 4202560 404 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37794 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 2 0 0 0
[pid=32462/tid=32472] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32472/stat : 32472 (java) S 32460 32462 32216 0 -1 4202560 460 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37794 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 2 0 0 0
[pid=32462/tid=32473] ppid=32460 vsize=13628420 CPUtime=0.08 cores=0,2,4,6
/proc/32462/task/32473/stat : 32473 (java) S 32460 32462 32216 0 -1 4202560 1175 0 0 0 8 0 0 0 15 0 19 0 828202696 13955502080 37794 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284505600 0 0 0 16800975 18446604450755081344 0 0 -1 6 0 0 0
[pid=32462/tid=32474] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32474/stat : 32474 (java) S 32460 32462 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828202697 13955502080 37794 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 6 0 0 0
[pid=32462/tid=32475] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32475/stat : 32475 (java) S 32460 32462 32216 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828202697 13955502080 37794 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 6 0 0 0
[pid=32462/tid=32476] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32476/stat : 32476 (java) S 32460 32462 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828202699 13955502080 37794 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284512689 0 4 0 16800975 18446604450755081344 0 0 -1 6 0 0 0
[pid=32462/tid=32477] ppid=32460 vsize=13628420 CPUtime=0.44 cores=0,2,4,6
/proc/32462/task/32477/stat : 32477 (java) S 32460 32462 32216 0 -1 4202560 2120 0 0 0 44 0 0 0 15 0 19 0 828202699 13955502080 37794 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 0 0 0 0
[pid=32462/tid=32478] ppid=32460 vsize=13628420 CPUtime=0.51 cores=0,2,4,6
/proc/32462/task/32478/stat : 32478 (java) S 32460 32462 32216 0 -1 4202560 4159 0 0 0 51 0 0 0 15 0 19 0 828202699 13955502080 37794 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 4 0 0 0
[pid=32462/tid=32479] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32479/stat : 32479 (java) S 32460 32462 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828202699 13955502080 37794 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 6 0 0 0
[pid=32462/tid=32480] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32480/stat : 32480 (java) S 32460 32462 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828202699 13955502080 37794 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284505600 0 4 0 16800975 18446604450755081344 0 0 -1 0 0 0 0
[pid=32462/tid=32482] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32482/stat : 32482 (java) S 32460 32462 32216 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828202746 13955502080 37794 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284505600 0 4 0 16800975 18446604450755081344 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.27
Current children cumulated vsize (KiB) 13628420
[startup+2.50197 s]
/proc/loadavg: 1.87 2.00 1.99 3/609 32528
/proc/meminfo: memFree=31574896/32950928 swapFree=43925852/67111528
[pid=32462] ppid=32460 vsize=13628420 CPUtime=3.47 cores=0,2,4,6
/proc/32462/stat : 32462 (java) S 32460 32462 32216 0 -1 4202496 41197 0 1 0 342 5 0 0 25 0 19 0 828202693 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32462/statm: 3407105 37797 2263 9 0 3397839 0
[pid=32462/tid=32463] ppid=32460 vsize=13628420 CPUtime=2.36 cores=0,2,4,6
/proc/32462/task/32463/stat : 32463 (java) S 32460 32462 32216 0 -1 4202560 31361 0 1 0 233 3 0 0 19 0 19 0 828202693 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 2 0 0 0
[pid=32462/tid=32465] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32465/stat : 32465 (java) S 32460 32462 32216 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 2 0 0 0
[pid=32462/tid=32466] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32466/stat : 32466 (java) S 32460 32462 32216 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 2 0 0 0
[pid=32462/tid=32467] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32467/stat : 32467 (java) S 32460 32462 32216 0 -1 4202560 130 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 4 0 0 0
[pid=32462/tid=32468] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32468/stat : 32468 (java) S 32460 32462 32216 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 0 0 0 0
[pid=32462/tid=32469] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32469/stat : 32469 (java) S 32460 32462 32216 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 4 0 0 0
[pid=32462/tid=32470] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32470/stat : 32470 (java) S 32460 32462 32216 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 2 0 0 0
[pid=32462/tid=32471] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32471/stat : 32471 (java) S 32460 32462 32216 0 -1 4202560 405 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 2 0 0 0
[pid=32462/tid=32472] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32472/stat : 32472 (java) S 32460 32462 32216 0 -1 4202560 460 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 2 0 0 0
[pid=32462/tid=32473] ppid=32460 vsize=13628420 CPUtime=0.1 cores=0,2,4,6
/proc/32462/task/32473/stat : 32473 (java) R 32460 32462 32216 0 -1 4202560 1175 0 0 0 10 0 0 0 15 0 19 0 828202696 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268272383039 0 0 0 16800975 0 0 0 -1 6 0 0 0
[pid=32462/tid=32474] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32474/stat : 32474 (java) S 32460 32462 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828202697 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 6 0 0 0
[pid=32462/tid=32475] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32475/stat : 32475 (java) S 32460 32462 32216 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828202697 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 6 0 0 0
[pid=32462/tid=32476] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32476/stat : 32476 (java) S 32460 32462 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828202699 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284512689 0 4 0 16800975 18446604450755081344 0 0 -1 6 0 0 0
[pid=32462/tid=32477] ppid=32460 vsize=13628420 CPUtime=0.44 cores=0,2,4,6
/proc/32462/task/32477/stat : 32477 (java) S 32460 32462 32216 0 -1 4202560 2120 0 0 0 44 0 0 0 15 0 19 0 828202699 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 0 0 0 0
[pid=32462/tid=32478] ppid=32460 vsize=13628420 CPUtime=0.51 cores=0,2,4,6
/proc/32462/task/32478/stat : 32478 (java) S 32460 32462 32216 0 -1 4202560 4159 0 0 0 51 0 0 0 15 0 19 0 828202699 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 4 0 0 0
[pid=32462/tid=32479] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32479/stat : 32479 (java) S 32460 32462 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828202699 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 6 0 0 0
[pid=32462/tid=32480] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32480/stat : 32480 (java) S 32460 32462 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828202699 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284505600 0 4 0 16800975 18446604450755081344 0 0 -1 0 0 0 0
[pid=32462/tid=32482] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32482/stat : 32482 (java) S 32460 32462 32216 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828202746 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284505600 0 4 0 16800975 18446604450755081344 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 13628420
[startup+2.60097 s]
/proc/loadavg: 1.87 2.00 1.99 3/609 32528
/proc/meminfo: memFree=31574896/32950928 swapFree=43925852/67111528
[pid=32462] ppid=32460 vsize=13628420 CPUtime=3.57 cores=0,2,4,6
/proc/32462/stat : 32462 (java) S 32460 32462 32216 0 -1 4202496 41198 0 1 0 352 5 0 0 25 0 19 0 828202693 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32462/statm: 3407105 37797 2263 9 0 3397839 0
[pid=32462/tid=32463] ppid=32460 vsize=13628420 CPUtime=2.46 cores=0,2,4,6
/proc/32462/task/32463/stat : 32463 (java) R 32460 32462 32216 0 -1 4202560 31362 0 1 0 243 3 0 0 19 0 19 0 828202693 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 46912505790118 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32462/tid=32465] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32465/stat : 32465 (java) S 32460 32462 32216 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 2 0 0 0
[pid=32462/tid=32466] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32466/stat : 32466 (java) S 32460 32462 32216 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 2 0 0 0
[pid=32462/tid=32467] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32467/stat : 32467 (java) S 32460 32462 32216 0 -1 4202560 130 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 4 0 0 0
[pid=32462/tid=32468] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32468/stat : 32468 (java) S 32460 32462 32216 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 0 0 0 0
[pid=32462/tid=32469] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32469/stat : 32469 (java) S 32460 32462 32216 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 4 0 0 0
[pid=32462/tid=32470] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32470/stat : 32470 (java) S 32460 32462 32216 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 2 0 0 0
[pid=32462/tid=32471] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32471/stat : 32471 (java) S 32460 32462 32216 0 -1 4202560 405 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 2 0 0 0
[pid=32462/tid=32472] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32472/stat : 32472 (java) S 32460 32462 32216 0 -1 4202560 460 0 0 0 0 0 0 0 15 0 19 0 828202695 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 2 0 0 0
[pid=32462/tid=32473] ppid=32460 vsize=13628420 CPUtime=0.1 cores=0,2,4,6
/proc/32462/task/32473/stat : 32473 (java) S 32460 32462 32216 0 -1 4202560 1175 0 0 0 10 0 0 0 15 0 19 0 828202696 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284505600 0 0 0 16800975 18446604450755081344 0 0 -1 6 0 0 0
[pid=32462/tid=32474] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32474/stat : 32474 (java) S 32460 32462 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828202697 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 6 0 0 0
[pid=32462/tid=32475] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32475/stat : 32475 (java) S 32460 32462 32216 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828202697 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 6 0 0 0
[pid=32462/tid=32476] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32476/stat : 32476 (java) S 32460 32462 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828202699 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284512689 0 4 0 16800975 18446604450755081344 0 0 -1 6 0 0 0
[pid=32462/tid=32477] ppid=32460 vsize=13628420 CPUtime=0.44 cores=0,2,4,6
/proc/32462/task/32477/stat : 32477 (java) S 32460 32462 32216 0 -1 4202560 2120 0 0 0 44 0 0 0 15 0 19 0 828202699 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 0 0 0 0
[pid=32462/tid=32478] ppid=32460 vsize=13628420 CPUtime=0.51 cores=0,2,4,6
/proc/32462/task/32478/stat : 32478 (java) S 32460 32462 32216 0 -1 4202560 4159 0 0 0 51 0 0 0 15 0 19 0 828202699 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 4 0 0 0
[pid=32462/tid=32479] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32479/stat : 32479 (java) S 32460 32462 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828202699 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284504985 0 4 0 16800975 18446604450755081344 0 0 -1 6 0 0 0
[pid=32462/tid=32480] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32480/stat : 32480 (java) S 32460 32462 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828202699 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284505600 0 4 0 16800975 18446604450755081344 0 0 -1 0 0 0 0
[pid=32462/tid=32482] ppid=32460 vsize=13628420 CPUtime=0 cores=0,2,4,6
/proc/32462/task/32482/stat : 32482 (java) S 32460 32462 32216 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828202746 13955502080 37797 33554432000 1073741824 1073778376 140737000923504 18446744073709551615 268284505600 0 4 0 16800975 18446604450755081344 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 13628420
Child status: 30
Real time (s): 2.67778
CPU time (s): 3.65544
CPU user time (s): 3.59445
CPU system time (s): 0.06099
CPU usage (%): 136.51
Max. virtual memory (cumulated for all children) (KiB): 13628420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.59445
system time used= 0.06099
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41212
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= 420
involuntary context switches= 101
runsolver used 0.022996 second user time and 0.040993 second system time
The end