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-3454280-1307192799/watcher-3454280-1307192799 -o /tmp/evaluation-result-3454280-1307192799/solver-3454280-1307192799 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454280-1307192799.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.04 3.76 3.84 3/467 25962
/proc/meminfo: memFree=30699892/32950928 swapFree=34365992/67111528
[pid=25962] ppid=25960 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25962/stat : 25962 (java) S 25960 25962 22425 0 -1 4202496 3891 0 1 0 0 0 0 0 25 0 2 0 830878714 10694979584 3594 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/25962/statm: 2611079 3609 917 9 0 2602235 0
[pid=25962/tid=25963] ppid=25960 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25963/stat : 25963 (java) R 25960 25962 22425 0 -1 4202560 6367 0 1 0 0 0 0 0 25 0 2 0 830878715 10694979584 7182 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.066296 s]
/proc/loadavg: 3.04 3.76 3.84 3/467 25962
/proc/meminfo: memFree=30699892/32950928 swapFree=34365992/67111528
[pid=25962] ppid=25960 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/25962/stat : 25962 (java) S 25960 25962 22425 0 -1 4202496 11813 0 1 0 4 1 0 0 25 0 18 0 830878714 10724442112 11511 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25962/statm: 2618272 11513 1742 9 0 2609006 0
[pid=25962/tid=25963] ppid=25960 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/25962/task/25963/stat : 25963 (java) R 25960 25962 22425 0 -1 4202560 10644 0 1 0 4 1 0 0 25 0 18 0 830878715 10724442112 11515 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235594527429 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10473088
[startup+0.10029 s]
/proc/loadavg: 3.04 3.76 3.84 3/467 25962
/proc/meminfo: memFree=30699892/32950928 swapFree=34365992/67111528
[pid=25962] ppid=25960 vsize=10539964 CPUtime=0.1 cores=1,3,5,7
/proc/25962/stat : 25962 (java) S 25960 25962 22425 0 -1 4202496 13140 0 1 0 9 1 0 0 25 0 18 0 830878714 10792923136 12800 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25962/statm: 2634991 12801 2092 9 0 2625725 0
[pid=25962/tid=25963] ppid=25960 vsize=10539964 CPUtime=0.08 cores=1,3,5,7
/proc/25962/task/25963/stat : 25963 (java) R 25960 25962 22425 0 -1 4202560 11185 0 1 0 7 1 0 0 25 0 18 0 830878715 10792923136 12801 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606693323 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539964
[startup+0.300257 s]
/proc/loadavg: 3.04 3.76 3.84 3/467 25962
/proc/meminfo: memFree=30699892/32950928 swapFree=34365992/67111528
[pid=25962] ppid=25960 vsize=10541084 CPUtime=0.51 cores=1,3,5,7
/proc/25962/stat : 25962 (java) S 25960 25962 22425 0 -1 4202496 17561 0 1 0 49 2 0 0 25 0 18 0 830878714 10794070016 16709 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25962/statm: 2635271 16710 2200 9 0 2626005 0
[pid=25962/tid=25963] ppid=25960 vsize=10541084 CPUtime=0.29 cores=1,3,5,7
/proc/25962/task/25963/stat : 25963 (java) R 25960 25962 22425 0 -1 4202560 14097 0 1 0 27 2 0 0 25 0 18 0 830878715 10794070016 16711 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 46912505602161 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10541084
[startup+0.700187 s]
/proc/loadavg: 3.04 3.76 3.84 3/467 25962
/proc/meminfo: memFree=30699892/32950928 swapFree=34365992/67111528
[pid=25962] ppid=25960 vsize=10544500 CPUtime=1.19 cores=1,3,5,7
/proc/25962/stat : 25962 (java) S 25960 25962 22425 0 -1 4202496 59090 0 1 0 112 7 0 0 25 0 18 0 830878714 10797568000 56506 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25962/statm: 2636125 56511 2213 9 0 2626859 0
[pid=25962/tid=25963] ppid=25960 vsize=10544500 CPUtime=0.68 cores=1,3,5,7
/proc/25962/task/25963/stat : 25963 (java) R 25960 25962 22425 0 -1 4202560 52367 0 1 0 62 6 0 0 25 0 18 0 830878715 10797568000 56513 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 46912505603343 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 10544500
[startup+1.50104 s]
/proc/loadavg: 3.04 3.76 3.84 4/485 25980
/proc/meminfo: memFree=29880924/32950928 swapFree=34365992/67111528
[pid=25962] ppid=25960 vsize=10544500 CPUtime=2 cores=1,3,5,7
/proc/25962/stat : 25962 (java) S 25960 25962 22425 0 -1 4202496 156699 0 1 0 182 18 0 0 25 0 18 0 830878714 10797568000 154115 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25962/statm: 2636125 154120 2213 9 0 2626859 0
[pid=25962/tid=25963] ppid=25960 vsize=10544500 CPUtime=1.49 cores=1,3,5,7
/proc/25962/task/25963/stat : 25963 (java) R 25960 25962 22425 0 -1 4202560 149978 0 1 0 132 17 0 0 25 0 18 0 830878715 10797568000 154124 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 46912505559130 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25962/tid=25965] ppid=25960 vsize=10544500 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25965/stat : 25965 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830878716 10797568000 154127 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
[pid=25962/tid=25966] ppid=25960 vsize=10544500 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25966/stat : 25966 (java) S 25960 25962 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830878716 10797568000 154130 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 5 0 0 0
[pid=25962/tid=25967] ppid=25960 vsize=10544500 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25967/stat : 25967 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830878716 10797568000 154133 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
[pid=25962/tid=25968] ppid=25960 vsize=10544500 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25968/stat : 25968 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830878716 10797568000 154137 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 5 0 0 0
[pid=25962/tid=25969] ppid=25960 vsize=10544500 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25969/stat : 25969 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830878716 10797568000 154140 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
[pid=25962/tid=25970] ppid=25960 vsize=10544500 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25970/stat : 25970 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830878716 10797568000 154143 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
[pid=25962/tid=25971] ppid=25960 vsize=10544500 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25971/stat : 25971 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830878716 10797568000 154146 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 5 0 0 0
[pid=25962/tid=25972] ppid=25960 vsize=10544500 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25972/stat : 25972 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830878716 10797568000 154149 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 5 0 0 0
[pid=25962/tid=25973] ppid=25960 vsize=10544500 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25973/stat : 25973 (java) S 25960 25962 22425 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830878717 10797568000 154152 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606683136 0 0 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25974] ppid=25960 vsize=10544500 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25974/stat : 25974 (java) S 25960 25962 22425 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830878718 10797568000 154155 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25975] ppid=25960 vsize=10544500 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25975/stat : 25975 (java) S 25960 25962 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830878718 10797568000 154158 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25976] ppid=25960 vsize=10544500 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25976/stat : 25976 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830878720 10797568000 154161 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606690225 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25977] ppid=25960 vsize=10544500 CPUtime=0.24 cores=1,3,5,7
/proc/25962/task/25977/stat : 25977 (java) S 25960 25962 22425 0 -1 4202560 2507 0 0 0 24 0 0 0 25 0 18 0 830878720 10797568000 154163 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
[pid=25962/tid=25978] ppid=25960 vsize=10544500 CPUtime=0.25 cores=1,3,5,7
/proc/25962/task/25978/stat : 25978 (java) S 25960 25962 22425 0 -1 4202560 3074 0 0 0 25 0 0 0 25 0 18 0 830878720 10797568000 154163 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
[pid=25962/tid=25979] ppid=25960 vsize=10544500 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25979/stat : 25979 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830878720 10797568000 154166 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25980] ppid=25960 vsize=10544500 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25980/stat : 25980 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830878720 10797568000 154169 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606683136 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 10544500
[startup+3.10076 s]
/proc/loadavg: 3.04 3.76 3.84 4/485 25980
/proc/meminfo: memFree=29100840/32950928 swapFree=34365992/67111528
[pid=25962] ppid=25960 vsize=10548612 CPUtime=4.31 cores=1,3,5,7
/proc/25962/stat : 25962 (java) S 25960 25962 22425 0 -1 4202496 203602 0 1 0 408 23 0 0 25 0 22 0 830878714 10801778688 200969 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25962/statm: 2637153 200969 2230 9 0 2627887 0
[pid=25962/tid=25963] ppid=25960 vsize=10548612 CPUtime=2.69 cores=1,3,5,7
/proc/25962/task/25963/stat : 25963 (java) S 25960 25962 22425 0 -1 4202560 192905 0 1 0 247 22 0 0 25 0 22 0 830878715 10801778688 200969 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606683136 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
[pid=25962/tid=25965] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25965/stat : 25965 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830878716 10801778688 200969 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
[pid=25962/tid=25966] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25966/stat : 25966 (java) S 25960 25962 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830878716 10801778688 200969 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 5 0 0 0
[pid=25962/tid=25967] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25967/stat : 25967 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830878716 10801778688 200969 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
[pid=25962/tid=25968] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25968/stat : 25968 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830878716 10801778688 200969 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 5 0 0 0
[pid=25962/tid=25969] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25969/stat : 25969 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830878716 10801778688 200969 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
[pid=25962/tid=25970] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25970/stat : 25970 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830878716 10801778688 200969 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
[pid=25962/tid=25971] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25971/stat : 25971 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830878716 10801778688 200969 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 5 0 0 0
[pid=25962/tid=25972] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25972/stat : 25972 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830878716 10801778688 200970 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 5 0 0 0
[pid=25962/tid=25973] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25973/stat : 25973 (java) S 25960 25962 22425 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830878717 10801778688 200970 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606683136 0 0 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25974] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25974/stat : 25974 (java) S 25960 25962 22425 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830878718 10801778688 200971 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25975] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25975/stat : 25975 (java) S 25960 25962 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830878718 10801778688 200971 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25976] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25976/stat : 25976 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830878720 10801778688 200971 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606690225 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25977] ppid=25960 vsize=10548612 CPUtime=0.4 cores=1,3,5,7
/proc/25962/task/25977/stat : 25977 (java) S 25960 25962 22425 0 -1 4202560 2538 0 0 0 40 0 0 0 16 0 22 0 830878720 10801778688 200971 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
[pid=25962/tid=25978] ppid=25960 vsize=10548612 CPUtime=0.4 cores=1,3,5,7
/proc/25962/task/25978/stat : 25978 (java) S 25960 25962 22425 0 -1 4202560 3180 0 0 0 40 0 0 0 15 0 22 0 830878720 10801778688 200971 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
[pid=25962/tid=25979] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25979/stat : 25979 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830878720 10801778688 200971 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25980] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25980/stat : 25980 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830878720 10801778688 200971 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606683136 0 4 0 16800975 18446604461599962432 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 10548612
[startup+6.3012 s]
/proc/loadavg: 3.12 3.77 3.84 5/489 25984
/proc/meminfo: memFree=27788916/32950928 swapFree=34365992/67111528
[pid=25962] ppid=25960 vsize=10548612 CPUtime=11.08 cores=1,3,5,7
/proc/25962/stat : 25962 (java) S 25960 25962 22425 0 -1 4202496 219770 0 1 0 1082 26 0 0 25 0 22 0 830878714 10801778688 217125 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25962/statm: 2637153 217125 2240 9 0 2627887 0
[pid=25962/tid=25963] ppid=25960 vsize=10548612 CPUtime=2.69 cores=1,3,5,7
/proc/25962/task/25963/stat : 25963 (java) S 25960 25962 22425 0 -1 4202560 192906 0 1 0 247 22 0 0 15 0 22 0 830878715 10801778688 217125 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606683136 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
[pid=25962/tid=25965] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25965/stat : 25965 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830878716 10801778688 217125 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
[pid=25962/tid=25966] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25966/stat : 25966 (java) S 25960 25962 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830878716 10801778688 217125 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 5 0 0 0
[pid=25962/tid=25967] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25967/stat : 25967 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830878716 10801778688 217125 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
[pid=25962/tid=25968] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25968/stat : 25968 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830878716 10801778688 217125 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 5 0 0 0
[pid=25962/tid=25969] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25969/stat : 25969 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830878716 10801778688 217125 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
[pid=25962/tid=25970] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25970/stat : 25970 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830878716 10801778688 217125 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
[pid=25962/tid=25971] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25971/stat : 25971 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830878716 10801778688 217125 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 5 0 0 0
[pid=25962/tid=25972] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25972/stat : 25972 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830878716 10801778688 217125 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 5 0 0 0
[pid=25962/tid=25973] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25973/stat : 25973 (java) S 25960 25962 22425 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 830878717 10801778688 217125 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606683136 0 0 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25974] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25974/stat : 25974 (java) S 25960 25962 22425 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830878718 10801778688 217125 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25975] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25975/stat : 25975 (java) S 25960 25962 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830878718 10801778688 217125 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25976] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25976/stat : 25976 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830878720 10801778688 217125 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606690225 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25977] ppid=25960 vsize=10548612 CPUtime=0.57 cores=1,3,5,7
/proc/25962/task/25977/stat : 25977 (java) S 25960 25962 22425 0 -1 4202560 2565 0 0 0 57 0 0 0 15 0 22 0 830878720 10801778688 217125 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
[pid=25962/tid=25978] ppid=25960 vsize=10548612 CPUtime=0.6 cores=1,3,5,7
/proc/25962/task/25978/stat : 25978 (java) S 25960 25962 22425 0 -1 4202560 3206 0 0 0 60 0 0 0 15 0 22 0 830878720 10801778688 217125 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
[pid=25962/tid=25979] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25979/stat : 25979 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830878720 10801778688 217125 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25980] ppid=25960 vsize=10548612 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25980/stat : 25980 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830878720 10801778688 217125 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606683136 0 4 0 16800975 18446604461599962432 0 0 -1 5 0 0 0
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 4.08 4.04 3.94 5/489 26006
/proc/meminfo: memFree=23656760/32950928 swapFree=34365992/67111528
[pid=25962] ppid=25960 vsize=10549304 CPUtime=1644.69 cores=1,3,5,7
/proc/25962/stat : 25962 (java) S 25960 25962 22425 0 -1 4202496 916809 0 1 0 164361 108 0 0 25 0 22 0 830878714 10802487296 912811 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25962/statm: 2637326 912811 2256 9 0 2628060 0
[pid=25962/tid=25963] ppid=25960 vsize=10549304 CPUtime=2.69 cores=1,3,5,7
/proc/25962/task/25963/stat : 25963 (java) S 25960 25962 22425 0 -1 4202560 192909 0 1 0 247 22 0 0 15 0 22 0 830878715 10802487296 912811 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606683136 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
[pid=25962/tid=25965] ppid=25960 vsize=10549304 CPUtime=0.4 cores=1,3,5,7
/proc/25962/task/25965/stat : 25965 (java) S 25960 25962 22425 0 -1 4202560 14655 0 0 0 38 2 0 0 15 0 22 0 830878716 10802487296 912811 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25966] ppid=25960 vsize=10549304 CPUtime=0.3 cores=1,3,5,7
/proc/25962/task/25966/stat : 25966 (java) S 25960 25962 22425 0 -1 4202560 14327 0 0 0 29 1 0 0 16 0 22 0 830878716 10802487296 912811 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 5 0 0 0
[pid=25962/tid=25967] ppid=25960 vsize=10549304 CPUtime=0.23 cores=1,3,5,7
/proc/25962/task/25967/stat : 25967 (java) S 25960 25962 22425 0 -1 4202560 8076 0 0 0 22 1 0 0 16 0 22 0 830878716 10802487296 912811 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25968] ppid=25960 vsize=10549304 CPUtime=0.26 cores=1,3,5,7
/proc/25962/task/25968/stat : 25968 (java) S 25960 25962 22425 0 -1 4202560 3725 0 0 0 26 0 0 0 16 0 22 0 830878716 10802487296 912811 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
[pid=25962/tid=25969] ppid=25960 vsize=10549304 CPUtime=0.42 cores=1,3,5,7
/proc/25962/task/25969/stat : 25969 (java) S 25960 25962 22425 0 -1 4202560 13684 0 0 0 41 1 0 0 15 0 22 0 830878716 10802487296 912811 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
[pid=25962/tid=25970] ppid=25960 vsize=10549304 CPUtime=0.54 cores=1,3,5,7
/proc/25962/task/25970/stat : 25970 (java) S 25960 25962 22425 0 -1 4202560 24243 0 0 0 52 2 0 0 15 0 22 0 830878716 10802487296 912811 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
[pid=25962/tid=25971] ppid=25960 vsize=10549304 CPUtime=0.39 cores=1,3,5,7
/proc/25962/task/25971/stat : 25971 (java) S 25960 25962 22425 0 -1 4202560 15565 0 0 0 38 1 0 0 15 0 22 0 830878716 10802487296 912811 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 5 0 0 0
[pid=25962/tid=25972] ppid=25960 vsize=10549304 CPUtime=0.5 cores=1,3,5,7
/proc/25962/task/25972/stat : 25972 (java) S 25960 25962 22425 0 -1 4202560 25326 0 0 0 47 3 0 0 16 0 22 0 830878716 10802487296 912811 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
[pid=25962/tid=25973] ppid=25960 vsize=10549304 CPUtime=0.04 cores=1,3,5,7
/proc/25962/task/25973/stat : 25973 (java) S 25960 25962 22425 0 -1 4202560 57 0 0 0 1 3 0 0 15 0 22 0 830878717 10802487296 912811 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606683136 0 0 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
[pid=25962/tid=25974] ppid=25960 vsize=10549304 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25974/stat : 25974 (java) S 25960 25962 22425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830878718 10802487296 912811 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25975] ppid=25960 vsize=10549304 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25975/stat : 25975 (java) S 25960 25962 22425 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830878718 10802487296 912811 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25976] ppid=25960 vsize=10549304 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25976/stat : 25976 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830878720 10802487296 912811 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606690225 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25977] ppid=25960 vsize=10549304 CPUtime=0.86 cores=1,3,5,7
/proc/25962/task/25977/stat : 25977 (java) S 25960 25962 22425 0 -1 4202560 2681 0 0 0 86 0 0 0 15 0 22 0 830878720 10802487296 912811 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
[pid=25962/tid=25978] ppid=25960 vsize=10549304 CPUtime=0.87 cores=1,3,5,7
/proc/25962/task/25978/stat : 25978 (java) S 25960 25962 22425 0 -1 4202560 3905 0 0 0 87 0 0 0 15 0 22 0 830878720 10802487296 912811 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
[pid=25962/tid=25979] ppid=25960 vsize=10549304 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25979/stat : 25979 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830878720 10802487296 912811 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25980] ppid=25960 vsize=10549304 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25980/stat : 25980 (java) S 25960 25962 22425 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830878720 10802487296 912811 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606683136 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
[pid=25962/tid=25981] ppid=25960 vsize=10549304 CPUtime=818.52 cores=1,3,5,7
/proc/25962/task/25981/stat : 25981 (java) R 25960 25962 22425 0 -1 4202560 11576 0 0 0 81850 2 0 0 25 0 22 0 830878984 10802487296 912811 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 46912505910768 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25962/tid=25982] ppid=25960 vsize=10549304 CPUtime=818.52 cores=1,3,5,7
/proc/25962/task/25982/stat : 25982 (java) R 25960 25962 22425 0 -1 4202560 584874 0 0 0 81789 63 0 0 25 0 22 0 830878984 10802487296 912811 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 46912505687931 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25962/tid=25983] ppid=25960 vsize=10549304 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25983/stat : 25983 (java) S 25960 25962 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830878989 10802487296 912811 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606683136 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
[pid=25962/tid=25984] ppid=25960 vsize=10549304 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25984/stat : 25984 (java) S 25960 25962 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830878990 10802487296 912811 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606683136 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.69
Current children cumulated vsize (KiB) 10549304
[startup+882.301 s]
/proc/loadavg: 4.07 4.05 3.95 5/489 26007
/proc/meminfo: memFree=23562872/32950928 swapFree=34365992/67111528
[pid=25962] ppid=25960 vsize=10549304 CPUtime=1764.72 cores=1,3,5,7
/proc/25962/stat : 25962 (java) S 25960 25962 22425 0 -1 4202496 918691 0 1 0 176363 109 0 0 25 0 22 0 830878714 10802487296 914673 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25962/statm: 2637326 914673 2256 9 0 2628060 0
[pid=25962/tid=25963] ppid=25960 vsize=10549304 CPUtime=2.69 cores=1,3,5,7
/proc/25962/task/25963/stat : 25963 (java) S 25960 25962 22425 0 -1 4202560 192909 0 1 0 247 22 0 0 15 0 22 0 830878715 10802487296 914673 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606683136 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
[pid=25962/tid=25965] ppid=25960 vsize=10549304 CPUtime=0.41 cores=1,3,5,7
/proc/25962/task/25965/stat : 25965 (java) S 25960 25962 22425 0 -1 4202560 14934 0 0 0 39 2 0 0 15 0 22 0 830878716 10802487296 914673 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
[pid=25962/tid=25966] ppid=25960 vsize=10549304 CPUtime=0.32 cores=1,3,5,7
/proc/25962/task/25966/stat : 25966 (java) S 25960 25962 22425 0 -1 4202560 14505 0 0 0 30 2 0 0 15 0 22 0 830878716 10802487296 914673 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25967] ppid=25960 vsize=10549304 CPUtime=0.24 cores=1,3,5,7
/proc/25962/task/25967/stat : 25967 (java) S 25960 25962 22425 0 -1 4202560 8216 0 0 0 23 1 0 0 16 0 22 0 830878716 10802487296 914673 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25968] ppid=25960 vsize=10549304 CPUtime=0.27 cores=1,3,5,7
/proc/25962/task/25968/stat : 25968 (java) S 25960 25962 22425 0 -1 4202560 3946 0 0 0 27 0 0 0 15 0 22 0 830878716 10802487296 914673 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
[pid=25962/tid=25969] ppid=25960 vsize=10549304 CPUtime=0.43 cores=1,3,5,7
/proc/25962/task/25969/stat : 25969 (java) S 25960 25962 22425 0 -1 4202560 13875 0 0 0 42 1 0 0 16 0 22 0 830878716 10802487296 914673 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
[pid=25962/tid=25970] ppid=25960 vsize=10549304 CPUtime=0.55 cores=1,3,5,7
/proc/25962/task/25970/stat : 25970 (java) S 25960 25962 22425 0 -1 4202560 24483 0 0 0 53 2 0 0 15 0 22 0 830878716 10802487296 914673 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25971] ppid=25960 vsize=10549304 CPUtime=0.41 cores=1,3,5,7
/proc/25962/task/25971/stat : 25971 (java) S 25960 25962 22425 0 -1 4202560 15934 0 0 0 40 1 0 0 16 0 22 0 830878716 10802487296 914673 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 5 0 0 0
[pid=25962/tid=25972] ppid=25960 vsize=10549304 CPUtime=0.51 cores=1,3,5,7
/proc/25962/task/25972/stat : 25972 (java) S 25960 25962 22425 0 -1 4202560 25573 0 0 0 48 3 0 0 15 0 22 0 830878716 10802487296 914673 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
[pid=25962/tid=25973] ppid=25960 vsize=10549304 CPUtime=0.04 cores=1,3,5,7
/proc/25962/task/25973/stat : 25973 (java) S 25960 25962 22425 0 -1 4202560 59 0 0 0 1 3 0 0 15 0 22 0 830878717 10802487296 914673 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606683136 0 0 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25974] ppid=25960 vsize=10549304 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25974/stat : 25974 (java) S 25960 25962 22425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830878718 10802487296 914673 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25975] ppid=25960 vsize=10549304 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25975/stat : 25975 (java) S 25960 25962 22425 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830878718 10802487296 914673 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25976] ppid=25960 vsize=10549304 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25976/stat : 25976 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830878720 10802487296 914673 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606690225 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25977] ppid=25960 vsize=10549304 CPUtime=0.86 cores=1,3,5,7
/proc/25962/task/25977/stat : 25977 (java) S 25960 25962 22425 0 -1 4202560 2681 0 0 0 86 0 0 0 15 0 22 0 830878720 10802487296 914673 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
[pid=25962/tid=25978] ppid=25960 vsize=10549304 CPUtime=0.87 cores=1,3,5,7
/proc/25962/task/25978/stat : 25978 (java) S 25960 25962 22425 0 -1 4202560 3905 0 0 0 87 0 0 0 15 0 22 0 830878720 10802487296 914673 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
[pid=25962/tid=25979] ppid=25960 vsize=10549304 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25979/stat : 25979 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830878720 10802487296 914673 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25980] ppid=25960 vsize=10549304 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25980/stat : 25980 (java) S 25960 25962 22425 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830878720 10802487296 914673 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606683136 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
[pid=25962/tid=25981] ppid=25960 vsize=10549304 CPUtime=878.49 cores=1,3,5,7
/proc/25962/task/25981/stat : 25981 (java) R 25960 25962 22425 0 -1 4202560 11583 0 0 0 87847 2 0 0 25 0 22 0 830878984 10802487296 914673 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 46912505777717 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25962/tid=25982] ppid=25960 vsize=10549304 CPUtime=878.48 cores=1,3,5,7
/proc/25962/task/25982/stat : 25982 (java) R 25960 25962 22425 0 -1 4202560 584880 0 0 0 87785 63 0 0 25 0 22 0 830878984 10802487296 914673 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 46912505781200 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25962/tid=25983] ppid=25960 vsize=10549304 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25983/stat : 25983 (java) S 25960 25962 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830878989 10802487296 914673 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606683136 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
[pid=25962/tid=25984] ppid=25960 vsize=10549304 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25984/stat : 25984 (java) S 25960 25962 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830878990 10802487296 914673 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606683136 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.72
Current children cumulated vsize (KiB) 10549304
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 3.97 4.03 3.94 5/489 26071
/proc/meminfo: memFree=26588268/32950928 swapFree=34365992/67111528
[pid=25962] ppid=25960 vsize=10549304 CPUtime=1800.19 cores=1,3,5,7
/proc/25962/stat : 25962 (java) S 25960 25962 22425 0 -1 4202496 921450 0 1 0 179910 109 0 0 25 0 22 0 830878714 10802487296 917382 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25962/statm: 2637326 917382 2256 9 0 2628060 0
[pid=25962/tid=25963] ppid=25960 vsize=10549304 CPUtime=2.69 cores=1,3,5,7
/proc/25962/task/25963/stat : 25963 (java) S 25960 25962 22425 0 -1 4202560 192909 0 1 0 247 22 0 0 15 0 22 0 830878715 10802487296 917382 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606683136 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
[pid=25962/tid=25965] ppid=25960 vsize=10549304 CPUtime=0.42 cores=1,3,5,7
/proc/25962/task/25965/stat : 25965 (java) S 25960 25962 22425 0 -1 4202560 15020 0 0 0 40 2 0 0 16 0 22 0 830878716 10802487296 917382 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
[pid=25962/tid=25966] ppid=25960 vsize=10549304 CPUtime=0.32 cores=1,3,5,7
/proc/25962/task/25966/stat : 25966 (java) S 25960 25962 22425 0 -1 4202560 14505 0 0 0 30 2 0 0 15 0 22 0 830878716 10802487296 917382 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25967] ppid=25960 vsize=10549304 CPUtime=0.24 cores=1,3,5,7
/proc/25962/task/25967/stat : 25967 (java) S 25960 25962 22425 0 -1 4202560 8291 0 0 0 23 1 0 0 15 0 22 0 830878716 10802487296 917382 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
[pid=25962/tid=25968] ppid=25960 vsize=10549304 CPUtime=0.29 cores=1,3,5,7
/proc/25962/task/25968/stat : 25968 (java) S 25960 25962 22425 0 -1 4202560 4334 0 0 0 29 0 0 0 16 0 22 0 830878716 10802487296 917382 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
[pid=25962/tid=25969] ppid=25960 vsize=10549304 CPUtime=0.44 cores=1,3,5,7
/proc/25962/task/25969/stat : 25969 (java) S 25960 25962 22425 0 -1 4202560 14437 0 0 0 43 1 0 0 16 0 22 0 830878716 10802487296 917382 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25970] ppid=25960 vsize=10549304 CPUtime=0.57 cores=1,3,5,7
/proc/25962/task/25970/stat : 25970 (java) S 25960 25962 22425 0 -1 4202560 24855 0 0 0 55 2 0 0 15 0 22 0 830878716 10802487296 917382 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25971] ppid=25960 vsize=10549304 CPUtime=0.42 cores=1,3,5,7
/proc/25962/task/25971/stat : 25971 (java) S 25960 25962 22425 0 -1 4202560 17202 0 0 0 41 1 0 0 16 0 22 0 830878716 10802487296 917382 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 5 0 0 0
[pid=25962/tid=25972] ppid=25960 vsize=10549304 CPUtime=0.51 cores=1,3,5,7
/proc/25962/task/25972/stat : 25972 (java) S 25960 25962 22425 0 -1 4202560 25573 0 0 0 48 3 0 0 15 0 22 0 830878716 10802487296 917382 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
[pid=25962/tid=25973] ppid=25960 vsize=10549304 CPUtime=0.05 cores=1,3,5,7
/proc/25962/task/25973/stat : 25973 (java) S 25960 25962 22425 0 -1 4202560 61 0 0 0 2 3 0 0 15 0 22 0 830878717 10802487296 917382 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606683136 0 0 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25974] ppid=25960 vsize=10549304 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25974/stat : 25974 (java) S 25960 25962 22425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830878718 10802487296 917382 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25975] ppid=25960 vsize=10549304 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25975/stat : 25975 (java) S 25960 25962 22425 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830878718 10802487296 917382 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25976] ppid=25960 vsize=10549304 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25976/stat : 25976 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830878720 10802487296 917382 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606690225 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25977] ppid=25960 vsize=10549304 CPUtime=0.86 cores=1,3,5,7
/proc/25962/task/25977/stat : 25977 (java) S 25960 25962 22425 0 -1 4202560 2681 0 0 0 86 0 0 0 15 0 22 0 830878720 10802487296 917382 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 7 0 0 0
[pid=25962/tid=25978] ppid=25960 vsize=10549304 CPUtime=0.91 cores=1,3,5,7
/proc/25962/task/25978/stat : 25978 (java) S 25960 25962 22425 0 -1 4202560 3906 0 0 0 91 0 0 0 16 0 22 0 830878720 10802487296 917382 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
[pid=25962/tid=25979] ppid=25960 vsize=10549304 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25979/stat : 25979 (java) S 25960 25962 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830878720 10802487296 917382 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606682521 0 4 0 16800975 18446604461599962432 0 0 -1 3 0 0 0
[pid=25962/tid=25980] ppid=25960 vsize=10549304 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25980/stat : 25980 (java) S 25960 25962 22425 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830878720 10802487296 917382 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606683136 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
[pid=25962/tid=25981] ppid=25960 vsize=10549304 CPUtime=896.18 cores=1,3,5,7
/proc/25962/task/25981/stat : 25981 (java) R 25960 25962 22425 0 -1 4202560 11583 0 0 0 89616 2 0 0 25 0 22 0 830878984 10802487296 917382 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 46912505999424 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25962/tid=25982] ppid=25960 vsize=10549304 CPUtime=896.16 cores=1,3,5,7
/proc/25962/task/25982/stat : 25982 (java) R 25960 25962 22425 0 -1 4202560 584883 0 0 0 89553 63 0 0 25 0 22 0 830878984 10802487296 917382 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 46912505781333 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25962/tid=25983] ppid=25960 vsize=10549304 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25983/stat : 25983 (java) S 25960 25962 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830878989 10802487296 917382 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606683136 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
[pid=25962/tid=25984] ppid=25960 vsize=10549304 CPUtime=0 cores=1,3,5,7
/proc/25962/task/25984/stat : 25984 (java) S 25960 25962 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830878990 10802487296 917382 33554432000 1073741824 1073778376 140734611287760 18446744073709551615 235606683136 0 4 0 16800975 18446604461599962432 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 10549304
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.124 s]
/proc/loadavg: 3.97 4.03 3.94 5/489 26071
/proc/meminfo: memFree=26588268/32950928 swapFree=34365992/67111528
[pid=25962] ppid=25960 vsize=0 CPUtime=1800.33 cores=1,3,5,7
/proc/25962/stat : 25962 (java) Z 25960 25962 22425 0 -1 4203548 921596 0 1 0 179914 119 0 0 17 0 2 0 830878714 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25962/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 900.159
CPU time (s): 1800.37
CPU user time (s): 1799.14
CPU system time (s): 1.22481
CPU usage (%): 200.005
Max. virtual memory (cumulated for all children) (KiB): 10549304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.14
system time used= 1.22481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 921596
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= 26259
involuntary context switches= 15008
runsolver used 4.12737 second user time and 9.80751 second system time
The end