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-3689683-1337892394/watcher-3689683-1337892394 -o /tmp/evaluation-result-3689683-1337892394/solver-3689683-1337892394 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689683-1337892394.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.02 2.00 3/194 29937
/proc/meminfo: memFree=29697784/32873648 swapFree=7112/7112
[pid=29937] ppid=29935 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/29937/stat : 29937 (runsolver) D 29935 29937 27428 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 255365310 12095488 55 33554432000 4194304 5436572 140733752709056 140733752704936 5057063 0 0 4096 24578 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/29937/statm: 2953 55 36 304 0 2645 0
[startup+0.0760669 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 29937
/proc/meminfo: memFree=29697784/32873648 swapFree=7112/7112
[pid=29937] ppid=29935 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/29937/stat : 29937 (java) S 29935 29937 27428 0 -1 4202496 3330 0 1 0 4 1 0 0 20 0 18 0 255365310 9787813888 4028 33554432000 1073741824 1073778376 140734529931680 140734529922816 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29937/statm: 2389603 4028 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412
[startup+0.100254 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 29937
/proc/meminfo: memFree=29697784/32873648 swapFree=7112/7112
[pid=29937] ppid=29935 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/29937/stat : 29937 (java) S 29935 29937 27428 0 -1 4202496 4327 0 1 0 8 1 0 0 20 0 18 0 255365310 9787813888 5010 33554432000 1073741824 1073778376 140734529931680 140734529922816 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29937/statm: 2389603 5010 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300149 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 29937
/proc/meminfo: memFree=29697784/32873648 swapFree=7112/7112
[pid=29937] ppid=29935 vsize=9558412 CPUtime=0.56 cores=1,3,5,7
/proc/29937/stat : 29937 (java) S 29935 29937 27428 0 -1 4202496 7400 0 1 0 54 2 0 0 20 0 18 0 255365310 9787813888 11532 33554432000 1073741824 1073778376 140734529931680 140734529922816 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29937/statm: 2389603 11532 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9558412
[startup+0.700237 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 29937
/proc/meminfo: memFree=29697784/32873648 swapFree=7112/7112
[pid=29937] ppid=29935 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/29937/stat : 29937 (java) S 29935 29937 27428 0 -1 4202496 10432 0 1 0 142 4 0 0 20 0 19 0 255365310 9855975424 38461 33554432000 1073741824 1073778376 140734529931680 140734529922816 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29937/statm: 2406244 38461 2248 9 0 2396937 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9624976
[startup+1.50063 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 29956
/proc/meminfo: memFree=29552064/32873648 swapFree=7112/7112
[pid=29937] ppid=29935 vsize=9624976 CPUtime=2.4 cores=1,3,5,7
/proc/29937/stat : 29937 (java) S 29935 29937 27428 0 -1 4202496 10579 0 1 0 236 4 0 0 20 0 19 0 255365310 9855975424 38485 33554432000 1073741824 1073778376 140734529931680 140734529922816 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29937/statm: 2406244 38485 2251 9 0 2396937 0
[pid=29937/tid=29939] ppid=29935 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/29937/task/29939/stat : 29939 (java) R 29935 29937 27428 0 -1 4202560 2564 0 1 0 142 4 0 0 20 0 19 0 255365312 9855975424 38485 33554432000 1073741824 1073778376 140734529931680 139808829522472 139808769995172 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29937/tid=29940] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29940/stat : 29940 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365313 9855975424 38485 33554432000 1073741824 1073778376 140734529931680 139808673315752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29941] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29941/stat : 29941 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365313 9855975424 38485 33554432000 1073741824 1073778376 140734529931680 139808672263208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29942] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29942/stat : 29942 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365313 9855975424 38485 33554432000 1073741824 1073778376 140734529931680 139808671210152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29937/tid=29943] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29943/stat : 29943 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365313 9855975424 38485 33554432000 1073741824 1073778376 140734529931680 139808670157608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29937/tid=29944] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29944/stat : 29944 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365313 9855975424 38485 33554432000 1073741824 1073778376 140734529931680 139808669104552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29945] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29945/stat : 29945 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365313 9855975424 38485 33554432000 1073741824 1073778376 140734529931680 139808668052008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29937/tid=29946] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29946/stat : 29946 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365313 9855975424 38485 33554432000 1073741824 1073778376 140734529931680 139808666998952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29937/tid=29947] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29947/stat : 29947 (java) S 29935 29937 27428 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255365313 9855975424 38485 33554432000 1073741824 1073778376 140734529931680 139808665946408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29948] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29948/stat : 29948 (java) S 29935 29937 27428 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255365314 9855975424 38485 33554432000 1073741824 1073778376 140734529931680 139808653749096 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29949] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29949/stat : 29949 (java) S 29935 29937 27428 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255365314 9855975424 38485 33554432000 1073741824 1073778376 140734529931680 139808652695416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29950] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29950/stat : 29950 (java) S 29935 29937 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255365314 9855975424 38485 33554432000 1073741824 1073778376 140734529931680 139808651642248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29951] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29951/stat : 29951 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365317 9855975424 38485 33554432000 1073741824 1073778376 140734529931680 139808650590992 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29952] ppid=29935 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/29937/task/29952/stat : 29952 (java) S 29935 29937 27428 0 -1 4202560 3862 0 0 0 50 0 0 0 20 0 19 0 255365317 9855975424 38485 33554432000 1073741824 1073778376 140734529931680 139808649537848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29953] ppid=29935 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/29937/task/29953/stat : 29953 (java) S 29935 29937 27428 0 -1 4202560 2954 0 0 0 41 0 0 0 20 0 19 0 255365317 9855975424 38485 33554432000 1073741824 1073778376 140734529931680 139808648485304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29954] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29954/stat : 29954 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365317 9855975424 38485 33554432000 1073741824 1073778376 140734529931680 139808647432440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29955] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29955/stat : 29955 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365317 9855975424 38485 33554432000 1073741824 1073778376 140734529931680 139808646380104 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29956] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29956/stat : 29956 (java) S 29935 29937 27428 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255365373 9855975424 38485 33554432000 1073741824 1073778376 140734529931680 139808645326376 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 9624976
[startup+3.10071 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 29956
/proc/meminfo: memFree=29549256/32873648 swapFree=7112/7112
[pid=29937] ppid=29935 vsize=9624976 CPUtime=4.1 cores=1,3,5,7
/proc/29937/stat : 29937 (java) S 29935 29937 27428 0 -1 4202496 10848 0 1 0 405 5 0 0 20 0 19 0 255365310 9855975424 44178 33554432000 1073741824 1073778376 140734529931680 140734529922816 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29937/statm: 2406244 44178 2281 9 0 2396937 0
[pid=29937/tid=29939] ppid=29935 vsize=9624976 CPUtime=3.03 cores=1,3,5,7
/proc/29937/task/29939/stat : 29939 (java) R 29935 29937 27428 0 -1 4202560 2570 0 1 0 299 4 0 0 20 0 19 0 255365312 9855975424 44178 33554432000 1073741824 1073778376 140734529931680 139808829522328 139808769966875 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29937/tid=29940] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29940/stat : 29940 (java) S 29935 29937 27428 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255365313 9855975424 44178 33554432000 1073741824 1073778376 140734529931680 139808673315752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29937/tid=29941] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29941/stat : 29941 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365313 9855975424 44178 33554432000 1073741824 1073778376 140734529931680 139808672263208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29942] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29942/stat : 29942 (java) S 29935 29937 27428 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255365313 9855975424 44178 33554432000 1073741824 1073778376 140734529931680 139808671210152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29937/tid=29943] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29943/stat : 29943 (java) S 29935 29937 27428 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255365313 9855975424 44178 33554432000 1073741824 1073778376 140734529931680 139808670157608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29937/tid=29944] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29944/stat : 29944 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365313 9855975424 44178 33554432000 1073741824 1073778376 140734529931680 139808669104552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29945] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29945/stat : 29945 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365313 9855975424 44178 33554432000 1073741824 1073778376 140734529931680 139808668052008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29937/tid=29946] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29946/stat : 29946 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365313 9855975424 44178 33554432000 1073741824 1073778376 140734529931680 139808666998952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29937/tid=29947] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29947/stat : 29947 (java) S 29935 29937 27428 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255365313 9855975424 44178 33554432000 1073741824 1073778376 140734529931680 139808665946408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29948] ppid=29935 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/29937/task/29948/stat : 29948 (java) S 29935 29937 27428 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 255365314 9855975424 44178 33554432000 1073741824 1073778376 140734529931680 139808653749096 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29949] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29949/stat : 29949 (java) S 29935 29937 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255365314 9855975424 44178 33554432000 1073741824 1073778376 140734529931680 139808652695416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29950] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29950/stat : 29950 (java) S 29935 29937 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255365314 9855975424 44178 33554432000 1073741824 1073778376 140734529931680 139808651642248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29951] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29951/stat : 29951 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365317 9855975424 44178 33554432000 1073741824 1073778376 140734529931680 139808650590992 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29952] ppid=29935 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/29937/task/29952/stat : 29952 (java) S 29935 29937 27428 0 -1 4202560 3874 0 0 0 54 0 0 0 20 0 19 0 255365317 9855975424 44178 33554432000 1073741824 1073778376 140734529931680 139808649537848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29953] ppid=29935 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/29937/task/29953/stat : 29953 (java) S 29935 29937 27428 0 -1 4202560 3147 0 0 0 44 0 0 0 20 0 19 0 255365317 9855975424 44178 33554432000 1073741824 1073778376 140734529931680 139808648485304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29954] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29954/stat : 29954 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365317 9855975424 44178 33554432000 1073741824 1073778376 140734529931680 139808647432440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29955] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29955/stat : 29955 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365317 9855975424 44178 33554432000 1073741824 1073778376 140734529931680 139808646380104 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29956] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29956/stat : 29956 (java) S 29935 29937 27428 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255365373 9855975424 44178 33554432000 1073741824 1073778376 140734529931680 139808645326376 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 9624976
[startup+6.30063 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 29956
/proc/meminfo: memFree=29522268/32873648 swapFree=7112/7112
[pid=29937] ppid=29935 vsize=9624976 CPUtime=7.36 cores=1,3,5,7
/proc/29937/stat : 29937 (java) S 29935 29937 27428 0 -1 4202496 10865 0 1 0 730 6 0 0 20 0 19 0 255365310 9855975424 45704 33554432000 1073741824 1073778376 140734529931680 140734529922816 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29937/statm: 2406244 45704 2281 9 0 2396937 0
[pid=29937/tid=29939] ppid=29935 vsize=9624976 CPUtime=6.2 cores=1,3,5,7
/proc/29937/task/29939/stat : 29939 (java) R 29935 29937 27428 0 -1 4202560 2574 0 1 0 616 4 0 0 20 0 19 0 255365312 9855975424 45704 33554432000 1073741824 1073778376 140734529931680 139808829522360 139808770095783 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29937/tid=29940] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29940/stat : 29940 (java) S 29935 29937 27428 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255365313 9855975424 45704 33554432000 1073741824 1073778376 140734529931680 139808673315752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29941] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29941/stat : 29941 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365313 9855975424 45704 33554432000 1073741824 1073778376 140734529931680 139808672263208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29942] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29942/stat : 29942 (java) S 29935 29937 27428 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255365313 9855975424 45704 33554432000 1073741824 1073778376 140734529931680 139808671210152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29937/tid=29943] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29943/stat : 29943 (java) S 29935 29937 27428 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255365313 9855975424 45704 33554432000 1073741824 1073778376 140734529931680 139808670157608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29937/tid=29944] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29944/stat : 29944 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365313 9855975424 45704 33554432000 1073741824 1073778376 140734529931680 139808669104552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29945] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29945/stat : 29945 (java) S 29935 29937 27428 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255365313 9855975424 45704 33554432000 1073741824 1073778376 140734529931680 139808668052008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29937/tid=29946] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29946/stat : 29946 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365313 9855975424 45704 33554432000 1073741824 1073778376 140734529931680 139808666998952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29937/tid=29947] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29947/stat : 29947 (java) S 29935 29937 27428 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255365313 9855975424 45704 33554432000 1073741824 1073778376 140734529931680 139808665946408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29937/tid=29948] ppid=29935 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/29937/task/29948/stat : 29948 (java) S 29935 29937 27428 0 -1 4202560 35 0 0 0 4 0 0 0 20 0 19 0 255365314 9855975424 45704 33554432000 1073741824 1073778376 140734529931680 139808653749096 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29949] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29949/stat : 29949 (java) S 29935 29937 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255365314 9855975424 45704 33554432000 1073741824 1073778376 140734529931680 139808652695416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29950] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29950/stat : 29950 (java) S 29935 29937 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255365314 9855975424 45704 33554432000 1073741824 1073778376 140734529931680 139808651642248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29951] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29951/stat : 29951 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365317 9855975424 45704 33554432000 1073741824 1073778376 140734529931680 139808650590992 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29952] ppid=29935 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/29937/task/29952/stat : 29952 (java) S 29935 29937 27428 0 -1 4202560 3874 0 0 0 56 0 0 0 20 0 19 0 255365317 9855975424 45704 33554432000 1073741824 1073778376 140734529931680 139808649537848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29953] ppid=29935 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/29937/task/29953/stat : 29953 (java) S 29935 29937 27428 0 -1 4202560 3147 0 0 0 47 0 0 0 20 0 19 0 255365317 9855975424 45704 33554432000 1073741824 1073778376 140734529931680 139808648485304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29954] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29954/stat : 29954 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365317 9855975424 45704 33554432000 1073741824 1073778376 140734529931680 139808647432440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29955] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29955/stat : 29955 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365317 9855975424 45704 33554432000 1073741824 1073778376 140734529931680 139808646380104 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29956] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29956/stat : 29956 (java) S 29935 29937 27428 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255365373 9855975424 45704 33554432000 1073741824 1073778376 140734529931680 139808645326376 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.36
Current children cumulated vsize (KiB) 9624976
[startup+12.7006 s]
################
# More data... #
################
[pid=29937/tid=29945] ppid=29935 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/29937/task/29945/stat : 29945 (java) S 29935 29937 27428 0 -1 4202560 369 0 0 0 116 7 0 0 20 0 19 0 255365313 9855975424 262722 33554432000 1073741824 1073778376 140734529931680 139808668052008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29937/tid=29946] ppid=29935 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/29937/task/29946/stat : 29946 (java) S 29935 29937 27428 0 -1 4202560 522 0 0 0 136 11 0 0 20 0 19 0 255365313 9855975424 262722 33554432000 1073741824 1073778376 140734529931680 139808666998952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29947] ppid=29935 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/29937/task/29947/stat : 29947 (java) S 29935 29937 27428 0 -1 4202560 403 0 0 0 119 11 0 0 20 0 19 0 255365313 9855975424 262722 33554432000 1073741824 1073778376 140734529931680 139808665946408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29937/tid=29948] ppid=29935 vsize=9624976 CPUtime=6.01 cores=1,3,5,7
/proc/29937/task/29948/stat : 29948 (java) S 29935 29937 27428 0 -1 4202560 891 0 0 0 598 3 0 0 20 0 19 0 255365314 9855975424 262722 33554432000 1073741824 1073778376 140734529931680 139808653749096 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29949] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29949/stat : 29949 (java) S 29935 29937 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255365314 9855975424 262722 33554432000 1073741824 1073778376 140734529931680 139808652695416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29950] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29950/stat : 29950 (java) S 29935 29937 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255365314 9855975424 262722 33554432000 1073741824 1073778376 140734529931680 139808651642248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29951] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29951/stat : 29951 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365317 9855975424 262722 33554432000 1073741824 1073778376 140734529931680 139808650590992 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29952] ppid=29935 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/29937/task/29952/stat : 29952 (java) S 29935 29937 27428 0 -1 4202560 4386 0 0 0 73 0 0 0 20 0 19 0 255365317 9855975424 262722 33554432000 1073741824 1073778376 140734529931680 139808649537848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29953] ppid=29935 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/29937/task/29953/stat : 29953 (java) S 29935 29937 27428 0 -1 4202560 3152 0 0 0 48 0 0 0 20 0 19 0 255365317 9855975424 262722 33554432000 1073741824 1073778376 140734529931680 139808648485304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29954] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29954/stat : 29954 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365317 9855975424 262722 33554432000 1073741824 1073778376 140734529931680 139808647432440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29955] ppid=29935 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/29937/task/29955/stat : 29955 (java) S 29935 29937 27428 0 -1 4202560 95 0 0 0 24 32 0 0 20 0 19 0 255365317 9855975424 262722 33554432000 1073741824 1073778376 140734529931680 139808646380104 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29937/tid=29956] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29956/stat : 29956 (java) S 29935 29937 27428 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255365373 9855975424 262722 33554432000 1073741824 1073778376 140734529931680 139808645326376 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1671.92
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 1.98 2.02 2.00 3/213 30052
/proc/meminfo: memFree=26502580/32873648 swapFree=7112/7112
[pid=29937] ppid=29935 vsize=9624976 CPUtime=1732.48 cores=1,3,5,7
/proc/29937/stat : 29937 (java) S 29935 29937 27428 0 -1 4202496 16727 0 1 0 173113 135 0 0 20 0 19 0 255365310 9855975424 256974 33554432000 1073741824 1073778376 140734529931680 140734529922816 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29937/statm: 2406244 256974 2282 9 0 2396937 0
[pid=29937/tid=29939] ppid=29935 vsize=9624976 CPUtime=1712.86 cores=1,3,5,7
/proc/29937/task/29939/stat : 29939 (java) R 29935 29937 27428 0 -1 4202560 2683 0 1 0 171255 31 0 0 20 0 19 0 255365312 9855975424 256974 33554432000 1073741824 1073778376 140734529931680 139808829522208 139808769994311 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29940] ppid=29935 vsize=9624976 CPUtime=1.55 cores=1,3,5,7
/proc/29937/task/29940/stat : 29940 (java) S 29935 29937 27428 0 -1 4202560 616 0 0 0 140 15 0 0 20 0 19 0 255365313 9855975424 256974 33554432000 1073741824 1073778376 140734529931680 139808673315752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29941] ppid=29935 vsize=9624976 CPUtime=1.45 cores=1,3,5,7
/proc/29937/task/29941/stat : 29941 (java) S 29935 29937 27428 0 -1 4202560 699 0 0 0 133 12 0 0 20 0 19 0 255365313 9855975424 256974 33554432000 1073741824 1073778376 140734529931680 139808672263208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29942] ppid=29935 vsize=9624976 CPUtime=1.5 cores=1,3,5,7
/proc/29937/task/29942/stat : 29942 (java) S 29935 29937 27428 0 -1 4202560 617 0 0 0 136 14 0 0 20 0 19 0 255365313 9855975424 256974 33554432000 1073741824 1073778376 140734529931680 139808671210152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29937/tid=29943] ppid=29935 vsize=9624976 CPUtime=1.54 cores=1,3,5,7
/proc/29937/task/29943/stat : 29943 (java) S 29935 29937 27428 0 -1 4202560 641 0 0 0 139 15 0 0 20 0 19 0 255365313 9855975424 256974 33554432000 1073741824 1073778376 140734529931680 139808670157608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29944] ppid=29935 vsize=9624976 CPUtime=1.4 cores=1,3,5,7
/proc/29937/task/29944/stat : 29944 (java) S 29935 29937 27428 0 -1 4202560 423 0 0 0 130 10 0 0 20 0 19 0 255365313 9855975424 256974 33554432000 1073741824 1073778376 140734529931680 139808669104552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29945] ppid=29935 vsize=9624976 CPUtime=1.36 cores=1,3,5,7
/proc/29937/task/29945/stat : 29945 (java) S 29935 29937 27428 0 -1 4202560 370 0 0 0 129 7 0 0 20 0 19 0 255365313 9855975424 256974 33554432000 1073741824 1073778376 140734529931680 139808668052008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29946] ppid=29935 vsize=9624976 CPUtime=1.61 cores=1,3,5,7
/proc/29937/task/29946/stat : 29946 (java) S 29935 29937 27428 0 -1 4202560 524 0 0 0 150 11 0 0 20 0 19 0 255365313 9855975424 256974 33554432000 1073741824 1073778376 140734529931680 139808666998952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29947] ppid=29935 vsize=9624976 CPUtime=1.37 cores=1,3,5,7
/proc/29937/task/29947/stat : 29947 (java) S 29935 29937 27428 0 -1 4202560 403 0 0 0 126 11 0 0 20 0 19 0 255365313 9855975424 256974 33554432000 1073741824 1073778376 140734529931680 139808665946408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29937/tid=29948] ppid=29935 vsize=9624976 CPUtime=6.12 cores=1,3,5,7
/proc/29937/task/29948/stat : 29948 (java) S 29935 29937 27428 0 -1 4202560 929 0 0 0 609 3 0 0 20 0 19 0 255365314 9855975424 256974 33554432000 1073741824 1073778376 140734529931680 139808653749096 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29937/tid=29949] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29949/stat : 29949 (java) S 29935 29937 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255365314 9855975424 256974 33554432000 1073741824 1073778376 140734529931680 139808652695416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29950] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29950/stat : 29950 (java) S 29935 29937 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255365314 9855975424 256974 33554432000 1073741824 1073778376 140734529931680 139808651642248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29951] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29951/stat : 29951 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365317 9855975424 256974 33554432000 1073741824 1073778376 140734529931680 139808650590992 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29952] ppid=29935 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/29937/task/29952/stat : 29952 (java) S 29935 29937 27428 0 -1 4202560 4386 0 0 0 73 0 0 0 20 0 19 0 255365317 9855975424 256974 33554432000 1073741824 1073778376 140734529931680 139808649537848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29953] ppid=29935 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/29937/task/29953/stat : 29953 (java) S 29935 29937 27428 0 -1 4202560 3152 0 0 0 48 0 0 0 20 0 19 0 255365317 9855975424 256974 33554432000 1073741824 1073778376 140734529931680 139808648485304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29954] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29954/stat : 29954 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365317 9855975424 256974 33554432000 1073741824 1073778376 140734529931680 139808647432440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29955] ppid=29935 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/29937/task/29955/stat : 29955 (java) S 29935 29937 27428 0 -1 4202560 99 0 0 0 25 33 0 0 20 0 19 0 255365317 9855975424 256974 33554432000 1073741824 1073778376 140734529931680 139808646380104 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29937/tid=29956] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29956/stat : 29956 (java) S 29935 29937 27428 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255365373 9855975424 256974 33554432000 1073741824 1073778376 140734529931680 139808645326376 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1732.48
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/213 30052
/proc/meminfo: memFree=26434624/32873648 swapFree=7112/7112
[pid=29937] ppid=29935 vsize=9624976 CPUtime=1792.92 cores=1,3,5,7
/proc/29937/stat : 29937 (java) S 29935 29937 27428 0 -1 4202496 16754 0 1 0 179155 137 0 0 20 0 19 0 255365310 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 140734529922816 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29937/statm: 2406244 255450 2282 9 0 2396937 0
[pid=29937/tid=29939] ppid=29935 vsize=9624976 CPUtime=1772.53 cores=1,3,5,7
/proc/29937/task/29939/stat : 29939 (java) R 29935 29937 27428 0 -1 4202560 2687 0 1 0 177221 32 0 0 20 0 19 0 255365312 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808829521296 139808769994979 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29940] ppid=29935 vsize=9624976 CPUtime=1.62 cores=1,3,5,7
/proc/29937/task/29940/stat : 29940 (java) S 29935 29937 27428 0 -1 4202560 622 0 0 0 147 15 0 0 20 0 19 0 255365313 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808673315752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29937/tid=29941] ppid=29935 vsize=9624976 CPUtime=1.52 cores=1,3,5,7
/proc/29937/task/29941/stat : 29941 (java) S 29935 29937 27428 0 -1 4202560 699 0 0 0 140 12 0 0 20 0 19 0 255365313 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808672263208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29937/tid=29942] ppid=29935 vsize=9624976 CPUtime=1.58 cores=1,3,5,7
/proc/29937/task/29942/stat : 29942 (java) S 29935 29937 27428 0 -1 4202560 621 0 0 0 144 14 0 0 20 0 19 0 255365313 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808671210152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29943] ppid=29935 vsize=9624976 CPUtime=1.6 cores=1,3,5,7
/proc/29937/task/29943/stat : 29943 (java) S 29935 29937 27428 0 -1 4202560 648 0 0 0 145 15 0 0 20 0 19 0 255365313 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808670157608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29937/tid=29944] ppid=29935 vsize=9624976 CPUtime=1.5 cores=1,3,5,7
/proc/29937/task/29944/stat : 29944 (java) S 29935 29937 27428 0 -1 4202560 423 0 0 0 140 10 0 0 20 0 19 0 255365313 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808669104552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29937/tid=29945] ppid=29935 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/29937/task/29945/stat : 29945 (java) S 29935 29937 27428 0 -1 4202560 370 0 0 0 139 7 0 0 20 0 19 0 255365313 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808668052008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29946] ppid=29935 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/29937/task/29946/stat : 29946 (java) S 29935 29937 27428 0 -1 4202560 524 0 0 0 156 11 0 0 20 0 19 0 255365313 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808666998952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29947] ppid=29935 vsize=9624976 CPUtime=1.43 cores=1,3,5,7
/proc/29937/task/29947/stat : 29947 (java) S 29935 29937 27428 0 -1 4202560 403 0 0 0 132 11 0 0 20 0 19 0 255365313 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808665946408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29948] ppid=29935 vsize=9624976 CPUtime=6.28 cores=1,3,5,7
/proc/29937/task/29948/stat : 29948 (java) S 29935 29937 27428 0 -1 4202560 931 0 0 0 625 3 0 0 20 0 19 0 255365314 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808653749096 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29949] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29949/stat : 29949 (java) S 29935 29937 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255365314 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808652695416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29950] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29950/stat : 29950 (java) S 29935 29937 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255365314 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808651642248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29951] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29951/stat : 29951 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365317 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808650590992 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29952] ppid=29935 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/29937/task/29952/stat : 29952 (java) S 29935 29937 27428 0 -1 4202560 4386 0 0 0 73 0 0 0 20 0 19 0 255365317 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808649537848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29953] ppid=29935 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/29937/task/29953/stat : 29953 (java) S 29935 29937 27428 0 -1 4202560 3152 0 0 0 48 0 0 0 20 0 19 0 255365317 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808648485304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29954] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29954/stat : 29954 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365317 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808647432440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29955] ppid=29935 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/29937/task/29955/stat : 29955 (java) S 29935 29937 27428 0 -1 4202560 103 0 0 0 26 34 0 0 20 0 19 0 255365317 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808646380104 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29956] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29956/stat : 29956 (java) S 29935 29937 27428 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255365373 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808645326376 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1792.92
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1789.4 s]
/proc/loadavg: 1.99 2.01 2.00 3/213 30053
/proc/meminfo: memFree=26405952/32873648 swapFree=7112/7112
[pid=29937] ppid=29935 vsize=9624976 CPUtime=1800.03 cores=1,3,5,7
/proc/29937/stat : 29937 (java) S 29935 29937 27428 0 -1 4202496 16754 0 1 0 179866 137 0 0 20 0 19 0 255365310 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 140734529922816 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29937/statm: 2406244 255450 2282 9 0 2396937 0
[pid=29937/tid=29939] ppid=29935 vsize=9624976 CPUtime=1779.64 cores=1,3,5,7
/proc/29937/task/29939/stat : 29939 (java) R 29935 29937 27428 0 -1 4202560 2687 0 1 0 177931 33 0 0 20 0 19 0 255365312 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808829521296 139808769970602 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29940] ppid=29935 vsize=9624976 CPUtime=1.62 cores=1,3,5,7
/proc/29937/task/29940/stat : 29940 (java) S 29935 29937 27428 0 -1 4202560 622 0 0 0 147 15 0 0 20 0 19 0 255365313 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808673315752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29937/tid=29941] ppid=29935 vsize=9624976 CPUtime=1.52 cores=1,3,5,7
/proc/29937/task/29941/stat : 29941 (java) S 29935 29937 27428 0 -1 4202560 699 0 0 0 140 12 0 0 20 0 19 0 255365313 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808672263208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29937/tid=29942] ppid=29935 vsize=9624976 CPUtime=1.58 cores=1,3,5,7
/proc/29937/task/29942/stat : 29942 (java) S 29935 29937 27428 0 -1 4202560 621 0 0 0 144 14 0 0 20 0 19 0 255365313 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808671210152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29943] ppid=29935 vsize=9624976 CPUtime=1.6 cores=1,3,5,7
/proc/29937/task/29943/stat : 29943 (java) S 29935 29937 27428 0 -1 4202560 648 0 0 0 145 15 0 0 20 0 19 0 255365313 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808670157608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29937/tid=29944] ppid=29935 vsize=9624976 CPUtime=1.5 cores=1,3,5,7
/proc/29937/task/29944/stat : 29944 (java) S 29935 29937 27428 0 -1 4202560 423 0 0 0 140 10 0 0 20 0 19 0 255365313 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808669104552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29937/tid=29945] ppid=29935 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/29937/task/29945/stat : 29945 (java) S 29935 29937 27428 0 -1 4202560 370 0 0 0 139 7 0 0 20 0 19 0 255365313 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808668052008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29946] ppid=29935 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/29937/task/29946/stat : 29946 (java) S 29935 29937 27428 0 -1 4202560 524 0 0 0 156 11 0 0 20 0 19 0 255365313 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808666998952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29947] ppid=29935 vsize=9624976 CPUtime=1.43 cores=1,3,5,7
/proc/29937/task/29947/stat : 29947 (java) S 29935 29937 27428 0 -1 4202560 403 0 0 0 132 11 0 0 20 0 19 0 255365313 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808665946408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29948] ppid=29935 vsize=9624976 CPUtime=6.28 cores=1,3,5,7
/proc/29937/task/29948/stat : 29948 (java) S 29935 29937 27428 0 -1 4202560 931 0 0 0 625 3 0 0 20 0 19 0 255365314 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808653749096 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29949] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29949/stat : 29949 (java) S 29935 29937 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255365314 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808652695416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29950] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29950/stat : 29950 (java) S 29935 29937 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255365314 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808651642248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29951] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29951/stat : 29951 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365317 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808650590992 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29952] ppid=29935 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/29937/task/29952/stat : 29952 (java) S 29935 29937 27428 0 -1 4202560 4386 0 0 0 73 0 0 0 20 0 19 0 255365317 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808649537848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29953] ppid=29935 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/29937/task/29953/stat : 29953 (java) S 29935 29937 27428 0 -1 4202560 3152 0 0 0 48 0 0 0 20 0 19 0 255365317 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808648485304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29954] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29954/stat : 29954 (java) S 29935 29937 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255365317 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808647432440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29937/tid=29955] ppid=29935 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/29937/task/29955/stat : 29955 (java) S 29935 29937 27428 0 -1 4202560 103 0 0 0 26 35 0 0 20 0 19 0 255365317 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808646380104 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29937/tid=29956] ppid=29935 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29937/task/29956/stat : 29956 (java) S 29935 29937 27428 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255365373 9855975424 255450 33554432000 1073741824 1073778376 140734529931680 139808645326376 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1789.48
CPU time (s): 1800.55
CPU user time (s): 1798.74
CPU system time (s): 1.81272
CPU usage (%): 100.619
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.74
system time used= 1.81272
maximum resident set size= 1051008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16789
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41327
involuntary context switches= 21755
runsolver used 6.14207 second user time and 15.4706 second system time
The end