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-3733593-1338749386/watcher-3733593-1338749386 -o /tmp/evaluation-result-3733593-1338749386/solver-3733593-1338749386 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3733593-1338749386.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/196 7302
/proc/meminfo: memFree=27033240/32873844 swapFree=7124/7124
[pid=7302] ppid=7300 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/7302/stat : 7302 (java6) D 7300 7302 6377 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 341064022 9515008 182 33554432000 1073741824 1073778376 140735328556736 140735328547768 273905696437 0 0 4096 0 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 2323 182 140 9 0 71 0
[startup+0.092749 s]
/proc/loadavg: 2.00 2.00 2.00 3/196 7302
/proc/meminfo: memFree=27033240/32873844 swapFree=7124/7124
[pid=7302] ppid=7300 vsize=2648568 CPUtime=0.06 cores=1,3,5,7
/proc/7302/stat : 7302 (java) S 7300 7302 6377 0 -1 4202496 3863 0 1 0 5 1 0 0 20 0 18 0 341064022 2712133632 5583 33554432000 1073741824 1073778376 140735159776160 140735159767296 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/7302/statm: 662142 5583 1773 9 0 652835 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2648568
[startup+0.100322 s]
/proc/loadavg: 2.00 2.00 2.00 3/196 7302
/proc/meminfo: memFree=27033240/32873844 swapFree=7124/7124
[pid=7302] ppid=7300 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/7302/stat : 7302 (java) S 7300 7302 6377 0 -1 4202496 4512 0 1 0 7 1 0 0 20 0 18 0 341064022 2712133632 6231 33554432000 1073741824 1073778376 140735159776160 140735159767296 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/7302/statm: 662142 6235 2070 9 0 652835 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2648568
[startup+0.300265 s]
/proc/loadavg: 2.00 2.00 2.00 3/196 7302
/proc/meminfo: memFree=27033240/32873844 swapFree=7124/7124
[pid=7302] ppid=7300 vsize=2715132 CPUtime=0.52 cores=1,3,5,7
/proc/7302/stat : 7302 (java) S 7300 7302 6377 0 -1 4202496 7354 0 1 0 50 2 0 0 20 0 19 0 341064022 2780295168 8616 33554432000 1073741824 1073778376 140735159776160 140735159767296 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/7302/statm: 678783 8616 2230 9 0 669476 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2715132
[startup+0.700208 s]
/proc/loadavg: 2.00 2.00 2.00 3/196 7302
/proc/meminfo: memFree=27033240/32873844 swapFree=7124/7124
[pid=7302] ppid=7300 vsize=2715132 CPUtime=0.95 cores=1,3,5,7
/proc/7302/stat : 7302 (java) S 7300 7302 6377 0 -1 4202496 7356 0 1 0 93 2 0 0 20 0 19 0 341064022 2780295168 9129 33554432000 1073741824 1073778376 140735159776160 140735159767296 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/7302/statm: 678783 9129 2231 9 0 669476 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 2715132
[startup+1.50065 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 7321
/proc/meminfo: memFree=27003484/32873844 swapFree=7124/7124
[pid=7302] ppid=7300 vsize=2715132 CPUtime=1.8 cores=1,3,5,7
/proc/7302/stat : 7302 (java) S 7300 7302 6377 0 -1 4202496 7584 0 1 0 178 2 0 0 20 0 19 0 341064022 2780295168 10675 33554432000 1073741824 1073778376 140735159776160 140735159767296 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/7302/statm: 678783 10675 2238 9 0 669476 0
[pid=7302/tid=7304] ppid=7300 vsize=2715132 CPUtime=1.46 cores=1,3,5,7
/proc/7302/task/7304/stat : 7304 (java) R 7300 7302 6377 0 -1 4202560 2759 0 1 0 144 2 0 0 20 0 19 0 341064024 2780295168 10675 33554432000 1073741824 1073778376 140735159776160 139743616307928 139743489078935 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7302/tid=7305] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7305/stat : 7305 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064025 2780295168 10675 33554432000 1073741824 1073778376 140735159776160 139743483234600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7306] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7306/stat : 7306 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064025 2780295168 10675 33554432000 1073741824 1073778376 140735159776160 139743482181800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7307] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7307/stat : 7307 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064025 2780295168 10675 33554432000 1073741824 1073778376 140735159776160 139743481129512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7302/tid=7308] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7308/stat : 7308 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064025 2780295168 10675 33554432000 1073741824 1073778376 140735159776160 139743480076712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7302/tid=7309] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7309/stat : 7309 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064025 2780295168 10675 33554432000 1073741824 1073778376 140735159776160 139743479024424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7310] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7310/stat : 7310 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064025 2780295168 10675 33554432000 1073741824 1073778376 140735159776160 139743477971624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7302/tid=7311] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7311/stat : 7311 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064025 2780295168 10675 33554432000 1073741824 1073778376 140735159776160 139743476919336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7312] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7312/stat : 7312 (java) S 7300 7302 6377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341064025 2780295168 10675 33554432000 1073741824 1073778376 140735159776160 139743475866536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7313] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7313/stat : 7313 (java) S 7300 7302 6377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341064026 2780295168 10675 33554432000 1073741824 1073778376 140735159776160 139742993672424 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7314] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7314/stat : 7314 (java) S 7300 7302 6377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341064027 2780295168 10675 33554432000 1073741824 1073778376 140735159776160 139742992618488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7315] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7315/stat : 7315 (java) S 7300 7302 6377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341064027 2780295168 10675 33554432000 1073741824 1073778376 140735159776160 139742991566088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7316] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7316/stat : 7316 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064029 2780295168 10675 33554432000 1073741824 1073778376 140735159776160 139742990514576 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7317] ppid=7300 vsize=2715132 CPUtime=0.14 cores=1,3,5,7
/proc/7302/task/7317/stat : 7317 (java) S 7300 7302 6377 0 -1 4202560 1750 0 0 0 14 0 0 0 20 0 19 0 341064029 2780295168 10675 33554432000 1073741824 1073778376 140735159776160 139742989462200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7318] ppid=7300 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/7302/task/7318/stat : 7318 (java) S 7300 7302 6377 0 -1 4202560 1881 0 0 0 17 0 0 0 20 0 19 0 341064029 2780295168 10675 33554432000 1073741824 1073778376 140735159776160 139742988409400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7319] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7319/stat : 7319 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064029 2780295168 10675 33554432000 1073741824 1073778376 140735159776160 139742987357304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7320] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7320/stat : 7320 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064029 2780295168 10675 33554432000 1073741824 1073778376 140735159776160 139742986304712 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7321] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7321/stat : 7321 (java) S 7300 7302 6377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341064039 2780295168 10675 33554432000 1073741824 1073778376 140735159776160 139742985249704 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 2715132
[startup+3.10078 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 7321
/proc/meminfo: memFree=26996844/32873844 swapFree=7124/7124
[pid=7302] ppid=7300 vsize=2715132 CPUtime=3.45 cores=1,3,5,7
/proc/7302/stat : 7302 (java) S 7300 7302 6377 0 -1 4202496 7588 0 1 0 342 3 0 0 20 0 19 0 341064022 2780295168 12211 33554432000 1073741824 1073778376 140735159776160 140735159767296 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/7302/statm: 678783 12211 2238 9 0 669476 0
[pid=7302/tid=7304] ppid=7300 vsize=2715132 CPUtime=3.06 cores=1,3,5,7
/proc/7302/task/7304/stat : 7304 (java) R 7300 7302 6377 0 -1 4202560 2763 0 1 0 304 2 0 0 20 0 19 0 341064024 2780295168 12211 33554432000 1073741824 1073778376 140735159776160 139743616305728 139743489078561 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7302/tid=7305] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7305/stat : 7305 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064025 2780295168 12211 33554432000 1073741824 1073778376 140735159776160 139743483234600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7306] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7306/stat : 7306 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064025 2780295168 12211 33554432000 1073741824 1073778376 140735159776160 139743482181800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7307] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7307/stat : 7307 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064025 2780295168 12211 33554432000 1073741824 1073778376 140735159776160 139743481129512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7302/tid=7308] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7308/stat : 7308 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064025 2780295168 12211 33554432000 1073741824 1073778376 140735159776160 139743480076712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7302/tid=7309] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7309/stat : 7309 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064025 2780295168 12211 33554432000 1073741824 1073778376 140735159776160 139743479024424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7310] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7310/stat : 7310 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064025 2780295168 12211 33554432000 1073741824 1073778376 140735159776160 139743477971624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7302/tid=7311] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7311/stat : 7311 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064025 2780295168 12211 33554432000 1073741824 1073778376 140735159776160 139743476919336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7312] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7312/stat : 7312 (java) S 7300 7302 6377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341064025 2780295168 12211 33554432000 1073741824 1073778376 140735159776160 139743475866536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7313] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7313/stat : 7313 (java) S 7300 7302 6377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341064026 2780295168 12211 33554432000 1073741824 1073778376 140735159776160 139742993672424 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7314] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7314/stat : 7314 (java) S 7300 7302 6377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341064027 2780295168 12211 33554432000 1073741824 1073778376 140735159776160 139742992618488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7315] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7315/stat : 7315 (java) S 7300 7302 6377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341064027 2780295168 12211 33554432000 1073741824 1073778376 140735159776160 139742991566088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7316] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7316/stat : 7316 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064029 2780295168 12211 33554432000 1073741824 1073778376 140735159776160 139742990514576 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7317] ppid=7300 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/7302/task/7317/stat : 7317 (java) S 7300 7302 6377 0 -1 4202560 1750 0 0 0 15 0 0 0 20 0 19 0 341064029 2780295168 12211 33554432000 1073741824 1073778376 140735159776160 139742989462200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7318] ppid=7300 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/7302/task/7318/stat : 7318 (java) S 7300 7302 6377 0 -1 4202560 1881 0 0 0 19 0 0 0 20 0 19 0 341064029 2780295168 12211 33554432000 1073741824 1073778376 140735159776160 139742988409400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7319] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7319/stat : 7319 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064029 2780295168 12211 33554432000 1073741824 1073778376 140735159776160 139742987357304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7320] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7320/stat : 7320 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064029 2780295168 12211 33554432000 1073741824 1073778376 140735159776160 139742986304712 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7321] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7321/stat : 7321 (java) S 7300 7302 6377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341064039 2780295168 12211 33554432000 1073741824 1073778376 140735159776160 139742985249704 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 2715132
[startup+6.30079 s]
/proc/loadavg: 2.00 2.00 2.00 3/216 7322
/proc/meminfo: memFree=26984300/32873844 swapFree=7124/7124
[pid=7302] ppid=7300 vsize=2715132 CPUtime=6.64 cores=1,3,5,7
/proc/7302/stat : 7302 (java) S 7300 7302 6377 0 -1 4202496 7595 0 1 0 661 3 0 0 20 0 19 0 341064022 2780295168 14756 33554432000 1073741824 1073778376 140735159776160 140735159767296 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/7302/statm: 678783 14756 2239 9 0 669476 0
[pid=7302/tid=7304] ppid=7300 vsize=2715132 CPUtime=6.24 cores=1,3,5,7
/proc/7302/task/7304/stat : 7304 (java) R 7300 7302 6377 0 -1 4202560 2769 0 1 0 622 2 0 0 20 0 19 0 341064024 2780295168 14756 33554432000 1073741824 1073778376 140735159776160 139743616305728 139743489078601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7302/tid=7305] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7305/stat : 7305 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064025 2780295168 14756 33554432000 1073741824 1073778376 140735159776160 139743483234600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7306] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7306/stat : 7306 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064025 2780295168 14756 33554432000 1073741824 1073778376 140735159776160 139743482181800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7307] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7307/stat : 7307 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064025 2780295168 14756 33554432000 1073741824 1073778376 140735159776160 139743481129512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7302/tid=7308] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7308/stat : 7308 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064025 2780295168 14756 33554432000 1073741824 1073778376 140735159776160 139743480076712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7302/tid=7309] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7309/stat : 7309 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064025 2780295168 14756 33554432000 1073741824 1073778376 140735159776160 139743479024424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7310] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7310/stat : 7310 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064025 2780295168 14756 33554432000 1073741824 1073778376 140735159776160 139743477971624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7302/tid=7311] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7311/stat : 7311 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064025 2780295168 14756 33554432000 1073741824 1073778376 140735159776160 139743476919336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7312] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7312/stat : 7312 (java) S 7300 7302 6377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341064025 2780295168 14756 33554432000 1073741824 1073778376 140735159776160 139743475866536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7313] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7313/stat : 7313 (java) S 7300 7302 6377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341064026 2780295168 14756 33554432000 1073741824 1073778376 140735159776160 139742993672424 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7314] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7314/stat : 7314 (java) S 7300 7302 6377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341064027 2780295168 14756 33554432000 1073741824 1073778376 140735159776160 139742992618488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7315] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7315/stat : 7315 (java) S 7300 7302 6377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341064027 2780295168 14756 33554432000 1073741824 1073778376 140735159776160 139742991566088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7316] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7316/stat : 7316 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064029 2780295168 14756 33554432000 1073741824 1073778376 140735159776160 139742990514576 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7317] ppid=7300 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/7302/task/7317/stat : 7317 (java) S 7300 7302 6377 0 -1 4202560 1750 0 0 0 15 0 0 0 20 0 19 0 341064029 2780295168 14756 33554432000 1073741824 1073778376 140735159776160 139742989462200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7318] ppid=7300 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/7302/task/7318/stat : 7318 (java) S 7300 7302 6377 0 -1 4202560 1881 0 0 0 19 0 0 0 20 0 19 0 341064029 2780295168 14756 33554432000 1073741824 1073778376 140735159776160 139742988409400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7319] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7319/stat : 7319 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064029 2780295168 14756 33554432000 1073741824 1073778376 140735159776160 139742987357304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7320] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7320/stat : 7320 (java) S 7300 7302 6377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341064029 2780295168 14756 33554432000 1073741824 1073778376 140735159776160 139742986304712 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7321] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7321/stat : 7321 (java) S 7300 7302 6377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341064039 2780295168 14756 33554432000 1073741824 1073778376 140735159776160 139742985249704 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.64
Current children cumulated vsize (KiB) 2715132
[startup+12.7008 s]
################
# More data... #
################
[pid=7302/tid=7317] ppid=7300 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/7302/task/7317/stat : 7317 (java) S 7300 7302 6377 0 -1 4202560 1755 0 0 0 16 0 0 0 20 0 19 0 341064029 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742989462200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7318] ppid=7300 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/7302/task/7318/stat : 7318 (java) S 7300 7302 6377 0 -1 4202560 1881 0 0 0 19 0 0 0 20 0 19 0 341064029 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742988409400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7319] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7319/stat : 7319 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064029 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742987357304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7320] ppid=7300 vsize=2715132 CPUtime=0.87 cores=1,3,5,7
/proc/7302/task/7320/stat : 7320 (java) S 7300 7302 6377 0 -1 4202560 96 0 0 0 46 41 0 0 20 0 19 0 341064029 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742986304712 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7302/tid=7321] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7321/stat : 7321 (java) S 7300 7302 6377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341064039 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742985249704 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1664.09
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/215 7418
/proc/meminfo: memFree=26045768/32873844 swapFree=7124/7124
[pid=7302] ppid=7300 vsize=2715132 CPUtime=1724.14 cores=1,3,5,7
/proc/7302/stat : 7302 (java) S 7300 7302 6377 0 -1 4202496 8494 0 1 0 172302 112 0 0 20 0 19 0 341064022 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 140735159767296 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/7302/statm: 678783 171764 2252 9 0 669476 0
[pid=7302/tid=7304] ppid=7300 vsize=2715132 CPUtime=1717.53 cores=1,3,5,7
/proc/7302/task/7304/stat : 7304 (java) R 7300 7302 6377 0 -1 4202560 2921 0 1 0 171719 34 0 0 20 0 19 0 341064024 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743616306632 139743489147845 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7305] ppid=7300 vsize=2715132 CPUtime=0.06 cores=1,3,5,7
/proc/7302/task/7305/stat : 7305 (java) S 7300 7302 6377 0 -1 4202560 61 0 0 0 2 4 0 0 20 0 19 0 341064025 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743483234600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7306] ppid=7300 vsize=2715132 CPUtime=0.1 cores=1,3,5,7
/proc/7302/task/7306/stat : 7306 (java) S 7300 7302 6377 0 -1 4202560 81 0 0 0 4 6 0 0 20 0 19 0 341064025 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743482181800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7307] ppid=7300 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/7302/task/7307/stat : 7307 (java) S 7300 7302 6377 0 -1 4202560 148 0 0 0 10 11 0 0 20 0 19 0 341064025 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743481129512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7302/tid=7308] ppid=7300 vsize=2715132 CPUtime=0.1 cores=1,3,5,7
/proc/7302/task/7308/stat : 7308 (java) S 7300 7302 6377 0 -1 4202560 90 0 0 0 4 6 0 0 20 0 19 0 341064025 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743480076712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7302/tid=7309] ppid=7300 vsize=2715132 CPUtime=0.1 cores=1,3,5,7
/proc/7302/task/7309/stat : 7309 (java) S 7300 7302 6377 0 -1 4202560 79 0 0 0 4 6 0 0 20 0 19 0 341064025 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743479024424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7310] ppid=7300 vsize=2715132 CPUtime=0.1 cores=1,3,5,7
/proc/7302/task/7310/stat : 7310 (java) S 7300 7302 6377 0 -1 4202560 78 0 0 0 4 6 0 0 20 0 19 0 341064025 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743477971624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7302/tid=7311] ppid=7300 vsize=2715132 CPUtime=0.06 cores=1,3,5,7
/proc/7302/task/7311/stat : 7311 (java) S 7300 7302 6377 0 -1 4202560 55 0 0 0 2 4 0 0 20 0 19 0 341064025 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743476919336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7312] ppid=7300 vsize=2715132 CPUtime=0.06 cores=1,3,5,7
/proc/7302/task/7312/stat : 7312 (java) S 7300 7302 6377 0 -1 4202560 54 0 0 0 2 4 0 0 20 0 19 0 341064025 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743475866536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7313] ppid=7300 vsize=2715132 CPUtime=0.04 cores=1,3,5,7
/proc/7302/task/7313/stat : 7313 (java) S 7300 7302 6377 0 -1 4202560 11 0 0 0 1 3 0 0 20 0 19 0 341064026 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742993672424 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7302/tid=7314] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7314/stat : 7314 (java) S 7300 7302 6377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341064027 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742992618488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7315] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7315/stat : 7315 (java) S 7300 7302 6377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341064027 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742991566088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7316] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7316/stat : 7316 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064029 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742990514576 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7317] ppid=7300 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/7302/task/7317/stat : 7317 (java) S 7300 7302 6377 0 -1 4202560 1755 0 0 0 16 0 0 0 20 0 19 0 341064029 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742989462200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7318] ppid=7300 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/7302/task/7318/stat : 7318 (java) S 7300 7302 6377 0 -1 4202560 1881 0 0 0 19 0 0 0 20 0 19 0 341064029 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742988409400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7319] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7319/stat : 7319 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064029 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742987357304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7320] ppid=7300 vsize=2715132 CPUtime=0.91 cores=1,3,5,7
/proc/7302/task/7320/stat : 7320 (java) S 7300 7302 6377 0 -1 4202560 100 0 0 0 49 42 0 0 20 0 19 0 341064029 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742986304712 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7302/tid=7321] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7321/stat : 7321 (java) S 7300 7302 6377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341064039 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742985249704 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1724.14
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/215 7418
/proc/meminfo: memFree=26036884/32873844 swapFree=7124/7124
[pid=7302] ppid=7300 vsize=2715132 CPUtime=1784.18 cores=1,3,5,7
/proc/7302/stat : 7302 (java) S 7300 7302 6377 0 -1 4202496 8498 0 1 0 178304 114 0 0 20 0 19 0 341064022 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 140735159767296 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/7302/statm: 678783 171764 2252 9 0 669476 0
[pid=7302/tid=7304] ppid=7300 vsize=2715132 CPUtime=1777.38 cores=1,3,5,7
/proc/7302/task/7304/stat : 7304 (java) R 7300 7302 6377 0 -1 4202560 2921 0 1 0 177703 35 0 0 20 0 19 0 341064024 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743616306632 139743489078982 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7305] ppid=7300 vsize=2715132 CPUtime=0.06 cores=1,3,5,7
/proc/7302/task/7305/stat : 7305 (java) S 7300 7302 6377 0 -1 4202560 61 0 0 0 2 4 0 0 20 0 19 0 341064025 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743483234600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7306] ppid=7300 vsize=2715132 CPUtime=0.1 cores=1,3,5,7
/proc/7302/task/7306/stat : 7306 (java) S 7300 7302 6377 0 -1 4202560 81 0 0 0 4 6 0 0 20 0 19 0 341064025 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743482181800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7307] ppid=7300 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/7302/task/7307/stat : 7307 (java) S 7300 7302 6377 0 -1 4202560 148 0 0 0 10 11 0 0 20 0 19 0 341064025 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743481129512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7302/tid=7308] ppid=7300 vsize=2715132 CPUtime=0.1 cores=1,3,5,7
/proc/7302/task/7308/stat : 7308 (java) S 7300 7302 6377 0 -1 4202560 90 0 0 0 4 6 0 0 20 0 19 0 341064025 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743480076712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7302/tid=7309] ppid=7300 vsize=2715132 CPUtime=0.1 cores=1,3,5,7
/proc/7302/task/7309/stat : 7309 (java) S 7300 7302 6377 0 -1 4202560 79 0 0 0 4 6 0 0 20 0 19 0 341064025 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743479024424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7310] ppid=7300 vsize=2715132 CPUtime=0.1 cores=1,3,5,7
/proc/7302/task/7310/stat : 7310 (java) S 7300 7302 6377 0 -1 4202560 78 0 0 0 4 6 0 0 20 0 19 0 341064025 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743477971624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7302/tid=7311] ppid=7300 vsize=2715132 CPUtime=0.06 cores=1,3,5,7
/proc/7302/task/7311/stat : 7311 (java) S 7300 7302 6377 0 -1 4202560 55 0 0 0 2 4 0 0 20 0 19 0 341064025 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743476919336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7312] ppid=7300 vsize=2715132 CPUtime=0.06 cores=1,3,5,7
/proc/7302/task/7312/stat : 7312 (java) S 7300 7302 6377 0 -1 4202560 54 0 0 0 2 4 0 0 20 0 19 0 341064025 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743475866536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7313] ppid=7300 vsize=2715132 CPUtime=0.04 cores=1,3,5,7
/proc/7302/task/7313/stat : 7313 (java) S 7300 7302 6377 0 -1 4202560 11 0 0 0 1 3 0 0 20 0 19 0 341064026 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742993672424 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7302/tid=7314] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7314/stat : 7314 (java) S 7300 7302 6377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341064027 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742992618488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7315] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7315/stat : 7315 (java) S 7300 7302 6377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341064027 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742991566088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7316] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7316/stat : 7316 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064029 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742990514576 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7317] ppid=7300 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/7302/task/7317/stat : 7317 (java) S 7300 7302 6377 0 -1 4202560 1755 0 0 0 16 0 0 0 20 0 19 0 341064029 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742989462200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7318] ppid=7300 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/7302/task/7318/stat : 7318 (java) S 7300 7302 6377 0 -1 4202560 1881 0 0 0 19 0 0 0 20 0 19 0 341064029 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742988409400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7319] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7319/stat : 7319 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064029 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742987357304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7320] ppid=7300 vsize=2715132 CPUtime=0.95 cores=1,3,5,7
/proc/7302/task/7320/stat : 7320 (java) S 7300 7302 6377 0 -1 4202560 104 0 0 0 50 45 0 0 20 0 19 0 341064029 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742986304712 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7302/tid=7321] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7321/stat : 7321 (java) S 7300 7302 6377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341064039 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742985249704 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1784.18
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.2 s]
/proc/loadavg: 2.03 2.02 2.00 3/215 7418
/proc/meminfo: memFree=26036884/32873844 swapFree=7124/7124
[pid=7302] ppid=7300 vsize=2715132 CPUtime=1800.1 cores=1,3,5,7
/proc/7302/stat : 7302 (java) S 7300 7302 6377 0 -1 4202496 8498 0 1 0 179895 115 0 0 20 0 19 0 341064022 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 140735159767296 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/7302/statm: 678783 171764 2252 9 0 669476 0
[pid=7302/tid=7304] ppid=7300 vsize=2715132 CPUtime=1793.24 cores=1,3,5,7
/proc/7302/task/7304/stat : 7304 (java) R 7300 7302 6377 0 -1 4202560 2921 0 1 0 179289 35 0 0 20 0 19 0 341064024 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743616306632 139743489078880 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7305] ppid=7300 vsize=2715132 CPUtime=0.06 cores=1,3,5,7
/proc/7302/task/7305/stat : 7305 (java) S 7300 7302 6377 0 -1 4202560 61 0 0 0 2 4 0 0 20 0 19 0 341064025 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743483234600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7306] ppid=7300 vsize=2715132 CPUtime=0.1 cores=1,3,5,7
/proc/7302/task/7306/stat : 7306 (java) S 7300 7302 6377 0 -1 4202560 81 0 0 0 4 6 0 0 20 0 19 0 341064025 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743482181800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7307] ppid=7300 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/7302/task/7307/stat : 7307 (java) S 7300 7302 6377 0 -1 4202560 148 0 0 0 10 11 0 0 20 0 19 0 341064025 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743481129512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7302/tid=7308] ppid=7300 vsize=2715132 CPUtime=0.1 cores=1,3,5,7
/proc/7302/task/7308/stat : 7308 (java) S 7300 7302 6377 0 -1 4202560 90 0 0 0 4 6 0 0 20 0 19 0 341064025 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743480076712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7302/tid=7309] ppid=7300 vsize=2715132 CPUtime=0.1 cores=1,3,5,7
/proc/7302/task/7309/stat : 7309 (java) S 7300 7302 6377 0 -1 4202560 79 0 0 0 4 6 0 0 20 0 19 0 341064025 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743479024424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7310] ppid=7300 vsize=2715132 CPUtime=0.1 cores=1,3,5,7
/proc/7302/task/7310/stat : 7310 (java) S 7300 7302 6377 0 -1 4202560 78 0 0 0 4 6 0 0 20 0 19 0 341064025 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743477971624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7302/tid=7311] ppid=7300 vsize=2715132 CPUtime=0.06 cores=1,3,5,7
/proc/7302/task/7311/stat : 7311 (java) S 7300 7302 6377 0 -1 4202560 55 0 0 0 2 4 0 0 20 0 19 0 341064025 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743476919336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7312] ppid=7300 vsize=2715132 CPUtime=0.06 cores=1,3,5,7
/proc/7302/task/7312/stat : 7312 (java) S 7300 7302 6377 0 -1 4202560 54 0 0 0 2 4 0 0 20 0 19 0 341064025 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139743475866536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7313] ppid=7300 vsize=2715132 CPUtime=0.04 cores=1,3,5,7
/proc/7302/task/7313/stat : 7313 (java) S 7300 7302 6377 0 -1 4202560 11 0 0 0 1 3 0 0 20 0 19 0 341064026 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742993672424 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7302/tid=7314] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7314/stat : 7314 (java) S 7300 7302 6377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341064027 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742992618488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7315] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7315/stat : 7315 (java) S 7300 7302 6377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341064027 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742991566088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7316] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7316/stat : 7316 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064029 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742990514576 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7317] ppid=7300 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/7302/task/7317/stat : 7317 (java) S 7300 7302 6377 0 -1 4202560 1755 0 0 0 16 0 0 0 20 0 19 0 341064029 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742989462200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7302/tid=7318] ppid=7300 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/7302/task/7318/stat : 7318 (java) S 7300 7302 6377 0 -1 4202560 1881 0 0 0 19 0 0 0 20 0 19 0 341064029 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742988409400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7319] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7319/stat : 7319 (java) S 7300 7302 6377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341064029 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742987357304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7302/tid=7320] ppid=7300 vsize=2715132 CPUtime=0.96 cores=1,3,5,7
/proc/7302/task/7320/stat : 7320 (java) S 7300 7302 6377 0 -1 4202560 104 0 0 0 51 45 0 0 20 0 19 0 341064029 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742986304712 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7302/tid=7321] ppid=7300 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/7302/task/7321/stat : 7321 (java) S 7300 7302 6377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341064039 2780295168 171764 33554432000 1073741824 1073778376 140735159776160 139742985249704 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7302 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=338219
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=442780
# CPU time returned by wait4() is 1795.78
# 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): 1798.27
CPU time (s): 1800.1
CPU user time (s): 1798.95
CPU system time (s): 1.15
CPU usage (%): 100.102
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.34
system time used= 1.44278
maximum resident set size= 687244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8550
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37966
involuntary context switches= 4871
runsolver used 6.32904 second user time and 16.3755 second system time
The end