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-3456751-1307641845/watcher-3456751-1307641845 -o /tmp/evaluation-result-3456751-1307641845/solver-3456751-1307641845 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456751-1307641845.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.00 2.00 2.00 3/195 5574
/proc/meminfo: memFree=28925372/32950940 swapFree=67074964/67111528
[pid=5574] ppid=5572 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/5574/stat : 5574 (java) R 5572 5574 4604 0 -1 4202496 953 0 0 0 0 0 0 0 25 0 1 0 954415297 23580672 698 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 215983629800 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5574/statm: 5757 699 516 9 0 124 0
[startup+0.0642111 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 5574
/proc/meminfo: memFree=28925372/32950940 swapFree=67074964/67111528
[pid=5574] ppid=5572 vsize=10472924 CPUtime=0.05 cores=0,2,4,6
/proc/5574/stat : 5574 (java) S 5572 5574 4604 0 -1 4202496 11677 0 1 0 3 2 0 0 25 0 18 0 954415297 10724274176 11375 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5574/statm: 2618231 11375 1733 9 0 2608972 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472924
[startup+0.100205 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 5574
/proc/meminfo: memFree=28925372/32950940 swapFree=67074964/67111528
[pid=5574] ppid=5572 vsize=10539796 CPUtime=0.1 cores=0,2,4,6
/proc/5574/stat : 5574 (java) S 5572 5574 4604 0 -1 4202496 13052 0 1 0 8 2 0 0 25 0 18 0 954415297 10792751104 12716 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5574/statm: 2634949 12718 2093 9 0 2625683 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539796
[startup+0.300172 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 5574
/proc/meminfo: memFree=28925372/32950940 swapFree=67074964/67111528
[pid=5574] ppid=5572 vsize=10548304 CPUtime=0.59 cores=0,2,4,6
/proc/5574/stat : 5574 (java) S 5572 5574 4604 0 -1 4202496 23420 0 1 0 55 4 0 0 25 0 18 0 954415297 10801463296 20914 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5574/statm: 2637076 20914 2210 9 0 2627810 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 10548304
[startup+0.700102 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 5574
/proc/meminfo: memFree=28925372/32950940 swapFree=67074964/67111528
[pid=5574] ppid=5572 vsize=10559064 CPUtime=1.64 cores=0,2,4,6
/proc/5574/stat : 5574 (java) S 5572 5574 4604 0 -1 4202496 33377 0 1 0 158 6 0 0 25 0 19 0 954415297 10812481536 29132 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5574/statm: 2639766 29134 2226 9 0 2630500 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10559064
[startup+1.50101 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 5593
/proc/meminfo: memFree=28644092/32950940 swapFree=67074964/67111528
[pid=5574] ppid=5572 vsize=10559064 CPUtime=2.65 cores=0,2,4,6
/proc/5574/stat : 5574 (java) S 5572 5574 4604 0 -1 4202496 134887 0 1 0 248 17 0 0 25 0 19 0 954415297 10812481536 130641 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5574/statm: 2639766 130649 2229 9 0 2630500 0
[pid=5574/tid=5576] ppid=5572 vsize=10559064 CPUtime=1.48 cores=0,2,4,6
/proc/5574/task/5576/stat : 5576 (java) R 5572 5574 4604 0 -1 4202560 121212 0 1 0 134 14 0 0 25 0 19 0 954415297 10812481536 130653 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 46912505579946 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5574/tid=5577] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5577/stat : 5577 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415299 10812481536 130653 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5578] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5578/stat : 5578 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415299 10812481536 130653 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5579] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5579/stat : 5579 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415299 10812481536 130654 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5580] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5580/stat : 5580 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415299 10812481536 130658 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5581] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5581/stat : 5581 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415299 10812481536 130664 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5582] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5582/stat : 5582 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415299 10812481536 130667 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5583] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5583/stat : 5583 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415299 10812481536 130667 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5584] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5584/stat : 5584 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415299 10812481536 130667 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5585] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5585/stat : 5585 (java) S 5572 5574 4604 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 954415300 10812481536 130668 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000409088 0 0 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5586] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5586/stat : 5586 (java) S 5572 5574 4604 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954415301 10812481536 130674 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5587] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5587/stat : 5587 (java) S 5572 5574 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954415301 10812481536 130680 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5588] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5588/stat : 5588 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415303 10812481536 130681 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000416177 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5589] ppid=5572 vsize=10559064 CPUtime=0.6 cores=0,2,4,6
/proc/5574/task/5589/stat : 5589 (java) S 5572 5574 4604 0 -1 4202560 7497 0 0 0 59 1 0 0 19 0 19 0 954415303 10812481536 130681 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 0 0 0 0
[pid=5574/tid=5590] ppid=5572 vsize=10559064 CPUtime=0.55 cores=0,2,4,6
/proc/5574/task/5590/stat : 5590 (java) S 5572 5574 4604 0 -1 4202560 5031 0 0 0 54 1 0 0 18 0 19 0 954415303 10812481536 130682 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5591] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5591/stat : 5591 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415303 10812481536 130683 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5592] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5592/stat : 5592 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 954415303 10812481536 130689 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000409088 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5593] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5593/stat : 5593 (java) S 5572 5574 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954415330 10812481536 130695 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000409088 0 4 0 16800975 18446604443065354176 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 10559064
[startup+3.10079 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 5593
/proc/meminfo: memFree=28118816/32950940 swapFree=67074964/67111528
[pid=5574] ppid=5572 vsize=10559064 CPUtime=4.47 cores=0,2,4,6
/proc/5574/stat : 5574 (java) S 5572 5574 4604 0 -1 4202496 338987 0 1 0 409 38 0 0 25 0 19 0 954415297 10812481536 334741 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5574/statm: 2639766 334741 2229 9 0 2630500 0
[pid=5574/tid=5576] ppid=5572 vsize=10559064 CPUtime=3.08 cores=0,2,4,6
/proc/5574/task/5576/stat : 5576 (java) R 5572 5574 4604 0 -1 4202560 325276 0 1 0 273 35 0 0 25 0 19 0 954415297 10812481536 334741 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 46912505579886 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5574/tid=5577] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5577/stat : 5577 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415299 10812481536 334746 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5578] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5578/stat : 5578 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415299 10812481536 334751 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5579] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5579/stat : 5579 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415299 10812481536 334757 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5580] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5580/stat : 5580 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415299 10812481536 334763 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5581] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5581/stat : 5581 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415299 10812481536 334769 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5582] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5582/stat : 5582 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415299 10812481536 334775 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5583] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5583/stat : 5583 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415299 10812481536 334781 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5584] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5584/stat : 5584 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415299 10812481536 334782 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5585] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5585/stat : 5585 (java) S 5572 5574 4604 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 954415300 10812481536 334782 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000409088 0 0 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5586] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5586/stat : 5586 (java) S 5572 5574 4604 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954415301 10812481536 334782 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5587] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5587/stat : 5587 (java) S 5572 5574 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954415301 10812481536 334786 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5588] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5588/stat : 5588 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415303 10812481536 334792 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000416177 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5589] ppid=5572 vsize=10559064 CPUtime=0.69 cores=0,2,4,6
/proc/5574/task/5589/stat : 5589 (java) S 5572 5574 4604 0 -1 4202560 7507 0 0 0 68 1 0 0 15 0 19 0 954415303 10812481536 334797 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 0 0 0 0
[pid=5574/tid=5590] ppid=5572 vsize=10559064 CPUtime=0.68 cores=0,2,4,6
/proc/5574/task/5590/stat : 5590 (java) R 5572 5574 4604 0 -1 4202560 5045 0 0 0 67 1 0 0 15 0 19 0 954415303 10812481536 334804 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 47728705054848 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5574/tid=5591] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5591/stat : 5591 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415303 10812481536 334810 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5592] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5592/stat : 5592 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 954415303 10812481536 334815 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000409088 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5593] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5593/stat : 5593 (java) S 5572 5574 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954415330 10812481536 334822 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000409088 0 4 0 16800975 18446604443065354176 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.47
Current children cumulated vsize (KiB) 10559064
[startup+6.30124 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 5593
/proc/meminfo: memFree=26397540/32950940 swapFree=67074964/67111528
[pid=5574] ppid=5572 vsize=10559064 CPUtime=7.7 cores=0,2,4,6
/proc/5574/stat : 5574 (java) S 5572 5574 4604 0 -1 4202496 665792 0 1 0 700 70 0 0 25 0 19 0 954415297 10812481536 661534 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5574/statm: 2639766 661534 2243 9 0 2630500 0
[pid=5574/tid=5576] ppid=5572 vsize=10559064 CPUtime=6.28 cores=0,2,4,6
/proc/5574/task/5576/stat : 5576 (java) R 5572 5574 4604 0 -1 4202560 651052 0 1 0 560 68 0 0 25 0 19 0 954415297 10812481536 661534 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 46912505580019 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5574/tid=5577] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5577/stat : 5577 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 954415299 10812481536 661534 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5578] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5578/stat : 5578 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 954415299 10812481536 661534 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5579] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5579/stat : 5579 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 954415299 10812481536 661534 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5580] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5580/stat : 5580 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 954415299 10812481536 661534 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5581] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5581/stat : 5581 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 954415299 10812481536 661534 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5582] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5582/stat : 5582 (java) S 5572 5574 4604 0 -1 4202560 242 0 0 0 0 0 0 0 18 0 19 0 954415299 10812481536 661534 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 0 0 0 0
[pid=5574/tid=5583] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5583/stat : 5583 (java) S 5572 5574 4604 0 -1 4202560 392 0 0 0 0 0 0 0 18 0 19 0 954415299 10812481536 661534 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5584] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5584/stat : 5584 (java) S 5572 5574 4604 0 -1 4202560 384 0 0 0 0 0 0 0 18 0 19 0 954415299 10812481536 661534 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5585] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5585/stat : 5585 (java) S 5572 5574 4604 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 954415300 10812481536 661534 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000409088 0 0 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5586] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5586/stat : 5586 (java) S 5572 5574 4604 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 954415301 10812481536 661534 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5587] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5587/stat : 5587 (java) S 5572 5574 4604 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954415301 10812481536 661534 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 0 0 0 0
[pid=5574/tid=5588] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5588/stat : 5588 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415303 10812481536 661534 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000416177 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5589] ppid=5572 vsize=10559064 CPUtime=0.69 cores=0,2,4,6
/proc/5574/task/5589/stat : 5589 (java) S 5572 5574 4604 0 -1 4202560 7507 0 0 0 68 1 0 0 15 0 19 0 954415303 10812481536 661534 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 0 0 0 0
[pid=5574/tid=5590] ppid=5572 vsize=10559064 CPUtime=0.7 cores=0,2,4,6
/proc/5574/task/5590/stat : 5590 (java) S 5572 5574 4604 0 -1 4202560 5050 0 0 0 69 1 0 0 15 0 19 0 954415303 10812481536 661534 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 0 0 0 0
[pid=5574/tid=5591] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5591/stat : 5591 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415303 10812481536 661534 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5592] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5592/stat : 5592 (java) S 5572 5574 4604 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 954415303 10812481536 661534 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000409088 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5593] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5593/stat : 5593 (java) S 5572 5574 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954415330 10812481536 661534 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000409088 0 4 0 16800975 18446604443065354176 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.7
Current children cumulated vsize (KiB) 10559064
[startup+12.7011 s]
################
# More data... #
################
/proc/5574/task/5587/stat : 5587 (java) S 5572 5574 4604 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954415301 10812481536 936291 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 0 0 0 0
[pid=5574/tid=5588] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5588/stat : 5588 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415303 10812481536 936291 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000416177 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5589] ppid=5572 vsize=10559064 CPUtime=0.93 cores=0,2,4,6
/proc/5574/task/5589/stat : 5589 (java) S 5572 5574 4604 0 -1 4202560 7556 0 0 0 92 1 0 0 15 0 19 0 954415303 10812481536 936291 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5590] ppid=5572 vsize=10559064 CPUtime=0.9 cores=0,2,4,6
/proc/5574/task/5590/stat : 5590 (java) S 5572 5574 4604 0 -1 4202560 5084 0 0 0 89 1 0 0 15 0 19 0 954415303 10812481536 936291 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 0 0 0 0
[pid=5574/tid=5591] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5591/stat : 5591 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415303 10812481536 936291 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5592] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5592/stat : 5592 (java) S 5572 5574 4604 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 954415303 10812481536 936291 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000409088 0 4 0 16800975 18446604443065354176 0 0 -1 0 0 0 0
[pid=5574/tid=5593] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5593/stat : 5593 (java) S 5572 5574 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954415330 10812481536 936291 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000409088 0 4 0 16800975 18446604443065354176 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1666.9
Current children cumulated vsize (KiB) 10559064
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 5707
/proc/meminfo: memFree=25034080/32950940 swapFree=67074964/67111528
[pid=5574] ppid=5572 vsize=10559064 CPUtime=1727.04 cores=0,2,4,6
/proc/5574/stat : 5574 (java) S 5572 5574 4604 0 -1 4202496 944036 0 1 0 172596 108 0 0 25 0 19 0 954415297 10812481536 937309 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5574/statm: 2639766 937309 2244 9 0 2630500 0
[pid=5574/tid=5576] ppid=5572 vsize=10559064 CPUtime=1720.95 cores=0,2,4,6
/proc/5574/task/5576/stat : 5576 (java) R 5572 5574 4604 0 -1 4202560 854768 0 1 0 172006 89 0 0 25 0 19 0 954415297 10812481536 937309 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 46912505887391 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5574/tid=5577] ppid=5572 vsize=10559064 CPUtime=0.56 cores=0,2,4,6
/proc/5574/task/5577/stat : 5577 (java) S 5572 5574 4604 0 -1 4202560 9310 0 0 0 55 1 0 0 15 0 19 0 954415299 10812481536 937309 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 2 0 0 0
[pid=5574/tid=5578] ppid=5572 vsize=10559064 CPUtime=0.54 cores=0,2,4,6
/proc/5574/task/5578/stat : 5578 (java) S 5572 5574 4604 0 -1 4202560 12384 0 0 0 52 2 0 0 15 0 19 0 954415299 10812481536 937309 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5579] ppid=5572 vsize=10559064 CPUtime=0.51 cores=0,2,4,6
/proc/5574/task/5579/stat : 5579 (java) S 5572 5574 4604 0 -1 4202560 8827 0 0 0 51 0 0 0 15 0 19 0 954415299 10812481536 937309 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5580] ppid=5572 vsize=10559064 CPUtime=0.47 cores=0,2,4,6
/proc/5574/task/5580/stat : 5580 (java) S 5572 5574 4604 0 -1 4202560 9298 0 0 0 46 1 0 0 15 0 19 0 954415299 10812481536 937309 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5581] ppid=5572 vsize=10559064 CPUtime=0.47 cores=0,2,4,6
/proc/5574/task/5581/stat : 5581 (java) S 5572 5574 4604 0 -1 4202560 8357 0 0 0 46 1 0 0 16 0 19 0 954415299 10812481536 937309 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5582] ppid=5572 vsize=10559064 CPUtime=0.52 cores=0,2,4,6
/proc/5574/task/5582/stat : 5582 (java) S 5572 5574 4604 0 -1 4202560 8529 0 0 0 51 1 0 0 16 0 19 0 954415299 10812481536 937309 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 0 0 0 0
[pid=5574/tid=5583] ppid=5572 vsize=10559064 CPUtime=0.49 cores=0,2,4,6
/proc/5574/task/5583/stat : 5583 (java) S 5572 5574 4604 0 -1 4202560 8650 0 0 0 48 1 0 0 16 0 19 0 954415299 10812481536 937309 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5584] ppid=5572 vsize=10559064 CPUtime=0.54 cores=0,2,4,6
/proc/5574/task/5584/stat : 5584 (java) S 5572 5574 4604 0 -1 4202560 9913 0 0 0 52 2 0 0 16 0 19 0 954415299 10812481536 937309 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 2 0 0 0
[pid=5574/tid=5585] ppid=5572 vsize=10559064 CPUtime=0.05 cores=0,2,4,6
/proc/5574/task/5585/stat : 5585 (java) S 5572 5574 4604 0 -1 4202560 113 0 0 0 3 2 0 0 15 0 19 0 954415300 10812481536 937309 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000409088 0 0 0 16800975 18446604443065354176 0 0 -1 2 0 0 0
[pid=5574/tid=5586] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5586/stat : 5586 (java) S 5572 5574 4604 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 954415301 10812481536 937309 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5587] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5587/stat : 5587 (java) S 5572 5574 4604 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954415301 10812481536 937309 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 0 0 0 0
[pid=5574/tid=5588] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5588/stat : 5588 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415303 10812481536 937309 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000416177 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5589] ppid=5572 vsize=10559064 CPUtime=0.93 cores=0,2,4,6
/proc/5574/task/5589/stat : 5589 (java) S 5572 5574 4604 0 -1 4202560 7556 0 0 0 92 1 0 0 15 0 19 0 954415303 10812481536 937309 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5590] ppid=5572 vsize=10559064 CPUtime=0.9 cores=0,2,4,6
/proc/5574/task/5590/stat : 5590 (java) S 5572 5574 4604 0 -1 4202560 5084 0 0 0 89 1 0 0 15 0 19 0 954415303 10812481536 937309 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 0 0 0 0
[pid=5574/tid=5591] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5591/stat : 5591 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415303 10812481536 937309 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5592] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5592/stat : 5592 (java) S 5572 5574 4604 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 954415303 10812481536 937309 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000409088 0 4 0 16800975 18446604443065354176 0 0 -1 0 0 0 0
[pid=5574/tid=5593] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5593/stat : 5593 (java) S 5572 5574 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954415330 10812481536 937309 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000409088 0 4 0 16800975 18446604443065354176 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1727.04
Current children cumulated vsize (KiB) 10559064
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 5708
/proc/meminfo: memFree=25029188/32950940 swapFree=67074964/67111528
[pid=5574] ppid=5572 vsize=10559064 CPUtime=1787.15 cores=0,2,4,6
/proc/5574/stat : 5574 (java) S 5572 5574 4604 0 -1 4202496 945244 0 1 0 178607 108 0 0 25 0 19 0 954415297 10812481536 938482 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5574/statm: 2639766 938482 2244 9 0 2630500 0
[pid=5574/tid=5576] ppid=5572 vsize=10559064 CPUtime=1780.91 cores=0,2,4,6
/proc/5574/task/5576/stat : 5576 (java) R 5572 5574 4604 0 -1 4202560 854774 0 1 0 178002 89 0 0 25 0 19 0 954415297 10812481536 938482 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 46912505699343 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5574/tid=5577] ppid=5572 vsize=10559064 CPUtime=0.6 cores=0,2,4,6
/proc/5574/task/5577/stat : 5577 (java) S 5572 5574 4604 0 -1 4202560 9482 0 0 0 58 2 0 0 16 0 19 0 954415299 10812481536 938482 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5578] ppid=5572 vsize=10559064 CPUtime=0.55 cores=0,2,4,6
/proc/5574/task/5578/stat : 5578 (java) S 5572 5574 4604 0 -1 4202560 12428 0 0 0 53 2 0 0 16 0 19 0 954415299 10812481536 938482 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 2 0 0 0
[pid=5574/tid=5579] ppid=5572 vsize=10559064 CPUtime=0.55 cores=0,2,4,6
/proc/5574/task/5579/stat : 5579 (java) S 5572 5574 4604 0 -1 4202560 9175 0 0 0 55 0 0 0 16 0 19 0 954415299 10812481536 938482 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5580] ppid=5572 vsize=10559064 CPUtime=0.48 cores=0,2,4,6
/proc/5574/task/5580/stat : 5580 (java) S 5572 5574 4604 0 -1 4202560 9418 0 0 0 47 1 0 0 15 0 19 0 954415299 10812481536 938482 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 2 0 0 0
[pid=5574/tid=5581] ppid=5572 vsize=10559064 CPUtime=0.48 cores=0,2,4,6
/proc/5574/task/5581/stat : 5581 (java) S 5572 5574 4604 0 -1 4202560 8458 0 0 0 47 1 0 0 15 0 19 0 954415299 10812481536 938482 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 2 0 0 0
[pid=5574/tid=5582] ppid=5572 vsize=10559064 CPUtime=0.54 cores=0,2,4,6
/proc/5574/task/5582/stat : 5582 (java) S 5572 5574 4604 0 -1 4202560 8685 0 0 0 53 1 0 0 16 0 19 0 954415299 10812481536 938482 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 0 0 0 0
[pid=5574/tid=5583] ppid=5572 vsize=10559064 CPUtime=0.51 cores=0,2,4,6
/proc/5574/task/5583/stat : 5583 (java) S 5572 5574 4604 0 -1 4202560 8818 0 0 0 50 1 0 0 16 0 19 0 954415299 10812481536 938482 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 0 0 0 0
[pid=5574/tid=5584] ppid=5572 vsize=10559064 CPUtime=0.55 cores=0,2,4,6
/proc/5574/task/5584/stat : 5584 (java) S 5572 5574 4604 0 -1 4202560 10000 0 0 0 53 2 0 0 15 0 19 0 954415299 10812481536 938482 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 2 0 0 0
[pid=5574/tid=5585] ppid=5572 vsize=10559064 CPUtime=0.05 cores=0,2,4,6
/proc/5574/task/5585/stat : 5585 (java) S 5572 5574 4604 0 -1 4202560 115 0 0 0 3 2 0 0 15 0 19 0 954415300 10812481536 938482 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000409088 0 0 0 16800975 18446604443065354176 0 0 -1 2 0 0 0
[pid=5574/tid=5586] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5586/stat : 5586 (java) S 5572 5574 4604 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 954415301 10812481536 938482 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5587] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5587/stat : 5587 (java) S 5572 5574 4604 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954415301 10812481536 938482 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 0 0 0 0
[pid=5574/tid=5588] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5588/stat : 5588 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415303 10812481536 938482 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000416177 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5589] ppid=5572 vsize=10559064 CPUtime=0.93 cores=0,2,4,6
/proc/5574/task/5589/stat : 5589 (java) S 5572 5574 4604 0 -1 4202560 7556 0 0 0 92 1 0 0 15 0 19 0 954415303 10812481536 938482 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5590] ppid=5572 vsize=10559064 CPUtime=0.9 cores=0,2,4,6
/proc/5574/task/5590/stat : 5590 (java) S 5572 5574 4604 0 -1 4202560 5084 0 0 0 89 1 0 0 15 0 19 0 954415303 10812481536 938482 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 0 0 0 0
[pid=5574/tid=5591] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5591/stat : 5591 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415303 10812481536 938482 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5592] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5592/stat : 5592 (java) S 5572 5574 4604 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 954415303 10812481536 938482 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000409088 0 4 0 16800975 18446604443065354176 0 0 -1 0 0 0 0
[pid=5574/tid=5593] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5593/stat : 5593 (java) S 5572 5574 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954415330 10812481536 938482 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000409088 0 4 0 16800975 18446604443065354176 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1787.15
Current children cumulated vsize (KiB) 10559064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.21 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 5709
/proc/meminfo: memFree=25027064/32950940 swapFree=67074964/67111528
[pid=5574] ppid=5572 vsize=10559064 CPUtime=1800.1 cores=0,2,4,6
/proc/5574/stat : 5574 (java) S 5572 5574 4604 0 -1 4202496 945740 0 1 0 179902 108 0 0 25 0 19 0 954415297 10812481536 938950 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5574/statm: 2639766 938950 2244 9 0 2630500 0
[pid=5574/tid=5576] ppid=5572 vsize=10559064 CPUtime=1793.8 cores=0,2,4,6
/proc/5574/task/5576/stat : 5576 (java) R 5572 5574 4604 0 -1 4202560 854776 0 1 0 179291 89 0 0 25 0 19 0 954415297 10812481536 938950 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 46912506117348 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5574/tid=5577] ppid=5572 vsize=10559064 CPUtime=0.6 cores=0,2,4,6
/proc/5574/task/5577/stat : 5577 (java) S 5572 5574 4604 0 -1 4202560 9482 0 0 0 58 2 0 0 15 0 19 0 954415299 10812481536 938950 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5578] ppid=5572 vsize=10559064 CPUtime=0.55 cores=0,2,4,6
/proc/5574/task/5578/stat : 5578 (java) S 5572 5574 4604 0 -1 4202560 12430 0 0 0 53 2 0 0 15 0 19 0 954415299 10812481536 938950 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5579] ppid=5572 vsize=10559064 CPUtime=0.55 cores=0,2,4,6
/proc/5574/task/5579/stat : 5579 (java) S 5572 5574 4604 0 -1 4202560 9175 0 0 0 55 0 0 0 16 0 19 0 954415299 10812481536 938950 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5580] ppid=5572 vsize=10559064 CPUtime=0.49 cores=0,2,4,6
/proc/5574/task/5580/stat : 5580 (java) S 5572 5574 4604 0 -1 4202560 9540 0 0 0 48 1 0 0 16 0 19 0 954415299 10812481536 938950 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 6 0 0 0
[pid=5574/tid=5581] ppid=5572 vsize=10559064 CPUtime=0.49 cores=0,2,4,6
/proc/5574/task/5581/stat : 5581 (java) S 5572 5574 4604 0 -1 4202560 8511 0 0 0 48 1 0 0 16 0 19 0 954415299 10812481536 938950 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 2 0 0 0
[pid=5574/tid=5582] ppid=5572 vsize=10559064 CPUtime=0.55 cores=0,2,4,6
/proc/5574/task/5582/stat : 5582 (java) S 5572 5574 4604 0 -1 4202560 8737 0 0 0 54 1 0 0 16 0 19 0 954415299 10812481536 938950 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 0 0 0 0
[pid=5574/tid=5583] ppid=5572 vsize=10559064 CPUtime=0.53 cores=0,2,4,6
/proc/5574/task/5583/stat : 5583 (java) S 5572 5574 4604 0 -1 4202560 8952 0 0 0 52 1 0 0 16 0 19 0 954415299 10812481536 938950 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5584] ppid=5572 vsize=10559064 CPUtime=0.56 cores=0,2,4,6
/proc/5574/task/5584/stat : 5584 (java) S 5572 5574 4604 0 -1 4202560 10129 0 0 0 54 2 0 0 15 0 19 0 954415299 10812481536 938950 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 2 0 0 0
[pid=5574/tid=5585] ppid=5572 vsize=10559064 CPUtime=0.05 cores=0,2,4,6
/proc/5574/task/5585/stat : 5585 (java) S 5572 5574 4604 0 -1 4202560 117 0 0 0 3 2 0 0 15 0 19 0 954415300 10812481536 938950 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000409088 0 0 0 16800975 18446604443065354176 0 0 -1 2 0 0 0
[pid=5574/tid=5586] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5586/stat : 5586 (java) S 5572 5574 4604 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 954415301 10812481536 938950 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5587] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5587/stat : 5587 (java) S 5572 5574 4604 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954415301 10812481536 938950 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 0 0 0 0
[pid=5574/tid=5588] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5588/stat : 5588 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415303 10812481536 938950 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000416177 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5589] ppid=5572 vsize=10559064 CPUtime=0.93 cores=0,2,4,6
/proc/5574/task/5589/stat : 5589 (java) S 5572 5574 4604 0 -1 4202560 7556 0 0 0 92 1 0 0 15 0 19 0 954415303 10812481536 938950 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5590] ppid=5572 vsize=10559064 CPUtime=0.9 cores=0,2,4,6
/proc/5574/task/5590/stat : 5590 (java) S 5572 5574 4604 0 -1 4202560 5084 0 0 0 89 1 0 0 15 0 19 0 954415303 10812481536 938950 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 0 0 0 0
[pid=5574/tid=5591] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5591/stat : 5591 (java) S 5572 5574 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954415303 10812481536 938950 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000408473 0 4 0 16800975 18446604443065354176 0 0 -1 4 0 0 0
[pid=5574/tid=5592] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5592/stat : 5592 (java) S 5572 5574 4604 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 954415303 10812481536 938950 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000409088 0 4 0 16800975 18446604443065354176 0 0 -1 0 0 0 0
[pid=5574/tid=5593] ppid=5572 vsize=10559064 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5593/stat : 5593 (java) S 5572 5574 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954415330 10812481536 938950 33554432000 1073741824 1073778376 140734659188528 18446744073709551615 216000409088 0 4 0 16800975 18446604443065354176 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10559064
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 5709
/proc/meminfo: memFree=25027064/32950940 swapFree=67074964/67111528
[pid=5574] ppid=5572 vsize=0 CPUtime=1800.22 cores=0,2,4,6
/proc/5574/stat : 5574 (java) Z 5572 5574 4604 0 -1 4203548 945773 0 1 0 179908 114 0 0 17 0 2 0 954415297 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5574/statm: 0 0 0 0 0 0 0
[pid=5574/tid=5591] ppid=5572 vsize=0 CPUtime=0.06 cores=0,2,4,6
/proc/5574/task/5591/stat : 5591 (java) R 5572 5574 4604 0 -1 4203588 1 0 0 0 0 6 0 0 18 0 2 0 954415303 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.38
CPU time (s): 1800.3
CPU user time (s): 1799.08
CPU system time (s): 1.21381
CPU usage (%): 100.274
Max. virtual memory (cumulated for all children) (KiB): 10559064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.08
system time used= 1.21381
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 945773
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= 43746
involuntary context switches= 24673
runsolver used 3.32749 second user time and 6.48501 second system time
The end