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-3688763-1337888008/watcher-3688763-1337888008 -o /tmp/evaluation-result-3688763-1337888008/solver-3688763-1337888008 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688763-1337888008.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.07 2.05 2.01 3/194 29235
/proc/meminfo: memFree=29728312/32873844 swapFree=7116/7116
[pid=29235] ppid=29233 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/29235/stat : 29235 (java) D 29233 29235 27542 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 254925773 9515008 183 33554432000 1073741824 1073778376 140736485782832 140736485773864 240565173941 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/29235/statm: 2323 183 140 9 0 71 0
[startup+0.032467 s]
/proc/loadavg: 2.07 2.05 2.01 3/194 29235
/proc/meminfo: memFree=29728312/32873844 swapFree=7116/7116
[pid=29235] ppid=29233 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/29235/stat : 29235 (java) S 29233 29235 27542 0 -1 4202496 2772 0 1 0 0 0 0 0 20 0 10 0 254925773 9233014784 3472 33554432000 1073741824 1073778376 140737318153024 140737318144160 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29235/statm: 2254154 3472 1538 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616
[startup+0.100336 s]
/proc/loadavg: 2.07 2.05 2.01 3/194 29235
/proc/meminfo: memFree=29728312/32873844 swapFree=7116/7116
[pid=29235] ppid=29233 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/29235/stat : 29235 (java) S 29233 29235 27542 0 -1 4202496 3992 0 1 0 7 1 0 0 20 0 18 0 254925773 9787813888 5196 33554432000 1073741824 1073778376 140737318153024 140737318144160 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29235/statm: 2389603 5196 2036 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.300254 s]
/proc/loadavg: 2.07 2.05 2.01 3/194 29235
/proc/meminfo: memFree=29728312/32873844 swapFree=7116/7116
[pid=29235] ppid=29233 vsize=9558412 CPUtime=0.44 cores=1,3,5,7
/proc/29235/stat : 29235 (java) S 29233 29235 27542 0 -1 4202496 6049 0 1 0 43 1 0 0 20 0 18 0 254925773 9787813888 8682 33554432000 1073741824 1073778376 140737318153024 140737318144160 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29235/statm: 2389603 8682 2214 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558412
[startup+0.700265 s]
/proc/loadavg: 2.07 2.05 2.01 3/194 29235
/proc/meminfo: memFree=29728312/32873844 swapFree=7116/7116
[pid=29235] ppid=29233 vsize=9558412 CPUtime=1.66 cores=1,3,5,7
/proc/29235/stat : 29235 (java) S 29233 29235 27542 0 -1 4202496 13059 0 1 0 158 8 0 0 20 0 18 0 254925773 9787813888 47276 33554432000 1073741824 1073778376 140737318153024 140737318144160 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29235/statm: 2389603 47276 2266 9 0 2380296 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 9558412
[startup+1.50082 s]
/proc/loadavg: 2.07 2.05 2.01 6/213 29254
/proc/meminfo: memFree=29435860/32873844 swapFree=7116/7116
[pid=29235] ppid=29233 vsize=9624976 CPUtime=2.93 cores=1,3,5,7
/proc/29235/stat : 29235 (java) S 29233 29235 27542 0 -1 4202496 13509 0 1 0 277 16 0 0 20 0 19 0 254925773 9855975424 75795 33554432000 1073741824 1073778376 140737318153024 140737318144160 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29235/statm: 2406244 75795 2272 9 0 2396937 0
[pid=29235/tid=29237] ppid=29233 vsize=9624976 CPUtime=1.38 cores=1,3,5,7
/proc/29235/task/29237/stat : 29237 (java) R 29233 29235 27542 0 -1 4202560 2566 0 1 0 131 7 0 0 20 0 19 0 254925774 9855975424 75795 33554432000 1073741824 1073778376 140737318153024 140274280771896 140274119312837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29238] ppid=29233 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/29235/task/29238/stat : 29238 (java) S 29233 29235 27542 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 254925775 9855975424 75795 33554432000 1073741824 1073778376 140737318153024 140274242271912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29239] ppid=29233 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/29235/task/29239/stat : 29239 (java) S 29233 29235 27542 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 254925775 9855975424 75795 33554432000 1073741824 1073778376 140737318153024 140274241219368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29240] ppid=29233 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/29235/task/29240/stat : 29240 (java) S 29233 29235 27542 0 -1 4202560 96 0 0 0 4 0 0 0 20 0 19 0 254925775 9855975424 75795 33554432000 1073741824 1073778376 140737318153024 140274240166824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29235/tid=29241] ppid=29233 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/29235/task/29241/stat : 29241 (java) S 29233 29235 27542 0 -1 4202560 133 0 0 0 3 2 0 0 20 0 19 0 254925775 9855975424 75795 33554432000 1073741824 1073778376 140737318153024 140274239114280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29242] ppid=29233 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/29235/task/29242/stat : 29242 (java) S 29233 29235 27542 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 254925775 9855975424 75795 33554432000 1073741824 1073778376 140737318153024 140274238060712 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29243] ppid=29233 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/29235/task/29243/stat : 29243 (java) S 29233 29235 27542 0 -1 4202560 82 0 0 0 1 0 0 0 20 0 19 0 254925775 9855975424 75795 33554432000 1073741824 1073778376 140737318153024 140274237008168 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29244] ppid=29233 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/29235/task/29244/stat : 29244 (java) S 29233 29235 27542 0 -1 4202560 84 0 0 0 1 0 0 0 20 0 19 0 254925775 9855975424 75795 33554432000 1073741824 1073778376 140737318153024 140274118420904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29245] ppid=29233 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/29235/task/29245/stat : 29245 (java) S 29233 29235 27542 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 254925775 9855975424 75795 33554432000 1073741824 1073778376 140737318153024 140274117368360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29246] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29246/stat : 29246 (java) S 29233 29235 27542 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 254925777 9855975424 75795 33554432000 1073741824 1073778376 140737318153024 140274104957544 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29247] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29247/stat : 29247 (java) S 29233 29235 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254925777 9855975424 75795 33554432000 1073741824 1073778376 140737318153024 140274103903864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29248] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29248/stat : 29248 (java) S 29233 29235 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254925777 9855975424 75795 33554432000 1073741824 1073778376 140737318153024 140274102851208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29249] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29249/stat : 29249 (java) S 29233 29235 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254925780 9855975424 75795 33554432000 1073741824 1073778376 140737318153024 140273363446800 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29250] ppid=29233 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/29235/task/29250/stat : 29250 (java) S 29233 29235 27542 0 -1 4202560 4372 0 0 0 60 0 0 0 20 0 19 0 254925780 9855975424 75795 33554432000 1073741824 1073778376 140737318153024 140273362393144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29251] ppid=29233 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/29235/task/29251/stat : 29251 (java) S 29233 29235 27542 0 -1 4202560 4870 0 0 0 62 1 0 0 20 0 19 0 254925780 9855975424 75795 33554432000 1073741824 1073778376 140737318153024 140273361340600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29252] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29252/stat : 29252 (java) S 29233 29235 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254925780 9855975424 75795 33554432000 1073741824 1073778376 140737318153024 140273360288248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29253] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29253/stat : 29253 (java) S 29233 29235 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254925780 9855975424 75795 33554432000 1073741824 1073778376 140737318153024 140273359235912 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29254] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29254/stat : 29254 (java) S 29233 29235 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254925868 9855975424 75795 33554432000 1073741824 1073778376 140737318153024 140273358181672 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 9624976
[startup+3.10084 s]
/proc/loadavg: 2.06 2.05 2.01 3/213 29254
/proc/meminfo: memFree=29433316/32873844 swapFree=7116/7116
[pid=29235] ppid=29233 vsize=9624976 CPUtime=4.64 cores=1,3,5,7
/proc/29235/stat : 29235 (java) S 29233 29235 27542 0 -1 4202496 13514 0 1 0 448 16 0 0 20 0 19 0 254925773 9855975424 75798 33554432000 1073741824 1073778376 140737318153024 140737318144160 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29235/statm: 2406244 75798 2274 9 0 2396937 0
[pid=29235/tid=29237] ppid=29233 vsize=9624976 CPUtime=2.98 cores=1,3,5,7
/proc/29235/task/29237/stat : 29237 (java) R 29233 29235 27542 0 -1 4202560 2568 0 1 0 291 7 0 0 20 0 19 0 254925774 9855975424 75798 33554432000 1073741824 1073778376 140737318153024 140274280778312 140274119297406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29238] ppid=29233 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/29235/task/29238/stat : 29238 (java) S 29233 29235 27542 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 254925775 9855975424 75798 33554432000 1073741824 1073778376 140737318153024 140274242271912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29239] ppid=29233 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/29235/task/29239/stat : 29239 (java) S 29233 29235 27542 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 254925775 9855975424 75798 33554432000 1073741824 1073778376 140737318153024 140274241219368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29240] ppid=29233 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/29235/task/29240/stat : 29240 (java) S 29233 29235 27542 0 -1 4202560 96 0 0 0 4 0 0 0 20 0 19 0 254925775 9855975424 75798 33554432000 1073741824 1073778376 140737318153024 140274240166824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29235/tid=29241] ppid=29233 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/29235/task/29241/stat : 29241 (java) S 29233 29235 27542 0 -1 4202560 133 0 0 0 3 2 0 0 20 0 19 0 254925775 9855975424 75798 33554432000 1073741824 1073778376 140737318153024 140274239114280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29242] ppid=29233 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/29235/task/29242/stat : 29242 (java) S 29233 29235 27542 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 254925775 9855975424 75798 33554432000 1073741824 1073778376 140737318153024 140274238060712 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29243] ppid=29233 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/29235/task/29243/stat : 29243 (java) S 29233 29235 27542 0 -1 4202560 82 0 0 0 1 0 0 0 20 0 19 0 254925775 9855975424 75798 33554432000 1073741824 1073778376 140737318153024 140274237008168 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29244] ppid=29233 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/29235/task/29244/stat : 29244 (java) S 29233 29235 27542 0 -1 4202560 84 0 0 0 1 0 0 0 20 0 19 0 254925775 9855975424 75798 33554432000 1073741824 1073778376 140737318153024 140274118420904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29245] ppid=29233 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/29235/task/29245/stat : 29245 (java) S 29233 29235 27542 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 254925775 9855975424 75798 33554432000 1073741824 1073778376 140737318153024 140274117368360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29246] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29246/stat : 29246 (java) S 29233 29235 27542 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 254925777 9855975424 75798 33554432000 1073741824 1073778376 140737318153024 140274104957544 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29247] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29247/stat : 29247 (java) S 29233 29235 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254925777 9855975424 75798 33554432000 1073741824 1073778376 140737318153024 140274103903864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29248] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29248/stat : 29248 (java) S 29233 29235 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254925777 9855975424 75798 33554432000 1073741824 1073778376 140737318153024 140274102851208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29249] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29249/stat : 29249 (java) S 29233 29235 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254925780 9855975424 75798 33554432000 1073741824 1073778376 140737318153024 140273363446800 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29250] ppid=29233 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/29235/task/29250/stat : 29250 (java) S 29233 29235 27542 0 -1 4202560 4375 0 0 0 69 0 0 0 20 0 19 0 254925780 9855975424 75798 33554432000 1073741824 1073778376 140737318153024 140273362393144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29251] ppid=29233 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/29235/task/29251/stat : 29251 (java) S 29233 29235 27542 0 -1 4202560 4870 0 0 0 63 1 0 0 20 0 19 0 254925780 9855975424 75798 33554432000 1073741824 1073778376 140737318153024 140273361340600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29252] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29252/stat : 29252 (java) S 29233 29235 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254925780 9855975424 75798 33554432000 1073741824 1073778376 140737318153024 140273360288248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29253] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29253/stat : 29253 (java) S 29233 29235 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254925780 9855975424 75798 33554432000 1073741824 1073778376 140737318153024 140273359235912 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29254] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29254/stat : 29254 (java) S 29233 29235 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254925868 9855975424 75798 33554432000 1073741824 1073778376 140737318153024 140273358181672 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 9624976
[startup+6.30083 s]
/proc/loadavg: 2.06 2.05 2.01 3/213 29254
/proc/meminfo: memFree=29430896/32873844 swapFree=7116/7116
[pid=29235] ppid=29233 vsize=9624976 CPUtime=7.84 cores=1,3,5,7
/proc/29235/stat : 29235 (java) S 29233 29235 27542 0 -1 4202496 13516 0 1 0 768 16 0 0 20 0 19 0 254925773 9855975424 76202 33554432000 1073741824 1073778376 140737318153024 140737318144160 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29235/statm: 2406244 76202 2274 9 0 2396937 0
[pid=29235/tid=29237] ppid=29233 vsize=9624976 CPUtime=6.17 cores=1,3,5,7
/proc/29235/task/29237/stat : 29237 (java) R 29233 29235 27542 0 -1 4202560 2570 0 1 0 610 7 0 0 20 0 19 0 254925774 9855975424 76202 33554432000 1073741824 1073778376 140737318153024 140274280778176 140274119313349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29238] ppid=29233 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/29235/task/29238/stat : 29238 (java) S 29233 29235 27542 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 254925775 9855975424 76202 33554432000 1073741824 1073778376 140737318153024 140274242271912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29239] ppid=29233 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/29235/task/29239/stat : 29239 (java) S 29233 29235 27542 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 254925775 9855975424 76202 33554432000 1073741824 1073778376 140737318153024 140274241219368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29240] ppid=29233 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/29235/task/29240/stat : 29240 (java) S 29233 29235 27542 0 -1 4202560 96 0 0 0 4 0 0 0 20 0 19 0 254925775 9855975424 76202 33554432000 1073741824 1073778376 140737318153024 140274240166824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29235/tid=29241] ppid=29233 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/29235/task/29241/stat : 29241 (java) S 29233 29235 27542 0 -1 4202560 133 0 0 0 3 2 0 0 20 0 19 0 254925775 9855975424 76202 33554432000 1073741824 1073778376 140737318153024 140274239114280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29242] ppid=29233 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/29235/task/29242/stat : 29242 (java) S 29233 29235 27542 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 254925775 9855975424 76202 33554432000 1073741824 1073778376 140737318153024 140274238060712 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29243] ppid=29233 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/29235/task/29243/stat : 29243 (java) S 29233 29235 27542 0 -1 4202560 82 0 0 0 1 0 0 0 20 0 19 0 254925775 9855975424 76202 33554432000 1073741824 1073778376 140737318153024 140274237008168 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29244] ppid=29233 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/29235/task/29244/stat : 29244 (java) S 29233 29235 27542 0 -1 4202560 84 0 0 0 1 0 0 0 20 0 19 0 254925775 9855975424 76202 33554432000 1073741824 1073778376 140737318153024 140274118420904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29245] ppid=29233 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/29235/task/29245/stat : 29245 (java) S 29233 29235 27542 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 254925775 9855975424 76202 33554432000 1073741824 1073778376 140737318153024 140274117368360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29246] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29246/stat : 29246 (java) S 29233 29235 27542 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 254925777 9855975424 76202 33554432000 1073741824 1073778376 140737318153024 140274104957544 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29247] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29247/stat : 29247 (java) S 29233 29235 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254925777 9855975424 76202 33554432000 1073741824 1073778376 140737318153024 140274103903864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29248] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29248/stat : 29248 (java) S 29233 29235 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254925777 9855975424 76202 33554432000 1073741824 1073778376 140737318153024 140274102851208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29249] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29249/stat : 29249 (java) S 29233 29235 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254925780 9855975424 76202 33554432000 1073741824 1073778376 140737318153024 140273363446800 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29250] ppid=29233 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/29235/task/29250/stat : 29250 (java) S 29233 29235 27542 0 -1 4202560 4375 0 0 0 69 0 0 0 20 0 19 0 254925780 9855975424 76202 33554432000 1073741824 1073778376 140737318153024 140273362393144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29251] ppid=29233 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/29235/task/29251/stat : 29251 (java) S 29233 29235 27542 0 -1 4202560 4870 0 0 0 63 1 0 0 20 0 19 0 254925780 9855975424 76202 33554432000 1073741824 1073778376 140737318153024 140273361340600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29252] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29252/stat : 29252 (java) S 29233 29235 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254925780 9855975424 76202 33554432000 1073741824 1073778376 140737318153024 140273360288248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29253] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29253/stat : 29253 (java) S 29233 29235 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254925780 9855975424 76202 33554432000 1073741824 1073778376 140737318153024 140273359235912 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29254] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29254/stat : 29254 (java) S 29233 29235 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254925868 9855975424 76202 33554432000 1073741824 1073778376 140737318153024 140273358181672 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.84
Current children cumulated vsize (KiB) 9624976
[startup+12.7008 s]
################
# More data... #
################
[pid=29235/tid=29250] ppid=29233 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/29235/task/29250/stat : 29250 (java) S 29233 29235 27542 0 -1 4202560 4383 0 0 0 74 0 0 0 20 0 19 0 254925780 9855975424 174411 33554432000 1073741824 1073778376 140737318153024 140273362393144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29235/tid=29251] ppid=29233 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/29235/task/29251/stat : 29251 (java) S 29233 29235 27542 0 -1 4202560 4873 0 0 0 69 1 0 0 20 0 19 0 254925780 9855975424 174411 33554432000 1073741824 1073778376 140737318153024 140273361340600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29252] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29252/stat : 29252 (java) S 29233 29235 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254925780 9855975424 174411 33554432000 1073741824 1073778376 140737318153024 140273360288248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29253] ppid=29233 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/29235/task/29253/stat : 29253 (java) S 29233 29235 27542 0 -1 4202560 99 0 0 0 39 27 0 0 20 0 19 0 254925780 9855975424 174411 33554432000 1073741824 1073778376 140737318153024 140273359235912 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29254] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29254/stat : 29254 (java) S 29233 29235 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254925868 9855975424 174411 33554432000 1073741824 1073778376 140737318153024 140273358181672 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1726.86
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.36 2.11 2.03 3/213 29638
/proc/meminfo: memFree=28481672/32873844 swapFree=7116/7116
[pid=29235] ppid=29233 vsize=9624976 CPUtime=1787.19 cores=1,3,5,7
/proc/29235/stat : 29235 (java) S 29233 29235 27542 0 -1 4202496 15790 0 1 0 178593 126 0 0 20 0 19 0 254925773 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140737318144160 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29235/statm: 2406244 208726 2286 9 0 2396937 0
[pid=29235/tid=29237] ppid=29233 vsize=9624976 CPUtime=1770.85 cores=1,3,5,7
/proc/29235/task/29237/stat : 29237 (java) R 29233 29235 27542 0 -1 4202560 2620 0 1 0 177052 33 0 0 20 0 19 0 254925774 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274280780064 140274119299940 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29238] ppid=29233 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/29235/task/29238/stat : 29238 (java) S 29233 29235 27542 0 -1 4202560 349 0 0 0 30 8 0 0 20 0 19 0 254925775 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274242271912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29239] ppid=29233 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/29235/task/29239/stat : 29239 (java) S 29233 29235 27542 0 -1 4202560 379 0 0 0 37 10 0 0 20 0 19 0 254925775 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274241219368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29240] ppid=29233 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/29235/task/29240/stat : 29240 (java) S 29233 29235 27542 0 -1 4202560 222 0 0 0 37 10 0 0 20 0 19 0 254925775 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274240166824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29241] ppid=29233 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/29235/task/29241/stat : 29241 (java) S 29233 29235 27542 0 -1 4202560 262 0 0 0 38 11 0 0 20 0 19 0 254925775 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274239114280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29242] ppid=29233 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/29235/task/29242/stat : 29242 (java) S 29233 29235 27542 0 -1 4202560 110 0 0 0 33 8 0 0 20 0 19 0 254925775 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274238060712 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29243] ppid=29233 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/29235/task/29243/stat : 29243 (java) S 29233 29235 27542 0 -1 4202560 206 0 0 0 41 11 0 0 20 0 19 0 254925775 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274237008168 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29244] ppid=29233 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/29235/task/29244/stat : 29244 (java) S 29233 29235 27542 0 -1 4202560 188 0 0 0 36 6 0 0 20 0 19 0 254925775 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274118420904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29245] ppid=29233 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/29235/task/29245/stat : 29245 (java) S 29233 29235 27542 0 -1 4202560 136 0 0 0 34 9 0 0 20 0 19 0 254925775 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274117368360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29235/tid=29246] ppid=29233 vsize=9624976 CPUtime=5.83 cores=1,3,5,7
/proc/29235/task/29246/stat : 29246 (java) S 29233 29235 27542 0 -1 4202560 774 0 0 0 580 3 0 0 20 0 19 0 254925777 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274104957544 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29247] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29247/stat : 29247 (java) S 29233 29235 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254925777 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274103903864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29248] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29248/stat : 29248 (java) S 29233 29235 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254925777 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274102851208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29249] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29249/stat : 29249 (java) S 29233 29235 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254925780 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140273363446800 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29250] ppid=29233 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/29235/task/29250/stat : 29250 (java) S 29233 29235 27542 0 -1 4202560 4383 0 0 0 74 0 0 0 20 0 19 0 254925780 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140273362393144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29235/tid=29251] ppid=29233 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/29235/task/29251/stat : 29251 (java) S 29233 29235 27542 0 -1 4202560 4873 0 0 0 69 1 0 0 20 0 19 0 254925780 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140273361340600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29252] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29252/stat : 29252 (java) S 29233 29235 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254925780 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140273360288248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29253] ppid=29233 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/29235/task/29253/stat : 29253 (java) S 29233 29235 27542 0 -1 4202560 103 0 0 0 41 28 0 0 20 0 19 0 254925780 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140273359235912 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29254] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29254/stat : 29254 (java) S 29233 29235 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254925868 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140273358181672 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1787.19
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.1 s]
/proc/loadavg: 2.28 2.10 2.03 3/213 29638
/proc/meminfo: memFree=28483780/32873844 swapFree=7116/7116
[pid=29235] ppid=29233 vsize=9624976 CPUtime=1800.01 cores=1,3,5,7
/proc/29235/stat : 29235 (java) S 29233 29235 27542 0 -1 4202496 15790 0 1 0 179875 126 0 0 20 0 19 0 254925773 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140737318144160 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29235/statm: 2406244 208726 2286 9 0 2396937 0
[pid=29235/tid=29237] ppid=29233 vsize=9624976 CPUtime=1783.63 cores=1,3,5,7
/proc/29235/task/29237/stat : 29237 (java) R 29233 29235 27542 0 -1 4202560 2620 0 1 0 178329 34 0 0 20 0 19 0 254925774 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274280780064 140274119354734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29238] ppid=29233 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/29235/task/29238/stat : 29238 (java) S 29233 29235 27542 0 -1 4202560 349 0 0 0 30 8 0 0 20 0 19 0 254925775 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274242271912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29239] ppid=29233 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/29235/task/29239/stat : 29239 (java) S 29233 29235 27542 0 -1 4202560 379 0 0 0 37 10 0 0 20 0 19 0 254925775 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274241219368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29240] ppid=29233 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/29235/task/29240/stat : 29240 (java) S 29233 29235 27542 0 -1 4202560 222 0 0 0 37 10 0 0 20 0 19 0 254925775 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274240166824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29241] ppid=29233 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/29235/task/29241/stat : 29241 (java) S 29233 29235 27542 0 -1 4202560 262 0 0 0 38 11 0 0 20 0 19 0 254925775 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274239114280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29242] ppid=29233 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/29235/task/29242/stat : 29242 (java) S 29233 29235 27542 0 -1 4202560 110 0 0 0 33 8 0 0 20 0 19 0 254925775 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274238060712 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29243] ppid=29233 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/29235/task/29243/stat : 29243 (java) S 29233 29235 27542 0 -1 4202560 206 0 0 0 41 11 0 0 20 0 19 0 254925775 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274237008168 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29244] ppid=29233 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/29235/task/29244/stat : 29244 (java) S 29233 29235 27542 0 -1 4202560 188 0 0 0 36 6 0 0 20 0 19 0 254925775 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274118420904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29245] ppid=29233 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/29235/task/29245/stat : 29245 (java) S 29233 29235 27542 0 -1 4202560 136 0 0 0 34 9 0 0 20 0 19 0 254925775 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274117368360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29235/tid=29246] ppid=29233 vsize=9624976 CPUtime=5.83 cores=1,3,5,7
/proc/29235/task/29246/stat : 29246 (java) S 29233 29235 27542 0 -1 4202560 774 0 0 0 580 3 0 0 20 0 19 0 254925777 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274104957544 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29247] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29247/stat : 29247 (java) S 29233 29235 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254925777 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274103903864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29248] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29248/stat : 29248 (java) S 29233 29235 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254925777 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274102851208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29249] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29249/stat : 29249 (java) S 29233 29235 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254925780 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140273363446800 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29250] ppid=29233 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/29235/task/29250/stat : 29250 (java) S 29233 29235 27542 0 -1 4202560 4383 0 0 0 74 0 0 0 20 0 19 0 254925780 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140273362393144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29235/tid=29251] ppid=29233 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/29235/task/29251/stat : 29251 (java) S 29233 29235 27542 0 -1 4202560 4873 0 0 0 69 1 0 0 20 0 19 0 254925780 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140273361340600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29252] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29252/stat : 29252 (java) S 29233 29235 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254925780 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140273360288248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29253] ppid=29233 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/29235/task/29253/stat : 29253 (java) S 29233 29235 27542 0 -1 4202560 103 0 0 0 41 29 0 0 20 0 19 0 254925780 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140273359235912 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29254] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29254/stat : 29254 (java) S 29233 29235 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254925868 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140273358181672 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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
[startup+1795.1 s]
/proc/loadavg: 2.28 2.10 2.03 3/213 29638
/proc/meminfo: memFree=28483780/32873844 swapFree=7116/7116
[pid=29235] ppid=29233 vsize=9624976 CPUtime=1800.01 cores=1,3,5,7
/proc/29235/stat : 29235 (java) S 29233 29235 27542 0 -1 4202496 15790 0 1 0 179875 126 0 0 20 0 19 0 254925773 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140737318144160 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29235/statm: 2406244 208726 2286 9 0 2396937 0
[pid=29235/tid=29237] ppid=29233 vsize=9624976 CPUtime=1783.63 cores=1,3,5,7
/proc/29235/task/29237/stat : 29237 (java) R 29233 29235 27542 0 -1 4202560 2620 0 1 0 178329 34 0 0 20 0 19 0 254925774 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274280780064 140274119354734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29238] ppid=29233 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/29235/task/29238/stat : 29238 (java) S 29233 29235 27542 0 -1 4202560 349 0 0 0 30 8 0 0 20 0 19 0 254925775 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274242271912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29239] ppid=29233 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/29235/task/29239/stat : 29239 (java) S 29233 29235 27542 0 -1 4202560 379 0 0 0 37 10 0 0 20 0 19 0 254925775 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274241219368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29240] ppid=29233 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/29235/task/29240/stat : 29240 (java) S 29233 29235 27542 0 -1 4202560 222 0 0 0 37 10 0 0 20 0 19 0 254925775 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274240166824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29241] ppid=29233 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/29235/task/29241/stat : 29241 (java) S 29233 29235 27542 0 -1 4202560 262 0 0 0 38 11 0 0 20 0 19 0 254925775 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274239114280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29242] ppid=29233 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/29235/task/29242/stat : 29242 (java) S 29233 29235 27542 0 -1 4202560 110 0 0 0 33 8 0 0 20 0 19 0 254925775 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274238060712 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29243] ppid=29233 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/29235/task/29243/stat : 29243 (java) S 29233 29235 27542 0 -1 4202560 206 0 0 0 41 11 0 0 20 0 19 0 254925775 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274237008168 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29244] ppid=29233 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/29235/task/29244/stat : 29244 (java) S 29233 29235 27542 0 -1 4202560 188 0 0 0 36 6 0 0 20 0 19 0 254925775 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274118420904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29245] ppid=29233 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/29235/task/29245/stat : 29245 (java) S 29233 29235 27542 0 -1 4202560 136 0 0 0 34 9 0 0 20 0 19 0 254925775 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274117368360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29235/tid=29246] ppid=29233 vsize=9624976 CPUtime=5.83 cores=1,3,5,7
/proc/29235/task/29246/stat : 29246 (java) S 29233 29235 27542 0 -1 4202560 774 0 0 0 580 3 0 0 20 0 19 0 254925777 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274104957544 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29247] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29247/stat : 29247 (java) S 29233 29235 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254925777 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274103903864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29248] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29248/stat : 29248 (java) S 29233 29235 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254925777 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140274102851208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29249] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29249/stat : 29249 (java) S 29233 29235 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254925780 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140273363446800 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29235/tid=29250] ppid=29233 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/29235/task/29250/stat : 29250 (java) S 29233 29235 27542 0 -1 4202560 4383 0 0 0 74 0 0 0 20 0 19 0 254925780 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140273362393144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29235/tid=29251] ppid=29233 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/29235/task/29251/stat : 29251 (java) S 29233 29235 27542 0 -1 4202560 4873 0 0 0 69 1 0 0 20 0 19 0 254925780 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140273361340600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29252] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29252/stat : 29252 (java) S 29233 29235 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254925780 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140273360288248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29235/tid=29253] ppid=29233 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/29235/task/29253/stat : 29253 (java) S 29233 29235 27542 0 -1 4202560 103 0 0 0 41 29 0 0 20 0 19 0 254925780 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140273359235912 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29235/tid=29254] ppid=29233 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29254/stat : 29254 (java) S 29233 29235 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254925868 9855975424 208726 33554432000 1073741824 1073778376 140737318153024 140273358181672 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9624976
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29235 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=999270
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=559762
# CPU time returned by wait4() is 1795.56
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1795.17
CPU time (s): 1800.01
CPU user time (s): 1798.75
CPU system time (s): 1.26
CPU usage (%): 100.27
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794
system time used= 1.55976
maximum resident set size= 835024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15824
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38909
involuntary context switches= 6317
runsolver used 6.94994 second user time and 14.6528 second system time
The end