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-3453912-1307194421/watcher-3453912-1307194421 -o /tmp/evaluation-result-3453912-1307194421/solver-3453912-1307194421 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453912-1307194421.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.69 3.65 3.58 3/485 18708
/proc/meminfo: memFree=29209848/32950928 swapFree=45617076/67111528
[pid=18708] ppid=18706 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/18708/stat : 18708 (java) S 18706 18708 13462 0 -1 4202496 1877 0 1 0 0 0 0 0 25 0 2 0 831041877 10681323520 1578 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/18708/statm: 2607745 1591 906 9 0 2598901 0
[pid=18708/tid=18709] ppid=18706 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18709/stat : 18709 (java) R 18706 18708 13462 0 -1 4202560 4533 0 1 0 0 0 0 0 25 0 2 0 831041878 10694979584 5349 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248089392187 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.048226 s]
/proc/loadavg: 3.69 3.65 3.58 3/485 18708
/proc/meminfo: memFree=29209848/32950928 swapFree=45617076/67111528
[pid=18708] ppid=18706 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/18708/stat : 18708 (java) S 18706 18708 13462 0 -1 4202496 11325 0 1 0 2 1 0 0 25 0 13 0 831041877 10718699520 11021 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/18708/statm: 2616870 11022 1678 9 0 2607618 0
[pid=18708/tid=18709] ppid=18706 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/18708/task/18709/stat : 18709 (java) R 18706 18708 13462 0 -1 4202560 10177 0 1 0 2 1 0 0 25 0 13 0 831041878 10718699520 11022 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 47643272278787 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100267 s]
/proc/loadavg: 3.69 3.65 3.58 3/485 18708
/proc/meminfo: memFree=29209848/32950928 swapFree=45617076/67111528
[pid=18708] ppid=18706 vsize=10539828 CPUtime=0.09 cores=0,2,4,6
/proc/18708/stat : 18708 (java) S 18706 18708 13462 0 -1 4202496 13010 0 1 0 8 1 0 0 25 0 18 0 831041877 10792783872 12706 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18708/statm: 2634957 12706 2092 9 0 2625691 0
[pid=18708/tid=18709] ppid=18706 vsize=10539828 CPUtime=0.08 cores=0,2,4,6
/proc/18708/task/18709/stat : 18709 (java) R 18706 18708 13462 0 -1 4202560 11082 0 1 0 7 1 0 0 25 0 18 0 831041878 10792783872 12706 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 46912496206081 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539828
[startup+0.30023 s]
/proc/loadavg: 3.69 3.65 3.58 3/485 18708
/proc/meminfo: memFree=29209848/32950928 swapFree=45617076/67111528
[pid=18708] ppid=18706 vsize=10540784 CPUtime=0.46 cores=0,2,4,6
/proc/18708/stat : 18708 (java) S 18706 18708 13462 0 -1 4202496 16394 0 1 0 44 2 0 0 25 0 18 0 831041877 10793762816 15458 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18708/statm: 2635196 15458 2208 9 0 2625930 0
[pid=18708/tid=18709] ppid=18706 vsize=10540784 CPUtime=0.28 cores=0,2,4,6
/proc/18708/task/18709/stat : 18709 (java) R 18706 18708 13462 0 -1 4202560 12843 0 1 0 26 2 0 0 18 0 18 0 831041878 10793762816 15458 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10540784
[startup+0.70116 s]
/proc/loadavg: 3.69 3.65 3.58 3/485 18708
/proc/meminfo: memFree=29209848/32950928 swapFree=45617076/67111528
[pid=18708] ppid=18706 vsize=10548908 CPUtime=1.62 cores=0,2,4,6
/proc/18708/stat : 18708 (java) S 18706 18708 13462 0 -1 4202496 34700 0 1 0 157 5 0 0 25 0 18 0 831041877 10802081792 31036 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18708/statm: 2637227 31039 2227 9 0 2627961 0
[pid=18708/tid=18709] ppid=18706 vsize=10548908 CPUtime=0.67 cores=0,2,4,6
/proc/18708/task/18709/stat : 18709 (java) R 18706 18708 13462 0 -1 4202560 23556 0 1 0 64 3 0 0 18 0 18 0 831041878 10802081792 31041 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 46912505786308 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10548908
[startup+1.5011 s]
/proc/loadavg: 3.69 3.65 3.58 4/503 18726
/proc/meminfo: memFree=28955132/32950928 swapFree=45617076/67111528
[pid=18708] ppid=18706 vsize=10553020 CPUtime=2.85 cores=0,2,4,6
/proc/18708/stat : 18708 (java) S 18706 18708 13462 0 -1 4202496 92929 0 1 0 271 14 0 0 25 0 19 0 831041877 10806292480 89263 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18708/statm: 2638255 89263 2236 9 0 2628989 0
[pid=18708/tid=18709] ppid=18706 vsize=10553020 CPUtime=1.12 cores=0,2,4,6
/proc/18708/task/18709/stat : 18709 (java) S 18706 18708 13462 0 -1 4202560 74433 0 1 0 101 11 0 0 20 0 19 0 831041878 10806292480 89263 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18711] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18711/stat : 18711 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831041880 10806292480 89263 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
[pid=18708/tid=18712] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18712/stat : 18712 (java) S 18706 18708 13462 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831041880 10806292480 89263 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18713] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18713/stat : 18713 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831041880 10806292480 89263 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18714] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18714/stat : 18714 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831041880 10806292480 89263 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18715] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18715/stat : 18715 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831041880 10806292480 89263 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18716] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18716/stat : 18716 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831041880 10806292480 89263 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18717] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18717/stat : 18717 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831041880 10806292480 89263 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18718] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18718/stat : 18718 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831041880 10806292480 89263 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18719] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18719/stat : 18719 (java) S 18706 18708 13462 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 831041881 10806292480 89263 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 0 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18720] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18720/stat : 18720 (java) S 18706 18708 13462 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831041881 10806292480 89263 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
[pid=18708/tid=18721] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18721/stat : 18721 (java) S 18706 18708 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831041881 10806292480 89263 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
[pid=18708/tid=18722] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18722/stat : 18722 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831041883 10806292480 89263 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101521841 0 4 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
[pid=18708/tid=18723] ppid=18706 vsize=10553020 CPUtime=0.61 cores=0,2,4,6
/proc/18708/task/18723/stat : 18723 (java) S 18706 18708 13462 0 -1 4202560 5500 0 0 0 60 1 0 0 21 0 19 0 831041883 10806292480 89263 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
[pid=18708/tid=18724] ppid=18706 vsize=10553020 CPUtime=0.67 cores=0,2,4,6
/proc/18708/task/18724/stat : 18724 (java) S 18706 18708 13462 0 -1 4202560 4550 0 0 0 67 0 0 0 21 0 19 0 831041883 10806292480 89263 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18725] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18725/stat : 18725 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831041883 10806292480 89263 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
[pid=18708/tid=18726] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18726/stat : 18726 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831041883 10806292480 89263 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 10553020
[startup+3.10069 s]
/proc/loadavg: 3.69 3.65 3.58 7/507 18733
/proc/meminfo: memFree=28819448/32950928 swapFree=45617076/67111528
[pid=18708] ppid=18706 vsize=10553020 CPUtime=6.27 cores=0,2,4,6
/proc/18708/stat : 18708 (java) S 18706 18708 13462 0 -1 4202496 175164 0 1 0 604 23 0 0 25 0 22 0 831041877 10806292480 171496 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18708/statm: 2638255 171498 2243 9 0 2628989 0
[pid=18708/tid=18709] ppid=18706 vsize=10553020 CPUtime=1.17 cores=0,2,4,6
/proc/18708/task/18709/stat : 18709 (java) S 18706 18708 13462 0 -1 4202560 74786 0 1 0 106 11 0 0 15 0 22 0 831041878 10806292480 171498 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 4 0 16800975 18446604453739635008 0 0 -1 0 0 0 0
[pid=18708/tid=18711] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18711/stat : 18711 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831041880 10806292480 171501 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
[pid=18708/tid=18712] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18712/stat : 18712 (java) S 18706 18708 13462 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831041880 10806292480 171501 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18713] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18713/stat : 18713 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831041880 10806292480 171501 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18714] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18714/stat : 18714 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831041880 10806292480 171504 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18715] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18715/stat : 18715 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831041880 10806292480 171504 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18716] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18716/stat : 18716 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831041880 10806292480 171506 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18717] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18717/stat : 18717 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831041880 10806292480 171507 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18718] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18718/stat : 18718 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831041880 10806292480 171507 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18719] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18719/stat : 18719 (java) S 18706 18708 13462 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 22 0 831041881 10806292480 171509 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 0 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18720] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18720/stat : 18720 (java) S 18706 18708 13462 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831041881 10806292480 171509 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
[pid=18708/tid=18721] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18721/stat : 18721 (java) S 18706 18708 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831041881 10806292480 171509 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
[pid=18708/tid=18722] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18722/stat : 18722 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831041883 10806292480 171512 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101521841 0 4 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
[pid=18708/tid=18723] ppid=18706 vsize=10553020 CPUtime=0.88 cores=0,2,4,6
/proc/18708/task/18723/stat : 18723 (java) S 18706 18708 13462 0 -1 4202560 5531 0 0 0 87 1 0 0 15 0 22 0 831041883 10806292480 171512 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
[pid=18708/tid=18724] ppid=18706 vsize=10553020 CPUtime=0.97 cores=0,2,4,6
/proc/18708/task/18724/stat : 18724 (java) S 18706 18708 13462 0 -1 4202560 4599 0 0 0 97 0 0 0 15 0 22 0 831041883 10806292480 171512 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
[pid=18708/tid=18725] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18725/stat : 18725 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831041883 10806292480 171515 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
[pid=18708/tid=18726] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18726/stat : 18726 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831041883 10806292480 171515 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
[pid=18708/tid=18730] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18730/stat : 18730 (java) S 18706 18708 13462 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831041995 10806292480 171517 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18731] ppid=18706 vsize=10553020 CPUtime=1.38 cores=0,2,4,6
/proc/18708/task/18731/stat : 18731 (java) R 18706 18708 13462 0 -1 4202560 1149 0 0 0 138 0 0 0 19 0 22 0 831042047 10806292480 171517 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 46912506036820 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=18708/tid=18732] ppid=18706 vsize=10553020 CPUtime=1.39 cores=0,2,4,6
/proc/18708/task/18732/stat : 18732 (java) R 18706 18708 13462 0 -1 4202560 80673 0 0 0 131 8 0 0 23 0 22 0 831042047 10806292480 171517 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 46912505586943 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18708/tid=18733] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18733/stat : 18733 (java) S 18706 18708 13462 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 22 0 831042048 10806292480 171520 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 4 0 16800975 18446604453739635008 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 10553020
[startup+6.30123 s]
/proc/loadavg: 3.71 3.66 3.58 4/507 18736
/proc/meminfo: memFree=27847596/32950928 swapFree=45617076/67111528
[pid=18708] ppid=18706 vsize=10553020 CPUtime=12.54 cores=0,2,4,6
/proc/18708/stat : 18708 (java) S 18706 18708 13462 0 -1 4202496 409084 0 1 0 1208 46 0 0 25 0 22 0 831041877 10806292480 405396 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18708/statm: 2638255 405396 2245 9 0 2628989 0
[pid=18708/tid=18709] ppid=18706 vsize=10553020 CPUtime=1.22 cores=0,2,4,6
/proc/18708/task/18709/stat : 18709 (java) S 18706 18708 13462 0 -1 4202560 75118 0 1 0 111 11 0 0 15 0 22 0 831041878 10806292480 405396 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 4 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
[pid=18708/tid=18711] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18711/stat : 18711 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831041880 10806292480 405396 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
[pid=18708/tid=18712] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18712/stat : 18712 (java) S 18706 18708 13462 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831041880 10806292480 405396 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18713] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18713/stat : 18713 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831041880 10806292480 405396 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18714] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18714/stat : 18714 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831041880 10806292480 405396 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18715] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18715/stat : 18715 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831041880 10806292480 405396 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18716] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18716/stat : 18716 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831041880 10806292480 405396 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18717] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18717/stat : 18717 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831041880 10806292480 405396 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18718] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18718/stat : 18718 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831041880 10806292480 405396 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18719] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18719/stat : 18719 (java) S 18706 18708 13462 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 22 0 831041881 10806292480 405396 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 0 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18720] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18720/stat : 18720 (java) S 18706 18708 13462 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831041881 10806292480 405396 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
[pid=18708/tid=18721] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18721/stat : 18721 (java) S 18706 18708 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831041881 10806292480 405396 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
[pid=18708/tid=18722] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18722/stat : 18722 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831041883 10806292480 405396 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101521841 0 4 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.02 3.97 3.79 5/507 18831
/proc/meminfo: memFree=25285572/32950928 swapFree=45617076/67111528
[pid=18708] ppid=18706 vsize=10553020 CPUtime=1622.95 cores=0,2,4,6
/proc/18708/stat : 18708 (java) S 18706 18708 13462 0 -1 4202496 1003988 0 1 0 162184 111 0 0 25 0 22 0 831041877 10806292480 997194 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18708/statm: 2638255 997194 2269 9 0 2628989 0
[pid=18708/tid=18709] ppid=18706 vsize=10553020 CPUtime=1.33 cores=0,2,4,6
/proc/18708/task/18709/stat : 18709 (java) S 18706 18708 13462 0 -1 4202560 75147 0 1 0 122 11 0 0 15 0 22 0 831041878 10806292480 997194 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 4 0 16800975 18446604453739635008 0 0 -1 0 0 0 0
[pid=18708/tid=18711] ppid=18706 vsize=10553020 CPUtime=0.59 cores=0,2,4,6
/proc/18708/task/18711/stat : 18711 (java) S 18706 18708 13462 0 -1 4202560 10452 0 0 0 58 1 0 0 15 0 22 0 831041880 10806292480 997194 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
[pid=18708/tid=18712] ppid=18706 vsize=10553020 CPUtime=0.58 cores=0,2,4,6
/proc/18708/task/18712/stat : 18712 (java) S 18706 18708 13462 0 -1 4202560 8362 0 0 0 58 0 0 0 16 0 22 0 831041880 10806292480 997194 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
[pid=18708/tid=18713] ppid=18706 vsize=10553020 CPUtime=0.58 cores=0,2,4,6
/proc/18708/task/18713/stat : 18713 (java) S 18706 18708 13462 0 -1 4202560 10792 0 0 0 57 1 0 0 15 0 22 0 831041880 10806292480 997194 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 0 0 0 0
[pid=18708/tid=18714] ppid=18706 vsize=10553020 CPUtime=0.84 cores=0,2,4,6
/proc/18708/task/18714/stat : 18714 (java) S 18706 18708 13462 0 -1 4202560 14722 0 0 0 82 2 0 0 16 0 22 0 831041880 10806292480 997194 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 0 0 0 0
[pid=18708/tid=18715] ppid=18706 vsize=10553020 CPUtime=0.78 cores=0,2,4,6
/proc/18708/task/18715/stat : 18715 (java) S 18706 18708 13462 0 -1 4202560 13155 0 0 0 77 1 0 0 16 0 22 0 831041880 10806292480 997194 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18716] ppid=18706 vsize=10553020 CPUtime=0.85 cores=0,2,4,6
/proc/18708/task/18716/stat : 18716 (java) S 18706 18708 13462 0 -1 4202560 23549 0 0 0 83 2 0 0 15 0 22 0 831041880 10806292480 997194 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 0 0 0 0
[pid=18708/tid=18717] ppid=18706 vsize=10553020 CPUtime=0.78 cores=0,2,4,6
/proc/18708/task/18717/stat : 18717 (java) S 18706 18708 13462 0 -1 4202560 19324 0 0 0 75 3 0 0 15 0 22 0 831041880 10806292480 997194 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
[pid=18708/tid=18718] ppid=18706 vsize=10553020 CPUtime=0.79 cores=0,2,4,6
/proc/18708/task/18718/stat : 18718 (java) S 18706 18708 13462 0 -1 4202560 20551 0 0 0 77 2 0 0 16 0 22 0 831041880 10806292480 997194 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
[pid=18708/tid=18719] ppid=18706 vsize=10553020 CPUtime=22.81 cores=0,2,4,6
/proc/18708/task/18719/stat : 18719 (java) S 18706 18708 13462 0 -1 4202560 84373 0 0 0 2273 8 0 0 15 0 22 0 831041881 10806292480 997194 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 0 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
[pid=18708/tid=18720] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18720/stat : 18720 (java) S 18706 18708 13462 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831041881 10806292480 997194 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18721] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18721/stat : 18721 (java) S 18706 18708 13462 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 831041881 10806292480 997194 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 0 0 0 0
[pid=18708/tid=18722] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18722/stat : 18722 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831041883 10806292480 997194 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101521841 0 4 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
[pid=18708/tid=18723] ppid=18706 vsize=10553020 CPUtime=1.08 cores=0,2,4,6
/proc/18708/task/18723/stat : 18723 (java) S 18706 18708 13462 0 -1 4202560 5596 0 0 0 107 1 0 0 15 0 22 0 831041883 10806292480 997194 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
[pid=18708/tid=18724] ppid=18706 vsize=10553020 CPUtime=1.36 cores=0,2,4,6
/proc/18708/task/18724/stat : 18724 (java) S 18706 18708 13462 0 -1 4202560 4640 0 0 0 136 0 0 0 15 0 22 0 831041883 10806292480 997194 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 0 0 0 0
[pid=18708/tid=18725] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18725/stat : 18725 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831041883 10806292480 997194 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
[pid=18708/tid=18726] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18726/stat : 18726 (java) S 18706 18708 13462 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 831041883 10806292480 997194 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
[pid=18708/tid=18739] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18739/stat : 18739 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831043977 10806292480 997194 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
[pid=18708/tid=18744] ppid=18706 vsize=10553020 CPUtime=752.68 cores=0,2,4,6
/proc/18708/task/18744/stat : 18744 (java) R 18706 18708 13462 0 -1 4202560 896 0 0 0 75268 0 0 0 25 0 22 0 831046688 10806292480 997194 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 46912506036376 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18708/tid=18745] ppid=18706 vsize=10553020 CPUtime=752.63 cores=0,2,4,6
/proc/18708/task/18745/stat : 18745 (java) R 18706 18708 13462 0 -1 4202560 135218 0 0 0 75247 16 0 0 25 0 22 0 831046688 10806292480 997194 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 46912506282315 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18708/tid=18746] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18746/stat : 18746 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831046689 10806292480 997194 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1622.95
Current children cumulated vsize (KiB) 10553020
[startup+882.302 s]
/proc/loadavg: 4.00 3.97 3.80 5/507 18832
/proc/meminfo: memFree=25281068/32950928 swapFree=45617076/67111528
[pid=18708] ppid=18706 vsize=10553020 CPUtime=1742.38 cores=0,2,4,6
/proc/18708/stat : 18708 (java) S 18706 18708 13462 0 -1 4202496 1004003 0 1 0 174127 111 0 0 25 0 22 0 831041877 10806292480 997202 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18708/statm: 2638255 997202 2269 9 0 2628989 0
[pid=18708/tid=18709] ppid=18706 vsize=10553020 CPUtime=1.33 cores=0,2,4,6
/proc/18708/task/18709/stat : 18709 (java) S 18706 18708 13462 0 -1 4202560 75147 0 1 0 122 11 0 0 15 0 22 0 831041878 10806292480 997202 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 4 0 16800975 18446604453739635008 0 0 -1 0 0 0 0
[pid=18708/tid=18711] ppid=18706 vsize=10553020 CPUtime=0.59 cores=0,2,4,6
/proc/18708/task/18711/stat : 18711 (java) S 18706 18708 13462 0 -1 4202560 10452 0 0 0 58 1 0 0 16 0 22 0 831041880 10806292480 997202 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
[pid=18708/tid=18712] ppid=18706 vsize=10553020 CPUtime=0.61 cores=0,2,4,6
/proc/18708/task/18712/stat : 18712 (java) S 18706 18708 13462 0 -1 4202560 8362 0 0 0 61 0 0 0 16 0 22 0 831041880 10806292480 997202 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
[pid=18708/tid=18713] ppid=18706 vsize=10553020 CPUtime=0.6 cores=0,2,4,6
/proc/18708/task/18713/stat : 18713 (java) S 18706 18708 13462 0 -1 4202560 10795 0 0 0 59 1 0 0 16 0 22 0 831041880 10806292480 997202 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18714] ppid=18706 vsize=10553020 CPUtime=0.87 cores=0,2,4,6
/proc/18708/task/18714/stat : 18714 (java) S 18706 18708 13462 0 -1 4202560 14727 0 0 0 85 2 0 0 16 0 22 0 831041880 10806292480 997202 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 0 0 0 0
[pid=18708/tid=18715] ppid=18706 vsize=10553020 CPUtime=0.78 cores=0,2,4,6
/proc/18708/task/18715/stat : 18715 (java) S 18706 18708 13462 0 -1 4202560 13155 0 0 0 77 1 0 0 16 0 22 0 831041880 10806292480 997202 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18716] ppid=18706 vsize=10553020 CPUtime=0.88 cores=0,2,4,6
/proc/18708/task/18716/stat : 18716 (java) S 18706 18708 13462 0 -1 4202560 23549 0 0 0 86 2 0 0 16 0 22 0 831041880 10806292480 997202 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 0 0 0 0
[pid=18708/tid=18717] ppid=18706 vsize=10553020 CPUtime=0.78 cores=0,2,4,6
/proc/18708/task/18717/stat : 18717 (java) S 18706 18708 13462 0 -1 4202560 19324 0 0 0 75 3 0 0 16 0 22 0 831041880 10806292480 997202 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
[pid=18708/tid=18718] ppid=18706 vsize=10553020 CPUtime=0.8 cores=0,2,4,6
/proc/18708/task/18718/stat : 18718 (java) S 18706 18708 13462 0 -1 4202560 20551 0 0 0 78 2 0 0 16 0 22 0 831041880 10806292480 997202 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
[pid=18708/tid=18719] ppid=18706 vsize=10553020 CPUtime=23.44 cores=0,2,4,6
/proc/18708/task/18719/stat : 18719 (java) S 18706 18708 13462 0 -1 4202560 84375 0 0 0 2336 8 0 0 15 0 22 0 831041881 10806292480 997202 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 0 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
[pid=18708/tid=18720] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18720/stat : 18720 (java) S 18706 18708 13462 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831041881 10806292480 997202 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18721] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18721/stat : 18721 (java) S 18706 18708 13462 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 831041881 10806292480 997202 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 0 0 0 0
[pid=18708/tid=18722] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18722/stat : 18722 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831041883 10806292480 997202 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101521841 0 4 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
[pid=18708/tid=18723] ppid=18706 vsize=10553020 CPUtime=1.08 cores=0,2,4,6
/proc/18708/task/18723/stat : 18723 (java) S 18706 18708 13462 0 -1 4202560 5596 0 0 0 107 1 0 0 15 0 22 0 831041883 10806292480 997202 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
[pid=18708/tid=18724] ppid=18706 vsize=10553020 CPUtime=1.36 cores=0,2,4,6
/proc/18708/task/18724/stat : 18724 (java) S 18706 18708 13462 0 -1 4202560 4640 0 0 0 136 0 0 0 15 0 22 0 831041883 10806292480 997202 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 0 0 0 0
[pid=18708/tid=18725] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18725/stat : 18725 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831041883 10806292480 997202 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
[pid=18708/tid=18726] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18726/stat : 18726 (java) S 18706 18708 13462 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831041883 10806292480 997202 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
[pid=18708/tid=18739] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18739/stat : 18739 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831043977 10806292480 997202 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
[pid=18708/tid=18744] ppid=18706 vsize=10553020 CPUtime=812.02 cores=0,2,4,6
/proc/18708/task/18744/stat : 18744 (java) R 18706 18708 13462 0 -1 4202560 897 0 0 0 81202 0 0 0 25 0 22 0 831046688 10806292480 997202 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 46912506173052 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18708/tid=18745] ppid=18706 vsize=10553020 CPUtime=811.97 cores=0,2,4,6
/proc/18708/task/18745/stat : 18745 (java) R 18706 18708 13462 0 -1 4202560 135218 0 0 0 81181 16 0 0 25 0 22 0 831046688 10806292480 997202 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 46912506059201 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18708/tid=18746] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18746/stat : 18746 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831046689 10806292480 997202 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1742.38
Current children cumulated vsize (KiB) 10553020
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+911.601 s]
/proc/loadavg: 3.86 3.94 3.79 6/507 18833
/proc/meminfo: memFree=25279188/32950928 swapFree=45617076/67111528
[pid=18708] ppid=18706 vsize=10553020 CPUtime=1800.19 cores=0,2,4,6
/proc/18708/stat : 18708 (java) S 18706 18708 13462 0 -1 4202496 1004030 0 1 0 179908 111 0 0 25 0 22 0 831041877 10806292480 997223 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18708/statm: 2638255 997223 2269 9 0 2628989 0
[pid=18708/tid=18709] ppid=18706 vsize=10553020 CPUtime=1.33 cores=0,2,4,6
/proc/18708/task/18709/stat : 18709 (java) S 18706 18708 13462 0 -1 4202560 75147 0 1 0 122 11 0 0 15 0 22 0 831041878 10806292480 997223 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 4 0 16800975 18446604453739635008 0 0 -1 0 0 0 0
[pid=18708/tid=18711] ppid=18706 vsize=10553020 CPUtime=0.62 cores=0,2,4,6
/proc/18708/task/18711/stat : 18711 (java) S 18706 18708 13462 0 -1 4202560 10458 0 0 0 61 1 0 0 16 0 22 0 831041880 10806292480 997223 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
[pid=18708/tid=18712] ppid=18706 vsize=10553020 CPUtime=0.67 cores=0,2,4,6
/proc/18708/task/18712/stat : 18712 (java) S 18706 18708 13462 0 -1 4202560 8364 0 0 0 67 0 0 0 16 0 22 0 831041880 10806292480 997223 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
[pid=18708/tid=18713] ppid=18706 vsize=10553020 CPUtime=0.63 cores=0,2,4,6
/proc/18708/task/18713/stat : 18713 (java) S 18706 18708 13462 0 -1 4202560 10796 0 0 0 62 1 0 0 16 0 22 0 831041880 10806292480 997223 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18714] ppid=18706 vsize=10553020 CPUtime=0.9 cores=0,2,4,6
/proc/18708/task/18714/stat : 18714 (java) S 18706 18708 13462 0 -1 4202560 14732 0 0 0 88 2 0 0 16 0 22 0 831041880 10806292480 997223 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 0 0 0 0
[pid=18708/tid=18715] ppid=18706 vsize=10553020 CPUtime=0.79 cores=0,2,4,6
/proc/18708/task/18715/stat : 18715 (java) S 18706 18708 13462 0 -1 4202560 13155 0 0 0 78 1 0 0 15 0 22 0 831041880 10806292480 997223 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18716] ppid=18706 vsize=10553020 CPUtime=0.93 cores=0,2,4,6
/proc/18708/task/18716/stat : 18716 (java) S 18706 18708 13462 0 -1 4202560 23551 0 0 0 91 2 0 0 16 0 22 0 831041880 10806292480 997223 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 0 0 0 0
[pid=18708/tid=18717] ppid=18706 vsize=10553020 CPUtime=0.82 cores=0,2,4,6
/proc/18708/task/18717/stat : 18717 (java) S 18706 18708 13462 0 -1 4202560 19329 0 0 0 79 3 0 0 15 0 22 0 831041880 10806292480 997223 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
[pid=18708/tid=18718] ppid=18706 vsize=10553020 CPUtime=0.8 cores=0,2,4,6
/proc/18708/task/18718/stat : 18718 (java) S 18706 18708 13462 0 -1 4202560 20551 0 0 0 78 2 0 0 15 0 22 0 831041880 10806292480 997223 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
[pid=18708/tid=18719] ppid=18706 vsize=10553020 CPUtime=24.37 cores=0,2,4,6
/proc/18708/task/18719/stat : 18719 (java) S 18706 18708 13462 0 -1 4202560 84377 0 0 0 2429 8 0 0 15 0 22 0 831041881 10806292480 997223 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 0 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
[pid=18708/tid=18720] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18720/stat : 18720 (java) S 18706 18708 13462 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831041881 10806292480 997223 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 6 0 0 0
[pid=18708/tid=18721] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18721/stat : 18721 (java) S 18706 18708 13462 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 831041881 10806292480 997223 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 0 0 0 0
[pid=18708/tid=18722] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18722/stat : 18722 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831041883 10806292480 997223 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101521841 0 4 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
[pid=18708/tid=18723] ppid=18706 vsize=10553020 CPUtime=1.08 cores=0,2,4,6
/proc/18708/task/18723/stat : 18723 (java) S 18706 18708 13462 0 -1 4202560 5596 0 0 0 107 1 0 0 15 0 22 0 831041883 10806292480 997223 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
[pid=18708/tid=18724] ppid=18706 vsize=10553020 CPUtime=1.36 cores=0,2,4,6
/proc/18708/task/18724/stat : 18724 (java) S 18706 18708 13462 0 -1 4202560 4640 0 0 0 136 0 0 0 15 0 22 0 831041883 10806292480 997223 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 0 0 0 0
[pid=18708/tid=18725] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18725/stat : 18725 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831041883 10806292480 997223 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514137 0 4 0 16800975 18446604453739635008 0 0 -1 2 0 0 0
[pid=18708/tid=18726] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18726/stat : 18726 (java) S 18706 18708 13462 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831041883 10806292480 997223 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
[pid=18708/tid=18739] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18739/stat : 18739 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831043977 10806292480 997223 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
[pid=18708/tid=18744] ppid=18706 vsize=10553020 CPUtime=840.35 cores=0,2,4,6
/proc/18708/task/18744/stat : 18744 (java) R 18706 18708 13462 0 -1 4202560 898 0 0 0 84035 0 0 0 25 0 22 0 831046688 10806292480 997223 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 46912506048480 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18708/tid=18745] ppid=18706 vsize=10553020 CPUtime=840.3 cores=0,2,4,6
/proc/18708/task/18745/stat : 18745 (java) R 18706 18708 13462 0 -1 4202560 135219 0 0 0 84014 16 0 0 25 0 22 0 831046688 10806292480 997223 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 46912506066923 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18708/tid=18746] ppid=18706 vsize=10553020 CPUtime=0 cores=0,2,4,6
/proc/18708/task/18746/stat : 18746 (java) S 18706 18708 13462 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831046689 10806292480 997223 33554432000 1073741824 1073778376 140734030327040 18446744073709551615 248101514752 0 4 0 16800975 18446604453739635008 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 10553020
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+911.8 s]
/proc/loadavg: 3.86 3.94 3.79 4/488 18836
/proc/meminfo: memFree=29179812/32950928 swapFree=45617076/67111528
[pid=18708] ppid=18706 vsize=0 CPUtime=1800.46 cores=0,2,4,6
/proc/18708/stat : 18708 (java) Z 18706 18708 13462 0 -1 4203548 1004063 0 1 0 179920 126 0 0 17 0 1 0 831041877 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18708/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.46
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 911.817
CPU time (s): 1800.48
CPU user time (s): 1799.21
CPU system time (s): 1.26981
CPU usage (%): 197.46
Max. virtual memory (cumulated for all children) (KiB): 10553020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 1.26981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1004063
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= 22874
involuntary context switches= 23284
runsolver used 4.22736 second user time and 9.96648 second system time
The end