runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3744291-1338810535/watcher-3744291-1338810535 -o /tmp/evaluation-result-3744291-1338810535/solver-3744291-1338810535 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3744291-1338810535.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: 1.99 2.00 2.00 3/194 16823
/proc/meminfo: memFree=26038264/32873648 swapFree=7120/7120
[pid=16823] ppid=16821 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/16823/stat : 16823 (java6) R 16821 16823 14611 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 347180906 9515008 182 33554432000 1073741824 1073778376 140737186733280 140737186724312 219513962165 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16823/statm: 2323 182 140 9 0 71 0
[startup+0.0741461 s]
/proc/loadavg: 1.99 2.00 2.00 3/194 16823
/proc/meminfo: memFree=26038264/32873648 swapFree=7120/7120
[pid=16823] ppid=16821 vsize=2648568 CPUtime=0.05 cores=1,3,5,7
/proc/16823/stat : 16823 (java) S 16821 16823 14611 0 -1 4202496 3830 0 1 0 4 1 0 0 20 0 18 0 347180906 2712133632 5548 33554432000 1073741824 1073778376 140734326597376 140734326588512 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16823/statm: 662142 5548 1760 9 0 652835 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2648568
[startup+0.100298 s]
/proc/loadavg: 1.99 2.00 2.00 3/194 16823
/proc/meminfo: memFree=26038264/32873648 swapFree=7120/7120
[pid=16823] ppid=16821 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/16823/stat : 16823 (java) S 16821 16823 14611 0 -1 4202496 4692 0 1 0 7 1 0 0 20 0 18 0 347180906 2712133632 6409 33554432000 1073741824 1073778376 140734326597376 140734326588512 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16823/statm: 662142 6409 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2648568
[startup+0.30023 s]
/proc/loadavg: 1.99 2.00 2.00 3/194 16823
/proc/meminfo: memFree=26038264/32873648 swapFree=7120/7120
[pid=16823] ppid=16821 vsize=2648568 CPUtime=0.44 cores=1,3,5,7
/proc/16823/stat : 16823 (java) S 16821 16823 14611 0 -1 4202496 5759 0 1 0 42 2 0 0 20 0 18 0 347180906 2712133632 16060 33554432000 1073741824 1073778376 140734326597376 140734326588512 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16823/statm: 662142 16060 2215 9 0 652835 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 2648568
[startup+0.700179 s]
/proc/loadavg: 1.99 2.00 2.00 3/194 16823
/proc/meminfo: memFree=26038264/32873648 swapFree=7120/7120
[pid=16823] ppid=16821 vsize=2648568 CPUtime=1 cores=1,3,5,7
/proc/16823/stat : 16823 (java) S 16821 16823 14611 0 -1 4202496 8142 0 1 0 93 7 0 0 20 0 18 0 347180906 2712133632 81015 33554432000 1073741824 1073778376 140734326597376 140734326588512 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16823/statm: 662142 81015 2228 9 0 652835 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 2648568
[startup+1.5007 s]
/proc/loadavg: 2.23 2.05 2.02 3/212 16841
/proc/meminfo: memFree=25617524/32873648 swapFree=7120/7120
[pid=16823] ppid=16821 vsize=2648568 CPUtime=2.44 cores=1,3,5,7
/proc/16823/stat : 16823 (java) S 16821 16823 14611 0 -1 4202496 15188 0 1 0 230 14 0 0 20 0 18 0 347180906 2712133632 106167 33554432000 1073741824 1073778376 140734326597376 140734326588512 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16823/statm: 662142 106167 2258 9 0 652835 0
[pid=16823/tid=16825] ppid=16821 vsize=2648568 CPUtime=1.41 cores=1,3,5,7
/proc/16823/task/16825/stat : 16825 (java) R 16821 16823 14611 0 -1 4202560 2918 0 1 0 133 8 0 0 20 0 18 0 347180907 2712133632 106167 33554432000 1073741824 1073778376 140734326597376 140346266017368 219517347085 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16823/tid=16826] ppid=16821 vsize=2648568 CPUtime=0.02 cores=1,3,5,7
/proc/16823/task/16826/stat : 16826 (java) S 16821 16823 14611 0 -1 4202560 22 0 0 0 1 1 0 0 20 0 18 0 347180909 2712133632 106167 33554432000 1073741824 1073778376 140734326597376 140346250467496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16827] ppid=16821 vsize=2648568 CPUtime=0.01 cores=1,3,5,7
/proc/16823/task/16827/stat : 16827 (java) S 16821 16823 14611 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 347180909 2712133632 106167 33554432000 1073741824 1073778376 140734326597376 140346249414952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16828] ppid=16821 vsize=2648568 CPUtime=0.01 cores=1,3,5,7
/proc/16823/task/16828/stat : 16828 (java) S 16821 16823 14611 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 347180909 2712133632 106167 33554432000 1073741824 1073778376 140734326597376 140346248362408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16829] ppid=16821 vsize=2648568 CPUtime=0.01 cores=1,3,5,7
/proc/16823/task/16829/stat : 16829 (java) S 16821 16823 14611 0 -1 4202560 26 0 0 0 1 0 0 0 20 0 18 0 347180909 2712133632 106167 33554432000 1073741824 1073778376 140734326597376 140346247309864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16823/tid=16830] ppid=16821 vsize=2648568 CPUtime=0.01 cores=1,3,5,7
/proc/16823/task/16830/stat : 16830 (java) S 16821 16823 14611 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 347180909 2712133632 106167 33554432000 1073741824 1073778376 140734326597376 140346246257320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16831] ppid=16821 vsize=2648568 CPUtime=0.01 cores=1,3,5,7
/proc/16823/task/16831/stat : 16831 (java) S 16821 16823 14611 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 18 0 347180909 2712133632 106167 33554432000 1073741824 1073778376 140734326597376 140346245204776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16832] ppid=16821 vsize=2648568 CPUtime=0.01 cores=1,3,5,7
/proc/16823/task/16832/stat : 16832 (java) S 16821 16823 14611 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 347180909 2712133632 106167 33554432000 1073741824 1073778376 140734326597376 140346126232488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16833] ppid=16821 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16833/stat : 16833 (java) S 16821 16823 14611 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 18 0 347180909 2712133632 106167 33554432000 1073741824 1073778376 140734326597376 140346125179944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16834] ppid=16821 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16834/stat : 16834 (java) S 16821 16823 14611 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 347180910 2712133632 106167 33554432000 1073741824 1073778376 140734326597376 140346112981096 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16835] ppid=16821 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16835/stat : 16835 (java) S 16821 16823 14611 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 347180910 2712133632 106167 33554432000 1073741824 1073778376 140734326597376 140346111927416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16836] ppid=16821 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16836/stat : 16836 (java) S 16821 16823 14611 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 347180910 2712133632 106167 33554432000 1073741824 1073778376 140734326597376 140346110874760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16837] ppid=16821 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16837/stat : 16837 (java) S 16821 16823 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347180913 2712133632 106167 33554432000 1073741824 1073778376 140734326597376 140345371257360 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16838] ppid=16821 vsize=2648568 CPUtime=0.41 cores=1,3,5,7
/proc/16823/task/16838/stat : 16838 (java) S 16821 16823 14611 0 -1 4202560 4664 0 0 0 41 0 0 0 20 0 18 0 347180913 2712133632 106167 33554432000 1073741824 1073778376 140734326597376 140345370204728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16839] ppid=16821 vsize=2648568 CPUtime=0.38 cores=1,3,5,7
/proc/16823/task/16839/stat : 16839 (java) S 16821 16823 14611 0 -1 4202560 6297 0 0 0 38 0 0 0 20 0 18 0 347180913 2712133632 106167 33554432000 1073741824 1073778376 140734326597376 140345369152184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16840] ppid=16821 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16840/stat : 16840 (java) S 16821 16823 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347180913 2712133632 106167 33554432000 1073741824 1073778376 140734326597376 140345368099832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16841] ppid=16821 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16841/stat : 16841 (java) S 16821 16823 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347180913 2712133632 106167 33554432000 1073741824 1073778376 140734326597376 140345367047496 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 2648568
[startup+3.10074 s]
/proc/loadavg: 2.23 2.05 2.02 3/212 16841
/proc/meminfo: memFree=25534736/32873648 swapFree=7120/7120
[pid=16823] ppid=16821 vsize=2648568 CPUtime=4.58 cores=1,3,5,7
/proc/16823/stat : 16823 (java) S 16821 16823 14611 0 -1 4202496 15473 0 1 0 431 27 0 0 20 0 18 0 347180906 2712133632 131345 33554432000 1073741824 1073778376 140734326597376 140734326588512 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16823/statm: 662142 131345 2258 9 0 652835 0
[pid=16823/tid=16825] ppid=16821 vsize=2648568 CPUtime=2.84 cores=1,3,5,7
/proc/16823/task/16825/stat : 16825 (java) R 16821 16823 14611 0 -1 4202560 2920 0 1 0 275 9 0 0 20 0 18 0 347180907 2712133632 131345 33554432000 1073741824 1073778376 140734326597376 140346266016808 219517347085 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16823/tid=16826] ppid=16821 vsize=2648568 CPUtime=0.12 cores=1,3,5,7
/proc/16823/task/16826/stat : 16826 (java) S 16821 16823 14611 0 -1 4202560 55 0 0 0 10 2 0 0 20 0 18 0 347180909 2712133632 131345 33554432000 1073741824 1073778376 140734326597376 140346250467496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16827] ppid=16821 vsize=2648568 CPUtime=0.12 cores=1,3,5,7
/proc/16823/task/16827/stat : 16827 (java) S 16821 16823 14611 0 -1 4202560 65 0 0 0 9 3 0 0 20 0 18 0 347180909 2712133632 131345 33554432000 1073741824 1073778376 140734326597376 140346249414952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16828] ppid=16821 vsize=2648568 CPUtime=0.11 cores=1,3,5,7
/proc/16823/task/16828/stat : 16828 (java) S 16821 16823 14611 0 -1 4202560 50 0 0 0 9 2 0 0 20 0 18 0 347180909 2712133632 131345 33554432000 1073741824 1073778376 140734326597376 140346248362408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16823/tid=16829] ppid=16821 vsize=2648568 CPUtime=0.13 cores=1,3,5,7
/proc/16823/task/16829/stat : 16829 (java) S 16821 16823 14611 0 -1 4202560 83 0 0 0 9 4 0 0 20 0 18 0 347180909 2712133632 131345 33554432000 1073741824 1073778376 140734326597376 140346247309864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16830] ppid=16821 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/16823/task/16830/stat : 16830 (java) S 16821 16823 14611 0 -1 4202560 35 0 0 0 5 2 0 0 20 0 18 0 347180909 2712133632 131345 33554432000 1073741824 1073778376 140734326597376 140346246257320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16831] ppid=16821 vsize=2648568 CPUtime=0.05 cores=1,3,5,7
/proc/16823/task/16831/stat : 16831 (java) S 16821 16823 14611 0 -1 4202560 40 0 0 0 3 2 0 0 20 0 18 0 347180909 2712133632 131345 33554432000 1073741824 1073778376 140734326597376 140346245204776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16832] ppid=16821 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/16823/task/16832/stat : 16832 (java) S 16821 16823 14611 0 -1 4202560 41 0 0 0 6 2 0 0 20 0 18 0 347180909 2712133632 131345 33554432000 1073741824 1073778376 140734326597376 140346126232488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16833] ppid=16821 vsize=2648568 CPUtime=0.06 cores=1,3,5,7
/proc/16823/task/16833/stat : 16833 (java) S 16821 16823 14611 0 -1 4202560 36 0 0 0 5 1 0 0 20 0 18 0 347180909 2712133632 131345 33554432000 1073741824 1073778376 140734326597376 140346125179944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16834] ppid=16821 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16834/stat : 16834 (java) S 16821 16823 14611 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 347180910 2712133632 131345 33554432000 1073741824 1073778376 140734326597376 140346112981096 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16835] ppid=16821 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16835/stat : 16835 (java) S 16821 16823 14611 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 347180910 2712133632 131345 33554432000 1073741824 1073778376 140734326597376 140346111927416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16836] ppid=16821 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16836/stat : 16836 (java) S 16821 16823 14611 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 347180910 2712133632 131345 33554432000 1073741824 1073778376 140734326597376 140346110874760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16837] ppid=16821 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16837/stat : 16837 (java) S 16821 16823 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347180913 2712133632 131345 33554432000 1073741824 1073778376 140734326597376 140345371257360 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16838] ppid=16821 vsize=2648568 CPUtime=0.43 cores=1,3,5,7
/proc/16823/task/16838/stat : 16838 (java) S 16821 16823 14611 0 -1 4202560 4665 0 0 0 43 0 0 0 20 0 18 0 347180913 2712133632 131345 33554432000 1073741824 1073778376 140734326597376 140345370204728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16839] ppid=16821 vsize=2648568 CPUtime=0.41 cores=1,3,5,7
/proc/16823/task/16839/stat : 16839 (java) S 16821 16823 14611 0 -1 4202560 6298 0 0 0 41 0 0 0 20 0 18 0 347180913 2712133632 131345 33554432000 1073741824 1073778376 140734326597376 140345369152184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16840] ppid=16821 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16840/stat : 16840 (java) S 16821 16823 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347180913 2712133632 131345 33554432000 1073741824 1073778376 140734326597376 140345368099832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16841] ppid=16821 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16841/stat : 16841 (java) S 16821 16823 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347180913 2712133632 131345 33554432000 1073741824 1073778376 140734326597376 140345367047496 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.58
Current children cumulated vsize (KiB) 2648568
[startup+6.3007 s]
/proc/loadavg: 2.22 2.05 2.02 3/213 16842
/proc/meminfo: memFree=25445836/32873648 swapFree=7120/7120
[pid=16823] ppid=16821 vsize=2715132 CPUtime=9.16 cores=1,3,5,7
/proc/16823/stat : 16823 (java) S 16821 16823 14611 0 -1 4202496 16548 0 1 0 883 33 0 0 20 0 19 0 347180906 2780295168 148249 33554432000 1073741824 1073778376 140734326597376 140734326588512 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16823/statm: 678783 148249 2272 9 0 669476 0
[pid=16823/tid=16825] ppid=16821 vsize=2715132 CPUtime=5.75 cores=1,3,5,7
/proc/16823/task/16825/stat : 16825 (java) R 16821 16823 14611 0 -1 4202560 2927 0 1 0 566 9 0 0 20 0 19 0 347180907 2780295168 148249 33554432000 1073741824 1073778376 140734326597376 140346266017144 140346127232528 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16823/tid=16826] ppid=16821 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/16823/task/16826/stat : 16826 (java) S 16821 16823 14611 0 -1 4202560 103 0 0 0 33 4 0 0 20 0 19 0 347180909 2780295168 148249 33554432000 1073741824 1073778376 140734326597376 140346250467496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16827] ppid=16821 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/16823/task/16827/stat : 16827 (java) S 16821 16823 14611 0 -1 4202560 92 0 0 0 17 4 0 0 20 0 19 0 347180909 2780295168 148249 33554432000 1073741824 1073778376 140734326597376 140346249414952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16828] ppid=16821 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/16823/task/16828/stat : 16828 (java) S 16821 16823 14611 0 -1 4202560 104 0 0 0 25 3 0 0 20 0 19 0 347180909 2780295168 148249 33554432000 1073741824 1073778376 140734326597376 140346248362408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16829] ppid=16821 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/16823/task/16829/stat : 16829 (java) S 16821 16823 14611 0 -1 4202560 116 0 0 0 21 5 0 0 20 0 19 0 347180909 2780295168 148249 33554432000 1073741824 1073778376 140734326597376 140346247309864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16830] ppid=16821 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/16823/task/16830/stat : 16830 (java) S 16821 16823 14611 0 -1 4202560 58 0 0 0 21 3 0 0 20 0 19 0 347180909 2780295168 148249 33554432000 1073741824 1073778376 140734326597376 140346246257320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16831] ppid=16821 vsize=2715132 CPUtime=0.2 cores=1,3,5,7
/proc/16823/task/16831/stat : 16831 (java) S 16821 16823 14611 0 -1 4202560 60 0 0 0 18 2 0 0 20 0 19 0 347180909 2780295168 148249 33554432000 1073741824 1073778376 140734326597376 140346245204776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16832] ppid=16821 vsize=2715132 CPUtime=0.18 cores=1,3,5,7
/proc/16823/task/16832/stat : 16832 (java) S 16821 16823 14611 0 -1 4202560 68 0 0 0 15 3 0 0 20 0 19 0 347180909 2780295168 148249 33554432000 1073741824 1073778376 140734326597376 140346126232488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16833] ppid=16821 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/16823/task/16833/stat : 16833 (java) S 16821 16823 14611 0 -1 4202560 58 0 0 0 15 2 0 0 20 0 19 0 347180909 2780295168 148249 33554432000 1073741824 1073778376 140734326597376 140346125179944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16823/tid=16834] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16834/stat : 16834 (java) S 16821 16823 14611 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 347180910 2780295168 148249 33554432000 1073741824 1073778376 140734326597376 140346112981096 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16835] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16835/stat : 16835 (java) S 16821 16823 14611 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 347180910 2780295168 148249 33554432000 1073741824 1073778376 140734326597376 140346111927416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16836] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16836/stat : 16836 (java) S 16821 16823 14611 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 347180910 2780295168 148249 33554432000 1073741824 1073778376 140734326597376 140346110874760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16837] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16837/stat : 16837 (java) S 16821 16823 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347180913 2780295168 148249 33554432000 1073741824 1073778376 140734326597376 140345371257360 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16838] ppid=16821 vsize=2715132 CPUtime=0.69 cores=1,3,5,7
/proc/16823/task/16838/stat : 16838 (java) S 16821 16823 14611 0 -1 4202560 5359 0 0 0 69 0 0 0 20 0 19 0 347180913 2780295168 148249 33554432000 1073741824 1073778376 140734326597376 140345370204728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16839] ppid=16821 vsize=2715132 CPUtime=0.69 cores=1,3,5,7
/proc/16823/task/16839/stat : 16839 (java) S 16821 16823 14611 0 -1 4202560 6410 0 0 0 69 0 0 0 20 0 19 0 347180913 2780295168 148249 33554432000 1073741824 1073778376 140734326597376 140345369152184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16840] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16840/stat : 16840 (java) S 16821 16823 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347180913 2780295168 148249 33554432000 1073741824 1073778376 140734326597376 140345368099832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16841] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16841/stat : 16841 (java) S 16821 16823 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347180913 2780295168 148249 33554432000 1073741824 1073778376 140734326597376 140345367047496 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16842] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16842/stat : 16842 (java) S 16821 16823 14611 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 347181306 2780295168 148249 33554432000 1073741824 1073778376 140734326597376 140345365992232 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 9.16
Current children cumulated vsize (KiB) 2715132
[startup+12.7007 s]
/proc/loadavg: 2.20 2.05 2.02 3/213 16842
/proc/meminfo: memFree=25379248/32873648 swapFree=7120/7120
[pid=16823] ppid=16821 vsize=2715132 CPUtime=16.41 cores=1,3,5,7
/proc/16823/stat : 16823 (java) S 16821 16823 14611 0 -1 4202496 17081 0 1 0 1600 41 0 0 20 0 19 0 347180906 2780295168 162435 33554432000 1073741824 1073778376 140734326597376 140734326588512 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
################
# More data... #
################
[pid=16823/tid=16831] ppid=16821 vsize=2715132 CPUtime=6.22 cores=1,3,5,7
/proc/16823/task/16831/stat : 16831 (java) S 16821 16823 14611 0 -1 4202560 423 0 0 0 612 10 0 0 20 0 19 0 347180909 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346245204776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16832] ppid=16821 vsize=2715132 CPUtime=6.55 cores=1,3,5,7
/proc/16823/task/16832/stat : 16832 (java) S 16821 16823 14611 0 -1 4202560 438 0 0 0 643 12 0 0 20 0 19 0 347180909 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346126232488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16833] ppid=16821 vsize=2715132 CPUtime=6.29 cores=1,3,5,7
/proc/16823/task/16833/stat : 16833 (java) S 16821 16823 14611 0 -1 4202560 423 0 0 0 617 12 0 0 20 0 19 0 347180909 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346125179944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16834] ppid=16821 vsize=2715132 CPUtime=3.32 cores=1,3,5,7
/proc/16823/task/16834/stat : 16834 (java) S 16821 16823 14611 0 -1 4202560 7129 0 0 0 326 6 0 0 20 0 19 0 347180910 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346112981096 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16835] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16835/stat : 16835 (java) S 16821 16823 14611 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 347180910 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346111927416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16836] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16836/stat : 16836 (java) S 16821 16823 14611 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 347180910 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346110874760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16837] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16837/stat : 16837 (java) S 16821 16823 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347180913 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140345371257360 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16838] ppid=16821 vsize=2715132 CPUtime=1.3 cores=1,3,5,7
/proc/16823/task/16838/stat : 16838 (java) S 16821 16823 14611 0 -1 4202560 12532 0 0 0 128 2 0 0 20 0 19 0 347180913 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140345370204728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16839] ppid=16821 vsize=2715132 CPUtime=0.73 cores=1,3,5,7
/proc/16823/task/16839/stat : 16839 (java) S 16821 16823 14611 0 -1 4202560 6437 0 0 0 73 0 0 0 20 0 19 0 347180913 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140345369152184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16840] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16840/stat : 16840 (java) S 16821 16823 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347180913 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140345368099832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16841] ppid=16821 vsize=2715132 CPUtime=0.58 cores=1,3,5,7
/proc/16823/task/16841/stat : 16841 (java) S 16821 16823 14611 0 -1 4202560 93 0 0 0 23 35 0 0 20 0 19 0 347180913 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140345367047496 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16842] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16842/stat : 16842 (java) S 16821 16823 14611 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 347181306 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140345365992232 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1640.89
Current children cumulated vsize (KiB) 2715132
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/213 16937
/proc/meminfo: memFree=24952996/32873648 swapFree=7120/7120
[pid=16823] ppid=16821 vsize=2715132 CPUtime=1701.32 cores=1,3,5,7
/proc/16823/stat : 16823 (java) S 16821 16823 14611 0 -1 4202496 34363 0 1 0 169988 144 0 0 20 0 19 0 347180906 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140734326588512 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16823/statm: 678783 345772 2285 9 0 669476 0
[pid=16823/tid=16825] ppid=16821 vsize=2715132 CPUtime=1644.78 cores=1,3,5,7
/proc/16823/task/16825/stat : 16825 (java) R 16821 16823 14611 0 -1 4202560 3463 0 1 0 164442 36 0 0 20 0 19 0 347180907 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346266017104 140346127167580 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16826] ppid=16821 vsize=2715132 CPUtime=6.46 cores=1,3,5,7
/proc/16823/task/16826/stat : 16826 (java) S 16821 16823 14611 0 -1 4202560 432 0 0 0 634 12 0 0 20 0 19 0 347180909 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346250467496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16827] ppid=16821 vsize=2715132 CPUtime=6.27 cores=1,3,5,7
/proc/16823/task/16827/stat : 16827 (java) S 16821 16823 14611 0 -1 4202560 446 0 0 0 613 14 0 0 20 0 19 0 347180909 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346249414952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16823/tid=16828] ppid=16821 vsize=2715132 CPUtime=6.34 cores=1,3,5,7
/proc/16823/task/16828/stat : 16828 (java) S 16821 16823 14611 0 -1 4202560 457 0 0 0 622 12 0 0 20 0 19 0 347180909 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346248362408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16829] ppid=16821 vsize=2715132 CPUtime=6.46 cores=1,3,5,7
/proc/16823/task/16829/stat : 16829 (java) S 16821 16823 14611 0 -1 4202560 476 0 0 0 632 14 0 0 20 0 19 0 347180909 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346247309864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16830] ppid=16821 vsize=2715132 CPUtime=6.27 cores=1,3,5,7
/proc/16823/task/16830/stat : 16830 (java) S 16821 16823 14611 0 -1 4202560 426 0 0 0 617 10 0 0 20 0 19 0 347180909 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346246257320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16831] ppid=16821 vsize=2715132 CPUtime=6.28 cores=1,3,5,7
/proc/16823/task/16831/stat : 16831 (java) S 16821 16823 14611 0 -1 4202560 423 0 0 0 618 10 0 0 20 0 19 0 347180909 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346245204776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16823/tid=16832] ppid=16821 vsize=2715132 CPUtime=6.61 cores=1,3,5,7
/proc/16823/task/16832/stat : 16832 (java) S 16821 16823 14611 0 -1 4202560 438 0 0 0 649 12 0 0 20 0 19 0 347180909 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346126232488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16833] ppid=16821 vsize=2715132 CPUtime=6.35 cores=1,3,5,7
/proc/16823/task/16833/stat : 16833 (java) S 16821 16823 14611 0 -1 4202560 423 0 0 0 623 12 0 0 20 0 19 0 347180909 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346125179944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16834] ppid=16821 vsize=2715132 CPUtime=3.32 cores=1,3,5,7
/proc/16823/task/16834/stat : 16834 (java) S 16821 16823 14611 0 -1 4202560 7131 0 0 0 326 6 0 0 20 0 19 0 347180910 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346112981096 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16835] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16835/stat : 16835 (java) S 16821 16823 14611 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 347180910 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346111927416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16836] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16836/stat : 16836 (java) S 16821 16823 14611 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 347180910 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346110874760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16837] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16837/stat : 16837 (java) S 16821 16823 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347180913 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140345371257360 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16838] ppid=16821 vsize=2715132 CPUtime=1.3 cores=1,3,5,7
/proc/16823/task/16838/stat : 16838 (java) S 16821 16823 14611 0 -1 4202560 12532 0 0 0 128 2 0 0 20 0 19 0 347180913 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140345370204728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16839] ppid=16821 vsize=2715132 CPUtime=0.73 cores=1,3,5,7
/proc/16823/task/16839/stat : 16839 (java) S 16821 16823 14611 0 -1 4202560 6437 0 0 0 73 0 0 0 20 0 19 0 347180913 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140345369152184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16840] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16840/stat : 16840 (java) S 16821 16823 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347180913 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140345368099832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16841] ppid=16821 vsize=2715132 CPUtime=0.59 cores=1,3,5,7
/proc/16823/task/16841/stat : 16841 (java) S 16821 16823 14611 0 -1 4202560 97 0 0 0 23 36 0 0 20 0 19 0 347180913 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140345367047496 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16842] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16842/stat : 16842 (java) S 16821 16823 14611 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 347181306 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140345365992232 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1701.32
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/213 16938
/proc/meminfo: memFree=24953004/32873648 swapFree=7120/7120
[pid=16823] ppid=16821 vsize=2715132 CPUtime=1762.45 cores=1,3,5,7
/proc/16823/stat : 16823 (java) S 16821 16823 14611 0 -1 4202496 34381 0 1 0 176100 145 0 0 20 0 19 0 347180906 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140734326588512 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16823/statm: 678783 345772 2285 9 0 669476 0
[pid=16823/tid=16825] ppid=16821 vsize=2715132 CPUtime=1704.35 cores=1,3,5,7
/proc/16823/task/16825/stat : 16825 (java) R 16821 16823 14611 0 -1 4202560 3475 0 1 0 170398 37 0 0 20 0 19 0 347180907 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346266017072 140346127223121 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16826] ppid=16821 vsize=2715132 CPUtime=6.72 cores=1,3,5,7
/proc/16823/task/16826/stat : 16826 (java) S 16821 16823 14611 0 -1 4202560 432 0 0 0 660 12 0 0 20 0 19 0 347180909 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346250467496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16823/tid=16827] ppid=16821 vsize=2715132 CPUtime=6.48 cores=1,3,5,7
/proc/16823/task/16827/stat : 16827 (java) S 16821 16823 14611 0 -1 4202560 446 0 0 0 634 14 0 0 20 0 19 0 347180909 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346249414952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16828] ppid=16821 vsize=2715132 CPUtime=6.54 cores=1,3,5,7
/proc/16823/task/16828/stat : 16828 (java) S 16821 16823 14611 0 -1 4202560 457 0 0 0 642 12 0 0 20 0 19 0 347180909 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346248362408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16823/tid=16829] ppid=16821 vsize=2715132 CPUtime=6.64 cores=1,3,5,7
/proc/16823/task/16829/stat : 16829 (java) S 16821 16823 14611 0 -1 4202560 476 0 0 0 650 14 0 0 20 0 19 0 347180909 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346247309864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16830] ppid=16821 vsize=2715132 CPUtime=6.46 cores=1,3,5,7
/proc/16823/task/16830/stat : 16830 (java) S 16821 16823 14611 0 -1 4202560 426 0 0 0 636 10 0 0 20 0 19 0 347180909 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346246257320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16831] ppid=16821 vsize=2715132 CPUtime=6.42 cores=1,3,5,7
/proc/16823/task/16831/stat : 16831 (java) S 16821 16823 14611 0 -1 4202560 423 0 0 0 632 10 0 0 20 0 19 0 347180909 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346245204776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16832] ppid=16821 vsize=2715132 CPUtime=6.82 cores=1,3,5,7
/proc/16823/task/16832/stat : 16832 (java) S 16821 16823 14611 0 -1 4202560 438 0 0 0 670 12 0 0 20 0 19 0 347180909 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346126232488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16833] ppid=16821 vsize=2715132 CPUtime=6.52 cores=1,3,5,7
/proc/16823/task/16833/stat : 16833 (java) S 16821 16823 14611 0 -1 4202560 423 0 0 0 639 13 0 0 20 0 19 0 347180909 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346125179944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16834] ppid=16821 vsize=2715132 CPUtime=3.32 cores=1,3,5,7
/proc/16823/task/16834/stat : 16834 (java) S 16821 16823 14611 0 -1 4202560 7135 0 0 0 326 6 0 0 20 0 19 0 347180910 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346112981096 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16835] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16835/stat : 16835 (java) S 16821 16823 14611 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 347180910 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346111927416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16836] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16836/stat : 16836 (java) S 16821 16823 14611 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 347180910 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140346110874760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16837] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16837/stat : 16837 (java) S 16821 16823 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347180913 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140345371257360 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16838] ppid=16821 vsize=2715132 CPUtime=1.3 cores=1,3,5,7
/proc/16823/task/16838/stat : 16838 (java) S 16821 16823 14611 0 -1 4202560 12532 0 0 0 128 2 0 0 20 0 19 0 347180913 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140345370204728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16839] ppid=16821 vsize=2715132 CPUtime=0.73 cores=1,3,5,7
/proc/16823/task/16839/stat : 16839 (java) S 16821 16823 14611 0 -1 4202560 6437 0 0 0 73 0 0 0 20 0 19 0 347180913 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140345369152184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16840] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16840/stat : 16840 (java) S 16821 16823 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347180913 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140345368099832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16841] ppid=16821 vsize=2715132 CPUtime=0.61 cores=1,3,5,7
/proc/16823/task/16841/stat : 16841 (java) S 16821 16823 14611 0 -1 4202560 99 0 0 0 24 37 0 0 20 0 19 0 347180913 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140345367047496 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16842] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16842/stat : 16842 (java) S 16821 16823 14611 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 347181306 2780295168 345772 33554432000 1073741824 1073778376 140734326597376 140345365992232 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1762.45
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1759.8 s]
/proc/loadavg: 2.03 2.00 2.00 3/213 16938
/proc/meminfo: memFree=24786872/32873648 swapFree=7120/7120
[pid=16823] ppid=16821 vsize=2715132 CPUtime=1800.06 cores=1,3,5,7
/proc/16823/stat : 16823 (java) S 16821 16823 14611 0 -1 4202496 34389 0 1 0 179860 146 0 0 20 0 19 0 347180906 2780295168 346794 33554432000 1073741824 1073778376 140734326597376 140734326588512 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16823/statm: 678783 346794 2285 9 0 669476 0
[pid=16823/tid=16825] ppid=16821 vsize=2715132 CPUtime=1740.81 cores=1,3,5,7
/proc/16823/task/16825/stat : 16825 (java) R 16821 16823 14611 0 -1 4202560 3477 0 1 0 174043 38 0 0 20 0 19 0 347180907 2780295168 346794 33554432000 1073741824 1073778376 140734326597376 140346266017088 140346127167524 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16826] ppid=16821 vsize=2715132 CPUtime=6.73 cores=1,3,5,7
/proc/16823/task/16826/stat : 16826 (java) S 16821 16823 14611 0 -1 4202560 432 0 0 0 661 12 0 0 20 0 19 0 347180909 2780295168 346794 33554432000 1073741824 1073778376 140734326597376 140346250467496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16823/tid=16827] ppid=16821 vsize=2715132 CPUtime=6.49 cores=1,3,5,7
/proc/16823/task/16827/stat : 16827 (java) S 16821 16823 14611 0 -1 4202560 446 0 0 0 635 14 0 0 20 0 19 0 347180909 2780295168 346794 33554432000 1073741824 1073778376 140734326597376 140346249414952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16823/tid=16828] ppid=16821 vsize=2715132 CPUtime=6.56 cores=1,3,5,7
/proc/16823/task/16828/stat : 16828 (java) S 16821 16823 14611 0 -1 4202560 457 0 0 0 644 12 0 0 20 0 19 0 347180909 2780295168 346794 33554432000 1073741824 1073778376 140734326597376 140346248362408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16823/tid=16829] ppid=16821 vsize=2715132 CPUtime=6.66 cores=1,3,5,7
/proc/16823/task/16829/stat : 16829 (java) S 16821 16823 14611 0 -1 4202560 476 0 0 0 652 14 0 0 20 0 19 0 347180909 2780295168 346794 33554432000 1073741824 1073778376 140734326597376 140346247309864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16830] ppid=16821 vsize=2715132 CPUtime=6.48 cores=1,3,5,7
/proc/16823/task/16830/stat : 16830 (java) S 16821 16823 14611 0 -1 4202560 426 0 0 0 638 10 0 0 20 0 19 0 347180909 2780295168 346794 33554432000 1073741824 1073778376 140734326597376 140346246257320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16831] ppid=16821 vsize=2715132 CPUtime=6.43 cores=1,3,5,7
/proc/16823/task/16831/stat : 16831 (java) S 16821 16823 14611 0 -1 4202560 423 0 0 0 633 10 0 0 20 0 19 0 347180909 2780295168 346794 33554432000 1073741824 1073778376 140734326597376 140346245204776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16832] ppid=16821 vsize=2715132 CPUtime=6.86 cores=1,3,5,7
/proc/16823/task/16832/stat : 16832 (java) S 16821 16823 14611 0 -1 4202560 438 0 0 0 674 12 0 0 20 0 19 0 347180909 2780295168 346794 33554432000 1073741824 1073778376 140734326597376 140346126232488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16833] ppid=16821 vsize=2715132 CPUtime=6.54 cores=1,3,5,7
/proc/16823/task/16833/stat : 16833 (java) S 16821 16823 14611 0 -1 4202560 423 0 0 0 641 13 0 0 20 0 19 0 347180909 2780295168 346794 33554432000 1073741824 1073778376 140734326597376 140346125179944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16834] ppid=16821 vsize=2715132 CPUtime=4.32 cores=1,3,5,7
/proc/16823/task/16834/stat : 16834 (java) S 16821 16823 14611 0 -1 4202560 7139 0 0 0 426 6 0 0 20 0 19 0 347180910 2780295168 346794 33554432000 1073741824 1073778376 140734326597376 140346112981096 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16835] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16835/stat : 16835 (java) S 16821 16823 14611 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 347180910 2780295168 346794 33554432000 1073741824 1073778376 140734326597376 140346111927416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16836] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16836/stat : 16836 (java) S 16821 16823 14611 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 347180910 2780295168 346794 33554432000 1073741824 1073778376 140734326597376 140346110874760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16837] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16837/stat : 16837 (java) S 16821 16823 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347180913 2780295168 346794 33554432000 1073741824 1073778376 140734326597376 140345371257360 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16823/tid=16838] ppid=16821 vsize=2715132 CPUtime=1.3 cores=1,3,5,7
/proc/16823/task/16838/stat : 16838 (java) S 16821 16823 14611 0 -1 4202560 12532 0 0 0 128 2 0 0 20 0 19 0 347180913 2780295168 346794 33554432000 1073741824 1073778376 140734326597376 140345370204728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16839] ppid=16821 vsize=2715132 CPUtime=0.73 cores=1,3,5,7
/proc/16823/task/16839/stat : 16839 (java) S 16821 16823 14611 0 -1 4202560 6437 0 0 0 73 0 0 0 20 0 19 0 347180913 2780295168 346794 33554432000 1073741824 1073778376 140734326597376 140345369152184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16840] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16840/stat : 16840 (java) S 16821 16823 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347180913 2780295168 346794 33554432000 1073741824 1073778376 140734326597376 140345368099832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16823/tid=16841] ppid=16821 vsize=2715132 CPUtime=0.61 cores=1,3,5,7
/proc/16823/task/16841/stat : 16841 (java) S 16821 16823 14611 0 -1 4202560 101 0 0 0 24 37 0 0 20 0 19 0 347180913 2780295168 346794 33554432000 1073741824 1073778376 140734326597376 140345367047496 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16823/tid=16842] ppid=16821 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/16823/task/16842/stat : 16842 (java) S 16821 16823 14611 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 347181306 2780295168 346794 33554432000 1073741824 1073778376 140734326597376 140345365992232 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1759.83
CPU time (s): 1800.82
CPU user time (s): 1798.87
CPU system time (s): 1.9517
CPU usage (%): 102.329
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.87
system time used= 1.9517
maximum resident set size= 1389048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34438
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54413
involuntary context switches= 80903
runsolver used 5.97209 second user time and 14.5228 second system time
The end