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-3733268-1338747395/watcher-3733268-1338747395 -o /tmp/evaluation-result-3733268-1338747395/solver-3733268-1338747395 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3733268-1338747395.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: 0.92 1.36 1.72 2/177 13344
/proc/meminfo: memFree=29618800/32873648 swapFree=7116/7116
[pid=13344] ppid=13342 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/13344/stat : 13344 (java) R 13342 13344 13299 0 -1 4202496 989 0 0 0 0 0 0 0 20 0 1 0 340864956 23793664 716 33554432000 1073741824 1073778376 140736215591904 140736215580968 214528210280 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13344/statm: 5809 716 531 9 0 128 0
[startup+0.0624471 s]
/proc/loadavg: 0.92 1.36 1.72 2/177 13344
/proc/meminfo: memFree=29618800/32873648 swapFree=7116/7116
[pid=13344] ppid=13342 vsize=2648568 CPUtime=0.05 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13342 13344 13299 0 -1 4202496 3854 0 1 0 4 1 0 0 20 0 18 0 340864956 2712133632 5573 33554432000 1073741824 1073778376 140736215591904 140736215583040 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13344/statm: 662142 5573 1772 9 0 652835 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2648568
[startup+0.100253 s]
/proc/loadavg: 0.92 1.36 1.72 2/177 13344
/proc/meminfo: memFree=29618800/32873648 swapFree=7116/7116
[pid=13344] ppid=13342 vsize=2648568 CPUtime=0.11 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13342 13344 13299 0 -1 4202496 4778 0 1 0 10 1 0 0 20 0 18 0 340864956 2712133632 7006 33554432000 1073741824 1073778376 140736215591904 140736215583040 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13344/statm: 662142 7006 2142 9 0 652835 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2648568
[startup+0.300165 s]
/proc/loadavg: 0.92 1.36 1.72 2/177 13344
/proc/meminfo: memFree=29618800/32873648 swapFree=7116/7116
[pid=13344] ppid=13342 vsize=2648568 CPUtime=0.52 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13342 13344 13299 0 -1 4202496 6384 0 1 0 51 1 0 0 20 0 18 0 340864956 2712133632 9857 33554432000 1073741824 1073778376 140736215591904 140736215583040 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13344/statm: 662142 9857 2223 9 0 652835 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2648568
[startup+0.700229 s]
/proc/loadavg: 0.92 1.36 1.72 2/177 13344
/proc/meminfo: memFree=29618800/32873648 swapFree=7116/7116
[pid=13344] ppid=13342 vsize=2648568 CPUtime=1.09 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13342 13344 13299 0 -1 4202496 8883 0 1 0 104 5 0 0 20 0 18 0 340864956 2712133632 53820 33554432000 1073741824 1073778376 140736215591904 140736215583040 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13344/statm: 662142 53820 2233 9 0 652835 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 2648568
[startup+1.50063 s]
/proc/loadavg: 0.92 1.36 1.72 6/213 13380
/proc/meminfo: memFree=29238348/32873648 swapFree=7116/7116
[pid=13344] ppid=13342 vsize=2715132 CPUtime=2.39 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13342 13344 13299 0 -1 4202496 12417 0 1 0 233 6 0 0 20 0 19 0 340864956 2780295168 61741 33554432000 1073741824 1073778376 140736215591904 140736215583040 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13344/statm: 678783 61741 2258 9 0 669476 0
[pid=13344/tid=13354] ppid=13342 vsize=2715132 CPUtime=1.47 cores=1,3,5,7
/proc/13344/task/13354/stat : 13354 (java) R 13342 13344 13299 0 -1 4202560 2850 0 1 0 142 5 0 0 20 0 19 0 340864956 2780295168 61741 33554432000 1073741824 1073778376 140736215591904 140099070894512 140098897913820 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13355] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13355/stat : 13355 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864957 2780295168 61741 33554432000 1073741824 1073778376 140736215591904 140099055352872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13356] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13356/stat : 13356 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864957 2780295168 61741 33554432000 1073741824 1073778376 140736215591904 140099054300072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13357] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13357/stat : 13357 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864957 2780295168 61741 33554432000 1073741824 1073778376 140736215591904 140099053247272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13358] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13358/stat : 13358 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864957 2780295168 61741 33554432000 1073741824 1073778376 140736215591904 140099052194472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13359] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13359/stat : 13359 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864957 2780295168 61741 33554432000 1073741824 1073778376 140736215591904 140099051141672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13361] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13361/stat : 13361 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864957 2780295168 61741 33554432000 1073741824 1073778376 140736215591904 140099050088872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13362] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13362/stat : 13362 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864957 2780295168 61741 33554432000 1073741824 1073778376 140736215591904 140099049036072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13363] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13363/stat : 13363 (java) S 13342 13344 13299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340864957 2780295168 61741 33554432000 1073741824 1073778376 140736215591904 140099047983272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13366] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13366/stat : 13366 (java) S 13342 13344 13299 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340864958 2780295168 61741 33554432000 1073741824 1073778376 140736215591904 140099035573224 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13367] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13367/stat : 13367 (java) S 13342 13344 13299 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340864959 2780295168 61741 33554432000 1073741824 1073778376 140736215591904 140099034519288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13368] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13368/stat : 13368 (java) S 13342 13344 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340864959 2780295168 61741 33554432000 1073741824 1073778376 140736215591904 140099033466376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13374] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13374/stat : 13374 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864961 2780295168 61741 33554432000 1073741824 1073778376 140736215591904 140099032414864 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13375] ppid=13342 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/13344/task/13375/stat : 13375 (java) S 13342 13344 13299 0 -1 4202560 3247 0 0 0 42 0 0 0 20 0 19 0 340864961 2780295168 61741 33554432000 1073741824 1073778376 140736215591904 140099031361976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13376] ppid=13342 vsize=2715132 CPUtime=0.45 cores=1,3,5,7
/proc/13344/task/13376/stat : 13376 (java) S 13342 13344 13299 0 -1 4202560 5125 0 0 0 45 0 0 0 20 0 19 0 340864961 2780295168 61741 33554432000 1073741824 1073778376 140736215591904 140099030309176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13377] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13377/stat : 13377 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864961 2780295168 61741 33554432000 1073741824 1073778376 140736215591904 140099029256568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13378] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13378/stat : 13378 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864961 2780295168 61741 33554432000 1073741824 1073778376 140736215591904 140099028203976 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13380] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13380/stat : 13380 (java) S 13342 13344 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340865032 2780295168 61741 33554432000 1073741824 1073778376 140736215591904 140099027150504 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 2715132
[startup+3.1007 s]
/proc/loadavg: 1.01 1.37 1.72 3/213 13380
/proc/meminfo: memFree=29184852/32873648 swapFree=7116/7116
[pid=13344] ppid=13342 vsize=2715132 CPUtime=4.03 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13342 13344 13299 0 -1 4202496 12679 0 1 0 396 7 0 0 20 0 19 0 340864956 2780295168 69421 33554432000 1073741824 1073778376 140736215591904 140736215583040 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13344/statm: 678783 69421 2258 9 0 669476 0
[pid=13344/tid=13354] ppid=13342 vsize=2715132 CPUtime=3.07 cores=1,3,5,7
/proc/13344/task/13354/stat : 13354 (java) R 13342 13344 13299 0 -1 4202560 2866 0 1 0 302 5 0 0 20 0 19 0 340864956 2780295168 69421 33554432000 1073741824 1073778376 140736215591904 140099070900384 140098897960422 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13355] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13355/stat : 13355 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864957 2780295168 69421 33554432000 1073741824 1073778376 140736215591904 140099055352872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13356] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13356/stat : 13356 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864957 2780295168 69421 33554432000 1073741824 1073778376 140736215591904 140099054300072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13357] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13357/stat : 13357 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864957 2780295168 69421 33554432000 1073741824 1073778376 140736215591904 140099053247272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13358] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13358/stat : 13358 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864957 2780295168 69421 33554432000 1073741824 1073778376 140736215591904 140099052194472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13359] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13359/stat : 13359 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864957 2780295168 69421 33554432000 1073741824 1073778376 140736215591904 140099051141672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13361] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13361/stat : 13361 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864957 2780295168 69421 33554432000 1073741824 1073778376 140736215591904 140099050088872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13362] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13362/stat : 13362 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864957 2780295168 69421 33554432000 1073741824 1073778376 140736215591904 140099049036072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13363] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13363/stat : 13363 (java) S 13342 13344 13299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340864957 2780295168 69421 33554432000 1073741824 1073778376 140736215591904 140099047983272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13366] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13366/stat : 13366 (java) S 13342 13344 13299 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340864958 2780295168 69421 33554432000 1073741824 1073778376 140736215591904 140099035573224 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13367] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13367/stat : 13367 (java) S 13342 13344 13299 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340864959 2780295168 69421 33554432000 1073741824 1073778376 140736215591904 140099034519288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13368] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13368/stat : 13368 (java) S 13342 13344 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340864959 2780295168 69421 33554432000 1073741824 1073778376 140736215591904 140099033466376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13374] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13374/stat : 13374 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864961 2780295168 69421 33554432000 1073741824 1073778376 140736215591904 140099032414864 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13375] ppid=13342 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/13344/task/13375/stat : 13375 (java) S 13342 13344 13299 0 -1 4202560 3247 0 0 0 42 0 0 0 20 0 19 0 340864961 2780295168 69421 33554432000 1073741824 1073778376 140736215591904 140099031361976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13376] ppid=13342 vsize=2715132 CPUtime=0.49 cores=1,3,5,7
/proc/13344/task/13376/stat : 13376 (java) S 13342 13344 13299 0 -1 4202560 5371 0 0 0 49 0 0 0 20 0 19 0 340864961 2780295168 69421 33554432000 1073741824 1073778376 140736215591904 140099030309176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13377] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13377/stat : 13377 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864961 2780295168 69421 33554432000 1073741824 1073778376 140736215591904 140099029256568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13378] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13378/stat : 13378 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864961 2780295168 69421 33554432000 1073741824 1073778376 140736215591904 140099028203976 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13380] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13380/stat : 13380 (java) S 13342 13344 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340865032 2780295168 69421 33554432000 1073741824 1073778376 140736215591904 140099027150504 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 2715132
[startup+6.30073 s]
/proc/loadavg: 1.01 1.37 1.72 3/213 13380
/proc/meminfo: memFree=29077520/32873648 swapFree=7116/7116
[pid=13344] ppid=13342 vsize=2715132 CPUtime=7.29 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13342 13344 13299 0 -1 4202496 12969 0 1 0 721 8 0 0 20 0 19 0 340864956 2780295168 83742 33554432000 1073741824 1073778376 140736215591904 140736215583040 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13344/statm: 678783 83742 2259 9 0 669476 0
[pid=13344/tid=13354] ppid=13342 vsize=2715132 CPUtime=6.27 cores=1,3,5,7
/proc/13344/task/13354/stat : 13354 (java) R 13342 13344 13299 0 -1 4202560 2896 0 1 0 621 6 0 0 20 0 19 0 340864956 2780295168 83742 33554432000 1073741824 1073778376 140736215591904 140099070902760 140098897960873 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13355] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13355/stat : 13355 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864957 2780295168 83742 33554432000 1073741824 1073778376 140736215591904 140099055352872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13356] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13356/stat : 13356 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864957 2780295168 83742 33554432000 1073741824 1073778376 140736215591904 140099054300072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13357] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13357/stat : 13357 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864957 2780295168 83742 33554432000 1073741824 1073778376 140736215591904 140099053247272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13358] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13358/stat : 13358 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864957 2780295168 83742 33554432000 1073741824 1073778376 140736215591904 140099052194472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13359] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13359/stat : 13359 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864957 2780295168 83742 33554432000 1073741824 1073778376 140736215591904 140099051141672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13361] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13361/stat : 13361 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864957 2780295168 83742 33554432000 1073741824 1073778376 140736215591904 140099050088872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13362] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13362/stat : 13362 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864957 2780295168 83742 33554432000 1073741824 1073778376 140736215591904 140099049036072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13363] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13363/stat : 13363 (java) S 13342 13344 13299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340864957 2780295168 83742 33554432000 1073741824 1073778376 140736215591904 140099047983272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13366] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13366/stat : 13366 (java) S 13342 13344 13299 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340864958 2780295168 83742 33554432000 1073741824 1073778376 140736215591904 140099035573224 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13367] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13367/stat : 13367 (java) S 13342 13344 13299 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340864959 2780295168 83742 33554432000 1073741824 1073778376 140736215591904 140099034519288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13368] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13368/stat : 13368 (java) S 13342 13344 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340864959 2780295168 83742 33554432000 1073741824 1073778376 140736215591904 140099033466376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13374] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13374/stat : 13374 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864961 2780295168 83742 33554432000 1073741824 1073778376 140736215591904 140099032414864 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13375] ppid=13342 vsize=2715132 CPUtime=0.43 cores=1,3,5,7
/proc/13344/task/13375/stat : 13375 (java) S 13342 13344 13299 0 -1 4202560 3247 0 0 0 43 0 0 0 20 0 19 0 340864961 2780295168 83742 33554432000 1073741824 1073778376 140736215591904 140099031361976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13376] ppid=13342 vsize=2715132 CPUtime=0.54 cores=1,3,5,7
/proc/13344/task/13376/stat : 13376 (java) S 13342 13344 13299 0 -1 4202560 5630 0 0 0 54 0 0 0 20 0 19 0 340864961 2780295168 83742 33554432000 1073741824 1073778376 140736215591904 140099030309176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13377] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13377/stat : 13377 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864961 2780295168 83742 33554432000 1073741824 1073778376 140736215591904 140099029256568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13378] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13378/stat : 13378 (java) S 13342 13344 13299 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340864961 2780295168 83742 33554432000 1073741824 1073778376 140736215591904 140099028203976 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13380] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13380/stat : 13380 (java) S 13342 13344 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340865032 2780295168 83742 33554432000 1073741824 1073778376 140736215591904 140099027150504 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.29
Current children cumulated vsize (KiB) 2715132
[startup+12.7007 s]
################
# More data... #
################
[pid=13344/tid=13361] ppid=13342 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/13344/task/13361/stat : 13361 (java) S 13342 13344 13299 0 -1 4202560 258 0 0 0 13 14 0 0 20 0 19 0 340864957 2780295168 341667 33554432000 1073741824 1073778376 140736215591904 140099050088872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13362] ppid=13342 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/13344/task/13362/stat : 13362 (java) S 13342 13344 13299 0 -1 4202560 212 0 0 0 9 12 0 0 20 0 19 0 340864957 2780295168 341667 33554432000 1073741824 1073778376 140736215591904 140099049036072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13363] ppid=13342 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/13344/task/13363/stat : 13363 (java) S 13342 13344 13299 0 -1 4202560 208 0 0 0 9 12 0 0 20 0 19 0 340864957 2780295168 341667 33554432000 1073741824 1073778376 140736215591904 140099047983272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13366] ppid=13342 vsize=2715132 CPUtime=4.42 cores=1,3,5,7
/proc/13344/task/13366/stat : 13366 (java) S 13342 13344 13299 0 -1 4202560 152 0 0 0 437 5 0 0 20 0 19 0 340864958 2780295168 341667 33554432000 1073741824 1073778376 140736215591904 140099035573224 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13367] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13367/stat : 13367 (java) S 13342 13344 13299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340864959 2780295168 341667 33554432000 1073741824 1073778376 140736215591904 140099034519288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13368] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13368/stat : 13368 (java) S 13342 13344 13299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340864959 2780295168 341667 33554432000 1073741824 1073778376 140736215591904 140099033466376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13374] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13374/stat : 13374 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864961 2780295168 341667 33554432000 1073741824 1073778376 140736215591904 140099032414864 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13375] ppid=13342 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/13344/task/13375/stat : 13375 (java) S 13342 13344 13299 0 -1 4202560 3254 0 0 0 50 0 0 0 20 0 19 0 340864961 2780295168 341667 33554432000 1073741824 1073778376 140736215591904 140099031361976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13376] ppid=13342 vsize=2715132 CPUtime=0.65 cores=1,3,5,7
/proc/13344/task/13376/stat : 13376 (java) S 13342 13344 13299 0 -1 4202560 6091 0 0 0 64 1 0 0 20 0 19 0 340864961 2780295168 341667 33554432000 1073741824 1073778376 140736215591904 140099030309176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13377] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13377/stat : 13377 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864961 2780295168 341667 33554432000 1073741824 1073778376 140736215591904 140099029256568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13378] ppid=13342 vsize=2715132 CPUtime=0.72 cores=1,3,5,7
/proc/13344/task/13378/stat : 13378 (java) S 13342 13344 13299 0 -1 4202560 100 0 0 0 34 38 0 0 20 0 19 0 340864961 2780295168 341667 33554432000 1073741824 1073778376 140736215591904 140099028203976 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13380] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13380/stat : 13380 (java) S 13342 13344 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340865032 2780295168 341667 33554432000 1073741824 1073778376 140736215591904 140099027150504 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1725.26
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 1.94 3/213 13396
/proc/meminfo: memFree=26881324/32873648 swapFree=7116/7116
[pid=13344] ppid=13342 vsize=2715132 CPUtime=1785.25 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13342 13344 13299 0 -1 4202496 15419 0 1 0 178377 148 0 0 20 0 19 0 340864956 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140736215583040 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13344/statm: 678783 343642 2285 9 0 669476 0
[pid=13344/tid=13354] ppid=13342 vsize=2715132 CPUtime=1776.9 cores=1,3,5,7
/proc/13344/task/13354/stat : 13354 (java) R 13342 13344 13299 0 -1 4202560 2935 0 1 0 177655 35 0 0 20 0 19 0 340864956 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099070901648 140098897960501 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13355] ppid=13342 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/13344/task/13355/stat : 13355 (java) S 13342 13344 13299 0 -1 4202560 208 0 0 0 11 11 0 0 20 0 19 0 340864957 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099055352872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13356] ppid=13342 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/13344/task/13356/stat : 13356 (java) S 13342 13344 13299 0 -1 4202560 179 0 0 0 9 10 0 0 20 0 19 0 340864957 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099054300072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13357] ppid=13342 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/13344/task/13357/stat : 13357 (java) S 13342 13344 13299 0 -1 4202560 262 0 0 0 13 15 0 0 20 0 19 0 340864957 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099053247272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13358] ppid=13342 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/13344/task/13358/stat : 13358 (java) S 13342 13344 13299 0 -1 4202560 210 0 0 0 11 12 0 0 20 0 19 0 340864957 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099052194472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13359] ppid=13342 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/13344/task/13359/stat : 13359 (java) S 13342 13344 13299 0 -1 4202560 163 0 0 0 8 9 0 0 20 0 19 0 340864957 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099051141672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13361] ppid=13342 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/13344/task/13361/stat : 13361 (java) S 13342 13344 13299 0 -1 4202560 258 0 0 0 13 14 0 0 20 0 19 0 340864957 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099050088872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13362] ppid=13342 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/13344/task/13362/stat : 13362 (java) S 13342 13344 13299 0 -1 4202560 212 0 0 0 9 12 0 0 20 0 19 0 340864957 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099049036072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13363] ppid=13342 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/13344/task/13363/stat : 13363 (java) S 13342 13344 13299 0 -1 4202560 208 0 0 0 9 12 0 0 20 0 19 0 340864957 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099047983272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13366] ppid=13342 vsize=2715132 CPUtime=4.81 cores=1,3,5,7
/proc/13344/task/13366/stat : 13366 (java) S 13342 13344 13299 0 -1 4202560 154 0 0 0 476 5 0 0 20 0 19 0 340864958 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099035573224 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13367] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13367/stat : 13367 (java) S 13342 13344 13299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340864959 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099034519288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13368] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13368/stat : 13368 (java) S 13342 13344 13299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340864959 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099033466376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13374] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13374/stat : 13374 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864961 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099032414864 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13375] ppid=13342 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/13344/task/13375/stat : 13375 (java) S 13342 13344 13299 0 -1 4202560 3254 0 0 0 50 0 0 0 20 0 19 0 340864961 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099031361976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13376] ppid=13342 vsize=2715132 CPUtime=0.65 cores=1,3,5,7
/proc/13344/task/13376/stat : 13376 (java) S 13342 13344 13299 0 -1 4202560 6091 0 0 0 64 1 0 0 20 0 19 0 340864961 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099030309176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13377] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13377/stat : 13377 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864961 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099029256568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13378] ppid=13342 vsize=2715132 CPUtime=0.74 cores=1,3,5,7
/proc/13344/task/13378/stat : 13378 (java) S 13342 13344 13299 0 -1 4202560 104 0 0 0 35 39 0 0 20 0 19 0 340864961 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099028203976 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13380] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13380/stat : 13380 (java) S 13342 13344 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340865032 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099027150504 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1785.25
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.1 s]
/proc/loadavg: 2.04 2.03 1.94 3/213 13396
/proc/meminfo: memFree=26881328/32873648 swapFree=7116/7116
[pid=13344] ppid=13342 vsize=2715132 CPUtime=1800.06 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13342 13344 13299 0 -1 4202496 15419 0 1 0 179858 148 0 0 20 0 19 0 340864956 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140736215583040 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13344/statm: 678783 343642 2285 9 0 669476 0
[pid=13344/tid=13354] ppid=13342 vsize=2715132 CPUtime=1791.71 cores=1,3,5,7
/proc/13344/task/13354/stat : 13354 (java) R 13342 13344 13299 0 -1 4202560 2935 0 1 0 179136 35 0 0 20 0 19 0 340864956 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099070901648 140098897960671 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13355] ppid=13342 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/13344/task/13355/stat : 13355 (java) S 13342 13344 13299 0 -1 4202560 208 0 0 0 11 11 0 0 20 0 19 0 340864957 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099055352872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13356] ppid=13342 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/13344/task/13356/stat : 13356 (java) S 13342 13344 13299 0 -1 4202560 179 0 0 0 9 10 0 0 20 0 19 0 340864957 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099054300072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13357] ppid=13342 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/13344/task/13357/stat : 13357 (java) S 13342 13344 13299 0 -1 4202560 262 0 0 0 13 15 0 0 20 0 19 0 340864957 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099053247272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13358] ppid=13342 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/13344/task/13358/stat : 13358 (java) S 13342 13344 13299 0 -1 4202560 210 0 0 0 11 12 0 0 20 0 19 0 340864957 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099052194472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13359] ppid=13342 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/13344/task/13359/stat : 13359 (java) S 13342 13344 13299 0 -1 4202560 163 0 0 0 8 9 0 0 20 0 19 0 340864957 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099051141672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13361] ppid=13342 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/13344/task/13361/stat : 13361 (java) S 13342 13344 13299 0 -1 4202560 258 0 0 0 13 14 0 0 20 0 19 0 340864957 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099050088872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13362] ppid=13342 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/13344/task/13362/stat : 13362 (java) S 13342 13344 13299 0 -1 4202560 212 0 0 0 9 12 0 0 20 0 19 0 340864957 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099049036072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13363] ppid=13342 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/13344/task/13363/stat : 13363 (java) S 13342 13344 13299 0 -1 4202560 208 0 0 0 9 12 0 0 20 0 19 0 340864957 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099047983272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13366] ppid=13342 vsize=2715132 CPUtime=4.81 cores=1,3,5,7
/proc/13344/task/13366/stat : 13366 (java) S 13342 13344 13299 0 -1 4202560 154 0 0 0 476 5 0 0 20 0 19 0 340864958 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099035573224 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13367] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13367/stat : 13367 (java) S 13342 13344 13299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340864959 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099034519288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13368] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13368/stat : 13368 (java) S 13342 13344 13299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340864959 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099033466376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13374] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13374/stat : 13374 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864961 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099032414864 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13375] ppid=13342 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/13344/task/13375/stat : 13375 (java) S 13342 13344 13299 0 -1 4202560 3254 0 0 0 50 0 0 0 20 0 19 0 340864961 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099031361976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13376] ppid=13342 vsize=2715132 CPUtime=0.65 cores=1,3,5,7
/proc/13344/task/13376/stat : 13376 (java) S 13342 13344 13299 0 -1 4202560 6091 0 0 0 64 1 0 0 20 0 19 0 340864961 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099030309176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13377] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13377/stat : 13377 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864961 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099029256568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13378] ppid=13342 vsize=2715132 CPUtime=0.74 cores=1,3,5,7
/proc/13344/task/13378/stat : 13378 (java) S 13342 13344 13299 0 -1 4202560 104 0 0 0 35 39 0 0 20 0 19 0 340864961 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099028203976 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13380] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13380/stat : 13380 (java) S 13342 13344 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340865032 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099027150504 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.1 s]
/proc/loadavg: 2.04 2.03 1.94 3/213 13396
/proc/meminfo: memFree=26881328/32873648 swapFree=7116/7116
[pid=13344] ppid=13342 vsize=2715132 CPUtime=1800.06 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13342 13344 13299 0 -1 4202496 15419 0 1 0 179858 148 0 0 20 0 19 0 340864956 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140736215583040 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13344/statm: 678783 343642 2285 9 0 669476 0
[pid=13344/tid=13354] ppid=13342 vsize=2715132 CPUtime=1791.71 cores=1,3,5,7
/proc/13344/task/13354/stat : 13354 (java) R 13342 13344 13299 0 -1 4202560 2935 0 1 0 179136 35 0 0 20 0 19 0 340864956 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099070901648 140098897960671 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13355] ppid=13342 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/13344/task/13355/stat : 13355 (java) S 13342 13344 13299 0 -1 4202560 208 0 0 0 11 11 0 0 20 0 19 0 340864957 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099055352872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13356] ppid=13342 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/13344/task/13356/stat : 13356 (java) S 13342 13344 13299 0 -1 4202560 179 0 0 0 9 10 0 0 20 0 19 0 340864957 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099054300072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13357] ppid=13342 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/13344/task/13357/stat : 13357 (java) S 13342 13344 13299 0 -1 4202560 262 0 0 0 13 15 0 0 20 0 19 0 340864957 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099053247272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13358] ppid=13342 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/13344/task/13358/stat : 13358 (java) S 13342 13344 13299 0 -1 4202560 210 0 0 0 11 12 0 0 20 0 19 0 340864957 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099052194472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13359] ppid=13342 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/13344/task/13359/stat : 13359 (java) S 13342 13344 13299 0 -1 4202560 163 0 0 0 8 9 0 0 20 0 19 0 340864957 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099051141672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13361] ppid=13342 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/13344/task/13361/stat : 13361 (java) S 13342 13344 13299 0 -1 4202560 258 0 0 0 13 14 0 0 20 0 19 0 340864957 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099050088872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13344/tid=13362] ppid=13342 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/13344/task/13362/stat : 13362 (java) S 13342 13344 13299 0 -1 4202560 212 0 0 0 9 12 0 0 20 0 19 0 340864957 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099049036072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13363] ppid=13342 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/13344/task/13363/stat : 13363 (java) S 13342 13344 13299 0 -1 4202560 208 0 0 0 9 12 0 0 20 0 19 0 340864957 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099047983272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13366] ppid=13342 vsize=2715132 CPUtime=4.81 cores=1,3,5,7
/proc/13344/task/13366/stat : 13366 (java) S 13342 13344 13299 0 -1 4202560 154 0 0 0 476 5 0 0 20 0 19 0 340864958 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099035573224 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13367] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13367/stat : 13367 (java) S 13342 13344 13299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340864959 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099034519288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13368] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13368/stat : 13368 (java) S 13342 13344 13299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340864959 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099033466376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13374] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13374/stat : 13374 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864961 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099032414864 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13375] ppid=13342 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/13344/task/13375/stat : 13375 (java) S 13342 13344 13299 0 -1 4202560 3254 0 0 0 50 0 0 0 20 0 19 0 340864961 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099031361976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13376] ppid=13342 vsize=2715132 CPUtime=0.65 cores=1,3,5,7
/proc/13344/task/13376/stat : 13376 (java) S 13342 13344 13299 0 -1 4202560 6091 0 0 0 64 1 0 0 20 0 19 0 340864961 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099030309176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13344/tid=13377] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13377/stat : 13377 (java) S 13342 13344 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340864961 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099029256568 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13344/tid=13378] ppid=13342 vsize=2715132 CPUtime=0.74 cores=1,3,5,7
/proc/13344/task/13378/stat : 13378 (java) S 13342 13344 13299 0 -1 4202560 104 0 0 0 35 39 0 0 20 0 19 0 340864961 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099028203976 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13344/tid=13380] ppid=13342 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13344/task/13380/stat : 13380 (java) S 13342 13344 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340865032 2780295168 343642 33554432000 1073741824 1073778376 140736215591904 140099027150504 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2715132
Child status: 143
Real time (s): 1797.15
CPU time (s): 1800.55
CPU user time (s): 1798.66
CPU system time (s): 1.89071
CPU usage (%): 100.189
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.66
system time used= 1.89071
maximum resident set size= 1374756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15471
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38117
involuntary context switches= 13792
runsolver used 5.98309 second user time and 15.9006 second system time
The end