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-3457125-1307633371/watcher-3457125-1307633371 -o /tmp/evaluation-result-3457125-1307633371/solver-3457125-1307633371 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457125-1307633371.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.53 0.43 0.14 3/195 12963
/proc/meminfo: memFree=31441504/32951124 swapFree=67049456/67111528
[pid=12963] ppid=12961 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/12963/stat : 12963 (java) S 12961 12963 12325 0 -1 4202496 1169 0 0 0 0 0 0 0 25 0 2 0 953567723 26714112 897 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296728549 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/12963/statm: 6522 897 682 9 0 381 0
[pid=12963/tid=12964] ppid=12961 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12964/stat : 12964 (java) R 12961 12963 12325 0 -1 4202560 59 0 0 0 0 0 0 0 25 0 2 0 953567724 27824128 901 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224279979643 0 0 4096 0 0 0 0 -1 1 0 0 0
[startup+0.0199859 s]
/proc/loadavg: 1.53 0.43 0.14 3/195 12963
/proc/meminfo: memFree=31441504/32951124 swapFree=67049456/67111528
[pid=12963] ppid=12961 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/12963/stat : 12963 (java) S 12961 12963 12325 0 -1 4202496 8010 0 1 0 0 1 0 0 25 0 2 0 953567723 10694979584 7712 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/12963/statm: 2611079 7732 917 9 0 2602235 0
[pid=12963/tid=12964] ppid=12961 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12964/stat : 12964 (java) R 12961 12963 12325 0 -1 4202560 6929 0 1 0 0 0 0 0 25 0 2 0 953567724 10694979584 7745 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224284619835 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10444316
[startup+0.100974 s]
/proc/loadavg: 1.53 0.43 0.14 3/195 12963
/proc/meminfo: memFree=31441504/32951124 swapFree=67049456/67111528
[pid=12963] ppid=12961 vsize=10540296 CPUtime=0.11 cores=1,3,5,7
/proc/12963/stat : 12963 (java) S 12961 12963 12325 0 -1 4202496 13096 0 1 0 9 2 0 0 25 0 18 0 953567723 10793263104 12776 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12963/statm: 2635074 12777 2093 9 0 2625808 0
[pid=12963/tid=12964] ppid=12961 vsize=10540296 CPUtime=0.08 cores=1,3,5,7
/proc/12963/task/12964/stat : 12964 (java) R 12961 12963 12325 0 -1 4202560 11167 0 1 0 7 1 0 0 25 0 18 0 953567724 10793263104 12777 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 47205058915267 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540296
[startup+0.300902 s]
/proc/loadavg: 1.53 0.43 0.14 3/195 12963
/proc/meminfo: memFree=31441504/32951124 swapFree=67049456/67111528
[pid=12963] ppid=12961 vsize=10542860 CPUtime=0.48 cores=1,3,5,7
/proc/12963/stat : 12963 (java) S 12961 12963 12325 0 -1 4202496 15693 0 1 0 46 2 0 0 25 0 19 0 953567723 10795888640 15235 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12963/statm: 2635715 15236 2206 9 0 2626449 0
[pid=12963/tid=12964] ppid=12961 vsize=10542860 CPUtime=0.29 cores=1,3,5,7
/proc/12963/task/12964/stat : 12964 (java) R 12961 12963 12325 0 -1 4202560 12756 0 1 0 27 2 0 0 25 0 19 0 953567724 10795888640 15236 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 47205062552372 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10542860
[startup+0.700867 s]
/proc/loadavg: 1.53 0.43 0.14 3/195 12963
/proc/meminfo: memFree=31441504/32951124 swapFree=67049456/67111528
[pid=12963] ppid=12961 vsize=10555044 CPUtime=1.68 cores=1,3,5,7
/proc/12963/stat : 12963 (java) S 12961 12963 12325 0 -1 4202496 32198 0 1 0 163 5 0 0 25 0 19 0 953567723 10808365056 27402 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12963/statm: 2638761 27405 2223 9 0 2629495 0
[pid=12963/tid=12964] ppid=12961 vsize=10555044 CPUtime=0.67 cores=1,3,5,7
/proc/12963/task/12964/stat : 12964 (java) R 12961 12963 12325 0 -1 4202560 18869 0 1 0 65 2 0 0 25 0 19 0 953567724 10808365056 27406 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 46912505644017 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 10555044
[startup+1.50074 s]
/proc/loadavg: 1.53 0.43 0.14 3/214 12982
/proc/meminfo: memFree=30880892/32951124 swapFree=67049456/67111528
[pid=12963] ppid=12961 vsize=10555044 CPUtime=2.55 cores=1,3,5,7
/proc/12963/stat : 12963 (java) S 12961 12963 12325 0 -1 4202496 89233 0 1 0 243 12 0 0 25 0 19 0 953567723 10808365056 84438 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12963/statm: 2638761 84441 2225 9 0 2629495 0
[pid=12963/tid=12964] ppid=12961 vsize=10555044 CPUtime=1.47 cores=1,3,5,7
/proc/12963/task/12964/stat : 12964 (java) R 12961 12963 12325 0 -1 4202560 75892 0 1 0 138 9 0 0 25 0 19 0 953567724 10808365056 84443 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 46912505680124 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12963/tid=12966] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12966/stat : 12966 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567725 10808365056 84445 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12967] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12967/stat : 12967 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567725 10808365056 84447 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12968] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12968/stat : 12968 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567725 10808365056 84450 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12969] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12969/stat : 12969 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567725 10808365056 84452 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12970] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12970/stat : 12970 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567725 10808365056 84454 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12971] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12971/stat : 12971 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567725 10808365056 84457 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12972] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12972/stat : 12972 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567725 10808365056 84460 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12973] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12973/stat : 12973 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567725 10808365056 84463 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12974] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12974/stat : 12974 (java) S 12961 12963 12325 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 19 0 953567726 10808365056 84465 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296742400 0 0 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12975] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12975/stat : 12975 (java) S 12961 12963 12325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953567727 10808365056 84467 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12976] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12976/stat : 12976 (java) S 12961 12963 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953567727 10808365056 84470 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12977] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12977/stat : 12977 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567729 10808365056 84472 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296749489 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12978] ppid=12961 vsize=10555044 CPUtime=0.57 cores=1,3,5,7
/proc/12963/task/12978/stat : 12978 (java) S 12961 12963 12325 0 -1 4202560 6115 0 0 0 56 1 0 0 19 0 19 0 953567729 10808365056 84474 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12979] ppid=12961 vsize=10555044 CPUtime=0.47 cores=1,3,5,7
/proc/12963/task/12979/stat : 12979 (java) S 12961 12963 12325 0 -1 4202560 6071 0 0 0 47 0 0 0 15 0 19 0 953567729 10808365056 84477 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 5 0 0 0
[pid=12963/tid=12980] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12980/stat : 12980 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567729 10808365056 84479 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12981] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12981/stat : 12981 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953567729 10808365056 84482 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296742400 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12982] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12982/stat : 12982 (java) S 12961 12963 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953567749 10808365056 84485 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296742400 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 10555044
[startup+3.10147 s]
/proc/loadavg: 1.53 0.43 0.14 3/214 12982
/proc/meminfo: memFree=30121764/32951124 swapFree=67049456/67111528
[pid=12963] ppid=12961 vsize=10555044 CPUtime=4.25 cores=1,3,5,7
/proc/12963/stat : 12963 (java) S 12961 12963 12325 0 -1 4202496 213328 0 1 0 399 26 0 0 25 0 19 0 953567723 10808365056 208531 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12963/statm: 2638761 208533 2228 9 0 2629495 0
[pid=12963/tid=12964] ppid=12961 vsize=10555044 CPUtime=3.08 cores=1,3,5,7
/proc/12963/task/12964/stat : 12964 (java) R 12961 12963 12325 0 -1 4202560 199969 0 1 0 284 24 0 0 25 0 19 0 953567724 10808365056 208535 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 46912505680106 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12963/tid=12966] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12966/stat : 12966 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567725 10808365056 208536 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12967] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12967/stat : 12967 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567725 10808365056 208538 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12968] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12968/stat : 12968 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567725 10808365056 208540 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12969] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12969/stat : 12969 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567725 10808365056 208542 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12970] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12970/stat : 12970 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567725 10808365056 208544 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12971] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12971/stat : 12971 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567725 10808365056 208546 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12972] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12972/stat : 12972 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567725 10808365056 208548 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12973] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12973/stat : 12973 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567725 10808365056 208551 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12974] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12974/stat : 12974 (java) S 12961 12963 12325 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 953567726 10808365056 208552 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296742400 0 0 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12975] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12975/stat : 12975 (java) S 12961 12963 12325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953567727 10808365056 208554 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12976] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12976/stat : 12976 (java) S 12961 12963 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953567727 10808365056 208556 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12977] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12977/stat : 12977 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567729 10808365056 208557 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296749489 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12978] ppid=12961 vsize=10555044 CPUtime=0.58 cores=1,3,5,7
/proc/12963/task/12978/stat : 12978 (java) S 12961 12963 12325 0 -1 4202560 6116 0 0 0 57 1 0 0 15 0 19 0 953567729 10808365056 208559 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12979] ppid=12961 vsize=10555044 CPUtime=0.56 cores=1,3,5,7
/proc/12963/task/12979/stat : 12979 (java) S 12961 12963 12325 0 -1 4202560 6085 0 0 0 56 0 0 0 15 0 19 0 953567729 10808365056 208560 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 5 0 0 0
[pid=12963/tid=12980] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12980/stat : 12980 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567729 10808365056 208562 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12981] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12981/stat : 12981 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953567729 10808365056 208563 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296742400 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12982] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12982/stat : 12982 (java) S 12961 12963 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953567749 10808365056 208565 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296742400 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 10555044
[startup+6.30094 s]
/proc/loadavg: 1.57 0.45 0.15 3/214 12982
/proc/meminfo: memFree=28122460/32951124 swapFree=67049456/67111528
[pid=12963] ppid=12961 vsize=10555044 CPUtime=7.5 cores=1,3,5,7
/proc/12963/stat : 12963 (java) S 12961 12963 12325 0 -1 4202496 454199 0 1 0 696 54 0 0 25 0 19 0 953567723 10808365056 448898 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12963/statm: 2638761 448901 2228 9 0 2629495 0
[pid=12963/tid=12964] ppid=12961 vsize=10555044 CPUtime=6.27 cores=1,3,5,7
/proc/12963/task/12964/stat : 12964 (java) R 12961 12963 12325 0 -1 4202560 440534 0 1 0 576 51 0 0 25 0 19 0 953567724 10808365056 448903 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 46912505680124 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12963/tid=12966] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12966/stat : 12966 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567725 10808365056 448905 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12967] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12967/stat : 12967 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567725 10808365056 448906 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12968] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12968/stat : 12968 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567725 10808365056 448909 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12969] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12969/stat : 12969 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567725 10808365056 448911 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12970] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12970/stat : 12970 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567725 10808365056 448913 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12971] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12971/stat : 12971 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567725 10808365056 448915 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12972] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12972/stat : 12972 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567725 10808365056 448918 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12973] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12973/stat : 12973 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567725 10808365056 448920 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12974] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12974/stat : 12974 (java) S 12961 12963 12325 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 953567726 10808365056 448922 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296742400 0 0 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12975] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12975/stat : 12975 (java) S 12961 12963 12325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953567727 10808365056 448923 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12976] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12976/stat : 12976 (java) S 12961 12963 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953567727 10808365056 448925 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12977] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12977/stat : 12977 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567729 10808365056 448926 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296749489 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12978] ppid=12961 vsize=10555044 CPUtime=0.63 cores=1,3,5,7
/proc/12963/task/12978/stat : 12978 (java) S 12961 12963 12325 0 -1 4202560 6423 0 0 0 62 1 0 0 15 0 19 0 953567729 10808365056 448928 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12979] ppid=12961 vsize=10555044 CPUtime=0.56 cores=1,3,5,7
/proc/12963/task/12979/stat : 12979 (java) S 12961 12963 12325 0 -1 4202560 6085 0 0 0 56 0 0 0 15 0 19 0 953567729 10808365056 448931 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/12963/task/12975/stat : 12975 (java) S 12961 12963 12325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953567727 10808365056 924495 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12976] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12976/stat : 12976 (java) S 12961 12963 12325 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953567727 10808365056 924495 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12977] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12977/stat : 12977 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567729 10808365056 924495 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296749489 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12978] ppid=12961 vsize=10555044 CPUtime=0.83 cores=1,3,5,7
/proc/12963/task/12978/stat : 12978 (java) S 12961 12963 12325 0 -1 4202560 6474 0 0 0 82 1 0 0 15 0 19 0 953567729 10808365056 924495 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12979] ppid=12961 vsize=10555044 CPUtime=0.62 cores=1,3,5,7
/proc/12963/task/12979/stat : 12979 (java) S 12961 12963 12325 0 -1 4202560 6110 0 0 0 62 0 0 0 16 0 19 0 953567729 10808365056 924495 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 5 0 0 0
[pid=12963/tid=12980] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12980/stat : 12980 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567729 10808365056 924495 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12981] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12981/stat : 12981 (java) S 12961 12963 12325 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 953567729 10808365056 924495 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296742400 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12982] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12982/stat : 12982 (java) S 12961 12963 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953567749 10808365056 924495 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296742400 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1667.26
Current children cumulated vsize (KiB) 10555044
[startup+1722.3 s]
/proc/loadavg: 2.06 1.99 1.68 3/214 13095
/proc/meminfo: memFree=25046608/32951124 swapFree=67049456/67111528
[pid=12963] ppid=12961 vsize=10555044 CPUtime=1727.37 cores=1,3,5,7
/proc/12963/stat : 12963 (java) S 12961 12963 12325 0 -1 4202496 932240 0 1 0 172627 110 0 0 25 0 19 0 953567723 10808365056 925466 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12963/statm: 2638761 925466 2258 9 0 2629495 0
[pid=12963/tid=12964] ppid=12961 vsize=10555044 CPUtime=1720.28 cores=1,3,5,7
/proc/12963/task/12964/stat : 12964 (java) R 12961 12963 12325 0 -1 4202560 830086 0 1 0 171935 93 0 0 25 0 19 0 953567724 10808365056 925466 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 46912505636109 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12963/tid=12966] ppid=12961 vsize=10555044 CPUtime=0.6 cores=1,3,5,7
/proc/12963/task/12966/stat : 12966 (java) S 12961 12963 12325 0 -1 4202560 10636 0 0 0 59 1 0 0 15 0 19 0 953567725 10808365056 925466 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12967] ppid=12961 vsize=10555044 CPUtime=0.57 cores=1,3,5,7
/proc/12963/task/12967/stat : 12967 (java) S 12961 12963 12325 0 -1 4202560 7386 0 0 0 57 0 0 0 15 0 19 0 953567725 10808365056 925466 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12968] ppid=12961 vsize=10555044 CPUtime=0.66 cores=1,3,5,7
/proc/12963/task/12968/stat : 12968 (java) S 12961 12963 12325 0 -1 4202560 11328 0 0 0 65 1 0 0 16 0 19 0 953567725 10808365056 925466 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 7 0 0 0
[pid=12963/tid=12969] ppid=12961 vsize=10555044 CPUtime=0.7 cores=1,3,5,7
/proc/12963/task/12969/stat : 12969 (java) S 12961 12963 12325 0 -1 4202560 13473 0 0 0 69 1 0 0 15 0 19 0 953567725 10808365056 925466 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 7 0 0 0
[pid=12963/tid=12970] ppid=12961 vsize=10555044 CPUtime=0.6 cores=1,3,5,7
/proc/12963/task/12970/stat : 12970 (java) S 12961 12963 12325 0 -1 4202560 10921 0 0 0 59 1 0 0 16 0 19 0 953567725 10808365056 925466 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12971] ppid=12961 vsize=10555044 CPUtime=0.62 cores=1,3,5,7
/proc/12963/task/12971/stat : 12971 (java) S 12961 12963 12325 0 -1 4202560 11334 0 0 0 60 2 0 0 16 0 19 0 953567725 10808365056 925466 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12972] ppid=12961 vsize=10555044 CPUtime=0.57 cores=1,3,5,7
/proc/12963/task/12972/stat : 12972 (java) S 12961 12963 12325 0 -1 4202560 12446 0 0 0 56 1 0 0 15 0 19 0 953567725 10808365056 925466 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 7 0 0 0
[pid=12963/tid=12973] ppid=12961 vsize=10555044 CPUtime=0.54 cores=1,3,5,7
/proc/12963/task/12973/stat : 12973 (java) S 12961 12963 12325 0 -1 4202560 8787 0 0 0 53 1 0 0 16 0 19 0 953567725 10808365056 925466 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 5 0 0 0
[pid=12963/tid=12974] ppid=12961 vsize=10555044 CPUtime=0.64 cores=1,3,5,7
/proc/12963/task/12974/stat : 12974 (java) S 12961 12963 12325 0 -1 4202560 2008 0 0 0 63 1 0 0 15 0 19 0 953567726 10808365056 925466 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296742400 0 0 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12975] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12975/stat : 12975 (java) S 12961 12963 12325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953567727 10808365056 925466 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12976] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12976/stat : 12976 (java) S 12961 12963 12325 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953567727 10808365056 925466 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12977] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12977/stat : 12977 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567729 10808365056 925466 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296749489 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12978] ppid=12961 vsize=10555044 CPUtime=0.83 cores=1,3,5,7
/proc/12963/task/12978/stat : 12978 (java) S 12961 12963 12325 0 -1 4202560 6474 0 0 0 82 1 0 0 15 0 19 0 953567729 10808365056 925466 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12979] ppid=12961 vsize=10555044 CPUtime=0.62 cores=1,3,5,7
/proc/12963/task/12979/stat : 12979 (java) S 12961 12963 12325 0 -1 4202560 6110 0 0 0 62 0 0 0 16 0 19 0 953567729 10808365056 925466 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 5 0 0 0
[pid=12963/tid=12980] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12980/stat : 12980 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567729 10808365056 925466 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12981] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12981/stat : 12981 (java) S 12961 12963 12325 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 953567729 10808365056 925466 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296742400 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12982] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12982/stat : 12982 (java) S 12961 12963 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953567749 10808365056 925466 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296742400 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1727.37
Current children cumulated vsize (KiB) 10555044
[startup+1782.3 s]
/proc/loadavg: 2.07 2.00 1.70 3/214 13095
/proc/meminfo: memFree=25044064/32951124 swapFree=67049456/67111528
[pid=12963] ppid=12961 vsize=10555044 CPUtime=1787.47 cores=1,3,5,7
/proc/12963/stat : 12963 (java) S 12961 12963 12325 0 -1 4202496 932814 0 1 0 178637 110 0 0 25 0 19 0 953567723 10808365056 926021 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12963/statm: 2638761 926021 2258 9 0 2629495 0
[pid=12963/tid=12964] ppid=12961 vsize=10555044 CPUtime=1780.25 cores=1,3,5,7
/proc/12963/task/12964/stat : 12964 (java) R 12961 12963 12325 0 -1 4202560 830089 0 1 0 177932 93 0 0 25 0 19 0 953567724 10808365056 926021 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 46912505635796 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12963/tid=12966] ppid=12961 vsize=10555044 CPUtime=0.63 cores=1,3,5,7
/proc/12963/task/12966/stat : 12966 (java) S 12961 12963 12325 0 -1 4202560 10816 0 0 0 62 1 0 0 16 0 19 0 953567725 10808365056 926021 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12967] ppid=12961 vsize=10555044 CPUtime=0.58 cores=1,3,5,7
/proc/12963/task/12967/stat : 12967 (java) S 12961 12963 12325 0 -1 4202560 7399 0 0 0 58 0 0 0 16 0 19 0 953567725 10808365056 926021 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12968] ppid=12961 vsize=10555044 CPUtime=0.67 cores=1,3,5,7
/proc/12963/task/12968/stat : 12968 (java) S 12961 12963 12325 0 -1 4202560 11346 0 0 0 66 1 0 0 15 0 19 0 953567725 10808365056 926021 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 7 0 0 0
[pid=12963/tid=12969] ppid=12961 vsize=10555044 CPUtime=0.73 cores=1,3,5,7
/proc/12963/task/12969/stat : 12969 (java) S 12961 12963 12325 0 -1 4202560 13622 0 0 0 72 1 0 0 16 0 19 0 953567725 10808365056 926021 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 7 0 0 0
[pid=12963/tid=12970] ppid=12961 vsize=10555044 CPUtime=0.6 cores=1,3,5,7
/proc/12963/task/12970/stat : 12970 (java) S 12961 12963 12325 0 -1 4202560 10921 0 0 0 59 1 0 0 15 0 19 0 953567725 10808365056 926021 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12971] ppid=12961 vsize=10555044 CPUtime=0.64 cores=1,3,5,7
/proc/12963/task/12971/stat : 12971 (java) S 12961 12963 12325 0 -1 4202560 11448 0 0 0 62 2 0 0 15 0 19 0 953567725 10808365056 926021 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12972] ppid=12961 vsize=10555044 CPUtime=0.6 cores=1,3,5,7
/proc/12963/task/12972/stat : 12972 (java) S 12961 12963 12325 0 -1 4202560 12503 0 0 0 59 1 0 0 16 0 19 0 953567725 10808365056 926021 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 5 0 0 0
[pid=12963/tid=12973] ppid=12961 vsize=10555044 CPUtime=0.56 cores=1,3,5,7
/proc/12963/task/12973/stat : 12973 (java) S 12961 12963 12325 0 -1 4202560 8819 0 0 0 55 1 0 0 15 0 19 0 953567725 10808365056 926021 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 5 0 0 0
[pid=12963/tid=12974] ppid=12961 vsize=10555044 CPUtime=0.64 cores=1,3,5,7
/proc/12963/task/12974/stat : 12974 (java) S 12961 12963 12325 0 -1 4202560 2012 0 0 0 63 1 0 0 15 0 19 0 953567726 10808365056 926021 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296742400 0 0 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12975] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12975/stat : 12975 (java) S 12961 12963 12325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953567727 10808365056 926021 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12976] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12976/stat : 12976 (java) S 12961 12963 12325 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953567727 10808365056 926021 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12977] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12977/stat : 12977 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567729 10808365056 926021 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296749489 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12978] ppid=12961 vsize=10555044 CPUtime=0.83 cores=1,3,5,7
/proc/12963/task/12978/stat : 12978 (java) S 12961 12963 12325 0 -1 4202560 6474 0 0 0 82 1 0 0 15 0 19 0 953567729 10808365056 926021 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12979] ppid=12961 vsize=10555044 CPUtime=0.62 cores=1,3,5,7
/proc/12963/task/12979/stat : 12979 (java) S 12961 12963 12325 0 -1 4202560 6110 0 0 0 62 0 0 0 16 0 19 0 953567729 10808365056 926021 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 5 0 0 0
[pid=12963/tid=12980] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12980/stat : 12980 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567729 10808365056 926021 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12981] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12981/stat : 12981 (java) S 12961 12963 12325 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 953567729 10808365056 926021 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296742400 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12982] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12982/stat : 12982 (java) S 12961 12963 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953567749 10808365056 926021 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296742400 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1787.47
Current children cumulated vsize (KiB) 10555044
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.8 s]
/proc/loadavg: 2.05 2.00 1.70 3/214 13095
/proc/meminfo: memFree=25043184/32951124 swapFree=67049456/67111528
[pid=12963] ppid=12961 vsize=10555044 CPUtime=1800.01 cores=1,3,5,7
/proc/12963/stat : 12963 (java) S 12961 12963 12325 0 -1 4202496 932983 0 1 0 179891 110 0 0 25 0 19 0 953567723 10808365056 926185 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12963/statm: 2638761 926185 2258 9 0 2629495 0
[pid=12963/tid=12964] ppid=12961 vsize=10555044 CPUtime=1792.74 cores=1,3,5,7
/proc/12963/task/12964/stat : 12964 (java) R 12961 12963 12325 0 -1 4202560 830090 0 1 0 179181 93 0 0 25 0 19 0 953567724 10808365056 926185 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 46912505711247 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12963/tid=12966] ppid=12961 vsize=10555044 CPUtime=0.64 cores=1,3,5,7
/proc/12963/task/12966/stat : 12966 (java) S 12961 12963 12325 0 -1 4202560 10831 0 0 0 63 1 0 0 16 0 19 0 953567725 10808365056 926185 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 5 0 0 0
[pid=12963/tid=12967] ppid=12961 vsize=10555044 CPUtime=0.59 cores=1,3,5,7
/proc/12963/task/12967/stat : 12967 (java) S 12961 12963 12325 0 -1 4202560 7455 0 0 0 59 0 0 0 16 0 19 0 953567725 10808365056 926185 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12968] ppid=12961 vsize=10555044 CPUtime=0.67 cores=1,3,5,7
/proc/12963/task/12968/stat : 12968 (java) S 12961 12963 12325 0 -1 4202560 11346 0 0 0 66 1 0 0 15 0 19 0 953567725 10808365056 926185 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 7 0 0 0
[pid=12963/tid=12969] ppid=12961 vsize=10555044 CPUtime=0.73 cores=1,3,5,7
/proc/12963/task/12969/stat : 12969 (java) S 12961 12963 12325 0 -1 4202560 13622 0 0 0 72 1 0 0 15 0 19 0 953567725 10808365056 926185 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 7 0 0 0
[pid=12963/tid=12970] ppid=12961 vsize=10555044 CPUtime=0.62 cores=1,3,5,7
/proc/12963/task/12970/stat : 12970 (java) S 12961 12963 12325 0 -1 4202560 11013 0 0 0 61 1 0 0 16 0 19 0 953567725 10808365056 926185 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12971] ppid=12961 vsize=10555044 CPUtime=0.64 cores=1,3,5,7
/proc/12963/task/12971/stat : 12971 (java) S 12961 12963 12325 0 -1 4202560 11448 0 0 0 62 2 0 0 16 0 19 0 953567725 10808365056 926185 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12972] ppid=12961 vsize=10555044 CPUtime=0.6 cores=1,3,5,7
/proc/12963/task/12972/stat : 12972 (java) S 12961 12963 12325 0 -1 4202560 12503 0 0 0 59 1 0 0 15 0 19 0 953567725 10808365056 926185 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 5 0 0 0
[pid=12963/tid=12973] ppid=12961 vsize=10555044 CPUtime=0.57 cores=1,3,5,7
/proc/12963/task/12973/stat : 12973 (java) S 12961 12963 12325 0 -1 4202560 8822 0 0 0 56 1 0 0 16 0 19 0 953567725 10808365056 926185 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 7 0 0 0
[pid=12963/tid=12974] ppid=12961 vsize=10555044 CPUtime=0.64 cores=1,3,5,7
/proc/12963/task/12974/stat : 12974 (java) S 12961 12963 12325 0 -1 4202560 2012 0 0 0 63 1 0 0 15 0 19 0 953567726 10808365056 926185 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296742400 0 0 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12975] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12975/stat : 12975 (java) S 12961 12963 12325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953567727 10808365056 926185 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12976] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12976/stat : 12976 (java) S 12961 12963 12325 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953567727 10808365056 926185 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12977] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12977/stat : 12977 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567729 10808365056 926185 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296749489 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12978] ppid=12961 vsize=10555044 CPUtime=0.83 cores=1,3,5,7
/proc/12963/task/12978/stat : 12978 (java) S 12961 12963 12325 0 -1 4202560 6474 0 0 0 82 1 0 0 15 0 19 0 953567729 10808365056 926185 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12979] ppid=12961 vsize=10555044 CPUtime=0.62 cores=1,3,5,7
/proc/12963/task/12979/stat : 12979 (java) S 12961 12963 12325 0 -1 4202560 6110 0 0 0 62 0 0 0 16 0 19 0 953567729 10808365056 926185 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 5 0 0 0
[pid=12963/tid=12980] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12980/stat : 12980 (java) S 12961 12963 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953567729 10808365056 926185 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296741785 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
[pid=12963/tid=12981] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12981/stat : 12981 (java) S 12961 12963 12325 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 953567729 10808365056 926185 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296742400 0 4 0 16800975 18446604464537946304 0 0 -1 3 0 0 0
[pid=12963/tid=12982] ppid=12961 vsize=10555044 CPUtime=0 cores=1,3,5,7
/proc/12963/task/12982/stat : 12982 (java) S 12961 12963 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953567749 10808365056 926185 33554432000 1073741824 1073778376 140737342191120 18446744073709551615 224296742400 0 4 0 16800975 18446604464537946304 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10555044
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.91 s]
/proc/loadavg: 2.05 2.00 1.70 3/214 13095
/proc/meminfo: memFree=25043184/32951124 swapFree=67049456/67111528
[pid=12963] ppid=12961 vsize=0 CPUtime=1800.13 cores=1,3,5,7
/proc/12963/stat : 12963 (java) Z 12961 12963 12325 0 -1 4203548 933021 0 1 0 179895 118 0 0 17 0 2 0 953567723 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12963/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.96
CPU time (s): 1800.19
CPU user time (s): 1798.96
CPU system time (s): 1.23281
CPU usage (%): 100.291
Max. virtual memory (cumulated for all children) (KiB): 10555044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.23281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 933021
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= 39714
involuntary context switches= 9621
runsolver used 2.83057 second user time and 6.97794 second system time
The end