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-3454068-1307195643/watcher-3454068-1307195643 -o /tmp/evaluation-result-3454068-1307195643/solver-3454068-1307195643 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454068-1307195643.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: 2.07 3.20 3.51 1/391 23649
/proc/meminfo: memFree=22658072/32951124 swapFree=37148216/67111528
[pid=23649] ppid=23647 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/23649/stat : 23649 (java) S 23647 23649 19222 0 -1 4202496 1626 0 1 0 0 0 0 0 25 0 2 0 831164796 10681323520 1327 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/23649/statm: 2607745 1340 906 9 0 2598901 0
[pid=23649/tid=23650] ppid=23647 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23650/stat : 23650 (java) R 23647 23649 19222 0 -1 4202560 2230 0 1 0 0 0 0 0 25 0 2 0 831164797 10694979584 3047 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230808859707 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.032578 s]
/proc/loadavg: 2.07 3.20 3.51 1/391 23649
/proc/meminfo: memFree=22658072/32951124 swapFree=37148216/67111528
[pid=23649] ppid=23647 vsize=10455012 CPUtime=0.02 cores=0,2,4,6
/proc/23649/stat : 23649 (java) S 23647 23649 19222 0 -1 4202496 10830 0 1 0 1 1 0 0 25 0 10 0 831164796 10705932288 10528 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/23649/statm: 2613753 10528 1522 9 0 2604501 0
[pid=23649/tid=23650] ppid=23647 vsize=10455012 CPUtime=0.01 cores=0,2,4,6
/proc/23649/task/23650/stat : 23650 (java) R 23647 23649 19222 0 -1 4202560 9705 0 1 0 1 0 0 0 25 0 10 0 831164797 10705932288 10528 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 47789161704706 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012
[startup+0.100574 s]
/proc/loadavg: 2.07 3.20 3.51 1/391 23649
/proc/meminfo: memFree=22658072/32951124 swapFree=37148216/67111528
[pid=23649] ppid=23647 vsize=10540284 CPUtime=0.1 cores=0,2,4,6
/proc/23649/stat : 23649 (java) S 23647 23649 19222 0 -1 4202496 13120 0 1 0 9 1 0 0 25 0 18 0 831164796 10793250816 12786 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23649/statm: 2635071 12786 2092 9 0 2625805 0
[pid=23649/tid=23650] ppid=23647 vsize=10540284 CPUtime=0.08 cores=0,2,4,6
/proc/23649/task/23650/stat : 23650 (java) R 23647 23649 19222 0 -1 4202560 11172 0 1 0 7 1 0 0 18 0 18 0 831164797 10793250816 12786 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820992459 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) 10540284
[startup+0.300555 s]
/proc/loadavg: 2.07 3.20 3.51 1/391 23649
/proc/meminfo: memFree=22658072/32951124 swapFree=37148216/67111528
[pid=23649] ppid=23647 vsize=10542560 CPUtime=0.48 cores=0,2,4,6
/proc/23649/stat : 23649 (java) S 23647 23649 19222 0 -1 4202496 16590 0 1 0 46 2 0 0 25 0 18 0 831164796 10795581440 15919 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23649/statm: 2635640 15920 2211 9 0 2626374 0
[pid=23649/tid=23650] ppid=23647 vsize=10542560 CPUtime=0.28 cores=0,2,4,6
/proc/23649/task/23650/stat : 23650 (java) R 23647 23649 19222 0 -1 4202560 13073 0 1 0 27 1 0 0 18 0 18 0 831164797 10795581440 15920 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 46912505541267 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) 10542560
[startup+0.700479 s]
/proc/loadavg: 2.07 3.20 3.51 1/391 23649
/proc/meminfo: memFree=22658072/32951124 swapFree=37148216/67111528
[pid=23649] ppid=23647 vsize=10554336 CPUtime=1.6 cores=0,2,4,6
/proc/23649/stat : 23649 (java) S 23647 23649 19222 0 -1 4202496 41111 0 1 0 156 4 0 0 25 0 18 0 831164796 10807640064 36476 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23649/statm: 2638584 36478 2227 9 0 2629318 0
[pid=23649/tid=23650] ppid=23647 vsize=10554336 CPUtime=0.68 cores=0,2,4,6
/proc/23649/task/23650/stat : 23650 (java) R 23647 23649 19222 0 -1 4202560 25475 0 1 0 66 2 0 0 18 0 18 0 831164797 10807640064 36479 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 46912505611318 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 10554336
[startup+1.50141 s]
/proc/loadavg: 2.07 3.20 3.51 5/413 23677
/proc/meminfo: memFree=22389072/32951124 swapFree=37148216/67111528
[pid=23649] ppid=23647 vsize=10560752 CPUtime=3.86 cores=0,2,4,6
/proc/23649/stat : 23649 (java) S 23647 23649 19222 0 -1 4202496 88036 0 1 0 376 10 0 0 25 0 19 0 831164796 10814210048 83309 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23649/statm: 2640188 83309 2248 9 0 2630922 0
[pid=23649/tid=23650] ppid=23647 vsize=10560752 CPUtime=0.88 cores=0,2,4,6
/proc/23649/task/23650/stat : 23650 (java) S 23647 23649 19222 0 -1 4202560 53834 0 1 0 83 5 0 0 15 0 19 0 831164797 10814210048 83309 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 4 0 16800975 18446604443138680832 0 0 -1 6 0 0 0
[pid=23649/tid=23655] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23655/stat : 23655 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831164799 10814210048 83309 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23656] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23656/stat : 23656 (java) S 23647 23649 19222 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831164799 10814210048 83309 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23657] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23657/stat : 23657 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831164799 10814210048 83309 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23658] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23658/stat : 23658 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831164799 10814210048 83309 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23659] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23659/stat : 23659 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831164799 10814210048 83309 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23660] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23660/stat : 23660 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831164799 10814210048 83309 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23661] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23661/stat : 23661 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831164799 10814210048 83309 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23662] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23662/stat : 23662 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831164799 10814210048 83309 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23663] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23663/stat : 23663 (java) S 23647 23649 19222 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 19 0 831164800 10814210048 83309 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 0 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23664] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23664/stat : 23664 (java) S 23647 23649 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831164800 10814210048 83309 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23665] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23665/stat : 23665 (java) S 23647 23649 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831164800 10814210048 83309 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23666] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23666/stat : 23666 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831164802 10814210048 83309 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820989361 0 4 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23667] ppid=23647 vsize=10560752 CPUtime=0.99 cores=0,2,4,6
/proc/23649/task/23667/stat : 23667 (java) S 23647 23649 19222 0 -1 4202560 9494 0 0 0 98 1 0 0 17 0 19 0 831164802 10814210048 83309 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23668] ppid=23647 vsize=10560752 CPUtime=0.93 cores=0,2,4,6
/proc/23649/task/23668/stat : 23668 (java) S 23647 23649 19222 0 -1 4202560 5751 0 0 0 93 0 0 0 15 0 19 0 831164802 10814210048 83309 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 4 0 0 0
[pid=23649/tid=23669] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23669/stat : 23669 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831164802 10814210048 83309 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23670] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23670/stat : 23670 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831164802 10814210048 83309 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 4 0 16800975 18446604443138680832 0 0 -1 6 0 0 0
[pid=23649/tid=23677] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23677/stat : 23677 (java) S 23647 23649 19222 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 831164891 10814210048 83309 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 4 0 16800975 18446604443138680832 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 10560752
[startup+3.10103 s]
/proc/loadavg: 2.07 3.20 3.51 4/413 23689
/proc/meminfo: memFree=22257308/32951124 swapFree=37148216/67111528
[pid=23649] ppid=23647 vsize=10560752 CPUtime=5.51 cores=0,2,4,6
/proc/23649/stat : 23649 (java) S 23647 23649 19222 0 -1 4202496 132900 0 1 0 535 16 0 0 25 0 22 0 831164796 10814210048 128171 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23649/statm: 2640188 128171 2248 9 0 2630922 0
[pid=23649/tid=23650] ppid=23647 vsize=10560752 CPUtime=0.9 cores=0,2,4,6
/proc/23649/task/23650/stat : 23650 (java) S 23647 23649 19222 0 -1 4202560 54053 0 1 0 85 5 0 0 17 0 22 0 831164797 10814210048 128171 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 4 0 16800975 18446604443138680832 0 0 -1 6 0 0 0
[pid=23649/tid=23655] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23655/stat : 23655 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831164799 10814210048 128171 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23656] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23656/stat : 23656 (java) S 23647 23649 19222 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831164799 10814210048 128171 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23657] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23657/stat : 23657 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831164799 10814210048 128171 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23658] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23658/stat : 23658 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831164799 10814210048 128171 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23659] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23659/stat : 23659 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831164799 10814210048 128171 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23660] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23660/stat : 23660 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831164799 10814210048 128171 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23661] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23661/stat : 23661 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831164799 10814210048 128171 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23662] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23662/stat : 23662 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831164799 10814210048 128171 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23663] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23663/stat : 23663 (java) S 23647 23649 19222 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 831164800 10814210048 128171 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 0 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23664] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23664/stat : 23664 (java) S 23647 23649 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831164800 10814210048 128171 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23665] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23665/stat : 23665 (java) S 23647 23649 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831164800 10814210048 128171 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23666] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23666/stat : 23666 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831164802 10814210048 128171 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820989361 0 4 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23667] ppid=23647 vsize=10560752 CPUtime=1.1 cores=0,2,4,6
/proc/23649/task/23667/stat : 23667 (java) S 23647 23649 19222 0 -1 4202560 9506 0 0 0 109 1 0 0 15 0 22 0 831164802 10814210048 128171 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23668] ppid=23647 vsize=10560752 CPUtime=0.97 cores=0,2,4,6
/proc/23649/task/23668/stat : 23668 (java) S 23647 23649 19222 0 -1 4202560 5754 0 0 0 97 0 0 0 15 0 22 0 831164802 10814210048 128171 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 4 0 0 0
[pid=23649/tid=23669] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23669/stat : 23669 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831164802 10814210048 128171 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23670] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23670/stat : 23670 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831164802 10814210048 128171 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 4 0 16800975 18446604443138680832 0 0 -1 6 0 0 0
[pid=23649/tid=23677] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23677/stat : 23677 (java) S 23647 23649 19222 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831164891 10814210048 128171 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 4 0 16800975 18446604443138680832 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 10560752
[startup+6.30145 s]
/proc/loadavg: 1.90 3.15 3.49 1/410 23725
/proc/meminfo: memFree=21768364/32951124 swapFree=37148216/67111528
[pid=23649] ppid=23647 vsize=10560752 CPUtime=9.55 cores=0,2,4,6
/proc/23649/stat : 23649 (java) S 23647 23649 19222 0 -1 4202496 242403 0 1 0 928 27 0 0 25 0 19 0 831164796 10814210048 237417 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23649/statm: 2640188 237417 2250 9 0 2630922 0
[pid=23649/tid=23650] ppid=23647 vsize=10560752 CPUtime=0.93 cores=0,2,4,6
/proc/23649/task/23650/stat : 23650 (java) S 23647 23649 19222 0 -1 4202560 54479 0 1 0 88 5 0 0 16 0 19 0 831164797 10814210048 237417 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 4 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23655] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23655/stat : 23655 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831164799 10814210048 237417 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23656] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23656/stat : 23656 (java) S 23647 23649 19222 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831164799 10814210048 237417 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23657] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23657/stat : 23657 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831164799 10814210048 237417 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23658] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23658/stat : 23658 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831164799 10814210048 237417 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23659] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23659/stat : 23659 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831164799 10814210048 237417 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23660] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23660/stat : 23660 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831164799 10814210048 237417 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23661] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23661/stat : 23661 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831164799 10814210048 237417 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23662] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23662/stat : 23662 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831164799 10814210048 237417 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23663] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23663/stat : 23663 (java) S 23647 23649 19222 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 831164800 10814210048 237417 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 0 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23664] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23664/stat : 23664 (java) S 23647 23649 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831164800 10814210048 237417 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23665] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23665/stat : 23665 (java) S 23647 23649 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831164800 10814210048 237417 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23666] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23666/stat : 23666 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831164802 10814210048 237417 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820989361 0 4 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23667] ppid=23647 vsize=10560752 CPUtime=1.12 cores=0,2,4,6
/proc/23649/task/23667/stat : 23667 (java) S 23647 23649 19222 0 -1 4202560 9506 0 0 0 111 1 0 0 15 0 19 0 831164802 10814210048 237417 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 6 0 0 0
[pid=23649/tid=23668] ppid=23647 vsize=10560752 CPUtime=1.15 cores=0,2,4,6
/proc/23649/task/23668/stat : 23668 (java) S 23647 23649 19222 0 -1 4202560 5816 0 0 0 115 0 0 0 15 0 19 0 831164802 10814210048 237417 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=17036568/32951124 swapFree=37148216/67111528
[pid=23649] ppid=23647 vsize=10560752 CPUtime=1635.73 cores=0,2,4,6
/proc/23649/stat : 23649 (java) S 23647 23649 19222 0 -1 4202496 914755 0 1 0 163465 108 0 0 25 0 22 0 831164796 10814210048 908184 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23649/statm: 2640188 908184 2274 9 0 2630922 0
[pid=23649/tid=23650] ppid=23647 vsize=10560752 CPUtime=0.95 cores=0,2,4,6
/proc/23649/task/23650/stat : 23650 (java) S 23647 23649 19222 0 -1 4202560 54841 0 1 0 90 5 0 0 15 0 22 0 831164797 10814210048 908184 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 4 0 16800975 18446604443138680832 0 0 -1 6 0 0 0
[pid=23649/tid=23655] ppid=23647 vsize=10560752 CPUtime=0.15 cores=0,2,4,6
/proc/23649/task/23655/stat : 23655 (java) S 23647 23649 19222 0 -1 4202560 3410 0 0 0 15 0 0 0 16 0 22 0 831164799 10814210048 908184 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23656] ppid=23647 vsize=10560752 CPUtime=0.14 cores=0,2,4,6
/proc/23649/task/23656/stat : 23656 (java) S 23647 23649 19222 0 -1 4202560 4146 0 0 0 14 0 0 0 15 0 22 0 831164799 10814210048 908184 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23657] ppid=23647 vsize=10560752 CPUtime=0.19 cores=0,2,4,6
/proc/23649/task/23657/stat : 23657 (java) S 23647 23649 19222 0 -1 4202560 4405 0 0 0 19 0 0 0 16 0 22 0 831164799 10814210048 908184 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23658] ppid=23647 vsize=10560752 CPUtime=0.13 cores=0,2,4,6
/proc/23649/task/23658/stat : 23658 (java) S 23647 23649 19222 0 -1 4202560 1934 0 0 0 13 0 0 0 15 0 22 0 831164799 10814210048 908184 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23659] ppid=23647 vsize=10560752 CPUtime=0.18 cores=0,2,4,6
/proc/23649/task/23659/stat : 23659 (java) S 23647 23649 19222 0 -1 4202560 5205 0 0 0 18 0 0 0 16 0 22 0 831164799 10814210048 908184 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 4 0 0 0
[pid=23649/tid=23660] ppid=23647 vsize=10560752 CPUtime=0.18 cores=0,2,4,6
/proc/23649/task/23660/stat : 23660 (java) S 23647 23649 19222 0 -1 4202560 5660 0 0 0 18 0 0 0 15 0 22 0 831164799 10814210048 908184 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23661] ppid=23647 vsize=10560752 CPUtime=0.15 cores=0,2,4,6
/proc/23649/task/23661/stat : 23661 (java) S 23647 23649 19222 0 -1 4202560 4928 0 0 0 15 0 0 0 15 0 22 0 831164799 10814210048 908184 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 6 0 0 0
[pid=23649/tid=23662] ppid=23647 vsize=10560752 CPUtime=0.17 cores=0,2,4,6
/proc/23649/task/23662/stat : 23662 (java) S 23647 23649 19222 0 -1 4202560 3056 0 0 0 17 0 0 0 16 0 22 0 831164799 10814210048 908184 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 6 0 0 0
[pid=23649/tid=23663] ppid=23647 vsize=10560752 CPUtime=3.74 cores=0,2,4,6
/proc/23649/task/23663/stat : 23663 (java) S 23647 23649 19222 0 -1 4202560 27363 0 0 0 372 2 0 0 15 0 22 0 831164800 10814210048 908184 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 0 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23664] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23664/stat : 23664 (java) S 23647 23649 19222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831164800 10814210048 908184 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23665] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23665/stat : 23665 (java) S 23647 23649 19222 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 831164800 10814210048 908184 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 4 0 0 0
[pid=23649/tid=23666] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23666/stat : 23666 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831164802 10814210048 908184 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820989361 0 4 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23667] ppid=23647 vsize=10560752 CPUtime=1.47 cores=0,2,4,6
/proc/23649/task/23667/stat : 23667 (java) S 23647 23649 19222 0 -1 4202560 9548 0 0 0 146 1 0 0 15 0 22 0 831164802 10814210048 908184 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 4 0 0 0
[pid=23649/tid=23668] ppid=23647 vsize=10560752 CPUtime=1.33 cores=0,2,4,6
/proc/23649/task/23668/stat : 23668 (java) S 23647 23649 19222 0 -1 4202560 5828 0 0 0 133 0 0 0 15 0 22 0 831164802 10814210048 908184 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 6 0 0 0
[pid=23649/tid=23669] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23669/stat : 23669 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831164802 10814210048 908184 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23670] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23670/stat : 23670 (java) S 23647 23649 19222 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 831164802 10814210048 908184 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23677] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23677/stat : 23677 (java) S 23647 23649 19222 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831164891 10814210048 908184 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 4 0 16800975 18446604443138680832 0 0 -1 6 0 0 0
[pid=23649/tid=23787] ppid=23647 vsize=10560752 CPUtime=774.27 cores=0,2,4,6
/proc/23649/task/23787/stat : 23787 (java) R 23647 23649 19222 0 -1 4202560 942 0 0 0 77426 1 0 0 25 0 22 0 831169224 10814210048 908184 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 46912506156195 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23649/tid=23788] ppid=23647 vsize=10560752 CPUtime=774.26 cores=0,2,4,6
/proc/23649/task/23788/stat : 23788 (java) R 23647 23649 19222 0 -1 4202560 384620 0 0 0 77383 43 0 0 25 0 22 0 831169224 10814210048 908184 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 46912506192631 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23649/tid=23789] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23789/stat : 23789 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831169225 10814210048 908184 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1635.73
Current children cumulated vsize (KiB) 10560752
[startup+882.302 s]
/proc/loadavg: 3.85 3.87 3.74 5/416 23830
/proc/meminfo: memFree=17029556/32951124 swapFree=37148216/67111528
[pid=23649] ppid=23647 vsize=10560752 CPUtime=1755.52 cores=0,2,4,6
/proc/23649/stat : 23649 (java) S 23647 23649 19222 0 -1 4202496 914764 0 1 0 175444 108 0 0 25 0 22 0 831164796 10814210048 908186 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23649/statm: 2640188 908186 2274 9 0 2630922 0
[pid=23649/tid=23650] ppid=23647 vsize=10560752 CPUtime=0.95 cores=0,2,4,6
/proc/23649/task/23650/stat : 23650 (java) S 23647 23649 19222 0 -1 4202560 54842 0 1 0 90 5 0 0 15 0 22 0 831164797 10814210048 908186 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23655] ppid=23647 vsize=10560752 CPUtime=0.16 cores=0,2,4,6
/proc/23649/task/23655/stat : 23655 (java) S 23647 23649 19222 0 -1 4202560 3412 0 0 0 16 0 0 0 16 0 22 0 831164799 10814210048 908186 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 6 0 0 0
[pid=23649/tid=23656] ppid=23647 vsize=10560752 CPUtime=0.15 cores=0,2,4,6
/proc/23649/task/23656/stat : 23656 (java) S 23647 23649 19222 0 -1 4202560 4146 0 0 0 15 0 0 0 16 0 22 0 831164799 10814210048 908186 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23657] ppid=23647 vsize=10560752 CPUtime=0.19 cores=0,2,4,6
/proc/23649/task/23657/stat : 23657 (java) S 23647 23649 19222 0 -1 4202560 4405 0 0 0 19 0 0 0 15 0 22 0 831164799 10814210048 908186 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23658] ppid=23647 vsize=10560752 CPUtime=0.13 cores=0,2,4,6
/proc/23649/task/23658/stat : 23658 (java) S 23647 23649 19222 0 -1 4202560 1934 0 0 0 13 0 0 0 16 0 22 0 831164799 10814210048 908186 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23659] ppid=23647 vsize=10560752 CPUtime=0.18 cores=0,2,4,6
/proc/23649/task/23659/stat : 23659 (java) S 23647 23649 19222 0 -1 4202560 5205 0 0 0 18 0 0 0 15 0 22 0 831164799 10814210048 908186 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 4 0 0 0
[pid=23649/tid=23660] ppid=23647 vsize=10560752 CPUtime=0.18 cores=0,2,4,6
/proc/23649/task/23660/stat : 23660 (java) S 23647 23649 19222 0 -1 4202560 5660 0 0 0 18 0 0 0 15 0 22 0 831164799 10814210048 908186 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23661] ppid=23647 vsize=10560752 CPUtime=0.15 cores=0,2,4,6
/proc/23649/task/23661/stat : 23661 (java) S 23647 23649 19222 0 -1 4202560 4928 0 0 0 15 0 0 0 16 0 22 0 831164799 10814210048 908186 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 6 0 0 0
[pid=23649/tid=23662] ppid=23647 vsize=10560752 CPUtime=0.17 cores=0,2,4,6
/proc/23649/task/23662/stat : 23662 (java) S 23647 23649 19222 0 -1 4202560 3056 0 0 0 17 0 0 0 16 0 22 0 831164799 10814210048 908186 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 6 0 0 0
[pid=23649/tid=23663] ppid=23647 vsize=10560752 CPUtime=3.95 cores=0,2,4,6
/proc/23649/task/23663/stat : 23663 (java) S 23647 23649 19222 0 -1 4202560 27365 0 0 0 393 2 0 0 15 0 22 0 831164800 10814210048 908186 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 0 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23664] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23664/stat : 23664 (java) S 23647 23649 19222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831164800 10814210048 908186 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23665] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23665/stat : 23665 (java) S 23647 23649 19222 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 831164800 10814210048 908186 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 4 0 0 0
[pid=23649/tid=23666] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23666/stat : 23666 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831164802 10814210048 908186 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820989361 0 4 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23667] ppid=23647 vsize=10560752 CPUtime=1.47 cores=0,2,4,6
/proc/23649/task/23667/stat : 23667 (java) S 23647 23649 19222 0 -1 4202560 9548 0 0 0 146 1 0 0 15 0 22 0 831164802 10814210048 908186 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 4 0 0 0
[pid=23649/tid=23668] ppid=23647 vsize=10560752 CPUtime=1.33 cores=0,2,4,6
/proc/23649/task/23668/stat : 23668 (java) S 23647 23649 19222 0 -1 4202560 5828 0 0 0 133 0 0 0 15 0 22 0 831164802 10814210048 908186 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 6 0 0 0
[pid=23649/tid=23669] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23669/stat : 23669 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831164802 10814210048 908186 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23670] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23670/stat : 23670 (java) S 23647 23649 19222 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 831164802 10814210048 908186 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23677] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23677/stat : 23677 (java) S 23647 23649 19222 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831164891 10814210048 908186 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 4 0 16800975 18446604443138680832 0 0 -1 6 0 0 0
[pid=23649/tid=23787] ppid=23647 vsize=10560752 CPUtime=834.05 cores=0,2,4,6
/proc/23649/task/23787/stat : 23787 (java) R 23647 23649 19222 0 -1 4202560 942 0 0 0 83404 1 0 0 25 0 22 0 831169224 10814210048 908186 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 46912506280330 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23649/tid=23788] ppid=23647 vsize=10560752 CPUtime=834.04 cores=0,2,4,6
/proc/23649/task/23788/stat : 23788 (java) R 23647 23649 19222 0 -1 4202560 384620 0 0 0 83361 43 0 0 25 0 22 0 831169224 10814210048 908186 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 46912506192631 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23649/tid=23789] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23789/stat : 23789 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831169225 10814210048 908186 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1755.52
Current children cumulated vsize (KiB) 10560752
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+904.701 s]
/proc/loadavg: 3.89 3.88 3.75 5/416 23833
/proc/meminfo: memFree=17027324/32951124 swapFree=37148216/67111528
[pid=23649] ppid=23647 vsize=10560752 CPUtime=1800.17 cores=0,2,4,6
/proc/23649/stat : 23649 (java) S 23647 23649 19222 0 -1 4202496 914783 0 1 0 179908 109 0 0 25 0 22 0 831164796 10814210048 908201 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23649/statm: 2640188 908201 2274 9 0 2630922 0
[pid=23649/tid=23650] ppid=23647 vsize=10560752 CPUtime=0.95 cores=0,2,4,6
/proc/23649/task/23650/stat : 23650 (java) S 23647 23649 19222 0 -1 4202560 54842 0 1 0 90 5 0 0 15 0 22 0 831164797 10814210048 908201 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 4 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23655] ppid=23647 vsize=10560752 CPUtime=0.16 cores=0,2,4,6
/proc/23649/task/23655/stat : 23655 (java) S 23647 23649 19222 0 -1 4202560 3412 0 0 0 16 0 0 0 15 0 22 0 831164799 10814210048 908201 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 6 0 0 0
[pid=23649/tid=23656] ppid=23647 vsize=10560752 CPUtime=0.15 cores=0,2,4,6
/proc/23649/task/23656/stat : 23656 (java) S 23647 23649 19222 0 -1 4202560 4146 0 0 0 15 0 0 0 16 0 22 0 831164799 10814210048 908201 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23657] ppid=23647 vsize=10560752 CPUtime=0.2 cores=0,2,4,6
/proc/23649/task/23657/stat : 23657 (java) S 23647 23649 19222 0 -1 4202560 4419 0 0 0 20 0 0 0 16 0 22 0 831164799 10814210048 908201 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23658] ppid=23647 vsize=10560752 CPUtime=0.13 cores=0,2,4,6
/proc/23649/task/23658/stat : 23658 (java) S 23647 23649 19222 0 -1 4202560 1934 0 0 0 13 0 0 0 15 0 22 0 831164799 10814210048 908201 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23659] ppid=23647 vsize=10560752 CPUtime=0.2 cores=0,2,4,6
/proc/23649/task/23659/stat : 23659 (java) S 23647 23649 19222 0 -1 4202560 5205 0 0 0 20 0 0 0 16 0 22 0 831164799 10814210048 908201 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 4 0 0 0
[pid=23649/tid=23660] ppid=23647 vsize=10560752 CPUtime=0.19 cores=0,2,4,6
/proc/23649/task/23660/stat : 23660 (java) S 23647 23649 19222 0 -1 4202560 5660 0 0 0 19 0 0 0 16 0 22 0 831164799 10814210048 908201 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23661] ppid=23647 vsize=10560752 CPUtime=0.15 cores=0,2,4,6
/proc/23649/task/23661/stat : 23661 (java) S 23647 23649 19222 0 -1 4202560 4928 0 0 0 15 0 0 0 15 0 22 0 831164799 10814210048 908201 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 6 0 0 0
[pid=23649/tid=23662] ppid=23647 vsize=10560752 CPUtime=0.18 cores=0,2,4,6
/proc/23649/task/23662/stat : 23662 (java) S 23647 23649 19222 0 -1 4202560 3057 0 0 0 18 0 0 0 16 0 22 0 831164799 10814210048 908201 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 6 0 0 0
[pid=23649/tid=23663] ppid=23647 vsize=10560752 CPUtime=3.95 cores=0,2,4,6
/proc/23649/task/23663/stat : 23663 (java) S 23647 23649 19222 0 -1 4202560 27367 0 0 0 393 2 0 0 15 0 22 0 831164800 10814210048 908201 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 0 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23664] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23664/stat : 23664 (java) S 23647 23649 19222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831164800 10814210048 908201 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23665] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23665/stat : 23665 (java) S 23647 23649 19222 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 831164800 10814210048 908201 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 4 0 0 0
[pid=23649/tid=23666] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23666/stat : 23666 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831164802 10814210048 908201 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820989361 0 4 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23667] ppid=23647 vsize=10560752 CPUtime=1.47 cores=0,2,4,6
/proc/23649/task/23667/stat : 23667 (java) S 23647 23649 19222 0 -1 4202560 9548 0 0 0 146 1 0 0 15 0 22 0 831164802 10814210048 908201 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 4 0 0 0
[pid=23649/tid=23668] ppid=23647 vsize=10560752 CPUtime=1.33 cores=0,2,4,6
/proc/23649/task/23668/stat : 23668 (java) S 23647 23649 19222 0 -1 4202560 5828 0 0 0 133 0 0 0 15 0 22 0 831164802 10814210048 908201 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 6 0 0 0
[pid=23649/tid=23669] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23669/stat : 23669 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831164802 10814210048 908201 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820981657 0 4 0 16800975 18446604443138680832 0 0 -1 2 0 0 0
[pid=23649/tid=23670] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23670/stat : 23670 (java) S 23647 23649 19222 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 831164802 10814210048 908201 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 4 0 16800975 18446604443138680832 0 0 -1 0 0 0 0
[pid=23649/tid=23677] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23677/stat : 23677 (java) S 23647 23649 19222 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831164891 10814210048 908201 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 4 0 16800975 18446604443138680832 0 0 -1 6 0 0 0
[pid=23649/tid=23831] ppid=23647 vsize=10560752 CPUtime=3.23 cores=0,2,4,6
/proc/23649/task/23831/stat : 23831 (java) R 23647 23649 19222 0 -1 4202560 0 0 0 0 323 0 0 0 22 0 22 0 831254944 10814210048 908201 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 46912506218347 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23649/tid=23832] ppid=23647 vsize=10560752 CPUtime=3.23 cores=0,2,4,6
/proc/23649/task/23832/stat : 23832 (java) R 23647 23649 19222 0 -1 4202560 0 0 0 0 323 0 0 0 25 0 22 0 831254944 10814210048 908201 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 46912506218293 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23649/tid=23833] ppid=23647 vsize=10560752 CPUtime=0 cores=0,2,4,6
/proc/23649/task/23833/stat : 23833 (java) S 23647 23649 19222 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831254944 10814210048 908201 33554432000 1073741824 1073778376 140736009383152 18446744073709551615 230820982272 0 4 0 16800975 18446604443138680832 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 10560752
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+904.819 s]
/proc/loadavg: 3.89 3.88 3.75 5/416 23833
/proc/meminfo: memFree=17027324/32951124 swapFree=37148216/67111528
[pid=23649] ppid=23647 vsize=0 CPUtime=1800.31 cores=0,2,4,6
/proc/23649/stat : 23649 (java) Z 23647 23649 19222 0 -1 4203548 914812 0 1 0 179915 116 0 0 17 0 2 0 831164796 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23649/statm: 0 0 0 0 0 0 0
[pid=23649/tid=23831] ppid=23647 vsize=0 CPUtime=3.32 cores=0,2,4,6
/proc/23649/task/23831/stat : 23831 (java) R 23647 23649 19222 0 -1 4203588 0 0 0 0 325 7 0 0 22 0 2 0 831254944 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 904.888
CPU time (s): 1800.39
CPU user time (s): 1799.15
CPU system time (s): 1.23281
CPU usage (%): 198.962
Max. virtual memory (cumulated for all children) (KiB): 10560752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
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= 914812
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= 22089
involuntary context switches= 13779
runsolver used 3.54946 second user time and 7.26389 second system time
The end