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-3456202-1307664685/watcher-3456202-1307664685 -o /tmp/evaluation-result-3456202-1307664685/solver-3456202-1307664685 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456202-1307664685.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.01 2.00 2/195 23158
/proc/meminfo: memFree=28110484/32951124 swapFree=67052292/67111528
[pid=23158] ppid=23156 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/23158/stat : 23158 (java) R 23156 23158 21755 0 -1 4202496 952 0 0 0 0 0 0 0 25 0 1 0 878069444 23580672 695 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270608147944 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23158/statm: 5757 696 513 9 0 124 0
[startup+0.0642041 s]
/proc/loadavg: 2.04 2.01 2.00 2/195 23158
/proc/meminfo: memFree=28110484/32951124 swapFree=67052292/67111528
[pid=23158] ppid=23156 vsize=10538460 CPUtime=0.04 cores=0,2,4,6
/proc/23158/stat : 23158 (java) S 23156 23158 21755 0 -1 4202496 11680 0 1 0 3 1 0 0 25 0 18 0 878069444 10791383040 11376 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23158/statm: 2634615 11376 1733 9 0 2625356 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10538460
[startup+0.101196 s]
/proc/loadavg: 2.04 2.01 2.00 2/195 23158
/proc/meminfo: memFree=28110484/32951124 swapFree=67052292/67111528
[pid=23158] ppid=23156 vsize=10540356 CPUtime=0.1 cores=0,2,4,6
/proc/23158/stat : 23158 (java) S 23156 23158 21755 0 -1 4202496 13112 0 1 0 8 2 0 0 25 0 18 0 878069444 10793324544 12768 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23158/statm: 2635089 12768 2093 9 0 2625823 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540356
[startup+0.30541 s]
/proc/loadavg: 2.04 2.01 2.00 2/195 23158
/proc/meminfo: memFree=28110484/32951124 swapFree=67052292/67111528
[pid=23158] ppid=23156 vsize=10542296 CPUtime=0.49 cores=0,2,4,6
/proc/23158/stat : 23158 (java) S 23156 23158 21755 0 -1 4202496 15629 0 1 0 46 3 0 0 25 0 18 0 878069444 10795311104 15169 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23158/statm: 2635574 15170 2220 9 0 2626308 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10542296
[startup+0.701114 s]
/proc/loadavg: 2.04 2.01 2.00 2/195 23158
/proc/meminfo: memFree=28110484/32951124 swapFree=67052292/67111528
[pid=23158] ppid=23156 vsize=10550908 CPUtime=1.66 cores=0,2,4,6
/proc/23158/stat : 23158 (java) S 23156 23158 21755 0 -1 4202496 36226 0 1 0 159 7 0 0 25 0 18 0 878069444 10804129792 30299 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23158/statm: 2637727 30302 2233 9 0 2628461 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 10550908
[startup+1.50098 s]
/proc/loadavg: 2.03 2.01 2.00 4/214 23177
/proc/meminfo: memFree=27904884/32951124 swapFree=67052292/67111528
[pid=23158] ppid=23156 vsize=10551936 CPUtime=3.14 cores=0,2,4,6
/proc/23158/stat : 23158 (java) S 23156 23158 21755 0 -1 4202496 76032 0 1 0 302 12 0 0 25 0 19 0 878069444 10805182464 70105 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23158/statm: 2637984 70111 2241 9 0 2628718 0
[pid=23158/tid=23160] ppid=23156 vsize=10551936 CPUtime=1.48 cores=0,2,4,6
/proc/23158/task/23160/stat : 23160 (java) R 23156 23158 21755 0 -1 4202560 62472 0 1 0 139 9 0 0 18 0 19 0 878069444 10805182464 70112 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 46912505627446 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23158/tid=23161] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23161/stat : 23161 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069446 10805182464 70112 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23162] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23162/stat : 23162 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069446 10805182464 70113 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23163] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23163/stat : 23163 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069446 10805182464 70113 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23164] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23164/stat : 23164 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069446 10805182464 70131 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23165] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23165/stat : 23165 (java) S 23156 23158 21755 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 878069446 10805182464 70147 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23166] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23166/stat : 23166 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069446 10805182464 70165 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 0 0 0 0
[pid=23158/tid=23167] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23167/stat : 23167 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069446 10805182464 70181 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 6 0 0 0
[pid=23158/tid=23168] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23168/stat : 23168 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069446 10805182464 70188 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 0 0 0 0
[pid=23158/tid=23169] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23169/stat : 23169 (java) S 23156 23158 21755 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 878069447 10805182464 70188 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624927232 0 0 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23170] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23170/stat : 23170 (java) S 23156 23158 21755 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 878069447 10805182464 70188 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23171] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23171/stat : 23171 (java) S 23156 23158 21755 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878069447 10805182464 70188 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23172] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23172/stat : 23172 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069450 10805182464 70190 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624934321 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23173] ppid=23156 vsize=10551936 CPUtime=0.82 cores=0,2,4,6
/proc/23158/task/23173/stat : 23173 (java) R 23156 23158 21755 0 -1 4202560 6324 0 0 0 82 0 0 0 15 0 19 0 878069450 10805182464 70194 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 47247388780192 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23158/tid=23174] ppid=23156 vsize=10551936 CPUtime=0.8 cores=0,2,4,6
/proc/23158/task/23174/stat : 23174 (java) S 23156 23158 21755 0 -1 4202560 6082 0 0 0 79 1 0 0 23 0 19 0 878069450 10805182464 70198 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 0 0 0 0
[pid=23158/tid=23175] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23175/stat : 23175 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069450 10805182464 70201 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23176] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23176/stat : 23176 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 878069450 10805182464 70205 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624927232 0 4 0 16800975 18446604448333110080 0 0 -1 0 0 0 0
[pid=23158/tid=23177] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23177/stat : 23177 (java) S 23156 23158 21755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878069540 10805182464 70209 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624927232 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.14
Current children cumulated vsize (KiB) 10551936
[startup+3.10071 s]
/proc/loadavg: 2.03 2.01 2.00 3/214 23177
/proc/meminfo: memFree=27712436/32951124 swapFree=67052292/67111528
[pid=23158] ppid=23156 vsize=10551936 CPUtime=4.9 cores=0,2,4,6
/proc/23158/stat : 23158 (java) S 23156 23158 21755 0 -1 4202496 141198 0 1 0 471 19 0 0 25 0 19 0 878069444 10805182464 135268 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23158/statm: 2637984 135269 2242 9 0 2628718 0
[pid=23158/tid=23160] ppid=23156 vsize=10551936 CPUtime=3.08 cores=0,2,4,6
/proc/23158/task/23160/stat : 23160 (java) R 23156 23158 21755 0 -1 4202560 127575 0 1 0 292 16 0 0 21 0 19 0 878069444 10805182464 135269 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 46912505997985 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23158/tid=23161] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23161/stat : 23161 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069446 10805182464 135270 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23162] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23162/stat : 23162 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069446 10805182464 135271 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23163] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23163/stat : 23163 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069446 10805182464 135272 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23164] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23164/stat : 23164 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069446 10805182464 135272 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23165] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23165/stat : 23165 (java) S 23156 23158 21755 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 878069446 10805182464 135273 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23166] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23166/stat : 23166 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069446 10805182464 135273 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 0 0 0 0
[pid=23158/tid=23167] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23167/stat : 23167 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069446 10805182464 135274 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 6 0 0 0
[pid=23158/tid=23168] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23168/stat : 23168 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069446 10805182464 135274 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 0 0 0 0
[pid=23158/tid=23169] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23169/stat : 23169 (java) S 23156 23158 21755 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 878069447 10805182464 135274 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624927232 0 0 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23170] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23170/stat : 23170 (java) S 23156 23158 21755 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 878069447 10805182464 135275 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23171] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23171/stat : 23171 (java) S 23156 23158 21755 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878069447 10805182464 135275 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23172] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23172/stat : 23172 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069450 10805182464 135276 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624934321 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23173] ppid=23156 vsize=10551936 CPUtime=0.86 cores=0,2,4,6
/proc/23158/task/23173/stat : 23173 (java) S 23156 23158 21755 0 -1 4202560 6330 0 0 0 86 0 0 0 15 0 19 0 878069450 10805182464 135276 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 4 0 0 0
[pid=23158/tid=23174] ppid=23156 vsize=10551936 CPUtime=0.93 cores=0,2,4,6
/proc/23158/task/23174/stat : 23174 (java) S 23156 23158 21755 0 -1 4202560 6132 0 0 0 92 1 0 0 15 0 19 0 878069450 10805182464 135277 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 0 0 0 0
[pid=23158/tid=23175] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23175/stat : 23175 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069450 10805182464 135277 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23176] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23176/stat : 23176 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 878069450 10805182464 135278 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624927232 0 4 0 16800975 18446604448333110080 0 0 -1 0 0 0 0
[pid=23158/tid=23177] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23177/stat : 23177 (java) S 23156 23158 21755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878069540 10805182464 135279 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624927232 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.9
Current children cumulated vsize (KiB) 10551936
[startup+6.30114 s]
/proc/loadavg: 2.03 2.01 2.00 3/214 23177
/proc/meminfo: memFree=27304044/32951124 swapFree=67052292/67111528
[pid=23158] ppid=23156 vsize=10551936 CPUtime=8.19 cores=0,2,4,6
/proc/23158/stat : 23158 (java) S 23156 23158 21755 0 -1 4202496 234391 0 1 0 789 30 0 0 25 0 19 0 878069444 10805182464 228247 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23158/statm: 2637984 228248 2244 9 0 2628718 0
[pid=23158/tid=23160] ppid=23156 vsize=10551936 CPUtime=6.28 cores=0,2,4,6
/proc/23158/task/23160/stat : 23160 (java) R 23156 23158 21755 0 -1 4202560 220754 0 1 0 601 27 0 0 25 0 19 0 878069444 10805182464 228248 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 46912505997985 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23158/tid=23161] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23161/stat : 23161 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069446 10805182464 228249 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23162] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23162/stat : 23162 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069446 10805182464 228250 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23163] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23163/stat : 23163 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069446 10805182464 228250 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23164] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23164/stat : 23164 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069446 10805182464 228251 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23165] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23165/stat : 23165 (java) S 23156 23158 21755 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 878069446 10805182464 228251 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23166] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23166/stat : 23166 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069446 10805182464 228252 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 0 0 0 0
[pid=23158/tid=23167] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23167/stat : 23167 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069446 10805182464 228252 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 6 0 0 0
[pid=23158/tid=23168] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23168/stat : 23168 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069446 10805182464 228253 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 0 0 0 0
[pid=23158/tid=23169] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23169/stat : 23169 (java) S 23156 23158 21755 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 878069447 10805182464 228253 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624927232 0 0 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23170] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23170/stat : 23170 (java) S 23156 23158 21755 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 878069447 10805182464 228254 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23171] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23171/stat : 23171 (java) S 23156 23158 21755 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878069447 10805182464 228254 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23172] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23172/stat : 23172 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069450 10805182464 228254 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624934321 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23173] ppid=23156 vsize=10551936 CPUtime=0.91 cores=0,2,4,6
/proc/23158/task/23173/stat : 23173 (java) S 23156 23158 21755 0 -1 4202560 6338 0 0 0 91 0 0 0 15 0 19 0 878069450 10805182464 228255 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 4 0 0 0
[pid=23158/tid=23174] ppid=23156 vsize=10551936 CPUtime=0.97 cores=0,2,4,6
/proc/23158/task/23174/stat : 23174 (java) S 23156 23158 21755 0 -1 4202560 6137 0 0 0 96 1 0 0 15 0 19 0 878069450 10805182464 228255 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 0 0 0 0
[pid=23158/tid=23175] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23175/stat : 23175 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069450 10805182464 228256 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23176] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23176/stat : 23176 (java) S 23156 23158 21755 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 878069450 10805182464 228256 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624927232 0 4 0 16800975 18446604448333110080 0 0 -1 0 0 0 0
[pid=23158/tid=23177] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23177/stat : 23177 (java) S 23156 23158 21755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878069540 10805182464 228256 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624927232 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.19
Current children cumulated vsize (KiB) 10551936
[startup+12.701 s]
################
# More data... #
################
/proc/23158/task/23171/stat : 23171 (java) S 23156 23158 21755 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 878069447 10805182464 1099718 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23172] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23172/stat : 23172 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069450 10805182464 1099718 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624934321 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23173] ppid=23156 vsize=10551936 CPUtime=1.11 cores=0,2,4,6
/proc/23158/task/23173/stat : 23173 (java) S 23156 23158 21755 0 -1 4202560 6414 0 0 0 111 0 0 0 16 0 19 0 878069450 10805182464 1099718 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 4 0 0 0
[pid=23158/tid=23174] ppid=23156 vsize=10551936 CPUtime=1.1 cores=0,2,4,6
/proc/23158/task/23174/stat : 23174 (java) S 23156 23158 21755 0 -1 4202560 6152 0 0 0 109 1 0 0 15 0 19 0 878069450 10805182464 1099718 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 0 0 0 0
[pid=23158/tid=23175] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23175/stat : 23175 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069450 10805182464 1099718 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23176] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23176/stat : 23176 (java) S 23156 23158 21755 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 878069450 10805182464 1099718 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624927232 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23177] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23177/stat : 23177 (java) S 23156 23158 21755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878069540 10805182464 1099718 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624927232 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1673
Current children cumulated vsize (KiB) 10551936
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/190 23250
/proc/meminfo: memFree=27627532/32951124 swapFree=67052292/67111528
[pid=23158] ppid=23156 vsize=10551936 CPUtime=1733.14 cores=0,2,4,6
/proc/23158/stat : 23158 (java) S 23156 23158 21755 0 -1 4202496 1115500 0 1 0 173162 152 0 0 25 0 19 0 878069444 10805182464 1103117 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23158/statm: 2637984 1103117 2270 9 0 2628718 0
[pid=23158/tid=23160] ppid=23156 vsize=10551936 CPUtime=1718.19 cores=0,2,4,6
/proc/23158/task/23160/stat : 23160 (java) R 23156 23158 21755 0 -1 4202560 664543 0 1 0 171743 76 0 0 25 0 19 0 878069444 10805182464 1103117 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 46912506095906 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23158/tid=23161] ppid=23156 vsize=10551936 CPUtime=1.39 cores=0,2,4,6
/proc/23158/task/23161/stat : 23161 (java) S 23156 23158 21755 0 -1 4202560 52034 0 0 0 131 8 0 0 16 0 19 0 878069446 10805182464 1103117 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 4 0 0 0
[pid=23158/tid=23162] ppid=23156 vsize=10551936 CPUtime=1.41 cores=0,2,4,6
/proc/23158/task/23162/stat : 23162 (java) S 23156 23158 21755 0 -1 4202560 54637 0 0 0 131 10 0 0 15 0 19 0 878069446 10805182464 1103117 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 6 0 0 0
[pid=23158/tid=23163] ppid=23156 vsize=10551936 CPUtime=1.37 cores=0,2,4,6
/proc/23158/task/23163/stat : 23163 (java) S 23156 23158 21755 0 -1 4202560 51932 0 0 0 129 8 0 0 16 0 19 0 878069446 10805182464 1103117 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23164] ppid=23156 vsize=10551936 CPUtime=1.44 cores=0,2,4,6
/proc/23158/task/23164/stat : 23164 (java) S 23156 23158 21755 0 -1 4202560 46203 0 0 0 138 6 0 0 16 0 19 0 878069446 10805182464 1103117 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 6 0 0 0
[pid=23158/tid=23165] ppid=23156 vsize=10551936 CPUtime=1.53 cores=0,2,4,6
/proc/23158/task/23165/stat : 23165 (java) S 23156 23158 21755 0 -1 4202560 63838 0 0 0 143 10 0 0 15 0 19 0 878069446 10805182464 1103117 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23166] ppid=23156 vsize=10551936 CPUtime=1.34 cores=0,2,4,6
/proc/23158/task/23166/stat : 23166 (java) S 23156 23158 21755 0 -1 4202560 48675 0 0 0 125 9 0 0 15 0 19 0 878069446 10805182464 1103117 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 4 0 0 0
[pid=23158/tid=23167] ppid=23156 vsize=10551936 CPUtime=1.55 cores=0,2,4,6
/proc/23158/task/23167/stat : 23167 (java) S 23156 23158 21755 0 -1 4202560 66440 0 0 0 146 9 0 0 16 0 19 0 878069446 10805182464 1103117 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 0 0 0 0
[pid=23158/tid=23168] ppid=23156 vsize=10551936 CPUtime=1.4 cores=0,2,4,6
/proc/23158/task/23168/stat : 23168 (java) S 23156 23158 21755 0 -1 4202560 48541 0 0 0 133 7 0 0 15 0 19 0 878069446 10805182464 1103117 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 6 0 0 0
[pid=23158/tid=23169] ppid=23156 vsize=10551936 CPUtime=1.16 cores=0,2,4,6
/proc/23158/task/23169/stat : 23169 (java) S 23156 23158 21755 0 -1 4202560 4841 0 0 0 116 0 0 0 15 0 19 0 878069447 10805182464 1103117 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624927232 0 0 0 16800975 18446604448333110080 0 0 -1 4 0 0 0
[pid=23158/tid=23170] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23170/stat : 23170 (java) S 23156 23158 21755 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878069447 10805182464 1103117 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23171] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23171/stat : 23171 (java) S 23156 23158 21755 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 878069447 10805182464 1103117 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23172] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23172/stat : 23172 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069450 10805182464 1103117 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624934321 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23173] ppid=23156 vsize=10551936 CPUtime=1.11 cores=0,2,4,6
/proc/23158/task/23173/stat : 23173 (java) S 23156 23158 21755 0 -1 4202560 6414 0 0 0 111 0 0 0 16 0 19 0 878069450 10805182464 1103117 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 4 0 0 0
[pid=23158/tid=23174] ppid=23156 vsize=10551936 CPUtime=1.1 cores=0,2,4,6
/proc/23158/task/23174/stat : 23174 (java) S 23156 23158 21755 0 -1 4202560 6152 0 0 0 109 1 0 0 15 0 19 0 878069450 10805182464 1103117 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 0 0 0 0
[pid=23158/tid=23175] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23175/stat : 23175 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069450 10805182464 1103117 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23176] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23176/stat : 23176 (java) S 23156 23158 21755 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 878069450 10805182464 1103117 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624927232 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23177] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23177/stat : 23177 (java) S 23156 23158 21755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878069540 10805182464 1103117 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624927232 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1733.14
Current children cumulated vsize (KiB) 10551936
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/190 23252
/proc/meminfo: memFree=27603680/32951124 swapFree=67052292/67111528
[pid=23158] ppid=23156 vsize=10551936 CPUtime=1793.25 cores=0,2,4,6
/proc/23158/stat : 23158 (java) S 23156 23158 21755 0 -1 4202496 1121433 0 1 0 179172 153 0 0 25 0 19 0 878069444 10805182464 1108940 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23158/statm: 2637984 1108940 2270 9 0 2628718 0
[pid=23158/tid=23160] ppid=23156 vsize=10551936 CPUtime=1776.2 cores=0,2,4,6
/proc/23158/task/23160/stat : 23160 (java) R 23156 23158 21755 0 -1 4202560 664544 0 1 0 177544 76 0 0 25 0 19 0 878069444 10805182464 1108940 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 46912506078700 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23158/tid=23161] ppid=23156 vsize=10551936 CPUtime=1.39 cores=0,2,4,6
/proc/23158/task/23161/stat : 23161 (java) S 23156 23158 21755 0 -1 4202560 52034 0 0 0 131 8 0 0 15 0 19 0 878069446 10805182464 1108940 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23162] ppid=23156 vsize=10551936 CPUtime=1.45 cores=0,2,4,6
/proc/23158/task/23162/stat : 23162 (java) S 23156 23158 21755 0 -1 4202560 55433 0 0 0 135 10 0 0 16 0 19 0 878069446 10805182464 1108940 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 6 0 0 0
[pid=23158/tid=23163] ppid=23156 vsize=10551936 CPUtime=1.41 cores=0,2,4,6
/proc/23158/task/23163/stat : 23163 (java) S 23156 23158 21755 0 -1 4202560 52668 0 0 0 133 8 0 0 16 0 19 0 878069446 10805182464 1108940 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23164] ppid=23156 vsize=10551936 CPUtime=1.48 cores=0,2,4,6
/proc/23158/task/23164/stat : 23164 (java) S 23156 23158 21755 0 -1 4202560 47185 0 0 0 142 6 0 0 16 0 19 0 878069446 10805182464 1108940 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 0 0 0 0
[pid=23158/tid=23165] ppid=23156 vsize=10551936 CPUtime=1.53 cores=0,2,4,6
/proc/23158/task/23165/stat : 23165 (java) S 23156 23158 21755 0 -1 4202560 63838 0 0 0 143 10 0 0 15 0 19 0 878069446 10805182464 1108940 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23166] ppid=23156 vsize=10551936 CPUtime=1.38 cores=0,2,4,6
/proc/23158/task/23166/stat : 23166 (java) S 23156 23158 21755 0 -1 4202560 49673 0 0 0 129 9 0 0 16 0 19 0 878069446 10805182464 1108940 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 0 0 0 0
[pid=23158/tid=23167] ppid=23156 vsize=10551936 CPUtime=1.55 cores=0,2,4,6
/proc/23158/task/23167/stat : 23167 (java) S 23156 23158 21755 0 -1 4202560 66440 0 0 0 146 9 0 0 15 0 19 0 878069446 10805182464 1108940 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 0 0 0 0
[pid=23158/tid=23168] ppid=23156 vsize=10551936 CPUtime=1.4 cores=0,2,4,6
/proc/23158/task/23168/stat : 23168 (java) S 23156 23158 21755 0 -1 4202560 48541 0 0 0 133 7 0 0 15 0 19 0 878069446 10805182464 1108940 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 6 0 0 0
[pid=23158/tid=23169] ppid=23156 vsize=10551936 CPUtime=3.12 cores=0,2,4,6
/proc/23158/task/23169/stat : 23169 (java) S 23156 23158 21755 0 -1 4202560 7257 0 0 0 311 1 0 0 18 0 19 0 878069447 10805182464 1108940 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624927232 0 0 0 16800975 18446604448333110080 0 0 -1 4 0 0 0
[pid=23158/tid=23170] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23170/stat : 23170 (java) S 23156 23158 21755 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878069447 10805182464 1108940 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23171] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23171/stat : 23171 (java) S 23156 23158 21755 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 878069447 10805182464 1108940 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23172] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23172/stat : 23172 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069450 10805182464 1108940 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624934321 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23173] ppid=23156 vsize=10551936 CPUtime=1.11 cores=0,2,4,6
/proc/23158/task/23173/stat : 23173 (java) S 23156 23158 21755 0 -1 4202560 6414 0 0 0 111 0 0 0 16 0 19 0 878069450 10805182464 1108940 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 4 0 0 0
[pid=23158/tid=23174] ppid=23156 vsize=10551936 CPUtime=1.1 cores=0,2,4,6
/proc/23158/task/23174/stat : 23174 (java) S 23156 23158 21755 0 -1 4202560 6152 0 0 0 109 1 0 0 15 0 19 0 878069450 10805182464 1108940 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 0 0 0 0
[pid=23158/tid=23175] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23175/stat : 23175 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069450 10805182464 1108940 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23176] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23176/stat : 23176 (java) S 23156 23158 21755 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 878069450 10805182464 1108940 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624927232 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23177] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23177/stat : 23177 (java) S 23156 23158 21755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878069540 10805182464 1108940 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624927232 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1793.25
Current children cumulated vsize (KiB) 10551936
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1789 s]
/proc/loadavg: 1.00 1.00 1.16 2/190 23252
/proc/meminfo: memFree=27603552/32951124 swapFree=67052292/67111528
[pid=23158] ppid=23156 vsize=10551936 CPUtime=1800.04 cores=0,2,4,6
/proc/23158/stat : 23158 (java) S 23156 23158 21755 0 -1 4202496 1121440 0 1 0 179851 153 0 0 25 0 19 0 878069444 10805182464 1108944 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23158/statm: 2637984 1108944 2270 9 0 2628718 0
[pid=23158/tid=23160] ppid=23156 vsize=10551936 CPUtime=1782.88 cores=0,2,4,6
/proc/23158/task/23160/stat : 23160 (java) R 23156 23158 21755 0 -1 4202560 664545 0 1 0 178212 76 0 0 25 0 19 0 878069444 10805182464 1108944 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 46912506078693 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23158/tid=23161] ppid=23156 vsize=10551936 CPUtime=1.39 cores=0,2,4,6
/proc/23158/task/23161/stat : 23161 (java) S 23156 23158 21755 0 -1 4202560 52034 0 0 0 131 8 0 0 15 0 19 0 878069446 10805182464 1108944 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23162] ppid=23156 vsize=10551936 CPUtime=1.48 cores=0,2,4,6
/proc/23158/task/23162/stat : 23162 (java) S 23156 23158 21755 0 -1 4202560 55433 0 0 0 138 10 0 0 16 0 19 0 878069446 10805182464 1108944 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 6 0 0 0
[pid=23158/tid=23163] ppid=23156 vsize=10551936 CPUtime=1.41 cores=0,2,4,6
/proc/23158/task/23163/stat : 23163 (java) S 23156 23158 21755 0 -1 4202560 52668 0 0 0 133 8 0 0 15 0 19 0 878069446 10805182464 1108944 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23164] ppid=23156 vsize=10551936 CPUtime=1.48 cores=0,2,4,6
/proc/23158/task/23164/stat : 23164 (java) S 23156 23158 21755 0 -1 4202560 47185 0 0 0 142 6 0 0 15 0 19 0 878069446 10805182464 1108944 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 0 0 0 0
[pid=23158/tid=23165] ppid=23156 vsize=10551936 CPUtime=1.56 cores=0,2,4,6
/proc/23158/task/23165/stat : 23165 (java) S 23156 23158 21755 0 -1 4202560 63840 0 0 0 146 10 0 0 16 0 19 0 878069446 10805182464 1108944 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23166] ppid=23156 vsize=10551936 CPUtime=1.38 cores=0,2,4,6
/proc/23158/task/23166/stat : 23166 (java) S 23156 23158 21755 0 -1 4202560 49673 0 0 0 129 9 0 0 15 0 19 0 878069446 10805182464 1108944 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 0 0 0 0
[pid=23158/tid=23167] ppid=23156 vsize=10551936 CPUtime=1.58 cores=0,2,4,6
/proc/23158/task/23167/stat : 23167 (java) S 23156 23158 21755 0 -1 4202560 66441 0 0 0 149 9 0 0 16 0 19 0 878069446 10805182464 1108944 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 0 0 0 0
[pid=23158/tid=23168] ppid=23156 vsize=10551936 CPUtime=1.42 cores=0,2,4,6
/proc/23158/task/23168/stat : 23168 (java) S 23156 23158 21755 0 -1 4202560 48542 0 0 0 135 7 0 0 16 0 19 0 878069446 10805182464 1108944 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 4 0 0 0
[pid=23158/tid=23169] ppid=23156 vsize=10551936 CPUtime=3.12 cores=0,2,4,6
/proc/23158/task/23169/stat : 23169 (java) S 23156 23158 21755 0 -1 4202560 7259 0 0 0 311 1 0 0 15 0 19 0 878069447 10805182464 1108944 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624927232 0 0 0 16800975 18446604448333110080 0 0 -1 4 0 0 0
[pid=23158/tid=23170] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23170/stat : 23170 (java) S 23156 23158 21755 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878069447 10805182464 1108944 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23171] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23171/stat : 23171 (java) S 23156 23158 21755 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 878069447 10805182464 1108944 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23172] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23172/stat : 23172 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069450 10805182464 1108944 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624934321 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23173] ppid=23156 vsize=10551936 CPUtime=1.11 cores=0,2,4,6
/proc/23158/task/23173/stat : 23173 (java) S 23156 23158 21755 0 -1 4202560 6414 0 0 0 111 0 0 0 16 0 19 0 878069450 10805182464 1108944 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 4 0 0 0
[pid=23158/tid=23174] ppid=23156 vsize=10551936 CPUtime=1.1 cores=0,2,4,6
/proc/23158/task/23174/stat : 23174 (java) S 23156 23158 21755 0 -1 4202560 6152 0 0 0 109 1 0 0 15 0 19 0 878069450 10805182464 1108944 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 0 0 0 0
[pid=23158/tid=23175] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23175/stat : 23175 (java) S 23156 23158 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878069450 10805182464 1108944 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624926617 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23176] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23176/stat : 23176 (java) S 23156 23158 21755 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 878069450 10805182464 1108944 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624927232 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
[pid=23158/tid=23177] ppid=23156 vsize=10551936 CPUtime=0 cores=0,2,4,6
/proc/23158/task/23177/stat : 23177 (java) S 23156 23158 21755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878069540 10805182464 1108944 33554432000 1073741824 1073778376 140736382380592 18446744073709551615 270624927232 0 4 0 16800975 18446604448333110080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10551936
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1789.11 s]
/proc/loadavg: 1.00 1.00 1.16 2/190 23252
/proc/meminfo: memFree=27603552/32951124 swapFree=67052292/67111528
[pid=23158] ppid=23156 vsize=0 CPUtime=1800.18 cores=0,2,4,6
/proc/23158/stat : 23158 (java) Z 23156 23158 21755 0 -1 4203548 1121470 0 1 0 179856 162 0 0 17 0 2 0 878069444 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23158/statm: 0 0 0 0 0 0 0
[pid=23158/tid=23160] ppid=23156 vsize=0 CPUtime=1782.99 cores=0,2,4,6
/proc/23158/task/23160/stat : 23160 (java) R 23156 23158 21755 0 -1 4203588 664545 0 1 0 178214 85 0 0 25 0 2 0 878069444 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1789.19
CPU time (s): 1800.27
CPU user time (s): 1798.56
CPU system time (s): 1.70274
CPU usage (%): 100.619
Max. virtual memory (cumulated for all children) (KiB): 10554648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.56
system time used= 1.70274
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1121470
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= 37756
involuntary context switches= 28553
runsolver used 3.2795 second user time and 6.49701 second system time
The end