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-3478792-1307437707/watcher-3478792-1307437707 -o /tmp/evaluation-result-3478792-1307437707/solver-3478792-1307437707 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3478792-1307437707.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: 3.72 3.64 2.37 3/482 15262
/proc/meminfo: memFree=20539460/32951124 swapFree=41830676/67111528
[pid=15262] ppid=15260 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/15262/stat : 15262 (java) S 15260 15262 15115 0 -1 4202496 1966 0 1 0 0 0 0 0 25 0 2 0 855368711 10681323520 1668 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/15262/statm: 2607745 1681 906 9 0 2598901 0
[pid=15262/tid=15263] ppid=15260 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15263/stat : 15263 (java) R 15260 15262 15115 0 -1 4202560 4969 0 1 0 0 0 0 0 25 0 2 0 855368712 10694979584 5785 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0225711 s]
/proc/loadavg: 3.72 3.64 2.37 3/482 15262
/proc/meminfo: memFree=20539460/32951124 swapFree=41830676/67111528
[pid=15262] ppid=15260 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/15262/stat : 15262 (java) S 15260 15262 15115 0 -1 4202496 9119 0 1 0 0 0 0 0 25 0 2 0 855368711 10694979584 8821 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/15262/statm: 2611079 8839 917 9 0 2602235 0
[pid=15262/tid=15263] ppid=15260 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15263/stat : 15263 (java) R 15260 15262 15115 0 -1 4202560 8038 0 1 0 0 0 0 0 25 0 2 0 855368712 10694979584 8854 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316
[startup+0.100569 s]
/proc/loadavg: 3.72 3.64 2.37 3/482 15262
/proc/meminfo: memFree=20539460/32951124 swapFree=41830676/67111528
[pid=15262] ppid=15260 vsize=10539928 CPUtime=0.09 cores=0,2,4,6
/proc/15262/stat : 15262 (java) S 15260 15262 15115 0 -1 4202496 13008 0 1 0 8 1 0 0 25 0 18 0 855368711 10792886272 12705 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15262/statm: 2634982 12706 2092 9 0 2625716 0
[pid=15262/tid=15263] ppid=15260 vsize=10539928 CPUtime=0.08 cores=0,2,4,6
/proc/15262/task/15263/stat : 15263 (java) R 15260 15262 15115 0 -1 4202560 11080 0 1 0 7 1 0 0 25 0 18 0 855368712 10792886272 12706 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 47113377909254 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539928
[startup+0.300491 s]
/proc/loadavg: 3.72 3.64 2.37 3/482 15262
/proc/meminfo: memFree=20539460/32951124 swapFree=41830676/67111528
[pid=15262] ppid=15260 vsize=10540412 CPUtime=0.46 cores=0,2,4,6
/proc/15262/stat : 15262 (java) S 15260 15262 15115 0 -1 4202496 15715 0 1 0 44 2 0 0 25 0 18 0 855368711 10793381888 15144 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15262/statm: 2635103 15144 2200 9 0 2625837 0
[pid=15262/tid=15263] ppid=15260 vsize=10540412 CPUtime=0.27 cores=0,2,4,6
/proc/15262/task/15263/stat : 15263 (java) R 15260 15262 15115 0 -1 4202560 12932 0 1 0 26 1 0 0 25 0 18 0 855368712 10793381888 15144 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 46912505559145 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10540412
[startup+0.700496 s]
/proc/loadavg: 3.72 3.64 2.37 3/482 15262
/proc/meminfo: memFree=20539460/32951124 swapFree=41830676/67111528
[pid=15262] ppid=15260 vsize=10543428 CPUtime=1.22 cores=0,2,4,6
/proc/15262/stat : 15262 (java) S 15260 15262 15115 0 -1 4202496 48634 0 1 0 115 7 0 0 25 0 18 0 855368711 10796470272 46461 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15262/statm: 2635857 46465 2216 9 0 2626591 0
[pid=15262/tid=15263] ppid=15260 vsize=10543428 CPUtime=0.67 cores=0,2,4,6
/proc/15262/task/15263/stat : 15263 (java) R 15260 15262 15115 0 -1 4202560 42492 0 1 0 61 6 0 0 25 0 18 0 855368712 10796470272 46468 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 46912505550617 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 10543428
[startup+1.5013 s]
/proc/loadavg: 3.72 3.64 2.37 4/500 15280
/proc/meminfo: memFree=20230008/32951124 swapFree=41830676/67111528
[pid=15262] ppid=15260 vsize=10543428 CPUtime=2.1 cores=0,2,4,6
/proc/15262/stat : 15262 (java) S 15260 15262 15115 0 -1 4202496 137362 0 1 0 192 18 0 0 25 0 18 0 855368711 10796470272 135188 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15262/statm: 2635857 135192 2216 9 0 2626591 0
[pid=15262/tid=15263] ppid=15260 vsize=10543428 CPUtime=1.48 cores=0,2,4,6
/proc/15262/task/15263/stat : 15263 (java) R 15260 15262 15115 0 -1 4202560 131163 0 1 0 131 17 0 0 25 0 18 0 855368712 10796470272 135195 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 46912505559131 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15262/tid=15265] ppid=15260 vsize=10543428 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15265/stat : 15265 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855368713 10796470272 135198 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15266] ppid=15260 vsize=10543428 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15266/stat : 15266 (java) S 15260 15262 15115 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 855368713 10796470272 135201 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 2 0 0 0
[pid=15262/tid=15267] ppid=15260 vsize=10543428 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15267/stat : 15267 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855368713 10796470272 135203 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 2 0 0 0
[pid=15262/tid=15268] ppid=15260 vsize=10543428 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15268/stat : 15268 (java) S 15260 15262 15115 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 855368713 10796470272 135206 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
[pid=15262/tid=15269] ppid=15260 vsize=10543428 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15269/stat : 15269 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855368713 10796470272 135206 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 2 0 0 0
[pid=15262/tid=15270] ppid=15260 vsize=10543428 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15270/stat : 15270 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855368713 10796470272 135208 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15271] ppid=15260 vsize=10543428 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15271/stat : 15271 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855368713 10796470272 135211 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
[pid=15262/tid=15272] ppid=15260 vsize=10543428 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15272/stat : 15272 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855368713 10796470272 135214 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
[pid=15262/tid=15273] ppid=15260 vsize=10543428 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15273/stat : 15273 (java) S 15260 15262 15115 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855368715 10796470272 135217 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134530560 0 0 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15274] ppid=15260 vsize=10543428 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15274/stat : 15274 (java) S 15260 15262 15115 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 855368715 10796470272 135220 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15275] ppid=15260 vsize=10543428 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15275/stat : 15275 (java) S 15260 15262 15115 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 855368715 10796470272 135225 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15276] ppid=15260 vsize=10543428 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15276/stat : 15276 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 855368717 10796470272 135240 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134537649 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15277] ppid=15260 vsize=10543428 CPUtime=0.32 cores=0,2,4,6
/proc/15262/task/15277/stat : 15277 (java) S 15260 15262 15115 0 -1 4202560 3131 0 0 0 32 0 0 0 15 0 18 0 855368717 10796470272 135242 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 2 0 0 0
[pid=15262/tid=15278] ppid=15260 vsize=10543428 CPUtime=0.28 cores=0,2,4,6
/proc/15262/task/15278/stat : 15278 (java) S 15260 15262 15115 0 -1 4202560 1923 0 0 0 28 0 0 0 15 0 18 0 855368717 10796470272 135245 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15279] ppid=15260 vsize=10543428 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15279/stat : 15279 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 855368717 10796470272 135248 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15280] ppid=15260 vsize=10543428 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15280/stat : 15280 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855368717 10796470272 135251 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134530560 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 10543428
[startup+3.10098 s]
/proc/loadavg: 3.72 3.64 2.37 8/504 15284
/proc/meminfo: memFree=19748360/32951124 swapFree=41830676/67111528
[pid=15262] ppid=15260 vsize=10547388 CPUtime=5.49 cores=0,2,4,6
/proc/15262/stat : 15262 (java) S 15260 15262 15115 0 -1 4202496 274188 0 1 0 516 33 0 0 25 0 22 0 855368711 10800525312 271249 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15262/statm: 2636847 271249 2239 9 0 2627581 0
[pid=15262/tid=15263] ppid=15260 vsize=10547388 CPUtime=2.02 cores=0,2,4,6
/proc/15262/task/15263/stat : 15263 (java) S 15260 15262 15115 0 -1 4202560 193912 0 1 0 177 25 0 0 15 0 22 0 855368712 10800525312 271249 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134530560 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15265] ppid=15260 vsize=10547388 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15265/stat : 15265 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855368713 10800525312 271249 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15266] ppid=15260 vsize=10547388 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15266/stat : 15266 (java) S 15260 15262 15115 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 855368713 10800525312 271249 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 2 0 0 0
[pid=15262/tid=15267] ppid=15260 vsize=10547388 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15267/stat : 15267 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855368713 10800525312 271249 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 2 0 0 0
[pid=15262/tid=15268] ppid=15260 vsize=10547388 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15268/stat : 15268 (java) S 15260 15262 15115 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 855368713 10800525312 271249 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
[pid=15262/tid=15269] ppid=15260 vsize=10547388 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15269/stat : 15269 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855368713 10800525312 271249 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 2 0 0 0
[pid=15262/tid=15270] ppid=15260 vsize=10547388 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15270/stat : 15270 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855368713 10800525312 271249 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15271] ppid=15260 vsize=10547388 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15271/stat : 15271 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855368713 10800525312 271249 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
[pid=15262/tid=15272] ppid=15260 vsize=10547388 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15272/stat : 15272 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855368713 10800525312 271249 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
[pid=15262/tid=15273] ppid=15260 vsize=10547388 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15273/stat : 15273 (java) S 15260 15262 15115 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 22 0 855368715 10800525312 271249 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134530560 0 0 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
[pid=15262/tid=15274] ppid=15260 vsize=10547388 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15274/stat : 15274 (java) S 15260 15262 15115 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 855368715 10800525312 271249 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15275] ppid=15260 vsize=10547388 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15275/stat : 15275 (java) S 15260 15262 15115 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 855368715 10800525312 271249 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15276] ppid=15260 vsize=10547388 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15276/stat : 15276 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 855368717 10800525312 271249 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134537649 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15277] ppid=15260 vsize=10547388 CPUtime=0.73 cores=0,2,4,6
/proc/15262/task/15277/stat : 15277 (java) S 15260 15262 15115 0 -1 4202560 3985 0 0 0 73 0 0 0 15 0 22 0 855368717 10800525312 271249 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 2 0 0 0
[pid=15262/tid=15278] ppid=15260 vsize=10547388 CPUtime=0.64 cores=0,2,4,6
/proc/15262/task/15278/stat : 15278 (java) S 15260 15262 15115 0 -1 4202560 2306 0 0 0 64 0 0 0 15 0 22 0 855368717 10800525312 271249 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15279] ppid=15260 vsize=10547388 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15279/stat : 15279 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 855368717 10800525312 271249 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15280] ppid=15260 vsize=10547388 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15280/stat : 15280 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 855368717 10800525312 271249 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134530560 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15281] ppid=15260 vsize=10547388 CPUtime=1.05 cores=0,2,4,6
/proc/15262/task/15281/stat : 15281 (java) R 15260 15262 15115 0 -1 4202560 955 0 0 0 105 0 0 0 25 0 22 0 855368915 10800525312 271249 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 46912505871612 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15262/tid=15282] ppid=15260 vsize=10547388 CPUtime=1.01 cores=0,2,4,6
/proc/15262/task/15282/stat : 15282 (java) R 15260 15262 15115 0 -1 4202560 71859 0 0 0 95 6 0 0 25 0 22 0 855368915 10800525312 271249 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 46912506083260 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15262/tid=15283] ppid=15260 vsize=10547388 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15283/stat : 15283 (java) S 15260 15262 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855368917 10800525312 271249 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134530560 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15284] ppid=15260 vsize=10547388 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15284/stat : 15284 (java) S 15260 15262 15115 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 855368918 10800525312 271249 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134530560 0 4 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.49
Current children cumulated vsize (KiB) 10547388
[startup+6.30139 s]
/proc/loadavg: 3.74 3.64 2.38 5/504 15284
/proc/meminfo: memFree=18780016/32951124 swapFree=41830676/67111528
[pid=15262] ppid=15260 vsize=10547388 CPUtime=11.96 cores=0,2,4,6
/proc/15262/stat : 15262 (java) S 15260 15262 15115 0 -1 4202496 446181 0 1 0 1142 54 0 0 25 0 22 0 855368711 10800525312 440935 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15262/statm: 2636847 440935 2266 9 0 2627581 0
[pid=15262/tid=15263] ppid=15260 vsize=10547388 CPUtime=2.02 cores=0,2,4,6
/proc/15262/task/15263/stat : 15263 (java) S 15260 15262 15115 0 -1 4202560 193912 0 1 0 177 25 0 0 15 0 22 0 855368712 10800525312 440935 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134530560 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15265] ppid=15260 vsize=10547388 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15265/stat : 15265 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 855368713 10800525312 440935 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15266] ppid=15260 vsize=10547388 CPUtime=0.04 cores=0,2,4,6
/proc/15262/task/15266/stat : 15266 (java) S 15260 15262 15115 0 -1 4202560 3059 0 0 0 4 0 0 0 18 0 22 0 855368713 10800525312 440935 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 2 0 0 0
[pid=15262/tid=15267] ppid=15260 vsize=10547388 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15267/stat : 15267 (java) S 15260 15262 15115 0 -1 4202560 269 0 0 0 0 0 0 0 18 0 22 0 855368713 10800525312 440935 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 2 0 0 0
[pid=15262/tid=15268] ppid=15260 vsize=10547388 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15268/stat : 15268 (java) S 15260 15262 15115 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 855368713 10800525312 440935 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15269] ppid=15260 vsize=10547388 CPUtime=0.04 cores=0,2,4,6
/proc/15262/task/15269/stat : 15269 (java) S 15260 15262 15115 0 -1 4202560 3234 0 0 0 4 0 0 0 18 0 22 0 855368713 10800525312 440935 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15270] ppid=15260 vsize=10547388 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15270/stat : 15270 (java) S 15260 15262 15115 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 855368713 10800525312 440935 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15271] ppid=15260 vsize=10547388 CPUtime=0.04 cores=0,2,4,6
/proc/15262/task/15271/stat : 15271 (java) S 15260 15262 15115 0 -1 4202560 3546 0 0 0 4 0 0 0 18 0 22 0 855368713 10800525312 440935 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15272] ppid=15260 vsize=10547388 CPUtime=0.04 cores=0,2,4,6
/proc/15262/task/15272/stat : 15272 (java) S 15260 15262 15115 0 -1 4202560 3000 0 0 0 4 0 0 0 18 0 22 0 855368713 10800525312 440935 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15273] ppid=15260 vsize=10547388 CPUtime=0.34 cores=0,2,4,6
/proc/15262/task/15273/stat : 15273 (java) S 15260 15262 15115 0 -1 4202560 15622 0 0 0 33 1 0 0 16 0 22 0 855368715 10800525312 440935 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134530560 0 0 0 16800975 18446604451682720512 0 0 -1 2 0 0 0
[pid=15262/tid=15274] ppid=15260 vsize=10547388 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15274/stat : 15274 (java) S 15260 15262 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855368715 10800525312 440935 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
[pid=15262/tid=15275] ppid=15260 vsize=10547388 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15275/stat : 15275 (java) S 15260 15262 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855368715 10800525312 440935 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15276] ppid=15260 vsize=10547388 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15276/stat : 15276 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 855368717 10800525312 440935 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134537649 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=20830144/32951124 swapFree=41830676/67111528
[pid=15262] ppid=15260 vsize=10546692 CPUtime=1631.27 cores=0,2,4,6
/proc/15262/stat : 15262 (java) S 15260 15262 15115 0 -1 4202496 922190 0 1 0 163017 110 0 0 25 0 22 0 855368711 10799812608 913992 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15262/statm: 2636673 913992 2268 9 0 2627407 0
[pid=15262/tid=15263] ppid=15260 vsize=10546692 CPUtime=2.02 cores=0,2,4,6
/proc/15262/task/15263/stat : 15263 (java) S 15260 15262 15115 0 -1 4202560 193929 0 1 0 177 25 0 0 15 0 22 0 855368712 10799812608 913992 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134530560 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15265] ppid=15260 vsize=10546692 CPUtime=0.54 cores=0,2,4,6
/proc/15262/task/15265/stat : 15265 (java) S 15260 15262 15115 0 -1 4202560 3193 0 0 0 53 1 0 0 15 0 22 0 855368713 10799812608 913992 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
[pid=15262/tid=15266] ppid=15260 vsize=10546692 CPUtime=0.5 cores=0,2,4,6
/proc/15262/task/15266/stat : 15266 (java) S 15260 15262 15115 0 -1 4202560 5471 0 0 0 50 0 0 0 15 0 22 0 855368713 10799812608 913992 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15267] ppid=15260 vsize=10546692 CPUtime=0.5 cores=0,2,4,6
/proc/15262/task/15267/stat : 15267 (java) S 15260 15262 15115 0 -1 4202560 2255 0 0 0 50 0 0 0 15 0 22 0 855368713 10799812608 913992 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15268] ppid=15260 vsize=10546692 CPUtime=0.54 cores=0,2,4,6
/proc/15262/task/15268/stat : 15268 (java) S 15260 15262 15115 0 -1 4202560 2261 0 0 0 54 0 0 0 15 0 22 0 855368713 10799812608 913992 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
[pid=15262/tid=15269] ppid=15260 vsize=10546692 CPUtime=0.57 cores=0,2,4,6
/proc/15262/task/15269/stat : 15269 (java) S 15260 15262 15115 0 -1 4202560 6454 0 0 0 57 0 0 0 16 0 22 0 855368713 10799812608 913992 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15270] ppid=15260 vsize=10546692 CPUtime=0.48 cores=0,2,4,6
/proc/15262/task/15270/stat : 15270 (java) S 15260 15262 15115 0 -1 4202560 2215 0 0 0 48 0 0 0 16 0 22 0 855368713 10799812608 913992 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
[pid=15262/tid=15271] ppid=15260 vsize=10546692 CPUtime=0.46 cores=0,2,4,6
/proc/15262/task/15271/stat : 15271 (java) S 15260 15262 15115 0 -1 4202560 8921 0 0 0 45 1 0 0 16 0 22 0 855368713 10799812608 913992 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15272] ppid=15260 vsize=10546692 CPUtime=0.59 cores=0,2,4,6
/proc/15262/task/15272/stat : 15272 (java) S 15260 15262 15115 0 -1 4202560 5888 0 0 0 58 1 0 0 16 0 22 0 855368713 10799812608 913992 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15273] ppid=15260 vsize=10546692 CPUtime=14.9 cores=0,2,4,6
/proc/15262/task/15273/stat : 15273 (java) S 15260 15262 15115 0 -1 4202560 30871 0 0 0 1486 4 0 0 15 0 22 0 855368715 10799812608 913992 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134530560 0 0 0 16800975 18446604451682720512 0 0 -1 2 0 0 0
[pid=15262/tid=15274] ppid=15260 vsize=10546692 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15274/stat : 15274 (java) S 15260 15262 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855368715 10799812608 913992 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
[pid=15262/tid=15275] ppid=15260 vsize=10546692 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15275/stat : 15275 (java) S 15260 15262 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855368715 10799812608 913992 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15276] ppid=15260 vsize=10546692 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15276/stat : 15276 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 855368717 10799812608 913992 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134537649 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15277] ppid=15260 vsize=10546692 CPUtime=1.16 cores=0,2,4,6
/proc/15262/task/15277/stat : 15277 (java) S 15260 15262 15115 0 -1 4202560 7751 0 0 0 115 1 0 0 15 0 22 0 855368717 10799812608 913992 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 2 0 0 0
[pid=15262/tid=15278] ppid=15260 vsize=10546692 CPUtime=0.86 cores=0,2,4,6
/proc/15262/task/15278/stat : 15278 (java) S 15260 15262 15115 0 -1 4202560 2783 0 0 0 86 0 0 0 15 0 22 0 855368717 10799812608 913992 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15279] ppid=15260 vsize=10546692 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15279/stat : 15279 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 855368717 10799812608 913992 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15280] ppid=15260 vsize=10546692 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15280/stat : 15280 (java) S 15260 15262 15115 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 855368717 10799812608 913992 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134530560 0 4 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
[pid=15262/tid=15281] ppid=15260 vsize=10546692 CPUtime=804.01 cores=0,2,4,6
/proc/15262/task/15281/stat : 15281 (java) R 15260 15262 15115 0 -1 4202560 2158 0 0 0 80401 0 0 0 25 0 22 0 855368915 10799812608 913992 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 46912505917050 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15262/tid=15282] ppid=15260 vsize=10546692 CPUtime=803.99 cores=0,2,4,6
/proc/15262/task/15282/stat : 15282 (java) R 15260 15262 15115 0 -1 4202560 646836 0 0 0 80328 71 0 0 25 0 22 0 855368915 10799812608 913992 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 46912505923572 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15262/tid=15283] ppid=15260 vsize=10546692 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15283/stat : 15283 (java) S 15260 15262 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855368917 10799812608 913992 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134530560 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15284] ppid=15260 vsize=10546692 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15284/stat : 15284 (java) S 15260 15262 15115 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 855368918 10799812608 913992 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134530560 0 4 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1631.27
Current children cumulated vsize (KiB) 10546692
[startup+882.301 s]
/proc/loadavg: 4.08 3.98 3.32 5/504 15358
/proc/meminfo: memFree=20805200/32951124 swapFree=41830676/67111528
[pid=15262] ppid=15260 vsize=10546692 CPUtime=1750.78 cores=0,2,4,6
/proc/15262/stat : 15262 (java) S 15260 15262 15115 0 -1 4202496 922677 0 1 0 174968 110 0 0 25 0 22 0 855368711 10799812608 914466 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15262/statm: 2636673 914466 2268 9 0 2627407 0
[pid=15262/tid=15263] ppid=15260 vsize=10546692 CPUtime=2.02 cores=0,2,4,6
/proc/15262/task/15263/stat : 15263 (java) S 15260 15262 15115 0 -1 4202560 193930 0 1 0 177 25 0 0 15 0 22 0 855368712 10799812608 914466 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134530560 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15265] ppid=15260 vsize=10546692 CPUtime=0.62 cores=0,2,4,6
/proc/15262/task/15265/stat : 15265 (java) S 15260 15262 15115 0 -1 4202560 3417 0 0 0 61 1 0 0 16 0 22 0 855368713 10799812608 914466 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15266] ppid=15260 vsize=10546692 CPUtime=0.54 cores=0,2,4,6
/proc/15262/task/15266/stat : 15266 (java) S 15260 15262 15115 0 -1 4202560 5483 0 0 0 54 0 0 0 16 0 22 0 855368713 10799812608 914466 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15267] ppid=15260 vsize=10546692 CPUtime=0.52 cores=0,2,4,6
/proc/15262/task/15267/stat : 15267 (java) S 15260 15262 15115 0 -1 4202560 2262 0 0 0 52 0 0 0 16 0 22 0 855368713 10799812608 914466 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
[pid=15262/tid=15268] ppid=15260 vsize=10546692 CPUtime=0.58 cores=0,2,4,6
/proc/15262/task/15268/stat : 15268 (java) S 15260 15262 15115 0 -1 4202560 2320 0 0 0 58 0 0 0 15 0 22 0 855368713 10799812608 914466 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15269] ppid=15260 vsize=10546692 CPUtime=0.57 cores=0,2,4,6
/proc/15262/task/15269/stat : 15269 (java) S 15260 15262 15115 0 -1 4202560 6454 0 0 0 57 0 0 0 15 0 22 0 855368713 10799812608 914466 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15270] ppid=15260 vsize=10546692 CPUtime=0.5 cores=0,2,4,6
/proc/15262/task/15270/stat : 15270 (java) S 15260 15262 15115 0 -1 4202560 2237 0 0 0 50 0 0 0 16 0 22 0 855368713 10799812608 914466 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
[pid=15262/tid=15271] ppid=15260 vsize=10546692 CPUtime=0.48 cores=0,2,4,6
/proc/15262/task/15271/stat : 15271 (java) S 15260 15262 15115 0 -1 4202560 8926 0 0 0 47 1 0 0 16 0 22 0 855368713 10799812608 914466 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15272] ppid=15260 vsize=10546692 CPUtime=0.65 cores=0,2,4,6
/proc/15262/task/15272/stat : 15272 (java) S 15260 15262 15115 0 -1 4202560 6033 0 0 0 64 1 0 0 16 0 22 0 855368713 10799812608 914466 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15273] ppid=15260 vsize=10546692 CPUtime=15.5 cores=0,2,4,6
/proc/15262/task/15273/stat : 15273 (java) S 15260 15262 15115 0 -1 4202560 30876 0 0 0 1546 4 0 0 15 0 22 0 855368715 10799812608 914466 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134530560 0 0 0 16800975 18446604451682720512 0 0 -1 2 0 0 0
[pid=15262/tid=15274] ppid=15260 vsize=10546692 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15274/stat : 15274 (java) S 15260 15262 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855368715 10799812608 914466 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
[pid=15262/tid=15275] ppid=15260 vsize=10546692 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15275/stat : 15275 (java) S 15260 15262 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855368715 10799812608 914466 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15276] ppid=15260 vsize=10546692 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15276/stat : 15276 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 855368717 10799812608 914466 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134537649 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15277] ppid=15260 vsize=10546692 CPUtime=1.16 cores=0,2,4,6
/proc/15262/task/15277/stat : 15277 (java) S 15260 15262 15115 0 -1 4202560 7751 0 0 0 115 1 0 0 15 0 22 0 855368717 10799812608 914466 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 2 0 0 0
[pid=15262/tid=15278] ppid=15260 vsize=10546692 CPUtime=0.86 cores=0,2,4,6
/proc/15262/task/15278/stat : 15278 (java) S 15260 15262 15115 0 -1 4202560 2783 0 0 0 86 0 0 0 15 0 22 0 855368717 10799812608 914466 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15279] ppid=15260 vsize=10546692 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15279/stat : 15279 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 855368717 10799812608 914466 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15280] ppid=15260 vsize=10546692 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15280/stat : 15280 (java) S 15260 15262 15115 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 855368717 10799812608 914466 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134530560 0 4 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
[pid=15262/tid=15281] ppid=15260 vsize=10546692 CPUtime=863.33 cores=0,2,4,6
/proc/15262/task/15281/stat : 15281 (java) R 15260 15262 15115 0 -1 4202560 2160 0 0 0 86333 0 0 0 25 0 22 0 855368915 10799812608 914466 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 46912505871612 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15262/tid=15282] ppid=15260 vsize=10546692 CPUtime=863.31 cores=0,2,4,6
/proc/15262/task/15282/stat : 15282 (java) R 15260 15262 15115 0 -1 4202560 646837 0 0 0 86260 71 0 0 25 0 22 0 855368915 10799812608 914466 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 46912505746515 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15262/tid=15283] ppid=15260 vsize=10546692 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15283/stat : 15283 (java) S 15260 15262 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855368917 10799812608 914466 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134530560 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15284] ppid=15260 vsize=10546692 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15284/stat : 15284 (java) S 15260 15262 15115 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 855368918 10799812608 914466 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134530560 0 4 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1750.78
Current children cumulated vsize (KiB) 10546692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+906.901 s]
/proc/loadavg: 4.05 3.98 3.34 5/504 15359
/proc/meminfo: memFree=20797240/32951124 swapFree=41830676/67111528
[pid=15262] ppid=15260 vsize=10546692 CPUtime=1800.06 cores=0,2,4,6
/proc/15262/stat : 15262 (java) S 15260 15262 15115 0 -1 4202496 924714 0 1 0 179895 111 0 0 25 0 22 0 855368711 10799812608 916414 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15262/statm: 2636673 916414 2268 9 0 2627407 0
[pid=15262/tid=15263] ppid=15260 vsize=10546692 CPUtime=2.02 cores=0,2,4,6
/proc/15262/task/15263/stat : 15263 (java) S 15260 15262 15115 0 -1 4202560 193930 0 1 0 177 25 0 0 15 0 22 0 855368712 10799812608 916414 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134530560 0 4 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
[pid=15262/tid=15265] ppid=15260 vsize=10546692 CPUtime=0.63 cores=0,2,4,6
/proc/15262/task/15265/stat : 15265 (java) S 15260 15262 15115 0 -1 4202560 3912 0 0 0 62 1 0 0 16 0 22 0 855368713 10799812608 916414 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 2 0 0 0
[pid=15262/tid=15266] ppid=15260 vsize=10546692 CPUtime=0.55 cores=0,2,4,6
/proc/15262/task/15266/stat : 15266 (java) S 15260 15262 15115 0 -1 4202560 5483 0 0 0 55 0 0 0 15 0 22 0 855368713 10799812608 916414 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15267] ppid=15260 vsize=10546692 CPUtime=0.54 cores=0,2,4,6
/proc/15262/task/15267/stat : 15267 (java) S 15260 15262 15115 0 -1 4202560 2584 0 0 0 54 0 0 0 16 0 22 0 855368713 10799812608 916414 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
[pid=15262/tid=15268] ppid=15260 vsize=10546692 CPUtime=0.59 cores=0,2,4,6
/proc/15262/task/15268/stat : 15268 (java) S 15260 15262 15115 0 -1 4202560 2320 0 0 0 59 0 0 0 15 0 22 0 855368713 10799812608 916414 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15269] ppid=15260 vsize=10546692 CPUtime=0.61 cores=0,2,4,6
/proc/15262/task/15269/stat : 15269 (java) S 15260 15262 15115 0 -1 4202560 6922 0 0 0 61 0 0 0 16 0 22 0 855368713 10799812608 916414 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15270] ppid=15260 vsize=10546692 CPUtime=0.5 cores=0,2,4,6
/proc/15262/task/15270/stat : 15270 (java) S 15260 15262 15115 0 -1 4202560 2237 0 0 0 50 0 0 0 15 0 22 0 855368713 10799812608 916414 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
[pid=15262/tid=15271] ppid=15260 vsize=10546692 CPUtime=0.48 cores=0,2,4,6
/proc/15262/task/15271/stat : 15271 (java) S 15260 15262 15115 0 -1 4202560 8926 0 0 0 47 1 0 0 15 0 22 0 855368713 10799812608 916414 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15272] ppid=15260 vsize=10546692 CPUtime=0.69 cores=0,2,4,6
/proc/15262/task/15272/stat : 15272 (java) S 15260 15262 15115 0 -1 4202560 6779 0 0 0 68 1 0 0 16 0 22 0 855368713 10799812608 916414 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15273] ppid=15260 vsize=10546692 CPUtime=15.5 cores=0,2,4,6
/proc/15262/task/15273/stat : 15273 (java) S 15260 15262 15115 0 -1 4202560 30878 0 0 0 1546 4 0 0 15 0 22 0 855368715 10799812608 916414 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134530560 0 0 0 16800975 18446604451682720512 0 0 -1 2 0 0 0
[pid=15262/tid=15274] ppid=15260 vsize=10546692 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15274/stat : 15274 (java) S 15260 15262 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855368715 10799812608 916414 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
[pid=15262/tid=15275] ppid=15260 vsize=10546692 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15275/stat : 15275 (java) S 15260 15262 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855368715 10799812608 916414 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15276] ppid=15260 vsize=10546692 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15276/stat : 15276 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 855368717 10799812608 916414 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134537649 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15277] ppid=15260 vsize=10546692 CPUtime=1.16 cores=0,2,4,6
/proc/15262/task/15277/stat : 15277 (java) S 15260 15262 15115 0 -1 4202560 7751 0 0 0 115 1 0 0 15 0 22 0 855368717 10799812608 916414 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 2 0 0 0
[pid=15262/tid=15278] ppid=15260 vsize=10546692 CPUtime=0.86 cores=0,2,4,6
/proc/15262/task/15278/stat : 15278 (java) S 15260 15262 15115 0 -1 4202560 2783 0 0 0 86 0 0 0 15 0 22 0 855368717 10799812608 916414 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15279] ppid=15260 vsize=10546692 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15279/stat : 15279 (java) S 15260 15262 15115 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 855368717 10799812608 916414 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134529945 0 4 0 16800975 18446604451682720512 0 0 -1 6 0 0 0
[pid=15262/tid=15280] ppid=15260 vsize=10546692 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15280/stat : 15280 (java) S 15260 15262 15115 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 855368717 10799812608 916414 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134530560 0 4 0 16800975 18446604451682720512 0 0 -1 2 0 0 0
[pid=15262/tid=15281] ppid=15260 vsize=10546692 CPUtime=887.9 cores=0,2,4,6
/proc/15262/task/15281/stat : 15281 (java) R 15260 15262 15115 0 -1 4202560 2161 0 0 0 88790 0 0 0 25 0 22 0 855368915 10799812608 916414 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 46912506091412 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15262/tid=15282] ppid=15260 vsize=10546692 CPUtime=887.88 cores=0,2,4,6
/proc/15262/task/15282/stat : 15282 (java) R 15260 15262 15115 0 -1 4202560 646838 0 0 0 88717 71 0 0 25 0 22 0 855368915 10799812608 916414 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 46912505866735 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15262/tid=15283] ppid=15260 vsize=10546692 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15283/stat : 15283 (java) S 15260 15262 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855368917 10799812608 916414 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134530560 0 4 0 16800975 18446604451682720512 0 0 -1 4 0 0 0
[pid=15262/tid=15284] ppid=15260 vsize=10546692 CPUtime=0 cores=0,2,4,6
/proc/15262/task/15284/stat : 15284 (java) S 15260 15262 15115 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 855368918 10799812608 916414 33554432000 1073741824 1073778376 140733609645600 18446744073709551615 228134530560 0 4 0 16800975 18446604451682720512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10546692
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+907.024 s]
/proc/loadavg: 4.05 3.98 3.34 5/504 15359
/proc/meminfo: memFree=20797240/32951124 swapFree=41830676/67111528
[pid=15262] ppid=15260 vsize=0 CPUtime=1800.24 cores=0,2,4,6
/proc/15262/stat : 15262 (java) Z 15260 15262 15115 0 -1 4203548 924745 0 1 0 179906 118 0 0 17 0 2 0 855368711 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15262/statm: 0 0 0 0 0 0 0
[pid=15262/tid=15281] ppid=15260 vsize=0 CPUtime=887.99 cores=0,2,4,6
/proc/15262/task/15281/stat : 15281 (java) R 15260 15262 15115 0 -1 4203588 2161 0 0 0 88792 7 0 0 25 0 2 0 855368915 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 907.09
CPU time (s): 1800.32
CPU user time (s): 1799.07
CPU system time (s): 1.24981
CPU usage (%): 198.472
Max. virtual memory (cumulated for all children) (KiB): 10549804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.24981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 924745
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= 24246
involuntary context switches= 20193
runsolver used 4.6193 second user time and 9.43257 second system time
The end