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-3731948-1338742503/watcher-3731948-1338742503 -o /tmp/evaluation-result-3731948-1338742503/solver-3731948-1338742503 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3731948-1338742503.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: 1.96 2.00 2.00 3/194 23164
/proc/meminfo: memFree=26695544/32873648 swapFree=7368/7368
[pid=23164] ppid=23162 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/23164/stat : 23164 (java) R 23162 23164 15301 0 -1 4202496 982 0 0 0 0 0 0 0 20 0 1 0 340374392 23793664 708 33554432000 1073741824 1073778376 140735908267568 140735908256632 251043813899 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23164/statm: 5809 709 524 9 0 128 0
[startup+0.022277 s]
/proc/loadavg: 1.96 2.00 2.00 3/194 23164
/proc/meminfo: memFree=26695544/32873648 swapFree=7368/7368
[pid=23164] ppid=23162 vsize=2106772 CPUtime=0 cores=0,2,4,6
/proc/23164/stat : 23164 (java) S 23162 23164 15301 0 -1 4202496 3471 0 1 0 0 0 0 0 20 0 10 0 340374392 2157334528 3658 33554432000 1073741824 1073778376 140735908267568 140735908258704 251056390205 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23164/statm: 526693 3658 1539 9 0 517394 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2106772
[startup+0.100258 s]
/proc/loadavg: 1.96 2.00 2.00 3/194 23164
/proc/meminfo: memFree=26695544/32873648 swapFree=7368/7368
[pid=23164] ppid=23162 vsize=2648568 CPUtime=0.1 cores=0,2,4,6
/proc/23164/stat : 23164 (java) S 23162 23164 15301 0 -1 4202496 4730 0 1 0 9 1 0 0 20 0 18 0 340374392 2712133632 5936 33554432000 1073741824 1073778376 140735908267568 140735908258704 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23164/statm: 662142 5936 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568
[startup+0.300262 s]
/proc/loadavg: 1.96 2.00 2.00 3/194 23164
/proc/meminfo: memFree=26695544/32873648 swapFree=7368/7368
[pid=23164] ppid=23162 vsize=2648568 CPUtime=0.54 cores=0,2,4,6
/proc/23164/stat : 23164 (java) S 23162 23164 15301 0 -1 4202496 6564 0 1 0 52 2 0 0 20 0 18 0 340374392 2712133632 12465 33554432000 1073741824 1073778376 140735908267568 140735908258704 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23164/statm: 662142 12465 2218 9 0 652835 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 2648568
[startup+0.700234 s]
/proc/loadavg: 1.96 2.00 2.00 3/194 23164
/proc/meminfo: memFree=26695544/32873648 swapFree=7368/7368
[pid=23164] ppid=23162 vsize=2648568 CPUtime=1.28 cores=0,2,4,6
/proc/23164/stat : 23164 (java) S 23162 23164 15301 0 -1 4202496 9998 0 1 0 123 5 0 0 20 0 18 0 340374392 2712133632 46050 33554432000 1073741824 1073778376 140735908267568 140735908258704 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23164/statm: 662142 46050 2243 9 0 652835 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 2648568
[startup+1.50071 s]
/proc/loadavg: 1.96 2.00 2.00 5/213 23183
/proc/meminfo: memFree=26400772/32873648 swapFree=7368/7368
[pid=23164] ppid=23162 vsize=2715132 CPUtime=2.62 cores=0,2,4,6
/proc/23164/stat : 23164 (java) S 23162 23164 15301 0 -1 4202496 12695 0 1 0 251 11 0 0 20 0 19 0 340374392 2780295168 98544 33554432000 1073741824 1073778376 140735908267568 140735908258704 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23164/statm: 678783 98544 2267 9 0 669476 0
[pid=23164/tid=23166] ppid=23162 vsize=2715132 CPUtime=1.44 cores=0,2,4,6
/proc/23164/task/23166/stat : 23166 (java) R 23162 23164 15301 0 -1 4202560 2992 0 1 0 137 7 0 0 20 0 19 0 340374393 2780295168 98544 33554432000 1073741824 1073778376 140735908267568 140304505032120 140304377488715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23164/tid=23167] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23167/stat : 23167 (java) S 23162 23164 15301 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340374394 2780295168 98544 33554432000 1073741824 1073778376 140735908267568 140304371980840 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23168] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23168/stat : 23168 (java) S 23162 23164 15301 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340374394 2780295168 98544 33554432000 1073741824 1073778376 140735908267568 140304370928040 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23169] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23169/stat : 23169 (java) S 23162 23164 15301 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340374394 2780295168 98544 33554432000 1073741824 1073778376 140735908267568 140304369875240 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23164/tid=23170] ppid=23162 vsize=2715132 CPUtime=0.02 cores=0,2,4,6
/proc/23164/task/23170/stat : 23170 (java) S 23162 23164 15301 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 340374394 2780295168 98544 33554432000 1073741824 1073778376 140735908267568 140304368822440 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23171] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23171/stat : 23171 (java) S 23162 23164 15301 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 340374394 2780295168 98544 33554432000 1073741824 1073778376 140735908267568 140304166415400 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23164/tid=23172] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23172/stat : 23172 (java) S 23162 23164 15301 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 340374394 2780295168 98544 33554432000 1073741824 1073778376 140735908267568 140304165362600 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23173] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23173/stat : 23173 (java) S 23162 23164 15301 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 340374394 2780295168 98544 33554432000 1073741824 1073778376 140735908267568 140304164309800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23174] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23174/stat : 23174 (java) S 23162 23164 15301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340374394 2780295168 98544 33554432000 1073741824 1073778376 140735908267568 140304163257000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23175] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23175/stat : 23175 (java) S 23162 23164 15301 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 340374395 2780295168 98544 33554432000 1073741824 1073778376 140735908267568 140304150845928 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23176] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23176/stat : 23176 (java) S 23162 23164 15301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340374396 2780295168 98544 33554432000 1073741824 1073778376 140735908267568 140304149791992 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23177] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23177/stat : 23177 (java) S 23162 23164 15301 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340374396 2780295168 98544 33554432000 1073741824 1073778376 140735908267568 140304148739080 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23178] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23178/stat : 23178 (java) S 23162 23164 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340374398 2780295168 98544 33554432000 1073741824 1073778376 140735908267568 140304147687568 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23179] ppid=23162 vsize=2715132 CPUtime=0.47 cores=0,2,4,6
/proc/23164/task/23179/stat : 23179 (java) S 23162 23164 15301 0 -1 4202560 3930 0 0 0 47 0 0 0 20 0 19 0 340374398 2780295168 98544 33554432000 1073741824 1073778376 140735908267568 140304146635704 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23180] ppid=23162 vsize=2715132 CPUtime=0.53 cores=0,2,4,6
/proc/23164/task/23180/stat : 23180 (java) S 23162 23164 15301 0 -1 4202560 4509 0 0 0 53 0 0 0 20 0 19 0 340374398 2780295168 98544 33554432000 1073741824 1073778376 140735908267568 140304145582904 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23181] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23181/stat : 23181 (java) S 23162 23164 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340374398 2780295168 98544 33554432000 1073741824 1073778376 140735908267568 140304144530296 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23182] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23182/stat : 23182 (java) S 23162 23164 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340374398 2780295168 98544 33554432000 1073741824 1073778376 140735908267568 140304143477704 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23183] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23183/stat : 23183 (java) S 23162 23164 15301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340374483 2780295168 98544 33554432000 1073741824 1073778376 140735908267568 140304142423208 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 2715132
[startup+3.10066 s]
/proc/loadavg: 1.96 2.00 2.00 3/213 23183
/proc/meminfo: memFree=26271084/32873648 swapFree=7368/7368
[pid=23164] ppid=23162 vsize=2715132 CPUtime=4.57 cores=0,2,4,6
/proc/23164/stat : 23164 (java) S 23162 23164 15301 0 -1 4202496 13942 0 1 0 443 14 0 0 20 0 19 0 340374392 2780295168 107278 33554432000 1073741824 1073778376 140735908267568 140735908258704 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23164/statm: 678783 107278 2272 9 0 669476 0
[pid=23164/tid=23166] ppid=23162 vsize=2715132 CPUtime=2.98 cores=0,2,4,6
/proc/23164/task/23166/stat : 23166 (java) R 23162 23164 15301 0 -1 4202560 2994 0 1 0 291 7 0 0 20 0 19 0 340374393 2780295168 107278 33554432000 1073741824 1073778376 140735908267568 140304505032136 140304377505700 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23164/tid=23167] ppid=23162 vsize=2715132 CPUtime=0.02 cores=0,2,4,6
/proc/23164/task/23167/stat : 23167 (java) S 23162 23164 15301 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 340374394 2780295168 107278 33554432000 1073741824 1073778376 140735908267568 140304371980840 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23164/tid=23168] ppid=23162 vsize=2715132 CPUtime=0.02 cores=0,2,4,6
/proc/23164/task/23168/stat : 23168 (java) S 23162 23164 15301 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 340374394 2780295168 107278 33554432000 1073741824 1073778376 140735908267568 140304370928040 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23164/tid=23169] ppid=23162 vsize=2715132 CPUtime=0.01 cores=0,2,4,6
/proc/23164/task/23169/stat : 23169 (java) S 23162 23164 15301 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 340374394 2780295168 107278 33554432000 1073741824 1073778376 140735908267568 140304369875240 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23164/tid=23170] ppid=23162 vsize=2715132 CPUtime=0.06 cores=0,2,4,6
/proc/23164/task/23170/stat : 23170 (java) S 23162 23164 15301 0 -1 4202560 28 0 0 0 6 0 0 0 20 0 19 0 340374394 2780295168 107278 33554432000 1073741824 1073778376 140735908267568 140304368822440 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23164/tid=23171] ppid=23162 vsize=2715132 CPUtime=0.02 cores=0,2,4,6
/proc/23164/task/23171/stat : 23171 (java) S 23162 23164 15301 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 340374394 2780295168 107278 33554432000 1073741824 1073778376 140735908267568 140304166415400 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23172] ppid=23162 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/23164/task/23172/stat : 23172 (java) S 23162 23164 15301 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 19 0 340374394 2780295168 107278 33554432000 1073741824 1073778376 140735908267568 140304165362600 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23173] ppid=23162 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/23164/task/23173/stat : 23173 (java) S 23162 23164 15301 0 -1 4202560 9 0 0 0 3 0 0 0 20 0 19 0 340374394 2780295168 107278 33554432000 1073741824 1073778376 140735908267568 140304164309800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23174] ppid=23162 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/23164/task/23174/stat : 23174 (java) S 23162 23164 15301 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 19 0 340374394 2780295168 107278 33554432000 1073741824 1073778376 140735908267568 140304163257000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23175] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23175/stat : 23175 (java) S 23162 23164 15301 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 340374395 2780295168 107278 33554432000 1073741824 1073778376 140735908267568 140304150845928 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23176] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23176/stat : 23176 (java) S 23162 23164 15301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340374396 2780295168 107278 33554432000 1073741824 1073778376 140735908267568 140304149791992 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23177] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23177/stat : 23177 (java) S 23162 23164 15301 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340374396 2780295168 107278 33554432000 1073741824 1073778376 140735908267568 140304148739080 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23178] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23178/stat : 23178 (java) S 23162 23164 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340374398 2780295168 107278 33554432000 1073741824 1073778376 140735908267568 140304147687568 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23179] ppid=23162 vsize=2715132 CPUtime=0.57 cores=0,2,4,6
/proc/23164/task/23179/stat : 23179 (java) S 23162 23164 15301 0 -1 4202560 3943 0 0 0 57 0 0 0 20 0 19 0 340374398 2780295168 107278 33554432000 1073741824 1073778376 140735908267568 140304146635704 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23180] ppid=23162 vsize=2715132 CPUtime=0.64 cores=0,2,4,6
/proc/23164/task/23180/stat : 23180 (java) S 23162 23164 15301 0 -1 4202560 5692 0 0 0 64 0 0 0 20 0 19 0 340374398 2780295168 107278 33554432000 1073741824 1073778376 140735908267568 140304145582904 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23181] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23181/stat : 23181 (java) S 23162 23164 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340374398 2780295168 107278 33554432000 1073741824 1073778376 140735908267568 140304144530296 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23182] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23182/stat : 23182 (java) S 23162 23164 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340374398 2780295168 107278 33554432000 1073741824 1073778376 140735908267568 140304143477704 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23183] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23183/stat : 23183 (java) S 23162 23164 15301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340374483 2780295168 107278 33554432000 1073741824 1073778376 140735908267568 140304142423208 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.57
Current children cumulated vsize (KiB) 2715132
[startup+6.30072 s]
/proc/loadavg: 1.96 2.00 2.00 3/213 23183
/proc/meminfo: memFree=26160064/32873648 swapFree=7368/7368
[pid=23164] ppid=23162 vsize=2715132 CPUtime=8.07 cores=0,2,4,6
/proc/23164/stat : 23164 (java) S 23162 23164 15301 0 -1 4202496 14011 0 1 0 789 18 0 0 20 0 19 0 340374392 2780295168 114432 33554432000 1073741824 1073778376 140735908267568 140735908258704 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23164/statm: 678783 114432 2273 9 0 669476 0
[pid=23164/tid=23166] ppid=23162 vsize=2715132 CPUtime=6.07 cores=0,2,4,6
/proc/23164/task/23166/stat : 23166 (java) R 23162 23164 15301 0 -1 4202560 2998 0 1 0 600 7 0 0 20 0 19 0 340374393 2780295168 114432 33554432000 1073741824 1073778376 140735908267568 140304505032032 140304377489217 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23164/tid=23167] ppid=23162 vsize=2715132 CPUtime=0.06 cores=0,2,4,6
/proc/23164/task/23167/stat : 23167 (java) S 23162 23164 15301 0 -1 4202560 23 0 0 0 6 0 0 0 20 0 19 0 340374394 2780295168 114432 33554432000 1073741824 1073778376 140735908267568 140304371980840 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23168] ppid=23162 vsize=2715132 CPUtime=0.07 cores=0,2,4,6
/proc/23164/task/23168/stat : 23168 (java) S 23162 23164 15301 0 -1 4202560 20 0 0 0 7 0 0 0 20 0 19 0 340374394 2780295168 114432 33554432000 1073741824 1073778376 140735908267568 140304370928040 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23169] ppid=23162 vsize=2715132 CPUtime=0.07 cores=0,2,4,6
/proc/23164/task/23169/stat : 23169 (java) S 23162 23164 15301 0 -1 4202560 23 0 0 0 5 2 0 0 20 0 19 0 340374394 2780295168 114432 33554432000 1073741824 1073778376 140735908267568 140304369875240 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23164/tid=23170] ppid=23162 vsize=2715132 CPUtime=0.09 cores=0,2,4,6
/proc/23164/task/23170/stat : 23170 (java) S 23162 23164 15301 0 -1 4202560 34 0 0 0 7 2 0 0 20 0 19 0 340374394 2780295168 114432 33554432000 1073741824 1073778376 140735908267568 140304368822440 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23171] ppid=23162 vsize=2715132 CPUtime=0.05 cores=0,2,4,6
/proc/23164/task/23171/stat : 23171 (java) S 23162 23164 15301 0 -1 4202560 19 0 0 0 4 1 0 0 20 0 19 0 340374394 2780295168 114432 33554432000 1073741824 1073778376 140735908267568 140304166415400 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23172] ppid=23162 vsize=2715132 CPUtime=0.08 cores=0,2,4,6
/proc/23164/task/23172/stat : 23172 (java) S 23162 23164 15301 0 -1 4202560 16 0 0 0 8 0 0 0 20 0 19 0 340374394 2780295168 114432 33554432000 1073741824 1073778376 140735908267568 140304165362600 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23164/tid=23173] ppid=23162 vsize=2715132 CPUtime=0.08 cores=0,2,4,6
/proc/23164/task/23173/stat : 23173 (java) S 23162 23164 15301 0 -1 4202560 21 0 0 0 8 0 0 0 20 0 19 0 340374394 2780295168 114432 33554432000 1073741824 1073778376 140735908267568 140304164309800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23174] ppid=23162 vsize=2715132 CPUtime=0.06 cores=0,2,4,6
/proc/23164/task/23174/stat : 23174 (java) S 23162 23164 15301 0 -1 4202560 27 0 0 0 5 1 0 0 20 0 19 0 340374394 2780295168 114432 33554432000 1073741824 1073778376 140735908267568 140304163257000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23175] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23175/stat : 23175 (java) S 23162 23164 15301 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 340374395 2780295168 114432 33554432000 1073741824 1073778376 140735908267568 140304150845928 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23164/tid=23176] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23176/stat : 23176 (java) S 23162 23164 15301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340374396 2780295168 114432 33554432000 1073741824 1073778376 140735908267568 140304149791992 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23177] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23177/stat : 23177 (java) S 23162 23164 15301 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340374396 2780295168 114432 33554432000 1073741824 1073778376 140735908267568 140304148739080 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23178] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23178/stat : 23178 (java) S 23162 23164 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340374398 2780295168 114432 33554432000 1073741824 1073778376 140735908267568 140304147687568 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23179] ppid=23162 vsize=2715132 CPUtime=0.59 cores=0,2,4,6
/proc/23164/task/23179/stat : 23179 (java) S 23162 23164 15301 0 -1 4202560 3943 0 0 0 59 0 0 0 20 0 19 0 340374398 2780295168 114432 33554432000 1073741824 1073778376 140735908267568 140304146635704 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23180] ppid=23162 vsize=2715132 CPUtime=0.68 cores=0,2,4,6
/proc/23164/task/23180/stat : 23180 (java) S 23162 23164 15301 0 -1 4202560 5694 0 0 0 68 0 0 0 20 0 19 0 340374398 2780295168 114432 33554432000 1073741824 1073778376 140735908267568 140304145582904 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23181] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23181/stat : 23181 (java) S 23162 23164 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340374398 2780295168 114432 33554432000 1073741824 1073778376 140735908267568 140304144530296 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23182] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23182/stat : 23182 (java) S 23162 23164 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340374398 2780295168 114432 33554432000 1073741824 1073778376 140735908267568 140304143477704 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23164/tid=23183] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23183/stat : 23183 (java) S 23162 23164 15301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340374483 2780295168 114432 33554432000 1073741824 1073778376 140735908267568 140304142423208 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.07
Current children cumulated vsize (KiB) 2715132
[startup+12.7008 s]
################
# More data... #
################
[pid=23164/tid=23172] ppid=23162 vsize=2715132 CPUtime=4.41 cores=0,2,4,6
/proc/23164/task/23172/stat : 23172 (java) S 23162 23164 15301 0 -1 4202560 431 0 0 0 428 13 0 0 20 0 19 0 340374394 2780295168 316220 33554432000 1073741824 1073778376 140735908267568 140304165362600 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23173] ppid=23162 vsize=2715132 CPUtime=4.28 cores=0,2,4,6
/proc/23164/task/23173/stat : 23173 (java) S 23162 23164 15301 0 -1 4202560 415 0 0 0 417 11 0 0 20 0 19 0 340374394 2780295168 316220 33554432000 1073741824 1073778376 140735908267568 140304164309800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23164/tid=23174] ppid=23162 vsize=2715132 CPUtime=4.1 cores=0,2,4,6
/proc/23164/task/23174/stat : 23174 (java) S 23162 23164 15301 0 -1 4202560 436 0 0 0 397 13 0 0 20 0 19 0 340374394 2780295168 316220 33554432000 1073741824 1073778376 140735908267568 140304163257000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23175] ppid=23162 vsize=2715132 CPUtime=1.68 cores=0,2,4,6
/proc/23164/task/23175/stat : 23175 (java) S 23162 23164 15301 0 -1 4202560 671 0 0 0 163 5 0 0 20 0 19 0 340374395 2780295168 316220 33554432000 1073741824 1073778376 140735908267568 140304150845928 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23176] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23176/stat : 23176 (java) S 23162 23164 15301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340374396 2780295168 316220 33554432000 1073741824 1073778376 140735908267568 140304149791992 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23177] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23177/stat : 23177 (java) S 23162 23164 15301 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340374396 2780295168 316220 33554432000 1073741824 1073778376 140735908267568 140304148739080 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23178] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23178/stat : 23178 (java) S 23162 23164 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340374398 2780295168 316220 33554432000 1073741824 1073778376 140735908267568 140304147687568 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23179] ppid=23162 vsize=2715132 CPUtime=0.65 cores=0,2,4,6
/proc/23164/task/23179/stat : 23179 (java) S 23162 23164 15301 0 -1 4202560 3967 0 0 0 64 1 0 0 20 0 19 0 340374398 2780295168 316220 33554432000 1073741824 1073778376 140735908267568 140304146635704 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23180] ppid=23162 vsize=2715132 CPUtime=0.71 cores=0,2,4,6
/proc/23164/task/23180/stat : 23180 (java) S 23162 23164 15301 0 -1 4202560 5697 0 0 0 71 0 0 0 20 0 19 0 340374398 2780295168 316220 33554432000 1073741824 1073778376 140735908267568 140304145582904 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23181] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23181/stat : 23181 (java) S 23162 23164 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340374398 2780295168 316220 33554432000 1073741824 1073778376 140735908267568 140304144530296 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23182] ppid=23162 vsize=2715132 CPUtime=0.66 cores=0,2,4,6
/proc/23164/task/23182/stat : 23182 (java) S 23162 23164 15301 0 -1 4202560 94 0 0 0 35 31 0 0 20 0 19 0 340374398 2780295168 316220 33554432000 1073741824 1073778376 140735908267568 140304143477704 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23183] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23183/stat : 23183 (java) S 23162 23164 15301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340374483 2780295168 316220 33554432000 1073741824 1073778376 140735908267568 140304142423208 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1687.28
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/213 23221
/proc/meminfo: memFree=24548296/32873648 swapFree=7368/7368
[pid=23164] ppid=23162 vsize=2715132 CPUtime=1748.62 cores=0,2,4,6
/proc/23164/stat : 23164 (java) S 23162 23164 15301 0 -1 4202496 18671 0 1 0 174733 129 0 0 20 0 19 0 340374392 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140735908258704 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23164/statm: 678783 316478 2286 9 0 669476 0
[pid=23164/tid=23166] ppid=23162 vsize=2715132 CPUtime=1709.83 cores=0,2,4,6
/proc/23164/task/23166/stat : 23166 (java) R 23162 23164 15301 0 -1 4202560 3697 0 1 0 170947 36 0 0 20 0 19 0 340374393 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304505032032 140304377453097 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23167] ppid=23162 vsize=2715132 CPUtime=4.51 cores=0,2,4,6
/proc/23164/task/23167/stat : 23167 (java) S 23162 23164 15301 0 -1 4202560 423 0 0 0 439 12 0 0 20 0 19 0 340374394 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304371980840 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23168] ppid=23162 vsize=2715132 CPUtime=4.27 cores=0,2,4,6
/proc/23164/task/23168/stat : 23168 (java) S 23162 23164 15301 0 -1 4202560 414 0 0 0 416 11 0 0 20 0 19 0 340374394 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304370928040 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23169] ppid=23162 vsize=2715132 CPUtime=4.3 cores=0,2,4,6
/proc/23164/task/23169/stat : 23169 (java) S 23162 23164 15301 0 -1 4202560 391 0 0 0 420 10 0 0 20 0 19 0 340374394 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304369875240 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23170] ppid=23162 vsize=2715132 CPUtime=4.63 cores=0,2,4,6
/proc/23164/task/23170/stat : 23170 (java) S 23162 23164 15301 0 -1 4202560 434 0 0 0 451 12 0 0 20 0 19 0 340374394 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304368822440 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23164/tid=23171] ppid=23162 vsize=2715132 CPUtime=4.33 cores=0,2,4,6
/proc/23164/task/23171/stat : 23171 (java) S 23162 23164 15301 0 -1 4202560 411 0 0 0 422 11 0 0 20 0 19 0 340374394 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304166415400 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23172] ppid=23162 vsize=2715132 CPUtime=4.66 cores=0,2,4,6
/proc/23164/task/23172/stat : 23172 (java) S 23162 23164 15301 0 -1 4202560 431 0 0 0 453 13 0 0 20 0 19 0 340374394 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304165362600 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23173] ppid=23162 vsize=2715132 CPUtime=4.51 cores=0,2,4,6
/proc/23164/task/23173/stat : 23173 (java) S 23162 23164 15301 0 -1 4202560 415 0 0 0 440 11 0 0 20 0 19 0 340374394 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304164309800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23174] ppid=23162 vsize=2715132 CPUtime=4.34 cores=0,2,4,6
/proc/23164/task/23174/stat : 23174 (java) S 23162 23164 15301 0 -1 4202560 436 0 0 0 421 13 0 0 20 0 19 0 340374394 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304163257000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23164/tid=23175] ppid=23162 vsize=2715132 CPUtime=1.68 cores=0,2,4,6
/proc/23164/task/23175/stat : 23175 (java) S 23162 23164 15301 0 -1 4202560 675 0 0 0 163 5 0 0 20 0 19 0 340374395 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304150845928 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23176] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23176/stat : 23176 (java) S 23162 23164 15301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340374396 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304149791992 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23177] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23177/stat : 23177 (java) S 23162 23164 15301 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340374396 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304148739080 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23178] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23178/stat : 23178 (java) S 23162 23164 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340374398 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304147687568 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23179] ppid=23162 vsize=2715132 CPUtime=0.65 cores=0,2,4,6
/proc/23164/task/23179/stat : 23179 (java) S 23162 23164 15301 0 -1 4202560 3967 0 0 0 64 1 0 0 20 0 19 0 340374398 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304146635704 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23180] ppid=23162 vsize=2715132 CPUtime=0.71 cores=0,2,4,6
/proc/23164/task/23180/stat : 23180 (java) S 23162 23164 15301 0 -1 4202560 5697 0 0 0 71 0 0 0 20 0 19 0 340374398 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304145582904 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23181] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23181/stat : 23181 (java) S 23162 23164 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340374398 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304144530296 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23182] ppid=23162 vsize=2715132 CPUtime=0.68 cores=0,2,4,6
/proc/23164/task/23182/stat : 23182 (java) S 23162 23164 15301 0 -1 4202560 98 0 0 0 36 32 0 0 20 0 19 0 340374398 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304143477704 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23164/tid=23183] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23183/stat : 23183 (java) S 23162 23164 15301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340374483 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304142423208 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1748.62
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1772.7 s]
/proc/loadavg: 1.99 1.97 1.99 3/213 23280
/proc/meminfo: memFree=25754484/32873648 swapFree=7368/7368
[pid=23164] ppid=23162 vsize=2715132 CPUtime=1800.04 cores=0,2,4,6
/proc/23164/stat : 23164 (java) S 23162 23164 15301 0 -1 4202496 18703 0 1 0 179873 131 0 0 20 0 19 0 340374392 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140735908258704 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23164/statm: 678783 316478 2286 9 0 669476 0
[pid=23164/tid=23166] ppid=23162 vsize=2715132 CPUtime=1759.81 cores=0,2,4,6
/proc/23164/task/23166/stat : 23166 (java) R 23162 23164 15301 0 -1 4202560 3721 0 1 0 175944 37 0 0 20 0 19 0 340374393 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304505032200 140304377505802 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23167] ppid=23162 vsize=2715132 CPUtime=4.68 cores=0,2,4,6
/proc/23164/task/23167/stat : 23167 (java) S 23162 23164 15301 0 -1 4202560 423 0 0 0 456 12 0 0 20 0 19 0 340374394 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304371980840 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23164/tid=23168] ppid=23162 vsize=2715132 CPUtime=4.46 cores=0,2,4,6
/proc/23164/task/23168/stat : 23168 (java) S 23162 23164 15301 0 -1 4202560 414 0 0 0 435 11 0 0 20 0 19 0 340374394 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304370928040 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23169] ppid=23162 vsize=2715132 CPUtime=4.5 cores=0,2,4,6
/proc/23164/task/23169/stat : 23169 (java) S 23162 23164 15301 0 -1 4202560 391 0 0 0 440 10 0 0 20 0 19 0 340374394 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304369875240 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23164/tid=23170] ppid=23162 vsize=2715132 CPUtime=4.81 cores=0,2,4,6
/proc/23164/task/23170/stat : 23170 (java) S 23162 23164 15301 0 -1 4202560 434 0 0 0 469 12 0 0 20 0 19 0 340374394 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304368822440 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23171] ppid=23162 vsize=2715132 CPUtime=4.49 cores=0,2,4,6
/proc/23164/task/23171/stat : 23171 (java) S 23162 23164 15301 0 -1 4202560 411 0 0 0 438 11 0 0 20 0 19 0 340374394 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304166415400 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23172] ppid=23162 vsize=2715132 CPUtime=4.89 cores=0,2,4,6
/proc/23164/task/23172/stat : 23172 (java) S 23162 23164 15301 0 -1 4202560 431 0 0 0 476 13 0 0 20 0 19 0 340374394 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304165362600 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23164/tid=23173] ppid=23162 vsize=2715132 CPUtime=4.68 cores=0,2,4,6
/proc/23164/task/23173/stat : 23173 (java) S 23162 23164 15301 0 -1 4202560 415 0 0 0 457 11 0 0 20 0 19 0 340374394 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304164309800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23164/tid=23174] ppid=23162 vsize=2715132 CPUtime=4.48 cores=0,2,4,6
/proc/23164/task/23174/stat : 23174 (java) S 23162 23164 15301 0 -1 4202560 436 0 0 0 435 13 0 0 20 0 19 0 340374394 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304163257000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23175] ppid=23162 vsize=2715132 CPUtime=1.69 cores=0,2,4,6
/proc/23164/task/23175/stat : 23175 (java) S 23162 23164 15301 0 -1 4202560 679 0 0 0 164 5 0 0 20 0 19 0 340374395 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304150845928 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23164/tid=23176] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23176/stat : 23176 (java) S 23162 23164 15301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340374396 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304149791992 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23177] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23177/stat : 23177 (java) S 23162 23164 15301 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340374396 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304148739080 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23178] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23178/stat : 23178 (java) S 23162 23164 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340374398 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304147687568 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23179] ppid=23162 vsize=2715132 CPUtime=0.65 cores=0,2,4,6
/proc/23164/task/23179/stat : 23179 (java) S 23162 23164 15301 0 -1 4202560 3967 0 0 0 64 1 0 0 20 0 19 0 340374398 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304146635704 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23180] ppid=23162 vsize=2715132 CPUtime=0.71 cores=0,2,4,6
/proc/23164/task/23180/stat : 23180 (java) S 23162 23164 15301 0 -1 4202560 5697 0 0 0 71 0 0 0 20 0 19 0 340374398 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304145582904 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23181] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23181/stat : 23181 (java) S 23162 23164 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340374398 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304144530296 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23182] ppid=23162 vsize=2715132 CPUtime=0.71 cores=0,2,4,6
/proc/23164/task/23182/stat : 23182 (java) S 23162 23164 15301 0 -1 4202560 102 0 0 0 38 33 0 0 20 0 19 0 340374398 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304143477704 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23164/tid=23183] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23183/stat : 23183 (java) S 23162 23164 15301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340374483 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304142423208 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1772.7 s]
/proc/loadavg: 1.99 1.97 1.99 3/213 23280
/proc/meminfo: memFree=25754484/32873648 swapFree=7368/7368
[pid=23164] ppid=23162 vsize=2715132 CPUtime=1800.04 cores=0,2,4,6
/proc/23164/stat : 23164 (java) S 23162 23164 15301 0 -1 4202496 18703 0 1 0 179873 131 0 0 20 0 19 0 340374392 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140735908258704 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23164/statm: 678783 316478 2286 9 0 669476 0
[pid=23164/tid=23166] ppid=23162 vsize=2715132 CPUtime=1759.81 cores=0,2,4,6
/proc/23164/task/23166/stat : 23166 (java) R 23162 23164 15301 0 -1 4202560 3721 0 1 0 175944 37 0 0 20 0 19 0 340374393 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304505032200 140304377505802 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23167] ppid=23162 vsize=2715132 CPUtime=4.68 cores=0,2,4,6
/proc/23164/task/23167/stat : 23167 (java) S 23162 23164 15301 0 -1 4202560 423 0 0 0 456 12 0 0 20 0 19 0 340374394 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304371980840 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23164/tid=23168] ppid=23162 vsize=2715132 CPUtime=4.46 cores=0,2,4,6
/proc/23164/task/23168/stat : 23168 (java) S 23162 23164 15301 0 -1 4202560 414 0 0 0 435 11 0 0 20 0 19 0 340374394 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304370928040 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23169] ppid=23162 vsize=2715132 CPUtime=4.5 cores=0,2,4,6
/proc/23164/task/23169/stat : 23169 (java) S 23162 23164 15301 0 -1 4202560 391 0 0 0 440 10 0 0 20 0 19 0 340374394 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304369875240 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23164/tid=23170] ppid=23162 vsize=2715132 CPUtime=4.81 cores=0,2,4,6
/proc/23164/task/23170/stat : 23170 (java) S 23162 23164 15301 0 -1 4202560 434 0 0 0 469 12 0 0 20 0 19 0 340374394 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304368822440 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23171] ppid=23162 vsize=2715132 CPUtime=4.49 cores=0,2,4,6
/proc/23164/task/23171/stat : 23171 (java) S 23162 23164 15301 0 -1 4202560 411 0 0 0 438 11 0 0 20 0 19 0 340374394 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304166415400 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23172] ppid=23162 vsize=2715132 CPUtime=4.89 cores=0,2,4,6
/proc/23164/task/23172/stat : 23172 (java) S 23162 23164 15301 0 -1 4202560 431 0 0 0 476 13 0 0 20 0 19 0 340374394 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304165362600 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23164/tid=23173] ppid=23162 vsize=2715132 CPUtime=4.68 cores=0,2,4,6
/proc/23164/task/23173/stat : 23173 (java) S 23162 23164 15301 0 -1 4202560 415 0 0 0 457 11 0 0 20 0 19 0 340374394 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304164309800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23164/tid=23174] ppid=23162 vsize=2715132 CPUtime=4.48 cores=0,2,4,6
/proc/23164/task/23174/stat : 23174 (java) S 23162 23164 15301 0 -1 4202560 436 0 0 0 435 13 0 0 20 0 19 0 340374394 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304163257000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23175] ppid=23162 vsize=2715132 CPUtime=1.69 cores=0,2,4,6
/proc/23164/task/23175/stat : 23175 (java) S 23162 23164 15301 0 -1 4202560 679 0 0 0 164 5 0 0 20 0 19 0 340374395 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304150845928 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23164/tid=23176] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23176/stat : 23176 (java) S 23162 23164 15301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340374396 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304149791992 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23177] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23177/stat : 23177 (java) S 23162 23164 15301 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340374396 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304148739080 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23178] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23178/stat : 23178 (java) S 23162 23164 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340374398 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304147687568 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23179] ppid=23162 vsize=2715132 CPUtime=0.65 cores=0,2,4,6
/proc/23164/task/23179/stat : 23179 (java) S 23162 23164 15301 0 -1 4202560 3967 0 0 0 64 1 0 0 20 0 19 0 340374398 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304146635704 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23164/tid=23180] ppid=23162 vsize=2715132 CPUtime=0.71 cores=0,2,4,6
/proc/23164/task/23180/stat : 23180 (java) S 23162 23164 15301 0 -1 4202560 5697 0 0 0 71 0 0 0 20 0 19 0 340374398 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304145582904 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23181] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23181/stat : 23181 (java) S 23162 23164 15301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340374398 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304144530296 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23164/tid=23182] ppid=23162 vsize=2715132 CPUtime=0.71 cores=0,2,4,6
/proc/23164/task/23182/stat : 23182 (java) S 23162 23164 15301 0 -1 4202560 102 0 0 0 38 33 0 0 20 0 19 0 340374398 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304143477704 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23164/tid=23183] ppid=23162 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/23164/task/23183/stat : 23183 (java) S 23162 23164 15301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340374483 2780295168 316478 33554432000 1073741824 1073778376 140735908267568 140304142423208 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2715132
Child status: 143
Real time (s): 1772.78
CPU time (s): 1800.96
CPU user time (s): 1799.12
CPU system time (s): 1.84172
CPU usage (%): 101.59
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 1.84172
maximum resident set size= 1266104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18753
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60140
involuntary context switches= 80687
runsolver used 5.68014 second user time and 15.2837 second system time
The end