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-3454308-1307193275/watcher-3454308-1307193275 -o /tmp/evaluation-result-3454308-1307193275/solver-3454308-1307193275 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454308-1307193275.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.32 3.45 3.39 4/519 27093
/proc/meminfo: memFree=28929284/32951124 swapFree=53876548/67111528
[pid=27093] ppid=27091 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/27093/stat : 27093 (java) S 27091 27093 21775 0 -1 4202496 8192 0 1 0 0 0 0 0 21 0 2 0 830928547 10694979584 7894 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624913381 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/27093/statm: 2611079 7908 917 9 0 2602235 0
[pid=27093/tid=27094] ppid=27091 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (java) R 27091 27093 21775 0 -1 4202560 7141 0 1 0 0 0 0 0 23 0 2 0 830928547 10694979584 7957 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270612804667 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.108549 s]
/proc/loadavg: 3.32 3.45 3.39 4/519 27093
/proc/meminfo: memFree=28929284/32951124 swapFree=53876548/67111528
[pid=27093] ppid=27091 vsize=10539860 CPUtime=0.11 cores=0,2,4,6
/proc/27093/stat : 27093 (java) S 27091 27093 21775 0 -1 4202496 13171 0 1 0 10 1 0 0 21 0 18 0 830928547 10792816640 12866 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27093/statm: 2634965 12866 2107 9 0 2625699 0
[pid=27093/tid=27094] ppid=27091 vsize=10539860 CPUtime=0.09 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (java) R 27091 27093 21775 0 -1 4202560 11236 0 1 0 8 1 0 0 18 0 18 0 830928547 10792816640 12866 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 46912505467982 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539860
[startup+0.200531 s]
/proc/loadavg: 3.32 3.45 3.39 4/519 27093
/proc/meminfo: memFree=28929284/32951124 swapFree=53876548/67111528
[pid=27093] ppid=27091 vsize=10540944 CPUtime=0.27 cores=0,2,4,6
/proc/27093/stat : 27093 (java) S 27091 27093 21775 0 -1 4202496 15398 0 1 0 25 2 0 0 21 0 18 0 830928547 10793926656 15061 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27093/statm: 2635236 15062 2174 9 0 2625970 0
[pid=27093/tid=27094] ppid=27091 vsize=10540944 CPUtime=0.18 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (java) R 27091 27093 21775 0 -1 4202560 13008 0 1 0 17 1 0 0 18 0 18 0 830928547 10793926656 15062 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 47526486817588 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10540944
[startup+0.30051 s]
/proc/loadavg: 3.32 3.45 3.39 4/519 27093
/proc/meminfo: memFree=28929284/32951124 swapFree=53876548/67111528
[pid=27093] ppid=27091 vsize=10542320 CPUtime=0.49 cores=0,2,4,6
/proc/27093/stat : 27093 (java) S 27091 27093 21775 0 -1 4202496 16969 0 1 0 47 2 0 0 21 0 18 0 830928547 10795335680 16486 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27093/statm: 2635580 16486 2200 9 0 2626314 0
[pid=27093/tid=27094] ppid=27091 vsize=10542320 CPUtime=0.28 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (java) R 27091 27093 21775 0 -1 4202560 14073 0 1 0 27 1 0 0 18 0 18 0 830928547 10795335680 16486 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 47526486817588 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10542320
[startup+0.700449 s]
/proc/loadavg: 3.32 3.45 3.39 4/519 27093
/proc/meminfo: memFree=28929284/32951124 swapFree=53876548/67111528
[pid=27093] ppid=27091 vsize=10547128 CPUtime=1.19 cores=0,2,4,6
/proc/27093/stat : 27093 (java) S 27091 27093 21775 0 -1 4202496 53020 0 1 0 111 8 0 0 21 0 18 0 830928547 10800259072 51023 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27093/statm: 2636782 51028 2214 9 0 2627516 0
[pid=27093/tid=27094] ppid=27091 vsize=10547128 CPUtime=0.68 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (java) R 27091 27093 21775 0 -1 4202560 46889 0 1 0 62 6 0 0 18 0 18 0 830928547 10800259072 51030 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 46912505598364 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 10547128
[startup+1.50131 s]
/proc/loadavg: 3.32 3.45 3.39 4/537 27111
/proc/meminfo: memFree=28557892/32951124 swapFree=53876548/67111528
[pid=27093] ppid=27091 vsize=10547128 CPUtime=1.99 cores=0,2,4,6
/proc/27093/stat : 27093 (java) S 27091 27093 21775 0 -1 4202496 140064 0 1 0 180 19 0 0 21 0 18 0 830928547 10800259072 138067 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27093/statm: 2636782 138072 2214 9 0 2627516 0
[pid=27093/tid=27094] ppid=27091 vsize=10547128 CPUtime=1.48 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (java) R 27091 27093 21775 0 -1 4202560 133933 0 1 0 131 17 0 0 19 0 18 0 830928547 10800259072 138074 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 46912505611406 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 830928549 10800259072 138077 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27097] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27097/stat : 27097 (java) S 27091 27093 21775 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830928549 10800259072 138080 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27098] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27098/stat : 27098 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830928549 10800259072 138083 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27099] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27099/stat : 27099 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830928549 10800259072 138086 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27100] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27100/stat : 27100 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830928549 10800259072 138089 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27101] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27101/stat : 27101 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830928549 10800259072 138092 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27102] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27102/stat : 27102 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830928549 10800259072 138095 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27103] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27103/stat : 27103 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830928549 10800259072 138098 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27104] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27104/stat : 27104 (java) S 27091 27093 21775 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830928550 10800259072 138100 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624927232 0 0 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27105] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27105/stat : 27105 (java) S 27091 27093 21775 0 -1 4202560 15 0 0 0 0 0 0 0 18 0 18 0 830928550 10800259072 138101 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 0 0 0 0
[pid=27093/tid=27106] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27106/stat : 27106 (java) S 27091 27093 21775 0 -1 4202560 15 0 0 0 0 0 0 0 25 0 18 0 830928550 10800259072 138103 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27107] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27107/stat : 27107 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 830928552 10800259072 138105 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624934321 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27108] ppid=27091 vsize=10547128 CPUtime=0.25 cores=0,2,4,6
/proc/27093/task/27108/stat : 27108 (java) S 27091 27093 21775 0 -1 4202560 2456 0 0 0 25 0 0 0 16 0 18 0 830928552 10800259072 138108 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27109] ppid=27091 vsize=10547128 CPUtime=0.23 cores=0,2,4,6
/proc/27093/task/27109/stat : 27109 (java) S 27091 27093 21775 0 -1 4202560 2523 0 0 0 23 0 0 0 16 0 18 0 830928552 10800259072 138111 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27110] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27110/stat : 27110 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830928552 10800259072 138114 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27111] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27111/stat : 27111 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830928552 10800259072 138117 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624927232 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 10547128
[startup+3.10107 s]
/proc/loadavg: 3.32 3.45 3.39 4/537 27111
/proc/meminfo: memFree=28116708/32951124 swapFree=53876548/67111528
[pid=27093] ppid=27091 vsize=10547128 CPUtime=3.59 cores=0,2,4,6
/proc/27093/stat : 27093 (java) S 27091 27093 21775 0 -1 4202496 230041 0 1 0 328 31 0 0 21 0 18 0 830928547 10800259072 228044 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27093/statm: 2636782 228045 2216 9 0 2627516 0
[pid=27093/tid=27094] ppid=27091 vsize=10547128 CPUtime=3.08 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (java) R 27091 27093 21775 0 -1 4202560 223903 0 1 0 278 30 0 0 25 0 18 0 830928547 10800259072 228046 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 46912505366294 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 830928549 10800259072 228046 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27097] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27097/stat : 27097 (java) S 27091 27093 21775 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830928549 10800259072 228046 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27098] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27098/stat : 27098 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830928549 10800259072 228047 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27099] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27099/stat : 27099 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830928549 10800259072 228048 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27100] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27100/stat : 27100 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830928549 10800259072 228048 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27101] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27101/stat : 27101 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830928549 10800259072 228049 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27102] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27102/stat : 27102 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830928549 10800259072 228049 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27103] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27103/stat : 27103 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830928549 10800259072 228050 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27104] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27104/stat : 27104 (java) S 27091 27093 21775 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830928550 10800259072 228050 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624927232 0 0 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27105] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27105/stat : 27105 (java) S 27091 27093 21775 0 -1 4202560 15 0 0 0 0 0 0 0 18 0 18 0 830928550 10800259072 228051 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 0 0 0 0
[pid=27093/tid=27106] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27106/stat : 27106 (java) S 27091 27093 21775 0 -1 4202560 15 0 0 0 0 0 0 0 25 0 18 0 830928550 10800259072 228052 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27107] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27107/stat : 27107 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 830928552 10800259072 228052 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624934321 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27108] ppid=27091 vsize=10547128 CPUtime=0.26 cores=0,2,4,6
/proc/27093/task/27108/stat : 27108 (java) S 27091 27093 21775 0 -1 4202560 2458 0 0 0 26 0 0 0 15 0 18 0 830928552 10800259072 228053 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27109] ppid=27091 vsize=10547128 CPUtime=0.23 cores=0,2,4,6
/proc/27093/task/27109/stat : 27109 (java) S 27091 27093 21775 0 -1 4202560 2523 0 0 0 23 0 0 0 16 0 18 0 830928552 10800259072 228054 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27110] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27110/stat : 27110 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830928552 10800259072 228054 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27111] ppid=27091 vsize=10547128 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27111/stat : 27111 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830928552 10800259072 228055 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624927232 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 10547128
[startup+6.30142 s]
/proc/loadavg: 3.29 3.44 3.39 5/541 27116
/proc/meminfo: memFree=27840268/32951124 swapFree=53876548/67111528
[pid=27093] ppid=27091 vsize=10551240 CPUtime=9.75 cores=0,2,4,6
/proc/27093/stat : 27093 (java) S 27091 27093 21775 0 -1 4202496 278975 0 1 0 939 36 0 0 21 0 22 0 830928547 10804469760 276950 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27093/statm: 2637810 276950 2237 9 0 2628544 0
[pid=27093/tid=27094] ppid=27091 vsize=10551240 CPUtime=3.95 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (java) S 27091 27093 21775 0 -1 4202560 254179 0 1 0 362 33 0 0 15 0 22 0 830928547 10804469760 276950 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624927232 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 830928549 10804469760 276950 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27097] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27097/stat : 27097 (java) S 27091 27093 21775 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830928549 10804469760 276950 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27098] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27098/stat : 27098 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830928549 10804469760 276950 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27099] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27099/stat : 27099 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830928549 10804469760 276950 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27100] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27100/stat : 27100 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830928549 10804469760 276950 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27101] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27101/stat : 27101 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830928549 10804469760 276950 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27102] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27102/stat : 27102 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830928549 10804469760 276950 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27103] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27103/stat : 27103 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830928549 10804469760 276950 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27104] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27104/stat : 27104 (java) S 27091 27093 21775 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 830928550 10804469760 276950 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624927232 0 0 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27105] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27105/stat : 27105 (java) S 27091 27093 21775 0 -1 4202560 15 0 0 0 0 0 0 0 18 0 22 0 830928550 10804469760 276950 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 0 0 0 0
[pid=27093/tid=27106] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27106/stat : 27106 (java) S 27091 27093 21775 0 -1 4202560 15 0 0 0 0 0 0 0 25 0 22 0 830928550 10804469760 276950 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27107] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27107/stat : 27107 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830928552 10804469760 276950 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624934321 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27108] ppid=27091 vsize=10551240 CPUtime=0.52 cores=0,2,4,6
/proc/27093/task/27108/stat : 27108 (java) S 27091 27093 21775 0 -1 4202560 2527 0 0 0 52 0 0 0 15 0 22 0 830928552 10804469760 276950 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27109] ppid=27091 vsize=10551240 CPUtime=0.6 cores=0,2,4,6
/proc/27093/task/27109/stat : 27109 (java) S 27091 27093 21775 0 -1 4202560 2574 0 0 0 60 0 0 0 15 0 22 0 830928552 10804469760 276950 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27110] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27110/stat : 27110 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830928552 10804469760 276950 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27111] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27111/stat : 27111 (java) S 27091 27093 21775 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830928552 10804469760 276950 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624927232 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.01 3.99 3.75 5/541 27188
/proc/meminfo: memFree=22263968/32951124 swapFree=53876548/67111528
[pid=27093] ppid=27091 vsize=10551240 CPUtime=1643.64 cores=0,2,4,6
/proc/27093/stat : 27093 (java) S 27091 27093 21775 0 -1 4202496 925550 0 1 0 164240 124 0 0 21 0 22 0 830928547 10804469760 922301 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27093/statm: 2637810 922301 2253 9 0 2628544 0
[pid=27093/tid=27094] ppid=27091 vsize=10551240 CPUtime=3.95 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (java) S 27091 27093 21775 0 -1 4202560 254186 0 1 0 362 33 0 0 15 0 22 0 830928547 10804469760 922301 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624927232 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=10551240 CPUtime=0.54 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (java) S 27091 27093 21775 0 -1 4202560 19737 0 0 0 52 2 0 0 16 0 22 0 830928549 10804469760 922301 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27097] ppid=27091 vsize=10551240 CPUtime=0.38 cores=0,2,4,6
/proc/27093/task/27097/stat : 27097 (java) S 27091 27093 21775 0 -1 4202560 24280 0 0 0 35 3 0 0 16 0 22 0 830928549 10804469760 922301 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27098] ppid=27091 vsize=10551240 CPUtime=0.27 cores=0,2,4,6
/proc/27093/task/27098/stat : 27098 (java) S 27091 27093 21775 0 -1 4202560 10178 0 0 0 26 1 0 0 15 0 22 0 830928549 10804469760 922301 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27099] ppid=27091 vsize=10551240 CPUtime=0.43 cores=0,2,4,6
/proc/27093/task/27099/stat : 27099 (java) S 27091 27093 21775 0 -1 4202560 16133 0 0 0 42 1 0 0 16 0 22 0 830928549 10804469760 922301 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27100] ppid=27091 vsize=10551240 CPUtime=0.65 cores=0,2,4,6
/proc/27093/task/27100/stat : 27100 (java) S 27091 27093 21775 0 -1 4202560 31466 0 0 0 60 5 0 0 15 0 22 0 830928549 10804469760 922301 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27101] ppid=27091 vsize=10551240 CPUtime=0.46 cores=0,2,4,6
/proc/27093/task/27101/stat : 27101 (java) S 27091 27093 21775 0 -1 4202560 20288 0 0 0 44 2 0 0 15 0 22 0 830928549 10804469760 922301 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27102] ppid=27091 vsize=10551240 CPUtime=0.69 cores=0,2,4,6
/proc/27093/task/27102/stat : 27102 (java) S 27091 27093 21775 0 -1 4202560 18609 0 0 0 67 2 0 0 16 0 22 0 830928549 10804469760 922301 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 0 0 0 0
[pid=27093/tid=27103] ppid=27091 vsize=10551240 CPUtime=0.51 cores=0,2,4,6
/proc/27093/task/27103/stat : 27103 (java) S 27091 27093 21775 0 -1 4202560 22210 0 0 0 49 2 0 0 15 0 22 0 830928549 10804469760 922301 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 0 0 0 0
[pid=27093/tid=27104] ppid=27091 vsize=10551240 CPUtime=0.1 cores=0,2,4,6
/proc/27093/task/27104/stat : 27104 (java) S 27091 27093 21775 0 -1 4202560 55 0 0 0 5 5 0 0 15 0 22 0 830928550 10804469760 922301 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624927232 0 0 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27105] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27105/stat : 27105 (java) S 27091 27093 21775 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830928550 10804469760 922301 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 0 0 0 0
[pid=27093/tid=27106] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27106/stat : 27106 (java) S 27091 27093 21775 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830928550 10804469760 922301 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27107] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27107/stat : 27107 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830928552 10804469760 922301 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624934321 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27108] ppid=27091 vsize=10551240 CPUtime=0.9 cores=0,2,4,6
/proc/27093/task/27108/stat : 27108 (java) S 27091 27093 21775 0 -1 4202560 3149 0 0 0 90 0 0 0 15 0 22 0 830928552 10804469760 922301 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27109] ppid=27091 vsize=10551240 CPUtime=1.01 cores=0,2,4,6
/proc/27093/task/27109/stat : 27109 (java) S 27091 27093 21775 0 -1 4202560 2623 0 0 0 101 0 0 0 15 0 22 0 830928552 10804469760 922301 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27110] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27110/stat : 27110 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830928552 10804469760 922301 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27111] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27111/stat : 27111 (java) S 27091 27093 21775 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830928552 10804469760 922301 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624927232 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27113] ppid=27091 vsize=10551240 CPUtime=816.84 cores=0,2,4,6
/proc/27093/task/27113/stat : 27113 (java) R 27091 27093 21775 0 -1 4202560 15287 0 0 0 81679 5 0 0 25 0 22 0 830928944 10804469760 922301 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 46912506034176 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27093/tid=27114] ppid=27091 vsize=10551240 CPUtime=816.76 cores=0,2,4,6
/proc/27093/task/27114/stat : 27114 (java) R 27091 27093 21775 0 -1 4202560 486135 0 0 0 81622 54 0 0 25 0 22 0 830928944 10804469760 922301 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 46912505776830 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27093/tid=27115] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27115/stat : 27115 (java) S 27091 27093 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830928950 10804469760 922301 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624927232 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27116] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27116/stat : 27116 (java) S 27091 27093 21775 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830928951 10804469760 922301 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624927232 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1643.64
Current children cumulated vsize (KiB) 10551240
[startup+882.302 s]
/proc/loadavg: 4.00 3.99 3.76 5/541 27190
/proc/meminfo: memFree=22260664/32951124 swapFree=53876548/67111528
[pid=27093] ppid=27091 vsize=10551240 CPUtime=1763.69 cores=0,2,4,6
/proc/27093/stat : 27093 (java) S 27091 27093 21775 0 -1 4202496 926427 0 1 0 176244 125 0 0 21 0 22 0 830928547 10804469760 923159 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27093/statm: 2637810 923159 2253 9 0 2628544 0
[pid=27093/tid=27094] ppid=27091 vsize=10551240 CPUtime=3.95 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (java) S 27091 27093 21775 0 -1 4202560 254186 0 1 0 362 33 0 0 15 0 22 0 830928547 10804469760 923159 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624927232 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=10551240 CPUtime=0.55 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (java) S 27091 27093 21775 0 -1 4202560 19863 0 0 0 53 2 0 0 16 0 22 0 830928549 10804469760 923159 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27097] ppid=27091 vsize=10551240 CPUtime=0.38 cores=0,2,4,6
/proc/27093/task/27097/stat : 27097 (java) S 27091 27093 21775 0 -1 4202560 24280 0 0 0 35 3 0 0 15 0 22 0 830928549 10804469760 923159 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27098] ppid=27091 vsize=10551240 CPUtime=0.27 cores=0,2,4,6
/proc/27093/task/27098/stat : 27098 (java) S 27091 27093 21775 0 -1 4202560 10275 0 0 0 26 1 0 0 15 0 22 0 830928549 10804469760 923159 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 0 0 0 0
[pid=27093/tid=27099] ppid=27091 vsize=10551240 CPUtime=0.44 cores=0,2,4,6
/proc/27093/task/27099/stat : 27099 (java) S 27091 27093 21775 0 -1 4202560 16195 0 0 0 43 1 0 0 16 0 22 0 830928549 10804469760 923159 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 0 0 0 0
[pid=27093/tid=27100] ppid=27091 vsize=10551240 CPUtime=0.66 cores=0,2,4,6
/proc/27093/task/27100/stat : 27100 (java) S 27091 27093 21775 0 -1 4202560 31688 0 0 0 61 5 0 0 15 0 22 0 830928549 10804469760 923159 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27101] ppid=27091 vsize=10551240 CPUtime=0.48 cores=0,2,4,6
/proc/27093/task/27101/stat : 27101 (java) S 27091 27093 21775 0 -1 4202560 20445 0 0 0 46 2 0 0 15 0 22 0 830928549 10804469760 923159 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 0 0 0 0
[pid=27093/tid=27102] ppid=27091 vsize=10551240 CPUtime=0.7 cores=0,2,4,6
/proc/27093/task/27102/stat : 27102 (java) S 27091 27093 21775 0 -1 4202560 18675 0 0 0 68 2 0 0 16 0 22 0 830928549 10804469760 923159 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 0 0 0 0
[pid=27093/tid=27103] ppid=27091 vsize=10551240 CPUtime=0.51 cores=0,2,4,6
/proc/27093/task/27103/stat : 27103 (java) S 27091 27093 21775 0 -1 4202560 22338 0 0 0 49 2 0 0 15 0 22 0 830928549 10804469760 923159 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27104] ppid=27091 vsize=10551240 CPUtime=0.1 cores=0,2,4,6
/proc/27093/task/27104/stat : 27104 (java) S 27091 27093 21775 0 -1 4202560 59 0 0 0 5 5 0 0 15 0 22 0 830928550 10804469760 923159 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624927232 0 0 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27105] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27105/stat : 27105 (java) S 27091 27093 21775 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830928550 10804469760 923159 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 0 0 0 0
[pid=27093/tid=27106] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27106/stat : 27106 (java) S 27091 27093 21775 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830928550 10804469760 923159 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27107] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27107/stat : 27107 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830928552 10804469760 923159 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624934321 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27108] ppid=27091 vsize=10551240 CPUtime=0.9 cores=0,2,4,6
/proc/27093/task/27108/stat : 27108 (java) S 27091 27093 21775 0 -1 4202560 3149 0 0 0 90 0 0 0 15 0 22 0 830928552 10804469760 923159 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27109] ppid=27091 vsize=10551240 CPUtime=1.01 cores=0,2,4,6
/proc/27093/task/27109/stat : 27109 (java) S 27091 27093 21775 0 -1 4202560 2623 0 0 0 101 0 0 0 15 0 22 0 830928552 10804469760 923159 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27110] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27110/stat : 27110 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830928552 10804469760 923159 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27111] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27111/stat : 27111 (java) S 27091 27093 21775 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830928552 10804469760 923159 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624927232 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27113] ppid=27091 vsize=10551240 CPUtime=876.83 cores=0,2,4,6
/proc/27093/task/27113/stat : 27113 (java) R 27091 27093 21775 0 -1 4202560 15288 0 0 0 87677 6 0 0 25 0 22 0 830928944 10804469760 923159 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 46912505914600 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27093/tid=27114] ppid=27091 vsize=10551240 CPUtime=876.75 cores=0,2,4,6
/proc/27093/task/27114/stat : 27114 (java) R 27091 27093 21775 0 -1 4202560 486147 0 0 0 87621 54 0 0 25 0 22 0 830928944 10804469760 923159 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 46912505776409 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27093/tid=27115] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27115/stat : 27115 (java) S 27091 27093 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830928950 10804469760 923159 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624927232 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27116] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27116/stat : 27116 (java) S 27091 27093 21775 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830928951 10804469760 923159 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624927232 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1763.69
Current children cumulated vsize (KiB) 10551240
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.501 s]
/proc/loadavg: 4.00 3.99 3.77 5/541 27190
/proc/meminfo: memFree=22259780/32951124 swapFree=53876548/67111528
[pid=27093] ppid=27091 vsize=10551240 CPUtime=1800.1 cores=0,2,4,6
/proc/27093/stat : 27093 (java) S 27091 27093 21775 0 -1 4202496 926653 0 1 0 179885 125 0 0 21 0 22 0 830928547 10804469760 923377 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27093/statm: 2637810 923377 2253 9 0 2628544 0
[pid=27093/tid=27094] ppid=27091 vsize=10551240 CPUtime=3.95 cores=0,2,4,6
/proc/27093/task/27094/stat : 27094 (java) S 27091 27093 21775 0 -1 4202560 254186 0 1 0 362 33 0 0 15 0 22 0 830928547 10804469760 923377 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624927232 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27096] ppid=27091 vsize=10551240 CPUtime=0.55 cores=0,2,4,6
/proc/27093/task/27096/stat : 27096 (java) S 27091 27093 21775 0 -1 4202560 19863 0 0 0 53 2 0 0 15 0 22 0 830928549 10804469760 923377 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27097] ppid=27091 vsize=10551240 CPUtime=0.39 cores=0,2,4,6
/proc/27093/task/27097/stat : 27097 (java) S 27091 27093 21775 0 -1 4202560 24280 0 0 0 36 3 0 0 16 0 22 0 830928549 10804469760 923377 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27098] ppid=27091 vsize=10551240 CPUtime=0.27 cores=0,2,4,6
/proc/27093/task/27098/stat : 27098 (java) S 27091 27093 21775 0 -1 4202560 10275 0 0 0 26 1 0 0 15 0 22 0 830928549 10804469760 923377 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 0 0 0 0
[pid=27093/tid=27099] ppid=27091 vsize=10551240 CPUtime=0.44 cores=0,2,4,6
/proc/27093/task/27099/stat : 27099 (java) S 27091 27093 21775 0 -1 4202560 16289 0 0 0 43 1 0 0 15 0 22 0 830928549 10804469760 923377 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27100] ppid=27091 vsize=10551240 CPUtime=0.67 cores=0,2,4,6
/proc/27093/task/27100/stat : 27100 (java) S 27091 27093 21775 0 -1 4202560 31719 0 0 0 62 5 0 0 16 0 22 0 830928549 10804469760 923377 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27101] ppid=27091 vsize=10551240 CPUtime=0.48 cores=0,2,4,6
/proc/27093/task/27101/stat : 27101 (java) S 27091 27093 21775 0 -1 4202560 20445 0 0 0 46 2 0 0 15 0 22 0 830928549 10804469760 923377 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 0 0 0 0
[pid=27093/tid=27102] ppid=27091 vsize=10551240 CPUtime=0.7 cores=0,2,4,6
/proc/27093/task/27102/stat : 27102 (java) S 27091 27093 21775 0 -1 4202560 18736 0 0 0 68 2 0 0 16 0 22 0 830928549 10804469760 923377 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 0 0 0 0
[pid=27093/tid=27103] ppid=27091 vsize=10551240 CPUtime=0.52 cores=0,2,4,6
/proc/27093/task/27103/stat : 27103 (java) S 27091 27093 21775 0 -1 4202560 22370 0 0 0 50 2 0 0 16 0 22 0 830928549 10804469760 923377 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27104] ppid=27091 vsize=10551240 CPUtime=0.1 cores=0,2,4,6
/proc/27093/task/27104/stat : 27104 (java) S 27091 27093 21775 0 -1 4202560 61 0 0 0 5 5 0 0 15 0 22 0 830928550 10804469760 923377 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624927232 0 0 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
[pid=27093/tid=27105] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27105/stat : 27105 (java) S 27091 27093 21775 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830928550 10804469760 923377 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 0 0 0 0
[pid=27093/tid=27106] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27106/stat : 27106 (java) S 27091 27093 21775 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830928550 10804469760 923377 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27107] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27107/stat : 27107 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830928552 10804469760 923377 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624934321 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27108] ppid=27091 vsize=10551240 CPUtime=0.9 cores=0,2,4,6
/proc/27093/task/27108/stat : 27108 (java) S 27091 27093 21775 0 -1 4202560 3149 0 0 0 90 0 0 0 15 0 22 0 830928552 10804469760 923377 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27109] ppid=27091 vsize=10551240 CPUtime=1.01 cores=0,2,4,6
/proc/27093/task/27109/stat : 27109 (java) S 27091 27093 21775 0 -1 4202560 2623 0 0 0 101 0 0 0 15 0 22 0 830928552 10804469760 923377 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27110] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27110/stat : 27110 (java) S 27091 27093 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830928552 10804469760 923377 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624926617 0 4 0 16800975 18446604443409070144 0 0 -1 2 0 0 0
[pid=27093/tid=27111] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27111/stat : 27111 (java) S 27091 27093 21775 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830928552 10804469760 923377 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624927232 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27113] ppid=27091 vsize=10551240 CPUtime=895.02 cores=0,2,4,6
/proc/27093/task/27113/stat : 27113 (java) R 27091 27093 21775 0 -1 4202560 15288 0 0 0 89496 6 0 0 25 0 22 0 830928944 10804469760 923377 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 46912505914566 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27093/tid=27114] ppid=27091 vsize=10551240 CPUtime=894.94 cores=0,2,4,6
/proc/27093/task/27114/stat : 27114 (java) R 27091 27093 21775 0 -1 4202560 486151 0 0 0 89440 54 0 0 25 0 22 0 830928944 10804469760 923377 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 46912505776409 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27093/tid=27115] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27115/stat : 27115 (java) S 27091 27093 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830928950 10804469760 923377 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624927232 0 4 0 16800975 18446604443409070144 0 0 -1 4 0 0 0
[pid=27093/tid=27116] ppid=27091 vsize=10551240 CPUtime=0 cores=0,2,4,6
/proc/27093/task/27116/stat : 27116 (java) S 27091 27093 21775 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830928951 10804469760 923377 33554432000 1073741824 1073778376 140735319516720 18446744073709551615 270624927232 0 4 0 16800975 18446604443409070144 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10551240
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.624 s]
/proc/loadavg: 4.00 3.99 3.77 5/541 27190
/proc/meminfo: memFree=22259780/32951124 swapFree=53876548/67111528
[pid=27093] ppid=27091 vsize=0 CPUtime=1800.21 cores=0,2,4,6
/proc/27093/stat : 27093 (java) Z 27091 27093 21775 0 -1 4203548 926679 0 1 0 179887 134 0 0 17 0 2 0 830928547 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27093/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 900.671
CPU time (s): 1800.27
CPU user time (s): 1798.88
CPU system time (s): 1.39479
CPU usage (%): 199.881
Max. virtual memory (cumulated for all children) (KiB): 10551240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.88
system time used= 1.39479
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 926679
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= 25969
involuntary context switches= 13871
runsolver used 4.98724 second user time and 10.0775 second system time
The end