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-3458611-1307151066/watcher-3458611-1307151066 -o /tmp/evaluation-result-3458611-1307151066/solver-3458611-1307151066 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458611-1307151066.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: 1.88 2.00 1.97 1/475 25960
/proc/meminfo: memFree=21416124/32951124 swapFree=67057928/67111528
[pid=25960] ppid=25958 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/25960/stat : 25960 (java) S 25958 25960 23895 0 -1 4202496 4055 0 1 0 0 0 0 0 25 0 2 0 807521921 13850947584 3758 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/25960/statm: 3381579 3771 917 9 0 3372735 0
[pid=25960/tid=25961] ppid=25958 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25961/stat : 25961 (java) R 25958 25960 23895 0 -1 4202560 4953 0 1 0 0 0 0 0 25 0 2 0 807521922 13850947584 5768 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0309631 s]
/proc/loadavg: 1.88 2.00 1.97 1/475 25960
/proc/meminfo: memFree=21416124/32951124 swapFree=67057928/67111528
[pid=25960] ppid=25958 vsize=13536868 CPUtime=0.02 cores=0,2,4,6
/proc/25960/stat : 25960 (java) S 25958 25960 23895 0 -1 4202496 12834 0 1 0 1 1 0 0 25 0 10 0 807521921 13861752832 12534 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/25960/statm: 3384217 12542 1253 9 0 3374965 0
[pid=25960/tid=25961] ppid=25958 vsize=13536868 CPUtime=0.01 cores=0,2,4,6
/proc/25960/task/25961/stat : 25961 (java) R 25958 25960 23895 0 -1 4202560 11727 0 1 0 1 0 0 0 25 0 10 0 807521922 13861752832 12547 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 46912504011056 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13536868
[startup+0.100926 s]
/proc/loadavg: 1.88 2.00 1.97 1/475 25960
/proc/meminfo: memFree=21416124/32951124 swapFree=67057928/67111528
[pid=25960] ppid=25958 vsize=13622132 CPUtime=0.1 cores=0,2,4,6
/proc/25960/stat : 25960 (java) S 25958 25960 23895 0 -1 4202496 15519 0 1 0 9 1 0 0 25 0 18 0 807521921 13949063168 15190 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25960/statm: 3405533 15191 2093 9 0 3396267 0
[pid=25960/tid=25961] ppid=25958 vsize=13622132 CPUtime=0.08 cores=0,2,4,6
/proc/25960/task/25961/stat : 25961 (java) R 25958 25960 23895 0 -1 4202560 13594 0 1 0 7 1 0 0 18 0 18 0 807521922 13949063168 15192 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254261277729 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622132
[startup+0.300931 s]
/proc/loadavg: 1.88 2.00 1.97 1/475 25960
/proc/meminfo: memFree=21416124/32951124 swapFree=67057928/67111528
[pid=25960] ppid=25958 vsize=13623728 CPUtime=0.49 cores=0,2,4,6
/proc/25960/stat : 25960 (java) S 25958 25960 23895 0 -1 4202496 21450 0 1 0 47 2 0 0 25 0 18 0 807521921 13950697472 20734 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25960/statm: 3405932 20734 2200 9 0 3396666 0
[pid=25960/tid=25961] ppid=25958 vsize=13623728 CPUtime=0.29 cores=0,2,4,6
/proc/25960/task/25961/stat : 25961 (java) R 25958 25960 23895 0 -1 4202560 18327 0 1 0 27 2 0 0 18 0 18 0 807521922 13950697472 20734 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273443275 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 13623728
[startup+0.700801 s]
/proc/loadavg: 1.88 2.00 1.97 1/475 25960
/proc/meminfo: memFree=21416124/32951124 swapFree=67057928/67111528
[pid=25960] ppid=25958 vsize=13631516 CPUtime=1.16 cores=0,2,4,6
/proc/25960/stat : 25960 (java) S 25958 25960 23895 0 -1 4202496 54310 0 1 0 109 7 0 0 25 0 18 0 807521921 13958672384 51727 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25960/statm: 3407879 51728 2207 9 0 3398613 0
[pid=25960/tid=25961] ppid=25958 vsize=13631516 CPUtime=0.68 cores=0,2,4,6
/proc/25960/task/25961/stat : 25961 (java) R 25958 25960 23895 0 -1 4202560 46795 0 1 0 62 6 0 0 18 0 18 0 807521922 13958672384 51731 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 46912505619647 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 13631516
[startup+1.50071 s]
/proc/loadavg: 1.88 2.00 1.97 3/493 26000
/proc/meminfo: memFree=21195596/32951124 swapFree=67057928/67111528
[pid=25960] ppid=25958 vsize=13632544 CPUtime=2.41 cores=0,2,4,6
/proc/25960/stat : 25960 (java) S 25958 25960 23895 0 -1 4202496 58207 0 1 0 233 8 0 0 25 0 19 0 807521921 13959725056 55050 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25960/statm: 3408136 55050 2226 9 0 3398870 0
[pid=25960/tid=25961] ppid=25958 vsize=13632544 CPUtime=1.48 cores=0,2,4,6
/proc/25960/task/25961/stat : 25961 (java) R 25958 25960 23895 0 -1 4202560 49900 0 1 0 141 7 0 0 19 0 19 0 807521922 13959725056 55050 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 46912505770844 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25960/tid=25963] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25963/stat : 25963 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521924 13959725056 55050 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25964] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25964/stat : 25964 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521924 13959725056 55050 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25965] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25965/stat : 25965 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521924 13959725056 55050 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25966] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25966/stat : 25966 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521924 13959725056 55050 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25967] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25967/stat : 25967 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521924 13959725056 55050 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25968] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25968/stat : 25968 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521924 13959725056 55050 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25969] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25969/stat : 25969 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521924 13959725056 55050 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25970] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25970/stat : 25970 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521924 13959725056 55050 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25971] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25971/stat : 25971 (java) S 25958 25960 23895 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 807521925 13959725056 55050 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273433088 0 0 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25972] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25972/stat : 25972 (java) S 25958 25960 23895 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807521925 13959725056 55050 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25973] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25973/stat : 25973 (java) S 25958 25960 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807521925 13959725056 55050 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25974] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25974/stat : 25974 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521927 13959725056 55050 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273440177 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25975] ppid=25958 vsize=13632544 CPUtime=0.41 cores=0,2,4,6
/proc/25960/task/25975/stat : 25975 (java) S 25958 25960 23895 0 -1 4202560 2910 0 0 0 41 0 0 0 15 0 19 0 807521927 13959725056 55050 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 0 0 0 0
[pid=25960/tid=25976] ppid=25958 vsize=13632544 CPUtime=0.5 cores=0,2,4,6
/proc/25960/task/25976/stat : 25976 (java) S 25958 25960 23895 0 -1 4202560 4239 0 0 0 50 0 0 0 15 0 19 0 807521927 13959725056 55050 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25977] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25977/stat : 25977 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521927 13959725056 55050 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25978] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25978/stat : 25978 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807521927 13959725056 55050 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273433088 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
[pid=25960/tid=26000] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/26000/stat : 26000 (java) S 25958 25960 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807522007 13959725056 55050 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273433088 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 13632544
[startup+3.10144 s]
/proc/loadavg: 1.88 2.00 1.97 3/493 26000
/proc/meminfo: memFree=21159268/32951124 swapFree=67057928/67111528
[pid=25960] ppid=25958 vsize=13632544 CPUtime=4.02 cores=0,2,4,6
/proc/25960/stat : 25960 (java) S 25958 25960 23895 0 -1 4202496 58298 0 1 0 393 9 0 0 25 0 19 0 807521921 13959725056 55140 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25960/statm: 3408136 55140 2226 9 0 3398870 0
[pid=25960/tid=25961] ppid=25958 vsize=13632544 CPUtime=3.08 cores=0,2,4,6
/proc/25960/task/25961/stat : 25961 (java) R 25958 25960 23895 0 -1 4202560 49991 0 1 0 300 8 0 0 25 0 19 0 807521922 13959725056 55140 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 46912505764216 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25960/tid=25963] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25963/stat : 25963 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521924 13959725056 55140 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25964] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25964/stat : 25964 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521924 13959725056 55140 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25965] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25965/stat : 25965 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521924 13959725056 55140 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25966] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25966/stat : 25966 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521924 13959725056 55140 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25967] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25967/stat : 25967 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521924 13959725056 55140 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25968] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25968/stat : 25968 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521924 13959725056 55140 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25969] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25969/stat : 25969 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521924 13959725056 55140 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25970] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25970/stat : 25970 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521924 13959725056 55140 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25971] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25971/stat : 25971 (java) S 25958 25960 23895 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 807521925 13959725056 55140 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273433088 0 0 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25972] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25972/stat : 25972 (java) S 25958 25960 23895 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807521925 13959725056 55140 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25973] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25973/stat : 25973 (java) S 25958 25960 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807521925 13959725056 55140 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25974] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25974/stat : 25974 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521927 13959725056 55140 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273440177 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25975] ppid=25958 vsize=13632544 CPUtime=0.41 cores=0,2,4,6
/proc/25960/task/25975/stat : 25975 (java) S 25958 25960 23895 0 -1 4202560 2910 0 0 0 41 0 0 0 15 0 19 0 807521927 13959725056 55140 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 0 0 0 0
[pid=25960/tid=25976] ppid=25958 vsize=13632544 CPUtime=0.51 cores=0,2,4,6
/proc/25960/task/25976/stat : 25976 (java) S 25958 25960 23895 0 -1 4202560 4239 0 0 0 51 0 0 0 15 0 19 0 807521927 13959725056 55140 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25977] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25977/stat : 25977 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521927 13959725056 55140 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25978] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25978/stat : 25978 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807521927 13959725056 55140 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273433088 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
[pid=25960/tid=26000] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/26000/stat : 26000 (java) S 25958 25960 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807522007 13959725056 55140 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273433088 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 13632544
[startup+6.30087 s]
/proc/loadavg: 1.89 2.00 1.97 3/513 26023
/proc/meminfo: memFree=20151064/32951124 swapFree=67057928/67111528
[pid=25960] ppid=25958 vsize=13632544 CPUtime=7.23 cores=0,2,4,6
/proc/25960/stat : 25960 (java) S 25958 25960 23895 0 -1 4202496 58494 0 1 0 714 9 0 0 25 0 19 0 807521921 13959725056 55335 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25960/statm: 3408136 55335 2227 9 0 3398870 0
[pid=25960/tid=25961] ppid=25958 vsize=13632544 CPUtime=6.28 cores=0,2,4,6
/proc/25960/task/25961/stat : 25961 (java) R 25958 25960 23895 0 -1 4202560 50186 0 1 0 620 8 0 0 25 0 19 0 807521922 13959725056 55335 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 46912505764243 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25960/tid=25963] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25963/stat : 25963 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521924 13959725056 55335 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25964] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25964/stat : 25964 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521924 13959725056 55335 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25965] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25965/stat : 25965 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521924 13959725056 55335 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25966] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25966/stat : 25966 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521924 13959725056 55335 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25967] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25967/stat : 25967 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521924 13959725056 55335 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25968] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25968/stat : 25968 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521924 13959725056 55335 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25969] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25969/stat : 25969 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521924 13959725056 55335 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25970] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25970/stat : 25970 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521924 13959725056 55335 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25971] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25971/stat : 25971 (java) S 25958 25960 23895 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 807521925 13959725056 55335 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273433088 0 0 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25972] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25972/stat : 25972 (java) S 25958 25960 23895 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807521925 13959725056 55335 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25973] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25973/stat : 25973 (java) S 25958 25960 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807521925 13959725056 55335 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25974] ppid=25958 vsize=13632544 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25974/stat : 25974 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521927 13959725056 55335 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273440177 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25975] ppid=25958 vsize=13632544 CPUtime=0.41 cores=0,2,4,6
/proc/25960/task/25975/stat : 25975 (java) S 25958 25960 23895 0 -1 4202560 2910 0 0 0 41 0 0 0 15 0 19 0 807521927 13959725056 55335 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 0 0 0 0
[pid=25960/tid=25976] ppid=25958 vsize=13632544 CPUtime=0.51 cores=0,2,4,6
/proc/25960/task/25976/stat : 25976 (java) S 25958 25960 23895 0 -1 4202560 4239 0 0 0 51 0 0 0 15 0 19 0 807521927 13959725056 55335 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=25960/tid=25968] ppid=25958 vsize=13634928 CPUtime=0.12 cores=0,2,4,6
/proc/25960/task/25968/stat : 25968 (java) S 25958 25960 23895 0 -1 4202560 851 0 0 0 12 0 0 0 15 0 19 0 807521924 13962166272 65375 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 0 0 0 0
[pid=25960/tid=25969] ppid=25958 vsize=13634928 CPUtime=0.13 cores=0,2,4,6
/proc/25960/task/25969/stat : 25969 (java) S 25958 25960 23895 0 -1 4202560 905 0 0 0 13 0 0 0 15 0 19 0 807521924 13962166272 65375 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 0 0 0 0
[pid=25960/tid=25970] ppid=25958 vsize=13634928 CPUtime=0.14 cores=0,2,4,6
/proc/25960/task/25970/stat : 25970 (java) S 25958 25960 23895 0 -1 4202560 1132 0 0 0 14 0 0 0 15 0 19 0 807521924 13962166272 65375 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
[pid=25960/tid=25971] ppid=25958 vsize=13634928 CPUtime=16.03 cores=0,2,4,6
/proc/25960/task/25971/stat : 25971 (java) S 25958 25960 23895 0 -1 4202560 5644 0 0 0 1597 6 0 0 15 0 19 0 807521925 13962166272 65375 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273433088 0 0 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25972] ppid=25958 vsize=13634928 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25972/stat : 25972 (java) S 25958 25960 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807521925 13962166272 65375 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25973] ppid=25958 vsize=13634928 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25973/stat : 25973 (java) S 25958 25960 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807521925 13962166272 65375 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25974] ppid=25958 vsize=13634928 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25974/stat : 25974 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521927 13962166272 65375 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273440177 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25975] ppid=25958 vsize=13634928 CPUtime=0.47 cores=0,2,4,6
/proc/25960/task/25975/stat : 25975 (java) S 25958 25960 23895 0 -1 4202560 3160 0 0 0 47 0 0 0 15 0 19 0 807521927 13962166272 65375 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 0 0 0 0
[pid=25960/tid=25976] ppid=25958 vsize=13634928 CPUtime=0.96 cores=0,2,4,6
/proc/25960/task/25976/stat : 25976 (java) S 25958 25960 23895 0 -1 4202560 8141 0 0 0 96 0 0 0 15 0 19 0 807521927 13962166272 65375 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
[pid=25960/tid=25977] ppid=25958 vsize=13634928 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25977/stat : 25977 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521927 13962166272 65375 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25978] ppid=25958 vsize=13634928 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25978/stat : 25978 (java) S 25958 25960 23895 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 807521927 13962166272 65375 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273433088 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
[pid=25960/tid=26000] ppid=25958 vsize=13634928 CPUtime=0 cores=0,2,4,6
/proc/25960/task/26000/stat : 26000 (java) S 25958 25960 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807522007 13962166272 65375 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273433088 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1724.21
Current children cumulated vsize (KiB) 13634928
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/514 26071
/proc/meminfo: memFree=18545832/32951124 swapFree=67057928/67111528
[pid=25960] ppid=25958 vsize=13634928 CPUtime=1784.22 cores=0,2,4,6
/proc/25960/stat : 25960 (java) S 25958 25960 23895 0 -1 4202496 72870 0 1 0 178401 21 0 0 25 0 19 0 807521921 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25960/statm: 3408732 65376 2254 9 0 3399466 0
[pid=25960/tid=25961] ppid=25958 vsize=13634928 CPUtime=1765.03 cores=0,2,4,6
/proc/25960/task/25961/stat : 25961 (java) R 25958 25960 23895 0 -1 4202560 50622 0 1 0 176493 10 0 0 23 0 19 0 807521922 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 46912505903219 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25960/tid=25963] ppid=25958 vsize=13634928 CPUtime=0.14 cores=0,2,4,6
/proc/25960/task/25963/stat : 25963 (java) S 25958 25960 23895 0 -1 4202560 28 0 0 0 14 0 0 0 15 0 19 0 807521924 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25964] ppid=25958 vsize=13634928 CPUtime=0.14 cores=0,2,4,6
/proc/25960/task/25964/stat : 25964 (java) S 25958 25960 23895 0 -1 4202560 25 0 0 0 14 0 0 0 15 0 19 0 807521924 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
[pid=25960/tid=25965] ppid=25958 vsize=13634928 CPUtime=0.11 cores=0,2,4,6
/proc/25960/task/25965/stat : 25965 (java) S 25958 25960 23895 0 -1 4202560 15 0 0 0 11 0 0 0 15 0 19 0 807521924 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
[pid=25960/tid=25966] ppid=25958 vsize=13634928 CPUtime=0.13 cores=0,2,4,6
/proc/25960/task/25966/stat : 25966 (java) S 25958 25960 23895 0 -1 4202560 15 0 0 0 13 0 0 0 15 0 19 0 807521924 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
[pid=25960/tid=25967] ppid=25958 vsize=13634928 CPUtime=0.13 cores=0,2,4,6
/proc/25960/task/25967/stat : 25967 (java) S 25958 25960 23895 0 -1 4202560 1078 0 0 0 13 0 0 0 15 0 19 0 807521924 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
[pid=25960/tid=25968] ppid=25958 vsize=13634928 CPUtime=0.13 cores=0,2,4,6
/proc/25960/task/25968/stat : 25968 (java) S 25958 25960 23895 0 -1 4202560 851 0 0 0 13 0 0 0 16 0 19 0 807521924 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 0 0 0 0
[pid=25960/tid=25969] ppid=25958 vsize=13634928 CPUtime=0.13 cores=0,2,4,6
/proc/25960/task/25969/stat : 25969 (java) S 25958 25960 23895 0 -1 4202560 905 0 0 0 13 0 0 0 15 0 19 0 807521924 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25970] ppid=25958 vsize=13634928 CPUtime=0.15 cores=0,2,4,6
/proc/25960/task/25970/stat : 25970 (java) S 25958 25960 23895 0 -1 4202560 1132 0 0 0 15 0 0 0 15 0 19 0 807521924 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25971] ppid=25958 vsize=13634928 CPUtime=16.6 cores=0,2,4,6
/proc/25960/task/25971/stat : 25971 (java) S 25958 25960 23895 0 -1 4202560 5647 0 0 0 1653 7 0 0 15 0 19 0 807521925 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273433088 0 0 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25972] ppid=25958 vsize=13634928 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25972/stat : 25972 (java) S 25958 25960 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807521925 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25973] ppid=25958 vsize=13634928 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25973/stat : 25973 (java) S 25958 25960 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807521925 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25974] ppid=25958 vsize=13634928 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25974/stat : 25974 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521927 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273440177 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25975] ppid=25958 vsize=13634928 CPUtime=0.47 cores=0,2,4,6
/proc/25960/task/25975/stat : 25975 (java) S 25958 25960 23895 0 -1 4202560 3160 0 0 0 47 0 0 0 15 0 19 0 807521927 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 0 0 0 0
[pid=25960/tid=25976] ppid=25958 vsize=13634928 CPUtime=0.96 cores=0,2,4,6
/proc/25960/task/25976/stat : 25976 (java) S 25958 25960 23895 0 -1 4202560 8141 0 0 0 96 0 0 0 15 0 19 0 807521927 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
[pid=25960/tid=25977] ppid=25958 vsize=13634928 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25977/stat : 25977 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521927 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25978] ppid=25958 vsize=13634928 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25978/stat : 25978 (java) S 25958 25960 23895 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 807521927 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273433088 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
[pid=25960/tid=26000] ppid=25958 vsize=13634928 CPUtime=0 cores=0,2,4,6
/proc/25960/task/26000/stat : 26000 (java) S 25958 25960 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807522007 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273433088 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1784.22
Current children cumulated vsize (KiB) 13634928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/514 26081
/proc/meminfo: memFree=18544808/32951124 swapFree=67057928/67111528
[pid=25960] ppid=25958 vsize=13634928 CPUtime=1800.04 cores=0,2,4,6
/proc/25960/stat : 25960 (java) S 25958 25960 23895 0 -1 4202496 72878 0 1 0 179983 21 0 0 25 0 19 0 807521921 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25960/statm: 3408732 65376 2254 9 0 3399466 0
[pid=25960/tid=25961] ppid=25958 vsize=13634928 CPUtime=1780.68 cores=0,2,4,6
/proc/25960/task/25961/stat : 25961 (java) R 25958 25960 23895 0 -1 4202560 50626 0 1 0 178058 10 0 0 25 0 19 0 807521922 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 46912505917802 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25960/tid=25963] ppid=25958 vsize=13634928 CPUtime=0.14 cores=0,2,4,6
/proc/25960/task/25963/stat : 25963 (java) S 25958 25960 23895 0 -1 4202560 28 0 0 0 14 0 0 0 16 0 19 0 807521924 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
[pid=25960/tid=25964] ppid=25958 vsize=13634928 CPUtime=0.14 cores=0,2,4,6
/proc/25960/task/25964/stat : 25964 (java) S 25958 25960 23895 0 -1 4202560 25 0 0 0 14 0 0 0 15 0 19 0 807521924 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 0 0 0 0
[pid=25960/tid=25965] ppid=25958 vsize=13634928 CPUtime=0.11 cores=0,2,4,6
/proc/25960/task/25965/stat : 25965 (java) S 25958 25960 23895 0 -1 4202560 15 0 0 0 11 0 0 0 15 0 19 0 807521924 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
[pid=25960/tid=25966] ppid=25958 vsize=13634928 CPUtime=0.13 cores=0,2,4,6
/proc/25960/task/25966/stat : 25966 (java) S 25958 25960 23895 0 -1 4202560 15 0 0 0 13 0 0 0 15 0 19 0 807521924 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25967] ppid=25958 vsize=13634928 CPUtime=0.13 cores=0,2,4,6
/proc/25960/task/25967/stat : 25967 (java) S 25958 25960 23895 0 -1 4202560 1078 0 0 0 13 0 0 0 15 0 19 0 807521924 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 0 0 0 0
[pid=25960/tid=25968] ppid=25958 vsize=13634928 CPUtime=0.13 cores=0,2,4,6
/proc/25960/task/25968/stat : 25968 (java) S 25958 25960 23895 0 -1 4202560 851 0 0 0 13 0 0 0 15 0 19 0 807521924 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 0 0 0 0
[pid=25960/tid=25969] ppid=25958 vsize=13634928 CPUtime=0.13 cores=0,2,4,6
/proc/25960/task/25969/stat : 25969 (java) S 25958 25960 23895 0 -1 4202560 905 0 0 0 13 0 0 0 16 0 19 0 807521924 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25970] ppid=25958 vsize=13634928 CPUtime=0.15 cores=0,2,4,6
/proc/25960/task/25970/stat : 25970 (java) S 25958 25960 23895 0 -1 4202560 1132 0 0 0 15 0 0 0 15 0 19 0 807521924 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25971] ppid=25958 vsize=13634928 CPUtime=16.76 cores=0,2,4,6
/proc/25960/task/25971/stat : 25971 (java) S 25958 25960 23895 0 -1 4202560 5649 0 0 0 1669 7 0 0 15 0 19 0 807521925 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273433088 0 0 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25972] ppid=25958 vsize=13634928 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25972/stat : 25972 (java) S 25958 25960 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807521925 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25973] ppid=25958 vsize=13634928 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25973/stat : 25973 (java) S 25958 25960 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807521925 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25974] ppid=25958 vsize=13634928 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25974/stat : 25974 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521927 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273440177 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25975] ppid=25958 vsize=13634928 CPUtime=0.47 cores=0,2,4,6
/proc/25960/task/25975/stat : 25975 (java) S 25958 25960 23895 0 -1 4202560 3160 0 0 0 47 0 0 0 15 0 19 0 807521927 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 0 0 0 0
[pid=25960/tid=25976] ppid=25958 vsize=13634928 CPUtime=0.96 cores=0,2,4,6
/proc/25960/task/25976/stat : 25976 (java) S 25958 25960 23895 0 -1 4202560 8141 0 0 0 96 0 0 0 15 0 19 0 807521927 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
[pid=25960/tid=25977] ppid=25958 vsize=13634928 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25977/stat : 25977 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521927 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25978] ppid=25958 vsize=13634928 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25978/stat : 25978 (java) S 25958 25960 23895 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 807521927 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273433088 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
[pid=25960/tid=26000] ppid=25958 vsize=13634928 CPUtime=0 cores=0,2,4,6
/proc/25960/task/26000/stat : 26000 (java) S 25958 25960 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807522007 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273433088 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13634928
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/514 26081
/proc/meminfo: memFree=18544808/32951124 swapFree=67057928/67111528
[pid=25960] ppid=25958 vsize=13634928 CPUtime=1800.04 cores=0,2,4,6
/proc/25960/stat : 25960 (java) S 25958 25960 23895 0 -1 4202496 72878 0 1 0 179983 21 0 0 25 0 19 0 807521921 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25960/statm: 3408732 65376 2254 9 0 3399466 0
[pid=25960/tid=25961] ppid=25958 vsize=13634928 CPUtime=1780.68 cores=0,2,4,6
/proc/25960/task/25961/stat : 25961 (java) R 25958 25960 23895 0 -1 4202560 50626 0 1 0 178058 10 0 0 25 0 19 0 807521922 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 46912505917802 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25960/tid=25963] ppid=25958 vsize=13634928 CPUtime=0.14 cores=0,2,4,6
/proc/25960/task/25963/stat : 25963 (java) S 25958 25960 23895 0 -1 4202560 28 0 0 0 14 0 0 0 16 0 19 0 807521924 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
[pid=25960/tid=25964] ppid=25958 vsize=13634928 CPUtime=0.14 cores=0,2,4,6
/proc/25960/task/25964/stat : 25964 (java) S 25958 25960 23895 0 -1 4202560 25 0 0 0 14 0 0 0 15 0 19 0 807521924 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 0 0 0 0
[pid=25960/tid=25965] ppid=25958 vsize=13634928 CPUtime=0.11 cores=0,2,4,6
/proc/25960/task/25965/stat : 25965 (java) S 25958 25960 23895 0 -1 4202560 15 0 0 0 11 0 0 0 15 0 19 0 807521924 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
[pid=25960/tid=25966] ppid=25958 vsize=13634928 CPUtime=0.13 cores=0,2,4,6
/proc/25960/task/25966/stat : 25966 (java) S 25958 25960 23895 0 -1 4202560 15 0 0 0 13 0 0 0 15 0 19 0 807521924 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25967] ppid=25958 vsize=13634928 CPUtime=0.13 cores=0,2,4,6
/proc/25960/task/25967/stat : 25967 (java) S 25958 25960 23895 0 -1 4202560 1078 0 0 0 13 0 0 0 15 0 19 0 807521924 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 0 0 0 0
[pid=25960/tid=25968] ppid=25958 vsize=13634928 CPUtime=0.13 cores=0,2,4,6
/proc/25960/task/25968/stat : 25968 (java) S 25958 25960 23895 0 -1 4202560 851 0 0 0 13 0 0 0 15 0 19 0 807521924 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 0 0 0 0
[pid=25960/tid=25969] ppid=25958 vsize=13634928 CPUtime=0.13 cores=0,2,4,6
/proc/25960/task/25969/stat : 25969 (java) S 25958 25960 23895 0 -1 4202560 905 0 0 0 13 0 0 0 16 0 19 0 807521924 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25970] ppid=25958 vsize=13634928 CPUtime=0.15 cores=0,2,4,6
/proc/25960/task/25970/stat : 25970 (java) S 25958 25960 23895 0 -1 4202560 1132 0 0 0 15 0 0 0 15 0 19 0 807521924 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 6 0 0 0
[pid=25960/tid=25971] ppid=25958 vsize=13634928 CPUtime=16.76 cores=0,2,4,6
/proc/25960/task/25971/stat : 25971 (java) S 25958 25960 23895 0 -1 4202560 5649 0 0 0 1669 7 0 0 15 0 19 0 807521925 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273433088 0 0 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25972] ppid=25958 vsize=13634928 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25972/stat : 25972 (java) S 25958 25960 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807521925 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25973] ppid=25958 vsize=13634928 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25973/stat : 25973 (java) S 25958 25960 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807521925 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25974] ppid=25958 vsize=13634928 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25974/stat : 25974 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521927 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273440177 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25975] ppid=25958 vsize=13634928 CPUtime=0.47 cores=0,2,4,6
/proc/25960/task/25975/stat : 25975 (java) S 25958 25960 23895 0 -1 4202560 3160 0 0 0 47 0 0 0 15 0 19 0 807521927 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 0 0 0 0
[pid=25960/tid=25976] ppid=25958 vsize=13634928 CPUtime=0.96 cores=0,2,4,6
/proc/25960/task/25976/stat : 25976 (java) S 25958 25960 23895 0 -1 4202560 8141 0 0 0 96 0 0 0 15 0 19 0 807521927 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
[pid=25960/tid=25977] ppid=25958 vsize=13634928 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25977/stat : 25977 (java) S 25958 25960 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807521927 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273432473 0 4 0 16800975 18446604451405097152 0 0 -1 4 0 0 0
[pid=25960/tid=25978] ppid=25958 vsize=13634928 CPUtime=0 cores=0,2,4,6
/proc/25960/task/25978/stat : 25978 (java) S 25958 25960 23895 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 807521927 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273433088 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
[pid=25960/tid=26000] ppid=25958 vsize=13634928 CPUtime=0 cores=0,2,4,6
/proc/25960/task/26000/stat : 26000 (java) S 25958 25960 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807522007 13962166272 65376 33554432000 1073741824 1073778376 140735664271168 18446744073709551615 254273433088 0 4 0 16800975 18446604451405097152 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13634928
Child status: 143
Real time (s): 1798.15
CPU time (s): 1800.09
CPU user time (s): 1799.87
CPU system time (s): 0.226965
CPU usage (%): 100.108
Max. virtual memory (cumulated for all children) (KiB): 13646076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.226965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72916
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= 48185
involuntary context switches= 29337
runsolver used 9.2086 second user time and 18.6802 second system time
The end