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-3736991-1338721673/watcher-3736991-1338721673 -o /tmp/evaluation-result-3736991-1338721673/solver-3736991-1338721673 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3736991-1338721673.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.12 2.06 3/194 6827
/proc/meminfo: memFree=27177320/32873844 swapFree=7128/7128
[pid=6827] ppid=6825 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/6827/stat : 6827 (java) R 6825 6827 5567 0 -1 4202496 982 0 0 0 0 0 0 0 20 0 1 0 338234293 23793664 708 33554432000 1073741824 1073778376 140734007672384 140734007661448 209088197992 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6827/statm: 5809 708 523 9 0 128 0
[startup+0.014652 s]
/proc/loadavg: 2.06 2.12 2.06 3/194 6827
/proc/meminfo: memFree=27177320/32873844 swapFree=7128/7128
[pid=6827] ppid=6825 vsize=1880456 CPUtime=0 cores=1,3,5,7
/proc/6827/stat : 6827 (java) S 6825 6827 5567 0 -1 4202496 2263 0 1 0 0 0 0 0 20 0 2 0 338234293 1925586944 2454 33554432000 1073741824 1073778376 140734007672384 140734007663520 209100767293 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6827/statm: 470114 2467 942 9 0 461223 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1880456
[startup+0.100236 s]
/proc/loadavg: 2.06 2.12 2.06 3/194 6827
/proc/meminfo: memFree=27177320/32873844 swapFree=7128/7128
[pid=6827] ppid=6825 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/6827/stat : 6827 (java) S 6825 6827 5567 0 -1 4202496 4928 0 1 0 9 1 0 0 20 0 18 0 338234293 3028844544 6635 33554432000 1073741824 1073778376 140734007672384 140734007663520 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6827/statm: 739464 6635 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.300194 s]
/proc/loadavg: 2.06 2.12 2.06 3/194 6827
/proc/meminfo: memFree=27177320/32873844 swapFree=7128/7128
[pid=6827] ppid=6825 vsize=2957856 CPUtime=0.42 cores=1,3,5,7
/proc/6827/stat : 6827 (java) S 6825 6827 5567 0 -1 4202496 5533 0 1 0 41 1 0 0 20 0 18 0 338234293 3028844544 8711 33554432000 1073741824 1073778376 140734007672384 140734007663520 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6827/statm: 739464 8713 2240 9 0 729885 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 2957856
[startup+0.700215 s]
/proc/loadavg: 2.06 2.12 2.06 3/194 6827
/proc/meminfo: memFree=27177320/32873844 swapFree=7128/7128
[pid=6827] ppid=6825 vsize=3024420 CPUtime=1.37 cores=1,3,5,7
/proc/6827/stat : 6827 (java) S 6825 6827 5567 0 -1 4202496 11678 0 1 0 135 2 0 0 20 0 19 0 338234293 3097006080 13539 33554432000 1073741824 1073778376 140734007672384 140734007663520 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6827/statm: 756105 13539 2272 9 0 746526 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 3024420
[startup+1.50079 s]
/proc/loadavg: 2.06 2.12 2.06 3/213 6848
/proc/meminfo: memFree=27029848/32873844 swapFree=7128/7128
[pid=6827] ppid=6825 vsize=3024420 CPUtime=2.42 cores=1,3,5,7
/proc/6827/stat : 6827 (java) S 6825 6827 5567 0 -1 4202496 16048 0 1 0 233 9 0 0 20 0 19 0 338234293 3097006080 93258 33554432000 1073741824 1073778376 140734007672384 140734007663520 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6827/statm: 756105 93258 2276 9 0 746526 0
[pid=6827/tid=6829] ppid=6825 vsize=3024420 CPUtime=1.47 cores=1,3,5,7
/proc/6827/task/6829/stat : 6829 (java) R 6825 6827 5567 0 -1 4202560 3201 0 1 0 140 7 0 0 20 0 19 0 338234293 3097006080 93258 33554432000 1073741824 1073778376 140734007672384 139790124462144 139789995771103 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6827/tid=6830] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6830/stat : 6830 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234294 3097006080 93258 33554432000 1073741824 1073778376 140734007672384 139789989440168 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6831] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6831/stat : 6831 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234294 3097006080 93258 33554432000 1073741824 1073778376 140734007672384 139789988387624 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6832] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6832/stat : 6832 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234294 3097006080 93258 33554432000 1073741824 1073778376 140734007672384 139789987335080 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6827/tid=6833] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6833/stat : 6833 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234294 3097006080 93258 33554432000 1073741824 1073778376 140734007672384 139789986282536 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6827/tid=6834] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6834/stat : 6834 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234294 3097006080 93258 33554432000 1073741824 1073778376 140734007672384 139789985228968 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6835] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6835/stat : 6835 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234294 3097006080 93258 33554432000 1073741824 1073778376 140734007672384 139789984176424 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6827/tid=6836] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6836/stat : 6836 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234294 3097006080 93258 33554432000 1073741824 1073778376 140734007672384 139789983123880 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6827/tid=6837] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6837/stat : 6837 (java) S 6825 6827 5567 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338234294 3097006080 93258 33554432000 1073741824 1073778376 140734007672384 139789982071336 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6838] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6838/stat : 6838 (java) S 6825 6827 5567 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338234295 3097006080 93258 33554432000 1073741824 1073778376 140734007672384 139789499062888 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6839] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6839/stat : 6839 (java) S 6825 6827 5567 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338234296 3097006080 93258 33554432000 1073741824 1073778376 140734007672384 139789498009208 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6840] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6840/stat : 6840 (java) S 6825 6827 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338234296 3097006080 93258 33554432000 1073741824 1073778376 140734007672384 139789496956552 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6841] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6841/stat : 6841 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234298 3097006080 93258 33554432000 1073741824 1073778376 140734007672384 139789495905296 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6842] ppid=6825 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/6827/task/6842/stat : 6842 (java) S 6825 6827 5567 0 -1 4202560 3886 0 0 0 47 0 0 0 20 0 19 0 338234298 3097006080 93258 33554432000 1073741824 1073778376 140734007672384 139789494851640 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6843] ppid=6825 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/6827/task/6843/stat : 6843 (java) S 6825 6827 5567 0 -1 4202560 7755 0 0 0 42 2 0 0 20 0 19 0 338234298 3097006080 93258 33554432000 1073741824 1073778376 140734007672384 139789493799096 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6844] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6844/stat : 6844 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234299 3097006080 93258 33554432000 1073741824 1073778376 140734007672384 139789492746744 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6827/tid=6845] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6845/stat : 6845 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234299 3097006080 93258 33554432000 1073741824 1073778376 140734007672384 139789491694408 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6848] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6848/stat : 6848 (java) S 6825 6827 5567 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338234361 3097006080 93258 33554432000 1073741824 1073778376 140734007672384 139789489563176 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 3024420
[startup+3.1008 s]
/proc/loadavg: 2.06 2.12 2.06 3/213 6848
/proc/meminfo: memFree=26725876/32873844 swapFree=7128/7128
[pid=6827] ppid=6825 vsize=3024420 CPUtime=4.07 cores=1,3,5,7
/proc/6827/stat : 6827 (java) S 6825 6827 5567 0 -1 4202496 16125 0 1 0 396 11 0 0 20 0 19 0 338234293 3097006080 116318 33554432000 1073741824 1073778376 140734007672384 140734007663520 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6827/statm: 756105 116318 2288 9 0 746526 0
[pid=6827/tid=6829] ppid=6825 vsize=3024420 CPUtime=3.05 cores=1,3,5,7
/proc/6827/task/6829/stat : 6829 (java) R 6825 6827 5567 0 -1 4202560 3245 0 1 0 297 8 0 0 20 0 19 0 338234293 3097006080 116318 33554432000 1073741824 1073778376 140734007672384 139790124461512 139789995773784 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6827/tid=6830] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6830/stat : 6830 (java) S 6825 6827 5567 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 338234294 3097006080 116318 33554432000 1073741824 1073778376 140734007672384 139789989440168 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6827/tid=6831] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6831/stat : 6831 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234294 3097006080 116318 33554432000 1073741824 1073778376 140734007672384 139789988387624 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6832] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6832/stat : 6832 (java) S 6825 6827 5567 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338234294 3097006080 116318 33554432000 1073741824 1073778376 140734007672384 139789987335080 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6827/tid=6833] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6833/stat : 6833 (java) S 6825 6827 5567 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 338234294 3097006080 116318 33554432000 1073741824 1073778376 140734007672384 139789986282536 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6827/tid=6834] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6834/stat : 6834 (java) S 6825 6827 5567 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338234294 3097006080 116318 33554432000 1073741824 1073778376 140734007672384 139789985228968 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6835] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6835/stat : 6835 (java) S 6825 6827 5567 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338234294 3097006080 116318 33554432000 1073741824 1073778376 140734007672384 139789984176424 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6836] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6836/stat : 6836 (java) S 6825 6827 5567 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338234294 3097006080 116318 33554432000 1073741824 1073778376 140734007672384 139789983123880 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6827/tid=6837] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6837/stat : 6837 (java) S 6825 6827 5567 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 338234294 3097006080 116318 33554432000 1073741824 1073778376 140734007672384 139789982071336 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6838] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6838/stat : 6838 (java) S 6825 6827 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338234295 3097006080 116318 33554432000 1073741824 1073778376 140734007672384 139789499062888 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6839] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6839/stat : 6839 (java) S 6825 6827 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338234296 3097006080 116318 33554432000 1073741824 1073778376 140734007672384 139789498009208 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6840] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6840/stat : 6840 (java) S 6825 6827 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338234296 3097006080 116318 33554432000 1073741824 1073778376 140734007672384 139789496956552 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6841] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6841/stat : 6841 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234298 3097006080 116318 33554432000 1073741824 1073778376 140734007672384 139789495905296 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6842] ppid=6825 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/6827/task/6842/stat : 6842 (java) S 6825 6827 5567 0 -1 4202560 3886 0 0 0 48 0 0 0 20 0 19 0 338234298 3097006080 116318 33554432000 1073741824 1073778376 140734007672384 139789494851640 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6843] ppid=6825 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/6827/task/6843/stat : 6843 (java) S 6825 6827 5567 0 -1 4202560 7755 0 0 0 43 2 0 0 20 0 19 0 338234298 3097006080 116318 33554432000 1073741824 1073778376 140734007672384 139789493799096 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6844] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6844/stat : 6844 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234299 3097006080 116318 33554432000 1073741824 1073778376 140734007672384 139789492746744 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6827/tid=6845] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6845/stat : 6845 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234299 3097006080 116318 33554432000 1073741824 1073778376 140734007672384 139789491694408 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6848] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6848/stat : 6848 (java) S 6825 6827 5567 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338234361 3097006080 116318 33554432000 1073741824 1073778376 140734007672384 139789489563176 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 3024420
[startup+6.3008 s]
/proc/loadavg: 2.05 2.12 2.06 3/213 6848
/proc/meminfo: memFree=26722952/32873844 swapFree=7128/7128
[pid=6827] ppid=6825 vsize=3024420 CPUtime=7.46 cores=1,3,5,7
/proc/6827/stat : 6827 (java) S 6825 6827 5567 0 -1 4202496 16413 0 1 0 733 13 0 0 20 0 19 0 338234293 3097006080 117770 33554432000 1073741824 1073778376 140734007672384 140734007663520 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6827/statm: 756105 117770 2292 9 0 746526 0
[pid=6827/tid=6829] ppid=6825 vsize=3024420 CPUtime=6.2 cores=1,3,5,7
/proc/6827/task/6829/stat : 6829 (java) R 6825 6827 5567 0 -1 4202560 3250 0 1 0 612 8 0 0 20 0 19 0 338234293 3097006080 117770 33554432000 1073741824 1073778376 140734007672384 139790124461328 139789995772609 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6827/tid=6830] ppid=6825 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/6827/task/6830/stat : 6830 (java) S 6825 6827 5567 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 338234294 3097006080 117770 33554432000 1073741824 1073778376 140734007672384 139789989440168 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6831] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6831/stat : 6831 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234294 3097006080 117770 33554432000 1073741824 1073778376 140734007672384 139789988387624 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6832] ppid=6825 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/6827/task/6832/stat : 6832 (java) S 6825 6827 5567 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 338234294 3097006080 117770 33554432000 1073741824 1073778376 140734007672384 139789987335080 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6833] ppid=6825 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/6827/task/6833/stat : 6833 (java) S 6825 6827 5567 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 338234294 3097006080 117770 33554432000 1073741824 1073778376 140734007672384 139789986282536 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6827/tid=6834] ppid=6825 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/6827/task/6834/stat : 6834 (java) S 6825 6827 5567 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 338234294 3097006080 117770 33554432000 1073741824 1073778376 140734007672384 139789985228968 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6827/tid=6835] ppid=6825 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/6827/task/6835/stat : 6835 (java) S 6825 6827 5567 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 338234294 3097006080 117770 33554432000 1073741824 1073778376 140734007672384 139789984176424 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6836] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6836/stat : 6836 (java) S 6825 6827 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338234294 3097006080 117770 33554432000 1073741824 1073778376 140734007672384 139789983123880 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6837] ppid=6825 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/6827/task/6837/stat : 6837 (java) S 6825 6827 5567 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 338234294 3097006080 117770 33554432000 1073741824 1073778376 140734007672384 139789982071336 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6838] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6838/stat : 6838 (java) S 6825 6827 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338234295 3097006080 117770 33554432000 1073741824 1073778376 140734007672384 139789499062888 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6839] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6839/stat : 6839 (java) S 6825 6827 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338234296 3097006080 117770 33554432000 1073741824 1073778376 140734007672384 139789498009208 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6840] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6840/stat : 6840 (java) S 6825 6827 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338234296 3097006080 117770 33554432000 1073741824 1073778376 140734007672384 139789496956552 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6841] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6841/stat : 6841 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234298 3097006080 117770 33554432000 1073741824 1073778376 140734007672384 139789495905296 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6842] ppid=6825 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/6827/task/6842/stat : 6842 (java) S 6825 6827 5567 0 -1 4202560 4142 0 0 0 55 0 0 0 20 0 19 0 338234298 3097006080 117770 33554432000 1073741824 1073778376 140734007672384 139789494851640 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6843] ppid=6825 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/6827/task/6843/stat : 6843 (java) S 6825 6827 5567 0 -1 4202560 7755 0 0 0 44 2 0 0 20 0 19 0 338234298 3097006080 117770 33554432000 1073741824 1073778376 140734007672384 139789493799096 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6844] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6844/stat : 6844 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234299 3097006080 117770 33554432000 1073741824 1073778376 140734007672384 139789492746744 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6827/tid=6845] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6845/stat : 6845 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234299 3097006080 117770 33554432000 1073741824 1073778376 140734007672384 139789491694408 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6848] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6848/stat : 6848 (java) S 6825 6827 5567 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338234361 3097006080 117770 33554432000 1073741824 1073778376 140734007672384 139789489563176 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
################
# More data... #
################
[pid=6827/tid=6842] ppid=6825 vsize=3024420 CPUtime=0.57 cores=1,3,5,7
/proc/6827/task/6842/stat : 6842 (java) S 6825 6827 5567 0 -1 4202560 4143 0 0 0 57 0 0 0 20 0 19 0 338234298 3097006080 297293 33554432000 1073741824 1073778376 140734007672384 139789494851640 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6843] ppid=6825 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/6827/task/6843/stat : 6843 (java) S 6825 6827 5567 0 -1 4202560 7755 0 0 0 44 2 0 0 20 0 19 0 338234298 3097006080 297293 33554432000 1073741824 1073778376 140734007672384 139789493799096 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6844] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6844/stat : 6844 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234299 3097006080 297293 33554432000 1073741824 1073778376 140734007672384 139789492746744 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6827/tid=6845] ppid=6825 vsize=3024420 CPUtime=0.89 cores=1,3,5,7
/proc/6827/task/6845/stat : 6845 (java) S 6825 6827 5567 0 -1 4202560 93 0 0 0 46 43 0 0 20 0 19 0 338234299 3097006080 297293 33554432000 1073741824 1073778376 140734007672384 139789491694408 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6848] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6848/stat : 6848 (java) S 6825 6827 5567 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338234361 3097006080 297293 33554432000 1073741824 1073778376 140734007672384 139789489563176 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1693.59
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 2.04 2.06 2.02 3/213 6925
/proc/meminfo: memFree=25698196/32873844 swapFree=7128/7128
[pid=6827] ppid=6825 vsize=3024420 CPUtime=1754.77 cores=1,3,5,7
/proc/6827/stat : 6827 (java) S 6825 6827 5567 0 -1 4202496 18907 0 1 0 175352 125 0 0 20 0 19 0 338234293 3097006080 300397 33554432000 1073741824 1073778376 140734007672384 140734007663520 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6827/statm: 756105 300397 2292 9 0 746526 0
[pid=6827/tid=6829] ppid=6825 vsize=3024420 CPUtime=1705.11 cores=1,3,5,7
/proc/6827/task/6829/stat : 6829 (java) R 6825 6827 5567 0 -1 4202560 3984 0 1 0 170472 39 0 0 20 0 19 0 338234293 3097006080 300397 33554432000 1073741824 1073778376 140734007672384 139790124461344 139789995751193 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6827/tid=6830] ppid=6825 vsize=3024420 CPUtime=5.64 cores=1,3,5,7
/proc/6827/task/6830/stat : 6830 (java) S 6825 6827 5567 0 -1 4202560 219 0 0 0 558 6 0 0 20 0 19 0 338234294 3097006080 300397 33554432000 1073741824 1073778376 140734007672384 139789989440168 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6827/tid=6831] ppid=6825 vsize=3024420 CPUtime=5.41 cores=1,3,5,7
/proc/6827/task/6831/stat : 6831 (java) S 6825 6827 5567 0 -1 4202560 203 0 0 0 534 7 0 0 20 0 19 0 338234294 3097006080 300397 33554432000 1073741824 1073778376 140734007672384 139789988387624 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6832] ppid=6825 vsize=3024420 CPUtime=5.66 cores=1,3,5,7
/proc/6827/task/6832/stat : 6832 (java) S 6825 6827 5567 0 -1 4202560 219 0 0 0 558 8 0 0 20 0 19 0 338234294 3097006080 300397 33554432000 1073741824 1073778376 140734007672384 139789987335080 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6827/tid=6833] ppid=6825 vsize=3024420 CPUtime=5.27 cores=1,3,5,7
/proc/6827/task/6833/stat : 6833 (java) S 6825 6827 5567 0 -1 4202560 201 0 0 0 518 9 0 0 20 0 19 0 338234294 3097006080 300397 33554432000 1073741824 1073778376 140734007672384 139789986282536 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6834] ppid=6825 vsize=3024420 CPUtime=5.51 cores=1,3,5,7
/proc/6827/task/6834/stat : 6834 (java) S 6825 6827 5567 0 -1 4202560 190 0 0 0 543 8 0 0 20 0 19 0 338234294 3097006080 300397 33554432000 1073741824 1073778376 140734007672384 139789985228968 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6835] ppid=6825 vsize=3024420 CPUtime=5.21 cores=1,3,5,7
/proc/6827/task/6835/stat : 6835 (java) S 6825 6827 5567 0 -1 4202560 195 0 0 0 513 8 0 0 20 0 19 0 338234294 3097006080 300397 33554432000 1073741824 1073778376 140734007672384 139789984176424 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6827/tid=6836] ppid=6825 vsize=3024420 CPUtime=5.31 cores=1,3,5,7
/proc/6827/task/6836/stat : 6836 (java) S 6825 6827 5567 0 -1 4202560 219 0 0 0 525 6 0 0 20 0 19 0 338234294 3097006080 300397 33554432000 1073741824 1073778376 140734007672384 139789983123880 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6827/tid=6837] ppid=6825 vsize=3024420 CPUtime=5.32 cores=1,3,5,7
/proc/6827/task/6837/stat : 6837 (java) S 6825 6827 5567 0 -1 4202560 180 0 0 0 525 7 0 0 20 0 19 0 338234294 3097006080 300397 33554432000 1073741824 1073778376 140734007672384 139789982071336 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6827/tid=6838] ppid=6825 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/6827/task/6838/stat : 6838 (java) S 6825 6827 5567 0 -1 4202560 108 0 0 0 12 4 0 0 20 0 19 0 338234295 3097006080 300397 33554432000 1073741824 1073778376 140734007672384 139789499062888 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6827/tid=6839] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6839/stat : 6839 (java) S 6825 6827 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338234296 3097006080 300397 33554432000 1073741824 1073778376 140734007672384 139789498009208 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6840] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6840/stat : 6840 (java) S 6825 6827 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338234296 3097006080 300397 33554432000 1073741824 1073778376 140734007672384 139789496956552 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6841] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6841/stat : 6841 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234298 3097006080 300397 33554432000 1073741824 1073778376 140734007672384 139789495905296 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6842] ppid=6825 vsize=3024420 CPUtime=0.57 cores=1,3,5,7
/proc/6827/task/6842/stat : 6842 (java) S 6825 6827 5567 0 -1 4202560 4143 0 0 0 57 0 0 0 20 0 19 0 338234298 3097006080 300397 33554432000 1073741824 1073778376 140734007672384 139789494851640 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6843] ppid=6825 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/6827/task/6843/stat : 6843 (java) S 6825 6827 5567 0 -1 4202560 7755 0 0 0 44 2 0 0 20 0 19 0 338234298 3097006080 300397 33554432000 1073741824 1073778376 140734007672384 139789493799096 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6844] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6844/stat : 6844 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234299 3097006080 300397 33554432000 1073741824 1073778376 140734007672384 139789492746744 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6827/tid=6845] ppid=6825 vsize=3024420 CPUtime=0.92 cores=1,3,5,7
/proc/6827/task/6845/stat : 6845 (java) S 6825 6827 5567 0 -1 4202560 97 0 0 0 47 45 0 0 20 0 19 0 338234299 3097006080 300397 33554432000 1073741824 1073778376 140734007672384 139789491694408 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6848] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6848/stat : 6848 (java) S 6825 6827 5567 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338234361 3097006080 300397 33554432000 1073741824 1073778376 140734007672384 139789489563176 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1754.77
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1766.9 s]
/proc/loadavg: 1.87 2.02 2.00 3/212 6925
/proc/meminfo: memFree=25683868/32873844 swapFree=7128/7128
[pid=6827] ppid=6825 vsize=3024420 CPUtime=1800.04 cores=1,3,5,7
/proc/6827/stat : 6827 (java) S 6825 6827 5567 0 -1 4202496 18943 0 1 0 179877 127 0 0 20 0 19 0 338234293 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 140734007663520 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6827/statm: 756105 301949 2292 9 0 746526 0
[pid=6827/tid=6829] ppid=6825 vsize=3024420 CPUtime=1749.36 cores=1,3,5,7
/proc/6827/task/6829/stat : 6829 (java) R 6825 6827 5567 0 -1 4202560 3993 0 1 0 174896 40 0 0 20 0 19 0 338234293 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139790124461344 139789995750834 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6827/tid=6830] ppid=6825 vsize=3024420 CPUtime=5.76 cores=1,3,5,7
/proc/6827/task/6830/stat : 6830 (java) S 6825 6827 5567 0 -1 4202560 221 0 0 0 570 6 0 0 20 0 19 0 338234294 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789989440168 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6831] ppid=6825 vsize=3024420 CPUtime=5.55 cores=1,3,5,7
/proc/6827/task/6831/stat : 6831 (java) S 6825 6827 5567 0 -1 4202560 208 0 0 0 548 7 0 0 20 0 19 0 338234294 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789988387624 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6832] ppid=6825 vsize=3024420 CPUtime=5.78 cores=1,3,5,7
/proc/6827/task/6832/stat : 6832 (java) S 6825 6827 5567 0 -1 4202560 224 0 0 0 570 8 0 0 20 0 19 0 338234294 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789987335080 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6833] ppid=6825 vsize=3024420 CPUtime=5.37 cores=1,3,5,7
/proc/6827/task/6833/stat : 6833 (java) S 6825 6827 5567 0 -1 4202560 203 0 0 0 528 9 0 0 20 0 19 0 338234294 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789986282536 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6834] ppid=6825 vsize=3024420 CPUtime=5.62 cores=1,3,5,7
/proc/6827/task/6834/stat : 6834 (java) S 6825 6827 5567 0 -1 4202560 191 0 0 0 554 8 0 0 20 0 19 0 338234294 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789985228968 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6827/tid=6835] ppid=6825 vsize=3024420 CPUtime=5.3 cores=1,3,5,7
/proc/6827/task/6835/stat : 6835 (java) S 6825 6827 5567 0 -1 4202560 197 0 0 0 522 8 0 0 20 0 19 0 338234294 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789984176424 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6836] ppid=6825 vsize=3024420 CPUtime=5.42 cores=1,3,5,7
/proc/6827/task/6836/stat : 6836 (java) S 6825 6827 5567 0 -1 4202560 223 0 0 0 536 6 0 0 20 0 19 0 338234294 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789983123880 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6827/tid=6837] ppid=6825 vsize=3024420 CPUtime=5.44 cores=1,3,5,7
/proc/6827/task/6837/stat : 6837 (java) S 6825 6827 5567 0 -1 4202560 182 0 0 0 537 7 0 0 20 0 19 0 338234294 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789982071336 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6827/tid=6838] ppid=6825 vsize=3024420 CPUtime=0.17 cores=1,3,5,7
/proc/6827/task/6838/stat : 6838 (java) S 6825 6827 5567 0 -1 4202560 110 0 0 0 13 4 0 0 20 0 19 0 338234295 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789499062888 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6827/tid=6839] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6839/stat : 6839 (java) S 6825 6827 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338234296 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789498009208 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6840] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6840/stat : 6840 (java) S 6825 6827 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338234296 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789496956552 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6841] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6841/stat : 6841 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234298 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789495905296 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6842] ppid=6825 vsize=3024420 CPUtime=0.57 cores=1,3,5,7
/proc/6827/task/6842/stat : 6842 (java) S 6825 6827 5567 0 -1 4202560 4143 0 0 0 57 0 0 0 20 0 19 0 338234298 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789494851640 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6843] ppid=6825 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/6827/task/6843/stat : 6843 (java) S 6825 6827 5567 0 -1 4202560 7755 0 0 0 44 2 0 0 20 0 19 0 338234298 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789493799096 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6844] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6844/stat : 6844 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234299 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789492746744 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6827/tid=6845] ppid=6825 vsize=3024420 CPUtime=0.95 cores=1,3,5,7
/proc/6827/task/6845/stat : 6845 (java) S 6825 6827 5567 0 -1 4202560 99 0 0 0 48 47 0 0 20 0 19 0 338234299 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789491694408 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6848] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6848/stat : 6848 (java) S 6825 6827 5567 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338234361 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789489563176 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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
[startup+1766.9 s]
/proc/loadavg: 1.87 2.02 2.00 3/212 6925
/proc/meminfo: memFree=25683868/32873844 swapFree=7128/7128
[pid=6827] ppid=6825 vsize=3024420 CPUtime=1800.04 cores=1,3,5,7
/proc/6827/stat : 6827 (java) S 6825 6827 5567 0 -1 4202496 18943 0 1 0 179877 127 0 0 20 0 19 0 338234293 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 140734007663520 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6827/statm: 756105 301949 2292 9 0 746526 0
[pid=6827/tid=6829] ppid=6825 vsize=3024420 CPUtime=1749.36 cores=1,3,5,7
/proc/6827/task/6829/stat : 6829 (java) R 6825 6827 5567 0 -1 4202560 3993 0 1 0 174896 40 0 0 20 0 19 0 338234293 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139790124461344 139789995750834 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6827/tid=6830] ppid=6825 vsize=3024420 CPUtime=5.76 cores=1,3,5,7
/proc/6827/task/6830/stat : 6830 (java) S 6825 6827 5567 0 -1 4202560 221 0 0 0 570 6 0 0 20 0 19 0 338234294 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789989440168 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6831] ppid=6825 vsize=3024420 CPUtime=5.55 cores=1,3,5,7
/proc/6827/task/6831/stat : 6831 (java) S 6825 6827 5567 0 -1 4202560 208 0 0 0 548 7 0 0 20 0 19 0 338234294 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789988387624 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6832] ppid=6825 vsize=3024420 CPUtime=5.78 cores=1,3,5,7
/proc/6827/task/6832/stat : 6832 (java) S 6825 6827 5567 0 -1 4202560 224 0 0 0 570 8 0 0 20 0 19 0 338234294 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789987335080 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6833] ppid=6825 vsize=3024420 CPUtime=5.37 cores=1,3,5,7
/proc/6827/task/6833/stat : 6833 (java) S 6825 6827 5567 0 -1 4202560 203 0 0 0 528 9 0 0 20 0 19 0 338234294 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789986282536 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6834] ppid=6825 vsize=3024420 CPUtime=5.62 cores=1,3,5,7
/proc/6827/task/6834/stat : 6834 (java) S 6825 6827 5567 0 -1 4202560 191 0 0 0 554 8 0 0 20 0 19 0 338234294 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789985228968 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6827/tid=6835] ppid=6825 vsize=3024420 CPUtime=5.3 cores=1,3,5,7
/proc/6827/task/6835/stat : 6835 (java) S 6825 6827 5567 0 -1 4202560 197 0 0 0 522 8 0 0 20 0 19 0 338234294 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789984176424 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6836] ppid=6825 vsize=3024420 CPUtime=5.42 cores=1,3,5,7
/proc/6827/task/6836/stat : 6836 (java) S 6825 6827 5567 0 -1 4202560 223 0 0 0 536 6 0 0 20 0 19 0 338234294 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789983123880 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6827/tid=6837] ppid=6825 vsize=3024420 CPUtime=5.44 cores=1,3,5,7
/proc/6827/task/6837/stat : 6837 (java) S 6825 6827 5567 0 -1 4202560 182 0 0 0 537 7 0 0 20 0 19 0 338234294 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789982071336 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6827/tid=6838] ppid=6825 vsize=3024420 CPUtime=0.17 cores=1,3,5,7
/proc/6827/task/6838/stat : 6838 (java) S 6825 6827 5567 0 -1 4202560 110 0 0 0 13 4 0 0 20 0 19 0 338234295 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789499062888 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6827/tid=6839] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6839/stat : 6839 (java) S 6825 6827 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338234296 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789498009208 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6840] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6840/stat : 6840 (java) S 6825 6827 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338234296 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789496956552 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6841] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6841/stat : 6841 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234298 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789495905296 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6842] ppid=6825 vsize=3024420 CPUtime=0.57 cores=1,3,5,7
/proc/6827/task/6842/stat : 6842 (java) S 6825 6827 5567 0 -1 4202560 4143 0 0 0 57 0 0 0 20 0 19 0 338234298 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789494851640 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6827/tid=6843] ppid=6825 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/6827/task/6843/stat : 6843 (java) S 6825 6827 5567 0 -1 4202560 7755 0 0 0 44 2 0 0 20 0 19 0 338234298 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789493799096 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6844] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6844/stat : 6844 (java) S 6825 6827 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338234299 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789492746744 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6827/tid=6845] ppid=6825 vsize=3024420 CPUtime=0.95 cores=1,3,5,7
/proc/6827/task/6845/stat : 6845 (java) S 6825 6827 5567 0 -1 4202560 99 0 0 0 48 47 0 0 20 0 19 0 338234299 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789491694408 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6827/tid=6848] ppid=6825 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6827/task/6848/stat : 6848 (java) S 6825 6827 5567 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338234361 3097006080 301949 33554432000 1073741824 1073778376 140734007672384 139789489563176 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3024420
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6827 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=380212
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=650749
# CPU time returned by wait4() is 1796.03
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1766.93
CPU time (s): 1800.04
CPU user time (s): 1798.77
CPU system time (s): 1.27
CPU usage (%): 101.874
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.38
system time used= 1.65075
maximum resident set size= 1207912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18973
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58975
involuntary context switches= 105885
runsolver used 5.81012 second user time and 17.2744 second system time
The end