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-3456438-1307659602/watcher-3456438-1307659602 -o /tmp/evaluation-result-3456438-1307659602/solver-3456438-1307659602 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456438-1307659602.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: 3.53 3.80 3.18 2/192 5245
/proc/meminfo: memFree=29371400/32951124 swapFree=67064580/67111528
[pid=5245] ppid=5243 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/5245/stat : 5245 (java) R 5243 5245 4039 0 -1 4202496 1107 0 0 0 0 0 0 0 25 0 1 0 858375885 23580672 850 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264721481783 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5245/statm: 5744 847 638 9 0 124 0
[pid=5245/tid=5246] ppid=5243 vsize=24004 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5246/stat : 5246 (java) R 5243 5245 4039 0 -1 4202560 12 0 0 0 0 0 0 0 25 0 2 0 858375886 24580096 864 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264726404864 0 0 4096 0 0 0 0 -1 1 0 0 0
[startup+0.0720939 s]
/proc/loadavg: 3.53 3.80 3.18 2/192 5245
/proc/meminfo: memFree=29371400/32951124 swapFree=67064580/67111528
[pid=5245] ppid=5243 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/5245/stat : 5245 (java) S 5243 5245 4039 0 -1 4202496 11893 0 1 0 4 2 0 0 25 0 18 0 858375885 10724442112 11589 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5245/statm: 2618272 11589 1754 9 0 2609006 0
[pid=5245/tid=5246] ppid=5243 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/5245/task/5246/stat : 5246 (java) R 5243 5245 4039 0 -1 4202560 10718 0 1 0 4 1 0 0 25 0 18 0 858375886 10724442112 11589 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738231755 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.10109 s]
/proc/loadavg: 3.53 3.80 3.18 2/192 5245
/proc/meminfo: memFree=29371400/32951124 swapFree=67064580/67111528
[pid=5245] ppid=5243 vsize=10539676 CPUtime=0.1 cores=1,3,5,7
/proc/5245/stat : 5245 (java) S 5243 5245 4039 0 -1 4202496 13090 0 1 0 8 2 0 0 25 0 18 0 858375885 10792628224 12756 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5245/statm: 2634919 12758 2092 9 0 2625653 0
[pid=5245/tid=5246] ppid=5243 vsize=10539676 CPUtime=0.08 cores=1,3,5,7
/proc/5245/task/5246/stat : 5246 (java) R 5243 5245 4039 0 -1 4202560 11141 0 1 0 7 1 0 0 18 0 18 0 858375886 10792628224 12759 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 46912496197424 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) 10539676
[startup+0.301018 s]
/proc/loadavg: 3.53 3.80 3.18 2/192 5245
/proc/meminfo: memFree=29371400/32951124 swapFree=67064580/67111528
[pid=5245] ppid=5243 vsize=10562268 CPUtime=0.61 cores=1,3,5,7
/proc/5245/stat : 5245 (java) S 5243 5245 4039 0 -1 4202496 25252 0 1 0 58 3 0 0 25 0 18 0 858375885 10815762432 22566 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5245/statm: 2640567 22569 2203 9 0 2631301 0
[pid=5245/tid=5246] ppid=5243 vsize=10562268 CPUtime=0.29 cores=1,3,5,7
/proc/5245/task/5246/stat : 5246 (java) R 5243 5245 4039 0 -1 4202560 15224 0 1 0 27 2 0 0 18 0 18 0 858375886 10815762432 22571 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 46912505568862 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 10562268
[startup+0.70098 s]
/proc/loadavg: 3.53 3.80 3.18 2/192 5245
/proc/meminfo: memFree=29371400/32951124 swapFree=67064580/67111528
[pid=5245] ppid=5243 vsize=10563476 CPUtime=1.32 cores=1,3,5,7
/proc/5245/stat : 5245 (java) S 5243 5245 4039 0 -1 4202496 52220 0 1 0 126 6 0 0 25 0 18 0 858375885 10816999424 49476 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5245/statm: 2640869 49480 2205 9 0 2631603 0
[pid=5245/tid=5246] ppid=5243 vsize=10563476 CPUtime=0.68 cores=1,3,5,7
/proc/5245/task/5246/stat : 5246 (java) R 5243 5245 4039 0 -1 4202560 40980 0 1 0 64 4 0 0 18 0 18 0 858375886 10816999424 49481 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 46912505582159 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 10563476
[startup+1.50082 s]
/proc/loadavg: 3.53 3.80 3.18 3/210 5263
/proc/meminfo: memFree=29032900/32951124 swapFree=67064580/67111528
[pid=5245] ppid=5243 vsize=10563476 CPUtime=2.17 cores=1,3,5,7
/proc/5245/stat : 5245 (java) S 5243 5245 4039 0 -1 4202496 109799 0 1 0 205 12 0 0 25 0 18 0 858375885 10816999424 107031 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5245/statm: 2640869 107031 2216 9 0 2631603 0
[pid=5245/tid=5246] ppid=5243 vsize=10563476 CPUtime=1.48 cores=1,3,5,7
/proc/5245/task/5246/stat : 5246 (java) R 5243 5245 4039 0 -1 4202560 98490 0 1 0 138 10 0 0 19 0 18 0 858375886 10816999424 107031 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 46912505366066 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5245/tid=5248] ppid=5243 vsize=10563476 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5248/stat : 5248 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858375887 10816999424 107031 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
[pid=5245/tid=5249] ppid=5243 vsize=10563476 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5249/stat : 5249 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858375887 10816999424 107031 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 7 0 0 0
[pid=5245/tid=5250] ppid=5243 vsize=10563476 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5250/stat : 5250 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858375887 10816999424 107031 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 5 0 0 0
[pid=5245/tid=5251] ppid=5243 vsize=10563476 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5251/stat : 5251 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858375887 10816999424 107031 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 5 0 0 0
[pid=5245/tid=5252] ppid=5243 vsize=10563476 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5252/stat : 5252 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858375887 10816999424 107031 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 5 0 0 0
[pid=5245/tid=5253] ppid=5243 vsize=10563476 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5253/stat : 5253 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858375887 10816999424 107031 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 5 0 0 0
[pid=5245/tid=5254] ppid=5243 vsize=10563476 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5254/stat : 5254 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858375887 10816999424 107031 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 5 0 0 0
[pid=5245/tid=5255] ppid=5243 vsize=10563476 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5255/stat : 5255 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858375887 10816999424 107031 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 5 0 0 0
[pid=5245/tid=5256] ppid=5243 vsize=10563476 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5256/stat : 5256 (java) S 5243 5245 4039 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 858375888 10816999424 107031 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738221568 0 0 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5257] ppid=5243 vsize=10563476 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5257/stat : 5257 (java) S 5243 5245 4039 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 858375889 10816999424 107031 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5258] ppid=5243 vsize=10563476 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5258/stat : 5258 (java) S 5243 5245 4039 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 858375889 10816999424 107031 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5259] ppid=5243 vsize=10563476 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5259/stat : 5259 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858375891 10816999424 107031 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738228657 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5260] ppid=5243 vsize=10563476 CPUtime=0.24 cores=1,3,5,7
/proc/5245/task/5260/stat : 5260 (java) R 5243 5245 4039 0 -1 4202560 2995 0 0 0 24 0 0 0 15 0 18 0 858375891 10816999424 107031 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 47869638616656 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5245/tid=5261] ppid=5243 vsize=10563476 CPUtime=0.43 cores=1,3,5,7
/proc/5245/task/5261/stat : 5261 (java) S 5243 5245 4039 0 -1 4202560 7163 0 0 0 42 1 0 0 16 0 18 0 858375891 10816999424 107031 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 7 0 0 0
[pid=5245/tid=5262] ppid=5243 vsize=10563476 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5262/stat : 5262 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858375891 10816999424 107032 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5263] ppid=5243 vsize=10563476 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5263/stat : 5263 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 858375891 10816999424 107032 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738221568 0 4 0 16800975 18446604466086592640 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 10563476
[startup+3.10152 s]
/proc/loadavg: 3.53 3.80 3.18 3/211 5264
/proc/meminfo: memFree=28747692/32951124 swapFree=67064580/67111528
[pid=5245] ppid=5243 vsize=10564504 CPUtime=4.19 cores=1,3,5,7
/proc/5245/stat : 5245 (java) S 5243 5245 4039 0 -1 4202496 238418 0 1 0 394 25 0 0 25 0 19 0 858375885 10818052096 233236 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5245/statm: 2641126 233241 2224 9 0 2631860 0
[pid=5245/tid=5246] ppid=5243 vsize=10564504 CPUtime=3.09 cores=1,3,5,7
/proc/5245/task/5246/stat : 5246 (java) R 5243 5245 4039 0 -1 4202560 224439 0 1 0 286 23 0 0 18 0 19 0 858375886 10818052096 233241 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 46912505841742 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5245/tid=5248] ppid=5243 vsize=10564504 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5248/stat : 5248 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375887 10818052096 233244 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
[pid=5245/tid=5249] ppid=5243 vsize=10564504 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5249/stat : 5249 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375887 10818052096 233247 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 7 0 0 0
[pid=5245/tid=5250] ppid=5243 vsize=10564504 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5250/stat : 5250 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375887 10818052096 233250 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 5 0 0 0
[pid=5245/tid=5251] ppid=5243 vsize=10564504 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5251/stat : 5251 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375887 10818052096 233252 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 5 0 0 0
[pid=5245/tid=5252] ppid=5243 vsize=10564504 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5252/stat : 5252 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375887 10818052096 233253 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 5 0 0 0
[pid=5245/tid=5253] ppid=5243 vsize=10564504 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5253/stat : 5253 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375887 10818052096 233255 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 5 0 0 0
[pid=5245/tid=5254] ppid=5243 vsize=10564504 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5254/stat : 5254 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375887 10818052096 233258 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 5 0 0 0
[pid=5245/tid=5255] ppid=5243 vsize=10564504 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5255/stat : 5255 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375887 10818052096 233260 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 5 0 0 0
[pid=5245/tid=5256] ppid=5243 vsize=10564504 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5256/stat : 5256 (java) S 5243 5245 4039 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 858375888 10818052096 233263 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738221568 0 0 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5257] ppid=5243 vsize=10564504 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5257/stat : 5257 (java) S 5243 5245 4039 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858375889 10818052096 233265 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5258] ppid=5243 vsize=10564504 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5258/stat : 5258 (java) S 5243 5245 4039 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858375889 10818052096 233266 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5259] ppid=5243 vsize=10564504 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5259/stat : 5259 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375891 10818052096 233269 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738228657 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5260] ppid=5243 vsize=10564504 CPUtime=0.47 cores=1,3,5,7
/proc/5245/task/5260/stat : 5260 (java) S 5243 5245 4039 0 -1 4202560 5634 0 0 0 47 0 0 0 15 0 19 0 858375891 10818052096 233271 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5261] ppid=5243 vsize=10564504 CPUtime=0.61 cores=1,3,5,7
/proc/5245/task/5261/stat : 5261 (java) S 5243 5245 4039 0 -1 4202560 7189 0 0 0 60 1 0 0 15 0 19 0 858375891 10818052096 233274 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
[pid=5245/tid=5262] ppid=5243 vsize=10564504 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5262/stat : 5262 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375891 10818052096 233276 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5263] ppid=5243 vsize=10564504 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5263/stat : 5263 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858375891 10818052096 233278 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738221568 0 4 0 16800975 18446604466086592640 0 0 -1 7 0 0 0
[pid=5245/tid=5264] ppid=5243 vsize=10564504 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5264/stat : 5264 (java) S 5243 5245 4039 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 858376048 10818052096 233280 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738221568 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 10564504
[startup+6.30092 s]
/proc/loadavg: 3.40 3.77 3.18 3/211 5264
/proc/meminfo: memFree=27582604/32951124 swapFree=67064580/67111528
[pid=5245] ppid=5243 vsize=10558944 CPUtime=7.46 cores=1,3,5,7
/proc/5245/stat : 5245 (java) S 5243 5245 4039 0 -1 4202496 510233 0 1 0 695 51 0 0 25 0 19 0 858375885 10812358656 503417 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5245/statm: 2639736 503424 2227 9 0 2630470 0
[pid=5245/tid=5246] ppid=5243 vsize=10558944 CPUtime=6.29 cores=1,3,5,7
/proc/5245/task/5246/stat : 5246 (java) R 5243 5245 4039 0 -1 4202560 495157 0 1 0 580 49 0 0 25 0 19 0 858375886 10812358656 503426 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 46912505575487 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5245/tid=5248] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5248/stat : 5248 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375887 10812358656 503431 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
[pid=5245/tid=5249] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5249/stat : 5249 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375887 10812358656 503435 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 7 0 0 0
[pid=5245/tid=5250] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5250/stat : 5250 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375887 10812358656 503440 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 5 0 0 0
[pid=5245/tid=5251] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5251/stat : 5251 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375887 10812358656 503444 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 5 0 0 0
[pid=5245/tid=5252] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5252/stat : 5252 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375887 10812358656 503448 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 5 0 0 0
[pid=5245/tid=5253] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5253/stat : 5253 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375887 10812358656 503453 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 5 0 0 0
[pid=5245/tid=5254] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5254/stat : 5254 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375887 10812358656 503456 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 5 0 0 0
[pid=5245/tid=5255] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5255/stat : 5255 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375887 10812358656 503462 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 5 0 0 0
[pid=5245/tid=5256] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5256/stat : 5256 (java) S 5243 5245 4039 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 858375888 10812358656 503464 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738221568 0 0 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5257] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5257/stat : 5257 (java) S 5243 5245 4039 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858375889 10812358656 503470 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5258] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5258/stat : 5258 (java) S 5243 5245 4039 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858375889 10812358656 503472 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5259] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5259/stat : 5259 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375891 10812358656 503478 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738228657 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5260] ppid=5243 vsize=10558944 CPUtime=0.53 cores=1,3,5,7
/proc/5245/task/5260/stat : 5260 (java) S 5243 5245 4039 0 -1 4202560 6732 0 0 0 53 0 0 0 15 0 19 0 858375891 10812358656 503480 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5261] ppid=5243 vsize=10558944 CPUtime=0.63 cores=1,3,5,7
/proc/5245/task/5261/stat : 5261 (java) S 5243 5245 4039 0 -1 4202560 7191 0 0 0 62 1 0 0 15 0 19 0 858375891 10812358656 503486 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
[pid=5245/tid=5262] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5262/stat : 5262 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375891 10812358656 503488 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/5245/task/5258/stat : 5258 (java) S 5243 5245 4039 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858375889 10812358656 1018752 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5259] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5259/stat : 5259 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375891 10812358656 1018752 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738228657 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5260] ppid=5243 vsize=10558944 CPUtime=0.77 cores=1,3,5,7
/proc/5245/task/5260/stat : 5260 (java) S 5243 5245 4039 0 -1 4202560 7616 0 0 0 76 1 0 0 15 0 19 0 858375891 10812358656 1018752 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5261] ppid=5243 vsize=10558944 CPUtime=0.69 cores=1,3,5,7
/proc/5245/task/5261/stat : 5261 (java) S 5243 5245 4039 0 -1 4202560 7205 0 0 0 68 1 0 0 16 0 19 0 858375891 10812358656 1018752 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
[pid=5245/tid=5262] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5262/stat : 5262 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375891 10812358656 1018752 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5263] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5263/stat : 5263 (java) S 5243 5245 4039 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 858375891 10812358656 1018752 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738221568 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
[pid=5245/tid=5264] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5264/stat : 5264 (java) S 5243 5245 4039 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 858376048 10812358656 1018752 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738221568 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1668.49
Current children cumulated vsize (KiB) 10558944
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.17 3/211 5318
/proc/meminfo: memFree=24195108/32951124 swapFree=67064580/67111528
[pid=5245] ppid=5243 vsize=10558944 CPUtime=1728.63 cores=1,3,5,7
/proc/5245/stat : 5245 (java) S 5243 5245 4039 0 -1 4202496 1032544 0 1 0 172747 116 0 0 25 0 19 0 858375885 10812358656 1020740 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5245/statm: 2639736 1020740 2256 9 0 2630470 0
[pid=5245/tid=5246] ppid=5243 vsize=10558944 CPUtime=1718.95 cores=1,3,5,7
/proc/5245/task/5246/stat : 5246 (java) R 5243 5245 4039 0 -1 4202560 759123 0 1 0 171816 79 0 0 25 0 19 0 858375886 10812358656 1020740 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 46912505871162 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5245/tid=5248] ppid=5243 vsize=10558944 CPUtime=0.82 cores=1,3,5,7
/proc/5245/task/5248/stat : 5248 (java) S 5243 5245 4039 0 -1 4202560 32446 0 0 0 78 4 0 0 15 0 19 0 858375887 10812358656 1020740 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
[pid=5245/tid=5249] ppid=5243 vsize=10558944 CPUtime=0.8 cores=1,3,5,7
/proc/5245/task/5249/stat : 5249 (java) S 5243 5245 4039 0 -1 4202560 28577 0 0 0 78 2 0 0 15 0 19 0 858375887 10812358656 1020740 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
[pid=5245/tid=5250] ppid=5243 vsize=10558944 CPUtime=0.62 cores=1,3,5,7
/proc/5245/task/5250/stat : 5250 (java) S 5243 5245 4039 0 -1 4202560 23099 0 0 0 60 2 0 0 15 0 19 0 858375887 10812358656 1020740 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 7 0 0 0
[pid=5245/tid=5251] ppid=5243 vsize=10558944 CPUtime=0.9 cores=1,3,5,7
/proc/5245/task/5251/stat : 5251 (java) S 5243 5245 4039 0 -1 4202560 42719 0 0 0 85 5 0 0 16 0 19 0 858375887 10812358656 1020740 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 5 0 0 0
[pid=5245/tid=5252] ppid=5243 vsize=10558944 CPUtime=0.86 cores=1,3,5,7
/proc/5245/task/5252/stat : 5252 (java) S 5243 5245 4039 0 -1 4202560 38938 0 0 0 81 5 0 0 15 0 19 0 858375887 10812358656 1020740 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 5 0 0 0
[pid=5245/tid=5253] ppid=5243 vsize=10558944 CPUtime=0.9 cores=1,3,5,7
/proc/5245/task/5253/stat : 5253 (java) S 5243 5245 4039 0 -1 4202560 37716 0 0 0 85 5 0 0 16 0 19 0 858375887 10812358656 1020740 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
[pid=5245/tid=5254] ppid=5243 vsize=10558944 CPUtime=0.76 cores=1,3,5,7
/proc/5245/task/5254/stat : 5254 (java) S 5243 5245 4039 0 -1 4202560 30414 0 0 0 73 3 0 0 16 0 19 0 858375887 10812358656 1020740 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 7 0 0 0
[pid=5245/tid=5255] ppid=5243 vsize=10558944 CPUtime=0.71 cores=1,3,5,7
/proc/5245/task/5255/stat : 5255 (java) S 5243 5245 4039 0 -1 4202560 20284 0 0 0 69 2 0 0 16 0 19 0 858375887 10812358656 1020740 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5256] ppid=5243 vsize=10558944 CPUtime=1.71 cores=1,3,5,7
/proc/5245/task/5256/stat : 5256 (java) S 5243 5245 4039 0 -1 4202560 3149 0 0 0 170 1 0 0 15 0 19 0 858375888 10812358656 1020740 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738221568 0 0 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5257] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5257/stat : 5257 (java) S 5243 5245 4039 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858375889 10812358656 1020740 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5258] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5258/stat : 5258 (java) S 5243 5245 4039 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858375889 10812358656 1020740 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5259] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5259/stat : 5259 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375891 10812358656 1020740 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738228657 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5260] ppid=5243 vsize=10558944 CPUtime=0.79 cores=1,3,5,7
/proc/5245/task/5260/stat : 5260 (java) S 5243 5245 4039 0 -1 4202560 7622 0 0 0 78 1 0 0 16 0 19 0 858375891 10812358656 1020740 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5261] ppid=5243 vsize=10558944 CPUtime=0.69 cores=1,3,5,7
/proc/5245/task/5261/stat : 5261 (java) S 5243 5245 4039 0 -1 4202560 7205 0 0 0 68 1 0 0 15 0 19 0 858375891 10812358656 1020740 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
[pid=5245/tid=5262] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5262/stat : 5262 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375891 10812358656 1020740 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5263] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5263/stat : 5263 (java) S 5243 5245 4039 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 858375891 10812358656 1020740 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738221568 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
[pid=5245/tid=5264] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5264/stat : 5264 (java) S 5243 5245 4039 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 858376048 10812358656 1020740 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738221568 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1728.63
Current children cumulated vsize (KiB) 10558944
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.16 3/211 5320
/proc/meminfo: memFree=24187852/32951124 swapFree=67064580/67111528
[pid=5245] ppid=5243 vsize=10558944 CPUtime=1788.72 cores=1,3,5,7
/proc/5245/stat : 5245 (java) S 5243 5245 4039 0 -1 4202496 1034324 0 1 0 178755 117 0 0 25 0 19 0 858375885 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5245/statm: 2639736 1022460 2256 9 0 2630470 0
[pid=5245/tid=5246] ppid=5243 vsize=10558944 CPUtime=1778.93 cores=1,3,5,7
/proc/5245/task/5246/stat : 5246 (java) R 5243 5245 4039 0 -1 4202560 759125 0 1 0 177814 79 0 0 25 0 19 0 858375886 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 46912505804057 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5245/tid=5248] ppid=5243 vsize=10558944 CPUtime=0.82 cores=1,3,5,7
/proc/5245/task/5248/stat : 5248 (java) S 5243 5245 4039 0 -1 4202560 32446 0 0 0 78 4 0 0 15 0 19 0 858375887 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 7 0 0 0
[pid=5245/tid=5249] ppid=5243 vsize=10558944 CPUtime=0.82 cores=1,3,5,7
/proc/5245/task/5249/stat : 5249 (java) S 5243 5245 4039 0 -1 4202560 29182 0 0 0 80 2 0 0 16 0 19 0 858375887 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
[pid=5245/tid=5250] ppid=5243 vsize=10558944 CPUtime=0.64 cores=1,3,5,7
/proc/5245/task/5250/stat : 5250 (java) S 5243 5245 4039 0 -1 4202560 23514 0 0 0 62 2 0 0 16 0 19 0 858375887 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5251] ppid=5243 vsize=10558944 CPUtime=0.9 cores=1,3,5,7
/proc/5245/task/5251/stat : 5251 (java) S 5243 5245 4039 0 -1 4202560 42719 0 0 0 85 5 0 0 15 0 19 0 858375887 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 5 0 0 0
[pid=5245/tid=5252] ppid=5243 vsize=10558944 CPUtime=0.88 cores=1,3,5,7
/proc/5245/task/5252/stat : 5252 (java) S 5243 5245 4039 0 -1 4202560 39224 0 0 0 83 5 0 0 16 0 19 0 858375887 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 5 0 0 0
[pid=5245/tid=5253] ppid=5243 vsize=10558944 CPUtime=0.9 cores=1,3,5,7
/proc/5245/task/5253/stat : 5253 (java) S 5243 5245 4039 0 -1 4202560 37716 0 0 0 85 5 0 0 15 0 19 0 858375887 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
[pid=5245/tid=5254] ppid=5243 vsize=10558944 CPUtime=0.78 cores=1,3,5,7
/proc/5245/task/5254/stat : 5254 (java) S 5243 5245 4039 0 -1 4202560 30879 0 0 0 75 3 0 0 16 0 19 0 858375887 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 7 0 0 0
[pid=5245/tid=5255] ppid=5243 vsize=10558944 CPUtime=0.71 cores=1,3,5,7
/proc/5245/task/5255/stat : 5255 (java) S 5243 5245 4039 0 -1 4202560 20284 0 0 0 69 2 0 0 15 0 19 0 858375887 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5256] ppid=5243 vsize=10558944 CPUtime=1.71 cores=1,3,5,7
/proc/5245/task/5256/stat : 5256 (java) S 5243 5245 4039 0 -1 4202560 3152 0 0 0 170 1 0 0 15 0 19 0 858375888 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738221568 0 0 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5257] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5257/stat : 5257 (java) S 5243 5245 4039 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858375889 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5258] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5258/stat : 5258 (java) S 5243 5245 4039 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858375889 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5259] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5259/stat : 5259 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375891 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738228657 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5260] ppid=5243 vsize=10558944 CPUtime=0.79 cores=1,3,5,7
/proc/5245/task/5260/stat : 5260 (java) S 5243 5245 4039 0 -1 4202560 7622 0 0 0 78 1 0 0 16 0 19 0 858375891 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5261] ppid=5243 vsize=10558944 CPUtime=0.7 cores=1,3,5,7
/proc/5245/task/5261/stat : 5261 (java) S 5243 5245 4039 0 -1 4202560 7207 0 0 0 69 1 0 0 15 0 19 0 858375891 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
[pid=5245/tid=5262] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5262/stat : 5262 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375891 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5263] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5263/stat : 5263 (java) S 5243 5245 4039 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 858375891 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738221568 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
[pid=5245/tid=5264] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5264/stat : 5264 (java) S 5243 5245 4039 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 858376048 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738221568 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1788.72
Current children cumulated vsize (KiB) 10558944
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.6 s]
/proc/loadavg: 2.08 2.02 2.16 2/191 5323
/proc/meminfo: memFree=27874248/32951124 swapFree=67064580/67111528
[pid=5245] ppid=5243 vsize=10558944 CPUtime=1800.02 cores=1,3,5,7
/proc/5245/stat : 5245 (java) S 5243 5245 4039 0 -1 4202496 1034326 0 1 0 179885 117 0 0 25 0 19 0 858375885 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5245/statm: 2639736 1022460 2256 9 0 2630470 0
[pid=5245/tid=5246] ppid=5243 vsize=10558944 CPUtime=1790.24 cores=1,3,5,7
/proc/5245/task/5246/stat : 5246 (java) R 5243 5245 4039 0 -1 4202560 759125 0 1 0 178945 79 0 0 25 0 19 0 858375886 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 46912505841593 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5245/tid=5248] ppid=5243 vsize=10558944 CPUtime=0.82 cores=1,3,5,7
/proc/5245/task/5248/stat : 5248 (java) S 5243 5245 4039 0 -1 4202560 32446 0 0 0 78 4 0 0 15 0 19 0 858375887 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 7 0 0 0
[pid=5245/tid=5249] ppid=5243 vsize=10558944 CPUtime=0.82 cores=1,3,5,7
/proc/5245/task/5249/stat : 5249 (java) S 5243 5245 4039 0 -1 4202560 29182 0 0 0 80 2 0 0 16 0 19 0 858375887 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
[pid=5245/tid=5250] ppid=5243 vsize=10558944 CPUtime=0.64 cores=1,3,5,7
/proc/5245/task/5250/stat : 5250 (java) S 5243 5245 4039 0 -1 4202560 23514 0 0 0 62 2 0 0 16 0 19 0 858375887 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5251] ppid=5243 vsize=10558944 CPUtime=0.9 cores=1,3,5,7
/proc/5245/task/5251/stat : 5251 (java) S 5243 5245 4039 0 -1 4202560 42719 0 0 0 85 5 0 0 15 0 19 0 858375887 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 5 0 0 0
[pid=5245/tid=5252] ppid=5243 vsize=10558944 CPUtime=0.88 cores=1,3,5,7
/proc/5245/task/5252/stat : 5252 (java) S 5243 5245 4039 0 -1 4202560 39224 0 0 0 83 5 0 0 16 0 19 0 858375887 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 5 0 0 0
[pid=5245/tid=5253] ppid=5243 vsize=10558944 CPUtime=0.9 cores=1,3,5,7
/proc/5245/task/5253/stat : 5253 (java) S 5243 5245 4039 0 -1 4202560 37716 0 0 0 85 5 0 0 15 0 19 0 858375887 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
[pid=5245/tid=5254] ppid=5243 vsize=10558944 CPUtime=0.78 cores=1,3,5,7
/proc/5245/task/5254/stat : 5254 (java) S 5243 5245 4039 0 -1 4202560 30879 0 0 0 75 3 0 0 16 0 19 0 858375887 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 7 0 0 0
[pid=5245/tid=5255] ppid=5243 vsize=10558944 CPUtime=0.71 cores=1,3,5,7
/proc/5245/task/5255/stat : 5255 (java) S 5243 5245 4039 0 -1 4202560 20284 0 0 0 69 2 0 0 15 0 19 0 858375887 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5256] ppid=5243 vsize=10558944 CPUtime=1.71 cores=1,3,5,7
/proc/5245/task/5256/stat : 5256 (java) S 5243 5245 4039 0 -1 4202560 3152 0 0 0 170 1 0 0 15 0 19 0 858375888 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738221568 0 0 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5257] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5257/stat : 5257 (java) S 5243 5245 4039 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858375889 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5258] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5258/stat : 5258 (java) S 5243 5245 4039 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858375889 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5259] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5259/stat : 5259 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375891 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738228657 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5260] ppid=5243 vsize=10558944 CPUtime=0.79 cores=1,3,5,7
/proc/5245/task/5260/stat : 5260 (java) S 5243 5245 4039 0 -1 4202560 7622 0 0 0 78 1 0 0 16 0 19 0 858375891 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5261] ppid=5243 vsize=10558944 CPUtime=0.7 cores=1,3,5,7
/proc/5245/task/5261/stat : 5261 (java) S 5243 5245 4039 0 -1 4202560 7207 0 0 0 69 1 0 0 15 0 19 0 858375891 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
[pid=5245/tid=5262] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5262/stat : 5262 (java) S 5243 5245 4039 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858375891 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738220953 0 4 0 16800975 18446604466086592640 0 0 -1 1 0 0 0
[pid=5245/tid=5263] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5263/stat : 5263 (java) S 5243 5245 4039 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 858375891 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738221568 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
[pid=5245/tid=5264] ppid=5243 vsize=10558944 CPUtime=0 cores=1,3,5,7
/proc/5245/task/5264/stat : 5264 (java) S 5243 5245 4039 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 858376048 10812358656 1022460 33554432000 1073741824 1073778376 140735925237552 18446744073709551615 264738221568 0 4 0 16800975 18446604466086592640 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10558944
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.71 s]
/proc/loadavg: 2.08 2.02 2.16 2/191 5323
/proc/meminfo: memFree=27874248/32951124 swapFree=67064580/67111528
[pid=5245] ppid=5243 vsize=0 CPUtime=1800.14 cores=1,3,5,7
/proc/5245/stat : 5245 (java) Z 5243 5245 4039 0 -1 4203548 1034361 0 1 0 179888 126 0 0 17 0 2 0 858375885 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5245/statm: 0 0 0 0 0 0 0
[pid=5245/tid=5258] ppid=5243 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/5245/task/5258/stat : 5258 (java) R 5243 5245 4039 0 -1 4203588 9 0 0 0 0 8 0 0 18 0 2 0 858375889 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.77
CPU time (s): 1800.2
CPU user time (s): 1798.89
CPU system time (s): 1.3178
CPU usage (%): 100.359
Max. virtual memory (cumulated for all children) (KiB): 10564504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.89
system time used= 1.3178
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1034361
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= 38336
involuntary context switches= 3849
runsolver used 2.88656 second user time and 6.91095 second system time
The end