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-3454174-1307188928/watcher-3454174-1307188928 -o /tmp/evaluation-result-3454174-1307188928/solver-3454174-1307188928 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454174-1307188928.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: 3.41 3.44 2.86 2/545 28739
/proc/meminfo: memFree=22448948/32951124 swapFree=56930356/67111528
[pid=28739] ppid=28737 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/28739/stat : 28739 (java) S 28737 28739 25956 0 -1 4202496 6637 0 1 0 0 0 0 0 25 0 2 0 830490479 10694979584 6338 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917533669 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/28739/statm: 2611079 6351 917 9 0 2602235 0
[pid=28739/tid=28740] ppid=28737 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28740/stat : 28740 (java) R 28737 28739 25956 0 -1 4202560 7663 0 1 0 0 0 0 0 25 0 2 0 830490480 10694979584 8480 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218905424955 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.104934 s]
/proc/loadavg: 3.41 3.44 2.86 2/545 28739
/proc/meminfo: memFree=22448948/32951124 swapFree=56930356/67111528
[pid=28739] ppid=28737 vsize=10540420 CPUtime=0.11 cores=0,2,4,6
/proc/28739/stat : 28739 (java) S 28737 28739 25956 0 -1 4202496 13191 0 1 0 10 1 0 0 25 0 18 0 830490479 10793390080 12859 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28739/statm: 2635105 12865 2104 9 0 2625839 0
[pid=28739/tid=28740] ppid=28737 vsize=10540420 CPUtime=0.09 cores=0,2,4,6
/proc/28739/task/28740/stat : 28740 (java) R 28737 28739 25956 0 -1 4202560 11241 0 1 0 8 1 0 0 18 0 18 0 830490480 10793390080 12866 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 47362335701955 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540420
[startup+0.205928 s]
/proc/loadavg: 3.41 3.44 2.86 2/545 28739
/proc/meminfo: memFree=22448948/32951124 swapFree=56930356/67111528
[pid=28739] ppid=28737 vsize=10541320 CPUtime=0.3 cores=0,2,4,6
/proc/28739/stat : 28739 (java) S 28737 28739 25956 0 -1 4202496 14419 0 1 0 29 1 0 0 25 0 18 0 830490479 10794311680 14043 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28739/statm: 2635330 14044 2191 9 0 2626064 0
[pid=28739/tid=28740] ppid=28737 vsize=10541320 CPUtime=0.19 cores=0,2,4,6
/proc/28739/task/28740/stat : 28740 (java) R 28737 28739 25956 0 -1 4202560 12071 0 1 0 18 1 0 0 18 0 18 0 830490480 10794311680 14044 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 10541320
[startup+0.300882 s]
/proc/loadavg: 3.41 3.44 2.86 2/545 28739
/proc/meminfo: memFree=22448948/32951124 swapFree=56930356/67111528
[pid=28739] ppid=28737 vsize=10542000 CPUtime=0.51 cores=0,2,4,6
/proc/28739/stat : 28739 (java) S 28737 28739 25956 0 -1 4202496 16432 0 1 0 49 2 0 0 25 0 18 0 830490479 10795008000 15735 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28739/statm: 2635500 15736 2202 9 0 2626234 0
[pid=28739/tid=28740] ppid=28737 vsize=10542000 CPUtime=0.28 cores=0,2,4,6
/proc/28739/task/28740/stat : 28740 (java) R 28737 28739 25956 0 -1 4202560 13350 0 1 0 27 1 0 0 18 0 18 0 830490480 10795008000 15736 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 46912505555757 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10542000
[startup+0.700781 s]
/proc/loadavg: 3.41 3.44 2.86 2/545 28739
/proc/meminfo: memFree=22448948/32951124 swapFree=56930356/67111528
[pid=28739] ppid=28737 vsize=10548580 CPUtime=1.8 cores=0,2,4,6
/proc/28739/stat : 28739 (java) S 28737 28739 25956 0 -1 4202496 31629 0 1 0 176 4 0 0 25 0 22 0 830490479 10801745920 27041 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28739/statm: 2637145 27041 2239 9 0 2627879 0
[pid=28739/tid=28740] ppid=28737 vsize=10548580 CPUtime=0.44 cores=0,2,4,6
/proc/28739/task/28740/stat : 28740 (java) S 28737 28739 25956 0 -1 4202560 20397 0 1 0 42 2 0 0 19 0 22 0 830490480 10801745920 27041 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 10548580
[startup+1.50167 s]
/proc/loadavg: 3.41 3.44 2.86 5/567 28761
/proc/meminfo: memFree=22279012/32951124 swapFree=56930356/67111528
[pid=28739] ppid=28737 vsize=10548892 CPUtime=3.52 cores=0,2,4,6
/proc/28739/stat : 28739 (java) S 28737 28739 25956 0 -1 4202496 65444 0 1 0 344 8 0 0 25 0 22 0 830490479 10802065408 60621 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28739/statm: 2637223 60623 2240 9 0 2627957 0
[pid=28739/tid=28740] ppid=28737 vsize=10548892 CPUtime=0.44 cores=0,2,4,6
/proc/28739/task/28740/stat : 28740 (java) S 28737 28739 25956 0 -1 4202560 20397 0 1 0 42 2 0 0 15 0 22 0 830490480 10802065408 60624 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28742] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28742/stat : 28742 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830490481 10802065408 60626 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28743] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28743/stat : 28743 (java) S 28737 28739 25956 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830490481 10802065408 60627 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28744] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28744/stat : 28744 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830490481 10802065408 60628 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28745] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28745/stat : 28745 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830490481 10802065408 60629 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28746] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28746/stat : 28746 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830490481 10802065408 60630 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28747] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28747/stat : 28747 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830490481 10802065408 60632 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28748] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28748/stat : 28748 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830490481 10802065408 60633 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28749] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28749/stat : 28749 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830490481 10802065408 60634 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28750] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28750/stat : 28750 (java) S 28737 28739 25956 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 22 0 830490482 10802065408 60635 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 0 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28751] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28751/stat : 28751 (java) S 28737 28739 25956 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830490483 10802065408 60636 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28752] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28752/stat : 28752 (java) S 28737 28739 25956 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830490483 10802065408 60637 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28753] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28753/stat : 28753 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830490485 10802065408 60639 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917554609 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28754] ppid=28737 vsize=10548892 CPUtime=0.46 cores=0,2,4,6
/proc/28739/task/28754/stat : 28754 (java) S 28737 28739 25956 0 -1 4202560 2635 0 0 0 46 0 0 0 15 0 22 0 830490485 10802065408 60640 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 0 0 0 0
[pid=28739/tid=28755] ppid=28737 vsize=10548892 CPUtime=0.51 cores=0,2,4,6
/proc/28739/task/28755/stat : 28755 (java) S 28737 28739 25956 0 -1 4202560 4773 0 0 0 51 0 0 0 15 0 22 0 830490485 10802065408 60641 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 2 0 0 0
[pid=28739/tid=28756] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28756/stat : 28756 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830490485 10802065408 60642 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28757] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28757/stat : 28757 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830490485 10802065408 60643 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 4 0 16800975 18446604450421950464 0 0 -1 0 0 0 0
[pid=28739/tid=28758] ppid=28737 vsize=10548892 CPUtime=1.04 cores=0,2,4,6
/proc/28739/task/28758/stat : 28758 (java) R 28737 28739 25956 0 -1 4202560 236 0 0 0 104 0 0 0 20 0 22 0 830490524 10802065408 60645 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 46912505812263 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28739/tid=28759] ppid=28737 vsize=10548892 CPUtime=1.04 cores=0,2,4,6
/proc/28739/task/28759/stat : 28759 (java) R 28737 28739 25956 0 -1 4202560 36259 0 0 0 100 4 0 0 25 0 22 0 830490524 10802065408 60646 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 46912505740959 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28739/tid=28760] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28760/stat : 28760 (java) S 28737 28739 25956 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830490528 10802065408 60647 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28761] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28761/stat : 28761 (java) S 28737 28739 25956 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 830490528 10802065408 60648 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 10548892
[startup+3.10135 s]
/proc/loadavg: 3.46 3.45 2.87 4/567 28761
/proc/meminfo: memFree=22095368/32951124 swapFree=56930356/67111528
[pid=28739] ppid=28737 vsize=10548892 CPUtime=6.72 cores=0,2,4,6
/proc/28739/stat : 28739 (java) S 28737 28739 25956 0 -1 4202496 132100 0 1 0 655 17 0 0 25 0 22 0 830490479 10802065408 127276 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28739/statm: 2637223 127276 2240 9 0 2627957 0
[pid=28739/tid=28740] ppid=28737 vsize=10548892 CPUtime=0.44 cores=0,2,4,6
/proc/28739/task/28740/stat : 28740 (java) S 28737 28739 25956 0 -1 4202560 20397 0 1 0 42 2 0 0 15 0 22 0 830490480 10802065408 127276 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28742] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28742/stat : 28742 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830490481 10802065408 127276 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28743] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28743/stat : 28743 (java) S 28737 28739 25956 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830490481 10802065408 127276 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28744] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28744/stat : 28744 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830490481 10802065408 127276 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28745] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28745/stat : 28745 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830490481 10802065408 127276 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28746] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28746/stat : 28746 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830490481 10802065408 127276 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28747] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28747/stat : 28747 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830490481 10802065408 127276 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28748] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28748/stat : 28748 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830490481 10802065408 127276 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28749] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28749/stat : 28749 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830490481 10802065408 127276 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28750] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28750/stat : 28750 (java) S 28737 28739 25956 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 830490482 10802065408 127276 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 0 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28751] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28751/stat : 28751 (java) S 28737 28739 25956 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830490483 10802065408 127276 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28752] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28752/stat : 28752 (java) S 28737 28739 25956 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830490483 10802065408 127276 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28753] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28753/stat : 28753 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830490485 10802065408 127276 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917554609 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28754] ppid=28737 vsize=10548892 CPUtime=0.47 cores=0,2,4,6
/proc/28739/task/28754/stat : 28754 (java) S 28737 28739 25956 0 -1 4202560 2636 0 0 0 47 0 0 0 15 0 22 0 830490485 10802065408 127276 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 0 0 0 0
[pid=28739/tid=28755] ppid=28737 vsize=10548892 CPUtime=0.51 cores=0,2,4,6
/proc/28739/task/28755/stat : 28755 (java) S 28737 28739 25956 0 -1 4202560 4773 0 0 0 51 0 0 0 15 0 22 0 830490485 10802065408 127276 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 2 0 0 0
[pid=28739/tid=28756] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28756/stat : 28756 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830490485 10802065408 127276 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28757] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28757/stat : 28757 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830490485 10802065408 127276 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 4 0 16800975 18446604450421950464 0 0 -1 2 0 0 0
[pid=28739/tid=28758] ppid=28737 vsize=10548892 CPUtime=2.64 cores=0,2,4,6
/proc/28739/task/28758/stat : 28758 (java) R 28737 28739 25956 0 -1 4202560 371 0 0 0 264 0 0 0 25 0 22 0 830490524 10802065408 127276 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 46912505863271 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28739/tid=28759] ppid=28737 vsize=10548892 CPUtime=2.63 cores=0,2,4,6
/proc/28739/task/28759/stat : 28759 (java) R 28737 28739 25956 0 -1 4202560 102753 0 0 0 250 13 0 0 25 0 22 0 830490524 10802065408 127276 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 46912505896336 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=28739/tid=28760] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28760/stat : 28760 (java) S 28737 28739 25956 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830490528 10802065408 127276 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28761] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28761/stat : 28761 (java) S 28737 28739 25956 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 830490528 10802065408 127276 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.72
Current children cumulated vsize (KiB) 10548892
[startup+6.30083 s]
/proc/loadavg: 3.46 3.45 2.87 5/567 28761
/proc/meminfo: memFree=21651804/32951124 swapFree=56930356/67111528
[pid=28739] ppid=28737 vsize=10548892 CPUtime=13.55 cores=0,2,4,6
/proc/28739/stat : 28739 (java) S 28737 28739 25956 0 -1 4202496 209987 0 1 0 1327 28 0 0 25 0 22 0 830490479 10802065408 199615 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28739/statm: 2637223 199615 2266 9 0 2627957 0
[pid=28739/tid=28740] ppid=28737 vsize=10548892 CPUtime=0.44 cores=0,2,4,6
/proc/28739/task/28740/stat : 28740 (java) S 28737 28739 25956 0 -1 4202560 20397 0 1 0 42 2 0 0 15 0 22 0 830490480 10802065408 199615 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28742] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28742/stat : 28742 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830490481 10802065408 199615 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28743] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28743/stat : 28743 (java) S 28737 28739 25956 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 830490481 10802065408 199615 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28744] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28744/stat : 28744 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830490481 10802065408 199615 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28745] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28745/stat : 28745 (java) S 28737 28739 25956 0 -1 4202560 384 0 0 0 0 0 0 0 18 0 22 0 830490481 10802065408 199615 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28746] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28746/stat : 28746 (java) S 28737 28739 25956 0 -1 4202560 367 0 0 0 0 0 0 0 18 0 22 0 830490481 10802065408 199615 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 0 0 0 0
[pid=28739/tid=28747] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28747/stat : 28747 (java) S 28737 28739 25956 0 -1 4202560 129 0 0 0 0 0 0 0 18 0 22 0 830490481 10802065408 199615 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28748] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28748/stat : 28748 (java) S 28737 28739 25956 0 -1 4202560 393 0 0 0 0 0 0 0 17 0 22 0 830490481 10802065408 199615 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 2 0 0 0
[pid=28739/tid=28749] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28749/stat : 28749 (java) S 28737 28739 25956 0 -1 4202560 407 0 0 0 0 0 0 0 18 0 22 0 830490481 10802065408 199615 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=18762632/32951124 swapFree=56930356/67111528
[pid=28739] ppid=28737 vsize=10548892 CPUtime=1640.93 cores=0,2,4,6
/proc/28739/stat : 28739 (java) S 28737 28739 25956 0 -1 4202496 862114 0 1 0 163982 111 0 0 25 0 22 0 830490479 10802065408 849107 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28739/statm: 2637223 849107 2267 9 0 2627957 0
[pid=28739/tid=28740] ppid=28737 vsize=10548892 CPUtime=0.44 cores=0,2,4,6
/proc/28739/task/28740/stat : 28740 (java) S 28737 28739 25956 0 -1 4202560 20404 0 1 0 42 2 0 0 15 0 22 0 830490480 10802065408 849107 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28742] ppid=28737 vsize=10548892 CPUtime=0.09 cores=0,2,4,6
/proc/28739/task/28742/stat : 28742 (java) S 28737 28739 25956 0 -1 4202560 317 0 0 0 9 0 0 0 15 0 22 0 830490481 10802065408 849107 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28743] ppid=28737 vsize=10548892 CPUtime=0.11 cores=0,2,4,6
/proc/28739/task/28743/stat : 28743 (java) S 28737 28739 25956 0 -1 4202560 965 0 0 0 11 0 0 0 16 0 22 0 830490481 10802065408 849107 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28744] ppid=28737 vsize=10548892 CPUtime=0.1 cores=0,2,4,6
/proc/28739/task/28744/stat : 28744 (java) S 28737 28739 25956 0 -1 4202560 865 0 0 0 10 0 0 0 15 0 22 0 830490481 10802065408 849107 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 0 0 0 0
[pid=28739/tid=28745] ppid=28737 vsize=10548892 CPUtime=0.09 cores=0,2,4,6
/proc/28739/task/28745/stat : 28745 (java) S 28737 28739 25956 0 -1 4202560 578 0 0 0 9 0 0 0 15 0 22 0 830490481 10802065408 849107 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 0 0 0 0
[pid=28739/tid=28746] ppid=28737 vsize=10548892 CPUtime=0.09 cores=0,2,4,6
/proc/28739/task/28746/stat : 28746 (java) S 28737 28739 25956 0 -1 4202560 812 0 0 0 9 0 0 0 15 0 22 0 830490481 10802065408 849107 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 0 0 0 0
[pid=28739/tid=28747] ppid=28737 vsize=10548892 CPUtime=0.1 cores=0,2,4,6
/proc/28739/task/28747/stat : 28747 (java) S 28737 28739 25956 0 -1 4202560 480 0 0 0 10 0 0 0 16 0 22 0 830490481 10802065408 849107 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 0 0 0 0
[pid=28739/tid=28748] ppid=28737 vsize=10548892 CPUtime=0.09 cores=0,2,4,6
/proc/28739/task/28748/stat : 28748 (java) S 28737 28739 25956 0 -1 4202560 816 0 0 0 9 0 0 0 16 0 22 0 830490481 10802065408 849107 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28749] ppid=28737 vsize=10548892 CPUtime=0.11 cores=0,2,4,6
/proc/28739/task/28749/stat : 28749 (java) S 28737 28739 25956 0 -1 4202560 713 0 0 0 11 0 0 0 16 0 22 0 830490481 10802065408 849107 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28750] ppid=28737 vsize=10548892 CPUtime=5.42 cores=0,2,4,6
/proc/28739/task/28750/stat : 28750 (java) S 28737 28739 25956 0 -1 4202560 29422 0 0 0 538 4 0 0 15 0 22 0 830490482 10802065408 849107 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 0 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28751] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28751/stat : 28751 (java) S 28737 28739 25956 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830490483 10802065408 849107 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28752] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28752/stat : 28752 (java) S 28737 28739 25956 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830490483 10802065408 849107 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28753] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28753/stat : 28753 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830490485 10802065408 849107 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917554609 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28754] ppid=28737 vsize=10548892 CPUtime=0.61 cores=0,2,4,6
/proc/28739/task/28754/stat : 28754 (java) S 28737 28739 25956 0 -1 4202560 2653 0 0 0 61 0 0 0 15 0 22 0 830490485 10802065408 849107 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 0 0 0 0
[pid=28739/tid=28755] ppid=28737 vsize=10548892 CPUtime=1.44 cores=0,2,4,6
/proc/28739/task/28755/stat : 28755 (java) S 28737 28739 25956 0 -1 4202560 15122 0 0 0 142 2 0 0 15 0 22 0 830490485 10802065408 849107 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 2 0 0 0
[pid=28739/tid=28756] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28756/stat : 28756 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830490485 10802065408 849107 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28757] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28757/stat : 28757 (java) S 28737 28739 25956 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 830490485 10802065408 849107 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 4 0 16800975 18446604450421950464 0 0 -1 0 0 0 0
[pid=28739/tid=28758] ppid=28737 vsize=10548892 CPUtime=816.11 cores=0,2,4,6
/proc/28739/task/28758/stat : 28758 (java) R 28737 28739 25956 0 -1 4202560 629 0 0 0 81610 1 0 0 25 0 22 0 830490524 10802065408 849107 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 46912505831474 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28739/tid=28759] ppid=28737 vsize=10548892 CPUtime=816.04 cores=0,2,4,6
/proc/28739/task/28759/stat : 28759 (java) R 28737 28739 25956 0 -1 4202560 787133 0 0 0 81506 98 0 0 25 0 22 0 830490524 10802065408 849107 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 46912505812263 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28739/tid=28760] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28760/stat : 28760 (java) S 28737 28739 25956 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830490528 10802065408 849107 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28761] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28761/stat : 28761 (java) S 28737 28739 25956 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 830490528 10802065408 849107 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1640.93
Current children cumulated vsize (KiB) 10548892
[startup+882.321 s]
/proc/loadavg: 3.87 3.87 3.47 5/567 28897
/proc/meminfo: memFree=18743828/32951124 swapFree=56930356/67111528
[pid=28739] ppid=28737 vsize=10548892 CPUtime=1760.55 cores=0,2,4,6
/proc/28739/stat : 28739 (java) S 28737 28739 25956 0 -1 4202496 863247 0 1 0 175944 111 0 0 25 0 22 0 830490479 10802065408 850229 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28739/statm: 2637223 850229 2267 9 0 2627957 0
[pid=28739/tid=28740] ppid=28737 vsize=10548892 CPUtime=0.44 cores=0,2,4,6
/proc/28739/task/28740/stat : 28740 (java) S 28737 28739 25956 0 -1 4202560 20405 0 1 0 42 2 0 0 15 0 22 0 830490480 10802065408 850229 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28742] ppid=28737 vsize=10548892 CPUtime=0.09 cores=0,2,4,6
/proc/28739/task/28742/stat : 28742 (java) S 28737 28739 25956 0 -1 4202560 317 0 0 0 9 0 0 0 15 0 22 0 830490481 10802065408 850229 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28743] ppid=28737 vsize=10548892 CPUtime=0.11 cores=0,2,4,6
/proc/28739/task/28743/stat : 28743 (java) S 28737 28739 25956 0 -1 4202560 965 0 0 0 11 0 0 0 16 0 22 0 830490481 10802065408 850229 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 0 0 0 0
[pid=28739/tid=28744] ppid=28737 vsize=10548892 CPUtime=0.1 cores=0,2,4,6
/proc/28739/task/28744/stat : 28744 (java) S 28737 28739 25956 0 -1 4202560 865 0 0 0 10 0 0 0 16 0 22 0 830490481 10802065408 850229 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28745] ppid=28737 vsize=10548892 CPUtime=0.09 cores=0,2,4,6
/proc/28739/task/28745/stat : 28745 (java) S 28737 28739 25956 0 -1 4202560 578 0 0 0 9 0 0 0 15 0 22 0 830490481 10802065408 850229 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28746] ppid=28737 vsize=10548892 CPUtime=0.1 cores=0,2,4,6
/proc/28739/task/28746/stat : 28746 (java) S 28737 28739 25956 0 -1 4202560 812 0 0 0 10 0 0 0 16 0 22 0 830490481 10802065408 850229 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 0 0 0 0
[pid=28739/tid=28747] ppid=28737 vsize=10548892 CPUtime=0.1 cores=0,2,4,6
/proc/28739/task/28747/stat : 28747 (java) S 28737 28739 25956 0 -1 4202560 480 0 0 0 10 0 0 0 15 0 22 0 830490481 10802065408 850229 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 0 0 0 0
[pid=28739/tid=28748] ppid=28737 vsize=10548892 CPUtime=0.09 cores=0,2,4,6
/proc/28739/task/28748/stat : 28748 (java) S 28737 28739 25956 0 -1 4202560 816 0 0 0 9 0 0 0 16 0 22 0 830490481 10802065408 850229 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 0 0 0 0
[pid=28739/tid=28749] ppid=28737 vsize=10548892 CPUtime=0.11 cores=0,2,4,6
/proc/28739/task/28749/stat : 28749 (java) S 28737 28739 25956 0 -1 4202560 713 0 0 0 11 0 0 0 15 0 22 0 830490481 10802065408 850229 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28750] ppid=28737 vsize=10548892 CPUtime=5.84 cores=0,2,4,6
/proc/28739/task/28750/stat : 28750 (java) S 28737 28739 25956 0 -1 4202560 30548 0 0 0 580 4 0 0 15 0 22 0 830490482 10802065408 850229 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 0 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28751] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28751/stat : 28751 (java) S 28737 28739 25956 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830490483 10802065408 850229 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28752] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28752/stat : 28752 (java) S 28737 28739 25956 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830490483 10802065408 850229 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28753] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28753/stat : 28753 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830490485 10802065408 850229 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917554609 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28754] ppid=28737 vsize=10548892 CPUtime=0.61 cores=0,2,4,6
/proc/28739/task/28754/stat : 28754 (java) S 28737 28739 25956 0 -1 4202560 2653 0 0 0 61 0 0 0 15 0 22 0 830490485 10802065408 850229 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 0 0 0 0
[pid=28739/tid=28755] ppid=28737 vsize=10548892 CPUtime=1.44 cores=0,2,4,6
/proc/28739/task/28755/stat : 28755 (java) S 28737 28739 25956 0 -1 4202560 15122 0 0 0 142 2 0 0 15 0 22 0 830490485 10802065408 850229 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 2 0 0 0
[pid=28739/tid=28756] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28756/stat : 28756 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830490485 10802065408 850229 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28757] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28757/stat : 28757 (java) S 28737 28739 25956 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830490485 10802065408 850229 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 4 0 16800975 18446604450421950464 0 0 -1 0 0 0 0
[pid=28739/tid=28758] ppid=28737 vsize=10548892 CPUtime=875.69 cores=0,2,4,6
/proc/28739/task/28758/stat : 28758 (java) R 28737 28739 25956 0 -1 4202560 630 0 0 0 87568 1 0 0 25 0 22 0 830490524 10802065408 850229 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 46912505863921 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28739/tid=28759] ppid=28737 vsize=10548892 CPUtime=875.62 cores=0,2,4,6
/proc/28739/task/28759/stat : 28759 (java) R 28737 28739 25956 0 -1 4202560 787134 0 0 0 87464 98 0 0 25 0 22 0 830490524 10802065408 850229 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 46912505909933 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28739/tid=28760] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28760/stat : 28760 (java) S 28737 28739 25956 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830490528 10802065408 850229 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28761] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28761/stat : 28761 (java) S 28737 28739 25956 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 830490528 10802065408 850229 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1760.55
Current children cumulated vsize (KiB) 10548892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+902.201 s]
/proc/loadavg: 3.90 3.88 3.48 5/567 28897
/proc/meminfo: memFree=18735512/32951124 swapFree=56930356/67111528
[pid=28739] ppid=28737 vsize=10548892 CPUtime=1800.04 cores=0,2,4,6
/proc/28739/stat : 28739 (java) S 28737 28739 25956 0 -1 4202496 864395 0 1 0 179892 112 0 0 25 0 22 0 830490479 10802065408 851373 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28739/statm: 2637223 851373 2267 9 0 2627957 0
[pid=28739/tid=28740] ppid=28737 vsize=10548892 CPUtime=0.44 cores=0,2,4,6
/proc/28739/task/28740/stat : 28740 (java) S 28737 28739 25956 0 -1 4202560 20406 0 1 0 42 2 0 0 15 0 22 0 830490480 10802065408 851373 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28742] ppid=28737 vsize=10548892 CPUtime=0.09 cores=0,2,4,6
/proc/28739/task/28742/stat : 28742 (java) S 28737 28739 25956 0 -1 4202560 317 0 0 0 9 0 0 0 15 0 22 0 830490481 10802065408 851373 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28743] ppid=28737 vsize=10548892 CPUtime=0.11 cores=0,2,4,6
/proc/28739/task/28743/stat : 28743 (java) S 28737 28739 25956 0 -1 4202560 965 0 0 0 11 0 0 0 15 0 22 0 830490481 10802065408 851373 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 0 0 0 0
[pid=28739/tid=28744] ppid=28737 vsize=10548892 CPUtime=0.1 cores=0,2,4,6
/proc/28739/task/28744/stat : 28744 (java) S 28737 28739 25956 0 -1 4202560 865 0 0 0 10 0 0 0 16 0 22 0 830490481 10802065408 851373 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 0 0 0 0
[pid=28739/tid=28745] ppid=28737 vsize=10548892 CPUtime=0.09 cores=0,2,4,6
/proc/28739/task/28745/stat : 28745 (java) S 28737 28739 25956 0 -1 4202560 578 0 0 0 9 0 0 0 15 0 22 0 830490481 10802065408 851373 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28746] ppid=28737 vsize=10548892 CPUtime=0.11 cores=0,2,4,6
/proc/28739/task/28746/stat : 28746 (java) S 28737 28739 25956 0 -1 4202560 812 0 0 0 11 0 0 0 15 0 22 0 830490481 10802065408 851373 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 0 0 0 0
[pid=28739/tid=28747] ppid=28737 vsize=10548892 CPUtime=0.11 cores=0,2,4,6
/proc/28739/task/28747/stat : 28747 (java) S 28737 28739 25956 0 -1 4202560 480 0 0 0 11 0 0 0 15 0 22 0 830490481 10802065408 851373 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 2 0 0 0
[pid=28739/tid=28748] ppid=28737 vsize=10548892 CPUtime=0.1 cores=0,2,4,6
/proc/28739/task/28748/stat : 28748 (java) S 28737 28739 25956 0 -1 4202560 818 0 0 0 10 0 0 0 15 0 22 0 830490481 10802065408 851373 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 0 0 0 0
[pid=28739/tid=28749] ppid=28737 vsize=10548892 CPUtime=0.12 cores=0,2,4,6
/proc/28739/task/28749/stat : 28749 (java) S 28737 28739 25956 0 -1 4202560 714 0 0 0 12 0 0 0 16 0 22 0 830490481 10802065408 851373 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
[pid=28739/tid=28750] ppid=28737 vsize=10548892 CPUtime=6.16 cores=0,2,4,6
/proc/28739/task/28750/stat : 28750 (java) S 28737 28739 25956 0 -1 4202560 31689 0 0 0 612 4 0 0 15 0 22 0 830490482 10802065408 851373 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 0 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28751] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28751/stat : 28751 (java) S 28737 28739 25956 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830490483 10802065408 851373 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28752] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28752/stat : 28752 (java) S 28737 28739 25956 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830490483 10802065408 851373 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28753] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28753/stat : 28753 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830490485 10802065408 851373 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917554609 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28754] ppid=28737 vsize=10548892 CPUtime=0.61 cores=0,2,4,6
/proc/28739/task/28754/stat : 28754 (java) S 28737 28739 25956 0 -1 4202560 2653 0 0 0 61 0 0 0 15 0 22 0 830490485 10802065408 851373 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 0 0 0 0
[pid=28739/tid=28755] ppid=28737 vsize=10548892 CPUtime=1.44 cores=0,2,4,6
/proc/28739/task/28755/stat : 28755 (java) S 28737 28739 25956 0 -1 4202560 15122 0 0 0 142 2 0 0 15 0 22 0 830490485 10802065408 851373 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 2 0 0 0
[pid=28739/tid=28756] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28756/stat : 28756 (java) S 28737 28739 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830490485 10802065408 851373 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917546905 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28757] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28757/stat : 28757 (java) S 28737 28739 25956 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830490485 10802065408 851373 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 4 0 16800975 18446604450421950464 0 0 -1 0 0 0 0
[pid=28739/tid=28758] ppid=28737 vsize=10548892 CPUtime=895.27 cores=0,2,4,6
/proc/28739/task/28758/stat : 28758 (java) R 28737 28739 25956 0 -1 4202560 630 0 0 0 89525 2 0 0 25 0 22 0 830490524 10802065408 851373 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 46912505863264 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28739/tid=28759] ppid=28737 vsize=10548892 CPUtime=895.19 cores=0,2,4,6
/proc/28739/task/28759/stat : 28759 (java) R 28737 28739 25956 0 -1 4202560 787135 0 0 0 89421 98 0 0 25 0 22 0 830490524 10802065408 851373 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 46912505896280 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28739/tid=28760] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28760/stat : 28760 (java) S 28737 28739 25956 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830490528 10802065408 851373 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 4 0 16800975 18446604450421950464 0 0 -1 4 0 0 0
[pid=28739/tid=28761] ppid=28737 vsize=10548892 CPUtime=0 cores=0,2,4,6
/proc/28739/task/28761/stat : 28761 (java) S 28737 28739 25956 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 830490528 10802065408 851373 33554432000 1073741824 1073778376 140736507400800 18446744073709551615 218917547520 0 4 0 16800975 18446604450421950464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10548892
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+902.327 s]
/proc/loadavg: 3.90 3.88 3.48 5/567 28897
/proc/meminfo: memFree=18735512/32951124 swapFree=56930356/67111528
[pid=28739] ppid=28737 vsize=0 CPUtime=1800.19 cores=0,2,4,6
/proc/28739/stat : 28739 (java) Z 28737 28739 25956 0 -1 4203548 864425 0 1 0 179899 120 0 0 17 0 2 0 830490479 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28739/statm: 0 0 0 0 0 0 0
[pid=28739/tid=28759] ppid=28737 vsize=0 CPUtime=895.3 cores=0,2,4,6
/proc/28739/task/28759/stat : 28759 (java) R 28737 28739 25956 0 -1 4203588 787135 0 0 0 89423 107 0 0 25 0 2 0 830490524 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.19
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 902.381
CPU time (s): 1800.25
CPU user time (s): 1798.99
CPU system time (s): 1.26181
CPU usage (%): 199.5
Max. virtual memory (cumulated for all children) (KiB): 10548892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.26181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 864425
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= 22940
involuntary context switches= 18694
runsolver used 5.06023 second user time and 11.0583 second system time
The end