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-3456437-1307659451/watcher-3456437-1307659451 -o /tmp/evaluation-result-3456437-1307659451/solver-3456437-1307659451 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456437-1307659451.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.03 1.01 1.00 3/186 769
/proc/meminfo: memFree=32285584/32951124 swapFree=67088052/67111528
[pid=769] ppid=767 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/769/stat : 769 (java) R 767 769 32198 0 -1 4202496 442 0 0 0 0 0 0 0 22 0 1 0 858361272 23580672 188 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255101806485 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/769/statm: 5757 206 162 9 0 124 0
[pid=769/tid=771] ppid=767 vsize=31604 CPUtime=0 cores=0,2,4,6
/proc/769/task/771/stat : 771 (java) R 767 769 32198 0 -1 4202560 158 0 0 0 0 0 0 0 25 0 2 0 858361273 32362496 990 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255106766848 0 0 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.091447 s]
/proc/loadavg: 1.03 1.01 1.00 3/186 769
/proc/meminfo: memFree=32285584/32951124 swapFree=67088052/67111528
[pid=769] ppid=767 vsize=10540308 CPUtime=0.09 cores=0,2,4,6
/proc/769/stat : 769 (java) S 767 769 32198 0 -1 4202496 12877 0 1 0 8 1 0 0 22 0 18 0 858361272 10793275392 12549 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/769/statm: 2635077 12549 2082 9 0 2625811 0
[pid=769/tid=771] ppid=767 vsize=10540308 CPUtime=0.07 cores=0,2,4,6
/proc/769/task/771/stat : 771 (java) R 767 769 32198 0 -1 4202560 10956 0 1 0 6 1 0 0 25 0 18 0 858361273 10793275392 12549 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 47662264935235 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540308
[startup+0.100489 s]
/proc/loadavg: 1.03 1.01 1.00 3/186 769
/proc/meminfo: memFree=32285584/32951124 swapFree=67088052/67111528
[pid=769] ppid=767 vsize=10540308 CPUtime=0.1 cores=0,2,4,6
/proc/769/stat : 769 (java) S 767 769 32198 0 -1 4202496 12998 0 1 0 9 1 0 0 22 0 18 0 858361272 10793275392 12670 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/769/statm: 2635077 12670 2092 9 0 2625811 0
[pid=769/tid=771] ppid=767 vsize=10540308 CPUtime=0.08 cores=0,2,4,6
/proc/769/task/771/stat : 771 (java) R 767 769 32198 0 -1 4202560 11065 0 1 0 7 1 0 0 25 0 18 0 858361273 10793275392 12670 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 47662264274750 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540308
[startup+0.310345 s]
/proc/loadavg: 1.03 1.01 1.00 3/186 769
/proc/meminfo: memFree=32285584/32951124 swapFree=67088052/67111528
[pid=769] ppid=767 vsize=10545052 CPUtime=0.49 cores=0,2,4,6
/proc/769/stat : 769 (java) S 767 769 32198 0 -1 4202496 17494 0 1 0 48 1 0 0 22 0 18 0 858361272 10798133248 16836 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/769/statm: 2636263 16839 2203 9 0 2626997 0
[pid=769/tid=771] ppid=767 vsize=10545052 CPUtime=0.27 cores=0,2,4,6
/proc/769/task/771/stat : 771 (java) R 767 769 32198 0 -1 4202560 13961 0 1 0 26 1 0 0 25 0 18 0 858361273 10798133248 16841 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10545052
[startup+0.704421 s]
/proc/loadavg: 1.03 1.01 1.00 3/186 769
/proc/meminfo: memFree=32285584/32951124 swapFree=67088052/67111528
[pid=769] ppid=767 vsize=10561584 CPUtime=1.5 cores=0,2,4,6
/proc/769/stat : 769 (java) S 767 769 32198 0 -1 4202496 33512 0 1 0 146 4 0 0 22 0 19 0 858361272 10815062016 30570 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/769/statm: 2640396 30571 2220 9 0 2631130 0
[pid=769/tid=771] ppid=767 vsize=10561584 CPUtime=0.66 cores=0,2,4,6
/proc/769/task/771/stat : 771 (java) R 767 769 32198 0 -1 4202560 21620 0 1 0 64 2 0 0 19 0 19 0 858361273 10815062016 30571 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 46912505690290 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 10561584
[startup+1.50123 s]
/proc/loadavg: 1.27 1.06 1.02 3/214 797
/proc/meminfo: memFree=31835336/32951124 swapFree=67088052/67111528
[pid=769] ppid=767 vsize=10561584 CPUtime=2.59 cores=0,2,4,6
/proc/769/stat : 769 (java) S 767 769 32198 0 -1 4202496 110913 0 1 0 247 12 0 0 22 0 19 0 858361272 10815062016 107636 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/769/statm: 2640396 107636 2228 9 0 2631130 0
[pid=769/tid=771] ppid=767 vsize=10561584 CPUtime=1.46 cores=0,2,4,6
/proc/769/task/771/stat : 771 (java) R 767 769 32198 0 -1 4202560 98621 0 1 0 135 11 0 0 18 0 19 0 858361273 10815062016 107636 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 46912505181296 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=769/tid=775] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/775/stat : 775 (java) S 767 769 32198 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 858361274 10815062016 107636 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=776] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/776/stat : 776 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858361274 10815062016 107636 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=777] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/777/stat : 777 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858361274 10815062016 107636 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=778] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/778/stat : 778 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858361274 10815062016 107636 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=779] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/779/stat : 779 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858361274 10815062016 107636 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=780] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/780/stat : 780 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858361274 10815062016 107636 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=781] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/781/stat : 781 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858361274 10815062016 107636 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=782] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/782/stat : 782 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858361274 10815062016 107636 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=785] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/785/stat : 785 (java) S 767 769 32198 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 858361276 10815062016 107647 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118585344 0 0 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=789] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/789/stat : 789 (java) S 767 769 32198 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 858361276 10815062016 107647 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=790] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/790/stat : 790 (java) S 767 769 32198 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 858361276 10815062016 107647 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=791] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/791/stat : 791 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 858361278 10815062016 107649 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118592433 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=792] ppid=767 vsize=10561584 CPUtime=0.67 cores=0,2,4,6
/proc/769/task/792/stat : 792 (java) R 767 769 32198 0 -1 4202560 6607 0 0 0 67 0 0 0 15 0 19 0 858361278 10815062016 107649 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 47662268481352 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=769/tid=793] ppid=767 vsize=10561584 CPUtime=0.44 cores=0,2,4,6
/proc/769/task/793/stat : 793 (java) R 767 769 32198 0 -1 4202560 4525 0 0 0 44 0 0 0 15 0 19 0 858361278 10815062016 107650 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 47662263511990 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=769/tid=794] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/794/stat : 794 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858361278 10815062016 107651 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=795] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/795/stat : 795 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858361278 10815062016 107652 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118585344 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=797] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/797/stat : 797 (java) S 767 769 32198 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858361328 10815062016 107652 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118585344 0 4 0 16800975 18446604453931594688 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 10561584
[startup+3.10097 s]
/proc/loadavg: 1.27 1.06 1.02 3/214 797
/proc/meminfo: memFree=30961516/32951124 swapFree=67088052/67111528
[pid=769] ppid=767 vsize=10561584 CPUtime=4.41 cores=0,2,4,6
/proc/769/stat : 769 (java) S 767 769 32198 0 -1 4202496 252417 0 1 0 416 25 0 0 22 0 19 0 858361272 10815062016 246552 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/769/statm: 2640396 246552 2228 9 0 2631130 0
[pid=769/tid=771] ppid=767 vsize=10561584 CPUtime=3.06 cores=0,2,4,6
/proc/769/task/771/stat : 771 (java) R 767 769 32198 0 -1 4202560 237517 0 1 0 283 23 0 0 19 0 19 0 858361273 10815062016 246552 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 46912505676242 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=769/tid=775] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/775/stat : 775 (java) S 767 769 32198 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 858361274 10815062016 246553 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=776] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/776/stat : 776 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858361274 10815062016 246553 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=777] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/777/stat : 777 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858361274 10815062016 246553 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=778] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/778/stat : 778 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858361274 10815062016 246554 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=779] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/779/stat : 779 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858361274 10815062016 246554 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=780] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/780/stat : 780 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858361274 10815062016 246554 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=781] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/781/stat : 781 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858361274 10815062016 246554 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=782] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/782/stat : 782 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858361274 10815062016 246555 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=785] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/785/stat : 785 (java) S 767 769 32198 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 858361276 10815062016 246555 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118585344 0 0 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=789] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/789/stat : 789 (java) S 767 769 32198 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 858361276 10815062016 246555 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=790] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/790/stat : 790 (java) S 767 769 32198 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 858361276 10815062016 246556 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=791] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/791/stat : 791 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 858361278 10815062016 246556 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118592433 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=792] ppid=767 vsize=10561584 CPUtime=0.72 cores=0,2,4,6
/proc/769/task/792/stat : 792 (java) S 767 769 32198 0 -1 4202560 6611 0 0 0 72 0 0 0 15 0 19 0 858361278 10815062016 246556 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=793] ppid=767 vsize=10561584 CPUtime=0.6 cores=0,2,4,6
/proc/769/task/793/stat : 793 (java) S 767 769 32198 0 -1 4202560 7129 0 0 0 59 1 0 0 15 0 19 0 858361278 10815062016 246556 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 2 0 0 0
[pid=769/tid=794] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/794/stat : 794 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858361278 10815062016 246556 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=795] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/795/stat : 795 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858361278 10815062016 246556 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118585344 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=797] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/797/stat : 797 (java) S 767 769 32198 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858361328 10815062016 246556 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118585344 0 4 0 16800975 18446604453931594688 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 10561584
[startup+6.30142 s]
/proc/loadavg: 1.27 1.06 1.02 3/214 797
/proc/meminfo: memFree=27996320/32951124 swapFree=67088052/67111528
[pid=769] ppid=767 vsize=10561584 CPUtime=7.65 cores=0,2,4,6
/proc/769/stat : 769 (java) S 767 769 32198 0 -1 4202496 578069 0 1 0 709 56 0 0 22 0 19 0 858361272 10815062016 572165 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/769/statm: 2640396 572165 2229 9 0 2631130 0
[pid=769/tid=771] ppid=767 vsize=10561584 CPUtime=6.26 cores=0,2,4,6
/proc/769/task/771/stat : 771 (java) R 767 769 32198 0 -1 4202560 563145 0 1 0 572 54 0 0 18 0 19 0 858361273 10815062016 572165 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 46912505689469 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=769/tid=775] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/775/stat : 775 (java) S 767 769 32198 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 858361274 10815062016 572165 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=776] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/776/stat : 776 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858361274 10815062016 572165 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=777] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/777/stat : 777 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858361274 10815062016 572165 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=778] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/778/stat : 778 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858361274 10815062016 572166 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=779] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/779/stat : 779 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858361274 10815062016 572166 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=780] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/780/stat : 780 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858361274 10815062016 572166 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=781] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/781/stat : 781 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858361274 10815062016 572166 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=782] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/782/stat : 782 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858361274 10815062016 572166 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=785] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/785/stat : 785 (java) S 767 769 32198 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 858361276 10815062016 572166 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118585344 0 0 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=789] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/789/stat : 789 (java) S 767 769 32198 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 858361276 10815062016 572166 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=790] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/790/stat : 790 (java) S 767 769 32198 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 858361276 10815062016 572166 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=791] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/791/stat : 791 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 858361278 10815062016 572166 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118592433 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=792] ppid=767 vsize=10561584 CPUtime=0.74 cores=0,2,4,6
/proc/769/task/792/stat : 792 (java) S 767 769 32198 0 -1 4202560 6612 0 0 0 74 0 0 0 15 0 19 0 858361278 10815062016 572166 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=793] ppid=767 vsize=10561584 CPUtime=0.63 cores=0,2,4,6
/proc/769/task/793/stat : 793 (java) S 767 769 32198 0 -1 4202560 7151 0 0 0 62 1 0 0 15 0 19 0 858361278 10815062016 572166 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/769/task/790/stat : 790 (java) S 767 769 32198 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858361276 10815062016 1039007 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=791] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/791/stat : 791 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 858361278 10815062016 1039007 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118592433 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=792] ppid=767 vsize=10561584 CPUtime=1.03 cores=0,2,4,6
/proc/769/task/792/stat : 792 (java) S 767 769 32198 0 -1 4202560 6654 0 0 0 103 0 0 0 16 0 19 0 858361278 10815062016 1039007 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=793] ppid=767 vsize=10561584 CPUtime=1.52 cores=0,2,4,6
/proc/769/task/793/stat : 793 (java) S 767 769 32198 0 -1 4202560 14498 0 0 0 150 2 0 0 15 0 19 0 858361278 10815062016 1039007 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 2 0 0 0
[pid=769/tid=794] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/794/stat : 794 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858361278 10815062016 1039007 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=795] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/795/stat : 795 (java) S 767 769 32198 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 858361278 10815062016 1039007 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118585344 0 4 0 16800975 18446604453931594688 0 0 -1 4 0 0 0
[pid=769/tid=797] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/797/stat : 797 (java) S 767 769 32198 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858361328 10815062016 1039007 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118585344 0 4 0 16800975 18446604453931594688 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1669.21
Current children cumulated vsize (KiB) 10561584
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.83 3/214 925
/proc/meminfo: memFree=24211268/32951124 swapFree=67088052/67111528
[pid=769] ppid=767 vsize=10561584 CPUtime=1729.39 cores=0,2,4,6
/proc/769/stat : 769 (java) S 767 769 32198 0 -1 4202496 1064021 0 1 0 172820 119 0 0 22 0 19 0 858361272 10815062016 1046657 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/769/statm: 2640396 1046657 2257 9 0 2631130 0
[pid=769/tid=771] ppid=767 vsize=10561584 CPUtime=1718.03 cores=0,2,4,6
/proc/769/task/771/stat : 771 (java) R 767 769 32198 0 -1 4202560 820176 0 1 0 171722 81 0 0 25 0 19 0 858361273 10815062016 1046657 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 46912505689212 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=769/tid=775] ppid=767 vsize=10561584 CPUtime=0.75 cores=0,2,4,6
/proc/769/task/775/stat : 775 (java) S 767 769 32198 0 -1 4202560 22362 0 0 0 72 3 0 0 15 0 19 0 858361274 10815062016 1046657 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=776] ppid=767 vsize=10561584 CPUtime=0.71 cores=0,2,4,6
/proc/769/task/776/stat : 776 (java) S 767 769 32198 0 -1 4202560 28980 0 0 0 66 5 0 0 16 0 19 0 858361274 10815062016 1046657 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 2 0 0 0
[pid=769/tid=777] ppid=767 vsize=10561584 CPUtime=0.68 cores=0,2,4,6
/proc/769/task/777/stat : 777 (java) S 767 769 32198 0 -1 4202560 21921 0 0 0 64 4 0 0 15 0 19 0 858361274 10815062016 1046657 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=778] ppid=767 vsize=10561584 CPUtime=0.81 cores=0,2,4,6
/proc/769/task/778/stat : 778 (java) S 767 769 32198 0 -1 4202560 29177 0 0 0 78 3 0 0 16 0 19 0 858361274 10815062016 1046657 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=779] ppid=767 vsize=10561584 CPUtime=0.95 cores=0,2,4,6
/proc/769/task/779/stat : 779 (java) S 767 769 32198 0 -1 4202560 30729 0 0 0 92 3 0 0 16 0 19 0 858361274 10815062016 1046657 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 4 0 0 0
[pid=769/tid=780] ppid=767 vsize=10561584 CPUtime=0.76 cores=0,2,4,6
/proc/769/task/780/stat : 780 (java) S 767 769 32198 0 -1 4202560 25877 0 0 0 73 3 0 0 16 0 19 0 858361274 10815062016 1046657 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=781] ppid=767 vsize=10561584 CPUtime=0.85 cores=0,2,4,6
/proc/769/task/781/stat : 781 (java) S 767 769 32198 0 -1 4202560 28717 0 0 0 80 5 0 0 15 0 19 0 858361274 10815062016 1046657 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 4 0 0 0
[pid=769/tid=782] ppid=767 vsize=10561584 CPUtime=0.59 cores=0,2,4,6
/proc/769/task/782/stat : 782 (java) S 767 769 32198 0 -1 4202560 14899 0 0 0 58 1 0 0 15 0 19 0 858361274 10815062016 1046657 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 2 0 0 0
[pid=769/tid=785] ppid=767 vsize=10561584 CPUtime=2.58 cores=0,2,4,6
/proc/769/task/785/stat : 785 (java) S 767 769 32198 0 -1 4202560 18780 0 0 0 256 2 0 0 15 0 19 0 858361276 10815062016 1046657 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118585344 0 0 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=789] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/789/stat : 789 (java) S 767 769 32198 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858361276 10815062016 1046657 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=790] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/790/stat : 790 (java) S 767 769 32198 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858361276 10815062016 1046657 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=791] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/791/stat : 791 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 858361278 10815062016 1046657 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118592433 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=792] ppid=767 vsize=10561584 CPUtime=1.03 cores=0,2,4,6
/proc/769/task/792/stat : 792 (java) S 767 769 32198 0 -1 4202560 6654 0 0 0 103 0 0 0 16 0 19 0 858361278 10815062016 1046657 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=793] ppid=767 vsize=10561584 CPUtime=1.52 cores=0,2,4,6
/proc/769/task/793/stat : 793 (java) S 767 769 32198 0 -1 4202560 14499 0 0 0 150 2 0 0 15 0 19 0 858361278 10815062016 1046657 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 2 0 0 0
[pid=769/tid=794] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/794/stat : 794 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858361278 10815062016 1046657 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=795] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/795/stat : 795 (java) S 767 769 32198 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 858361278 10815062016 1046657 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118585344 0 4 0 16800975 18446604453931594688 0 0 -1 4 0 0 0
[pid=769/tid=797] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/797/stat : 797 (java) S 767 769 32198 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858361328 10815062016 1046657 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118585344 0 4 0 16800975 18446604453931594688 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1729.39
Current children cumulated vsize (KiB) 10561584
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/214 927
/proc/meminfo: memFree=24172656/32951124 swapFree=67088052/67111528
[pid=769] ppid=767 vsize=10561584 CPUtime=1789.49 cores=0,2,4,6
/proc/769/stat : 769 (java) S 767 769 32198 0 -1 4202496 1066690 0 1 0 178829 120 0 0 22 0 19 0 858361272 10815062016 1049280 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/769/statm: 2640396 1049280 2257 9 0 2631130 0
[pid=769/tid=771] ppid=767 vsize=10561584 CPUtime=1778 cores=0,2,4,6
/proc/769/task/771/stat : 771 (java) R 767 769 32198 0 -1 4202560 820177 0 1 0 177719 81 0 0 25 0 19 0 858361273 10815062016 1049280 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 46912505689171 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=769/tid=775] ppid=767 vsize=10561584 CPUtime=0.78 cores=0,2,4,6
/proc/769/task/775/stat : 775 (java) S 767 769 32198 0 -1 4202560 23044 0 0 0 75 3 0 0 16 0 19 0 858361274 10815062016 1049280 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=776] ppid=767 vsize=10561584 CPUtime=0.75 cores=0,2,4,6
/proc/769/task/776/stat : 776 (java) S 767 769 32198 0 -1 4202560 29664 0 0 0 70 5 0 0 16 0 19 0 858361274 10815062016 1049280 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 2 0 0 0
[pid=769/tid=777] ppid=767 vsize=10561584 CPUtime=0.68 cores=0,2,4,6
/proc/769/task/777/stat : 777 (java) S 767 769 32198 0 -1 4202560 21921 0 0 0 64 4 0 0 15 0 19 0 858361274 10815062016 1049280 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=778] ppid=767 vsize=10561584 CPUtime=0.81 cores=0,2,4,6
/proc/769/task/778/stat : 778 (java) S 767 769 32198 0 -1 4202560 29177 0 0 0 78 3 0 0 15 0 19 0 858361274 10815062016 1049280 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=779] ppid=767 vsize=10561584 CPUtime=0.99 cores=0,2,4,6
/proc/769/task/779/stat : 779 (java) S 767 769 32198 0 -1 4202560 31309 0 0 0 95 4 0 0 16 0 19 0 858361274 10815062016 1049280 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 4 0 0 0
[pid=769/tid=780] ppid=767 vsize=10561584 CPUtime=0.78 cores=0,2,4,6
/proc/769/task/780/stat : 780 (java) S 767 769 32198 0 -1 4202560 26595 0 0 0 75 3 0 0 16 0 19 0 858361274 10815062016 1049280 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=781] ppid=767 vsize=10561584 CPUtime=0.85 cores=0,2,4,6
/proc/769/task/781/stat : 781 (java) S 767 769 32198 0 -1 4202560 28717 0 0 0 80 5 0 0 15 0 19 0 858361274 10815062016 1049280 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 4 0 0 0
[pid=769/tid=782] ppid=767 vsize=10561584 CPUtime=0.6 cores=0,2,4,6
/proc/769/task/782/stat : 782 (java) S 767 769 32198 0 -1 4202560 14899 0 0 0 59 1 0 0 15 0 19 0 858361274 10815062016 1049280 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 2 0 0 0
[pid=769/tid=785] ppid=767 vsize=10561584 CPUtime=2.58 cores=0,2,4,6
/proc/769/task/785/stat : 785 (java) S 767 769 32198 0 -1 4202560 18782 0 0 0 256 2 0 0 15 0 19 0 858361276 10815062016 1049280 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118585344 0 0 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=789] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/789/stat : 789 (java) S 767 769 32198 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858361276 10815062016 1049280 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=790] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/790/stat : 790 (java) S 767 769 32198 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858361276 10815062016 1049280 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=791] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/791/stat : 791 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 858361278 10815062016 1049280 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118592433 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=792] ppid=767 vsize=10561584 CPUtime=1.03 cores=0,2,4,6
/proc/769/task/792/stat : 792 (java) S 767 769 32198 0 -1 4202560 6654 0 0 0 103 0 0 0 16 0 19 0 858361278 10815062016 1049280 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=793] ppid=767 vsize=10561584 CPUtime=1.52 cores=0,2,4,6
/proc/769/task/793/stat : 793 (java) S 767 769 32198 0 -1 4202560 14499 0 0 0 150 2 0 0 15 0 19 0 858361278 10815062016 1049280 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 2 0 0 0
[pid=769/tid=794] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/794/stat : 794 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858361278 10815062016 1049280 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=795] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/795/stat : 795 (java) S 767 769 32198 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 858361278 10815062016 1049280 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118585344 0 4 0 16800975 18446604453931594688 0 0 -1 4 0 0 0
[pid=769/tid=797] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/797/stat : 797 (java) S 767 769 32198 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858361328 10815062016 1049280 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118585344 0 4 0 16800975 18446604453931594688 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1789.49
Current children cumulated vsize (KiB) 10561584
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.8 s]
/proc/loadavg: 2.00 2.00 1.84 3/214 927
/proc/meminfo: memFree=24151564/32951124 swapFree=67088052/67111528
[pid=769] ppid=767 vsize=10561584 CPUtime=1800.08 cores=0,2,4,6
/proc/769/stat : 769 (java) S 767 769 32198 0 -1 4202496 1069558 0 1 0 179888 120 0 0 22 0 19 0 858361272 10815062016 1052062 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/769/statm: 2640396 1052062 2257 9 0 2631130 0
[pid=769/tid=771] ppid=767 vsize=10561584 CPUtime=1788.47 cores=0,2,4,6
/proc/769/task/771/stat : 771 (java) R 767 769 32198 0 -1 4202560 820178 0 1 0 178766 81 0 0 25 0 19 0 858361273 10815062016 1052062 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 46912505689109 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=769/tid=775] ppid=767 vsize=10561584 CPUtime=0.78 cores=0,2,4,6
/proc/769/task/775/stat : 775 (java) S 767 769 32198 0 -1 4202560 23044 0 0 0 75 3 0 0 15 0 19 0 858361274 10815062016 1052062 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 2 0 0 0
[pid=769/tid=776] ppid=767 vsize=10561584 CPUtime=0.75 cores=0,2,4,6
/proc/769/task/776/stat : 776 (java) S 767 769 32198 0 -1 4202560 29664 0 0 0 70 5 0 0 15 0 19 0 858361274 10815062016 1052062 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 2 0 0 0
[pid=769/tid=777] ppid=767 vsize=10561584 CPUtime=0.7 cores=0,2,4,6
/proc/769/task/777/stat : 777 (java) S 767 769 32198 0 -1 4202560 22438 0 0 0 66 4 0 0 16 0 19 0 858361274 10815062016 1052062 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 2 0 0 0
[pid=769/tid=778] ppid=767 vsize=10561584 CPUtime=0.81 cores=0,2,4,6
/proc/769/task/778/stat : 778 (java) S 767 769 32198 0 -1 4202560 29177 0 0 0 78 3 0 0 15 0 19 0 858361274 10815062016 1052062 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=779] ppid=767 vsize=10561584 CPUtime=1.02 cores=0,2,4,6
/proc/769/task/779/stat : 779 (java) S 767 769 32198 0 -1 4202560 31551 0 0 0 98 4 0 0 16 0 19 0 858361274 10815062016 1052062 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=780] ppid=767 vsize=10561584 CPUtime=0.82 cores=0,2,4,6
/proc/769/task/780/stat : 780 (java) S 767 769 32198 0 -1 4202560 27561 0 0 0 79 3 0 0 16 0 19 0 858361274 10815062016 1052062 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=781] ppid=767 vsize=10561584 CPUtime=0.88 cores=0,2,4,6
/proc/769/task/781/stat : 781 (java) S 767 769 32198 0 -1 4202560 29747 0 0 0 83 5 0 0 16 0 19 0 858361274 10815062016 1052062 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 4 0 0 0
[pid=769/tid=782] ppid=767 vsize=10561584 CPUtime=0.6 cores=0,2,4,6
/proc/769/task/782/stat : 782 (java) S 767 769 32198 0 -1 4202560 15007 0 0 0 59 1 0 0 16 0 19 0 858361274 10815062016 1052062 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 2 0 0 0
[pid=769/tid=785] ppid=767 vsize=10561584 CPUtime=2.59 cores=0,2,4,6
/proc/769/task/785/stat : 785 (java) S 767 769 32198 0 -1 4202560 18784 0 0 0 257 2 0 0 15 0 19 0 858361276 10815062016 1052062 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118585344 0 0 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=789] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/789/stat : 789 (java) S 767 769 32198 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858361276 10815062016 1052062 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=790] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/790/stat : 790 (java) S 767 769 32198 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858361276 10815062016 1052062 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=791] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/791/stat : 791 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 858361278 10815062016 1052062 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118592433 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=792] ppid=767 vsize=10561584 CPUtime=1.03 cores=0,2,4,6
/proc/769/task/792/stat : 792 (java) S 767 769 32198 0 -1 4202560 6654 0 0 0 103 0 0 0 16 0 19 0 858361278 10815062016 1052062 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 0 0 0 0
[pid=769/tid=793] ppid=767 vsize=10561584 CPUtime=1.52 cores=0,2,4,6
/proc/769/task/793/stat : 793 (java) S 767 769 32198 0 -1 4202560 14499 0 0 0 150 2 0 0 15 0 19 0 858361278 10815062016 1052062 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 2 0 0 0
[pid=769/tid=794] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/794/stat : 794 (java) S 767 769 32198 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858361278 10815062016 1052062 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118584729 0 4 0 16800975 18446604453931594688 0 0 -1 6 0 0 0
[pid=769/tid=795] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/795/stat : 795 (java) S 767 769 32198 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 858361278 10815062016 1052062 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118585344 0 4 0 16800975 18446604453931594688 0 0 -1 4 0 0 0
[pid=769/tid=797] ppid=767 vsize=10561584 CPUtime=0 cores=0,2,4,6
/proc/769/task/797/stat : 797 (java) S 767 769 32198 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858361328 10815062016 1052062 33554432000 1073741824 1073778376 140735330326656 18446744073709551615 255118585344 0 4 0 16800975 18446604453931594688 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10561584
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.01 s]
/proc/loadavg: 2.00 2.00 1.84 3/198 930
/proc/meminfo: memFree=25549300/32951124 swapFree=67088052/67111528
[pid=769] ppid=767 vsize=0 CPUtime=1800.31 cores=0,2,4,6
/proc/769/stat : 769 (java) Z 767 769 32198 0 -1 4203548 1069596 0 1 0 179896 135 0 0 17 0 2 0 858361272 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/769/statm: 0 0 0 0 0 0 0
[pid=769/tid=771] ppid=767 vsize=0 CPUtime=1788.66 cores=0,2,4,6
/proc/769/task/771/stat : 771 (java) R 767 769 32198 0 -1 4203588 820178 0 1 0 178770 96 0 0 25 0 2 0 858361273 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.31
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.02
CPU time (s): 1800.33
CPU user time (s): 1798.96
CPU system time (s): 1.36279
CPU usage (%): 100.408
Max. virtual memory (cumulated for all children) (KiB): 10561584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.36279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1069596
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= 38662
involuntary context switches= 17548
runsolver used 3.32249 second user time and 6.47902 second system time
The end