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-3457652-1307230278/watcher-3457652-1307230278 -o /tmp/evaluation-result-3457652-1307230278/solver-3457652-1307230278 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457652-1307230278.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.06 2.03 2/476 24289
/proc/meminfo: memFree=19883716/32951124 swapFree=60688864/67111528
[pid=24289] ppid=24287 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/24289/stat : 24289 (runsolver) R 24287 24289 22575 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 1 0 834625994 12079104 52 33554432000 4194304 5432328 140736822538208 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/24289/statm: 2949 52 31 303 0 2643 0
[startup+0.069151 s]
/proc/loadavg: 2.03 2.06 2.03 2/476 24289
/proc/meminfo: memFree=19883716/32951124 swapFree=60688864/67111528
[pid=24289] ppid=24287 vsize=10467616 CPUtime=0.03 cores=1,3,5,7
/proc/24289/stat : 24289 (java) S 24287 24289 22575 0 -1 4202496 11410 0 1 0 3 0 0 0 25 0 13 0 834625994 10718838784 11106 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347695077 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/24289/statm: 2616904 11107 1684 9 0 2607652 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467616
[startup+0.104384 s]
/proc/loadavg: 2.03 2.06 2.03 2/476 24289
/proc/meminfo: memFree=19883716/32951124 swapFree=60688864/67111528
[pid=24289] ppid=24287 vsize=10473380 CPUtime=0.07 cores=1,3,5,7
/proc/24289/stat : 24289 (java) S 24287 24289 22575 0 -1 4202496 12381 0 1 0 6 1 0 0 25 0 18 0 834625994 10724741120 12067 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24289/statm: 2618345 12067 1954 9 0 2609079 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10473380
[startup+0.301073 s]
/proc/loadavg: 2.03 2.06 2.03 2/476 24289
/proc/meminfo: memFree=19883716/32951124 swapFree=60688864/67111528
[pid=24289] ppid=24287 vsize=10542412 CPUtime=0.44 cores=1,3,5,7
/proc/24289/stat : 24289 (java) S 24287 24289 22575 0 -1 4202496 16227 0 1 0 42 2 0 0 25 0 18 0 834625994 10795429888 15471 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24289/statm: 2635603 15472 2199 9 0 2626337 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10542412
[startup+0.701037 s]
/proc/loadavg: 2.03 2.06 2.03 2/476 24289
/proc/meminfo: memFree=19883716/32951124 swapFree=60688864/67111528
[pid=24289] ppid=24287 vsize=10544232 CPUtime=1.17 cores=1,3,5,7
/proc/24289/stat : 24289 (java) S 24287 24289 22575 0 -1 4202496 46177 0 1 0 111 6 0 0 25 0 18 0 834625994 10797293568 43933 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24289/statm: 2636058 43933 2222 9 0 2626792 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 10544232
[startup+1.50089 s]
/proc/loadavg: 2.03 2.06 2.03 4/495 24308
/proc/meminfo: memFree=19674820/32951124 swapFree=60688864/67111528
[pid=24289] ppid=24287 vsize=10550520 CPUtime=2.95 cores=1,3,5,7
/proc/24289/stat : 24289 (java) S 24287 24289 22575 0 -1 4202496 97653 0 1 0 282 13 0 0 25 0 19 0 834625994 10803732480 92595 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24289/statm: 2637630 92595 2235 9 0 2628364 0
[pid=24289/tid=24291] ppid=24287 vsize=10550520 CPUtime=1.46 cores=1,3,5,7
/proc/24289/task/24291/stat : 24291 (java) R 24287 24289 22575 0 -1 4202560 85666 0 1 0 135 11 0 0 25 0 19 0 834625996 10803732480 92595 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 46912506188270 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24289/tid=24292] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24292/stat : 24292 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834625998 10803732480 92596 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24293] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24293/stat : 24293 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834625998 10803732480 92596 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24294] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24294/stat : 24294 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834625998 10803732480 92596 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24295] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24295/stat : 24295 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834625998 10803732480 92596 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24296] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24296/stat : 24296 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834625998 10803732480 92596 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24297] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24297/stat : 24297 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834625998 10803732480 92597 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24298] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24298/stat : 24298 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834625998 10803732480 92597 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24299] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24299/stat : 24299 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834625998 10803732480 92599 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24300] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24300/stat : 24300 (java) S 24287 24289 22575 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 834625999 10803732480 92602 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708928 0 0 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24301] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24301/stat : 24301 (java) S 24287 24289 22575 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834626000 10803732480 92607 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24302] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24302/stat : 24302 (java) S 24287 24289 22575 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834626000 10803732480 92611 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24303] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24303/stat : 24303 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834626002 10803732480 92615 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347716017 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24304] ppid=24287 vsize=10550520 CPUtime=0.79 cores=1,3,5,7
/proc/24289/task/24304/stat : 24304 (java) R 24287 24289 22575 0 -1 4202560 3742 0 0 0 79 0 0 0 24 0 19 0 834626002 10803732480 92619 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 47754480438154 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24289/tid=24305] ppid=24287 vsize=10550520 CPUtime=0.67 cores=1,3,5,7
/proc/24289/task/24305/stat : 24305 (java) S 24287 24289 22575 0 -1 4202560 7085 0 0 0 67 0 0 0 15 0 19 0 834626002 10803732480 92622 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 1 0 0 0
[pid=24289/tid=24306] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24306/stat : 24306 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834626002 10803732480 92626 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24307] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24307/stat : 24307 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834626002 10803732480 92629 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708928 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24308] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24308/stat : 24308 (java) S 24287 24289 22575 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834626078 10803732480 92632 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708928 0 4 0 16800975 18446604461624434752 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 10550520
[startup+3.10062 s]
/proc/loadavg: 2.03 2.06 2.03 3/495 24308
/proc/meminfo: memFree=19261500/32951124 swapFree=60688864/67111528
[pid=24289] ppid=24287 vsize=10550520 CPUtime=4.67 cores=1,3,5,7
/proc/24289/stat : 24289 (java) S 24287 24289 22575 0 -1 4202496 268250 0 1 0 434 33 0 0 25 0 19 0 834625994 10803732480 263190 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24289/statm: 2637630 263194 2238 9 0 2628364 0
[pid=24289/tid=24291] ppid=24287 vsize=10550520 CPUtime=3.06 cores=1,3,5,7
/proc/24289/task/24291/stat : 24291 (java) R 24287 24289 22575 0 -1 4202560 256175 0 1 0 275 31 0 0 19 0 19 0 834625996 10803732480 263197 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 46912505799871 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24289/tid=24292] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24292/stat : 24292 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834625998 10803732480 263201 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24293] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24293/stat : 24293 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834625998 10803732480 263203 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24294] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24294/stat : 24294 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834625998 10803732480 263206 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24295] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24295/stat : 24295 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834625998 10803732480 263208 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24296] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24296/stat : 24296 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834625998 10803732480 263212 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24297] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24297/stat : 24297 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834625998 10803732480 263215 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24298] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24298/stat : 24298 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834625998 10803732480 263218 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24299] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24299/stat : 24299 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834625998 10803732480 263220 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24300] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24300/stat : 24300 (java) S 24287 24289 22575 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 834625999 10803732480 263223 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708928 0 0 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24301] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24301/stat : 24301 (java) S 24287 24289 22575 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834626000 10803732480 263226 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24302] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24302/stat : 24302 (java) S 24287 24289 22575 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834626000 10803732480 263229 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24303] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24303/stat : 24303 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834626002 10803732480 263233 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347716017 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24304] ppid=24287 vsize=10550520 CPUtime=0.81 cores=1,3,5,7
/proc/24289/task/24304/stat : 24304 (java) S 24287 24289 22575 0 -1 4202560 3754 0 0 0 81 0 0 0 18 0 19 0 834626002 10803732480 263235 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24305] ppid=24287 vsize=10550520 CPUtime=0.77 cores=1,3,5,7
/proc/24289/task/24305/stat : 24305 (java) S 24287 24289 22575 0 -1 4202560 7166 0 0 0 77 0 0 0 15 0 19 0 834626002 10803732480 263238 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 1 0 0 0
[pid=24289/tid=24306] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24306/stat : 24306 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834626002 10803732480 263240 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24307] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24307/stat : 24307 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834626002 10803732480 263243 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708928 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24308] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24308/stat : 24308 (java) S 24287 24289 22575 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834626078 10803732480 263246 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708928 0 4 0 16800975 18446604461624434752 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.67
Current children cumulated vsize (KiB) 10550520
[startup+6.30106 s]
/proc/loadavg: 2.02 2.06 2.03 3/495 24308
/proc/meminfo: memFree=17881300/32951124 swapFree=60688864/67111528
[pid=24289] ppid=24287 vsize=10550520 CPUtime=7.93 cores=1,3,5,7
/proc/24289/stat : 24289 (java) S 24287 24289 22575 0 -1 4202496 595240 0 1 0 719 74 0 0 25 0 19 0 834625994 10803732480 590154 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24289/statm: 2637630 590156 2238 9 0 2628364 0
[pid=24289/tid=24291] ppid=24287 vsize=10550520 CPUtime=6.25 cores=1,3,5,7
/proc/24289/task/24291/stat : 24291 (java) R 24287 24289 22575 0 -1 4202560 583156 0 1 0 553 72 0 0 21 0 19 0 834625996 10803732480 590157 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 46912505988138 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24289/tid=24292] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24292/stat : 24292 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834625998 10803732480 590158 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24293] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24293/stat : 24293 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834625998 10803732480 590160 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24294] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24294/stat : 24294 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834625998 10803732480 590162 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24295] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24295/stat : 24295 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834625998 10803732480 590164 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24296] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24296/stat : 24296 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834625998 10803732480 590166 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24297] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24297/stat : 24297 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834625998 10803732480 590169 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24298] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24298/stat : 24298 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834625998 10803732480 590171 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24299] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24299/stat : 24299 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834625998 10803732480 590173 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24300] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24300/stat : 24300 (java) S 24287 24289 22575 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 834625999 10803732480 590175 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708928 0 0 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24301] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24301/stat : 24301 (java) S 24287 24289 22575 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834626000 10803732480 590177 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24302] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24302/stat : 24302 (java) S 24287 24289 22575 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834626000 10803732480 590179 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24303] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24303/stat : 24303 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834626002 10803732480 590181 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347716017 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24304] ppid=24287 vsize=10550520 CPUtime=0.83 cores=1,3,5,7
/proc/24289/task/24304/stat : 24304 (java) S 24287 24289 22575 0 -1 4202560 3755 0 0 0 83 0 0 0 18 0 19 0 834626002 10803732480 590183 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24305] ppid=24287 vsize=10550520 CPUtime=0.81 cores=1,3,5,7
/proc/24289/task/24305/stat : 24305 (java) S 24287 24289 22575 0 -1 4202560 7170 0 0 0 81 0 0 0 15 0 19 0 834626002 10803732480 590185 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 1 0 0 0
[pid=24289/tid=24306] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24306/stat : 24306 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834626002 10803732480 590187 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24307] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24307/stat : 24307 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834626002 10803732480 590189 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708928 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24308] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24308/stat : 24308 (java) S 24287 24289 22575 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834626078 10803732480 590191 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708928 0 4 0 16800975 18446604461624434752 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.93
Current children cumulated vsize (KiB) 10550520
[startup+12.7009 s]
################
# More data... #
################
/proc/24289/task/24302/stat : 24302 (java) S 24287 24289 22575 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834626000 10803732480 968671 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24303] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24303/stat : 24303 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834626002 10803732480 968671 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347716017 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24304] ppid=24287 vsize=10550520 CPUtime=0.87 cores=1,3,5,7
/proc/24289/task/24304/stat : 24304 (java) S 24287 24289 22575 0 -1 4202560 3760 0 0 0 87 0 0 0 18 0 19 0 834626002 10803732480 968671 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24305] ppid=24287 vsize=10550520 CPUtime=1.03 cores=1,3,5,7
/proc/24289/task/24305/stat : 24305 (java) S 24287 24289 22575 0 -1 4202560 7196 0 0 0 103 0 0 0 15 0 19 0 834626002 10803732480 968671 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 1 0 0 0
[pid=24289/tid=24306] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24306/stat : 24306 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834626002 10803732480 968671 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24307] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24307/stat : 24307 (java) S 24287 24289 22575 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 834626002 10803732480 968671 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708928 0 4 0 16800975 18446604461624434752 0 0 -1 5 0 0 0
[pid=24289/tid=24308] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24308/stat : 24308 (java) S 24287 24289 22575 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834626078 10803732480 968671 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708928 0 4 0 16800975 18446604461624434752 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1668.69
Current children cumulated vsize (KiB) 10550520
[startup+1722.3 s]
/proc/loadavg: 1.00 1.07 1.41 2/471 24420
/proc/meminfo: memFree=22200596/32951124 swapFree=60688864/67111528
[pid=24289] ppid=24287 vsize=10550520 CPUtime=1728.8 cores=1,3,5,7
/proc/24289/stat : 24289 (java) S 24287 24289 22575 0 -1 4202496 978188 0 1 0 172757 123 0 0 25 0 19 0 834625994 10803732480 970089 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24289/statm: 2637630 970089 2267 9 0 2628364 0
[pid=24289/tid=24291] ppid=24287 vsize=10550520 CPUtime=1718.86 cores=1,3,5,7
/proc/24289/task/24291/stat : 24291 (java) R 24287 24289 22575 0 -1 4202560 807774 0 1 0 171788 98 0 0 25 0 19 0 834625996 10803732480 970089 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 46912506013340 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24289/tid=24292] ppid=24287 vsize=10550520 CPUtime=0.88 cores=1,3,5,7
/proc/24289/task/24292/stat : 24292 (java) S 24287 24289 22575 0 -1 4202560 15522 0 0 0 87 1 0 0 16 0 19 0 834625998 10803732480 970089 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 5 0 0 0
[pid=24289/tid=24293] ppid=24287 vsize=10550520 CPUtime=0.93 cores=1,3,5,7
/proc/24289/task/24293/stat : 24293 (java) S 24287 24289 22575 0 -1 4202560 22349 0 0 0 90 3 0 0 15 0 19 0 834625998 10803732480 970089 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 1 0 0 0
[pid=24289/tid=24294] ppid=24287 vsize=10550520 CPUtime=0.74 cores=1,3,5,7
/proc/24289/task/24294/stat : 24294 (java) S 24287 24289 22575 0 -1 4202560 18391 0 0 0 72 2 0 0 15 0 19 0 834625998 10803732480 970089 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 7 0 0 0
[pid=24289/tid=24295] ppid=24287 vsize=10550520 CPUtime=0.83 cores=1,3,5,7
/proc/24289/task/24295/stat : 24295 (java) S 24287 24289 22575 0 -1 4202560 16269 0 0 0 82 1 0 0 16 0 19 0 834625998 10803732480 970089 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 7 0 0 0
[pid=24289/tid=24296] ppid=24287 vsize=10550520 CPUtime=0.73 cores=1,3,5,7
/proc/24289/task/24296/stat : 24296 (java) S 24287 24289 22575 0 -1 4202560 17600 0 0 0 71 2 0 0 15 0 19 0 834625998 10803732480 970089 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 7 0 0 0
[pid=24289/tid=24297] ppid=24287 vsize=10550520 CPUtime=0.91 cores=1,3,5,7
/proc/24289/task/24297/stat : 24297 (java) S 24287 24289 22575 0 -1 4202560 24176 0 0 0 87 4 0 0 15 0 19 0 834625998 10803732480 970089 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 1 0 0 0
[pid=24289/tid=24298] ppid=24287 vsize=10550520 CPUtime=0.77 cores=1,3,5,7
/proc/24289/task/24298/stat : 24298 (java) S 24287 24289 22575 0 -1 4202560 16714 0 0 0 76 1 0 0 15 0 19 0 834625998 10803732480 970089 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 5 0 0 0
[pid=24289/tid=24299] ppid=24287 vsize=10550520 CPUtime=0.94 cores=1,3,5,7
/proc/24289/task/24299/stat : 24299 (java) S 24287 24289 22575 0 -1 4202560 24567 0 0 0 92 2 0 0 16 0 19 0 834625998 10803732480 970089 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 1 0 0 0
[pid=24289/tid=24300] ppid=24287 vsize=10550520 CPUtime=1.16 cores=1,3,5,7
/proc/24289/task/24300/stat : 24300 (java) S 24287 24289 22575 0 -1 4202560 2621 0 0 0 115 1 0 0 15 0 19 0 834625999 10803732480 970089 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708928 0 0 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24301] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24301/stat : 24301 (java) S 24287 24289 22575 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834626000 10803732480 970089 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24302] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24302/stat : 24302 (java) S 24287 24289 22575 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834626000 10803732480 970089 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24303] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24303/stat : 24303 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834626002 10803732480 970089 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347716017 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24304] ppid=24287 vsize=10550520 CPUtime=0.87 cores=1,3,5,7
/proc/24289/task/24304/stat : 24304 (java) S 24287 24289 22575 0 -1 4202560 3760 0 0 0 87 0 0 0 18 0 19 0 834626002 10803732480 970089 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24305] ppid=24287 vsize=10550520 CPUtime=1.03 cores=1,3,5,7
/proc/24289/task/24305/stat : 24305 (java) S 24287 24289 22575 0 -1 4202560 7196 0 0 0 103 0 0 0 15 0 19 0 834626002 10803732480 970089 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 1 0 0 0
[pid=24289/tid=24306] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24306/stat : 24306 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834626002 10803732480 970089 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24307] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24307/stat : 24307 (java) S 24287 24289 22575 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 834626002 10803732480 970089 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708928 0 4 0 16800975 18446604461624434752 0 0 -1 5 0 0 0
[pid=24289/tid=24308] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24308/stat : 24308 (java) S 24287 24289 22575 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834626078 10803732480 970089 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708928 0 4 0 16800975 18446604461624434752 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1728.8
Current children cumulated vsize (KiB) 10550520
[startup+1782.3 s]
/proc/loadavg: 1.00 1.06 1.39 2/471 24421
/proc/meminfo: memFree=22191020/32951124 swapFree=60688864/67111528
[pid=24289] ppid=24287 vsize=10550520 CPUtime=1788.96 cores=1,3,5,7
/proc/24289/stat : 24289 (java) S 24287 24289 22575 0 -1 4202496 980502 0 1 0 178773 123 0 0 25 0 19 0 834625994 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24289/statm: 2637630 972316 2267 9 0 2628364 0
[pid=24289/tid=24291] ppid=24287 vsize=10550520 CPUtime=1778.75 cores=1,3,5,7
/proc/24289/task/24291/stat : 24291 (java) R 24287 24289 22575 0 -1 4202560 807778 0 1 0 177777 98 0 0 25 0 19 0 834625996 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 46912506013620 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24289/tid=24292] ppid=24287 vsize=10550520 CPUtime=0.9 cores=1,3,5,7
/proc/24289/task/24292/stat : 24292 (java) S 24287 24289 22575 0 -1 4202560 15742 0 0 0 89 1 0 0 15 0 19 0 834625998 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 5 0 0 0
[pid=24289/tid=24293] ppid=24287 vsize=10550520 CPUtime=0.95 cores=1,3,5,7
/proc/24289/task/24293/stat : 24293 (java) S 24287 24289 22575 0 -1 4202560 22513 0 0 0 92 3 0 0 15 0 19 0 834625998 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 1 0 0 0
[pid=24289/tid=24294] ppid=24287 vsize=10550520 CPUtime=0.8 cores=1,3,5,7
/proc/24289/task/24294/stat : 24294 (java) S 24287 24289 22575 0 -1 4202560 18903 0 0 0 78 2 0 0 15 0 19 0 834625998 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 1 0 0 0
[pid=24289/tid=24295] ppid=24287 vsize=10550520 CPUtime=0.87 cores=1,3,5,7
/proc/24289/task/24295/stat : 24295 (java) S 24287 24289 22575 0 -1 4202560 16640 0 0 0 85 2 0 0 16 0 19 0 834625998 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 7 0 0 0
[pid=24289/tid=24296] ppid=24287 vsize=10550520 CPUtime=0.77 cores=1,3,5,7
/proc/24289/task/24296/stat : 24296 (java) S 24287 24289 22575 0 -1 4202560 18048 0 0 0 75 2 0 0 15 0 19 0 834625998 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 5 0 0 0
[pid=24289/tid=24297] ppid=24287 vsize=10550520 CPUtime=0.91 cores=1,3,5,7
/proc/24289/task/24297/stat : 24297 (java) S 24287 24289 22575 0 -1 4202560 24176 0 0 0 87 4 0 0 15 0 19 0 834625998 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 1 0 0 0
[pid=24289/tid=24298] ppid=24287 vsize=10550520 CPUtime=0.84 cores=1,3,5,7
/proc/24289/task/24298/stat : 24298 (java) S 24287 24289 22575 0 -1 4202560 17037 0 0 0 83 1 0 0 16 0 19 0 834625998 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 5 0 0 0
[pid=24289/tid=24299] ppid=24287 vsize=10550520 CPUtime=0.97 cores=1,3,5,7
/proc/24289/task/24299/stat : 24299 (java) S 24287 24289 22575 0 -1 4202560 24831 0 0 0 95 2 0 0 15 0 19 0 834625998 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 1 0 0 0
[pid=24289/tid=24300] ppid=24287 vsize=10550520 CPUtime=1.16 cores=1,3,5,7
/proc/24289/task/24300/stat : 24300 (java) S 24287 24289 22575 0 -1 4202560 2625 0 0 0 115 1 0 0 15 0 19 0 834625999 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708928 0 0 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24301] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24301/stat : 24301 (java) S 24287 24289 22575 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834626000 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24302] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24302/stat : 24302 (java) S 24287 24289 22575 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834626000 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24303] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24303/stat : 24303 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834626002 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347716017 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24304] ppid=24287 vsize=10550520 CPUtime=0.87 cores=1,3,5,7
/proc/24289/task/24304/stat : 24304 (java) S 24287 24289 22575 0 -1 4202560 3760 0 0 0 87 0 0 0 18 0 19 0 834626002 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24305] ppid=24287 vsize=10550520 CPUtime=1.03 cores=1,3,5,7
/proc/24289/task/24305/stat : 24305 (java) S 24287 24289 22575 0 -1 4202560 7196 0 0 0 103 0 0 0 15 0 19 0 834626002 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 1 0 0 0
[pid=24289/tid=24306] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24306/stat : 24306 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834626002 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24307] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24307/stat : 24307 (java) S 24287 24289 22575 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 834626002 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708928 0 4 0 16800975 18446604461624434752 0 0 -1 5 0 0 0
[pid=24289/tid=24308] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24308/stat : 24308 (java) S 24287 24289 22575 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834626078 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708928 0 4 0 16800975 18446604461624434752 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1788.96
Current children cumulated vsize (KiB) 10550520
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.4 s]
/proc/loadavg: 1.00 1.06 1.38 2/471 24431
/proc/meminfo: memFree=22191176/32951124 swapFree=60688864/67111528
[pid=24289] ppid=24287 vsize=10550520 CPUtime=1800.07 cores=1,3,5,7
/proc/24289/stat : 24289 (java) S 24287 24289 22575 0 -1 4202496 980502 0 1 0 179884 123 0 0 25 0 19 0 834625994 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24289/statm: 2637630 972316 2267 9 0 2628364 0
[pid=24289/tid=24291] ppid=24287 vsize=10550520 CPUtime=1789.87 cores=1,3,5,7
/proc/24289/task/24291/stat : 24291 (java) R 24287 24289 22575 0 -1 4202560 807778 0 1 0 178889 98 0 0 25 0 19 0 834625996 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 46912505985321 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24289/tid=24292] ppid=24287 vsize=10550520 CPUtime=0.9 cores=1,3,5,7
/proc/24289/task/24292/stat : 24292 (java) S 24287 24289 22575 0 -1 4202560 15742 0 0 0 89 1 0 0 15 0 19 0 834625998 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 5 0 0 0
[pid=24289/tid=24293] ppid=24287 vsize=10550520 CPUtime=0.95 cores=1,3,5,7
/proc/24289/task/24293/stat : 24293 (java) S 24287 24289 22575 0 -1 4202560 22513 0 0 0 92 3 0 0 15 0 19 0 834625998 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 1 0 0 0
[pid=24289/tid=24294] ppid=24287 vsize=10550520 CPUtime=0.8 cores=1,3,5,7
/proc/24289/task/24294/stat : 24294 (java) S 24287 24289 22575 0 -1 4202560 18903 0 0 0 78 2 0 0 15 0 19 0 834625998 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 1 0 0 0
[pid=24289/tid=24295] ppid=24287 vsize=10550520 CPUtime=0.87 cores=1,3,5,7
/proc/24289/task/24295/stat : 24295 (java) S 24287 24289 22575 0 -1 4202560 16640 0 0 0 85 2 0 0 16 0 19 0 834625998 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 7 0 0 0
[pid=24289/tid=24296] ppid=24287 vsize=10550520 CPUtime=0.77 cores=1,3,5,7
/proc/24289/task/24296/stat : 24296 (java) S 24287 24289 22575 0 -1 4202560 18048 0 0 0 75 2 0 0 15 0 19 0 834625998 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 5 0 0 0
[pid=24289/tid=24297] ppid=24287 vsize=10550520 CPUtime=0.91 cores=1,3,5,7
/proc/24289/task/24297/stat : 24297 (java) S 24287 24289 22575 0 -1 4202560 24176 0 0 0 87 4 0 0 15 0 19 0 834625998 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 1 0 0 0
[pid=24289/tid=24298] ppid=24287 vsize=10550520 CPUtime=0.84 cores=1,3,5,7
/proc/24289/task/24298/stat : 24298 (java) S 24287 24289 22575 0 -1 4202560 17037 0 0 0 83 1 0 0 16 0 19 0 834625998 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 5 0 0 0
[pid=24289/tid=24299] ppid=24287 vsize=10550520 CPUtime=0.97 cores=1,3,5,7
/proc/24289/task/24299/stat : 24299 (java) S 24287 24289 22575 0 -1 4202560 24831 0 0 0 95 2 0 0 15 0 19 0 834625998 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 1 0 0 0
[pid=24289/tid=24300] ppid=24287 vsize=10550520 CPUtime=1.16 cores=1,3,5,7
/proc/24289/task/24300/stat : 24300 (java) S 24287 24289 22575 0 -1 4202560 2625 0 0 0 115 1 0 0 15 0 19 0 834625999 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708928 0 0 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24301] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24301/stat : 24301 (java) S 24287 24289 22575 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834626000 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24302] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24302/stat : 24302 (java) S 24287 24289 22575 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834626000 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24303] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24303/stat : 24303 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834626002 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347716017 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24304] ppid=24287 vsize=10550520 CPUtime=0.87 cores=1,3,5,7
/proc/24289/task/24304/stat : 24304 (java) S 24287 24289 22575 0 -1 4202560 3760 0 0 0 87 0 0 0 18 0 19 0 834626002 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24305] ppid=24287 vsize=10550520 CPUtime=1.03 cores=1,3,5,7
/proc/24289/task/24305/stat : 24305 (java) S 24287 24289 22575 0 -1 4202560 7196 0 0 0 103 0 0 0 15 0 19 0 834626002 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 1 0 0 0
[pid=24289/tid=24306] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24306/stat : 24306 (java) S 24287 24289 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834626002 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708313 0 4 0 16800975 18446604461624434752 0 0 -1 3 0 0 0
[pid=24289/tid=24307] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24307/stat : 24307 (java) S 24287 24289 22575 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 834626002 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708928 0 4 0 16800975 18446604461624434752 0 0 -1 5 0 0 0
[pid=24289/tid=24308] ppid=24287 vsize=10550520 CPUtime=0 cores=1,3,5,7
/proc/24289/task/24308/stat : 24308 (java) S 24287 24289 22575 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834626078 10803732480 972316 33554432000 1073741824 1073778376 140734731260208 18446744073709551615 232347708928 0 4 0 16800975 18446604461624434752 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10550520
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.52 s]
/proc/loadavg: 1.00 1.06 1.38 2/471 24431
/proc/meminfo: memFree=22191176/32951124 swapFree=60688864/67111528
[pid=24289] ppid=24287 vsize=0 CPUtime=1800.19 cores=1,3,5,7
/proc/24289/stat : 24289 (java) Z 24287 24289 22575 0 -1 4203548 980532 0 1 0 179889 130 0 0 17 0 2 0 834625994 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24289/statm: 0 0 0 0 0 0 0
[pid=24289/tid=24291] ppid=24287 vsize=0 CPUtime=1789.96 cores=1,3,5,7
/proc/24289/task/24291/stat : 24291 (java) R 24287 24289 22575 0 -1 4203588 807778 0 1 0 178891 105 0 0 25 0 2 0 834625996 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.6
CPU time (s): 1800.28
CPU user time (s): 1798.9
CPU system time (s): 1.38079
CPU usage (%): 100.373
Max. virtual memory (cumulated for all children) (KiB): 10550520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 1.38079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 980532
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= 39827
involuntary context switches= 24204
runsolver used 8.03278 second user time and 19.688 second system time
The end