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-3732858-1338692039/watcher-3732858-1338692039 -o /tmp/evaluation-result-3732858-1338692039/solver-3732858-1338692039 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732858-1338692039.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: 2.04 2.06 2.02 3/194 31658
/proc/meminfo: memFree=30082936/32873844 swapFree=7116/7116
[pid=31658] ppid=31656 vsize=252 CPUtime=0 cores=0,2,4,6
/proc/31658/stat : 31658 (java) R 31656 31658 28219 0 -1 4194304 253 0 0 0 0 0 0 0 20 0 1 0 335328876 258048 2 33554432000 0 0 140734195815907 140737256824968 240564989367 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31658/statm: 67 9 4 9 0 24 0
[startup+0.065652 s]
/proc/loadavg: 2.04 2.06 2.02 3/194 31658
/proc/meminfo: memFree=30082936/32873844 swapFree=7116/7116
[pid=31658] ppid=31656 vsize=2623916 CPUtime=0.03 cores=0,2,4,6
/proc/31658/stat : 31658 (java) S 31656 31658 28219 0 -1 4202496 3445 0 1 0 3 0 0 0 20 0 13 0 335328876 2686889984 5164 33554432000 1073741824 1073778376 140734195813008 140734195804144 240568533053 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31658/statm: 655979 5164 1709 9 0 646680 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916
[startup+0.100257 s]
/proc/loadavg: 2.04 2.06 2.02 3/194 31658
/proc/meminfo: memFree=30082936/32873844 swapFree=7116/7116
[pid=31658] ppid=31656 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/31658/stat : 31658 (java) S 31656 31658 28219 0 -1 4202496 3640 0 1 0 6 1 0 0 20 0 18 0 335328876 3028844544 5869 33554432000 1073741824 1073778376 140734195813008 140734195804144 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31658/statm: 739464 5870 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.300205 s]
/proc/loadavg: 2.04 2.06 2.02 3/194 31658
/proc/meminfo: memFree=30082936/32873844 swapFree=7116/7116
[pid=31658] ppid=31656 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/31658/stat : 31658 (java) S 31656 31658 28219 0 -1 4202496 6345 0 1 0 45 1 0 0 20 0 19 0 335328876 3097006080 8854 33554432000 1073741824 1073778376 140734195813008 140734195804144 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31658/statm: 756105 8854 2255 9 0 746526 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 3024420
[startup+0.700221 s]
/proc/loadavg: 2.04 2.06 2.02 3/194 31658
/proc/meminfo: memFree=30082936/32873844 swapFree=7116/7116
[pid=31658] ppid=31656 vsize=3024420 CPUtime=1.02 cores=0,2,4,6
/proc/31658/stat : 31658 (java) S 31656 31658 28219 0 -1 4202496 6493 0 1 0 100 2 0 0 20 0 19 0 335328876 3097006080 11434 33554432000 1073741824 1073778376 140734195813008 140734195804144 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31658/statm: 756105 11434 2261 9 0 746526 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 3024420
[startup+1.50067 s]
/proc/loadavg: 2.04 2.06 2.02 3/213 31678
/proc/meminfo: memFree=30039648/32873844 swapFree=7116/7116
[pid=31658] ppid=31656 vsize=3024420 CPUtime=1.84 cores=0,2,4,6
/proc/31658/stat : 31658 (java) S 31656 31658 28219 0 -1 4202496 6504 0 1 0 182 2 0 0 20 0 19 0 335328876 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140734195804144 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31658/statm: 756105 16043 2261 9 0 746526 0
[pid=31658/tid=31660] ppid=31656 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/31658/task/31660/stat : 31660 (java) R 31656 31658 28219 0 -1 4202560 2556 0 1 0 144 2 0 0 20 0 19 0 335328877 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140550000593376 140549869285085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31661] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31661/stat : 31661 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549866556200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31662] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31662/stat : 31662 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549865503400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31663] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31663/stat : 31663 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549864451112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31664] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31664/stat : 31664 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549863398312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31665] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31665/stat : 31665 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549862345000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31666] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31666/stat : 31666 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549861292200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31667] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31667/stat : 31667 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549860239912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31668] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31668/stat : 31668 (java) S 31656 31658 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549859187112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31669] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31669/stat : 31669 (java) S 31656 31658 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549376940776 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31670/stat : 31670 (java) S 31656 31658 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549375886840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31671/stat : 31671 (java) S 31656 31658 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549374834440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31672] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31672/stat : 31672 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549373782928 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31673] ppid=31656 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/31658/task/31673/stat : 31673 (java) S 31656 31658 28219 0 -1 4202560 917 0 0 0 14 0 0 0 20 0 19 0 335328883 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549372729528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31674] ppid=31656 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/31658/task/31674/stat : 31674 (java) S 31656 31658 28219 0 -1 4202560 1833 0 0 0 20 0 0 0 20 0 19 0 335328883 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549371676728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31675] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31675/stat : 31675 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549370624632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31676] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31676/stat : 31676 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549369572040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31678] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31678/stat : 31678 (java) S 31656 31658 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335328899 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549367440680 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 3024420
[startup+3.10069 s]
/proc/loadavg: 2.04 2.06 2.02 3/213 31678
/proc/meminfo: memFree=30012528/32873844 swapFree=7116/7116
[pid=31658] ppid=31656 vsize=3024420 CPUtime=3.45 cores=0,2,4,6
/proc/31658/stat : 31658 (java) S 31656 31658 28219 0 -1 4202496 6522 0 1 0 342 3 0 0 20 0 19 0 335328876 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140734195804144 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31658/statm: 756105 25259 2261 9 0 746526 0
[pid=31658/tid=31660] ppid=31656 vsize=3024420 CPUtime=3.05 cores=0,2,4,6
/proc/31658/task/31660/stat : 31660 (java) R 31656 31658 28219 0 -1 4202560 2574 0 1 0 303 2 0 0 20 0 19 0 335328877 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140550000595304 140549869207277 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31661] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31661/stat : 31661 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549866556200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31662] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31662/stat : 31662 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549865503400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31663] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31663/stat : 31663 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549864451112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31664] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31664/stat : 31664 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549863398312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31665] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31665/stat : 31665 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549862345000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31666] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31666/stat : 31666 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549861292200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31667] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31667/stat : 31667 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549860239912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31668] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31668/stat : 31668 (java) S 31656 31658 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549859187112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31669] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31669/stat : 31669 (java) S 31656 31658 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549376940776 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31670/stat : 31670 (java) S 31656 31658 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549375886840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31671/stat : 31671 (java) S 31656 31658 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549374834440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31672] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31672/stat : 31672 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549373782928 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31673] ppid=31656 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/31658/task/31673/stat : 31673 (java) S 31656 31658 28219 0 -1 4202560 917 0 0 0 14 0 0 0 20 0 19 0 335328883 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549372729528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31674] ppid=31656 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/31658/task/31674/stat : 31674 (java) S 31656 31658 28219 0 -1 4202560 1833 0 0 0 21 0 0 0 20 0 19 0 335328883 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549371676728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31675] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31675/stat : 31675 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549370624632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31676] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31676/stat : 31676 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549369572040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31678] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31678/stat : 31678 (java) S 31656 31658 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335328899 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549367440680 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 3024420
[startup+6.3007 s]
/proc/loadavg: 2.04 2.06 2.02 3/213 31678
/proc/meminfo: memFree=29938428/32873844 swapFree=7116/7116
[pid=31658] ppid=31656 vsize=3024420 CPUtime=6.65 cores=0,2,4,6
/proc/31658/stat : 31658 (java) S 31656 31658 28219 0 -1 4202496 6559 0 1 0 661 4 0 0 20 0 19 0 335328876 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140734195804144 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31658/statm: 756105 43132 2262 9 0 746526 0
[pid=31658/tid=31660] ppid=31656 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/31658/task/31660/stat : 31660 (java) R 31656 31658 28219 0 -1 4202560 2610 0 1 0 621 3 0 0 20 0 19 0 335328877 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140550000595304 140549869277017 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31661] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31661/stat : 31661 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549866556200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31662] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31662/stat : 31662 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549865503400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31663] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31663/stat : 31663 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549864451112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31664] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31664/stat : 31664 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549863398312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31665] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31665/stat : 31665 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549862345000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31666] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31666/stat : 31666 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549861292200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31667] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31667/stat : 31667 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549860239912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31668] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31668/stat : 31668 (java) S 31656 31658 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549859187112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31669] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31669/stat : 31669 (java) S 31656 31658 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549376940776 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31670/stat : 31670 (java) S 31656 31658 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549375886840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31671/stat : 31671 (java) S 31656 31658 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549374834440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31672] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31672/stat : 31672 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549373782928 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31673] ppid=31656 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/31658/task/31673/stat : 31673 (java) S 31656 31658 28219 0 -1 4202560 917 0 0 0 14 0 0 0 20 0 19 0 335328883 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549372729528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31674] ppid=31656 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/31658/task/31674/stat : 31674 (java) S 31656 31658 28219 0 -1 4202560 1833 0 0 0 21 0 0 0 20 0 19 0 335328883 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549371676728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31675] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31675/stat : 31675 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549370624632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31676] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31676/stat : 31676 (java) S 31656 31658 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549369572040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31678] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31678/stat : 31678 (java) S 31656 31658 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335328899 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549367440680 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.65
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
################
# More data... #
################
[pid=31658/tid=31673] ppid=31656 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/31658/task/31673/stat : 31673 (java) S 31656 31658 28219 0 -1 4202560 991 0 0 0 18 0 0 0 20 0 19 0 335328883 3097006080 417273 33554432000 1073741824 1073778376 140734195813008 140549372729528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31674] ppid=31656 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/31658/task/31674/stat : 31674 (java) S 31656 31658 28219 0 -1 4202560 1840 0 0 0 26 0 0 0 20 0 19 0 335328883 3097006080 417273 33554432000 1073741824 1073778376 140734195813008 140549371676728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31675] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31675/stat : 31675 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 417273 33554432000 1073741824 1073778376 140734195813008 140549370624632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31676] ppid=31656 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/31658/task/31676/stat : 31676 (java) S 31656 31658 28219 0 -1 4202560 96 0 0 0 37 30 0 0 20 0 19 0 335328883 3097006080 417273 33554432000 1073741824 1073778376 140734195813008 140549369572040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31678] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31678/stat : 31678 (java) S 31656 31658 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335328899 3097006080 417273 33554432000 1073741824 1073778376 140734195813008 140549367440680 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1665.91
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 31782
/proc/meminfo: memFree=28783852/32873844 swapFree=7116/7116
[pid=31658] ppid=31656 vsize=3024420 CPUtime=1725.92 cores=0,2,4,6
/proc/31658/stat : 31658 (java) S 31656 31658 28219 0 -1 4202496 10061 0 1 0 172439 153 0 0 20 0 19 0 335328876 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140734195804144 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31658/statm: 756105 417907 2292 9 0 746526 0
[pid=31658/tid=31660] ppid=31656 vsize=3024420 CPUtime=1715.78 cores=0,2,4,6
/proc/31658/task/31660/stat : 31660 (java) R 31656 31658 28219 0 -1 4202560 2751 0 1 0 171544 34 0 0 20 0 19 0 335328877 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140550000594160 140549869202490 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31661] ppid=31656 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/31658/task/31661/stat : 31661 (java) S 31656 31658 28219 0 -1 4202560 244 0 0 0 28 12 0 0 20 0 19 0 335328879 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549866556200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31662] ppid=31656 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/31658/task/31662/stat : 31662 (java) S 31656 31658 28219 0 -1 4202560 184 0 0 0 23 9 0 0 20 0 19 0 335328879 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549865503400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31663] ppid=31656 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/31658/task/31663/stat : 31663 (java) S 31656 31658 28219 0 -1 4202560 233 0 0 0 29 11 0 0 20 0 19 0 335328879 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549864451112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31664] ppid=31656 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/31658/task/31664/stat : 31664 (java) S 31656 31658 28219 0 -1 4202560 472 0 0 0 43 22 0 0 20 0 19 0 335328879 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549863398312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31665] ppid=31656 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/31658/task/31665/stat : 31665 (java) S 31656 31658 28219 0 -1 4202560 482 0 0 0 47 21 0 0 20 0 19 0 335328879 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549862345000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31666] ppid=31656 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/31658/task/31666/stat : 31666 (java) S 31656 31658 28219 0 -1 4202560 374 0 0 0 39 19 0 0 20 0 19 0 335328879 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549861292200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31667] ppid=31656 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/31658/task/31667/stat : 31667 (java) S 31656 31658 28219 0 -1 4202560 246 0 0 0 23 11 0 0 20 0 19 0 335328879 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549860239912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31668] ppid=31656 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/31658/task/31668/stat : 31668 (java) S 31656 31658 28219 0 -1 4202560 227 0 0 0 27 12 0 0 20 0 19 0 335328879 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549859187112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31669] ppid=31656 vsize=3024420 CPUtime=0.98 cores=0,2,4,6
/proc/31658/task/31669/stat : 31669 (java) S 31656 31658 28219 0 -1 4202560 68 0 0 0 95 3 0 0 20 0 19 0 335328880 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549376940776 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31670/stat : 31670 (java) S 31656 31658 28219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549375886840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31671/stat : 31671 (java) S 31656 31658 28219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549374834440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31672] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31672/stat : 31672 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549373782928 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31673] ppid=31656 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/31658/task/31673/stat : 31673 (java) S 31656 31658 28219 0 -1 4202560 1654 0 0 0 20 0 0 0 20 0 19 0 335328883 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549372729528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31674] ppid=31656 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/31658/task/31674/stat : 31674 (java) S 31656 31658 28219 0 -1 4202560 1840 0 0 0 26 0 0 0 20 0 19 0 335328883 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549371676728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31675] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31675/stat : 31675 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549370624632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31676] ppid=31656 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/31658/task/31676/stat : 31676 (java) S 31656 31658 28219 0 -1 4202560 100 0 0 0 37 31 0 0 20 0 19 0 335328883 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549369572040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31678] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31678/stat : 31678 (java) S 31656 31658 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335328899 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549367440680 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1725.92
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 31782
/proc/meminfo: memFree=28782364/32873844 swapFree=7116/7116
[pid=31658] ppid=31656 vsize=3024420 CPUtime=1786.53 cores=0,2,4,6
/proc/31658/stat : 31658 (java) S 31656 31658 28219 0 -1 4202496 10607 0 1 0 178498 155 0 0 20 0 19 0 335328876 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140734195804144 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31658/statm: 756105 418445 2292 9 0 746526 0
[pid=31658/tid=31660] ppid=31656 vsize=3024420 CPUtime=1775.4 cores=0,2,4,6
/proc/31658/task/31660/stat : 31660 (java) R 31656 31658 28219 0 -1 4202560 2753 0 1 0 177506 34 0 0 20 0 19 0 335328877 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140550000594176 140549869227259 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31661] ppid=31656 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/31658/task/31661/stat : 31661 (java) S 31656 31658 28219 0 -1 4202560 294 0 0 0 44 12 0 0 20 0 19 0 335328879 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549866556200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31662] ppid=31656 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/31658/task/31662/stat : 31662 (java) S 31656 31658 28219 0 -1 4202560 293 0 0 0 34 9 0 0 20 0 19 0 335328879 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549865503400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31663] ppid=31656 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/31658/task/31663/stat : 31663 (java) S 31656 31658 28219 0 -1 4202560 351 0 0 0 39 11 0 0 20 0 19 0 335328879 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549864451112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31664] ppid=31656 vsize=3024420 CPUtime=0.74 cores=0,2,4,6
/proc/31658/task/31664/stat : 31664 (java) S 31656 31658 28219 0 -1 4202560 574 0 0 0 51 23 0 0 20 0 19 0 335328879 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549863398312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31665] ppid=31656 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/31658/task/31665/stat : 31665 (java) S 31656 31658 28219 0 -1 4202560 482 0 0 0 56 21 0 0 20 0 19 0 335328879 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549862345000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31666] ppid=31656 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/31658/task/31666/stat : 31666 (java) S 31656 31658 28219 0 -1 4202560 442 0 0 0 52 19 0 0 20 0 19 0 335328879 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549861292200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31667] ppid=31656 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/31658/task/31667/stat : 31667 (java) S 31656 31658 28219 0 -1 4202560 246 0 0 0 31 11 0 0 20 0 19 0 335328879 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549860239912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31668] ppid=31656 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/31658/task/31668/stat : 31668 (java) S 31656 31658 28219 0 -1 4202560 318 0 0 0 35 12 0 0 20 0 19 0 335328879 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549859187112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31669] ppid=31656 vsize=3024420 CPUtime=0.98 cores=0,2,4,6
/proc/31658/task/31669/stat : 31669 (java) S 31656 31658 28219 0 -1 4202560 71 0 0 0 95 3 0 0 20 0 19 0 335328880 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549376940776 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31670/stat : 31670 (java) S 31656 31658 28219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549375886840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31671/stat : 31671 (java) S 31656 31658 28219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549374834440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31672] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31672/stat : 31672 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549373782928 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31673] ppid=31656 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/31658/task/31673/stat : 31673 (java) S 31656 31658 28219 0 -1 4202560 1654 0 0 0 20 0 0 0 20 0 19 0 335328883 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549372729528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31674] ppid=31656 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/31658/task/31674/stat : 31674 (java) S 31656 31658 28219 0 -1 4202560 1840 0 0 0 26 0 0 0 20 0 19 0 335328883 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549371676728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31675] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31675/stat : 31675 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549370624632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31676] ppid=31656 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/31658/task/31676/stat : 31676 (java) S 31656 31658 28219 0 -1 4202560 103 0 0 0 39 31 0 0 20 0 19 0 335328883 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549369572040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31678] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31678/stat : 31678 (java) S 31656 31658 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335328899 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549367440680 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1786.53
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 31782
/proc/meminfo: memFree=28782240/32873844 swapFree=7116/7116
[pid=31658] ppid=31656 vsize=3024420 CPUtime=1800.07 cores=0,2,4,6
/proc/31658/stat : 31658 (java) S 31656 31658 28219 0 -1 4202496 10705 0 1 0 179852 155 0 0 20 0 19 0 335328876 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140734195804144 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31658/statm: 756105 418540 2292 9 0 746526 0
[pid=31658/tid=31660] ppid=31656 vsize=3024420 CPUtime=1788.32 cores=0,2,4,6
/proc/31658/task/31660/stat : 31660 (java) R 31656 31658 28219 0 -1 4202560 2754 0 1 0 178797 35 0 0 20 0 19 0 335328877 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140550000594160 140549869221787 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31661] ppid=31656 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/31658/task/31661/stat : 31661 (java) S 31656 31658 28219 0 -1 4202560 294 0 0 0 51 12 0 0 20 0 19 0 335328879 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549866556200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31662] ppid=31656 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/31658/task/31662/stat : 31662 (java) S 31656 31658 28219 0 -1 4202560 360 0 0 0 42 9 0 0 20 0 19 0 335328879 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549865503400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31663] ppid=31656 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/31658/task/31663/stat : 31663 (java) S 31656 31658 28219 0 -1 4202560 352 0 0 0 47 11 0 0 20 0 19 0 335328879 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549864451112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31664] ppid=31656 vsize=3024420 CPUtime=0.81 cores=0,2,4,6
/proc/31658/task/31664/stat : 31664 (java) S 31656 31658 28219 0 -1 4202560 595 0 0 0 58 23 0 0 20 0 19 0 335328879 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549863398312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31665] ppid=31656 vsize=3024420 CPUtime=0.84 cores=0,2,4,6
/proc/31658/task/31665/stat : 31665 (java) S 31656 31658 28219 0 -1 4202560 482 0 0 0 63 21 0 0 20 0 19 0 335328879 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549862345000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31666] ppid=31656 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/31658/task/31666/stat : 31666 (java) S 31656 31658 28219 0 -1 4202560 442 0 0 0 59 19 0 0 20 0 19 0 335328879 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549861292200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31667] ppid=31656 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/31658/task/31667/stat : 31667 (java) S 31656 31658 28219 0 -1 4202560 252 0 0 0 38 11 0 0 20 0 19 0 335328879 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549860239912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31668] ppid=31656 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/31658/task/31668/stat : 31668 (java) S 31656 31658 28219 0 -1 4202560 318 0 0 0 43 12 0 0 20 0 19 0 335328879 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549859187112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31669] ppid=31656 vsize=3024420 CPUtime=0.98 cores=0,2,4,6
/proc/31658/task/31669/stat : 31669 (java) S 31656 31658 28219 0 -1 4202560 73 0 0 0 95 3 0 0 20 0 19 0 335328880 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549376940776 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31670/stat : 31670 (java) S 31656 31658 28219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549375886840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31671/stat : 31671 (java) S 31656 31658 28219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549374834440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31672] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31672/stat : 31672 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549373782928 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31673] ppid=31656 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/31658/task/31673/stat : 31673 (java) S 31656 31658 28219 0 -1 4202560 1654 0 0 0 20 0 0 0 20 0 19 0 335328883 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549372729528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31674] ppid=31656 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/31658/task/31674/stat : 31674 (java) S 31656 31658 28219 0 -1 4202560 1840 0 0 0 26 0 0 0 20 0 19 0 335328883 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549371676728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31675] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31675/stat : 31675 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549370624632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31676] ppid=31656 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/31658/task/31676/stat : 31676 (java) S 31656 31658 28219 0 -1 4202560 103 0 0 0 39 31 0 0 20 0 19 0 335328883 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549369572040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31678] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31678/stat : 31678 (java) S 31656 31658 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335328899 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549367440680 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31658 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=920282
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=2695
# CPU time returned by wait4() is 1795.92
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1795.42
CPU time (s): 1800.07
CPU user time (s): 1798.52
CPU system time (s): 1.55
CPU usage (%): 100.259
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.92
system time used= 2.0027
maximum resident set size= 1674272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10734
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38228
involuntary context switches= 12380
runsolver used 5.98009 second user time and 15.1337 second system time
The end