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-3454527-1307188473/watcher-3454527-1307188473 -o /tmp/evaluation-result-3454527-1307188473/solver-3454527-1307188473 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454527-1307188473.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: 4.02 3.88 2.99 3/294 14340
/proc/meminfo: memFree=24752708/32951124 swapFree=55664332/67111528
[pid=14340] ppid=14338 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/14340/stat : 14340 (java) R 14338 14340 10640 0 -1 4202496 950 0 0 0 0 0 0 0 25 0 1 0 830448102 23580672 693 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222916814737 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14340/statm: 5757 693 510 9 0 124 0
[pid=14340/tid=14341] ppid=14338 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14341/stat : 14341 (java) S 14338 14340 10640 0 -1 4202560 202 0 0 0 0 0 0 0 25 0 2 0 830448103 36646912 1018 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222921797190 0 0 0 16784584 4532508816016670719 0 0 -1 3 0 0 0
[startup+0.073461 s]
/proc/loadavg: 4.02 3.88 2.99 3/294 14340
/proc/meminfo: memFree=24752708/32951124 swapFree=55664332/67111528
[pid=14340] ppid=14338 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/14340/stat : 14340 (java) S 14338 14340 10640 0 -1 4202496 11858 0 1 0 5 1 0 0 25 0 18 0 830448102 10724442112 11554 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14340/statm: 2618272 11554 1754 9 0 2609006 0
[pid=14340/tid=14341] ppid=14338 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/14340/task/14341/stat : 14341 (java) R 14338 14340 10640 0 -1 4202560 10684 0 1 0 4 1 0 0 25 0 18 0 830448103 10724442112 11556 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100423 s]
/proc/loadavg: 4.02 3.88 2.99 3/294 14340
/proc/meminfo: memFree=24752708/32951124 swapFree=55664332/67111528
[pid=14340] ppid=14338 vsize=10540256 CPUtime=0.1 cores=1,3,5,7
/proc/14340/stat : 14340 (java) S 14338 14340 10640 0 -1 4202496 13032 0 1 0 8 2 0 0 25 0 18 0 830448102 10793222144 12728 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14340/statm: 2635064 12728 2092 9 0 2625798 0
[pid=14340/tid=14341] ppid=14338 vsize=10540256 CPUtime=0.08 cores=1,3,5,7
/proc/14340/task/14341/stat : 14341 (java) R 14338 14340 10640 0 -1 4202560 11111 0 1 0 7 1 0 0 18 0 18 0 830448103 10793222144 12728 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222921438241 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540256
[startup+0.300385 s]
/proc/loadavg: 4.02 3.88 2.99 3/294 14340
/proc/meminfo: memFree=24752708/32951124 swapFree=55664332/67111528
[pid=14340] ppid=14338 vsize=10541896 CPUtime=0.51 cores=1,3,5,7
/proc/14340/stat : 14340 (java) S 14338 14340 10640 0 -1 4202496 17361 0 1 0 48 3 0 0 25 0 18 0 830448102 10794901504 16550 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14340/statm: 2635474 16551 2200 9 0 2626208 0
[pid=14340/tid=14341] ppid=14338 vsize=10541896 CPUtime=0.28 cores=1,3,5,7
/proc/14340/task/14341/stat : 14341 (java) R 14338 14340 10640 0 -1 4202560 14166 0 1 0 26 2 0 0 18 0 18 0 830448103 10794901504 16551 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 47910618692404 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10541896
[startup+0.700314 s]
/proc/loadavg: 4.02 3.88 2.99 3/294 14340
/proc/meminfo: memFree=24752708/32951124 swapFree=55664332/67111528
[pid=14340] ppid=14338 vsize=10550756 CPUtime=1.5 cores=1,3,5,7
/proc/14340/stat : 14340 (java) S 14338 14340 10640 0 -1 4202496 42483 0 1 0 144 6 0 0 25 0 22 0 830448102 10803974144 40420 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14340/statm: 2637689 40421 2234 9 0 2628423 0
[pid=14340/tid=14341] ppid=14338 vsize=10550756 CPUtime=0.6 cores=1,3,5,7
/proc/14340/task/14341/stat : 14341 (java) S 14338 14340 10640 0 -1 4202560 35399 0 1 0 55 5 0 0 19 0 22 0 830448103 10803974144 40421 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 10550756
[startup+1.50117 s]
/proc/loadavg: 4.02 3.88 2.99 3/313 14362
/proc/meminfo: memFree=24591428/32951124 swapFree=55664332/67111528
[pid=14340] ppid=14338 vsize=10558808 CPUtime=3.54 cores=1,3,5,7
/proc/14340/stat : 14340 (java) S 14338 14340 10640 0 -1 4202496 75971 0 1 0 344 10 0 0 25 0 22 0 830448102 10812219392 69887 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14340/statm: 2639702 69892 2245 9 0 2630436 0
[pid=14340/tid=14341] ppid=14338 vsize=10558808 CPUtime=0.61 cores=1,3,5,7
/proc/14340/task/14341/stat : 14341 (java) S 14338 14340 10640 0 -1 4202560 35457 0 1 0 56 5 0 0 16 0 22 0 830448103 10812219392 69894 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14343] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14343/stat : 14343 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830448104 10812219392 69896 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14344] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14344/stat : 14344 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830448104 10812219392 69899 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14345] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14345/stat : 14345 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830448104 10812219392 69901 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14346] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14346/stat : 14346 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830448104 10812219392 69904 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14347] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14347/stat : 14347 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830448104 10812219392 69907 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14348] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14348/stat : 14348 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830448104 10812219392 69910 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14349] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14349/stat : 14349 (java) S 14338 14340 10640 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 830448104 10812219392 69912 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14350] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14350/stat : 14350 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830448104 10812219392 69915 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14351] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14351/stat : 14351 (java) S 14338 14340 10640 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 830448105 10812219392 69918 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 0 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14352] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14352/stat : 14352 (java) S 14338 14340 10640 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 22 0 830448106 10812219392 69920 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14353] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14353/stat : 14353 (java) S 14338 14340 10640 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 830448106 10812219392 69923 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14354] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14354/stat : 14354 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830448108 10812219392 69925 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933600689 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14355] ppid=14338 vsize=10558808 CPUtime=0.87 cores=1,3,5,7
/proc/14340/task/14355/stat : 14355 (java) R 14338 14340 10640 0 -1 4202560 6381 0 0 0 87 0 0 0 24 0 22 0 830448108 10812219392 69927 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 47910616882421 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14340/tid=14356] ppid=14338 vsize=10558808 CPUtime=0.9 cores=1,3,5,7
/proc/14340/task/14356/stat : 14356 (java) R 14338 14340 10640 0 -1 4202560 7292 0 0 0 90 0 0 0 24 0 22 0 830448108 10812219392 69929 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 47910613425119 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=14340/tid=14357] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14357/stat : 14357 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830448108 10812219392 69932 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14358] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14358/stat : 14358 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830448108 10812219392 69934 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14361] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14361/stat : 14361 (java) S 14338 14340 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830448165 10812219392 69936 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 10558808
[startup+3.10091 s]
/proc/loadavg: 4.02 3.88 2.99 5/316 14365
/proc/meminfo: memFree=24279420/32951124 swapFree=55664332/67111528
[pid=14340] ppid=14338 vsize=10558808 CPUtime=6.65 cores=1,3,5,7
/proc/14340/stat : 14340 (java) S 14338 14340 10640 0 -1 4202496 183232 0 1 0 643 22 0 0 25 0 19 0 830448102 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14340/statm: 2639702 176399 2269 9 0 2630436 0
[pid=14340/tid=14341] ppid=14338 vsize=10558808 CPUtime=0.61 cores=1,3,5,7
/proc/14340/task/14341/stat : 14341 (java) S 14338 14340 10640 0 -1 4202560 35457 0 1 0 56 5 0 0 15 0 19 0 830448103 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14343] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14343/stat : 14343 (java) S 14338 14340 10640 0 -1 4202560 273 0 0 0 0 0 0 0 18 0 19 0 830448104 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14344] ppid=14338 vsize=10558808 CPUtime=0.01 cores=1,3,5,7
/proc/14340/task/14344/stat : 14344 (java) S 14338 14340 10640 0 -1 4202560 1037 0 0 0 1 0 0 0 18 0 19 0 830448104 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14345] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14345/stat : 14345 (java) S 14338 14340 10640 0 -1 4202560 915 0 0 0 0 0 0 0 18 0 19 0 830448104 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14346] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14346/stat : 14346 (java) S 14338 14340 10640 0 -1 4202560 724 0 0 0 0 0 0 0 18 0 19 0 830448104 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14347] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14347/stat : 14347 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830448104 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14348] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14348/stat : 14348 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830448104 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14349] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14349/stat : 14349 (java) S 14338 14340 10640 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830448104 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14350] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14350/stat : 14350 (java) S 14338 14340 10640 0 -1 4202560 860 0 0 0 0 0 0 0 18 0 19 0 830448104 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14351] ppid=14338 vsize=10558808 CPUtime=0.05 cores=1,3,5,7
/proc/14340/task/14351/stat : 14351 (java) S 14338 14340 10640 0 -1 4202560 3798 0 0 0 5 0 0 0 16 0 19 0 830448105 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 0 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14352] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14352/stat : 14352 (java) S 14338 14340 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830448106 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14353] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14353/stat : 14353 (java) S 14338 14340 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 830448106 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14354] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14354/stat : 14354 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830448108 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933600689 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14355] ppid=14338 vsize=10558808 CPUtime=1 cores=1,3,5,7
/proc/14340/task/14355/stat : 14355 (java) S 14338 14340 10640 0 -1 4202560 6401 0 0 0 100 0 0 0 15 0 19 0 830448108 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14356] ppid=14338 vsize=10558808 CPUtime=1.17 cores=1,3,5,7
/proc/14340/task/14356/stat : 14356 (java) S 14338 14340 10640 0 -1 4202560 7564 0 0 0 117 0 0 0 16 0 19 0 830448108 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14357] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14357/stat : 14357 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830448108 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14358] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14358/stat : 14358 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830448108 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14361] ppid=14338 vsize=10558808 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14361/stat : 14361 (java) S 14338 14340 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 830448165 10812219392 176399 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.65
Current children cumulated vsize (KiB) 10558808
[startup+6.30132 s]
/proc/loadavg: 4.02 3.88 2.99 4/316 14371
/proc/meminfo: memFree=24037052/32951124 swapFree=55664332/67111528
[pid=14340] ppid=14338 vsize=10555800 CPUtime=12.7 cores=1,3,5,7
/proc/14340/stat : 14340 (java) S 14338 14340 10640 0 -1 4202496 188594 0 1 0 1247 23 0 0 25 0 22 0 830448102 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14340/statm: 2638950 180204 2269 9 0 2629684 0
[pid=14340/tid=14341] ppid=14338 vsize=10555800 CPUtime=0.61 cores=1,3,5,7
/proc/14340/task/14341/stat : 14341 (java) S 14338 14340 10640 0 -1 4202560 35460 0 1 0 56 5 0 0 15 0 22 0 830448103 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14343] ppid=14338 vsize=10555800 CPUtime=0.01 cores=1,3,5,7
/proc/14340/task/14343/stat : 14343 (java) S 14338 14340 10640 0 -1 4202560 714 0 0 0 1 0 0 0 18 0 22 0 830448104 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14344] ppid=14338 vsize=10555800 CPUtime=0.01 cores=1,3,5,7
/proc/14340/task/14344/stat : 14344 (java) S 14338 14340 10640 0 -1 4202560 1186 0 0 0 1 0 0 0 16 0 22 0 830448104 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14345] ppid=14338 vsize=10555800 CPUtime=0.01 cores=1,3,5,7
/proc/14340/task/14345/stat : 14345 (java) S 14338 14340 10640 0 -1 4202560 916 0 0 0 1 0 0 0 15 0 22 0 830448104 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14346] ppid=14338 vsize=10555800 CPUtime=0.01 cores=1,3,5,7
/proc/14340/task/14346/stat : 14346 (java) S 14338 14340 10640 0 -1 4202560 854 0 0 0 1 0 0 0 16 0 22 0 830448104 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14347] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14347/stat : 14347 (java) S 14338 14340 10640 0 -1 4202560 168 0 0 0 0 0 0 0 16 0 22 0 830448104 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14348] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14348/stat : 14348 (java) S 14338 14340 10640 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 830448104 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14349] ppid=14338 vsize=10555800 CPUtime=0.01 cores=1,3,5,7
/proc/14340/task/14349/stat : 14349 (java) S 14338 14340 10640 0 -1 4202560 358 0 0 0 1 0 0 0 15 0 22 0 830448104 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14350] ppid=14338 vsize=10555800 CPUtime=0.01 cores=1,3,5,7
/proc/14340/task/14350/stat : 14350 (java) S 14338 14340 10640 0 -1 4202560 1196 0 0 0 1 0 0 0 16 0 22 0 830448104 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14351] ppid=14338 vsize=10555800 CPUtime=0.22 cores=1,3,5,7
/proc/14340/task/14351/stat : 14351 (java) S 14338 14340 10640 0 -1 4202560 5343 0 0 0 22 0 0 0 16 0 22 0 830448105 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 0 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14352] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14352/stat : 14352 (java) S 14338 14340 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830448106 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14353] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14353/stat : 14353 (java) S 14338 14340 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830448106 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14354] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14354/stat : 14354 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830448108 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933600689 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14355] ppid=14338 vsize=10555800 CPUtime=1.08 cores=1,3,5,7
/proc/14340/task/14355/stat : 14355 (java) S 14338 14340 10640 0 -1 4202560 6407 0 0 0 108 0 0 0 15 0 22 0 830448108 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14356] ppid=14338 vsize=10555800 CPUtime=1.29 cores=1,3,5,7
/proc/14340/task/14356/stat : 14356 (java) S 14338 14340 10640 0 -1 4202560 8411 0 0 0 129 0 0 0 15 0 22 0 830448108 10809139200 180204 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=14340/tid=14607] ppid=14338 vsize=10555800 CPUtime=411.09 cores=1,3,5,7
/proc/14340/task/14607/stat : 14607 (java) R 14338 14340 10640 0 -1 4202560 2 0 0 0 41109 0 0 0 25 0 22 0 830485991 10809139200 526341 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 46912505839948 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14340/tid=14608] ppid=14338 vsize=10555800 CPUtime=411.09 cores=1,3,5,7
/proc/14340/task/14608/stat : 14608 (java) R 14338 14340 10640 0 -1 4202560 7 0 0 0 41109 0 0 0 25 0 22 0 830485991 10809139200 526341 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 46912505919245 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14340/tid=14609] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14609/stat : 14609 (java) S 14338 14340 10640 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830485991 10809139200 526341 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1596.31
Current children cumulated vsize (KiB) 10555800
[startup+882.301 s]
/proc/loadavg: 3.72 3.72 3.41 5/316 14635
/proc/meminfo: memFree=25581660/32951124 swapFree=55664332/67111528
[pid=14340] ppid=14338 vsize=10555800 CPUtime=1711.98 cores=1,3,5,7
/proc/14340/stat : 14340 (java) S 14338 14340 10640 0 -1 4202496 540822 0 1 0 171131 67 0 0 25 0 22 0 830448102 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14340/statm: 2638950 528154 2270 9 0 2629684 0
[pid=14340/tid=14341] ppid=14338 vsize=10555800 CPUtime=0.62 cores=1,3,5,7
/proc/14340/task/14341/stat : 14341 (java) S 14338 14340 10640 0 -1 4202560 35545 0 1 0 57 5 0 0 15 0 22 0 830448103 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14343] ppid=14338 vsize=10555800 CPUtime=0.74 cores=1,3,5,7
/proc/14340/task/14343/stat : 14343 (java) S 14338 14340 10640 0 -1 4202560 1249 0 0 0 74 0 0 0 15 0 22 0 830448104 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14344] ppid=14338 vsize=10555800 CPUtime=0.75 cores=1,3,5,7
/proc/14340/task/14344/stat : 14344 (java) S 14338 14340 10640 0 -1 4202560 1484 0 0 0 75 0 0 0 16 0 22 0 830448104 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14345] ppid=14338 vsize=10555800 CPUtime=0.72 cores=1,3,5,7
/proc/14340/task/14345/stat : 14345 (java) S 14338 14340 10640 0 -1 4202560 1292 0 0 0 72 0 0 0 16 0 22 0 830448104 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14346] ppid=14338 vsize=10555800 CPUtime=0.62 cores=1,3,5,7
/proc/14340/task/14346/stat : 14346 (java) S 14338 14340 10640 0 -1 4202560 1321 0 0 0 62 0 0 0 15 0 22 0 830448104 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14347] ppid=14338 vsize=10555800 CPUtime=0.71 cores=1,3,5,7
/proc/14340/task/14347/stat : 14347 (java) S 14338 14340 10640 0 -1 4202560 1209 0 0 0 71 0 0 0 16 0 22 0 830448104 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14348] ppid=14338 vsize=10555800 CPUtime=0.71 cores=1,3,5,7
/proc/14340/task/14348/stat : 14348 (java) S 14338 14340 10640 0 -1 4202560 363 0 0 0 71 0 0 0 16 0 22 0 830448104 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14349] ppid=14338 vsize=10555800 CPUtime=0.77 cores=1,3,5,7
/proc/14340/task/14349/stat : 14349 (java) S 14338 14340 10640 0 -1 4202560 996 0 0 0 77 0 0 0 15 0 22 0 830448104 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14350] ppid=14338 vsize=10555800 CPUtime=0.86 cores=1,3,5,7
/proc/14340/task/14350/stat : 14350 (java) S 14338 14340 10640 0 -1 4202560 1886 0 0 0 86 0 0 0 15 0 22 0 830448104 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14351] ppid=14338 vsize=10555800 CPUtime=53.59 cores=1,3,5,7
/proc/14340/task/14351/stat : 14351 (java) S 14338 14340 10640 0 -1 4202560 66414 0 0 0 5353 6 0 0 15 0 22 0 830448105 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 0 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14352] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14352/stat : 14352 (java) S 14338 14340 10640 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 830448106 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14353] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14353/stat : 14353 (java) S 14338 14340 10640 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 22 0 830448106 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14354] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14354/stat : 14354 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830448108 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933600689 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14355] ppid=14338 vsize=10555800 CPUtime=1.24 cores=1,3,5,7
/proc/14340/task/14355/stat : 14355 (java) S 14338 14340 10640 0 -1 4202560 6407 0 0 0 124 0 0 0 15 0 22 0 830448108 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14356] ppid=14338 vsize=10555800 CPUtime=1.95 cores=1,3,5,7
/proc/14340/task/14356/stat : 14356 (java) S 14338 14340 10640 0 -1 4202560 12478 0 0 0 194 1 0 0 15 0 22 0 830448108 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14357] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14357/stat : 14357 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830448108 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14358] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14358/stat : 14358 (java) S 14338 14340 10640 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830448108 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14361] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14361/stat : 14361 (java) S 14338 14340 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830448165 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14607] ppid=14338 vsize=10555800 CPUtime=466.46 cores=1,3,5,7
/proc/14340/task/14607/stat : 14607 (java) R 14338 14340 10640 0 -1 4202560 2 0 0 0 46646 0 0 0 25 0 22 0 830485991 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 46912506267744 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14340/tid=14608] ppid=14338 vsize=10555800 CPUtime=466.46 cores=1,3,5,7
/proc/14340/task/14608/stat : 14608 (java) R 14338 14340 10640 0 -1 4202560 8 0 0 0 46646 0 0 0 25 0 22 0 830485991 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 46912505919183 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14340/tid=14609] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14609/stat : 14609 (java) S 14338 14340 10640 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830485991 10809139200 528154 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1711.98
Current children cumulated vsize (KiB) 10555800
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+927.901 s]
/proc/loadavg: 3.91 3.77 3.44 5/316 14636
/proc/meminfo: memFree=25573312/32951124 swapFree=55664332/67111528
[pid=14340] ppid=14338 vsize=10555800 CPUtime=1800.02 cores=1,3,5,7
/proc/14340/stat : 14340 (java) S 14338 14340 10640 0 -1 4202496 542883 0 1 0 179935 67 0 0 25 0 22 0 830448102 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14340/statm: 2638950 530201 2270 9 0 2629684 0
[pid=14340/tid=14341] ppid=14338 vsize=10555800 CPUtime=0.62 cores=1,3,5,7
/proc/14340/task/14341/stat : 14341 (java) S 14338 14340 10640 0 -1 4202560 35551 0 1 0 57 5 0 0 15 0 22 0 830448103 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14343] ppid=14338 vsize=10555800 CPUtime=0.8 cores=1,3,5,7
/proc/14340/task/14343/stat : 14343 (java) S 14338 14340 10640 0 -1 4202560 1253 0 0 0 80 0 0 0 16 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14344] ppid=14338 vsize=10555800 CPUtime=0.83 cores=1,3,5,7
/proc/14340/task/14344/stat : 14344 (java) S 14338 14340 10640 0 -1 4202560 1489 0 0 0 83 0 0 0 16 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14345] ppid=14338 vsize=10555800 CPUtime=0.75 cores=1,3,5,7
/proc/14340/task/14345/stat : 14345 (java) S 14338 14340 10640 0 -1 4202560 1295 0 0 0 75 0 0 0 15 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14346] ppid=14338 vsize=10555800 CPUtime=0.65 cores=1,3,5,7
/proc/14340/task/14346/stat : 14346 (java) S 14338 14340 10640 0 -1 4202560 1325 0 0 0 65 0 0 0 16 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14347] ppid=14338 vsize=10555800 CPUtime=0.77 cores=1,3,5,7
/proc/14340/task/14347/stat : 14347 (java) S 14338 14340 10640 0 -1 4202560 1211 0 0 0 77 0 0 0 16 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14348] ppid=14338 vsize=10555800 CPUtime=0.76 cores=1,3,5,7
/proc/14340/task/14348/stat : 14348 (java) S 14338 14340 10640 0 -1 4202560 366 0 0 0 76 0 0 0 15 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14349] ppid=14338 vsize=10555800 CPUtime=0.8 cores=1,3,5,7
/proc/14340/task/14349/stat : 14349 (java) S 14338 14340 10640 0 -1 4202560 996 0 0 0 80 0 0 0 16 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14350] ppid=14338 vsize=10555800 CPUtime=0.88 cores=1,3,5,7
/proc/14340/task/14350/stat : 14350 (java) S 14338 14340 10640 0 -1 4202560 1887 0 0 0 88 0 0 0 15 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14351] ppid=14338 vsize=10555800 CPUtime=56.92 cores=1,3,5,7
/proc/14340/task/14351/stat : 14351 (java) S 14338 14340 10640 0 -1 4202560 68443 0 0 0 5685 7 0 0 15 0 22 0 830448105 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 0 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14352] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14352/stat : 14352 (java) S 14338 14340 10640 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 830448106 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14353] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14353/stat : 14353 (java) S 14338 14340 10640 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 22 0 830448106 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14354] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14354/stat : 14354 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830448108 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933600689 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14355] ppid=14338 vsize=10555800 CPUtime=1.24 cores=1,3,5,7
/proc/14340/task/14355/stat : 14355 (java) S 14338 14340 10640 0 -1 4202560 6407 0 0 0 124 0 0 0 15 0 22 0 830448108 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14356] ppid=14338 vsize=10555800 CPUtime=1.95 cores=1,3,5,7
/proc/14340/task/14356/stat : 14356 (java) S 14338 14340 10640 0 -1 4202560 12478 0 0 0 194 1 0 0 15 0 22 0 830448108 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14357] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14357/stat : 14357 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830448108 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14358] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14358/stat : 14358 (java) S 14338 14340 10640 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830448108 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14361] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14361/stat : 14361 (java) S 14338 14340 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830448165 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14607] ppid=14338 vsize=10555800 CPUtime=508.64 cores=1,3,5,7
/proc/14340/task/14607/stat : 14607 (java) R 14338 14340 10640 0 -1 4202560 2 0 0 0 50864 0 0 0 25 0 22 0 830485991 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 46912505880732 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14340/tid=14608] ppid=14338 vsize=10555800 CPUtime=508.64 cores=1,3,5,7
/proc/14340/task/14608/stat : 14608 (java) R 14338 14340 10640 0 -1 4202560 8 0 0 0 50864 0 0 0 25 0 22 0 830485991 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 46912505943408 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14340/tid=14609] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14609/stat : 14609 (java) S 14338 14340 10640 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830485991 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10555800
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+927.901 s]
/proc/loadavg: 3.91 3.77 3.44 5/316 14636
/proc/meminfo: memFree=25573312/32951124 swapFree=55664332/67111528
[pid=14340] ppid=14338 vsize=10555800 CPUtime=1800.02 cores=1,3,5,7
/proc/14340/stat : 14340 (java) S 14338 14340 10640 0 -1 4202496 542883 0 1 0 179935 67 0 0 25 0 22 0 830448102 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14340/statm: 2638950 530201 2270 9 0 2629684 0
[pid=14340/tid=14341] ppid=14338 vsize=10555800 CPUtime=0.62 cores=1,3,5,7
/proc/14340/task/14341/stat : 14341 (java) S 14338 14340 10640 0 -1 4202560 35551 0 1 0 57 5 0 0 15 0 22 0 830448103 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14343] ppid=14338 vsize=10555800 CPUtime=0.8 cores=1,3,5,7
/proc/14340/task/14343/stat : 14343 (java) S 14338 14340 10640 0 -1 4202560 1253 0 0 0 80 0 0 0 16 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14344] ppid=14338 vsize=10555800 CPUtime=0.83 cores=1,3,5,7
/proc/14340/task/14344/stat : 14344 (java) S 14338 14340 10640 0 -1 4202560 1489 0 0 0 83 0 0 0 16 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14345] ppid=14338 vsize=10555800 CPUtime=0.75 cores=1,3,5,7
/proc/14340/task/14345/stat : 14345 (java) S 14338 14340 10640 0 -1 4202560 1295 0 0 0 75 0 0 0 15 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14346] ppid=14338 vsize=10555800 CPUtime=0.65 cores=1,3,5,7
/proc/14340/task/14346/stat : 14346 (java) S 14338 14340 10640 0 -1 4202560 1325 0 0 0 65 0 0 0 16 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14347] ppid=14338 vsize=10555800 CPUtime=0.77 cores=1,3,5,7
/proc/14340/task/14347/stat : 14347 (java) S 14338 14340 10640 0 -1 4202560 1211 0 0 0 77 0 0 0 16 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 7 0 0 0
[pid=14340/tid=14348] ppid=14338 vsize=10555800 CPUtime=0.76 cores=1,3,5,7
/proc/14340/task/14348/stat : 14348 (java) S 14338 14340 10640 0 -1 4202560 366 0 0 0 76 0 0 0 15 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14349] ppid=14338 vsize=10555800 CPUtime=0.8 cores=1,3,5,7
/proc/14340/task/14349/stat : 14349 (java) S 14338 14340 10640 0 -1 4202560 996 0 0 0 80 0 0 0 16 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14350] ppid=14338 vsize=10555800 CPUtime=0.88 cores=1,3,5,7
/proc/14340/task/14350/stat : 14350 (java) S 14338 14340 10640 0 -1 4202560 1887 0 0 0 88 0 0 0 15 0 22 0 830448104 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14351] ppid=14338 vsize=10555800 CPUtime=56.92 cores=1,3,5,7
/proc/14340/task/14351/stat : 14351 (java) S 14338 14340 10640 0 -1 4202560 68443 0 0 0 5685 7 0 0 15 0 22 0 830448105 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 0 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14352] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14352/stat : 14352 (java) S 14338 14340 10640 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 830448106 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14353] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14353/stat : 14353 (java) S 14338 14340 10640 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 22 0 830448106 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14354] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14354/stat : 14354 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830448108 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933600689 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14355] ppid=14338 vsize=10555800 CPUtime=1.24 cores=1,3,5,7
/proc/14340/task/14355/stat : 14355 (java) S 14338 14340 10640 0 -1 4202560 6407 0 0 0 124 0 0 0 15 0 22 0 830448108 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14356] ppid=14338 vsize=10555800 CPUtime=1.95 cores=1,3,5,7
/proc/14340/task/14356/stat : 14356 (java) S 14338 14340 10640 0 -1 4202560 12478 0 0 0 194 1 0 0 15 0 22 0 830448108 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14357] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14357/stat : 14357 (java) S 14338 14340 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830448108 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933592985 0 4 0 16800975 18446604471147869376 0 0 -1 5 0 0 0
[pid=14340/tid=14358] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14358/stat : 14358 (java) S 14338 14340 10640 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830448108 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 1 0 0 0
[pid=14340/tid=14361] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14361/stat : 14361 (java) S 14338 14340 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830448165 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
[pid=14340/tid=14607] ppid=14338 vsize=10555800 CPUtime=508.64 cores=1,3,5,7
/proc/14340/task/14607/stat : 14607 (java) R 14338 14340 10640 0 -1 4202560 2 0 0 0 50864 0 0 0 25 0 22 0 830485991 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 46912505880732 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14340/tid=14608] ppid=14338 vsize=10555800 CPUtime=508.64 cores=1,3,5,7
/proc/14340/task/14608/stat : 14608 (java) R 14338 14340 10640 0 -1 4202560 8 0 0 0 50864 0 0 0 25 0 22 0 830485991 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 46912505943408 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14340/tid=14609] ppid=14338 vsize=10555800 CPUtime=0 cores=1,3,5,7
/proc/14340/task/14609/stat : 14609 (java) S 14338 14340 10640 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830485991 10809139200 530201 33554432000 1073741824 1073778376 140734754535264 18446744073709551615 222933593600 0 4 0 16800975 18446604471147869376 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10555800
Child status: 143
Real time (s): 928.015
CPU time (s): 1800.19
CPU user time (s): 1799.44
CPU system time (s): 0.757884
CPU usage (%): 193.983
Max. virtual memory (cumulated for all children) (KiB): 10558808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.757884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 542911
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= 25592
involuntary context switches= 28002
runsolver used 2.42863 second user time and 6.03008 second system time
The end