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-3458220-1307158390/watcher-3458220-1307158390 -o /tmp/evaluation-result-3458220-1307158390/solver-3458220-1307158390 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458220-1307158390.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.06 2.00 1.99 2/345 26573
/proc/meminfo: memFree=24055488/32951124 swapFree=67056304/67111528
[pid=26573] ppid=26571 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/26573/stat : 26573 (java) S 26571 26573 22016 0 -1 4202496 3820 0 1 0 0 0 0 0 18 0 2 0 906069545 13850947584 3522 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/26573/statm: 3381579 3535 917 9 0 3372735 0
[pid=26573/tid=26574] ppid=26571 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26574/stat : 26574 (java) R 26571 26573 22016 0 -1 4202560 2777 0 1 0 0 0 0 0 19 0 2 0 906069546 13850947584 3593 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260020089915 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.093462 s]
/proc/loadavg: 2.06 2.00 1.99 2/345 26573
/proc/meminfo: memFree=24055488/32951124 swapFree=67056304/67111528
[pid=26573] ppid=26571 vsize=13622048 CPUtime=0.1 cores=1,3,5,7
/proc/26573/stat : 26573 (java) S 26571 26573 22016 0 -1 4202496 15459 0 1 0 9 1 0 0 18 0 18 0 906069545 13948977152 15155 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26573/statm: 3405512 15155 2092 9 0 3396246 0
[pid=26573/tid=26574] ppid=26571 vsize=13622048 CPUtime=0.08 cores=1,3,5,7
/proc/26573/task/26574/stat : 26574 (java) R 26571 26573 22016 0 -1 4202560 13555 0 1 0 7 1 0 0 18 0 18 0 906069546 13948977152 15155 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260020088528 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622048
[startup+0.103335 s]
/proc/loadavg: 2.06 2.00 1.99 2/345 26573
/proc/meminfo: memFree=24055488/32951124 swapFree=67056304/67111528
[pid=26573] ppid=26571 vsize=13622048 CPUtime=0.1 cores=1,3,5,7
/proc/26573/stat : 26573 (java) S 26571 26573 22016 0 -1 4202496 15589 0 1 0 9 1 0 0 18 0 18 0 906069545 13948977152 15285 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26573/statm: 3405512 15285 2092 9 0 3396246 0
[pid=26573/tid=26574] ppid=26571 vsize=13622048 CPUtime=0.08 cores=1,3,5,7
/proc/26573/task/26574/stat : 26574 (java) R 26571 26573 22016 0 -1 4202560 13686 0 1 0 7 1 0 0 18 0 18 0 906069546 13948977152 15286 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 47607222449688 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622048
[startup+0.300297 s]
/proc/loadavg: 2.06 2.00 1.99 2/345 26573
/proc/meminfo: memFree=24055488/32951124 swapFree=67056304/67111528
[pid=26573] ppid=26571 vsize=13626292 CPUtime=0.55 cores=1,3,5,7
/proc/26573/stat : 26573 (java) S 26571 26573 22016 0 -1 4202496 18720 0 1 0 53 2 0 0 18 0 19 0 906069545 13953323008 17424 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26573/statm: 3406573 17424 2215 9 0 3397307 0
[pid=26573/tid=26574] ppid=26571 vsize=13626292 CPUtime=0.28 cores=1,3,5,7
/proc/26573/task/26574/stat : 26574 (java) R 26571 26573 22016 0 -1 4202560 14374 0 1 0 27 1 0 0 19 0 19 0 906069546 13953323008 17424 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 47607219405719 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13626292
[startup+0.700253 s]
/proc/loadavg: 2.06 2.00 1.99 2/345 26573
/proc/meminfo: memFree=24055488/32951124 swapFree=67056304/67111528
[pid=26573] ppid=26571 vsize=13626456 CPUtime=1.06 cores=1,3,5,7
/proc/26573/stat : 26573 (java) S 26571 26573 22016 0 -1 4202496 20227 0 1 0 104 2 0 0 18 0 19 0 906069545 13953490944 18521 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26573/statm: 3406614 18521 2248 9 0 3397348 0
[pid=26573/tid=26574] ppid=26571 vsize=13626456 CPUtime=0.67 cores=1,3,5,7
/proc/26573/task/26574/stat : 26574 (java) R 26571 26573 22016 0 -1 4202560 14778 0 1 0 65 2 0 0 19 0 19 0 906069546 13953490944 18521 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 46912505551576 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 13626456
[startup+1.50109 s]
/proc/loadavg: 2.06 2.00 1.99 3/364 26592
/proc/meminfo: memFree=23989392/32951124 swapFree=67056304/67111528
[pid=26573] ppid=26571 vsize=13626456 CPUtime=1.88 cores=1,3,5,7
/proc/26573/stat : 26573 (java) S 26571 26573 22016 0 -1 4202496 20931 0 1 0 186 2 0 0 18 0 19 0 906069545 13953490944 19224 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26573/statm: 3406614 19224 2248 9 0 3397348 0
[pid=26573/tid=26574] ppid=26571 vsize=13626456 CPUtime=1.46 cores=1,3,5,7
/proc/26573/task/26574/stat : 26574 (java) R 26571 26573 22016 0 -1 4202560 14780 0 1 0 144 2 0 0 20 0 19 0 906069546 13953490944 19224 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 46912505644007 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26573/tid=26576] ppid=26571 vsize=13626456 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26576/stat : 26576 (java) S 26571 26573 22016 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 19 0 906069548 13953490944 19224 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26577] ppid=26571 vsize=13626456 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26577/stat : 26577 (java) S 26571 26573 22016 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906069548 13953490944 19224 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26578] ppid=26571 vsize=13626456 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26578/stat : 26578 (java) S 26571 26573 22016 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906069548 13953490944 19224 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26579] ppid=26571 vsize=13626456 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26579/stat : 26579 (java) S 26571 26573 22016 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906069548 13953490944 19224 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26580] ppid=26571 vsize=13626456 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26580/stat : 26580 (java) S 26571 26573 22016 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 19 0 906069548 13953490944 19224 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26581] ppid=26571 vsize=13626456 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26581/stat : 26581 (java) S 26571 26573 22016 0 -1 4202560 121 0 0 0 0 0 0 0 15 0 19 0 906069548 13953490944 19224 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 5 0 0 0
[pid=26573/tid=26582] ppid=26571 vsize=13626456 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26582/stat : 26582 (java) S 26571 26573 22016 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 906069548 13953490944 19224 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26583] ppid=26571 vsize=13626456 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26583/stat : 26583 (java) S 26571 26573 22016 0 -1 4202560 396 0 0 0 0 0 0 0 15 0 19 0 906069548 13953490944 19224 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26584] ppid=26571 vsize=13626456 CPUtime=0.02 cores=1,3,5,7
/proc/26573/task/26584/stat : 26584 (java) S 26571 26573 22016 0 -1 4202560 662 0 0 0 2 0 0 0 16 0 19 0 906069549 13953490944 19224 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032212480 0 0 0 16800975 18446604467360792960 0 0 -1 1 0 0 0
[pid=26573/tid=26585] ppid=26571 vsize=13626456 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26585/stat : 26585 (java) S 26571 26573 22016 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906069549 13953490944 19224 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26586] ppid=26571 vsize=13626456 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26586/stat : 26586 (java) S 26571 26573 22016 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 906069549 13953490944 19224 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 5 0 0 0
[pid=26573/tid=26587] ppid=26571 vsize=13626456 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26587/stat : 26587 (java) S 26571 26573 22016 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906069551 13953490944 19224 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032219569 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26588] ppid=26571 vsize=13626456 CPUtime=0.18 cores=1,3,5,7
/proc/26573/task/26588/stat : 26588 (java) S 26571 26573 22016 0 -1 4202560 1453 0 0 0 18 0 0 0 15 0 19 0 906069551 13953490944 19224 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 5 0 0 0
[pid=26573/tid=26589] ppid=26571 vsize=13626456 CPUtime=0.19 cores=1,3,5,7
/proc/26573/task/26589/stat : 26589 (java) S 26571 26573 22016 0 -1 4202560 2050 0 0 0 19 0 0 0 15 0 19 0 906069551 13953490944 19224 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26590] ppid=26571 vsize=13626456 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26590/stat : 26590 (java) S 26571 26573 22016 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906069551 13953490944 19224 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26591] ppid=26571 vsize=13626456 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26591/stat : 26591 (java) S 26571 26573 22016 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906069551 13953490944 19224 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032212480 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26592] ppid=26571 vsize=13626456 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26592/stat : 26592 (java) S 26571 26573 22016 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906069564 13953490944 19224 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032212480 0 4 0 16800975 18446604467360792960 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 13626456
[startup+3.10079 s]
/proc/loadavg: 2.06 2.00 1.99 3/364 26592
/proc/meminfo: memFree=23984804/32951124 swapFree=67056304/67111528
[pid=26573] ppid=26571 vsize=13645564 CPUtime=3.73 cores=1,3,5,7
/proc/26573/stat : 26573 (java) S 26571 26573 22016 0 -1 4202496 28419 0 1 0 370 3 0 0 18 0 19 0 906069545 13973057536 24375 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26573/statm: 3411391 24375 2249 9 0 3402125 0
[pid=26573/tid=26574] ppid=26571 vsize=13645564 CPUtime=3 cores=1,3,5,7
/proc/26573/task/26574/stat : 26574 (java) R 26571 26573 22016 0 -1 4202560 14787 0 1 0 298 2 0 0 25 0 19 0 906069546 13973057536 24375 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 46912505644048 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26573/tid=26576] ppid=26571 vsize=13645564 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26576/stat : 26576 (java) S 26571 26573 22016 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 19 0 906069548 13973057536 24375 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26577] ppid=26571 vsize=13645564 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26577/stat : 26577 (java) S 26571 26573 22016 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 19 0 906069548 13973057536 24375 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26578] ppid=26571 vsize=13645564 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26578/stat : 26578 (java) S 26571 26573 22016 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 906069548 13973057536 24375 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26579] ppid=26571 vsize=13645564 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26579/stat : 26579 (java) S 26571 26573 22016 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 19 0 906069548 13973057536 24375 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26580] ppid=26571 vsize=13645564 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26580/stat : 26580 (java) S 26571 26573 22016 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 906069548 13973057536 24375 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26581] ppid=26571 vsize=13645564 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26581/stat : 26581 (java) S 26571 26573 22016 0 -1 4202560 130 0 0 0 0 0 0 0 15 0 19 0 906069548 13973057536 24375 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26582] ppid=26571 vsize=13645564 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26582/stat : 26582 (java) S 26571 26573 22016 0 -1 4202560 204 0 0 0 0 0 0 0 15 0 19 0 906069548 13973057536 24375 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26583] ppid=26571 vsize=13645564 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26583/stat : 26583 (java) S 26571 26573 22016 0 -1 4202560 428 0 0 0 0 0 0 0 15 0 19 0 906069548 13973057536 24375 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26584] ppid=26571 vsize=13645564 CPUtime=0.07 cores=1,3,5,7
/proc/26573/task/26584/stat : 26584 (java) S 26571 26573 22016 0 -1 4202560 1167 0 0 0 7 0 0 0 16 0 19 0 906069549 13973057536 24375 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032212480 0 0 0 16800975 18446604467360792960 0 0 -1 1 0 0 0
[pid=26573/tid=26585] ppid=26571 vsize=13645564 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26585/stat : 26585 (java) S 26571 26573 22016 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906069549 13973057536 24375 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26586] ppid=26571 vsize=13645564 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26586/stat : 26586 (java) S 26571 26573 22016 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 906069549 13973057536 24375 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 5 0 0 0
[pid=26573/tid=26587] ppid=26571 vsize=13645564 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26587/stat : 26587 (java) S 26571 26573 22016 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906069551 13973057536 24375 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032219569 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26588] ppid=26571 vsize=13645564 CPUtime=0.34 cores=1,3,5,7
/proc/26573/task/26588/stat : 26588 (java) R 26571 26573 22016 0 -1 4202560 7691 0 0 0 34 0 0 0 15 0 19 0 906069551 13973057536 24375 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 47607223102009 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26573/tid=26589] ppid=26571 vsize=13645564 CPUtime=0.26 cores=1,3,5,7
/proc/26573/task/26589/stat : 26589 (java) S 26571 26573 22016 0 -1 4202560 2602 0 0 0 26 0 0 0 15 0 19 0 906069551 13973057536 24375 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26590] ppid=26571 vsize=13645564 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26590/stat : 26590 (java) S 26571 26573 22016 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906069551 13973057536 24375 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26591] ppid=26571 vsize=13645564 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26591/stat : 26591 (java) S 26571 26573 22016 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906069551 13973057536 24375 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032212480 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26592] ppid=26571 vsize=13645564 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26592/stat : 26592 (java) S 26571 26573 22016 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906069564 13973057536 24375 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032212480 0 4 0 16800975 18446604467360792960 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 13645564
[startup+6.3012 s]
/proc/loadavg: 2.06 2.00 1.99 3/364 26592
/proc/meminfo: memFree=23961160/32951124 swapFree=67056304/67111528
[pid=26573] ppid=26571 vsize=13644080 CPUtime=7.35 cores=1,3,5,7
/proc/26573/stat : 26573 (java) S 26571 26573 22016 0 -1 4202496 30221 0 1 0 731 4 0 0 18 0 19 0 906069545 13971537920 25137 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26573/statm: 3411020 25137 2249 9 0 3401754 0
[pid=26573/tid=26574] ppid=26571 vsize=13644080 CPUtime=6.12 cores=1,3,5,7
/proc/26573/task/26574/stat : 26574 (java) R 26571 26573 22016 0 -1 4202560 14793 0 1 0 610 2 0 0 25 0 19 0 906069546 13971537920 25137 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 46912505518656 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26573/tid=26576] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26576/stat : 26576 (java) S 26571 26573 22016 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 19 0 906069548 13971537920 25137 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26577] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26577/stat : 26577 (java) S 26571 26573 22016 0 -1 4202560 53 0 0 0 0 0 0 0 16 0 19 0 906069548 13971537920 25137 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26578] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26578/stat : 26578 (java) S 26571 26573 22016 0 -1 4202560 24 0 0 0 0 0 0 0 16 0 19 0 906069548 13971537920 25137 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26579] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26579/stat : 26579 (java) S 26571 26573 22016 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 19 0 906069548 13971537920 25137 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26580] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26580/stat : 26580 (java) S 26571 26573 22016 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 19 0 906069548 13971537920 25137 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26581] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26581/stat : 26581 (java) S 26571 26573 22016 0 -1 4202560 154 0 0 0 0 0 0 0 16 0 19 0 906069548 13971537920 25137 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26582] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26582/stat : 26582 (java) S 26571 26573 22016 0 -1 4202560 207 0 0 0 0 0 0 0 15 0 19 0 906069548 13971537920 25137 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26583] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26583/stat : 26583 (java) S 26571 26573 22016 0 -1 4202560 449 0 0 0 0 0 0 0 15 0 19 0 906069548 13971537920 25137 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26584] ppid=26571 vsize=13644080 CPUtime=0.14 cores=1,3,5,7
/proc/26573/task/26584/stat : 26584 (java) S 26571 26573 22016 0 -1 4202560 1654 0 0 0 14 0 0 0 16 0 19 0 906069549 13971537920 25137 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032212480 0 0 0 16800975 18446604467360792960 0 0 -1 1 0 0 0
[pid=26573/tid=26585] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26585/stat : 26585 (java) S 26571 26573 22016 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906069549 13971537920 25137 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26586] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26586/stat : 26586 (java) S 26571 26573 22016 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 906069549 13971537920 25137 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 5 0 0 0
[pid=26573/tid=26587] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26587/stat : 26587 (java) S 26571 26573 22016 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906069551 13971537920 25137 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032219569 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26588] ppid=26571 vsize=13644080 CPUtime=0.74 cores=1,3,5,7
/proc/26573/task/26588/stat : 26588 (java) S 26571 26573 22016 0 -1 4202560 8916 0 0 0 74 0 0 0 16 0 19 0 906069551 13971537920 25137 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 5 0 0 0
[pid=26573/tid=26589] ppid=26571 vsize=13644080 CPUtime=0.26 cores=1,3,5,7
/proc/26573/task/26589/stat : 26589 (java) S 26571 26573 22016 0 -1 4202560 2609 0 0 0 26 0 0 0 15 0 19 0 906069551 13971537920 25137 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/26573/task/26577/stat : 26577 (java) S 26571 26573 22016 0 -1 4202560 122 0 0 0 2 0 0 0 15 0 19 0 906069548 13971537920 26635 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26578] ppid=26571 vsize=13644080 CPUtime=0.03 cores=1,3,5,7
/proc/26573/task/26578/stat : 26578 (java) S 26571 26573 22016 0 -1 4202560 106 0 0 0 3 0 0 0 15 0 19 0 906069548 13971537920 26635 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26579] ppid=26571 vsize=13644080 CPUtime=0.04 cores=1,3,5,7
/proc/26573/task/26579/stat : 26579 (java) S 26571 26573 22016 0 -1 4202560 46 0 0 0 4 0 0 0 15 0 19 0 906069548 13971537920 26635 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26580] ppid=26571 vsize=13644080 CPUtime=0.02 cores=1,3,5,7
/proc/26573/task/26580/stat : 26580 (java) S 26571 26573 22016 0 -1 4202560 117 0 0 0 2 0 0 0 16 0 19 0 906069548 13971537920 26635 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26581] ppid=26571 vsize=13644080 CPUtime=0.02 cores=1,3,5,7
/proc/26573/task/26581/stat : 26581 (java) S 26571 26573 22016 0 -1 4202560 157 0 0 0 2 0 0 0 15 0 19 0 906069548 13971537920 26635 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26582] ppid=26571 vsize=13644080 CPUtime=0.02 cores=1,3,5,7
/proc/26573/task/26582/stat : 26582 (java) S 26571 26573 22016 0 -1 4202560 238 0 0 0 2 0 0 0 16 0 19 0 906069548 13971537920 26635 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26583] ppid=26571 vsize=13644080 CPUtime=0.03 cores=1,3,5,7
/proc/26573/task/26583/stat : 26583 (java) S 26571 26573 22016 0 -1 4202560 461 0 0 0 3 0 0 0 15 0 19 0 906069548 13971537920 26635 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26584] ppid=26571 vsize=13644080 CPUtime=1.33 cores=1,3,5,7
/proc/26573/task/26584/stat : 26584 (java) S 26571 26573 22016 0 -1 4202560 2922 0 0 0 132 1 0 0 15 0 19 0 906069549 13971537920 26635 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032212480 0 0 0 16800975 18446604467360792960 0 0 -1 1 0 0 0
[pid=26573/tid=26585] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26585/stat : 26585 (java) S 26571 26573 22016 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906069549 13971537920 26635 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26586] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26586/stat : 26586 (java) S 26571 26573 22016 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 906069549 13971537920 26635 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 5 0 0 0
[pid=26573/tid=26587] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26587/stat : 26587 (java) S 26571 26573 22016 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906069551 13971537920 26635 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032219569 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26588] ppid=26571 vsize=13644080 CPUtime=0.79 cores=1,3,5,7
/proc/26573/task/26588/stat : 26588 (java) S 26571 26573 22016 0 -1 4202560 8919 0 0 0 79 0 0 0 15 0 19 0 906069551 13971537920 26635 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 5 0 0 0
[pid=26573/tid=26589] ppid=26571 vsize=13644080 CPUtime=0.26 cores=1,3,5,7
/proc/26573/task/26589/stat : 26589 (java) S 26571 26573 22016 0 -1 4202560 2609 0 0 0 26 0 0 0 15 0 19 0 906069551 13971537920 26635 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26590] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26590/stat : 26590 (java) S 26571 26573 22016 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906069551 13971537920 26635 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26591] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26591/stat : 26591 (java) S 26571 26573 22016 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 906069551 13971537920 26635 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032212480 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26592] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26592/stat : 26592 (java) S 26571 26573 22016 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906069564 13971537920 26635 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032212480 0 4 0 16800975 18446604467360792960 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 52.27
Current children cumulated vsize (KiB) 13644080
Solver just ended. Dumping a history of the last processes samples
[startup+51.9009 s]
/proc/loadavg: 2.03 2.00 1.99 3/364 26593
/proc/meminfo: memFree=23951288/32951124 swapFree=67056304/67111528
[pid=26573] ppid=26571 vsize=13644080 CPUtime=53.07 cores=1,3,5,7
/proc/26573/stat : 26573 (java) S 26571 26573 22016 0 -1 4202496 31803 0 1 0 5301 6 0 0 18 0 19 0 906069545 13971537920 26648 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26573/statm: 3411020 26648 2250 9 0 3401754 0
[pid=26573/tid=26574] ppid=26571 vsize=13644080 CPUtime=50.36 cores=1,3,5,7
/proc/26573/task/26574/stat : 26574 (java) R 26571 26573 22016 0 -1 4202560 14860 0 1 0 5034 2 0 0 19 0 19 0 906069546 13971537920 26648 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 46912505545547 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26573/tid=26576] ppid=26571 vsize=13644080 CPUtime=0.03 cores=1,3,5,7
/proc/26573/task/26576/stat : 26576 (java) S 26571 26573 22016 0 -1 4202560 78 0 0 0 3 0 0 0 15 0 19 0 906069548 13971537920 26648 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26577] ppid=26571 vsize=13644080 CPUtime=0.02 cores=1,3,5,7
/proc/26573/task/26577/stat : 26577 (java) S 26571 26573 22016 0 -1 4202560 122 0 0 0 2 0 0 0 15 0 19 0 906069548 13971537920 26648 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26578] ppid=26571 vsize=13644080 CPUtime=0.03 cores=1,3,5,7
/proc/26573/task/26578/stat : 26578 (java) S 26571 26573 22016 0 -1 4202560 106 0 0 0 3 0 0 0 16 0 19 0 906069548 13971537920 26648 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26579] ppid=26571 vsize=13644080 CPUtime=0.04 cores=1,3,5,7
/proc/26573/task/26579/stat : 26579 (java) S 26571 26573 22016 0 -1 4202560 46 0 0 0 4 0 0 0 15 0 19 0 906069548 13971537920 26648 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26580] ppid=26571 vsize=13644080 CPUtime=0.02 cores=1,3,5,7
/proc/26573/task/26580/stat : 26580 (java) S 26571 26573 22016 0 -1 4202560 117 0 0 0 2 0 0 0 15 0 19 0 906069548 13971537920 26648 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26581] ppid=26571 vsize=13644080 CPUtime=0.02 cores=1,3,5,7
/proc/26573/task/26581/stat : 26581 (java) S 26571 26573 22016 0 -1 4202560 157 0 0 0 2 0 0 0 16 0 19 0 906069548 13971537920 26648 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26582] ppid=26571 vsize=13644080 CPUtime=0.02 cores=1,3,5,7
/proc/26573/task/26582/stat : 26582 (java) S 26571 26573 22016 0 -1 4202560 238 0 0 0 2 0 0 0 15 0 19 0 906069548 13971537920 26648 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26583] ppid=26571 vsize=13644080 CPUtime=0.03 cores=1,3,5,7
/proc/26573/task/26583/stat : 26583 (java) S 26571 26573 22016 0 -1 4202560 461 0 0 0 3 0 0 0 15 0 19 0 906069548 13971537920 26648 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26584] ppid=26571 vsize=13644080 CPUtime=1.35 cores=1,3,5,7
/proc/26573/task/26584/stat : 26584 (java) S 26571 26573 22016 0 -1 4202560 2935 0 0 0 134 1 0 0 15 0 19 0 906069549 13971537920 26648 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032212480 0 0 0 16800975 18446604467360792960 0 0 -1 1 0 0 0
[pid=26573/tid=26585] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26585/stat : 26585 (java) S 26571 26573 22016 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906069549 13971537920 26648 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26586] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26586/stat : 26586 (java) S 26571 26573 22016 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 906069549 13971537920 26648 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 5 0 0 0
[pid=26573/tid=26587] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26587/stat : 26587 (java) S 26571 26573 22016 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906069551 13971537920 26648 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032219569 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26588] ppid=26571 vsize=13644080 CPUtime=0.79 cores=1,3,5,7
/proc/26573/task/26588/stat : 26588 (java) S 26571 26573 22016 0 -1 4202560 8919 0 0 0 79 0 0 0 15 0 19 0 906069551 13971537920 26648 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 5 0 0 0
[pid=26573/tid=26589] ppid=26571 vsize=13644080 CPUtime=0.26 cores=1,3,5,7
/proc/26573/task/26589/stat : 26589 (java) S 26571 26573 22016 0 -1 4202560 2609 0 0 0 26 0 0 0 15 0 19 0 906069551 13971537920 26648 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26590] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26590/stat : 26590 (java) S 26571 26573 22016 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906069551 13971537920 26648 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26591] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26591/stat : 26591 (java) S 26571 26573 22016 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 906069551 13971537920 26648 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032212480 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26592] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26592/stat : 26592 (java) S 26571 26573 22016 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906069564 13971537920 26648 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032212480 0 4 0 16800975 18446604467360792960 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 53.07
Current children cumulated vsize (KiB) 13644080
[startup+52.7007 s]
/proc/loadavg: 2.03 2.00 1.99 3/364 26593
/proc/meminfo: memFree=23951164/32951124 swapFree=67056304/67111528
[pid=26573] ppid=26571 vsize=13644080 CPUtime=53.88 cores=1,3,5,7
/proc/26573/stat : 26573 (java) S 26571 26573 22016 0 -1 4202496 31812 0 1 0 5382 6 0 0 18 0 19 0 906069545 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26573/statm: 3411020 26656 2250 9 0 3401754 0
[pid=26573/tid=26574] ppid=26571 vsize=13644080 CPUtime=51.15 cores=1,3,5,7
/proc/26573/task/26574/stat : 26574 (java) R 26571 26573 22016 0 -1 4202560 14861 0 1 0 5113 2 0 0 21 0 19 0 906069546 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 46912505545533 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26573/tid=26576] ppid=26571 vsize=13644080 CPUtime=0.03 cores=1,3,5,7
/proc/26573/task/26576/stat : 26576 (java) S 26571 26573 22016 0 -1 4202560 78 0 0 0 3 0 0 0 16 0 19 0 906069548 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26577] ppid=26571 vsize=13644080 CPUtime=0.02 cores=1,3,5,7
/proc/26573/task/26577/stat : 26577 (java) S 26571 26573 22016 0 -1 4202560 122 0 0 0 2 0 0 0 16 0 19 0 906069548 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26578] ppid=26571 vsize=13644080 CPUtime=0.03 cores=1,3,5,7
/proc/26573/task/26578/stat : 26578 (java) S 26571 26573 22016 0 -1 4202560 106 0 0 0 3 0 0 0 15 0 19 0 906069548 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26579] ppid=26571 vsize=13644080 CPUtime=0.04 cores=1,3,5,7
/proc/26573/task/26579/stat : 26579 (java) S 26571 26573 22016 0 -1 4202560 46 0 0 0 4 0 0 0 16 0 19 0 906069548 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26580] ppid=26571 vsize=13644080 CPUtime=0.02 cores=1,3,5,7
/proc/26573/task/26580/stat : 26580 (java) S 26571 26573 22016 0 -1 4202560 117 0 0 0 2 0 0 0 15 0 19 0 906069548 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26581] ppid=26571 vsize=13644080 CPUtime=0.02 cores=1,3,5,7
/proc/26573/task/26581/stat : 26581 (java) S 26571 26573 22016 0 -1 4202560 157 0 0 0 2 0 0 0 15 0 19 0 906069548 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26582] ppid=26571 vsize=13644080 CPUtime=0.02 cores=1,3,5,7
/proc/26573/task/26582/stat : 26582 (java) S 26571 26573 22016 0 -1 4202560 238 0 0 0 2 0 0 0 15 0 19 0 906069548 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26583] ppid=26571 vsize=13644080 CPUtime=0.03 cores=1,3,5,7
/proc/26573/task/26583/stat : 26583 (java) S 26571 26573 22016 0 -1 4202560 461 0 0 0 3 0 0 0 15 0 19 0 906069548 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26584] ppid=26571 vsize=13644080 CPUtime=1.37 cores=1,3,5,7
/proc/26573/task/26584/stat : 26584 (java) S 26571 26573 22016 0 -1 4202560 2943 0 0 0 136 1 0 0 15 0 19 0 906069549 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032212480 0 0 0 16800975 18446604467360792960 0 0 -1 1 0 0 0
[pid=26573/tid=26585] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26585/stat : 26585 (java) S 26571 26573 22016 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906069549 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26586] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26586/stat : 26586 (java) S 26571 26573 22016 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 906069549 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 5 0 0 0
[pid=26573/tid=26587] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26587/stat : 26587 (java) S 26571 26573 22016 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906069551 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032219569 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26588] ppid=26571 vsize=13644080 CPUtime=0.79 cores=1,3,5,7
/proc/26573/task/26588/stat : 26588 (java) S 26571 26573 22016 0 -1 4202560 8919 0 0 0 79 0 0 0 15 0 19 0 906069551 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 5 0 0 0
[pid=26573/tid=26589] ppid=26571 vsize=13644080 CPUtime=0.26 cores=1,3,5,7
/proc/26573/task/26589/stat : 26589 (java) S 26571 26573 22016 0 -1 4202560 2609 0 0 0 26 0 0 0 15 0 19 0 906069551 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26590] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26590/stat : 26590 (java) S 26571 26573 22016 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906069551 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26591] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26591/stat : 26591 (java) S 26571 26573 22016 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 906069551 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032212480 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26592] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26592/stat : 26592 (java) S 26571 26573 22016 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906069564 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032212480 0 4 0 16800975 18446604467360792960 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 53.88
Current children cumulated vsize (KiB) 13644080
[startup+52.9006 s]
/proc/loadavg: 2.03 2.00 1.99 3/364 26593
/proc/meminfo: memFree=23951164/32951124 swapFree=67056304/67111528
[pid=26573] ppid=26571 vsize=13644080 CPUtime=54.07 cores=1,3,5,7
/proc/26573/stat : 26573 (java) S 26571 26573 22016 0 -1 4202496 31812 0 1 0 5401 6 0 0 18 0 19 0 906069545 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26573/statm: 3411020 26656 2250 9 0 3401754 0
[pid=26573/tid=26574] ppid=26571 vsize=13644080 CPUtime=51.33 cores=1,3,5,7
/proc/26573/task/26574/stat : 26574 (java) S 26571 26573 22016 0 -1 4202560 14861 0 1 0 5131 2 0 0 21 0 19 0 906069546 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26576] ppid=26571 vsize=13644080 CPUtime=0.03 cores=1,3,5,7
/proc/26573/task/26576/stat : 26576 (java) S 26571 26573 22016 0 -1 4202560 78 0 0 0 3 0 0 0 16 0 19 0 906069548 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26577] ppid=26571 vsize=13644080 CPUtime=0.02 cores=1,3,5,7
/proc/26573/task/26577/stat : 26577 (java) S 26571 26573 22016 0 -1 4202560 122 0 0 0 2 0 0 0 15 0 19 0 906069548 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26578] ppid=26571 vsize=13644080 CPUtime=0.04 cores=1,3,5,7
/proc/26573/task/26578/stat : 26578 (java) S 26571 26573 22016 0 -1 4202560 106 0 0 0 4 0 0 0 16 0 19 0 906069548 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26579] ppid=26571 vsize=13644080 CPUtime=0.04 cores=1,3,5,7
/proc/26573/task/26579/stat : 26579 (java) S 26571 26573 22016 0 -1 4202560 46 0 0 0 4 0 0 0 15 0 19 0 906069548 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26580] ppid=26571 vsize=13644080 CPUtime=0.02 cores=1,3,5,7
/proc/26573/task/26580/stat : 26580 (java) S 26571 26573 22016 0 -1 4202560 117 0 0 0 2 0 0 0 15 0 19 0 906069548 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26581] ppid=26571 vsize=13644080 CPUtime=0.02 cores=1,3,5,7
/proc/26573/task/26581/stat : 26581 (java) S 26571 26573 22016 0 -1 4202560 157 0 0 0 2 0 0 0 15 0 19 0 906069548 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 7 0 0 0
[pid=26573/tid=26582] ppid=26571 vsize=13644080 CPUtime=0.02 cores=1,3,5,7
/proc/26573/task/26582/stat : 26582 (java) S 26571 26573 22016 0 -1 4202560 238 0 0 0 2 0 0 0 15 0 19 0 906069548 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26583] ppid=26571 vsize=13644080 CPUtime=0.03 cores=1,3,5,7
/proc/26573/task/26583/stat : 26583 (java) S 26571 26573 22016 0 -1 4202560 461 0 0 0 3 0 0 0 15 0 19 0 906069548 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26584] ppid=26571 vsize=13644080 CPUtime=1.37 cores=1,3,5,7
/proc/26573/task/26584/stat : 26584 (java) R 26571 26573 22016 0 -1 4202560 2943 0 0 0 136 1 0 0 15 0 19 0 906069549 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 47607218315394 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=26573/tid=26585] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26585/stat : 26585 (java) S 26571 26573 22016 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906069549 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26586] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26586/stat : 26586 (java) S 26571 26573 22016 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 906069549 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 5 0 0 0
[pid=26573/tid=26587] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26587/stat : 26587 (java) S 26571 26573 22016 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906069551 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032219569 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26588] ppid=26571 vsize=13644080 CPUtime=0.79 cores=1,3,5,7
/proc/26573/task/26588/stat : 26588 (java) S 26571 26573 22016 0 -1 4202560 8919 0 0 0 79 0 0 0 15 0 19 0 906069551 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 5 0 0 0
[pid=26573/tid=26589] ppid=26571 vsize=13644080 CPUtime=0.26 cores=1,3,5,7
/proc/26573/task/26589/stat : 26589 (java) S 26571 26573 22016 0 -1 4202560 2609 0 0 0 26 0 0 0 15 0 19 0 906069551 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26590] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26590/stat : 26590 (java) S 26571 26573 22016 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906069551 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032211865 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26591] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26591/stat : 26591 (java) S 26571 26573 22016 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 906069551 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032212480 0 4 0 16800975 18446604467360792960 0 0 -1 3 0 0 0
[pid=26573/tid=26592] ppid=26571 vsize=13644080 CPUtime=0 cores=1,3,5,7
/proc/26573/task/26592/stat : 26592 (java) S 26571 26573 22016 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906069564 13971537920 26656 33554432000 1073741824 1073778376 140734942592432 18446744073709551615 260032212480 0 4 0 16800975 18446604467360792960 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 54.07
Current children cumulated vsize (KiB) 13644080
Child status: 30
Real time (s): 52.9515
CPU time (s): 54.1318
CPU user time (s): 54.0638
CPU system time (s): 0.067989
CPU usage (%): 102.229
Max. virtual memory (cumulated for all children) (KiB): 13647900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.0638
system time used= 0.067989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31838
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= 3100
involuntary context switches= 1970
runsolver used 0.167974 second user time and 0.413937 second system time
The end