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-3457131-1307217664/watcher-3457131-1307217664 -o /tmp/evaluation-result-3457131-1307217664/solver-3457131-1307217664 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457131-1307217664.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.95 2.00 1.70 4/455 15883
/proc/meminfo: memFree=24568492/32951124 swapFree=50923800/67111528
[pid=15883] ppid=15881 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/15883/stat : 15883 (java) S 15881 15883 15674 0 -1 4202496 4352 0 1 0 0 0 0 0 25 0 2 0 814181984 10694979584 4055 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/15883/statm: 2611079 4068 917 9 0 2602235 0
[pid=15883/tid=15884] ppid=15881 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15884/stat : 15884 (java) R 15881 15883 15674 0 -1 4202560 5649 0 1 0 0 0 0 0 25 0 2 0 814181984 10694979584 6466 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270338077755 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.023673 s]
/proc/loadavg: 1.95 2.00 1.70 4/455 15883
/proc/meminfo: memFree=24568492/32951124 swapFree=50923800/67111528
[pid=15883] ppid=15881 vsize=10453028 CPUtime=0.01 cores=0,2,4,6
/proc/15883/stat : 15883 (java) S 15881 15883 15674 0 -1 4202496 10074 0 1 0 0 1 0 0 25 0 10 0 814181984 10703900672 9776 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/15883/statm: 2613257 9779 1035 9 0 2604413 0
[pid=15883/tid=15884] ppid=15881 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15884/stat : 15884 (java) R 15881 15883 15674 0 -1 4202560 8956 0 1 0 0 0 0 0 25 0 10 0 814181984 10703900672 9780 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 47238593506403 0 4 0 16784584 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028
[startup+0.100611 s]
/proc/loadavg: 1.95 2.00 1.70 4/455 15883
/proc/meminfo: memFree=24568492/32951124 swapFree=50923800/67111528
[pid=15883] ppid=15881 vsize=10539720 CPUtime=0.1 cores=0,2,4,6
/proc/15883/stat : 15883 (java) S 15881 15883 15674 0 -1 4202496 12905 0 1 0 9 1 0 0 25 0 18 0 814181984 10792673280 12602 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15883/statm: 2634930 12602 2093 9 0 2625664 0
[pid=15883/tid=15884] ppid=15881 vsize=10539720 CPUtime=0.08 cores=0,2,4,6
/proc/15883/task/15884/stat : 15884 (java) R 15881 15883 15674 0 -1 4202560 11073 0 1 0 7 1 0 0 25 0 18 0 814181984 10792673280 12602 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 47238590918346 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539720
[startup+0.300573 s]
/proc/loadavg: 1.95 2.00 1.70 4/455 15883
/proc/meminfo: memFree=24568492/32951124 swapFree=50923800/67111528
[pid=15883] ppid=15881 vsize=10542176 CPUtime=0.48 cores=0,2,4,6
/proc/15883/stat : 15883 (java) S 15881 15883 15674 0 -1 4202496 16541 0 1 0 46 2 0 0 25 0 19 0 814181984 10795188224 15388 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15883/statm: 2635544 15388 2205 9 0 2626278 0
[pid=15883/tid=15884] ppid=15881 vsize=10542176 CPUtime=0.27 cores=0,2,4,6
/proc/15883/task/15884/stat : 15884 (java) R 15881 15883 15674 0 -1 4202560 12180 0 1 0 26 1 0 0 18 0 19 0 814181984 10795188224 15388 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 47238593232630 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10542176
[startup+0.700497 s]
/proc/loadavg: 1.95 2.00 1.70 4/455 15883
/proc/meminfo: memFree=24568492/32951124 swapFree=50923800/67111528
[pid=15883] ppid=15881 vsize=10551476 CPUtime=1.67 cores=0,2,4,6
/proc/15883/stat : 15883 (java) S 15881 15883 15674 0 -1 4202496 37242 0 1 0 162 5 0 0 25 0 19 0 814181984 10804711424 31715 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15883/statm: 2637869 31718 2219 9 0 2628603 0
[pid=15883/tid=15884] ppid=15881 vsize=10551476 CPUtime=0.67 cores=0,2,4,6
/proc/15883/task/15884/stat : 15884 (java) R 15881 15883 15674 0 -1 4202560 24794 0 1 0 64 3 0 0 18 0 19 0 814181984 10804711424 31720 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 46912505696198 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 10551476
[startup+1.50142 s]
/proc/loadavg: 1.95 2.00 1.70 3/474 15902
/proc/meminfo: memFree=24111228/32951124 swapFree=50923800/67111528
[pid=15883] ppid=15881 vsize=10551476 CPUtime=2.64 cores=0,2,4,6
/proc/15883/stat : 15883 (java) S 15881 15883 15674 0 -1 4202496 97720 0 1 0 252 12 0 0 25 0 19 0 814181984 10804711424 91981 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15883/statm: 2637869 91983 2225 9 0 2628603 0
[pid=15883/tid=15884] ppid=15881 vsize=10551476 CPUtime=1.47 cores=0,2,4,6
/proc/15883/task/15884/stat : 15884 (java) R 15881 15883 15674 0 -1 4202560 85029 0 1 0 137 10 0 0 19 0 19 0 814181984 10804711424 91984 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 46912505593718 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15883/tid=15886] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15886/stat : 15886 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181986 10804711424 91987 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15887] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15887/stat : 15887 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181986 10804711424 91989 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15888] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15888/stat : 15888 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181986 10804711424 91992 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15889] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15889/stat : 15889 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181986 10804711424 91995 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15890] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15890/stat : 15890 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181986 10804711424 91998 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15891] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15891/stat : 15891 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181986 10804711424 92000 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15892] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15892/stat : 15892 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814181986 10804711424 92002 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15893] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15893/stat : 15893 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181986 10804711424 92005 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15894] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15894/stat : 15894 (java) S 15881 15883 15674 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814181987 10804711424 92007 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350200320 0 0 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15895] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15895/stat : 15895 (java) S 15881 15883 15674 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814181988 10804711424 92010 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0
[pid=15883/tid=15896] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15896/stat : 15896 (java) S 15881 15883 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814181988 10804711424 92012 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0
[pid=15883/tid=15897] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15897/stat : 15897 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181990 10804711424 92014 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350207409 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15898] ppid=15881 vsize=10551476 CPUtime=0.58 cores=0,2,4,6
/proc/15883/task/15898/stat : 15898 (java) S 15881 15883 15674 0 -1 4202560 6431 0 0 0 57 1 0 0 15 0 19 0 814181990 10804711424 92017 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15899] ppid=15881 vsize=10551476 CPUtime=0.56 cores=0,2,4,6
/proc/15883/task/15899/stat : 15899 (java) S 15881 15883 15674 0 -1 4202560 5103 0 0 0 56 0 0 0 20 0 19 0 814181990 10804711424 92020 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15900] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15900/stat : 15900 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181990 10804711424 92022 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15901] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15901/stat : 15901 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814181990 10804711424 92024 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15902] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15902/stat : 15902 (java) S 15881 15883 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814182003 10804711424 92027 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 10551476
[startup+3.10107 s]
/proc/loadavg: 1.95 2.00 1.70 4/474 15902
/proc/meminfo: memFree=23393764/32951124 swapFree=50923800/67111528
[pid=15883] ppid=15881 vsize=10551476 CPUtime=4.26 cores=0,2,4,6
/proc/15883/stat : 15883 (java) S 15881 15883 15674 0 -1 4202496 232014 0 1 0 397 29 0 0 25 0 19 0 814181984 10804711424 226275 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15883/statm: 2637869 226277 2225 9 0 2628603 0
[pid=15883/tid=15884] ppid=15881 vsize=10551476 CPUtime=3.08 cores=0,2,4,6
/proc/15883/task/15884/stat : 15884 (java) R 15881 15883 15674 0 -1 4202560 219324 0 1 0 281 27 0 0 22 0 19 0 814181984 10804711424 226280 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 46912505612548 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15883/tid=15886] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15886/stat : 15886 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181986 10804711424 226282 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15887] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15887/stat : 15887 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181986 10804711424 226284 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15888] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15888/stat : 15888 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181986 10804711424 226286 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15889] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15889/stat : 15889 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181986 10804711424 226288 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15890] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15890/stat : 15890 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181986 10804711424 226290 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15891] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15891/stat : 15891 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181986 10804711424 226292 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15892] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15892/stat : 15892 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814181986 10804711424 226294 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15893] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15893/stat : 15893 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181986 10804711424 226296 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15894] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15894/stat : 15894 (java) S 15881 15883 15674 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814181987 10804711424 226297 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350200320 0 0 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15895] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15895/stat : 15895 (java) S 15881 15883 15674 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814181988 10804711424 226298 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0
[pid=15883/tid=15896] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15896/stat : 15896 (java) S 15881 15883 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814181988 10804711424 226299 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0
[pid=15883/tid=15897] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15897/stat : 15897 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181990 10804711424 226302 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350207409 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15898] ppid=15881 vsize=10551476 CPUtime=0.6 cores=0,2,4,6
/proc/15883/task/15898/stat : 15898 (java) S 15881 15883 15674 0 -1 4202560 6433 0 0 0 59 1 0 0 15 0 19 0 814181990 10804711424 226304 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15899] ppid=15881 vsize=10551476 CPUtime=0.57 cores=0,2,4,6
/proc/15883/task/15899/stat : 15899 (java) S 15881 15883 15674 0 -1 4202560 5103 0 0 0 57 0 0 0 16 0 19 0 814181990 10804711424 226306 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15900] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15900/stat : 15900 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181990 10804711424 226308 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15901] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15901/stat : 15901 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814181990 10804711424 226310 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15902] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15902/stat : 15902 (java) S 15881 15883 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814182003 10804711424 226313 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 10551476
[startup+6.30146 s]
/proc/loadavg: 2.04 2.01 1.70 4/474 15902
/proc/meminfo: memFree=21131748/32951124 swapFree=50923800/67111528
[pid=15883] ppid=15881 vsize=10551476 CPUtime=7.54 cores=0,2,4,6
/proc/15883/stat : 15883 (java) S 15881 15883 15674 0 -1 4202496 492137 0 1 0 693 61 0 0 25 0 19 0 814181984 10804711424 485613 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15883/statm: 2637869 485616 2226 9 0 2628603 0
[pid=15883/tid=15884] ppid=15881 vsize=10551476 CPUtime=6.28 cores=0,2,4,6
/proc/15883/task/15884/stat : 15884 (java) R 15881 15883 15674 0 -1 4202560 479062 0 1 0 569 59 0 0 25 0 19 0 814181984 10804711424 485618 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 46912505593722 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15883/tid=15886] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15886/stat : 15886 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181986 10804711424 485621 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15887] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15887/stat : 15887 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181986 10804711424 485623 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15888] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15888/stat : 15888 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181986 10804711424 485625 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15889] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15889/stat : 15889 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181986 10804711424 485627 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15890] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15890/stat : 15890 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181986 10804711424 485629 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15891] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15891/stat : 15891 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181986 10804711424 485631 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15892] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15892/stat : 15892 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814181986 10804711424 485633 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15893] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15893/stat : 15893 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181986 10804711424 485636 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15894] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15894/stat : 15894 (java) S 15881 15883 15674 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814181987 10804711424 485638 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350200320 0 0 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15895] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15895/stat : 15895 (java) S 15881 15883 15674 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814181988 10804711424 485640 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0
[pid=15883/tid=15896] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15896/stat : 15896 (java) S 15881 15883 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814181988 10804711424 485642 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0
[pid=15883/tid=15897] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15897/stat : 15897 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181990 10804711424 485644 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350207409 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15898] ppid=15881 vsize=10551476 CPUtime=0.64 cores=0,2,4,6
/proc/15883/task/15898/stat : 15898 (java) S 15881 15883 15674 0 -1 4202560 6811 0 0 0 63 1 0 0 15 0 19 0 814181990 10804711424 485647 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15899] ppid=15881 vsize=10551476 CPUtime=0.6 cores=0,2,4,6
/proc/15883/task/15899/stat : 15899 (java) S 15881 15883 15674 0 -1 4202560 5108 0 0 0 60 0 0 0 16 0 19 0 814181990 10804711424 485649 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=15883/tid=15900] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15900/stat : 15900 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181990 10804711424 944197 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15901] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15901/stat : 15901 (java) S 15881 15883 15674 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 814181990 10804711424 944197 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15902] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15902/stat : 15902 (java) S 15881 15883 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814182003 10804711424 944197 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1668.18
Current children cumulated vsize (KiB) 10551476
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/474 16043
/proc/meminfo: memFree=19802084/32951124 swapFree=50923800/67111528
[pid=15883] ppid=15881 vsize=10551476 CPUtime=1728.4 cores=0,2,4,6
/proc/15883/stat : 15883 (java) S 15881 15883 15674 0 -1 4202496 954673 0 1 0 172717 123 0 0 25 0 19 0 814181984 10804711424 946536 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15883/statm: 2637869 946536 2257 9 0 2628603 0
[pid=15883/tid=15884] ppid=15881 vsize=10551476 CPUtime=1718.5 cores=0,2,4,6
/proc/15883/task/15884/stat : 15884 (java) R 15881 15883 15674 0 -1 4202560 827870 0 1 0 171749 101 0 0 25 0 19 0 814181984 10804711424 946536 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 46912505624995 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15883/tid=15886] ppid=15881 vsize=10551476 CPUtime=0.92 cores=0,2,4,6
/proc/15883/task/15886/stat : 15886 (java) S 15881 15883 15674 0 -1 4202560 13450 0 0 0 90 2 0 0 15 0 19 0 814181986 10804711424 946536 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15887] ppid=15881 vsize=10551476 CPUtime=0.89 cores=0,2,4,6
/proc/15883/task/15887/stat : 15887 (java) S 15881 15883 15674 0 -1 4202560 12761 0 0 0 87 2 0 0 16 0 19 0 814181986 10804711424 946536 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0
[pid=15883/tid=15888] ppid=15881 vsize=10551476 CPUtime=0.89 cores=0,2,4,6
/proc/15883/task/15888/stat : 15888 (java) S 15881 15883 15674 0 -1 4202560 17327 0 0 0 86 3 0 0 15 0 19 0 814181986 10804711424 946536 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15889] ppid=15881 vsize=10551476 CPUtime=0.8 cores=0,2,4,6
/proc/15883/task/15889/stat : 15889 (java) S 15881 15883 15674 0 -1 4202560 8681 0 0 0 80 0 0 0 16 0 19 0 814181986 10804711424 946536 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0
[pid=15883/tid=15890] ppid=15881 vsize=10551476 CPUtime=0.84 cores=0,2,4,6
/proc/15883/task/15890/stat : 15890 (java) S 15881 15883 15674 0 -1 4202560 12748 0 0 0 83 1 0 0 16 0 19 0 814181986 10804711424 946536 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0
[pid=15883/tid=15891] ppid=15881 vsize=10551476 CPUtime=0.76 cores=0,2,4,6
/proc/15883/task/15891/stat : 15891 (java) S 15881 15883 15674 0 -1 4202560 12950 0 0 0 73 3 0 0 16 0 19 0 814181986 10804711424 946536 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15892] ppid=15881 vsize=10551476 CPUtime=0.91 cores=0,2,4,6
/proc/15883/task/15892/stat : 15892 (java) S 15881 15883 15674 0 -1 4202560 11588 0 0 0 90 1 0 0 16 0 19 0 814181986 10804711424 946536 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15893] ppid=15881 vsize=10551476 CPUtime=0.82 cores=0,2,4,6
/proc/15883/task/15893/stat : 15893 (java) S 15881 15883 15674 0 -1 4202560 13656 0 0 0 81 1 0 0 16 0 19 0 814181986 10804711424 946536 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0
[pid=15883/tid=15894] ppid=15881 vsize=10551476 CPUtime=1.54 cores=0,2,4,6
/proc/15883/task/15894/stat : 15894 (java) S 15881 15883 15674 0 -1 4202560 10433 0 0 0 152 2 0 0 15 0 19 0 814181987 10804711424 946536 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350200320 0 0 0 16800975 18446604448964049024 0 0 -1 4 0 0 0
[pid=15883/tid=15895] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15895/stat : 15895 (java) S 15881 15883 15674 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814181988 10804711424 946536 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0
[pid=15883/tid=15896] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15896/stat : 15896 (java) S 15881 15883 15674 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814181988 10804711424 946536 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0
[pid=15883/tid=15897] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15897/stat : 15897 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181990 10804711424 946536 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350207409 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15898] ppid=15881 vsize=10551476 CPUtime=0.71 cores=0,2,4,6
/proc/15883/task/15898/stat : 15898 (java) S 15881 15883 15674 0 -1 4202560 6832 0 0 0 70 1 0 0 15 0 19 0 814181990 10804711424 946536 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15899] ppid=15881 vsize=10551476 CPUtime=0.7 cores=0,2,4,6
/proc/15883/task/15899/stat : 15899 (java) S 15881 15883 15674 0 -1 4202560 5128 0 0 0 70 0 0 0 15 0 19 0 814181990 10804711424 946536 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15900] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15900/stat : 15900 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181990 10804711424 946536 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15901] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15901/stat : 15901 (java) S 15881 15883 15674 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 814181990 10804711424 946536 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15902] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15902/stat : 15902 (java) S 15881 15883 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814182003 10804711424 946536 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1728.4
Current children cumulated vsize (KiB) 10551476
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/474 16044
/proc/meminfo: memFree=19759516/32951124 swapFree=50923800/67111528
[pid=15883] ppid=15881 vsize=10551476 CPUtime=1788.67 cores=0,2,4,6
/proc/15883/stat : 15883 (java) S 15881 15883 15674 0 -1 4202496 957055 0 1 0 178744 123 0 0 25 0 19 0 814181984 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15883/statm: 2637869 948860 2257 9 0 2628603 0
[pid=15883/tid=15884] ppid=15881 vsize=10551476 CPUtime=1778.38 cores=0,2,4,6
/proc/15883/task/15884/stat : 15884 (java) R 15881 15883 15674 0 -1 4202560 827874 0 1 0 177737 101 0 0 25 0 19 0 814181984 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 46912505625154 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15883/tid=15886] ppid=15881 vsize=10551476 CPUtime=0.97 cores=0,2,4,6
/proc/15883/task/15886/stat : 15886 (java) S 15881 15883 15674 0 -1 4202560 14151 0 0 0 95 2 0 0 15 0 19 0 814181986 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15887] ppid=15881 vsize=10551476 CPUtime=0.9 cores=0,2,4,6
/proc/15883/task/15887/stat : 15887 (java) S 15881 15883 15674 0 -1 4202560 12761 0 0 0 88 2 0 0 15 0 19 0 814181986 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0
[pid=15883/tid=15888] ppid=15881 vsize=10551476 CPUtime=0.96 cores=0,2,4,6
/proc/15883/task/15888/stat : 15888 (java) S 15881 15883 15674 0 -1 4202560 17761 0 0 0 93 3 0 0 15 0 19 0 814181986 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0
[pid=15883/tid=15889] ppid=15881 vsize=10551476 CPUtime=0.84 cores=0,2,4,6
/proc/15883/task/15889/stat : 15889 (java) S 15881 15883 15674 0 -1 4202560 8980 0 0 0 84 0 0 0 16 0 19 0 814181986 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15890] ppid=15881 vsize=10551476 CPUtime=0.85 cores=0,2,4,6
/proc/15883/task/15890/stat : 15890 (java) S 15881 15883 15674 0 -1 4202560 12750 0 0 0 84 1 0 0 16 0 19 0 814181986 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0
[pid=15883/tid=15891] ppid=15881 vsize=10551476 CPUtime=0.83 cores=0,2,4,6
/proc/15883/task/15891/stat : 15891 (java) S 15881 15883 15674 0 -1 4202560 13313 0 0 0 80 3 0 0 16 0 19 0 814181986 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0
[pid=15883/tid=15892] ppid=15881 vsize=10551476 CPUtime=1.01 cores=0,2,4,6
/proc/15883/task/15892/stat : 15892 (java) S 15881 15883 15674 0 -1 4202560 12047 0 0 0 100 1 0 0 16 0 19 0 814181986 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15893] ppid=15881 vsize=10551476 CPUtime=0.85 cores=0,2,4,6
/proc/15883/task/15893/stat : 15893 (java) S 15881 15883 15674 0 -1 4202560 13768 0 0 0 84 1 0 0 16 0 19 0 814181986 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0
[pid=15883/tid=15894] ppid=15881 vsize=10551476 CPUtime=1.54 cores=0,2,4,6
/proc/15883/task/15894/stat : 15894 (java) S 15881 15883 15674 0 -1 4202560 10437 0 0 0 152 2 0 0 15 0 19 0 814181987 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350200320 0 0 0 16800975 18446604448964049024 0 0 -1 4 0 0 0
[pid=15883/tid=15895] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15895/stat : 15895 (java) S 15881 15883 15674 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814181988 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0
[pid=15883/tid=15896] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15896/stat : 15896 (java) S 15881 15883 15674 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814181988 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0
[pid=15883/tid=15897] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15897/stat : 15897 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181990 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350207409 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15898] ppid=15881 vsize=10551476 CPUtime=0.71 cores=0,2,4,6
/proc/15883/task/15898/stat : 15898 (java) S 15881 15883 15674 0 -1 4202560 6832 0 0 0 70 1 0 0 15 0 19 0 814181990 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15899] ppid=15881 vsize=10551476 CPUtime=0.7 cores=0,2,4,6
/proc/15883/task/15899/stat : 15899 (java) S 15881 15883 15674 0 -1 4202560 5128 0 0 0 70 0 0 0 15 0 19 0 814181990 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15900] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15900/stat : 15900 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181990 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15901] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15901/stat : 15901 (java) S 15881 15883 15674 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814181990 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15902] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15902/stat : 15902 (java) S 15881 15883 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814182003 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1788.67
Current children cumulated vsize (KiB) 10551476
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.7 s]
/proc/loadavg: 2.07 2.02 1.93 3/474 16045
/proc/meminfo: memFree=19759636/32951124 swapFree=50923800/67111528
[pid=15883] ppid=15881 vsize=10551476 CPUtime=1800.08 cores=0,2,4,6
/proc/15883/stat : 15883 (java) S 15881 15883 15674 0 -1 4202496 957055 0 1 0 179885 123 0 0 25 0 19 0 814181984 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15883/statm: 2637869 948860 2257 9 0 2628603 0
[pid=15883/tid=15884] ppid=15881 vsize=10551476 CPUtime=1789.8 cores=0,2,4,6
/proc/15883/task/15884/stat : 15884 (java) R 15881 15883 15674 0 -1 4202560 827874 0 1 0 178879 101 0 0 25 0 19 0 814181984 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 46912505643349 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15883/tid=15886] ppid=15881 vsize=10551476 CPUtime=0.97 cores=0,2,4,6
/proc/15883/task/15886/stat : 15886 (java) S 15881 15883 15674 0 -1 4202560 14151 0 0 0 95 2 0 0 15 0 19 0 814181986 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15887] ppid=15881 vsize=10551476 CPUtime=0.9 cores=0,2,4,6
/proc/15883/task/15887/stat : 15887 (java) S 15881 15883 15674 0 -1 4202560 12761 0 0 0 88 2 0 0 15 0 19 0 814181986 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0
[pid=15883/tid=15888] ppid=15881 vsize=10551476 CPUtime=0.96 cores=0,2,4,6
/proc/15883/task/15888/stat : 15888 (java) S 15881 15883 15674 0 -1 4202560 17761 0 0 0 93 3 0 0 15 0 19 0 814181986 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0
[pid=15883/tid=15889] ppid=15881 vsize=10551476 CPUtime=0.84 cores=0,2,4,6
/proc/15883/task/15889/stat : 15889 (java) S 15881 15883 15674 0 -1 4202560 8980 0 0 0 84 0 0 0 16 0 19 0 814181986 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15890] ppid=15881 vsize=10551476 CPUtime=0.85 cores=0,2,4,6
/proc/15883/task/15890/stat : 15890 (java) S 15881 15883 15674 0 -1 4202560 12750 0 0 0 84 1 0 0 16 0 19 0 814181986 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0
[pid=15883/tid=15891] ppid=15881 vsize=10551476 CPUtime=0.83 cores=0,2,4,6
/proc/15883/task/15891/stat : 15891 (java) S 15881 15883 15674 0 -1 4202560 13313 0 0 0 80 3 0 0 16 0 19 0 814181986 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0
[pid=15883/tid=15892] ppid=15881 vsize=10551476 CPUtime=1.01 cores=0,2,4,6
/proc/15883/task/15892/stat : 15892 (java) S 15881 15883 15674 0 -1 4202560 12047 0 0 0 100 1 0 0 16 0 19 0 814181986 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15893] ppid=15881 vsize=10551476 CPUtime=0.85 cores=0,2,4,6
/proc/15883/task/15893/stat : 15893 (java) S 15881 15883 15674 0 -1 4202560 13768 0 0 0 84 1 0 0 16 0 19 0 814181986 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 4 0 0 0
[pid=15883/tid=15894] ppid=15881 vsize=10551476 CPUtime=1.54 cores=0,2,4,6
/proc/15883/task/15894/stat : 15894 (java) S 15881 15883 15674 0 -1 4202560 10437 0 0 0 152 2 0 0 15 0 19 0 814181987 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350200320 0 0 0 16800975 18446604448964049024 0 0 -1 4 0 0 0
[pid=15883/tid=15895] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15895/stat : 15895 (java) S 15881 15883 15674 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814181988 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0
[pid=15883/tid=15896] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15896/stat : 15896 (java) S 15881 15883 15674 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814181988 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 0 0 0 0
[pid=15883/tid=15897] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15897/stat : 15897 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181990 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350207409 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15898] ppid=15881 vsize=10551476 CPUtime=0.71 cores=0,2,4,6
/proc/15883/task/15898/stat : 15898 (java) S 15881 15883 15674 0 -1 4202560 6832 0 0 0 70 1 0 0 15 0 19 0 814181990 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15899] ppid=15881 vsize=10551476 CPUtime=0.7 cores=0,2,4,6
/proc/15883/task/15899/stat : 15899 (java) S 15881 15883 15674 0 -1 4202560 5128 0 0 0 70 0 0 0 15 0 19 0 814181990 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15900] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15900/stat : 15900 (java) S 15881 15883 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814181990 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350199705 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
[pid=15883/tid=15901] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15901/stat : 15901 (java) S 15881 15883 15674 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814181990 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 2 0 0 0
[pid=15883/tid=15902] ppid=15881 vsize=10551476 CPUtime=0 cores=0,2,4,6
/proc/15883/task/15902/stat : 15902 (java) S 15881 15883 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814182003 10804711424 948860 33554432000 1073741824 1073778376 140736740640432 18446744073709551615 270350200320 0 4 0 16800975 18446604448964049024 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10551476
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.82 s]
/proc/loadavg: 2.07 2.02 1.93 3/474 16045
/proc/meminfo: memFree=19759636/32951124 swapFree=50923800/67111528
[pid=15883] ppid=15881 vsize=0 CPUtime=1800.22 cores=0,2,4,6
/proc/15883/stat : 15883 (java) Z 15881 15883 15674 0 -1 4203548 957096 0 1 0 179892 130 0 0 17 0 2 0 814181984 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15883/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
[startup+1793.9 s]
/proc/loadavg: 2.07 2.02 1.93 3/474 16045
/proc/meminfo: memFree=19759636/32951124 swapFree=50923800/67111528
[pid=15883] ppid=15881 vsize=0 CPUtime=1800.3 cores=0,2,4,6
/proc/15883/stat : 15883 (java) Z 15881 15883 15674 0 -1 4203548 957096 0 1 0 179892 138 0 0 17 0 2 0 814181984 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15883/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.9
CPU time (s): 1800.31
CPU user time (s): 1798.93
CPU system time (s): 1.38479
CPU usage (%): 100.357
Max. virtual memory (cumulated for all children) (KiB): 10552972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.93
system time used= 1.38479
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 957096
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= 39509
involuntary context switches= 25344
runsolver used 8.45771 second user time and 17.6783 second system time
The end