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-3742227-1338765145/watcher-3742227-1338765145 -o /tmp/evaluation-result-3742227-1338765145/solver-3742227-1338765145 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3742227-1338765145.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.98 3.91 3.87 4/197 15870
/proc/meminfo: memFree=27305104/32873844 swapFree=7116/7116
[pid=15870] ppid=15868 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/15870/stat : 15870 (java) D 15868 15870 13088 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 342639387 9515008 182 33554432000 1073741824 1073778376 140736266881920 140736266872952 240565173941 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 2323 182 140 9 0 71 0
[startup+0.0734109 s]
/proc/loadavg: 3.98 3.91 3.87 4/197 15870
/proc/meminfo: memFree=27305104/32873844 swapFree=7116/7116
[pid=15870] ppid=15868 vsize=11253516 CPUtime=0.04 cores=0,2,4,6
/proc/15870/stat : 15870 (java) S 15868 15870 13088 0 -1 4202496 4355 0 1 0 3 1 0 0 20 0 13 0 342639387 11523600384 11697 33554432000 1073741824 1073778376 140735522931408 140735522922544 240568533053 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 2813379 11698 1708 9 0 2804080 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11253516
[startup+0.10026 s]
/proc/loadavg: 3.98 3.91 3.87 4/197 15870
/proc/meminfo: memFree=27305104/32873844 swapFree=7116/7116
[pid=15870] ppid=15868 vsize=11586392 CPUtime=0.06 cores=0,2,4,6
/proc/15870/stat : 15870 (java) S 15868 15870 13088 0 -1 4202496 4524 0 1 0 5 1 0 0 20 0 18 0 342639387 11864465408 12377 33554432000 1073741824 1073778376 140735522931408 140735522922544 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 2896598 12377 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586392
[startup+0.300224 s]
/proc/loadavg: 3.98 3.91 3.87 4/197 15870
/proc/meminfo: memFree=27305104/32873844 swapFree=7116/7116
[pid=15870] ppid=15868 vsize=11586392 CPUtime=0.49 cores=0,2,4,6
/proc/15870/stat : 15870 (java) S 15868 15870 13088 0 -1 4202496 7503 0 1 0 47 2 0 0 20 0 18 0 342639387 11864465408 17166 33554432000 1073741824 1073778376 140735522931408 140735522922544 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 2896598 17166 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 11586392
[startup+0.700175 s]
/proc/loadavg: 3.98 3.91 3.87 4/197 15870
/proc/meminfo: memFree=27305104/32873844 swapFree=7116/7116
[pid=15870] ppid=15868 vsize=11852648 CPUtime=1.5 cores=0,2,4,6
/proc/15870/stat : 15870 (java) S 15868 15870 13088 0 -1 4202496 9508 0 1 0 145 5 0 0 20 0 22 0 342639387 12137111552 40166 33554432000 1073741824 1073778376 140735522931408 140735522922544 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 2963162 40166 2258 9 0 2953849 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 11852648
[startup+1.5007 s]
/proc/loadavg: 3.98 3.91 3.87 7/219 15892
/proc/meminfo: memFree=27120348/32873844 swapFree=7116/7116
[pid=15870] ppid=15868 vsize=11852648 CPUtime=4.19 cores=0,2,4,6
/proc/15870/stat : 15870 (java) S 15868 15870 13088 0 -1 4202496 20040 0 1 0 410 9 0 0 20 0 22 0 342639387 12137111552 91870 33554432000 1073741824 1073778376 140735522931408 140735522922544 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 2963162 91870 2266 9 0 2953849 0
[pid=15870/tid=15872] ppid=15868 vsize=11852648 CPUtime=0.57 cores=0,2,4,6
/proc/15870/task/15872/stat : 15872 (java) S 15868 15870 13088 0 -1 4202560 3479 0 1 0 53 4 0 0 20 0 22 0 342639388 12137111552 91870 33554432000 1073741824 1073778376 140735522931408 140649443878040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15873] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15873/stat : 15873 (java) S 15868 15870 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342639390 12137111552 91870 33554432000 1073741824 1073778376 140735522931408 140649281227048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15874] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15874/stat : 15874 (java) S 15868 15870 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342639390 12137111552 91870 33554432000 1073741824 1073778376 140735522931408 140649280174248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15875] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15875/stat : 15875 (java) S 15868 15870 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342639390 12137111552 91870 33554432000 1073741824 1073778376 140735522931408 140649279121960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15870/tid=15876] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15876/stat : 15876 (java) S 15868 15870 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342639390 12137111552 91870 33554432000 1073741824 1073778376 140735522931408 140649278069160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15877] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15877/stat : 15877 (java) S 15868 15870 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342639390 12137111552 91870 33554432000 1073741824 1073778376 140735522931408 140649277016872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15878] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15878/stat : 15878 (java) S 15868 15870 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342639390 12137111552 91870 33554432000 1073741824 1073778376 140735522931408 140649275964072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15879] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15879/stat : 15879 (java) S 15868 15870 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342639390 12137111552 91870 33554432000 1073741824 1073778376 140735522931408 140649274911784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15880] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15880/stat : 15880 (java) S 15868 15870 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342639390 12137111552 91870 33554432000 1073741824 1073778376 140735522931408 140649273858984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15881] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15881/stat : 15881 (java) S 15868 15870 13088 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 342639392 12137111552 91870 33554432000 1073741824 1073778376 140735522931408 140649261447400 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15882] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15882/stat : 15882 (java) S 15868 15870 13088 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 342639392 12137111552 91870 33554432000 1073741824 1073778376 140735522931408 140649260393464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15883] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15883/stat : 15883 (java) S 15868 15870 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342639392 12137111552 91870 33554432000 1073741824 1073778376 140735522931408 140649259341064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15884] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15884/stat : 15884 (java) S 15868 15870 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342639395 12137111552 91870 33554432000 1073741824 1073778376 140735522931408 140649258289552 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15885] ppid=15868 vsize=11852648 CPUtime=0.94 cores=0,2,4,6
/proc/15870/task/15885/stat : 15885 (java) S 15868 15870 13088 0 -1 4202560 7899 0 0 0 92 2 0 0 20 0 22 0 342639395 12137111552 91870 33554432000 1073741824 1073778376 140735522931408 140649257237176 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15886] ppid=15868 vsize=11852648 CPUtime=0.89 cores=0,2,4,6
/proc/15870/task/15886/stat : 15886 (java) S 15868 15870 13088 0 -1 4202560 7272 0 0 0 87 2 0 0 20 0 22 0 342639395 12137111552 91870 33554432000 1073741824 1073778376 140735522931408 140649256184376 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15887] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15887/stat : 15887 (java) S 15868 15870 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342639395 12137111552 91870 33554432000 1073741824 1073778376 140735522931408 140649255132280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15888] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15888/stat : 15888 (java) S 15868 15870 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342639395 12137111552 91870 33554432000 1073741824 1073778376 140735522931408 140649254079688 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15889] ppid=15868 vsize=11852648 CPUtime=0.86 cores=0,2,4,6
/proc/15870/task/15889/stat : 15889 (java) R 15868 15870 13088 0 -1 4202560 29 0 0 0 86 0 0 0 20 0 22 0 342639448 12137111552 91870 33554432000 1073741824 1073778376 140735522931408 140649252995480 140649317173091 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=15870/tid=15890] ppid=15868 vsize=11852648 CPUtime=0.87 cores=0,2,4,6
/proc/15870/task/15890/stat : 15890 (java) R 15868 15870 13088 0 -1 4202560 161 0 0 0 84 3 0 0 20 0 22 0 342639448 12137111552 91870 33554432000 1073741824 1073778376 140735522931408 140649251940144 140649317330506 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15891] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15891/stat : 15891 (java) S 15868 15870 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342639450 12137111552 91870 33554432000 1073741824 1073778376 140735522931408 140649250890920 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15892] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15892/stat : 15892 (java) S 15868 15870 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342639450 12137111552 91870 33554432000 1073741824 1073778376 140735522931408 140649249838120 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 11852648
[startup+3.10071 s]
/proc/loadavg: 3.98 3.92 3.87 4/219 15892
/proc/meminfo: memFree=26677800/32873844 swapFree=7116/7116
[pid=15870] ppid=15868 vsize=11852648 CPUtime=7.73 cores=0,2,4,6
/proc/15870/stat : 15870 (java) S 15868 15870 13088 0 -1 4202496 23130 0 1 0 753 20 0 0 20 0 22 0 342639387 12137111552 247532 33554432000 1073741824 1073778376 140735522931408 140735522922544 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 2963162 247532 2290 9 0 2953849 0
[pid=15870/tid=15872] ppid=15868 vsize=11852648 CPUtime=0.57 cores=0,2,4,6
/proc/15870/task/15872/stat : 15872 (java) S 15868 15870 13088 0 -1 4202560 3479 0 1 0 53 4 0 0 20 0 22 0 342639388 12137111552 247532 33554432000 1073741824 1073778376 140735522931408 140649443878040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15873] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15873/stat : 15873 (java) S 15868 15870 13088 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 342639390 12137111552 247532 33554432000 1073741824 1073778376 140735522931408 140649281227048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15870/tid=15874] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15874/stat : 15874 (java) S 15868 15870 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342639390 12137111552 247532 33554432000 1073741824 1073778376 140735522931408 140649280174248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15875] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15875/stat : 15875 (java) S 15868 15870 13088 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 342639390 12137111552 247532 33554432000 1073741824 1073778376 140735522931408 140649279121960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15876] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15876/stat : 15876 (java) S 15868 15870 13088 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 342639390 12137111552 247532 33554432000 1073741824 1073778376 140735522931408 140649278069160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15877] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15877/stat : 15877 (java) S 15868 15870 13088 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 342639390 12137111552 247532 33554432000 1073741824 1073778376 140735522931408 140649277016872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15878] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15878/stat : 15878 (java) S 15868 15870 13088 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 342639390 12137111552 247532 33554432000 1073741824 1073778376 140735522931408 140649275964072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15879] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15879/stat : 15879 (java) S 15868 15870 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342639390 12137111552 247532 33554432000 1073741824 1073778376 140735522931408 140649274911784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15880] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15880/stat : 15880 (java) S 15868 15870 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342639390 12137111552 247532 33554432000 1073741824 1073778376 140735522931408 140649273858984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15881] ppid=15868 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/15870/task/15881/stat : 15881 (java) S 15868 15870 13088 0 -1 4202560 37 0 0 0 3 0 0 0 20 0 22 0 342639392 12137111552 247532 33554432000 1073741824 1073778376 140735522931408 140649261447400 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15882] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15882/stat : 15882 (java) S 15868 15870 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342639392 12137111552 247532 33554432000 1073741824 1073778376 140735522931408 140649260393464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15883] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15883/stat : 15883 (java) S 15868 15870 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342639392 12137111552 247532 33554432000 1073741824 1073778376 140735522931408 140649259341064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15884] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15884/stat : 15884 (java) S 15868 15870 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342639395 12137111552 247532 33554432000 1073741824 1073778376 140735522931408 140649258289552 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15885] ppid=15868 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/15870/task/15885/stat : 15885 (java) R 15868 15870 13088 0 -1 4202560 10614 0 0 0 117 2 0 0 20 0 22 0 342639395 12137111552 247532 33554432000 1073741824 1073778376 140735522931408 140649257224360 140649446783064 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=15870/tid=15886] ppid=15868 vsize=11852648 CPUtime=0.99 cores=0,2,4,6
/proc/15870/task/15886/stat : 15886 (java) S 15868 15870 13088 0 -1 4202560 7275 0 0 0 97 2 0 0 20 0 22 0 342639395 12137111552 247532 33554432000 1073741824 1073778376 140735522931408 140649256184376 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15887] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15887/stat : 15887 (java) S 15868 15870 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342639395 12137111552 247532 33554432000 1073741824 1073778376 140735522931408 140649255132280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15888] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15888/stat : 15888 (java) S 15868 15870 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342639395 12137111552 247532 33554432000 1073741824 1073778376 140735522931408 140649254079688 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15889] ppid=15868 vsize=11852648 CPUtime=2.38 cores=0,2,4,6
/proc/15870/task/15889/stat : 15889 (java) R 15868 15870 13088 0 -1 4202560 31 0 0 0 238 0 0 0 20 0 22 0 342639448 12137111552 247532 33554432000 1073741824 1073778376 140735522931408 140649252995368 140649317114579 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15890] ppid=15868 vsize=11852648 CPUtime=2.4 cores=0,2,4,6
/proc/15870/task/15890/stat : 15890 (java) R 15868 15870 13088 0 -1 4202560 449 0 0 0 229 11 0 0 20 0 22 0 342639448 12137111552 247532 33554432000 1073741824 1073778376 140735522931408 140649251940240 140649317293573 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15891] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15891/stat : 15891 (java) S 15868 15870 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342639450 12137111552 247532 33554432000 1073741824 1073778376 140735522931408 140649250890920 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15892] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15892/stat : 15892 (java) S 15868 15870 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342639450 12137111552 247532 33554432000 1073741824 1073778376 140735522931408 140649249838120 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.73
Current children cumulated vsize (KiB) 11852648
[startup+6.3008 s]
/proc/loadavg: 3.98 3.92 3.87 5/219 15892
/proc/meminfo: memFree=26279496/32873844 swapFree=7116/7116
[pid=15870] ppid=15868 vsize=11852648 CPUtime=14.45 cores=0,2,4,6
/proc/15870/stat : 15870 (java) S 15868 15870 13088 0 -1 4202496 24512 0 1 0 1421 24 0 0 20 0 22 0 342639387 12137111552 261373 33554432000 1073741824 1073778376 140735522931408 140735522922544 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 2963162 261373 2290 9 0 2953849 0
[pid=15870/tid=15872] ppid=15868 vsize=11852648 CPUtime=0.57 cores=0,2,4,6
/proc/15870/task/15872/stat : 15872 (java) S 15868 15870 13088 0 -1 4202560 3479 0 1 0 53 4 0 0 20 0 22 0 342639388 12137111552 261373 33554432000 1073741824 1073778376 140735522931408 140649443878040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15873] ppid=15868 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/15870/task/15873/stat : 15873 (java) S 15868 15870 13088 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 342639390 12137111552 261373 33554432000 1073741824 1073778376 140735522931408 140649281227048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15874] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15874/stat : 15874 (java) S 15868 15870 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342639390 12137111552 261373 33554432000 1073741824 1073778376 140735522931408 140649280174248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15875] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15875/stat : 15875 (java) S 15868 15870 13088 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 342639390 12137111552 261373 33554432000 1073741824 1073778376 140735522931408 140649279121960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15876] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15876/stat : 15876 (java) S 15868 15870 13088 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 342639390 12137111552 261373 33554432000 1073741824 1073778376 140735522931408 140649278069160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15877] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15877/stat : 15877 (java) S 15868 15870 13088 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 342639390 12137111552 261373 33554432000 1073741824 1073778376 140735522931408 140649277016872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15878] ppid=15868 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/15870/task/15878/stat : 15878 (java) S 15868 15870 13088 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 342639390 12137111552 261373 33554432000 1073741824 1073778376 140735522931408 140649275964072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15879] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15879/stat : 15879 (java) S 15868 15870 13088 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342639390 12137111552 261373 33554432000 1073741824 1073778376 140735522931408 140649274911784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15870/tid=15880] ppid=15868 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/15870/task/15880/stat : 15880 (java) S 15868 15870 13088 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 342639390 12137111552 261373 33554432000 1073741824 1073778376 140735522931408 140649273858984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15881] ppid=15868 vsize=11852648 CPUtime=0.1 cores=0,2,4,6
/proc/15870/task/15881/stat : 15881 (java) S 15868 15870 13088 0 -1 4202560 39 0 0 0 8 2 0 0 20 0 22 0 342639392 12137111552 261373 33554432000 1073741824 1073778376 140735522931408 140649261447400 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15882] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15882/stat : 15882 (java) S 15868 15870 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342639392 12137111552 261373 33554432000 1073741824 1073778376 140735522931408 140649260393464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15883] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15883/stat : 15883 (java) S 15868 15870 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342639392 12137111552 261373 33554432000 1073741824 1073778376 140735522931408 140649259341064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15884] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15884/stat : 15884 (java) S 15868 15870 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342639395 12137111552 261373 33554432000 1073741824 1073778376 140735522931408 140649258289552 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15885] ppid=15868 vsize=11852648 CPUtime=1.53 cores=0,2,4,6
/proc/15870/task/15885/stat : 15885 (java) S 15868 15870 13088 0 -1 4202560 11943 0 0 0 150 3 0 0 20 0 22 0 342639395 12137111552 261373 33554432000 1073741824 1073778376 140735522931408 140649257237176 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
################
# More data... #
################
/proc/15870/statm: 2963162 977762 2291 9 0 2953849 0
[pid=15870/tid=15872] ppid=15868 vsize=11852648 CPUtime=0.6 cores=0,2,4,6
/proc/15870/task/15872/stat : 15872 (java) S 15868 15870 13088 0 -1 4202560 3502 0 1 0 55 5 0 0 20 0 22 0 342639388 12137111552 977762 33554432000 1073741824 1073778376 140735522931408 140649443878040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15873] ppid=15868 vsize=11852648 CPUtime=1.02 cores=0,2,4,6
/proc/15870/task/15873/stat : 15873 (java) S 15868 15870 13088 0 -1 4202560 153 0 0 0 94 8 0 0 20 0 22 0 342639390 12137111552 977762 33554432000 1073741824 1073778376 140735522931408 140649281227048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15874] ppid=15868 vsize=11852648 CPUtime=1.02 cores=0,2,4,6
/proc/15870/task/15874/stat : 15874 (java) S 15868 15870 13088 0 -1 4202560 135 0 0 0 96 6 0 0 20 0 22 0 342639390 12137111552 977762 33554432000 1073741824 1073778376 140735522931408 140649280174248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15875] ppid=15868 vsize=11852648 CPUtime=1.04 cores=0,2,4,6
/proc/15870/task/15875/stat : 15875 (java) S 15868 15870 13088 0 -1 4202560 151 0 0 0 97 7 0 0 20 0 22 0 342639390 12137111552 977762 33554432000 1073741824 1073778376 140735522931408 140649279121960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15870/tid=15876] ppid=15868 vsize=11852648 CPUtime=1 cores=0,2,4,6
/proc/15870/task/15876/stat : 15876 (java) S 15868 15870 13088 0 -1 4202560 135 0 0 0 93 7 0 0 20 0 22 0 342639390 12137111552 977762 33554432000 1073741824 1073778376 140735522931408 140649278069160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15870/tid=15877] ppid=15868 vsize=11852648 CPUtime=1.01 cores=0,2,4,6
/proc/15870/task/15877/stat : 15877 (java) S 15868 15870 13088 0 -1 4202560 135 0 0 0 94 7 0 0 20 0 22 0 342639390 12137111552 977762 33554432000 1073741824 1073778376 140735522931408 140649277016872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15878] ppid=15868 vsize=11852648 CPUtime=1.04 cores=0,2,4,6
/proc/15870/task/15878/stat : 15878 (java) S 15868 15870 13088 0 -1 4202560 131 0 0 0 96 8 0 0 20 0 22 0 342639390 12137111552 977762 33554432000 1073741824 1073778376 140735522931408 140649275964072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15879] ppid=15868 vsize=11852648 CPUtime=1.04 cores=0,2,4,6
/proc/15870/task/15879/stat : 15879 (java) S 15868 15870 13088 0 -1 4202560 149 0 0 0 97 7 0 0 20 0 22 0 342639390 12137111552 977762 33554432000 1073741824 1073778376 140735522931408 140649274911784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15880] ppid=15868 vsize=11852648 CPUtime=1.09 cores=0,2,4,6
/proc/15870/task/15880/stat : 15880 (java) S 15868 15870 13088 0 -1 4202560 135 0 0 0 102 7 0 0 20 0 22 0 342639390 12137111552 977762 33554432000 1073741824 1073778376 140735522931408 140649273858984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15881] ppid=15868 vsize=11852648 CPUtime=17.52 cores=0,2,4,6
/proc/15870/task/15881/stat : 15881 (java) S 15868 15870 13088 0 -1 4202560 179 0 0 0 1744 8 0 0 20 0 22 0 342639392 12137111552 977762 33554432000 1073741824 1073778376 140735522931408 140649261447400 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15882] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15882/stat : 15882 (java) S 15868 15870 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342639392 12137111552 977762 33554432000 1073741824 1073778376 140735522931408 140649260393464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15883] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15883/stat : 15883 (java) S 15868 15870 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342639392 12137111552 977762 33554432000 1073741824 1073778376 140735522931408 140649259341064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15884] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15884/stat : 15884 (java) S 15868 15870 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342639395 12137111552 977762 33554432000 1073741824 1073778376 140735522931408 140649258289552 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15885] ppid=15868 vsize=11852648 CPUtime=1.62 cores=0,2,4,6
/proc/15870/task/15885/stat : 15885 (java) S 15868 15870 13088 0 -1 4202560 11949 0 0 0 159 3 0 0 20 0 22 0 342639395 12137111552 977762 33554432000 1073741824 1073778376 140735522931408 140649257237176 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15870/tid=15886] ppid=15868 vsize=11852648 CPUtime=1.24 cores=0,2,4,6
/proc/15870/task/15886/stat : 15886 (java) S 15868 15870 13088 0 -1 4202560 7317 0 0 0 122 2 0 0 20 0 22 0 342639395 12137111552 977762 33554432000 1073741824 1073778376 140735522931408 140649256184376 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15887] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15887/stat : 15887 (java) S 15868 15870 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342639395 12137111552 977762 33554432000 1073741824 1073778376 140735522931408 140649255132280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15888] ppid=15868 vsize=11852648 CPUtime=0.27 cores=0,2,4,6
/proc/15870/task/15888/stat : 15888 (java) S 15868 15870 13088 0 -1 4202560 47 0 0 0 14 13 0 0 20 0 22 0 342639395 12137111552 977762 33554432000 1073741824 1073778376 140735522931408 140649254079688 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15889] ppid=15868 vsize=11852648 CPUtime=799.57 cores=0,2,4,6
/proc/15870/task/15889/stat : 15889 (java) R 15868 15870 13088 0 -1 4202560 90 0 0 0 79944 13 0 0 20 0 22 0 342639448 12137111552 977762 33554432000 1073741824 1073778376 140735522931408 140649252995280 140649317150864 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15890] ppid=15868 vsize=11852648 CPUtime=799.59 cores=0,2,4,6
/proc/15870/task/15890/stat : 15890 (java) R 15868 15870 13088 0 -1 4202560 1657 0 0 0 79892 67 0 0 20 0 22 0 342639448 12137111552 977762 33554432000 1073741824 1073778376 140735522931408 140649251940352 140649317329571 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15891] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15891/stat : 15891 (java) S 15868 15870 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342639450 12137111552 977762 33554432000 1073741824 1073778376 140735522931408 140649250890920 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15892] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15892/stat : 15892 (java) S 15868 15870 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342639450 12137111552 977762 33554432000 1073741824 1073778376 140735522931408 140649249838120 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1632.86
Current children cumulated vsize (KiB) 11852648
[startup+882.301 s]
/proc/loadavg: 3.92 3.94 3.89 5/219 15960
/proc/meminfo: memFree=23450056/32873844 swapFree=7116/7116
[pid=15870] ppid=15868 vsize=11852648 CPUtime=1751.75 cores=0,2,4,6
/proc/15870/stat : 15870 (java) S 15868 15870 13088 0 -1 4202496 27093 0 1 0 175032 143 0 0 20 0 22 0 342639387 12137111552 977785 33554432000 1073741824 1073778376 140735522931408 140735522922544 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 2963162 977785 2291 9 0 2953849 0
[pid=15870/tid=15872] ppid=15868 vsize=11852648 CPUtime=0.6 cores=0,2,4,6
/proc/15870/task/15872/stat : 15872 (java) S 15868 15870 13088 0 -1 4202560 3504 0 1 0 55 5 0 0 20 0 22 0 342639388 12137111552 977785 33554432000 1073741824 1073778376 140735522931408 140649443877752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15873] ppid=15868 vsize=11852648 CPUtime=1.14 cores=0,2,4,6
/proc/15870/task/15873/stat : 15873 (java) S 15868 15870 13088 0 -1 4202560 156 0 0 0 105 9 0 0 20 0 22 0 342639390 12137111552 977785 33554432000 1073741824 1073778376 140735522931408 140649281227048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15874] ppid=15868 vsize=11852648 CPUtime=1.13 cores=0,2,4,6
/proc/15870/task/15874/stat : 15874 (java) S 15868 15870 13088 0 -1 4202560 135 0 0 0 106 7 0 0 20 0 22 0 342639390 12137111552 977785 33554432000 1073741824 1073778376 140735522931408 140649280174248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15875] ppid=15868 vsize=11852648 CPUtime=1.2 cores=0,2,4,6
/proc/15870/task/15875/stat : 15875 (java) S 15868 15870 13088 0 -1 4202560 156 0 0 0 113 7 0 0 20 0 22 0 342639390 12137111552 977785 33554432000 1073741824 1073778376 140735522931408 140649279121960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15876] ppid=15868 vsize=11852648 CPUtime=1.11 cores=0,2,4,6
/proc/15870/task/15876/stat : 15876 (java) S 15868 15870 13088 0 -1 4202560 140 0 0 0 104 7 0 0 20 0 22 0 342639390 12137111552 977785 33554432000 1073741824 1073778376 140735522931408 140649278069160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15877] ppid=15868 vsize=11852648 CPUtime=1.12 cores=0,2,4,6
/proc/15870/task/15877/stat : 15877 (java) S 15868 15870 13088 0 -1 4202560 138 0 0 0 104 8 0 0 20 0 22 0 342639390 12137111552 977785 33554432000 1073741824 1073778376 140735522931408 140649277016872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15870/tid=15878] ppid=15868 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/15870/task/15878/stat : 15878 (java) S 15868 15870 13088 0 -1 4202560 134 0 0 0 109 8 0 0 20 0 22 0 342639390 12137111552 977785 33554432000 1073741824 1073778376 140735522931408 140649275964072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15879] ppid=15868 vsize=11852648 CPUtime=1.13 cores=0,2,4,6
/proc/15870/task/15879/stat : 15879 (java) S 15868 15870 13088 0 -1 4202560 152 0 0 0 106 7 0 0 20 0 22 0 342639390 12137111552 977785 33554432000 1073741824 1073778376 140735522931408 140649274911784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15880] ppid=15868 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/15870/task/15880/stat : 15880 (java) S 15868 15870 13088 0 -1 4202560 136 0 0 0 110 7 0 0 20 0 22 0 342639390 12137111552 977785 33554432000 1073741824 1073778376 140735522931408 140649273858984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15881] ppid=15868 vsize=11852648 CPUtime=19.04 cores=0,2,4,6
/proc/15870/task/15881/stat : 15881 (java) R 15868 15870 13088 0 -1 4202560 183 0 0 0 1896 8 0 0 20 0 22 0 342639392 12137111552 977785 33554432000 1073741824 1073778376 140735522931408 140649261446376 140649450003599 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15882] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15882/stat : 15882 (java) S 15868 15870 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342639392 12137111552 977785 33554432000 1073741824 1073778376 140735522931408 140649260393464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15883] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15883/stat : 15883 (java) S 15868 15870 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342639392 12137111552 977785 33554432000 1073741824 1073778376 140735522931408 140649259341064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15884] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15884/stat : 15884 (java) S 15868 15870 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342639395 12137111552 977785 33554432000 1073741824 1073778376 140735522931408 140649258289552 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15885] ppid=15868 vsize=11852648 CPUtime=1.62 cores=0,2,4,6
/proc/15870/task/15885/stat : 15885 (java) S 15868 15870 13088 0 -1 4202560 11949 0 0 0 159 3 0 0 20 0 22 0 342639395 12137111552 977785 33554432000 1073741824 1073778376 140735522931408 140649257237176 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15870/tid=15886] ppid=15868 vsize=11852648 CPUtime=1.24 cores=0,2,4,6
/proc/15870/task/15886/stat : 15886 (java) S 15868 15870 13088 0 -1 4202560 7317 0 0 0 122 2 0 0 20 0 22 0 342639395 12137111552 977785 33554432000 1073741824 1073778376 140735522931408 140649256184376 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15887] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15887/stat : 15887 (java) S 15868 15870 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342639395 12137111552 977785 33554432000 1073741824 1073778376 140735522931408 140649255132280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15888] ppid=15868 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/15870/task/15888/stat : 15888 (java) S 15868 15870 13088 0 -1 4202560 51 0 0 0 16 14 0 0 20 0 22 0 342639395 12137111552 977785 33554432000 1073741824 1073778376 140735522931408 140649254079688 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15889] ppid=15868 vsize=11852648 CPUtime=857.65 cores=0,2,4,6
/proc/15870/task/15889/stat : 15889 (java) S 15868 15870 13088 0 -1 4202560 94 0 0 0 85751 14 0 0 20 0 22 0 342639448 12137111552 977785 33554432000 1073741824 1073778376 140735522931408 140649252995400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15890] ppid=15868 vsize=11852648 CPUtime=857.68 cores=0,2,4,6
/proc/15870/task/15890/stat : 15890 (java) S 15868 15870 13088 0 -1 4202560 1661 0 0 0 85700 68 0 0 20 0 22 0 342639448 12137111552 977785 33554432000 1073741824 1073778376 140735522931408 140649251940808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15891] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15891/stat : 15891 (java) S 15868 15870 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342639450 12137111552 977785 33554432000 1073741824 1073778376 140735522931408 140649250890920 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15892] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15892/stat : 15892 (java) S 15868 15870 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342639450 12137111552 977785 33554432000 1073741824 1073778376 140735522931408 140649249838120 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1751.75
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+907.001 s]
/proc/loadavg: 3.95 3.95 3.89 5/219 15960
/proc/meminfo: memFree=23449808/32873844 swapFree=7116/7116
[pid=15870] ppid=15868 vsize=11852648 CPUtime=1800.1 cores=0,2,4,6
/proc/15870/stat : 15870 (java) S 15868 15870 13088 0 -1 4202496 27112 0 1 0 179866 144 0 0 20 0 22 0 342639387 12137111552 977797 33554432000 1073741824 1073778376 140735522931408 140735522922544 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15870/statm: 2963162 977797 2291 9 0 2953849 0
[pid=15870/tid=15872] ppid=15868 vsize=11852648 CPUtime=0.6 cores=0,2,4,6
/proc/15870/task/15872/stat : 15872 (java) S 15868 15870 13088 0 -1 4202560 3506 0 1 0 55 5 0 0 20 0 22 0 342639388 12137111552 977797 33554432000 1073741824 1073778376 140735522931408 140649443878040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15873] ppid=15868 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/15870/task/15873/stat : 15873 (java) S 15868 15870 13088 0 -1 4202560 156 0 0 0 108 9 0 0 20 0 22 0 342639390 12137111552 977797 33554432000 1073741824 1073778376 140735522931408 140649281227048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15874] ppid=15868 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/15870/task/15874/stat : 15874 (java) S 15868 15870 13088 0 -1 4202560 138 0 0 0 110 7 0 0 20 0 22 0 342639390 12137111552 977797 33554432000 1073741824 1073778376 140735522931408 140649280174248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15875] ppid=15868 vsize=11852648 CPUtime=1.24 cores=0,2,4,6
/proc/15870/task/15875/stat : 15875 (java) S 15868 15870 13088 0 -1 4202560 158 0 0 0 117 7 0 0 20 0 22 0 342639390 12137111552 977797 33554432000 1073741824 1073778376 140735522931408 140649279121960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15876] ppid=15868 vsize=11852648 CPUtime=1.15 cores=0,2,4,6
/proc/15870/task/15876/stat : 15876 (java) S 15868 15870 13088 0 -1 4202560 140 0 0 0 108 7 0 0 20 0 22 0 342639390 12137111552 977797 33554432000 1073741824 1073778376 140735522931408 140649278069160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15877] ppid=15868 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/15870/task/15877/stat : 15877 (java) S 15868 15870 13088 0 -1 4202560 141 0 0 0 111 8 0 0 20 0 22 0 342639390 12137111552 977797 33554432000 1073741824 1073778376 140735522931408 140649277016872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15878] ppid=15868 vsize=11852648 CPUtime=1.2 cores=0,2,4,6
/proc/15870/task/15878/stat : 15878 (java) S 15868 15870 13088 0 -1 4202560 135 0 0 0 112 8 0 0 20 0 22 0 342639390 12137111552 977797 33554432000 1073741824 1073778376 140735522931408 140649275964072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15879] ppid=15868 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/15870/task/15879/stat : 15879 (java) S 15868 15870 13088 0 -1 4202560 153 0 0 0 110 7 0 0 20 0 22 0 342639390 12137111552 977797 33554432000 1073741824 1073778376 140735522931408 140649274911784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15870/tid=15880] ppid=15868 vsize=11852648 CPUtime=1.21 cores=0,2,4,6
/proc/15870/task/15880/stat : 15880 (java) S 15868 15870 13088 0 -1 4202560 138 0 0 0 114 7 0 0 20 0 22 0 342639390 12137111552 977797 33554432000 1073741824 1073778376 140735522931408 140649273858984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15870/tid=15881] ppid=15868 vsize=11852648 CPUtime=20.28 cores=0,2,4,6
/proc/15870/task/15881/stat : 15881 (java) S 15868 15870 13088 0 -1 4202560 185 0 0 0 2020 8 0 0 20 0 22 0 342639392 12137111552 977797 33554432000 1073741824 1073778376 140735522931408 140649261447400 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15882] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15882/stat : 15882 (java) S 15868 15870 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342639392 12137111552 977797 33554432000 1073741824 1073778376 140735522931408 140649260393464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15883] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15883/stat : 15883 (java) S 15868 15870 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342639392 12137111552 977797 33554432000 1073741824 1073778376 140735522931408 140649259341064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15884] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15884/stat : 15884 (java) S 15868 15870 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342639395 12137111552 977797 33554432000 1073741824 1073778376 140735522931408 140649258289552 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15885] ppid=15868 vsize=11852648 CPUtime=1.62 cores=0,2,4,6
/proc/15870/task/15885/stat : 15885 (java) S 15868 15870 13088 0 -1 4202560 11949 0 0 0 159 3 0 0 20 0 22 0 342639395 12137111552 977797 33554432000 1073741824 1073778376 140735522931408 140649257237176 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15870/tid=15886] ppid=15868 vsize=11852648 CPUtime=1.24 cores=0,2,4,6
/proc/15870/task/15886/stat : 15886 (java) S 15868 15870 13088 0 -1 4202560 7317 0 0 0 122 2 0 0 20 0 22 0 342639395 12137111552 977797 33554432000 1073741824 1073778376 140735522931408 140649256184376 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15887] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15887/stat : 15887 (java) S 15868 15870 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342639395 12137111552 977797 33554432000 1073741824 1073778376 140735522931408 140649255132280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15888] ppid=15868 vsize=11852648 CPUtime=0.31 cores=0,2,4,6
/proc/15870/task/15888/stat : 15888 (java) S 15868 15870 13088 0 -1 4202560 53 0 0 0 17 14 0 0 20 0 22 0 342639395 12137111552 977797 33554432000 1073741824 1073778376 140735522931408 140649254079688 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15889] ppid=15868 vsize=11852648 CPUtime=880.97 cores=0,2,4,6
/proc/15870/task/15889/stat : 15889 (java) R 15868 15870 13088 0 -1 4202560 94 0 0 0 88083 14 0 0 20 0 22 0 342639448 12137111552 977797 33554432000 1073741824 1073778376 140735522931408 140649252995280 140649317105856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15870/tid=15890] ppid=15868 vsize=11852648 CPUtime=880.99 cores=0,2,4,6
/proc/15870/task/15890/stat : 15890 (java) R 15868 15870 13088 0 -1 4202560 1662 0 0 0 88031 68 0 0 20 0 22 0 342639448 12137111552 977797 33554432000 1073741824 1073778376 140735522931408 140649251940688 140649317298116 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15870/tid=15891] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15891/stat : 15891 (java) S 15868 15870 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342639450 12137111552 977797 33554432000 1073741824 1073778376 140735522931408 140649250890920 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15870/tid=15892] ppid=15868 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15870/task/15892/stat : 15892 (java) S 15868 15870 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342639450 12137111552 977797 33554432000 1073741824 1073778376 140735522931408 140649249838120 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15870 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=18267
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=911709
# CPU time returned by wait4() is 1795.93
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 907.064
CPU time (s): 1800.1
CPU user time (s): 1798.66
CPU system time (s): 1.44
CPU usage (%): 198.453
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.02
system time used= 1.91171
maximum resident set size= 3913360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27145
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25124
involuntary context switches= 30773
runsolver used 4.00039 second user time and 7.28389 second system time
The end