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-3457853-1307230378/watcher-3457853-1307230378 -o /tmp/evaluation-result-3457853-1307230378/solver-3457853-1307230378 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457853-1307230378.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.25 2.14 2.04 2/471 736
/proc/meminfo: memFree=28142040/32951124 swapFree=55639044/67111528
[pid=736] ppid=734 vsize=9100 CPUtime=0 cores=0,2,4,6
/proc/736/stat : 736 (java) S 734 736 30316 0 -1 4202496 427 0 0 0 0 0 0 0 25 0 1 0 834635759 9318400 172 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271545613959 0 2147483391 4096 0 18446744071699469502 0 0 17 0 0 0 0
/proc/736/statm: 2275 172 132 9 0 67 0
[pid=736/tid=737] ppid=734 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/736/task/737/stat : 737 (java) R 734 736 30316 0 -1 4202560 6322 0 1 0 0 0 0 0 25 0 2 0 834635760 10694979584 7138 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271550231611 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0295469 s]
/proc/loadavg: 2.25 2.14 2.04 2/471 736
/proc/meminfo: memFree=28142040/32951124 swapFree=55639044/67111528
[pid=736] ppid=734 vsize=10455012 CPUtime=0.01 cores=0,2,4,6
/proc/736/stat : 736 (java) S 734 736 30316 0 -1 4202496 10808 0 1 0 1 0 0 0 25 0 10 0 834635759 10705932288 10506 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/736/statm: 2613753 10506 1515 9 0 2604501 0
[pid=736/tid=737] ppid=734 vsize=10455012 CPUtime=0.01 cores=0,2,4,6
/proc/736/task/737/stat : 737 (java) R 734 736 30316 0 -1 4202560 9685 0 1 0 1 0 0 0 25 0 10 0 834635760 10705932288 10506 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 47789881976632 0 4 0 16784584 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10455012
[startup+0.100546 s]
/proc/loadavg: 2.25 2.14 2.04 2/471 736
/proc/meminfo: memFree=28142040/32951124 swapFree=55639044/67111528
[pid=736] ppid=734 vsize=10539076 CPUtime=0.1 cores=0,2,4,6
/proc/736/stat : 736 (java) S 734 736 30316 0 -1 4202496 12928 0 1 0 9 1 0 0 25 0 18 0 834635759 10792013824 12624 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/736/statm: 2634769 12624 2092 9 0 2625503 0
[pid=736/tid=737] ppid=734 vsize=10539076 CPUtime=0.08 cores=0,2,4,6
/proc/736/task/737/stat : 737 (java) R 734 736 30316 0 -1 4202560 11162 0 1 0 7 1 0 0 25 0 18 0 834635760 10792013824 12624 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 47789878827360 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) 10539076
[startup+0.300518 s]
/proc/loadavg: 2.25 2.14 2.04 2/471 736
/proc/meminfo: memFree=28142040/32951124 swapFree=55639044/67111528
[pid=736] ppid=734 vsize=10542792 CPUtime=0.5 cores=0,2,4,6
/proc/736/stat : 736 (java) S 734 736 30316 0 -1 4202496 17193 0 1 0 48 2 0 0 25 0 18 0 834635759 10795819008 16437 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/736/statm: 2635698 16437 2201 9 0 2626432 0
[pid=736/tid=737] ppid=734 vsize=10542792 CPUtime=0.28 cores=0,2,4,6
/proc/736/task/737/stat : 737 (java) R 734 736 30316 0 -1 4202560 13513 0 1 0 27 1 0 0 25 0 18 0 834635760 10795819008 16437 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 47789878953296 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10542792
[startup+0.700425 s]
/proc/loadavg: 2.25 2.14 2.04 2/471 736
/proc/meminfo: memFree=28142040/32951124 swapFree=55639044/67111528
[pid=736] ppid=734 vsize=10542660 CPUtime=1.08 cores=0,2,4,6
/proc/736/stat : 736 (java) S 734 736 30316 0 -1 4202496 49457 0 1 0 102 6 0 0 25 0 18 0 834635759 10795683840 47800 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/736/statm: 2635665 47800 2221 9 0 2626399 0
[pid=736/tid=737] ppid=734 vsize=10542660 CPUtime=0.68 cores=0,2,4,6
/proc/736/task/737/stat : 737 (java) R 734 736 30316 0 -1 4202560 44223 0 1 0 63 5 0 0 18 0 18 0 834635760 10795683840 47800 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 46912505507432 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 10542660
[startup+1.50133 s]
/proc/loadavg: 2.25 2.14 2.04 3/489 755
/proc/meminfo: memFree=27845188/32951124 swapFree=55639044/67111528
[pid=736] ppid=734 vsize=10551752 CPUtime=2.01 cores=0,2,4,6
/proc/736/stat : 736 (java) S 734 736 30316 0 -1 4202496 123883 0 1 0 187 14 0 0 25 0 18 0 834635759 10804994048 120772 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/736/statm: 2637938 120775 2225 9 0 2628672 0
[pid=736/tid=737] ppid=734 vsize=10551752 CPUtime=1.48 cores=0,2,4,6
/proc/736/task/737/stat : 737 (java) R 734 736 30316 0 -1 4202560 115267 0 1 0 135 13 0 0 19 0 18 0 834635760 10804994048 120777 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 46912505591632 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=736/tid=739] ppid=734 vsize=10551752 CPUtime=0 cores=0,2,4,6
/proc/736/task/739/stat : 739 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834635761 10804994048 120780 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=740] ppid=734 vsize=10551752 CPUtime=0 cores=0,2,4,6
/proc/736/task/740/stat : 740 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834635761 10804994048 120783 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=741] ppid=734 vsize=10551752 CPUtime=0 cores=0,2,4,6
/proc/736/task/741/stat : 741 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834635761 10804994048 120786 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=742] ppid=734 vsize=10551752 CPUtime=0 cores=0,2,4,6
/proc/736/task/742/stat : 742 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834635761 10804994048 120786 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=743] ppid=734 vsize=10551752 CPUtime=0 cores=0,2,4,6
/proc/736/task/743/stat : 743 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834635761 10804994048 120786 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=744] ppid=734 vsize=10551752 CPUtime=0 cores=0,2,4,6
/proc/736/task/744/stat : 744 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834635761 10804994048 120786 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=745] ppid=734 vsize=10551752 CPUtime=0 cores=0,2,4,6
/proc/736/task/745/stat : 745 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834635761 10804994048 120787 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=746] ppid=734 vsize=10551752 CPUtime=0 cores=0,2,4,6
/proc/736/task/746/stat : 746 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834635761 10804994048 120788 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=747] ppid=734 vsize=10551752 CPUtime=0 cores=0,2,4,6
/proc/736/task/747/stat : 747 (java) S 734 736 30316 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 834635762 10804994048 120791 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562354176 0 0 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=748] ppid=734 vsize=10551752 CPUtime=0 cores=0,2,4,6
/proc/736/task/748/stat : 748 (java) S 734 736 30316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 834635763 10804994048 120793 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=749] ppid=734 vsize=10551752 CPUtime=0 cores=0,2,4,6
/proc/736/task/749/stat : 749 (java) S 734 736 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 834635763 10804994048 120796 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=750] ppid=734 vsize=10551752 CPUtime=0 cores=0,2,4,6
/proc/736/task/750/stat : 750 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834635765 10804994048 120798 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562361265 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=751] ppid=734 vsize=10551752 CPUtime=0.27 cores=0,2,4,6
/proc/736/task/751/stat : 751 (java) R 734 736 30316 0 -1 4202560 5005 0 0 0 27 0 0 0 16 0 18 0 834635765 10804994048 120800 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 47789881519118 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=736/tid=752] ppid=734 vsize=10551752 CPUtime=0.24 cores=0,2,4,6
/proc/736/task/752/stat : 752 (java) S 734 736 30316 0 -1 4202560 2463 0 0 0 24 0 0 0 16 0 18 0 834635765 10804994048 120803 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 2 0 0 0
[pid=736/tid=754] ppid=734 vsize=10551752 CPUtime=0 cores=0,2,4,6
/proc/736/task/754/stat : 754 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834635765 10804994048 120807 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=755] ppid=734 vsize=10551752 CPUtime=0 cores=0,2,4,6
/proc/736/task/755/stat : 755 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 834635765 10804994048 120807 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562354176 0 4 0 16800975 18446604444567618560 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 10551752
[startup+3.10107 s]
/proc/loadavg: 2.25 2.14 2.04 5/490 756
/proc/meminfo: memFree=27555640/32951124 swapFree=55639044/67111528
[pid=736] ppid=734 vsize=10553488 CPUtime=4.46 cores=0,2,4,6
/proc/736/stat : 736 (java) S 734 736 30316 0 -1 4202496 250443 0 1 0 417 29 0 0 25 0 19 0 834635759 10806771712 245707 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/736/statm: 2638372 245713 2235 9 0 2629106 0
[pid=736/tid=737] ppid=734 vsize=10553488 CPUtime=3.08 cores=0,2,4,6
/proc/736/task/737/stat : 737 (java) R 734 736 30316 0 -1 4202560 239185 0 1 0 280 28 0 0 25 0 19 0 834635760 10806771712 245717 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 46912505941063 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=736/tid=739] ppid=734 vsize=10553488 CPUtime=0 cores=0,2,4,6
/proc/736/task/739/stat : 739 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635761 10806771712 245721 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=740] ppid=734 vsize=10553488 CPUtime=0 cores=0,2,4,6
/proc/736/task/740/stat : 740 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635761 10806771712 245726 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=741] ppid=734 vsize=10553488 CPUtime=0 cores=0,2,4,6
/proc/736/task/741/stat : 741 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635761 10806771712 245731 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=742] ppid=734 vsize=10553488 CPUtime=0 cores=0,2,4,6
/proc/736/task/742/stat : 742 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635761 10806771712 245735 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=743] ppid=734 vsize=10553488 CPUtime=0 cores=0,2,4,6
/proc/736/task/743/stat : 743 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635761 10806771712 245740 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=744] ppid=734 vsize=10553488 CPUtime=0 cores=0,2,4,6
/proc/736/task/744/stat : 744 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635761 10806771712 245744 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=745] ppid=734 vsize=10553488 CPUtime=0 cores=0,2,4,6
/proc/736/task/745/stat : 745 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635761 10806771712 245749 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=746] ppid=734 vsize=10553488 CPUtime=0 cores=0,2,4,6
/proc/736/task/746/stat : 746 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635761 10806771712 245753 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=747] ppid=734 vsize=10553488 CPUtime=0 cores=0,2,4,6
/proc/736/task/747/stat : 747 (java) S 734 736 30316 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834635762 10806771712 245757 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562354176 0 0 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=748] ppid=734 vsize=10553488 CPUtime=0 cores=0,2,4,6
/proc/736/task/748/stat : 748 (java) S 734 736 30316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834635763 10806771712 245762 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=749] ppid=734 vsize=10553488 CPUtime=0 cores=0,2,4,6
/proc/736/task/749/stat : 749 (java) S 734 736 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834635763 10806771712 245766 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=750] ppid=734 vsize=10553488 CPUtime=0 cores=0,2,4,6
/proc/736/task/750/stat : 750 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635765 10806771712 245770 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562361265 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=751] ppid=734 vsize=10553488 CPUtime=0.72 cores=0,2,4,6
/proc/736/task/751/stat : 751 (java) S 734 736 30316 0 -1 4202560 6174 0 0 0 72 0 0 0 15 0 19 0 834635765 10806771712 245775 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 4 0 0 0
[pid=736/tid=752] ppid=734 vsize=10553488 CPUtime=0.64 cores=0,2,4,6
/proc/736/task/752/stat : 752 (java) S 734 736 30316 0 -1 4202560 3933 0 0 0 64 0 0 0 15 0 19 0 834635765 10806771712 245779 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 2 0 0 0
[pid=736/tid=754] ppid=734 vsize=10553488 CPUtime=0 cores=0,2,4,6
/proc/736/task/754/stat : 754 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635765 10806771712 245783 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=755] ppid=734 vsize=10553488 CPUtime=0 cores=0,2,4,6
/proc/736/task/755/stat : 755 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834635765 10806771712 245787 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562354176 0 4 0 16800975 18446604444567618560 0 0 -1 0 0 0 0
[pid=736/tid=756] ppid=734 vsize=10553488 CPUtime=0 cores=0,2,4,6
/proc/736/task/756/stat : 756 (java) S 734 736 30316 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 834635943 10806771712 245791 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562354176 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.46
Current children cumulated vsize (KiB) 10553488
[startup+6.30149 s]
/proc/loadavg: 2.31 2.15 2.04 3/490 756
/proc/meminfo: memFree=26175080/32951124 swapFree=55639044/67111528
[pid=736] ppid=734 vsize=10548540 CPUtime=7.88 cores=0,2,4,6
/proc/736/stat : 736 (java) S 734 736 30316 0 -1 4202496 600922 0 1 0 719 69 0 0 25 0 19 0 834635759 10801704960 594679 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/736/statm: 2637135 594686 2237 9 0 2627869 0
[pid=736/tid=737] ppid=734 vsize=10548540 CPUtime=6.28 cores=0,2,4,6
/proc/736/task/737/stat : 737 (java) R 734 736 30316 0 -1 4202560 589372 0 1 0 560 68 0 0 18 0 19 0 834635760 10801704960 594690 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 46912505941049 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=736/tid=739] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/739/stat : 739 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635761 10801704960 594694 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=740] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/740/stat : 740 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635761 10801704960 594699 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=741] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/741/stat : 741 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635761 10801704960 594703 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=742] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/742/stat : 742 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635761 10801704960 594708 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=743] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/743/stat : 743 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635761 10801704960 594712 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=744] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/744/stat : 744 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635761 10801704960 594716 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=745] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/745/stat : 745 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635761 10801704960 594721 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=746] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/746/stat : 746 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635761 10801704960 594724 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=747] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/747/stat : 747 (java) S 734 736 30316 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 834635762 10801704960 594728 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562354176 0 0 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=748] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/748/stat : 748 (java) S 734 736 30316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834635763 10801704960 594732 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=749] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/749/stat : 749 (java) S 734 736 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834635763 10801704960 594735 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=750] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/750/stat : 750 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635765 10801704960 594739 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562361265 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=751] ppid=734 vsize=10548540 CPUtime=0.86 cores=0,2,4,6
/proc/736/task/751/stat : 751 (java) S 734 736 30316 0 -1 4202560 6180 0 0 0 86 0 0 0 15 0 19 0 834635765 10801704960 594743 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 4 0 0 0
[pid=736/tid=752] ppid=734 vsize=10548540 CPUtime=0.7 cores=0,2,4,6
/proc/736/task/752/stat : 752 (java) S 734 736 30316 0 -1 4202560 4219 0 0 0 70 0 0 0 15 0 19 0 834635765 10801704960 594746 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 2 0 0 0
[pid=736/tid=754] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/754/stat : 754 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635765 10801704960 594750 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/736/task/749/stat : 749 (java) S 734 736 30316 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834635763 10801704960 1138417 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=750] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/750/stat : 750 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635765 10801704960 1138417 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562361265 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=751] ppid=734 vsize=10548540 CPUtime=1.16 cores=0,2,4,6
/proc/736/task/751/stat : 751 (java) S 734 736 30316 0 -1 4202560 6607 0 0 0 116 0 0 0 16 0 19 0 834635765 10801704960 1138417 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 4 0 0 0
[pid=736/tid=752] ppid=734 vsize=10548540 CPUtime=0.85 cores=0,2,4,6
/proc/736/task/752/stat : 752 (java) S 734 736 30316 0 -1 4202560 4240 0 0 0 85 0 0 0 15 0 19 0 834635765 10801704960 1138417 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 2 0 0 0
[pid=736/tid=754] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/754/stat : 754 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635765 10801704960 1138417 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=755] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/755/stat : 755 (java) S 734 736 30316 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 834635765 10801704960 1138417 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562354176 0 4 0 16800975 18446604444567618560 0 0 -1 4 0 0 0
[pid=736/tid=756] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/756/stat : 756 (java) S 734 736 30316 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 834635943 10801704960 1138417 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562354176 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1675.52
Current children cumulated vsize (KiB) 10548540
[startup+1722.3 s]
/proc/loadavg: 2.18 2.09 2.05 2/470 814
/proc/meminfo: memFree=27081600/32951124 swapFree=55639044/67111528
[pid=736] ppid=734 vsize=10548540 CPUtime=1735.85 cores=0,2,4,6
/proc/736/stat : 736 (java) S 734 736 30316 0 -1 4202496 1157587 0 1 0 173433 152 0 0 25 0 19 0 834635759 10801704960 1143840 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/736/statm: 2637135 1143840 2266 9 0 2627869 0
[pid=736/tid=737] ppid=734 vsize=10548540 CPUtime=1710.59 cores=0,2,4,6
/proc/736/task/737/stat : 737 (java) R 734 736 30316 0 -1 4202560 791982 0 1 0 170966 93 0 0 25 0 19 0 834635760 10801704960 1143840 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 46912505973235 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=736/tid=739] ppid=734 vsize=10548540 CPUtime=2.03 cores=0,2,4,6
/proc/736/task/739/stat : 739 (java) S 734 736 30316 0 -1 4202560 43542 0 0 0 197 6 0 0 15 0 19 0 834635761 10801704960 1143840 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=740] ppid=734 vsize=10548540 CPUtime=2.11 cores=0,2,4,6
/proc/736/task/740/stat : 740 (java) S 734 736 30316 0 -1 4202560 44810 0 0 0 206 5 0 0 15 0 19 0 834635761 10801704960 1143840 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 0 0 0 0
[pid=736/tid=741] ppid=734 vsize=10548540 CPUtime=2.09 cores=0,2,4,6
/proc/736/task/741/stat : 741 (java) S 734 736 30316 0 -1 4202560 42858 0 0 0 202 7 0 0 16 0 19 0 834635761 10801704960 1143840 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 4 0 0 0
[pid=736/tid=742] ppid=734 vsize=10548540 CPUtime=1.87 cores=0,2,4,6
/proc/736/task/742/stat : 742 (java) S 734 736 30316 0 -1 4202560 31577 0 0 0 181 6 0 0 16 0 19 0 834635761 10801704960 1143840 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=743] ppid=734 vsize=10548540 CPUtime=1.99 cores=0,2,4,6
/proc/736/task/743/stat : 743 (java) S 734 736 30316 0 -1 4202560 42558 0 0 0 193 6 0 0 15 0 19 0 834635761 10801704960 1143840 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 0 0 0 0
[pid=736/tid=744] ppid=734 vsize=10548540 CPUtime=2.25 cores=0,2,4,6
/proc/736/task/744/stat : 744 (java) S 734 736 30316 0 -1 4202560 46991 0 0 0 218 7 0 0 15 0 19 0 834635761 10801704960 1143840 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 2 0 0 0
[pid=736/tid=745] ppid=734 vsize=10548540 CPUtime=2.23 cores=0,2,4,6
/proc/736/task/745/stat : 745 (java) S 734 736 30316 0 -1 4202560 43783 0 0 0 216 7 0 0 16 0 19 0 834635761 10801704960 1143840 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 2 0 0 0
[pid=736/tid=746] ppid=734 vsize=10548540 CPUtime=2.11 cores=0,2,4,6
/proc/736/task/746/stat : 746 (java) S 734 736 30316 0 -1 4202560 51258 0 0 0 204 7 0 0 16 0 19 0 834635761 10801704960 1143840 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 2 0 0 0
[pid=736/tid=747] ppid=734 vsize=10548540 CPUtime=6.46 cores=0,2,4,6
/proc/736/task/747/stat : 747 (java) S 734 736 30316 0 -1 4202560 6131 0 0 0 644 2 0 0 15 0 19 0 834635762 10801704960 1143840 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562354176 0 0 0 16800975 18446604444567618560 0 0 -1 0 0 0 0
[pid=736/tid=748] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/748/stat : 748 (java) S 734 736 30316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834635763 10801704960 1143840 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=749] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/749/stat : 749 (java) S 734 736 30316 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834635763 10801704960 1143840 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=750] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/750/stat : 750 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635765 10801704960 1143840 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562361265 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=751] ppid=734 vsize=10548540 CPUtime=1.16 cores=0,2,4,6
/proc/736/task/751/stat : 751 (java) S 734 736 30316 0 -1 4202560 6607 0 0 0 116 0 0 0 16 0 19 0 834635765 10801704960 1143840 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 4 0 0 0
[pid=736/tid=752] ppid=734 vsize=10548540 CPUtime=0.85 cores=0,2,4,6
/proc/736/task/752/stat : 752 (java) S 734 736 30316 0 -1 4202560 4240 0 0 0 85 0 0 0 15 0 19 0 834635765 10801704960 1143840 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 2 0 0 0
[pid=736/tid=754] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/754/stat : 754 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635765 10801704960 1143840 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=755] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/755/stat : 755 (java) S 734 736 30316 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834635765 10801704960 1143840 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562354176 0 4 0 16800975 18446604444567618560 0 0 -1 4 0 0 0
[pid=736/tid=756] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/756/stat : 756 (java) S 734 736 30316 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 834635943 10801704960 1143840 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562354176 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1735.85
Current children cumulated vsize (KiB) 10548540
[startup+1782.3 s]
/proc/loadavg: 1.43 1.89 1.98 2/466 842
/proc/meminfo: memFree=27073940/32951124 swapFree=55639044/67111528
[pid=736] ppid=734 vsize=10548540 CPUtime=1796.13 cores=0,2,4,6
/proc/736/stat : 736 (java) S 734 736 30316 0 -1 4202496 1161821 0 1 0 179460 153 0 0 25 0 19 0 834635759 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/736/statm: 2637135 1147953 2266 9 0 2627869 0
[pid=736/tid=737] ppid=734 vsize=10548540 CPUtime=1770.47 cores=0,2,4,6
/proc/736/task/737/stat : 737 (java) R 734 736 30316 0 -1 4202560 791987 0 1 0 176954 93 0 0 25 0 19 0 834635760 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 46912505948431 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=736/tid=739] ppid=734 vsize=10548540 CPUtime=2.11 cores=0,2,4,6
/proc/736/task/739/stat : 739 (java) S 734 736 30316 0 -1 4202560 44484 0 0 0 204 7 0 0 16 0 19 0 834635761 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=740] ppid=734 vsize=10548540 CPUtime=2.13 cores=0,2,4,6
/proc/736/task/740/stat : 740 (java) S 734 736 30316 0 -1 4202560 45031 0 0 0 208 5 0 0 15 0 19 0 834635761 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 0 0 0 0
[pid=736/tid=741] ppid=734 vsize=10548540 CPUtime=2.12 cores=0,2,4,6
/proc/736/task/741/stat : 741 (java) S 734 736 30316 0 -1 4202560 43155 0 0 0 205 7 0 0 15 0 19 0 834635761 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 4 0 0 0
[pid=736/tid=742] ppid=734 vsize=10548540 CPUtime=1.92 cores=0,2,4,6
/proc/736/task/742/stat : 742 (java) S 734 736 30316 0 -1 4202560 31993 0 0 0 186 6 0 0 15 0 19 0 834635761 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 4 0 0 0
[pid=736/tid=743] ppid=734 vsize=10548540 CPUtime=2.03 cores=0,2,4,6
/proc/736/task/743/stat : 743 (java) S 734 736 30316 0 -1 4202560 42997 0 0 0 197 6 0 0 16 0 19 0 834635761 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 0 0 0 0
[pid=736/tid=744] ppid=734 vsize=10548540 CPUtime=2.29 cores=0,2,4,6
/proc/736/task/744/stat : 744 (java) S 734 736 30316 0 -1 4202560 47290 0 0 0 222 7 0 0 15 0 19 0 834635761 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 4 0 0 0
[pid=736/tid=745] ppid=734 vsize=10548540 CPUtime=2.29 cores=0,2,4,6
/proc/736/task/745/stat : 745 (java) S 734 736 30316 0 -1 4202560 44357 0 0 0 222 7 0 0 16 0 19 0 834635761 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 0 0 0 0
[pid=736/tid=746] ppid=734 vsize=10548540 CPUtime=2.2 cores=0,2,4,6
/proc/736/task/746/stat : 746 (java) S 734 736 30316 0 -1 4202560 52293 0 0 0 212 8 0 0 16 0 19 0 834635761 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 2 0 0 0
[pid=736/tid=747] ppid=734 vsize=10548540 CPUtime=6.46 cores=0,2,4,6
/proc/736/task/747/stat : 747 (java) S 734 736 30316 0 -1 4202560 6133 0 0 0 644 2 0 0 15 0 19 0 834635762 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562354176 0 0 0 16800975 18446604444567618560 0 0 -1 0 0 0 0
[pid=736/tid=748] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/748/stat : 748 (java) S 734 736 30316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834635763 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=749] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/749/stat : 749 (java) S 734 736 30316 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834635763 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=750] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/750/stat : 750 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635765 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562361265 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=751] ppid=734 vsize=10548540 CPUtime=1.16 cores=0,2,4,6
/proc/736/task/751/stat : 751 (java) S 734 736 30316 0 -1 4202560 6607 0 0 0 116 0 0 0 16 0 19 0 834635765 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 4 0 0 0
[pid=736/tid=752] ppid=734 vsize=10548540 CPUtime=0.85 cores=0,2,4,6
/proc/736/task/752/stat : 752 (java) S 734 736 30316 0 -1 4202560 4240 0 0 0 85 0 0 0 15 0 19 0 834635765 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 2 0 0 0
[pid=736/tid=754] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/754/stat : 754 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635765 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=755] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/755/stat : 755 (java) S 734 736 30316 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834635765 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562354176 0 4 0 16800975 18446604444567618560 0 0 -1 4 0 0 0
[pid=736/tid=756] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/756/stat : 756 (java) S 734 736 30316 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 834635943 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562354176 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1796.13
Current children cumulated vsize (KiB) 10548540
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1786.2 s]
/proc/loadavg: 1.40 1.87 1.98 2/466 842
/proc/meminfo: memFree=27073812/32951124 swapFree=55639044/67111528
[pid=736] ppid=734 vsize=10548540 CPUtime=1800.04 cores=0,2,4,6
/proc/736/stat : 736 (java) S 734 736 30316 0 -1 4202496 1161821 0 1 0 179851 153 0 0 25 0 19 0 834635759 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/736/statm: 2637135 1147953 2266 9 0 2627869 0
[pid=736/tid=737] ppid=734 vsize=10548540 CPUtime=1774.39 cores=0,2,4,6
/proc/736/task/737/stat : 737 (java) R 734 736 30316 0 -1 4202560 791987 0 1 0 177346 93 0 0 25 0 19 0 834635760 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 46912505974870 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=736/tid=739] ppid=734 vsize=10548540 CPUtime=2.11 cores=0,2,4,6
/proc/736/task/739/stat : 739 (java) S 734 736 30316 0 -1 4202560 44484 0 0 0 204 7 0 0 16 0 19 0 834635761 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=740] ppid=734 vsize=10548540 CPUtime=2.13 cores=0,2,4,6
/proc/736/task/740/stat : 740 (java) S 734 736 30316 0 -1 4202560 45031 0 0 0 208 5 0 0 15 0 19 0 834635761 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 0 0 0 0
[pid=736/tid=741] ppid=734 vsize=10548540 CPUtime=2.12 cores=0,2,4,6
/proc/736/task/741/stat : 741 (java) S 734 736 30316 0 -1 4202560 43155 0 0 0 205 7 0 0 15 0 19 0 834635761 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 4 0 0 0
[pid=736/tid=742] ppid=734 vsize=10548540 CPUtime=1.92 cores=0,2,4,6
/proc/736/task/742/stat : 742 (java) S 734 736 30316 0 -1 4202560 31993 0 0 0 186 6 0 0 15 0 19 0 834635761 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 4 0 0 0
[pid=736/tid=743] ppid=734 vsize=10548540 CPUtime=2.03 cores=0,2,4,6
/proc/736/task/743/stat : 743 (java) S 734 736 30316 0 -1 4202560 42997 0 0 0 197 6 0 0 16 0 19 0 834635761 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 0 0 0 0
[pid=736/tid=744] ppid=734 vsize=10548540 CPUtime=2.29 cores=0,2,4,6
/proc/736/task/744/stat : 744 (java) S 734 736 30316 0 -1 4202560 47290 0 0 0 222 7 0 0 15 0 19 0 834635761 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 4 0 0 0
[pid=736/tid=745] ppid=734 vsize=10548540 CPUtime=2.29 cores=0,2,4,6
/proc/736/task/745/stat : 745 (java) S 734 736 30316 0 -1 4202560 44357 0 0 0 222 7 0 0 16 0 19 0 834635761 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 0 0 0 0
[pid=736/tid=746] ppid=734 vsize=10548540 CPUtime=2.2 cores=0,2,4,6
/proc/736/task/746/stat : 746 (java) S 734 736 30316 0 -1 4202560 52293 0 0 0 212 8 0 0 16 0 19 0 834635761 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 2 0 0 0
[pid=736/tid=747] ppid=734 vsize=10548540 CPUtime=6.46 cores=0,2,4,6
/proc/736/task/747/stat : 747 (java) S 734 736 30316 0 -1 4202560 6133 0 0 0 644 2 0 0 15 0 19 0 834635762 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562354176 0 0 0 16800975 18446604444567618560 0 0 -1 0 0 0 0
[pid=736/tid=748] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/748/stat : 748 (java) S 734 736 30316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834635763 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=749] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/749/stat : 749 (java) S 734 736 30316 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834635763 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=750] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/750/stat : 750 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635765 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562361265 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=751] ppid=734 vsize=10548540 CPUtime=1.16 cores=0,2,4,6
/proc/736/task/751/stat : 751 (java) S 734 736 30316 0 -1 4202560 6607 0 0 0 116 0 0 0 16 0 19 0 834635765 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 4 0 0 0
[pid=736/tid=752] ppid=734 vsize=10548540 CPUtime=0.85 cores=0,2,4,6
/proc/736/task/752/stat : 752 (java) S 734 736 30316 0 -1 4202560 4240 0 0 0 85 0 0 0 15 0 19 0 834635765 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 2 0 0 0
[pid=736/tid=754] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/754/stat : 754 (java) S 734 736 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834635765 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562353561 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
[pid=736/tid=755] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/755/stat : 755 (java) S 734 736 30316 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834635765 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562354176 0 4 0 16800975 18446604444567618560 0 0 -1 4 0 0 0
[pid=736/tid=756] ppid=734 vsize=10548540 CPUtime=0 cores=0,2,4,6
/proc/736/task/756/stat : 756 (java) S 734 736 30316 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 834635943 10801704960 1147953 33554432000 1073741824 1073778376 140734688922128 18446744073709551615 271562354176 0 4 0 16800975 18446604444567618560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10548540
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1786.42 s]
/proc/loadavg: 1.40 1.87 1.98 2/450 845
/proc/meminfo: memFree=28789832/32951124 swapFree=55639044/67111528
[pid=736] ppid=734 vsize=0 CPUtime=1800.27 cores=0,2,4,6
/proc/736/stat : 736 (java) Z 734 736 30316 0 -1 4203548 1161852 0 1 0 179858 169 0 0 17 0 2 0 834635759 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/736/statm: 0 0 0 0 0 0 0
[pid=736/tid=845] ppid=734 vsize=0 CPUtime=0.16 cores=0,2,4,6
/proc/736/task/845/stat : 845 (java) R 734 736 30316 0 -1 4203588 8 0 0 0 1 15 0 0 21 0 2 0 834814382 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1786.43
CPU time (s): 1800.3
CPU user time (s): 1798.59
CPU system time (s): 1.70974
CPU usage (%): 100.776
Max. virtual memory (cumulated for all children) (KiB): 10553560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.59
system time used= 1.70974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1161852
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= 42074
involuntary context switches= 18437
runsolver used 8.96364 second user time and 18.6662 second system time
The end