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-3453946-1307194607/watcher-3453946-1307194607 -o /tmp/evaluation-result-3453946-1307194607/solver-3453946-1307194607 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453946-1307194607.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: 3.83 3.70 3.65 3/519 21674
/proc/meminfo: memFree=27473212/32951132 swapFree=57925096/67111528
[pid=21674] ppid=21672 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/21674/stat : 21674 (java) S 21672 21674 16811 0 -1 4202496 5775 0 1 0 0 0 0 0 25 0 2 0 831060339 10694979584 5477 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658949093 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/21674/statm: 2611079 5489 917 9 0 2602235 0
[pid=21674/tid=21675] ppid=21672 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21675/stat : 21675 (java) R 21672 21674 16811 0 -1 4202560 7174 0 1 0 0 0 0 0 25 0 2 0 831060339 10694979584 7989 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210646840379 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.116335 s]
/proc/loadavg: 3.83 3.70 3.65 3/519 21674
/proc/meminfo: memFree=27473212/32951132 swapFree=57925096/67111528
[pid=21674] ppid=21672 vsize=10539868 CPUtime=0.13 cores=0,2,4,6
/proc/21674/stat : 21674 (java) S 21672 21674 16811 0 -1 4202496 13373 0 1 0 12 1 0 0 25 0 18 0 831060339 10792824832 13035 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21674/statm: 2634967 13035 2133 9 0 2625701 0
[pid=21674/tid=21675] ppid=21672 vsize=10539868 CPUtime=0.1 cores=0,2,4,6
/proc/21674/task/21675/stat : 21675 (java) R 21672 21674 16811 0 -1 4202560 11362 0 1 0 9 1 0 0 18 0 18 0 831060339 10792824832 13036 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 47128348844803 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10539868
[startup+0.200328 s]
/proc/loadavg: 3.83 3.70 3.65 3/519 21674
/proc/meminfo: memFree=27473212/32951132 swapFree=57925096/67111528
[pid=21674] ppid=21672 vsize=10539868 CPUtime=0.26 cores=0,2,4,6
/proc/21674/stat : 21674 (java) S 21672 21674 16811 0 -1 4202496 14098 0 1 0 25 1 0 0 25 0 18 0 831060339 10792824832 13729 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21674/statm: 2634967 13729 2181 9 0 2625701 0
[pid=21674/tid=21675] ppid=21672 vsize=10539868 CPUtime=0.19 cores=0,2,4,6
/proc/21674/task/21675/stat : 21675 (java) R 21672 21674 16811 0 -1 4202560 11921 0 1 0 18 1 0 0 18 0 18 0 831060339 10792824832 13729 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 47128353340212 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10539868
[startup+0.300335 s]
/proc/loadavg: 3.83 3.70 3.65 3/519 21674
/proc/meminfo: memFree=27473212/32951132 swapFree=57925096/67111528
[pid=21674] ppid=21672 vsize=10542272 CPUtime=0.47 cores=0,2,4,6
/proc/21674/stat : 21674 (java) S 21672 21674 16811 0 -1 4202496 16444 0 1 0 46 1 0 0 25 0 18 0 831060339 10795286528 15412 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21674/statm: 2635568 15413 2209 9 0 2626302 0
[pid=21674/tid=21675] ppid=21672 vsize=10542272 CPUtime=0.28 cores=0,2,4,6
/proc/21674/task/21675/stat : 21675 (java) R 21672 21674 16811 0 -1 4202560 12912 0 1 0 27 1 0 0 18 0 18 0 831060339 10795286528 15413 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10542272
[startup+0.700222 s]
/proc/loadavg: 3.83 3.70 3.65 3/519 21674
/proc/meminfo: memFree=27473212/32951132 swapFree=57925096/67111528
[pid=21674] ppid=21672 vsize=10548236 CPUtime=1.63 cores=0,2,4,6
/proc/21674/stat : 21674 (java) S 21672 21674 16811 0 -1 4202496 34571 0 1 0 158 5 0 0 25 0 18 0 831060339 10801393664 31007 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21674/statm: 2637059 31010 2228 9 0 2627793 0
[pid=21674/tid=21675] ppid=21672 vsize=10548236 CPUtime=0.68 cores=0,2,4,6
/proc/21674/task/21675/stat : 21675 (java) R 21672 21674 16811 0 -1 4202560 23632 0 1 0 65 3 0 0 18 0 18 0 831060339 10801393664 31012 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 46912505734077 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 10548236
[startup+1.50114 s]
/proc/loadavg: 3.83 3.70 3.65 5/537 21692
/proc/meminfo: memFree=27167668/32951132 swapFree=57925096/67111528
[pid=21674] ppid=21672 vsize=10552348 CPUtime=2.78 cores=0,2,4,6
/proc/21674/stat : 21674 (java) S 21672 21674 16811 0 -1 4202496 92549 0 1 0 266 12 0 0 25 0 19 0 831060339 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21674/statm: 2638087 88984 2236 9 0 2628821 0
[pid=21674/tid=21675] ppid=21672 vsize=10552348 CPUtime=1.11 cores=0,2,4,6
/proc/21674/task/21675/stat : 21675 (java) S 21672 21674 16811 0 -1 4202560 74279 0 1 0 102 9 0 0 19 0 19 0 831060339 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21677] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21677/stat : 21677 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21678] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21678/stat : 21678 (java) S 21672 21674 16811 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21679] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21679/stat : 21679 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21680] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21680/stat : 21680 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21681] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21681/stat : 21681 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21682] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21682/stat : 21682 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21683] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21683/stat : 21683 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21684] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21684/stat : 21684 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21685] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21685/stat : 21685 (java) S 21672 21674 16811 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 831060342 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 0 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21686] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21686/stat : 21686 (java) S 21672 21674 16811 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831060342 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21687] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21687/stat : 21687 (java) S 21672 21674 16811 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831060342 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21688] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21688/stat : 21688 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060345 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658970033 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21689] ppid=21672 vsize=10552348 CPUtime=0.64 cores=0,2,4,6
/proc/21674/task/21689/stat : 21689 (java) S 21672 21674 16811 0 -1 4202560 4373 0 0 0 64 0 0 0 21 0 19 0 831060345 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21690] ppid=21672 vsize=10552348 CPUtime=0.6 cores=0,2,4,6
/proc/21674/task/21690/stat : 21690 (java) S 21672 21674 16811 0 -1 4202560 5466 0 0 0 59 1 0 0 21 0 19 0 831060345 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 0 0 0 0
[pid=21674/tid=21691] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21691/stat : 21691 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060345 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21692] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21692/stat : 21692 (java) S 21672 21674 16811 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 831060345 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 10552348
[startup+3.10088 s]
/proc/loadavg: 3.83 3.70 3.65 4/538 21699
/proc/meminfo: memFree=27099832/32951132 swapFree=57925096/67111528
[pid=21674] ppid=21672 vsize=10552348 CPUtime=3.99 cores=0,2,4,6
/proc/21674/stat : 21674 (java) S 21672 21674 16811 0 -1 4202496 109936 0 1 0 384 15 0 0 25 0 19 0 831060339 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21674/statm: 2638087 106369 2242 9 0 2628821 0
[pid=21674/tid=21675] ppid=21672 vsize=10552348 CPUtime=1.25 cores=0,2,4,6
/proc/21674/task/21675/stat : 21675 (java) S 21672 21674 16811 0 -1 4202560 75292 0 1 0 116 9 0 0 17 0 19 0 831060339 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 4 0 0 0
[pid=21674/tid=21677] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21677/stat : 21677 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21678] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21678/stat : 21678 (java) S 21672 21674 16811 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21679] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21679/stat : 21679 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21680] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21680/stat : 21680 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21681] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21681/stat : 21681 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21682] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21682/stat : 21682 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21683] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21683/stat : 21683 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21684] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21684/stat : 21684 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21685] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21685/stat : 21685 (java) S 21672 21674 16811 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 831060342 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 0 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21686] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21686/stat : 21686 (java) S 21672 21674 16811 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831060342 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21687] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21687/stat : 21687 (java) S 21672 21674 16811 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831060342 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21688] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21688/stat : 21688 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060345 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658970033 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21689] ppid=21672 vsize=10552348 CPUtime=0.91 cores=0,2,4,6
/proc/21674/task/21689/stat : 21689 (java) S 21672 21674 16811 0 -1 4202560 4396 0 0 0 91 0 0 0 15 0 19 0 831060345 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21690] ppid=21672 vsize=10552348 CPUtime=0.75 cores=0,2,4,6
/proc/21674/task/21690/stat : 21690 (java) S 21672 21674 16811 0 -1 4202560 5486 0 0 0 74 1 0 0 16 0 19 0 831060345 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 0 0 0 0
[pid=21674/tid=21691] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21691/stat : 21691 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060345 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21692] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21692/stat : 21692 (java) S 21672 21674 16811 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 831060345 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21696] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21696/stat : 21696 (java) S 21672 21674 16811 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831060456 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 10552348
[startup+6.30133 s]
/proc/loadavg: 4.01 3.74 3.66 5/541 21708
/proc/meminfo: memFree=26236216/32951132 swapFree=57925096/67111528
[pid=21674] ppid=21672 vsize=10552348 CPUtime=10.37 cores=0,2,4,6
/proc/21674/stat : 21674 (java) S 21672 21674 16811 0 -1 4202496 395940 0 1 0 991 46 0 0 25 0 22 0 831060339 10805604352 392370 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21674/statm: 2638087 392376 2244 9 0 2628821 0
[pid=21674/tid=21675] ppid=21672 vsize=10552348 CPUtime=1.28 cores=0,2,4,6
/proc/21674/task/21675/stat : 21675 (java) S 21672 21674 16811 0 -1 4202560 75622 0 1 0 119 9 0 0 15 0 22 0 831060339 10805604352 392381 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21677] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21677/stat : 21677 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060341 10805604352 392381 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21678] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21678/stat : 21678 (java) S 21672 21674 16811 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831060341 10805604352 392383 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21679] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21679/stat : 21679 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060341 10805604352 392390 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21680] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21680/stat : 21680 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060341 10805604352 392393 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21681] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21681/stat : 21681 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060341 10805604352 392393 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21682] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21682/stat : 21682 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060341 10805604352 392398 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21683] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21683/stat : 21683 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060341 10805604352 392404 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21684] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21684/stat : 21684 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060341 10805604352 392405 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21685] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21685/stat : 21685 (java) S 21672 21674 16811 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 831060342 10805604352 392405 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 0 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21686] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21686/stat : 21686 (java) S 21672 21674 16811 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831060342 10805604352 392412 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21687] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21687/stat : 21687 (java) S 21672 21674 16811 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831060342 10805604352 392416 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21688] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21688/stat : 21688 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060345 10805604352 392416 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658970033 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21689] ppid=21672 vsize=10552348 CPUtime=1.09 cores=0,2,4,6
/proc/21674/task/21689/stat : 21689 (java) S 21672 21674 16811 0 -1 4202560 4424 0 0 0 109 0 0 0 15 0 22 0 831060345 10805604352 392420 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21690] ppid=21672 vsize=10552348 CPUtime=0.98 cores=0,2,4,6
/proc/21674/task/21690/stat : 21690 (java) S 21672 21674 16811 0 -1 4202560 5512 0 0 0 97 1 0 0 15 0 22 0 831060345 10805604352 392427 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 0 0 0 0
[pid=21674/tid=21691] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21691/stat : 21691 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060345 10805604352 392428 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=21916084/32951132 swapFree=57925096/67111528
[pid=21674] ppid=21672 vsize=10553052 CPUtime=1614.85 cores=0,2,4,6
/proc/21674/stat : 21674 (java) S 21672 21674 16811 0 -1 4202496 1023473 0 1 0 161337 148 0 0 25 0 22 0 831060339 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21674/statm: 2638263 1014961 2269 9 0 2628997 0
[pid=21674/tid=21675] ppid=21672 vsize=10553052 CPUtime=1.37 cores=0,2,4,6
/proc/21674/task/21675/stat : 21675 (java) S 21672 21674 16811 0 -1 4202560 75628 0 1 0 128 9 0 0 15 0 22 0 831060339 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 0 0 0 0
[pid=21674/tid=21677] ppid=21672 vsize=10553052 CPUtime=1 cores=0,2,4,6
/proc/21674/task/21677/stat : 21677 (java) S 21672 21674 16811 0 -1 4202560 31548 0 0 0 96 4 0 0 16 0 22 0 831060341 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21678] ppid=21672 vsize=10553052 CPUtime=0.72 cores=0,2,4,6
/proc/21674/task/21678/stat : 21678 (java) S 21672 21674 16811 0 -1 4202560 10407 0 0 0 71 1 0 0 15 0 22 0 831060341 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21679] ppid=21672 vsize=10553052 CPUtime=0.76 cores=0,2,4,6
/proc/21674/task/21679/stat : 21679 (java) S 21672 21674 16811 0 -1 4202560 13325 0 0 0 75 1 0 0 16 0 22 0 831060341 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21680] ppid=21672 vsize=10553052 CPUtime=1.11 cores=0,2,4,6
/proc/21674/task/21680/stat : 21680 (java) S 21672 21674 16811 0 -1 4202560 27543 0 0 0 108 3 0 0 16 0 22 0 831060341 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 4 0 0 0
[pid=21674/tid=21681] ppid=21672 vsize=10553052 CPUtime=0.96 cores=0,2,4,6
/proc/21674/task/21681/stat : 21681 (java) S 21672 21674 16811 0 -1 4202560 18307 0 0 0 94 2 0 0 16 0 22 0 831060341 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21682] ppid=21672 vsize=10553052 CPUtime=0.96 cores=0,2,4,6
/proc/21674/task/21682/stat : 21682 (java) S 21672 21674 16811 0 -1 4202560 26068 0 0 0 92 4 0 0 16 0 22 0 831060341 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21683] ppid=21672 vsize=10553052 CPUtime=0.88 cores=0,2,4,6
/proc/21674/task/21683/stat : 21683 (java) S 21672 21674 16811 0 -1 4202560 26117 0 0 0 85 3 0 0 15 0 22 0 831060341 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21684] ppid=21672 vsize=10553052 CPUtime=0.84 cores=0,2,4,6
/proc/21674/task/21684/stat : 21684 (java) S 21672 21674 16811 0 -1 4202560 21574 0 0 0 81 3 0 0 15 0 22 0 831060341 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21685] ppid=21672 vsize=10553052 CPUtime=31.08 cores=0,2,4,6
/proc/21674/task/21685/stat : 21685 (java) S 21672 21674 16811 0 -1 4202560 84345 0 0 0 3097 11 0 0 15 0 22 0 831060342 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 0 0 16800975 18446604449910109184 0 0 -1 0 0 0 0
[pid=21674/tid=21686] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21686/stat : 21686 (java) S 21672 21674 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831060342 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21687] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21687/stat : 21687 (java) S 21672 21674 16811 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831060342 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21688] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21688/stat : 21688 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060345 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658970033 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21689] ppid=21672 vsize=10553052 CPUtime=1.39 cores=0,2,4,6
/proc/21674/task/21689/stat : 21689 (java) S 21672 21674 16811 0 -1 4202560 4474 0 0 0 139 0 0 0 15 0 22 0 831060345 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 4 0 0 0
[pid=21674/tid=21690] ppid=21672 vsize=10553052 CPUtime=1.21 cores=0,2,4,6
/proc/21674/task/21690/stat : 21690 (java) S 21672 21674 16811 0 -1 4202560 5656 0 0 0 120 1 0 0 15 0 22 0 831060345 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21691] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21691/stat : 21691 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060345 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21692] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21692/stat : 21692 (java) S 21672 21674 16811 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 831060345 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 4 0 0 0
[pid=21674/tid=21711] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21711/stat : 21711 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831061560 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21721] ppid=21672 vsize=10553052 CPUtime=564.95 cores=0,2,4,6
/proc/21674/task/21721/stat : 21721 (java) R 21672 21674 16811 0 -1 4202560 33 0 0 0 56493 2 0 0 25 0 22 0 831083778 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 46912506041493 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21674/tid=21722] ppid=21672 vsize=10553052 CPUtime=564.95 cores=0,2,4,6
/proc/21674/task/21722/stat : 21722 (java) R 21672 21674 16811 0 -1 4202560 9 0 0 0 56483 12 0 0 25 0 22 0 831083778 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 46912506181592 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21674/tid=21723] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21723/stat : 21723 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831083779 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1614.85
Current children cumulated vsize (KiB) 10553052
[startup+882.32 s]
/proc/loadavg: 3.87 3.94 3.81 3/514 21764
/proc/meminfo: memFree=24909252/32951132 swapFree=57925096/67111528
[pid=21674] ppid=21672 vsize=10553052 CPUtime=1734.13 cores=0,2,4,6
/proc/21674/stat : 21674 (java) S 21672 21674 16811 0 -1 4202496 1043661 0 1 0 173260 153 0 0 25 0 22 0 831060339 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21674/statm: 2638263 1034175 2269 9 0 2628997 0
[pid=21674/tid=21675] ppid=21672 vsize=10553052 CPUtime=1.37 cores=0,2,4,6
/proc/21674/task/21675/stat : 21675 (java) S 21672 21674 16811 0 -1 4202560 75629 0 1 0 128 9 0 0 15 0 22 0 831060339 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 0 0 0 0
[pid=21674/tid=21677] ppid=21672 vsize=10553052 CPUtime=1.03 cores=0,2,4,6
/proc/21674/task/21677/stat : 21677 (java) S 21672 21674 16811 0 -1 4202560 32948 0 0 0 99 4 0 0 16 0 22 0 831060341 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 4 0 0 0
[pid=21674/tid=21678] ppid=21672 vsize=10553052 CPUtime=0.8 cores=0,2,4,6
/proc/21674/task/21678/stat : 21678 (java) S 21672 21674 16811 0 -1 4202560 14019 0 0 0 78 2 0 0 16 0 22 0 831060341 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21679] ppid=21672 vsize=10553052 CPUtime=0.83 cores=0,2,4,6
/proc/21674/task/21679/stat : 21679 (java) S 21672 21674 16811 0 -1 4202560 15455 0 0 0 81 2 0 0 16 0 22 0 831060341 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21680] ppid=21672 vsize=10553052 CPUtime=1.17 cores=0,2,4,6
/proc/21674/task/21680/stat : 21680 (java) S 21672 21674 16811 0 -1 4202560 27543 0 0 0 114 3 0 0 15 0 22 0 831060341 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 4 0 0 0
[pid=21674/tid=21681] ppid=21672 vsize=10553052 CPUtime=1.04 cores=0,2,4,6
/proc/21674/task/21681/stat : 21681 (java) S 21672 21674 16811 0 -1 4202560 22131 0 0 0 102 2 0 0 16 0 22 0 831060341 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 0 0 0 0
[pid=21674/tid=21682] ppid=21672 vsize=10553052 CPUtime=1.03 cores=0,2,4,6
/proc/21674/task/21682/stat : 21682 (java) S 21672 21674 16811 0 -1 4202560 26537 0 0 0 99 4 0 0 15 0 22 0 831060341 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 0 0 0 0
[pid=21674/tid=21683] ppid=21672 vsize=10553052 CPUtime=0.97 cores=0,2,4,6
/proc/21674/task/21683/stat : 21683 (java) S 21672 21674 16811 0 -1 4202560 30155 0 0 0 93 4 0 0 15 0 22 0 831060341 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21684] ppid=21672 vsize=10553052 CPUtime=0.95 cores=0,2,4,6
/proc/21674/task/21684/stat : 21684 (java) S 21672 21674 16811 0 -1 4202560 24685 0 0 0 92 3 0 0 15 0 22 0 831060341 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21685] ppid=21672 vsize=10553052 CPUtime=32.1 cores=0,2,4,6
/proc/21674/task/21685/stat : 21685 (java) S 21672 21674 16811 0 -1 4202560 85942 0 0 0 3198 12 0 0 15 0 22 0 831060342 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 0 0 16800975 18446604449910109184 0 0 -1 0 0 0 0
[pid=21674/tid=21686] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21686/stat : 21686 (java) S 21672 21674 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831060342 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21687] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21687/stat : 21687 (java) S 21672 21674 16811 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831060342 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21688] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21688/stat : 21688 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060345 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658970033 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21689] ppid=21672 vsize=10553052 CPUtime=1.39 cores=0,2,4,6
/proc/21674/task/21689/stat : 21689 (java) S 21672 21674 16811 0 -1 4202560 4474 0 0 0 139 0 0 0 15 0 22 0 831060345 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 4 0 0 0
[pid=21674/tid=21690] ppid=21672 vsize=10553052 CPUtime=1.21 cores=0,2,4,6
/proc/21674/task/21690/stat : 21690 (java) S 21672 21674 16811 0 -1 4202560 5656 0 0 0 120 1 0 0 15 0 22 0 831060345 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21691] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21691/stat : 21691 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060345 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21692] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21692/stat : 21692 (java) S 21672 21674 16811 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 831060345 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 4 0 0 0
[pid=21674/tid=21711] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21711/stat : 21711 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831061560 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21721] ppid=21672 vsize=10553052 CPUtime=623.78 cores=0,2,4,6
/proc/21674/task/21721/stat : 21721 (java) R 21672 21674 16811 0 -1 4202560 35 0 0 0 62376 2 0 0 25 0 22 0 831083778 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 46912506158288 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21674/tid=21722] ppid=21672 vsize=10553052 CPUtime=623.78 cores=0,2,4,6
/proc/21674/task/21722/stat : 21722 (java) R 21672 21674 16811 0 -1 4202560 11 0 0 0 62365 13 0 0 25 0 22 0 831083778 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 46912505599153 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21674/tid=21723] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21723/stat : 21723 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831083779 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1734.13
Current children cumulated vsize (KiB) 10553052
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+916.001 s]
/proc/loadavg: 2.99 3.71 3.74 3/514 21764
/proc/meminfo: memFree=24879352/32951132 swapFree=57925096/67111528
[pid=21674] ppid=21672 vsize=10553052 CPUtime=1800.06 cores=0,2,4,6
/proc/21674/stat : 21674 (java) S 21672 21674 16811 0 -1 4202496 1051640 0 1 0 179850 156 0 0 25 0 22 0 831060339 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21674/statm: 2638263 1041676 2270 9 0 2628997 0
[pid=21674/tid=21675] ppid=21672 vsize=10553052 CPUtime=1.37 cores=0,2,4,6
/proc/21674/task/21675/stat : 21675 (java) S 21672 21674 16811 0 -1 4202560 75629 0 1 0 128 9 0 0 15 0 22 0 831060339 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21677] ppid=21672 vsize=10553052 CPUtime=1.05 cores=0,2,4,6
/proc/21674/task/21677/stat : 21677 (java) S 21672 21674 16811 0 -1 4202560 34153 0 0 0 101 4 0 0 16 0 22 0 831060341 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21678] ppid=21672 vsize=10553052 CPUtime=0.84 cores=0,2,4,6
/proc/21674/task/21678/stat : 21678 (java) S 21672 21674 16811 0 -1 4202560 17040 0 0 0 81 3 0 0 16 0 22 0 831060341 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21679] ppid=21672 vsize=10553052 CPUtime=0.88 cores=0,2,4,6
/proc/21674/task/21679/stat : 21679 (java) S 21672 21674 16811 0 -1 4202560 15455 0 0 0 86 2 0 0 16 0 22 0 831060341 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 0 0 0 0
[pid=21674/tid=21680] ppid=21672 vsize=10553052 CPUtime=1.22 cores=0,2,4,6
/proc/21674/task/21680/stat : 21680 (java) S 21672 21674 16811 0 -1 4202560 27753 0 0 0 119 3 0 0 16 0 22 0 831060341 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 4 0 0 0
[pid=21674/tid=21681] ppid=21672 vsize=10553052 CPUtime=1.08 cores=0,2,4,6
/proc/21674/task/21681/stat : 21681 (java) S 21672 21674 16811 0 -1 4202560 23329 0 0 0 106 2 0 0 15 0 22 0 831060341 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21682] ppid=21672 vsize=10553052 CPUtime=1.08 cores=0,2,4,6
/proc/21674/task/21682/stat : 21682 (java) S 21672 21674 16811 0 -1 4202560 28872 0 0 0 104 4 0 0 16 0 22 0 831060341 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21683] ppid=21672 vsize=10553052 CPUtime=1 cores=0,2,4,6
/proc/21674/task/21683/stat : 21683 (java) S 21672 21674 16811 0 -1 4202560 30155 0 0 0 96 4 0 0 16 0 22 0 831060341 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21684] ppid=21672 vsize=10553052 CPUtime=0.97 cores=0,2,4,6
/proc/21674/task/21684/stat : 21684 (java) S 21672 21674 16811 0 -1 4202560 24685 0 0 0 94 3 0 0 16 0 22 0 831060341 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21685] ppid=21672 vsize=10553052 CPUtime=33.73 cores=0,2,4,6
/proc/21674/task/21685/stat : 21685 (java) S 21672 21674 16811 0 -1 4202560 85944 0 0 0 3361 12 0 0 15 0 22 0 831060342 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 0 0 16800975 18446604449910109184 0 0 -1 0 0 0 0
[pid=21674/tid=21686] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21686/stat : 21686 (java) S 21672 21674 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831060342 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21687] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21687/stat : 21687 (java) S 21672 21674 16811 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831060342 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21688] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21688/stat : 21688 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060345 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658970033 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21689] ppid=21672 vsize=10553052 CPUtime=1.41 cores=0,2,4,6
/proc/21674/task/21689/stat : 21689 (java) S 21672 21674 16811 0 -1 4202560 4477 0 0 0 141 0 0 0 15 0 22 0 831060345 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 4 0 0 0
[pid=21674/tid=21690] ppid=21672 vsize=10553052 CPUtime=1.21 cores=0,2,4,6
/proc/21674/task/21690/stat : 21690 (java) S 21672 21674 16811 0 -1 4202560 5656 0 0 0 120 1 0 0 15 0 22 0 831060345 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21691] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21691/stat : 21691 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060345 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21692] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21692/stat : 21692 (java) S 21672 21674 16811 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 831060345 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 4 0 0 0
[pid=21674/tid=21711] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21711/stat : 21711 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831061560 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21721] ppid=21672 vsize=10553052 CPUtime=655.78 cores=0,2,4,6
/proc/21674/task/21721/stat : 21721 (java) R 21672 21674 16811 0 -1 4202560 37 0 0 0 65576 2 0 0 25 0 22 0 831083778 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 46912506158288 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21674/tid=21722] ppid=21672 vsize=10553052 CPUtime=655.78 cores=0,2,4,6
/proc/21674/task/21722/stat : 21722 (java) R 21672 21674 16811 0 -1 4202560 12 0 0 0 65563 15 0 0 25 0 22 0 831083778 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 46912506338695 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21674/tid=21723] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21723/stat : 21723 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831083779 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10553052
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+916.126 s]
/proc/loadavg: 2.99 3.71 3.74 3/514 21764
/proc/meminfo: memFree=24879352/32951132 swapFree=57925096/67111528
[pid=21674] ppid=21672 vsize=0 CPUtime=1800.2 cores=0,2,4,6
/proc/21674/stat : 21674 (java) Z 21672 21674 16811 0 -1 4203548 1051668 0 1 0 179855 165 0 0 17 0 2 0 831060339 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21674/statm: 0 0 0 0 0 0 0
[pid=21674/tid=21722] ppid=21672 vsize=0 CPUtime=655.89 cores=0,2,4,6
/proc/21674/task/21722/stat : 21722 (java) R 21672 21674 16811 0 -1 4203588 12 0 0 0 65565 24 0 0 25 0 2 0 831083778 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 916.187
CPU time (s): 1800.27
CPU user time (s): 1798.56
CPU system time (s): 1.71174
CPU usage (%): 196.496
Max. virtual memory (cumulated for all children) (KiB): 10553052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.56
system time used= 1.71174
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1051668
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= 23704
involuntary context switches= 9036
runsolver used 5.04523 second user time and 10.7124 second system time
The end