runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3454249-1307191522/watcher-3454249-1307191522 -o /tmp/evaluation-result-3454249-1307191522/solver-3454249-1307191522 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454249-1307191522.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.69 3.31 4/453 340
/proc/meminfo: memFree=20632812/32951124 swapFree=60787360/67111528
[pid=340] ppid=338 vsize=5596 CPUtime=0 cores=0,2,4,6
/proc/340/stat : 340 (java) R 338 340 29081 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 830750099 5730304 55 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255372378122 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/340/statm: 2254 62 48 9 0 33 0
[pid=340/tid=341] ppid=338 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/340/task/341/stat : 341 (java) R 338 340 29081 0 -1 4202560 5887 0 1 0 0 0 0 0 23 0 2 0 830750100 10694979584 6705 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255376995387 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0723949 s]
/proc/loadavg: 2.03 2.69 3.31 4/453 340
/proc/meminfo: memFree=20632812/32951124 swapFree=60787360/67111528
[pid=340] ppid=338 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/340/stat : 340 (java) S 338 340 29081 0 -1 4202496 11937 0 1 0 5 1 0 0 21 0 18 0 830750099 10724442112 11635 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/340/statm: 2618272 11637 1754 9 0 2609006 0
[pid=340/tid=341] ppid=338 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/340/task/341/stat : 341 (java) R 338 340 29081 0 -1 4202560 10763 0 1 0 5 1 0 0 25 0 18 0 830750100 10724442112 11637 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 47139284726531 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100361 s]
/proc/loadavg: 2.03 2.69 3.31 4/453 340
/proc/meminfo: memFree=20632812/32951124 swapFree=60787360/67111528
[pid=340] ppid=338 vsize=10540260 CPUtime=0.1 cores=0,2,4,6
/proc/340/stat : 340 (java) S 338 340 29081 0 -1 4202496 13145 0 1 0 9 1 0 0 21 0 18 0 830750099 10793226240 12818 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/340/statm: 2635065 12818 2093 9 0 2625799 0
[pid=340/tid=341] ppid=338 vsize=10540260 CPUtime=0.09 cores=0,2,4,6
/proc/340/task/341/stat : 341 (java) R 338 340 29081 0 -1 4202560 11216 0 1 0 8 1 0 0 18 0 18 0 830750100 10793226240 12818 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 47139284721669 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540260
[startup+0.300349 s]
/proc/loadavg: 2.03 2.69 3.31 4/453 340
/proc/meminfo: memFree=20632812/32951124 swapFree=60787360/67111528
[pid=340] ppid=338 vsize=10542276 CPUtime=0.48 cores=0,2,4,6
/proc/340/stat : 340 (java) S 338 340 29081 0 -1 4202496 21097 0 1 0 46 2 0 0 21 0 18 0 830750099 10795290624 20329 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/340/statm: 2635569 20329 2200 9 0 2626303 0
[pid=340/tid=341] ppid=338 vsize=10542276 CPUtime=0.29 cores=0,2,4,6
/proc/340/task/341/stat : 341 (java) R 338 340 29081 0 -1 4202560 18034 0 1 0 27 2 0 0 18 0 18 0 830750100 10795290624 20329 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 46912505546037 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10542276
[startup+0.700228 s]
/proc/loadavg: 2.03 2.69 3.31 4/453 340
/proc/meminfo: memFree=20632812/32951124 swapFree=60787360/67111528
[pid=340] ppid=338 vsize=10555884 CPUtime=1.43 cores=0,2,4,6
/proc/340/stat : 340 (java) S 338 340 29081 0 -1 4202496 53264 0 1 0 137 6 0 0 21 0 18 0 830750099 10809225216 48461 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/340/statm: 2638971 48465 2205 9 0 2629705 0
[pid=340/tid=341] ppid=338 vsize=10555884 CPUtime=0.68 cores=0,2,4,6
/proc/340/task/341/stat : 341 (java) R 338 340 29081 0 -1 4202560 40262 0 1 0 64 4 0 0 18 0 18 0 830750100 10809225216 48466 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 46912505561179 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 10555884
[startup+1.50104 s]
/proc/loadavg: 2.03 2.69 3.31 2/472 365
/proc/meminfo: memFree=20210388/32951124 swapFree=60787360/67111528
[pid=340] ppid=338 vsize=10557940 CPUtime=2.6 cores=0,2,4,6
/proc/340/stat : 340 (java) S 338 340 29081 0 -1 4202496 119052 0 1 0 246 14 0 0 21 0 20 0 830750099 10811330560 114238 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/340/statm: 2639485 114238 2227 9 0 2630219 0
[pid=340/tid=341] ppid=338 vsize=10557940 CPUtime=1.36 cores=0,2,4,6
/proc/340/task/341/stat : 341 (java) S 338 340 29081 0 -1 4202560 101310 0 1 0 124 12 0 0 20 0 20 0 830750100 10811330560 114238 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117952 0 4 0 16800975 18446604448521537664 0 0 -1 0 0 0 0
[pid=340/tid=343] ppid=338 vsize=10557940 CPUtime=0 cores=0,2,4,6
/proc/340/task/343/stat : 343 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 20 0 830750101 10811330560 114239 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=344] ppid=338 vsize=10557940 CPUtime=0 cores=0,2,4,6
/proc/340/task/344/stat : 344 (java) S 338 340 29081 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 830750101 10811330560 114239 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=345] ppid=338 vsize=10558968 CPUtime=0 cores=0,2,4,6
/proc/340/task/345/stat : 345 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830750101 10812383232 114239 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=346] ppid=338 vsize=10558968 CPUtime=0 cores=0,2,4,6
/proc/340/task/346/stat : 346 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830750101 10812383232 114240 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=347] ppid=338 vsize=10558968 CPUtime=0 cores=0,2,4,6
/proc/340/task/347/stat : 347 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830750101 10812383232 114241 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=348] ppid=338 vsize=10558968 CPUtime=0 cores=0,2,4,6
/proc/340/task/348/stat : 348 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830750101 10812383232 114241 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=349] ppid=338 vsize=10558968 CPUtime=0 cores=0,2,4,6
/proc/340/task/349/stat : 349 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830750101 10812383232 114241 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=350] ppid=338 vsize=10558968 CPUtime=0 cores=0,2,4,6
/proc/340/task/350/stat : 350 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830750101 10812383232 114241 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=351] ppid=338 vsize=10558968 CPUtime=0 cores=0,2,4,6
/proc/340/task/351/stat : 351 (java) S 338 340 29081 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 21 0 830750102 10812383232 114241 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117952 0 0 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
[pid=340/tid=352] ppid=338 vsize=10558968 CPUtime=0 cores=0,2,4,6
/proc/340/task/352/stat : 352 (java) S 338 340 29081 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 21 0 830750103 10812383232 114241 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=353] ppid=338 vsize=10558968 CPUtime=0 cores=0,2,4,6
/proc/340/task/353/stat : 353 (java) S 338 340 29081 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 21 0 830750103 10812383232 114241 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=354] ppid=338 vsize=10558968 CPUtime=0 cores=0,2,4,6
/proc/340/task/354/stat : 354 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830750105 10812383232 114241 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389125041 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=355] ppid=338 vsize=10558968 CPUtime=0.57 cores=0,2,4,6
/proc/340/task/355/stat : 355 (java) R 338 340 29081 0 -1 4202560 7413 0 0 0 57 0 0 0 16 0 21 0 830750105 10812383232 114241 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389120274 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=340/tid=356] ppid=338 vsize=10558968 CPUtime=0.41 cores=0,2,4,6
/proc/340/task/356/stat : 356 (java) R 338 340 29081 0 -1 4202560 4516 0 0 0 41 0 0 0 15 0 21 0 830750105 10812383232 114241 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 47139285544866 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=340/tid=357] ppid=338 vsize=10558968 CPUtime=0 cores=0,2,4,6
/proc/340/task/357/stat : 357 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830750105 10812383232 114241 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=358] ppid=338 vsize=10558968 CPUtime=0 cores=0,2,4,6
/proc/340/task/358/stat : 358 (java) S 338 340 29081 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 21 0 830750105 10812383232 114241 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117952 0 4 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 10557940
[startup+3.10081 s]
/proc/loadavg: 2.02 2.68 3.30 4/476 375
/proc/meminfo: memFree=19932348/32951124 swapFree=60787360/67111528
[pid=340] ppid=338 vsize=10559996 CPUtime=6.53 cores=0,2,4,6
/proc/340/stat : 340 (java) S 338 340 29081 0 -1 4202496 169740 0 1 0 632 21 0 0 21 0 22 0 830750099 10813435904 162822 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/340/statm: 2639999 162822 2236 9 0 2630733 0
[pid=340/tid=341] ppid=338 vsize=10559996 CPUtime=1.36 cores=0,2,4,6
/proc/340/task/341/stat : 341 (java) S 338 340 29081 0 -1 4202560 101310 0 1 0 124 12 0 0 15 0 22 0 830750100 10813435904 162822 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117952 0 4 0 16800975 18446604448521537664 0 0 -1 0 0 0 0
[pid=340/tid=343] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/343/stat : 343 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 830750101 10813435904 162822 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=344] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/344/stat : 344 (java) S 338 340 29081 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830750101 10813435904 162822 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=345] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/345/stat : 345 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830750101 10813435904 162822 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=346] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/346/stat : 346 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830750101 10813435904 162822 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=347] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/347/stat : 347 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830750101 10813435904 162822 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=348] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/348/stat : 348 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830750101 10813435904 162822 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=349] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/349/stat : 349 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830750101 10813435904 162822 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=350] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/350/stat : 350 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830750101 10813435904 162822 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=351] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/351/stat : 351 (java) S 338 340 29081 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830750102 10813435904 162822 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117952 0 0 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
[pid=340/tid=352] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/352/stat : 352 (java) S 338 340 29081 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830750103 10813435904 162822 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=353] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/353/stat : 353 (java) S 338 340 29081 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830750103 10813435904 162822 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=354] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/354/stat : 354 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830750105 10813435904 162822 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389125041 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=355] ppid=338 vsize=10559996 CPUtime=0.88 cores=0,2,4,6
/proc/340/task/355/stat : 355 (java) S 338 340 29081 0 -1 4202560 7454 0 0 0 88 0 0 0 15 0 22 0 830750105 10813435904 162822 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 0 0 0 0
[pid=340/tid=356] ppid=338 vsize=10559996 CPUtime=0.83 cores=0,2,4,6
/proc/340/task/356/stat : 356 (java) S 338 340 29081 0 -1 4202560 6674 0 0 0 83 0 0 0 15 0 22 0 830750105 10813435904 162822 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 0 0 0 0
[pid=340/tid=357] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/357/stat : 357 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830750105 10813435904 162822 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=358] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/358/stat : 358 (java) S 338 340 29081 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830750105 10813435904 162822 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117952 0 4 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
[pid=340/tid=366] ppid=338 vsize=10559996 CPUtime=1.72 cores=0,2,4,6
/proc/340/task/366/stat : 366 (java) R 338 340 29081 0 -1 4202560 2047 0 0 0 172 0 0 0 21 0 22 0 830750237 10813435904 162822 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 46912506158066 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=340/tid=367] ppid=338 vsize=10559996 CPUtime=1.7 cores=0,2,4,6
/proc/340/task/367/stat : 367 (java) R 338 340 29081 0 -1 4202560 51087 0 0 0 164 6 0 0 25 0 22 0 830750237 10813435904 162822 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 46912505937058 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=340/tid=371] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/371/stat : 371 (java) S 338 340 29081 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830750249 10813435904 162822 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117952 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=372] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/372/stat : 372 (java) S 338 340 29081 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 830750250 10813435904 162822 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117952 0 4 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.53
Current children cumulated vsize (KiB) 10559996
[startup+6.30124 s]
/proc/loadavg: 2.02 2.68 3.30 3/476 387
/proc/meminfo: memFree=18740592/32951124 swapFree=60787360/67111528
[pid=340] ppid=338 vsize=10559996 CPUtime=13.23 cores=0,2,4,6
/proc/340/stat : 340 (java) S 338 340 29081 0 -1 4202496 291330 0 1 0 1290 33 0 0 21 0 22 0 830750099 10813435904 281504 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/340/statm: 2639999 281504 2262 9 0 2630733 0
[pid=340/tid=341] ppid=338 vsize=10559996 CPUtime=1.36 cores=0,2,4,6
/proc/340/task/341/stat : 341 (java) S 338 340 29081 0 -1 4202560 101310 0 1 0 124 12 0 0 15 0 22 0 830750100 10813435904 281504 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117952 0 4 0 16800975 18446604448521537664 0 0 -1 0 0 0 0
[pid=340/tid=343] ppid=338 vsize=10559996 CPUtime=0.08 cores=0,2,4,6
/proc/340/task/343/stat : 343 (java) S 338 340 29081 0 -1 4202560 7625 0 0 0 8 0 0 0 18 0 22 0 830750101 10813435904 281504 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
[pid=340/tid=344] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/344/stat : 344 (java) S 338 340 29081 0 -1 4202560 270 0 0 0 0 0 0 0 16 0 22 0 830750101 10813435904 281504 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 0 0 0 0
[pid=340/tid=345] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/345/stat : 345 (java) S 338 340 29081 0 -1 4202560 364 0 0 0 0 0 0 0 16 0 22 0 830750101 10813435904 281504 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=346] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/346/stat : 346 (java) S 338 340 29081 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 830750101 10813435904 281504 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=347] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/347/stat : 347 (java) S 338 340 29081 0 -1 4202560 177 0 0 0 0 0 0 0 16 0 22 0 830750101 10813435904 281504 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
[pid=340/tid=348] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/348/stat : 348 (java) S 338 340 29081 0 -1 4202560 390 0 0 0 0 0 0 0 18 0 22 0 830750101 10813435904 281504 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
[pid=340/tid=349] ppid=338 vsize=10559996 CPUtime=0.08 cores=0,2,4,6
/proc/340/task/349/stat : 349 (java) S 338 340 29081 0 -1 4202560 7679 0 0 0 8 0 0 0 18 0 22 0 830750101 10813435904 281504 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=350] ppid=338 vsize=10559996 CPUtime=0.09 cores=0,2,4,6
/proc/340/task/350/stat : 350 (java) S 338 340 29081 0 -1 4202560 7811 0 0 0 8 1 0 0 18 0 22 0 830750101 10813435904 281504 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=351] ppid=338 vsize=10559996 CPUtime=0.31 cores=0,2,4,6
/proc/340/task/351/stat : 351 (java) R 338 340 29081 0 -1 4202560 23244 0 0 0 31 0 0 0 15 0 22 0 830750102 10813435904 281504 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 47139287581088 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=340/tid=352] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/352/stat : 352 (java) S 338 340 29081 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830750103 10813435904 281504 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=353] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/353/stat : 353 (java) S 338 340 29081 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830750103 10813435904 281504 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=354] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/354/stat : 354 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830750105 10813435904 281504 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389125041 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 3.99 3.80 3.61 5/479 522
/proc/meminfo: memFree=12756336/32951124 swapFree=60787360/67111528
[pid=340] ppid=338 vsize=10559996 CPUtime=1621.91 cores=0,2,4,6
/proc/340/stat : 340 (java) S 338 340 29081 0 -1 4202496 1029191 0 1 0 162068 123 0 0 21 0 22 0 830750099 10813435904 1011524 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/340/statm: 2639999 1011524 2264 9 0 2630733 0
[pid=340/tid=341] ppid=338 vsize=10559996 CPUtime=1.36 cores=0,2,4,6
/proc/340/task/341/stat : 341 (java) S 338 340 29081 0 -1 4202560 101395 0 1 0 124 12 0 0 15 0 22 0 830750100 10813435904 1011524 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117952 0 4 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
[pid=340/tid=343] ppid=338 vsize=10559996 CPUtime=1.11 cores=0,2,4,6
/proc/340/task/343/stat : 343 (java) S 338 340 29081 0 -1 4202560 7877 0 0 0 110 1 0 0 15 0 22 0 830750101 10813435904 1011524 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=344] ppid=338 vsize=10559996 CPUtime=0.85 cores=0,2,4,6
/proc/340/task/344/stat : 344 (java) S 338 340 29081 0 -1 4202560 1402 0 0 0 85 0 0 0 15 0 22 0 830750101 10813435904 1011524 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
[pid=340/tid=345] ppid=338 vsize=10559996 CPUtime=1.09 cores=0,2,4,6
/proc/340/task/345/stat : 345 (java) S 338 340 29081 0 -1 4202560 861 0 0 0 109 0 0 0 16 0 22 0 830750101 10813435904 1011524 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 0 0 0 0
[pid=340/tid=346] ppid=338 vsize=10559996 CPUtime=1.06 cores=0,2,4,6
/proc/340/task/346/stat : 346 (java) S 338 340 29081 0 -1 4202560 1617 0 0 0 106 0 0 0 15 0 22 0 830750101 10813435904 1011524 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=347] ppid=338 vsize=10559996 CPUtime=1.14 cores=0,2,4,6
/proc/340/task/347/stat : 347 (java) S 338 340 29081 0 -1 4202560 2237 0 0 0 114 0 0 0 16 0 22 0 830750101 10813435904 1011524 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=348] ppid=338 vsize=10559996 CPUtime=0.99 cores=0,2,4,6
/proc/340/task/348/stat : 348 (java) S 338 340 29081 0 -1 4202560 3119 0 0 0 99 0 0 0 15 0 22 0 830750101 10813435904 1011524 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
[pid=340/tid=349] ppid=338 vsize=10559996 CPUtime=1.02 cores=0,2,4,6
/proc/340/task/349/stat : 349 (java) S 338 340 29081 0 -1 4202560 9674 0 0 0 101 1 0 0 16 0 22 0 830750101 10813435904 1011524 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 0 0 0 0
[pid=340/tid=350] ppid=338 vsize=10559996 CPUtime=1.11 cores=0,2,4,6
/proc/340/task/350/stat : 350 (java) S 338 340 29081 0 -1 4202560 8823 0 0 0 110 1 0 0 16 0 22 0 830750101 10813435904 1011524 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
[pid=340/tid=351] ppid=338 vsize=10559996 CPUtime=147.53 cores=0,2,4,6
/proc/340/task/351/stat : 351 (java) S 338 340 29081 0 -1 4202560 151436 0 0 0 14738 15 0 0 15 0 22 0 830750102 10813435904 1011524 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117952 0 0 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=352] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/352/stat : 352 (java) S 338 340 29081 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830750103 10813435904 1011524 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=353] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/353/stat : 353 (java) S 338 340 29081 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830750103 10813435904 1011524 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=354] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/354/stat : 354 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830750105 10813435904 1011524 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389125041 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=355] ppid=338 vsize=10559996 CPUtime=1.67 cores=0,2,4,6
/proc/340/task/355/stat : 355 (java) S 338 340 29081 0 -1 4202560 7578 0 0 0 167 0 0 0 15 0 22 0 830750105 10813435904 1011524 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 0 0 0 0
[pid=340/tid=356] ppid=338 vsize=10559996 CPUtime=1.35 cores=0,2,4,6
/proc/340/task/356/stat : 356 (java) S 338 340 29081 0 -1 4202560 9504 0 0 0 134 1 0 0 15 0 22 0 830750105 10813435904 1011524 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
[pid=340/tid=357] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/357/stat : 357 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830750105 10813435904 1011524 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=358] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/358/stat : 358 (java) S 338 340 29081 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830750105 10813435904 1011524 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117952 0 4 0 16800975 18446604448521537664 0 0 -1 0 0 0 0
[pid=340/tid=366] ppid=338 vsize=10559996 CPUtime=730.8 cores=0,2,4,6
/proc/340/task/366/stat : 366 (java) R 338 340 29081 0 -1 4202560 2913 0 0 0 73079 1 0 0 20 0 22 0 830750237 10813435904 1011524 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 46912505924982 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=340/tid=367] ppid=338 vsize=10559996 CPUtime=730.67 cores=0,2,4,6
/proc/340/task/367/stat : 367 (java) R 338 340 29081 0 -1 4202560 719546 0 0 0 72984 83 0 0 20 0 22 0 830750237 10813435904 1011524 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 46912506196748 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=340/tid=371] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/371/stat : 371 (java) S 338 340 29081 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830750249 10813435904 1011524 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117952 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=372] ppid=338 vsize=10559996 CPUtime=0 cores=0,2,4,6
/proc/340/task/372/stat : 372 (java) S 338 340 29081 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 830750250 10813435904 1011524 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117952 0 4 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1621.91
Current children cumulated vsize (KiB) 10559996
[startup+942.301 s]
/proc/loadavg: 3.76 3.77 3.61 5/479 534
/proc/meminfo: memFree=12693072/32951124 swapFree=60787360/67111528
[pid=340] ppid=338 vsize=10563156 CPUtime=1730 cores=0,2,4,6
/proc/340/stat : 340 (java) S 338 340 29081 0 -1 4202496 1040785 0 1 0 172876 124 0 0 21 0 22 0 830750099 10816671744 1022468 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/340/statm: 2640789 1022468 2264 9 0 2631523 0
[pid=340/tid=341] ppid=338 vsize=10563156 CPUtime=1.36 cores=0,2,4,6
/proc/340/task/341/stat : 341 (java) S 338 340 29081 0 -1 4202560 101406 0 1 0 124 12 0 0 15 0 22 0 830750100 10816671744 1022468 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117952 0 4 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
[pid=340/tid=343] ppid=338 vsize=10563156 CPUtime=1.16 cores=0,2,4,6
/proc/340/task/343/stat : 343 (java) S 338 340 29081 0 -1 4202560 8460 0 0 0 115 1 0 0 15 0 22 0 830750101 10816671744 1022468 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=344] ppid=338 vsize=10563156 CPUtime=0.95 cores=0,2,4,6
/proc/340/task/344/stat : 344 (java) S 338 340 29081 0 -1 4202560 1518 0 0 0 95 0 0 0 16 0 22 0 830750101 10816671744 1022468 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 0 0 0 0
[pid=340/tid=345] ppid=338 vsize=10563156 CPUtime=1.19 cores=0,2,4,6
/proc/340/task/345/stat : 345 (java) S 338 340 29081 0 -1 4202560 986 0 0 0 119 0 0 0 16 0 22 0 830750101 10816671744 1022468 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
[pid=340/tid=346] ppid=338 vsize=10563156 CPUtime=1.12 cores=0,2,4,6
/proc/340/task/346/stat : 346 (java) S 338 340 29081 0 -1 4202560 2442 0 0 0 112 0 0 0 15 0 22 0 830750101 10816671744 1022468 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=347] ppid=338 vsize=10563156 CPUtime=1.23 cores=0,2,4,6
/proc/340/task/347/stat : 347 (java) S 338 340 29081 0 -1 4202560 2962 0 0 0 123 0 0 0 16 0 22 0 830750101 10816671744 1022468 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=348] ppid=338 vsize=10563156 CPUtime=1.1 cores=0,2,4,6
/proc/340/task/348/stat : 348 (java) S 338 340 29081 0 -1 4202560 3186 0 0 0 110 0 0 0 15 0 22 0 830750101 10816671744 1022468 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 0 0 0 0
[pid=340/tid=349] ppid=338 vsize=10563156 CPUtime=1.14 cores=0,2,4,6
/proc/340/task/349/stat : 349 (java) S 338 340 29081 0 -1 4202560 9689 0 0 0 113 1 0 0 16 0 22 0 830750101 10816671744 1022468 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 0 0 0 0
[pid=340/tid=350] ppid=338 vsize=10563156 CPUtime=1.27 cores=0,2,4,6
/proc/340/task/350/stat : 350 (java) S 338 340 29081 0 -1 4202560 10006 0 0 0 126 1 0 0 16 0 22 0 830750101 10816671744 1022468 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
[pid=340/tid=351] ppid=338 vsize=10563156 CPUtime=159.97 cores=0,2,4,6
/proc/340/task/351/stat : 351 (java) S 338 340 29081 0 -1 4202560 158778 0 0 0 15981 16 0 0 15 0 22 0 830750102 10816671744 1022468 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117952 0 0 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=352] ppid=338 vsize=10563156 CPUtime=0 cores=0,2,4,6
/proc/340/task/352/stat : 352 (java) S 338 340 29081 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830750103 10816671744 1022468 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=353] ppid=338 vsize=10563156 CPUtime=0 cores=0,2,4,6
/proc/340/task/353/stat : 353 (java) S 338 340 29081 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830750103 10816671744 1022468 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=354] ppid=338 vsize=10563156 CPUtime=0 cores=0,2,4,6
/proc/340/task/354/stat : 354 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830750105 10816671744 1022468 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389125041 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=355] ppid=338 vsize=10563156 CPUtime=1.83 cores=0,2,4,6
/proc/340/task/355/stat : 355 (java) S 338 340 29081 0 -1 4202560 8170 0 0 0 182 1 0 0 15 0 22 0 830750105 10816671744 1022468 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 0 0 0 0
[pid=340/tid=356] ppid=338 vsize=10563156 CPUtime=1.37 cores=0,2,4,6
/proc/340/task/356/stat : 356 (java) S 338 340 29081 0 -1 4202560 9507 0 0 0 136 1 0 0 15 0 22 0 830750105 10816671744 1022468 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
[pid=340/tid=357] ppid=338 vsize=10563156 CPUtime=0 cores=0,2,4,6
/proc/340/task/357/stat : 357 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830750105 10816671744 1022468 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=358] ppid=338 vsize=10563156 CPUtime=0 cores=0,2,4,6
/proc/340/task/358/stat : 358 (java) S 338 340 29081 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 830750105 10816671744 1022468 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117952 0 4 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
[pid=340/tid=366] ppid=338 vsize=10563156 CPUtime=778.15 cores=0,2,4,6
/proc/340/task/366/stat : 366 (java) R 338 340 29081 0 -1 4202560 2913 0 0 0 77814 1 0 0 19 0 22 0 830750237 10816671744 1022468 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 46912505924877 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=340/tid=367] ppid=338 vsize=10563156 CPUtime=778.01 cores=0,2,4,6
/proc/340/task/367/stat : 367 (java) R 338 340 29081 0 -1 4202560 719549 0 0 0 77718 83 0 0 19 0 22 0 830750237 10816671744 1022468 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 46912506246124 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=340/tid=371] ppid=338 vsize=10563156 CPUtime=0 cores=0,2,4,6
/proc/340/task/371/stat : 371 (java) S 338 340 29081 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830750249 10816671744 1022468 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117952 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=372] ppid=338 vsize=10563156 CPUtime=0 cores=0,2,4,6
/proc/340/task/372/stat : 372 (java) S 338 340 29081 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 830750250 10816671744 1022468 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117952 0 4 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1730
Current children cumulated vsize (KiB) 10563156
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+980.801 s]
/proc/loadavg: 3.65 3.74 3.61 4/479 657
/proc/meminfo: memFree=15863852/32951124 swapFree=60787360/67111528
[pid=340] ppid=338 vsize=10563156 CPUtime=1800.18 cores=0,2,4,6
/proc/340/stat : 340 (java) S 338 340 29081 0 -1 4202496 1043309 0 1 0 179893 125 0 0 21 0 22 0 830750099 10816671744 1024982 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/340/statm: 2640789 1024982 2264 9 0 2631523 0
[pid=340/tid=341] ppid=338 vsize=10563156 CPUtime=1.36 cores=0,2,4,6
/proc/340/task/341/stat : 341 (java) S 338 340 29081 0 -1 4202560 101410 0 1 0 124 12 0 0 15 0 22 0 830750100 10816671744 1024982 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117952 0 4 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
[pid=340/tid=343] ppid=338 vsize=10563156 CPUtime=1.23 cores=0,2,4,6
/proc/340/task/343/stat : 343 (java) S 338 340 29081 0 -1 4202560 8466 0 0 0 122 1 0 0 16 0 22 0 830750101 10816671744 1024982 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=344] ppid=338 vsize=10563156 CPUtime=1 cores=0,2,4,6
/proc/340/task/344/stat : 344 (java) S 338 340 29081 0 -1 4202560 1519 0 0 0 100 0 0 0 15 0 22 0 830750101 10816671744 1024982 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=345] ppid=338 vsize=10563156 CPUtime=1.24 cores=0,2,4,6
/proc/340/task/345/stat : 345 (java) S 338 340 29081 0 -1 4202560 989 0 0 0 124 0 0 0 15 0 22 0 830750101 10816671744 1024982 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
[pid=340/tid=346] ppid=338 vsize=10563156 CPUtime=1.18 cores=0,2,4,6
/proc/340/task/346/stat : 346 (java) S 338 340 29081 0 -1 4202560 2445 0 0 0 118 0 0 0 15 0 22 0 830750101 10816671744 1024982 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=347] ppid=338 vsize=10563156 CPUtime=1.26 cores=0,2,4,6
/proc/340/task/347/stat : 347 (java) S 338 340 29081 0 -1 4202560 2967 0 0 0 126 0 0 0 16 0 22 0 830750101 10816671744 1024982 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=348] ppid=338 vsize=10563156 CPUtime=1.11 cores=0,2,4,6
/proc/340/task/348/stat : 348 (java) S 338 340 29081 0 -1 4202560 3186 0 0 0 111 0 0 0 16 0 22 0 830750101 10816671744 1024982 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
[pid=340/tid=349] ppid=338 vsize=10563156 CPUtime=1.19 cores=0,2,4,6
/proc/340/task/349/stat : 349 (java) S 338 340 29081 0 -1 4202560 9692 0 0 0 118 1 0 0 15 0 22 0 830750101 10816671744 1024982 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=350] ppid=338 vsize=10563156 CPUtime=1.32 cores=0,2,4,6
/proc/340/task/350/stat : 350 (java) S 338 340 29081 0 -1 4202560 10010 0 0 0 131 1 0 0 16 0 22 0 830750101 10816671744 1024982 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=351] ppid=338 vsize=10563156 CPUtime=166.94 cores=0,2,4,6
/proc/340/task/351/stat : 351 (java) S 338 340 29081 0 -1 4202560 161269 0 0 0 16678 16 0 0 15 0 22 0 830750102 10816671744 1024982 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117952 0 0 0 16800975 18446604448521537664 0 0 -1 0 0 0 0
[pid=340/tid=352] ppid=338 vsize=10563156 CPUtime=0 cores=0,2,4,6
/proc/340/task/352/stat : 352 (java) S 338 340 29081 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830750103 10816671744 1024982 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=353] ppid=338 vsize=10563156 CPUtime=0 cores=0,2,4,6
/proc/340/task/353/stat : 353 (java) S 338 340 29081 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830750103 10816671744 1024982 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=354] ppid=338 vsize=10563156 CPUtime=0 cores=0,2,4,6
/proc/340/task/354/stat : 354 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830750105 10816671744 1024982 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389125041 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=355] ppid=338 vsize=10563156 CPUtime=1.83 cores=0,2,4,6
/proc/340/task/355/stat : 355 (java) S 338 340 29081 0 -1 4202560 8170 0 0 0 182 1 0 0 15 0 22 0 830750105 10816671744 1024982 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 0 0 0 0
[pid=340/tid=356] ppid=338 vsize=10563156 CPUtime=1.37 cores=0,2,4,6
/proc/340/task/356/stat : 356 (java) S 338 340 29081 0 -1 4202560 9507 0 0 0 136 1 0 0 15 0 22 0 830750105 10816671744 1024982 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
[pid=340/tid=357] ppid=338 vsize=10563156 CPUtime=0 cores=0,2,4,6
/proc/340/task/357/stat : 357 (java) S 338 340 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830750105 10816671744 1024982 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117337 0 4 0 16800975 18446604448521537664 0 0 -1 4 0 0 0
[pid=340/tid=358] ppid=338 vsize=10563156 CPUtime=0 cores=0,2,4,6
/proc/340/task/358/stat : 358 (java) S 338 340 29081 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 22 0 830750105 10816671744 1024982 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117952 0 4 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
[pid=340/tid=366] ppid=338 vsize=10563156 CPUtime=809.58 cores=0,2,4,6
/proc/340/task/366/stat : 366 (java) R 338 340 29081 0 -1 4202560 2915 0 0 0 80957 1 0 0 21 0 22 0 830750237 10816671744 1024982 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 46912506123616 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=340/tid=367] ppid=338 vsize=10563156 CPUtime=809.45 cores=0,2,4,6
/proc/340/task/367/stat : 367 (java) R 338 340 29081 0 -1 4202560 719549 0 0 0 80861 84 0 0 21 0 22 0 830750237 10816671744 1024982 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 46912505758271 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=340/tid=371] ppid=338 vsize=10563156 CPUtime=0 cores=0,2,4,6
/proc/340/task/371/stat : 371 (java) S 338 340 29081 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830750249 10816671744 1024982 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117952 0 4 0 16800975 18446604448521537664 0 0 -1 6 0 0 0
[pid=340/tid=372] ppid=338 vsize=10563156 CPUtime=0 cores=0,2,4,6
/proc/340/task/372/stat : 372 (java) S 338 340 29081 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 830750250 10816671744 1024982 33554432000 1073741824 1073778376 140734547029216 18446744073709551615 255389117952 0 4 0 16800975 18446604448521537664 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 10563156
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+980.923 s]
/proc/loadavg: 3.65 3.74 3.61 4/479 657
/proc/meminfo: memFree=15863852/32951124 swapFree=60787360/67111528
[pid=340] ppid=338 vsize=0 CPUtime=1800.34 cores=0,2,4,6
/proc/340/stat : 340 (java) Z 338 340 29081 0 -1 4203548 1043343 0 1 0 179900 134 0 0 17 0 2 0 830750099 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/340/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 980.994
CPU time (s): 1800.43
CPU user time (s): 1799.01
CPU system time (s): 1.41578
CPU usage (%): 183.531
Max. virtual memory (cumulated for all children) (KiB): 10563156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.41578
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1043343
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29762
involuntary context switches= 19438
runsolver used 4.74128 second user time and 9.58154 second system time
The end