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-3689711-1337892671/watcher-3689711-1337892671 -o /tmp/evaluation-result-3689711-1337892671/solver-3689711-1337892671 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689711-1337892671.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.01 1.99 2.02 3/194 28124
/proc/meminfo: memFree=28639240/32873648 swapFree=6852/6852
[pid=28124] ppid=28122 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/28124/stat : 28124 (java) R 28122 28124 21497 0 -1 4202496 971 0 0 0 0 0 0 0 20 0 1 0 255393203 23793664 699 33554432000 1073741824 1073778376 140735739599520 140735739589512 266426479568 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28124/statm: 5809 705 520 9 0 128 0
[startup+0.0406581 s]
/proc/loadavg: 2.01 1.99 2.02 3/194 28124
/proc/meminfo: memFree=28639240/32873648 swapFree=6852/6852
[pid=28124] ppid=28122 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/28124/stat : 28124 (java) S 28122 28124 21497 0 -1 4202496 3055 0 1 0 2 0 0 0 20 0 13 0 255393203 9446973440 3753 33554432000 1073741824 1073778376 140735739599520 140735739590656 266439000125 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28124/statm: 2306390 3753 1705 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100189 s]
/proc/loadavg: 2.01 1.99 2.02 3/194 28124
/proc/meminfo: memFree=28639240/32873648 swapFree=6852/6852
[pid=28124] ppid=28122 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/28124/stat : 28124 (java) S 28122 28124 21497 0 -1 4202496 4467 0 1 0 10 1 0 0 20 0 18 0 255393203 9787813888 6133 33554432000 1073741824 1073778376 140735739599520 140735739590656 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28124/statm: 2389603 6133 2138 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412
[startup+0.300174 s]
/proc/loadavg: 2.01 1.99 2.02 3/194 28124
/proc/meminfo: memFree=28639240/32873648 swapFree=6852/6852
[pid=28124] ppid=28122 vsize=9558412 CPUtime=0.61 cores=1,3,5,7
/proc/28124/stat : 28124 (java) S 28122 28124 21497 0 -1 4202496 8143 0 1 0 59 2 0 0 20 0 18 0 255393203 9787813888 10044 33554432000 1073741824 1073778376 140735739599520 140735739590656 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28124/statm: 2389603 10044 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 9558412
[startup+0.700172 s]
/proc/loadavg: 2.01 1.99 2.02 3/194 28124
/proc/meminfo: memFree=28639240/32873648 swapFree=6852/6852
[pid=28124] ppid=28122 vsize=9624976 CPUtime=1.34 cores=1,3,5,7
/proc/28124/stat : 28124 (java) S 28122 28124 21497 0 -1 4202496 9383 0 1 0 132 2 0 0 20 0 19 0 255393203 9855975424 11981 33554432000 1073741824 1073778376 140735739599520 140735739590656 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28124/statm: 2406244 11981 2247 9 0 2396937 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9624976
[startup+1.5006 s]
/proc/loadavg: 2.01 1.99 2.02 3/213 28143
/proc/meminfo: memFree=28587380/32873648 swapFree=6852/6852
[pid=28124] ppid=28122 vsize=9624976 CPUtime=2.21 cores=1,3,5,7
/proc/28124/stat : 28124 (java) S 28122 28124 21497 0 -1 4202496 9441 0 1 0 218 3 0 0 20 0 19 0 255393203 9855975424 15100 33554432000 1073741824 1073778376 140735739599520 140735739590656 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28124/statm: 2406244 15100 2275 9 0 2396937 0
[pid=28124/tid=28126] ppid=28122 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/28124/task/28126/stat : 28126 (java) R 28122 28124 21497 0 -1 4202560 2462 0 1 0 144 2 0 0 20 0 19 0 255393203 9855975424 15100 33554432000 1073741824 1073778376 140735739599520 140166404133016 140166274547584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28127] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28127/stat : 28127 (java) S 28122 28124 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255393204 9855975424 15100 33554432000 1073741824 1073778376 140735739599520 140166393195048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28124/tid=28128] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28128/stat : 28128 (java) S 28122 28124 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255393204 9855975424 15100 33554432000 1073741824 1073778376 140735739599520 140166246906280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28129] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28129/stat : 28129 (java) S 28122 28124 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255393204 9855975424 15100 33554432000 1073741824 1073778376 140735739599520 140166245853480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28124/tid=28130] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28130/stat : 28130 (java) S 28122 28124 21497 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255393204 9855975424 15100 33554432000 1073741824 1073778376 140735739599520 140166244800680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28124/tid=28131] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28131/stat : 28131 (java) S 28122 28124 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255393204 9855975424 15100 33554432000 1073741824 1073778376 140735739599520 140166243748904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28124/tid=28132] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28132/stat : 28132 (java) S 28122 28124 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255393204 9855975424 15100 33554432000 1073741824 1073778376 140735739599520 140166242696104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28124/tid=28133] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28133/stat : 28133 (java) S 28122 28124 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255393204 9855975424 15100 33554432000 1073741824 1073778376 140735739599520 140166241643304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28124/tid=28134] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28134/stat : 28134 (java) S 28122 28124 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255393204 9855975424 15100 33554432000 1073741824 1073778376 140735739599520 140166240590504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28135] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28135/stat : 28135 (java) S 28122 28124 21497 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 255393205 9855975424 15100 33554432000 1073741824 1073778376 140735739599520 140166228392424 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28136] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28136/stat : 28136 (java) S 28122 28124 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255393205 9855975424 15100 33554432000 1073741824 1073778376 140735739599520 140166227338488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28137] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28137/stat : 28137 (java) S 28122 28124 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255393205 9855975424 15100 33554432000 1073741824 1073778376 140735739599520 140166226285576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28138] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28138/stat : 28138 (java) S 28122 28124 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255393208 9855975424 15100 33554432000 1073741824 1073778376 140735739599520 140166225234064 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28139] ppid=28122 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/28124/task/28139/stat : 28139 (java) S 28122 28124 21497 0 -1 4202560 3064 0 0 0 34 0 0 0 20 0 19 0 255393208 9855975424 15100 33554432000 1073741824 1073778376 140735739599520 140166224182200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28140] ppid=28122 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/28124/task/28140/stat : 28140 (java) S 28122 28124 21497 0 -1 4202560 2677 0 0 0 35 0 0 0 20 0 19 0 255393208 9855975424 15100 33554432000 1073741824 1073778376 140735739599520 140166223129400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28141] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28141/stat : 28141 (java) S 28122 28124 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255393208 9855975424 15100 33554432000 1073741824 1073778376 140735739599520 140166222076792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28142] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28142/stat : 28142 (java) S 28122 28124 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255393208 9855975424 15100 33554432000 1073741824 1073778376 140735739599520 140166221024200 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28143] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28143/stat : 28143 (java) S 28122 28124 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255393236 9855975424 15100 33554432000 1073741824 1073778376 140735739599520 140166219969704 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 9624976
[startup+3.10064 s]
/proc/loadavg: 2.01 1.99 2.02 3/213 28143
/proc/meminfo: memFree=28584828/32873648 swapFree=6852/6852
[pid=28124] ppid=28122 vsize=9624976 CPUtime=3.85 cores=1,3,5,7
/proc/28124/stat : 28124 (java) S 28122 28124 21497 0 -1 4202496 9458 0 1 0 382 3 0 0 20 0 19 0 255393203 9855975424 15624 33554432000 1073741824 1073778376 140735739599520 140735739590656 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28124/statm: 2406244 15624 2275 9 0 2396937 0
[pid=28124/tid=28126] ppid=28122 vsize=9624976 CPUtime=3.01 cores=1,3,5,7
/proc/28124/task/28126/stat : 28126 (java) R 28122 28124 21497 0 -1 4202560 2463 0 1 0 299 2 0 0 20 0 19 0 255393203 9855975424 15624 33554432000 1073741824 1073778376 140735739599520 140166404133336 140166275055426 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28127] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28127/stat : 28127 (java) S 28122 28124 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255393204 9855975424 15624 33554432000 1073741824 1073778376 140735739599520 140166393195048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28128] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28128/stat : 28128 (java) S 28122 28124 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255393204 9855975424 15624 33554432000 1073741824 1073778376 140735739599520 140166246906280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28129] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28129/stat : 28129 (java) S 28122 28124 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255393204 9855975424 15624 33554432000 1073741824 1073778376 140735739599520 140166245853480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28124/tid=28130] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28130/stat : 28130 (java) S 28122 28124 21497 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255393204 9855975424 15624 33554432000 1073741824 1073778376 140735739599520 140166244800680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28131] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28131/stat : 28131 (java) S 28122 28124 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255393204 9855975424 15624 33554432000 1073741824 1073778376 140735739599520 140166243748904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28124/tid=28132] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28132/stat : 28132 (java) S 28122 28124 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255393204 9855975424 15624 33554432000 1073741824 1073778376 140735739599520 140166242696104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28133] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28133/stat : 28133 (java) S 28122 28124 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255393204 9855975424 15624 33554432000 1073741824 1073778376 140735739599520 140166241643304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28124/tid=28134] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28134/stat : 28134 (java) S 28122 28124 21497 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255393204 9855975424 15624 33554432000 1073741824 1073778376 140735739599520 140166240590504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28124/tid=28135] ppid=28122 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/28124/task/28135/stat : 28135 (java) S 28122 28124 21497 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 255393205 9855975424 15624 33554432000 1073741824 1073778376 140735739599520 140166228392424 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28136] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28136/stat : 28136 (java) S 28122 28124 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255393205 9855975424 15624 33554432000 1073741824 1073778376 140735739599520 140166227338488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28137] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28137/stat : 28137 (java) S 28122 28124 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255393205 9855975424 15624 33554432000 1073741824 1073778376 140735739599520 140166226285576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28138] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28138/stat : 28138 (java) S 28122 28124 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255393208 9855975424 15624 33554432000 1073741824 1073778376 140735739599520 140166225234064 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28139] ppid=28122 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/28124/task/28139/stat : 28139 (java) S 28122 28124 21497 0 -1 4202560 3065 0 0 0 37 0 0 0 20 0 19 0 255393208 9855975424 15624 33554432000 1073741824 1073778376 140735739599520 140166224182200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28140] ppid=28122 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/28124/task/28140/stat : 28140 (java) S 28122 28124 21497 0 -1 4202560 2677 0 0 0 37 0 0 0 20 0 19 0 255393208 9855975424 15624 33554432000 1073741824 1073778376 140735739599520 140166223129400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28141] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28141/stat : 28141 (java) S 28122 28124 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255393208 9855975424 15624 33554432000 1073741824 1073778376 140735739599520 140166222076792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28142] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28142/stat : 28142 (java) S 28122 28124 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255393208 9855975424 15624 33554432000 1073741824 1073778376 140735739599520 140166221024200 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28143] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28143/stat : 28143 (java) S 28122 28124 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255393236 9855975424 15624 33554432000 1073741824 1073778376 140735739599520 140166219969704 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 9624976
[startup+6.30054 s]
/proc/loadavg: 2.01 1.99 2.02 3/213 28143
/proc/meminfo: memFree=28577892/32873648 swapFree=6852/6852
[pid=28124] ppid=28122 vsize=9624976 CPUtime=7.1 cores=1,3,5,7
/proc/28124/stat : 28124 (java) S 28122 28124 21497 0 -1 4202496 10021 0 1 0 707 3 0 0 20 0 19 0 255393203 9855975424 17702 33554432000 1073741824 1073778376 140735739599520 140735739590656 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28124/statm: 2406244 17702 2275 9 0 2396937 0
[pid=28124/tid=28126] ppid=28122 vsize=9624976 CPUtime=6.15 cores=1,3,5,7
/proc/28124/task/28126/stat : 28126 (java) R 28122 28124 21497 0 -1 4202560 2466 0 1 0 613 2 0 0 20 0 19 0 255393203 9855975424 17702 33554432000 1073741824 1073778376 140735739599520 140166404133112 140166275074864 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28124/tid=28127] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28127/stat : 28127 (java) S 28122 28124 21497 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255393204 9855975424 17702 33554432000 1073741824 1073778376 140735739599520 140166393195048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28128] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28128/stat : 28128 (java) S 28122 28124 21497 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255393204 9855975424 17702 33554432000 1073741824 1073778376 140735739599520 140166246906280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28129] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28129/stat : 28129 (java) S 28122 28124 21497 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255393204 9855975424 17702 33554432000 1073741824 1073778376 140735739599520 140166245853480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28124/tid=28130] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28130/stat : 28130 (java) S 28122 28124 21497 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 255393204 9855975424 17702 33554432000 1073741824 1073778376 140735739599520 140166244800680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28131] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28131/stat : 28131 (java) S 28122 28124 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255393204 9855975424 17702 33554432000 1073741824 1073778376 140735739599520 140166243748904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28124/tid=28132] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28132/stat : 28132 (java) S 28122 28124 21497 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255393204 9855975424 17702 33554432000 1073741824 1073778376 140735739599520 140166242696104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28133] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28133/stat : 28133 (java) S 28122 28124 21497 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255393204 9855975424 17702 33554432000 1073741824 1073778376 140735739599520 140166241643304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28124/tid=28134] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28134/stat : 28134 (java) S 28122 28124 21497 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255393204 9855975424 17702 33554432000 1073741824 1073778376 140735739599520 140166240590504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28124/tid=28135] ppid=28122 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/28124/task/28135/stat : 28135 (java) S 28122 28124 21497 0 -1 4202560 32 0 0 0 6 0 0 0 20 0 19 0 255393205 9855975424 17702 33554432000 1073741824 1073778376 140735739599520 140166228392424 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28136] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28136/stat : 28136 (java) S 28122 28124 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255393205 9855975424 17702 33554432000 1073741824 1073778376 140735739599520 140166227338488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28137] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28137/stat : 28137 (java) S 28122 28124 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255393205 9855975424 17702 33554432000 1073741824 1073778376 140735739599520 140166226285576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28138] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28138/stat : 28138 (java) S 28122 28124 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255393208 9855975424 17702 33554432000 1073741824 1073778376 140735739599520 140166225234064 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28139] ppid=28122 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/28124/task/28139/stat : 28139 (java) S 28122 28124 21497 0 -1 4202560 3606 0 0 0 41 0 0 0 20 0 19 0 255393208 9855975424 17702 33554432000 1073741824 1073778376 140735739599520 140166224182200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28140] ppid=28122 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/28124/task/28140/stat : 28140 (java) S 28122 28124 21497 0 -1 4202560 2677 0 0 0 37 0 0 0 20 0 19 0 255393208 9855975424 17702 33554432000 1073741824 1073778376 140735739599520 140166223129400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28124/tid=28141] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28141/stat : 28141 (java) S 28122 28124 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255393208 9855975424 17702 33554432000 1073741824 1073778376 140735739599520 140166222076792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28142] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28142/stat : 28142 (java) S 28122 28124 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255393208 9855975424 17702 33554432000 1073741824 1073778376 140735739599520 140166221024200 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28143] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28143/stat : 28143 (java) S 28122 28124 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255393236 9855975424 17702 33554432000 1073741824 1073778376 140735739599520 140166219969704 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 9624976
[startup+12.7006 s]
################
# More data... #
################
[pid=28124/tid=28132] ppid=28122 vsize=9624976 CPUtime=2.77 cores=1,3,5,7
/proc/28124/task/28132/stat : 28132 (java) S 28122 28124 21497 0 -1 4202560 521 0 0 0 270 7 0 0 20 0 19 0 255393204 9855975424 80997 33554432000 1073741824 1073778376 140735739599520 140166242696104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28124/tid=28133] ppid=28122 vsize=9624976 CPUtime=2.77 cores=1,3,5,7
/proc/28124/task/28133/stat : 28133 (java) S 28122 28124 21497 0 -1 4202560 363 0 0 0 271 6 0 0 20 0 19 0 255393204 9855975424 80997 33554432000 1073741824 1073778376 140735739599520 140166241643304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28134] ppid=28122 vsize=9624976 CPUtime=2.96 cores=1,3,5,7
/proc/28124/task/28134/stat : 28134 (java) S 28122 28124 21497 0 -1 4202560 797 0 0 0 291 5 0 0 20 0 19 0 255393204 9855975424 80997 33554432000 1073741824 1073778376 140735739599520 140166240590504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28124/tid=28135] ppid=28122 vsize=9624976 CPUtime=3.02 cores=1,3,5,7
/proc/28124/task/28135/stat : 28135 (java) S 28122 28124 21497 0 -1 4202560 326 0 0 0 298 4 0 0 20 0 19 0 255393205 9855975424 80997 33554432000 1073741824 1073778376 140735739599520 140166228392424 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28136] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28136/stat : 28136 (java) S 28122 28124 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255393205 9855975424 80997 33554432000 1073741824 1073778376 140735739599520 140166227338488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28137] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28137/stat : 28137 (java) S 28122 28124 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255393205 9855975424 80997 33554432000 1073741824 1073778376 140735739599520 140166226285576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28138] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28138/stat : 28138 (java) S 28122 28124 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255393208 9855975424 80997 33554432000 1073741824 1073778376 140735739599520 140166225234064 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28139] ppid=28122 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/28124/task/28139/stat : 28139 (java) S 28122 28124 21497 0 -1 4202560 3611 0 0 0 43 0 0 0 20 0 19 0 255393208 9855975424 80997 33554432000 1073741824 1073778376 140735739599520 140166224182200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28140] ppid=28122 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/28124/task/28140/stat : 28140 (java) S 28122 28124 21497 0 -1 4202560 2677 0 0 0 37 0 0 0 20 0 19 0 255393208 9855975424 80997 33554432000 1073741824 1073778376 140735739599520 140166223129400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28124/tid=28141] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28141/stat : 28141 (java) S 28122 28124 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255393208 9855975424 80997 33554432000 1073741824 1073778376 140735739599520 140166222076792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28142] ppid=28122 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/28124/task/28142/stat : 28142 (java) S 28122 28124 21497 0 -1 4202560 93 0 0 0 24 27 0 0 20 0 19 0 255393208 9855975424 80997 33554432000 1073741824 1073778376 140735739599520 140166221024200 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28143] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28143/stat : 28143 (java) S 28122 28124 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255393236 9855975424 80997 33554432000 1073741824 1073778376 140735739599520 140166219969704 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1619.35
Current children cumulated vsize (KiB) 9624976
[startup+1662.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/213 28236
/proc/meminfo: memFree=27266208/32873648 swapFree=6852/6852
[pid=28124] ppid=28122 vsize=9624976 CPUtime=1680.34 cores=1,3,5,7
/proc/28124/stat : 28124 (java) S 28122 28124 21497 0 -1 4202496 15099 0 1 0 167943 91 0 0 20 0 19 0 255393203 9855975424 82289 33554432000 1073741824 1073778376 140735739599520 140735739590656 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28124/statm: 2406244 82289 2276 9 0 2396937 0
[pid=28124/tid=28126] ppid=28122 vsize=9624976 CPUtime=1652.18 cores=1,3,5,7
/proc/28124/task/28126/stat : 28126 (java) R 28122 28124 21497 0 -1 4202560 2974 0 1 0 165186 32 0 0 20 0 19 0 255393203 9855975424 82289 33554432000 1073741824 1073778376 140735739599520 140166404132208 140166275074895 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28127] ppid=28122 vsize=9624976 CPUtime=2.94 cores=1,3,5,7
/proc/28124/task/28127/stat : 28127 (java) S 28122 28124 21497 0 -1 4202560 807 0 0 0 288 6 0 0 20 0 19 0 255393204 9855975424 82289 33554432000 1073741824 1073778376 140735739599520 140166393195048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28124/tid=28128] ppid=28122 vsize=9624976 CPUtime=2.83 cores=1,3,5,7
/proc/28124/task/28128/stat : 28128 (java) S 28122 28124 21497 0 -1 4202560 371 0 0 0 277 6 0 0 20 0 19 0 255393204 9855975424 82289 33554432000 1073741824 1073778376 140735739599520 140166246906280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28124/tid=28129] ppid=28122 vsize=9624976 CPUtime=3.01 cores=1,3,5,7
/proc/28124/task/28129/stat : 28129 (java) S 28122 28124 21497 0 -1 4202560 781 0 0 0 294 7 0 0 20 0 19 0 255393204 9855975424 82289 33554432000 1073741824 1073778376 140735739599520 140166245853480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28124/tid=28130] ppid=28122 vsize=9624976 CPUtime=3.04 cores=1,3,5,7
/proc/28124/task/28130/stat : 28130 (java) S 28122 28124 21497 0 -1 4202560 338 0 0 0 298 6 0 0 20 0 19 0 255393204 9855975424 82289 33554432000 1073741824 1073778376 140735739599520 140166244800680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28124/tid=28131] ppid=28122 vsize=9624976 CPUtime=2.92 cores=1,3,5,7
/proc/28124/task/28131/stat : 28131 (java) S 28122 28124 21497 0 -1 4202560 254 0 0 0 285 7 0 0 20 0 19 0 255393204 9855975424 82289 33554432000 1073741824 1073778376 140735739599520 140166243748904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28132] ppid=28122 vsize=9624976 CPUtime=2.96 cores=1,3,5,7
/proc/28124/task/28132/stat : 28132 (java) S 28122 28124 21497 0 -1 4202560 521 0 0 0 289 7 0 0 20 0 19 0 255393204 9855975424 82289 33554432000 1073741824 1073778376 140735739599520 140166242696104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28133] ppid=28122 vsize=9624976 CPUtime=2.96 cores=1,3,5,7
/proc/28124/task/28133/stat : 28133 (java) S 28122 28124 21497 0 -1 4202560 363 0 0 0 290 6 0 0 20 0 19 0 255393204 9855975424 82289 33554432000 1073741824 1073778376 140735739599520 140166241643304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28134] ppid=28122 vsize=9624976 CPUtime=3.11 cores=1,3,5,7
/proc/28124/task/28134/stat : 28134 (java) S 28122 28124 21497 0 -1 4202560 797 0 0 0 306 5 0 0 20 0 19 0 255393204 9855975424 82289 33554432000 1073741824 1073778376 140735739599520 140166240590504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28135] ppid=28122 vsize=9624976 CPUtime=3.15 cores=1,3,5,7
/proc/28124/task/28135/stat : 28135 (java) S 28122 28124 21497 0 -1 4202560 330 0 0 0 310 5 0 0 20 0 19 0 255393205 9855975424 82289 33554432000 1073741824 1073778376 140735739599520 140166228392424 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28136] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28136/stat : 28136 (java) S 28122 28124 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255393205 9855975424 82289 33554432000 1073741824 1073778376 140735739599520 140166227338488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28137] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28137/stat : 28137 (java) S 28122 28124 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255393205 9855975424 82289 33554432000 1073741824 1073778376 140735739599520 140166226285576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28138] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28138/stat : 28138 (java) S 28122 28124 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255393208 9855975424 82289 33554432000 1073741824 1073778376 140735739599520 140166225234064 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28139] ppid=28122 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/28124/task/28139/stat : 28139 (java) S 28122 28124 21497 0 -1 4202560 3611 0 0 0 43 0 0 0 20 0 19 0 255393208 9855975424 82289 33554432000 1073741824 1073778376 140735739599520 140166224182200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28140] ppid=28122 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/28124/task/28140/stat : 28140 (java) S 28122 28124 21497 0 -1 4202560 2677 0 0 0 37 0 0 0 20 0 19 0 255393208 9855975424 82289 33554432000 1073741824 1073778376 140735739599520 140166223129400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28124/tid=28141] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28141/stat : 28141 (java) S 28122 28124 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255393208 9855975424 82289 33554432000 1073741824 1073778376 140735739599520 140166222076792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28142] ppid=28122 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/28124/task/28142/stat : 28142 (java) S 28122 28124 21497 0 -1 4202560 95 0 0 0 25 28 0 0 20 0 19 0 255393208 9855975424 82289 33554432000 1073741824 1073778376 140735739599520 140166221024200 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28143] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28143/stat : 28143 (java) S 28122 28124 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255393236 9855975424 82289 33554432000 1073741824 1073778376 140735739599520 140166219969704 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1680.34
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/213 28236
/proc/meminfo: memFree=26673348/32873648 swapFree=6852/6852
[pid=28124] ppid=28122 vsize=9624976 CPUtime=1741.41 cores=1,3,5,7
/proc/28124/stat : 28124 (java) S 28122 28124 21497 0 -1 4202496 15723 0 1 0 174047 94 0 0 20 0 19 0 255393203 9855975424 83294 33554432000 1073741824 1073778376 140735739599520 140735739590656 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28124/statm: 2406244 83294 2276 9 0 2396937 0
[pid=28124/tid=28126] ppid=28122 vsize=9624976 CPUtime=1711.67 cores=1,3,5,7
/proc/28124/task/28126/stat : 28126 (java) R 28122 28124 21497 0 -1 4202560 3004 0 1 0 171134 33 0 0 20 0 19 0 255393203 9855975424 83294 33554432000 1073741824 1073778376 140735739599520 140166404132192 140166275141377 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28127] ppid=28122 vsize=9624976 CPUtime=3.12 cores=1,3,5,7
/proc/28124/task/28127/stat : 28127 (java) S 28122 28124 21497 0 -1 4202560 812 0 0 0 306 6 0 0 20 0 19 0 255393204 9855975424 83294 33554432000 1073741824 1073778376 140735739599520 140166393195048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28128] ppid=28122 vsize=9624976 CPUtime=3.01 cores=1,3,5,7
/proc/28124/task/28128/stat : 28128 (java) S 28122 28124 21497 0 -1 4202560 461 0 0 0 294 7 0 0 20 0 19 0 255393204 9855975424 83294 33554432000 1073741824 1073778376 140735739599520 140166246906280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28129] ppid=28122 vsize=9624976 CPUtime=3.21 cores=1,3,5,7
/proc/28124/task/28129/stat : 28129 (java) S 28122 28124 21497 0 -1 4202560 855 0 0 0 314 7 0 0 20 0 19 0 255393204 9855975424 83294 33554432000 1073741824 1073778376 140735739599520 140166245853480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28124/tid=28130] ppid=28122 vsize=9624976 CPUtime=3.22 cores=1,3,5,7
/proc/28124/task/28130/stat : 28130 (java) S 28122 28124 21497 0 -1 4202560 500 0 0 0 316 6 0 0 20 0 19 0 255393204 9855975424 83294 33554432000 1073741824 1073778376 140735739599520 140166244800680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28131] ppid=28122 vsize=9624976 CPUtime=3.11 cores=1,3,5,7
/proc/28124/task/28131/stat : 28131 (java) S 28122 28124 21497 0 -1 4202560 262 0 0 0 304 7 0 0 20 0 19 0 255393204 9855975424 83294 33554432000 1073741824 1073778376 140735739599520 140166243748904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28124/tid=28132] ppid=28122 vsize=9624976 CPUtime=3.13 cores=1,3,5,7
/proc/28124/task/28132/stat : 28132 (java) S 28122 28124 21497 0 -1 4202560 601 0 0 0 306 7 0 0 20 0 19 0 255393204 9855975424 83294 33554432000 1073741824 1073778376 140735739599520 140166242696104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28124/tid=28133] ppid=28122 vsize=9624976 CPUtime=3.17 cores=1,3,5,7
/proc/28124/task/28133/stat : 28133 (java) S 28122 28124 21497 0 -1 4202560 370 0 0 0 311 6 0 0 20 0 19 0 255393204 9855975424 83294 33554432000 1073741824 1073778376 140735739599520 140166241643304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28124/tid=28134] ppid=28122 vsize=9624976 CPUtime=3.27 cores=1,3,5,7
/proc/28124/task/28134/stat : 28134 (java) S 28122 28124 21497 0 -1 4202560 951 0 0 0 322 5 0 0 20 0 19 0 255393204 9855975424 83294 33554432000 1073741824 1073778376 140735739599520 140166240590504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28135] ppid=28122 vsize=9624976 CPUtime=3.22 cores=1,3,5,7
/proc/28124/task/28135/stat : 28135 (java) S 28122 28124 21497 0 -1 4202560 340 0 0 0 317 5 0 0 20 0 19 0 255393205 9855975424 83294 33554432000 1073741824 1073778376 140735739599520 140166228392424 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28136] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28136/stat : 28136 (java) S 28122 28124 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255393205 9855975424 83294 33554432000 1073741824 1073778376 140735739599520 140166227338488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28137] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28137/stat : 28137 (java) S 28122 28124 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255393205 9855975424 83294 33554432000 1073741824 1073778376 140735739599520 140166226285576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28138] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28138/stat : 28138 (java) S 28122 28124 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255393208 9855975424 83294 33554432000 1073741824 1073778376 140735739599520 140166225234064 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28139] ppid=28122 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/28124/task/28139/stat : 28139 (java) S 28122 28124 21497 0 -1 4202560 3611 0 0 0 43 0 0 0 20 0 19 0 255393208 9855975424 83294 33554432000 1073741824 1073778376 140735739599520 140166224182200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28140] ppid=28122 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/28124/task/28140/stat : 28140 (java) S 28122 28124 21497 0 -1 4202560 2677 0 0 0 37 0 0 0 20 0 19 0 255393208 9855975424 83294 33554432000 1073741824 1073778376 140735739599520 140166223129400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28124/tid=28141] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28141/stat : 28141 (java) S 28122 28124 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255393208 9855975424 83294 33554432000 1073741824 1073778376 140735739599520 140166222076792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28142] ppid=28122 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/28124/task/28142/stat : 28142 (java) S 28122 28124 21497 0 -1 4202560 99 0 0 0 26 30 0 0 20 0 19 0 255393208 9855975424 83294 33554432000 1073741824 1073778376 140735739599520 140166221024200 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28143] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28143/stat : 28143 (java) S 28122 28124 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255393236 9855975424 83294 33554432000 1073741824 1073778376 140735739599520 140166219969704 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1741.41
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1780 s]
/proc/loadavg: 2.31 2.10 2.03 3/213 28239
/proc/meminfo: memFree=26171100/32873648 swapFree=6852/6852
[pid=28124] ppid=28122 vsize=9624976 CPUtime=1800.04 cores=1,3,5,7
/proc/28124/stat : 28124 (java) S 28122 28124 21497 0 -1 4202496 15780 0 1 0 179908 96 0 0 20 0 19 0 255393203 9855975424 85207 33554432000 1073741824 1073778376 140735739599520 140735739590656 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28124/statm: 2406244 85207 2276 9 0 2396937 0
[pid=28124/tid=28126] ppid=28122 vsize=9624976 CPUtime=1768.91 cores=1,3,5,7
/proc/28124/task/28126/stat : 28126 (java) R 28122 28124 21497 0 -1 4202560 3029 0 1 0 176858 33 0 0 20 0 19 0 255393203 9855975424 85207 33554432000 1073741824 1073778376 140735739599520 140166404132208 140166275170608 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28124/tid=28127] ppid=28122 vsize=9624976 CPUtime=3.29 cores=1,3,5,7
/proc/28124/task/28127/stat : 28127 (java) S 28122 28124 21497 0 -1 4202560 819 0 0 0 323 6 0 0 20 0 19 0 255393204 9855975424 85207 33554432000 1073741824 1073778376 140735739599520 140166393195048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28128] ppid=28122 vsize=9624976 CPUtime=3.17 cores=1,3,5,7
/proc/28124/task/28128/stat : 28128 (java) S 28122 28124 21497 0 -1 4202560 461 0 0 0 310 7 0 0 20 0 19 0 255393204 9855975424 85207 33554432000 1073741824 1073778376 140735739599520 140166246906280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28124/tid=28129] ppid=28122 vsize=9624976 CPUtime=3.4 cores=1,3,5,7
/proc/28124/task/28129/stat : 28129 (java) S 28122 28124 21497 0 -1 4202560 859 0 0 0 332 8 0 0 20 0 19 0 255393204 9855975424 85207 33554432000 1073741824 1073778376 140735739599520 140166245853480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28130] ppid=28122 vsize=9624976 CPUtime=3.36 cores=1,3,5,7
/proc/28124/task/28130/stat : 28130 (java) S 28122 28124 21497 0 -1 4202560 500 0 0 0 330 6 0 0 20 0 19 0 255393204 9855975424 85207 33554432000 1073741824 1073778376 140735739599520 140166244800680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28131] ppid=28122 vsize=9624976 CPUtime=3.29 cores=1,3,5,7
/proc/28124/task/28131/stat : 28131 (java) S 28122 28124 21497 0 -1 4202560 270 0 0 0 322 7 0 0 20 0 19 0 255393204 9855975424 85207 33554432000 1073741824 1073778376 140735739599520 140166243748904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28124/tid=28132] ppid=28122 vsize=9624976 CPUtime=3.3 cores=1,3,5,7
/proc/28124/task/28132/stat : 28132 (java) S 28122 28124 21497 0 -1 4202560 602 0 0 0 323 7 0 0 20 0 19 0 255393204 9855975424 85207 33554432000 1073741824 1073778376 140735739599520 140166242696104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28133] ppid=28122 vsize=9624976 CPUtime=3.36 cores=1,3,5,7
/proc/28124/task/28133/stat : 28133 (java) S 28122 28124 21497 0 -1 4202560 370 0 0 0 329 7 0 0 20 0 19 0 255393204 9855975424 85207 33554432000 1073741824 1073778376 140735739599520 140166241643304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28124/tid=28134] ppid=28122 vsize=9624976 CPUtime=3.41 cores=1,3,5,7
/proc/28124/task/28134/stat : 28134 (java) S 28122 28124 21497 0 -1 4202560 953 0 0 0 336 5 0 0 20 0 19 0 255393204 9855975424 85207 33554432000 1073741824 1073778376 140735739599520 140166240590504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28135] ppid=28122 vsize=9624976 CPUtime=3.28 cores=1,3,5,7
/proc/28124/task/28135/stat : 28135 (java) S 28122 28124 21497 0 -1 4202560 346 0 0 0 323 5 0 0 20 0 19 0 255393205 9855975424 85207 33554432000 1073741824 1073778376 140735739599520 140166228392424 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28124/tid=28136] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28136/stat : 28136 (java) S 28122 28124 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255393205 9855975424 85207 33554432000 1073741824 1073778376 140735739599520 140166227338488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28137] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28137/stat : 28137 (java) S 28122 28124 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255393205 9855975424 85207 33554432000 1073741824 1073778376 140735739599520 140166226285576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28138] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28138/stat : 28138 (java) S 28122 28124 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255393208 9855975424 85207 33554432000 1073741824 1073778376 140735739599520 140166225234064 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28139] ppid=28122 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/28124/task/28139/stat : 28139 (java) S 28122 28124 21497 0 -1 4202560 3611 0 0 0 43 0 0 0 20 0 19 0 255393208 9855975424 85207 33554432000 1073741824 1073778376 140735739599520 140166224182200 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28140] ppid=28122 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/28124/task/28140/stat : 28140 (java) S 28122 28124 21497 0 -1 4202560 2677 0 0 0 37 0 0 0 20 0 19 0 255393208 9855975424 85207 33554432000 1073741824 1073778376 140735739599520 140166223129400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28124/tid=28141] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28141/stat : 28141 (java) S 28122 28124 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255393208 9855975424 85207 33554432000 1073741824 1073778376 140735739599520 140166222076792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28124/tid=28142] ppid=28122 vsize=9624976 CPUtime=0.57 cores=1,3,5,7
/proc/28124/task/28142/stat : 28142 (java) S 28122 28124 21497 0 -1 4202560 103 0 0 0 27 30 0 0 20 0 19 0 255393208 9855975424 85207 33554432000 1073741824 1073778376 140735739599520 140166221024200 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28124/tid=28143] ppid=28122 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28124/task/28143/stat : 28143 (java) S 28122 28124 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255393236 9855975424 85207 33554432000 1073741824 1073778376 140735739599520 140166219969704 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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): 1780.07
CPU time (s): 1800.52
CPU user time (s): 1799.17
CPU system time (s): 1.35079
CPU usage (%): 101.149
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 1.35079
maximum resident set size= 438524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15835
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53784
involuntary context switches= 54021
runsolver used 6.69998 second user time and 14.0039 second system time
The end