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-3454906-1307187567/watcher-3454906-1307187567 -o /tmp/evaluation-result-3454906-1307187567/solver-3454906-1307187567 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454906-1307187567.opb
running on 4 cores: 1,3,5,7
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.13 1.18 1.54 5/567 693
/proc/meminfo: memFree=21006496/32951124 swapFree=53733252/67111528
[pid=693] ppid=691 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/693/stat : 693 (java) R 691 693 29102 0 -1 4202496 593 0 0 0 0 0 0 0 21 0 1 0 830357135 23580672 337 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253635897088 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/693/statm: 5757 349 267 9 0 124 0
[pid=693/tid=694] ppid=691 vsize=10444480 CPUtime=0 cores=1,3,5,7
/proc/693/task/694/stat : 694 (java) R 691 693 29102 0 -1 4202560 8728 0 1 0 0 0 0 0 23 0 2 0 830357135 10695147520 9544 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253640520389 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=693/tid=695] ppid=691 vsize=10445508 CPUtime=0 cores=1,3,5,7
/proc/693/task/695/stat : 695 (java) R 691 693 29102 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 3 0 830357137 10696200192 9546 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253640915953 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=693/tid=696] ppid=691 vsize=10446536 CPUtime=0 cores=1,3,5,7
/proc/693/task/696/stat : 696 (java) S 691 693 29102 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 4 0 830357137 10697252864 9551 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16784584 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=697] ppid=691 vsize=10448724 CPUtime=0 cores=1,3,5,7
/proc/693/task/697/stat : 697 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 5 0 830357137 10699493376 9557 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16784584 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=698] ppid=691 vsize=10449752 CPUtime=0 cores=1,3,5,7
/proc/693/task/698/stat : 698 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 7 0 830357137 10700546048 9561 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16784584 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=699] ppid=691 vsize=10450780 CPUtime=0 cores=1,3,5,7
/proc/693/task/699/stat : 699 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 830357137 10701598720 9566 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16784584 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=700] ppid=691 vsize=10452836 CPUtime=0 cores=1,3,5,7
/proc/693/task/700/stat : 700 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 830357137 10703704064 9572 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16784584 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=701] ppid=691 vsize=10452836 CPUtime=0 cores=1,3,5,7
/proc/693/task/701/stat : 701 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830357137 10703704064 9574 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16784584 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=702] ppid=691 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/693/task/702/stat : 702 (java) R 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830357137 10703900672 9583 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0589 s]
/proc/loadavg: 1.13 1.18 1.54 5/567 693
/proc/meminfo: memFree=21006496/32951124 swapFree=53733252/67111528
[pid=693] ppid=691 vsize=10472784 CPUtime=0.05 cores=1,3,5,7
/proc/693/stat : 693 (java) S 691 693 29102 0 -1 4202496 11643 0 1 0 4 1 0 0 21 0 18 0 830357135 10724130816 11340 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/693/statm: 2618196 11340 1730 9 0 2608937 0
[pid=693/tid=694] ppid=691 vsize=10472784 CPUtime=0.04 cores=1,3,5,7
/proc/693/task/694/stat : 694 (java) R 691 693 29102 0 -1 4202560 10468 0 1 0 3 1 0 0 25 0 18 0 830357135 10724130816 11340 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652686283 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=693/tid=695] ppid=691 vsize=10472784 CPUtime=0 cores=1,3,5,7
/proc/693/task/695/stat : 695 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 830357137 10724130816 11340 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=696] ppid=691 vsize=10472784 CPUtime=0 cores=1,3,5,7
/proc/693/task/696/stat : 696 (java) S 691 693 29102 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830357137 10724130816 11342 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=697] ppid=691 vsize=10472924 CPUtime=0 cores=1,3,5,7
/proc/693/task/697/stat : 697 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10724274176 11352 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=698] ppid=691 vsize=10472924 CPUtime=0 cores=1,3,5,7
/proc/693/task/698/stat : 698 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10724274176 11353 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=699] ppid=691 vsize=10472924 CPUtime=0 cores=1,3,5,7
/proc/693/task/699/stat : 699 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10724274176 11353 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=700] ppid=691 vsize=10472924 CPUtime=0 cores=1,3,5,7
/proc/693/task/700/stat : 700 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10724274176 11354 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=701] ppid=691 vsize=10472924 CPUtime=0 cores=1,3,5,7
/proc/693/task/701/stat : 701 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10724274176 11354 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=702] ppid=691 vsize=10472924 CPUtime=0 cores=1,3,5,7
/proc/693/task/702/stat : 702 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10724274176 11355 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472784
[startup+0.100894 s]
/proc/loadavg: 1.13 1.18 1.54 5/567 693
/proc/meminfo: memFree=21006496/32951124 swapFree=53733252/67111528
[pid=693] ppid=691 vsize=10539840 CPUtime=0.11 cores=1,3,5,7
/proc/693/stat : 693 (java) S 691 693 29102 0 -1 4202496 13107 0 1 0 9 2 0 0 21 0 18 0 830357135 10792796160 12778 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/693/statm: 2634960 12778 2092 9 0 2625694 0
[pid=693/tid=694] ppid=691 vsize=10539840 CPUtime=0.08 cores=1,3,5,7
/proc/693/task/694/stat : 694 (java) R 691 693 29102 0 -1 4202560 11169 0 1 0 7 1 0 0 18 0 18 0 830357135 10792796160 12779 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 47594828049235 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=693/tid=695] ppid=691 vsize=10539840 CPUtime=0 cores=1,3,5,7
/proc/693/task/695/stat : 695 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 830357137 10792796160 12779 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=696] ppid=691 vsize=10539840 CPUtime=0 cores=1,3,5,7
/proc/693/task/696/stat : 696 (java) S 691 693 29102 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830357137 10792796160 12779 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=697] ppid=691 vsize=10539840 CPUtime=0 cores=1,3,5,7
/proc/693/task/697/stat : 697 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10792796160 12780 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=698] ppid=691 vsize=10539840 CPUtime=0 cores=1,3,5,7
/proc/693/task/698/stat : 698 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10792796160 12780 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=699] ppid=691 vsize=10539840 CPUtime=0 cores=1,3,5,7
/proc/693/task/699/stat : 699 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10792796160 12782 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=700] ppid=691 vsize=10539840 CPUtime=0 cores=1,3,5,7
/proc/693/task/700/stat : 700 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10792796160 12782 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=701] ppid=691 vsize=10539840 CPUtime=0 cores=1,3,5,7
/proc/693/task/701/stat : 701 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10792796160 12782 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=702] ppid=691 vsize=10539840 CPUtime=0 cores=1,3,5,7
/proc/693/task/702/stat : 702 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10792796160 12782 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539840
[startup+0.300822 s]
/proc/loadavg: 1.13 1.18 1.54 5/567 693
/proc/meminfo: memFree=21006496/32951124 swapFree=53733252/67111528
[pid=693] ppid=691 vsize=10541752 CPUtime=0.48 cores=1,3,5,7
/proc/693/stat : 693 (java) S 691 693 29102 0 -1 4202496 16262 0 1 0 46 2 0 0 21 0 18 0 830357135 10794754048 15810 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/693/statm: 2635438 15811 2200 9 0 2626172 0
[pid=693/tid=694] ppid=691 vsize=10541752 CPUtime=0.28 cores=1,3,5,7
/proc/693/task/694/stat : 694 (java) R 691 693 29102 0 -1 4202560 13465 0 1 0 26 2 0 0 18 0 18 0 830357135 10794754048 15811 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 46912505568356 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=693/tid=695] ppid=691 vsize=10541752 CPUtime=0 cores=1,3,5,7
/proc/693/task/695/stat : 695 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 830357137 10794754048 15812 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=696] ppid=691 vsize=10541752 CPUtime=0 cores=1,3,5,7
/proc/693/task/696/stat : 696 (java) S 691 693 29102 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830357137 10794754048 15813 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=697] ppid=691 vsize=10541752 CPUtime=0 cores=1,3,5,7
/proc/693/task/697/stat : 697 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10794754048 15813 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=698] ppid=691 vsize=10541752 CPUtime=0 cores=1,3,5,7
/proc/693/task/698/stat : 698 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10794754048 15814 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=699] ppid=691 vsize=10541752 CPUtime=0 cores=1,3,5,7
/proc/693/task/699/stat : 699 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10794754048 15815 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=700] ppid=691 vsize=10541752 CPUtime=0 cores=1,3,5,7
/proc/693/task/700/stat : 700 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10794754048 15816 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=701] ppid=691 vsize=10541752 CPUtime=0 cores=1,3,5,7
/proc/693/task/701/stat : 701 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10794754048 15816 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=702] ppid=691 vsize=10541752 CPUtime=0 cores=1,3,5,7
/proc/693/task/702/stat : 702 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10794754048 15817 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10541752
[startup+0.700795 s]
/proc/loadavg: 1.13 1.18 1.54 5/567 693
/proc/meminfo: memFree=21006496/32951124 swapFree=53733252/67111528
[pid=693] ppid=691 vsize=10543556 CPUtime=1.18 cores=1,3,5,7
/proc/693/stat : 693 (java) S 691 693 29102 0 -1 4202496 56551 0 1 0 110 8 0 0 21 0 18 0 830357135 10796601344 54617 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/693/statm: 2635889 54622 2213 9 0 2626623 0
[pid=693/tid=694] ppid=691 vsize=10543556 CPUtime=0.69 cores=1,3,5,7
/proc/693/task/694/stat : 694 (java) R 691 693 29102 0 -1 4202560 51068 0 1 0 62 7 0 0 18 0 18 0 830357135 10796601344 54624 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 46912505544438 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=693/tid=695] ppid=691 vsize=10543556 CPUtime=0 cores=1,3,5,7
/proc/693/task/695/stat : 695 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 830357137 10796601344 54627 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=696] ppid=691 vsize=10543556 CPUtime=0 cores=1,3,5,7
/proc/693/task/696/stat : 696 (java) S 691 693 29102 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830357137 10796601344 54630 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=697] ppid=691 vsize=10543556 CPUtime=0 cores=1,3,5,7
/proc/693/task/697/stat : 697 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10796601344 54633 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=698] ppid=691 vsize=10543556 CPUtime=0 cores=1,3,5,7
/proc/693/task/698/stat : 698 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10796601344 54636 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=699] ppid=691 vsize=10543556 CPUtime=0 cores=1,3,5,7
/proc/693/task/699/stat : 699 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10796601344 54639 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=700] ppid=691 vsize=10543556 CPUtime=0 cores=1,3,5,7
/proc/693/task/700/stat : 700 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10796601344 54642 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=701] ppid=691 vsize=10543556 CPUtime=0 cores=1,3,5,7
/proc/693/task/701/stat : 701 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10796601344 54644 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=702] ppid=691 vsize=10543556 CPUtime=0 cores=1,3,5,7
/proc/693/task/702/stat : 702 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10796601344 54648 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 10543556
[startup+1.50065 s]
/proc/loadavg: 1.28 1.21 1.55 6/589 715
/proc/meminfo: memFree=20377468/32951124 swapFree=53733252/67111528
[pid=693] ppid=691 vsize=10543556 CPUtime=1.98 cores=1,3,5,7
/proc/693/stat : 693 (java) S 691 693 29102 0 -1 4202496 150079 0 1 0 178 20 0 0 21 0 18 0 830357135 10796601344 148145 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/693/statm: 2635889 148149 2213 9 0 2626623 0
[pid=693/tid=694] ppid=691 vsize=10543556 CPUtime=1.48 cores=1,3,5,7
/proc/693/task/694/stat : 694 (java) R 691 693 29102 0 -1 4202560 144596 0 1 0 130 18 0 0 19 0 18 0 830357135 10796601344 148152 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 46912505544438 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=693/tid=695] ppid=691 vsize=10543556 CPUtime=0 cores=1,3,5,7
/proc/693/task/695/stat : 695 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 830357137 10796601344 148155 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=696] ppid=691 vsize=10543556 CPUtime=0 cores=1,3,5,7
/proc/693/task/696/stat : 696 (java) S 691 693 29102 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830357137 10796601344 148158 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=697] ppid=691 vsize=10543556 CPUtime=0 cores=1,3,5,7
/proc/693/task/697/stat : 697 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10796601344 148161 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=698] ppid=691 vsize=10543556 CPUtime=0 cores=1,3,5,7
/proc/693/task/698/stat : 698 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10796601344 148164 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=699] ppid=691 vsize=10543556 CPUtime=0 cores=1,3,5,7
/proc/693/task/699/stat : 699 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10796601344 148167 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=700] ppid=691 vsize=10543556 CPUtime=0 cores=1,3,5,7
/proc/693/task/700/stat : 700 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10796601344 148169 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=701] ppid=691 vsize=10543556 CPUtime=0 cores=1,3,5,7
/proc/693/task/701/stat : 701 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10796601344 148172 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=702] ppid=691 vsize=10543556 CPUtime=0 cores=1,3,5,7
/proc/693/task/702/stat : 702 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357137 10796601344 148175 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=704] ppid=691 vsize=10543556 CPUtime=0 cores=1,3,5,7
/proc/693/task/704/stat : 704 (java) S 691 693 29102 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830357138 10796601344 148178 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652676096 0 0 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=705] ppid=691 vsize=10543556 CPUtime=0 cores=1,3,5,7
/proc/693/task/705/stat : 705 (java) S 691 693 29102 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830357138 10796601344 148181 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=706] ppid=691 vsize=10543556 CPUtime=0 cores=1,3,5,7
/proc/693/task/706/stat : 706 (java) S 691 693 29102 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830357138 10796601344 148184 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=707] ppid=691 vsize=10543556 CPUtime=0 cores=1,3,5,7
/proc/693/task/707/stat : 707 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357140 10796601344 148187 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652683185 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=708] ppid=691 vsize=10543556 CPUtime=0.23 cores=1,3,5,7
/proc/693/task/708/stat : 708 (java) S 691 693 29102 0 -1 4202560 2420 0 0 0 23 0 0 0 25 0 18 0 830357140 10796601344 148190 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=709] ppid=691 vsize=10543556 CPUtime=0.24 cores=1,3,5,7
/proc/693/task/709/stat : 709 (java) S 691 693 29102 0 -1 4202560 1919 0 0 0 24 0 0 0 16 0 18 0 830357140 10796601344 148193 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 1 0 0 0
[pid=693/tid=710] ppid=691 vsize=10543556 CPUtime=0 cores=1,3,5,7
/proc/693/task/710/stat : 710 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830357140 10796601344 148196 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=711] ppid=691 vsize=10543556 CPUtime=0 cores=1,3,5,7
/proc/693/task/711/stat : 711 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830357140 10796601344 148198 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652676096 0 4 0 16800975 18446604463445162048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 10543556
[startup+3.10135 s]
/proc/loadavg: 1.28 1.21 1.55 4/589 715
/proc/meminfo: memFree=19718568/32951124 swapFree=53733252/67111528
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 4.24 3.87 2.99 5/593 741
/proc/meminfo: memFree=13647984/32951124 swapFree=53733252/67111528
[pid=693] ppid=691 vsize=10563348 CPUtime=1620.12 cores=1,3,5,7
/proc/693/stat : 693 (java) S 691 693 29102 0 -1 4202496 967723 0 1 0 161892 120 0 0 21 0 22 0 830357135 10816868352 952842 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/693/statm: 2640837 952842 2266 9 0 2631571 0
[pid=693/tid=694] ppid=691 vsize=10563348 CPUtime=4.01 cores=1,3,5,7
/proc/693/task/694/stat : 694 (java) S 691 693 29102 0 -1 4202560 445021 0 1 0 344 57 0 0 15 0 22 0 830357135 10816868352 952842 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652676096 0 4 0 16800975 18446604463445162048 0 0 -1 1 0 0 0
[pid=693/tid=695] ppid=691 vsize=10563348 CPUtime=0.69 cores=1,3,5,7
/proc/693/task/695/stat : 695 (java) S 691 693 29102 0 -1 4202560 13710 0 0 0 67 2 0 0 16 0 22 0 830357137 10816868352 952842 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=696] ppid=691 vsize=10563348 CPUtime=0.51 cores=1,3,5,7
/proc/693/task/696/stat : 696 (java) S 691 693 29102 0 -1 4202560 5540 0 0 0 51 0 0 0 15 0 22 0 830357137 10816868352 952842 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 5 0 0 0
[pid=693/tid=697] ppid=691 vsize=10563348 CPUtime=0.43 cores=1,3,5,7
/proc/693/task/697/stat : 697 (java) S 691 693 29102 0 -1 4202560 11233 0 0 0 42 1 0 0 16 0 22 0 830357137 10816868352 952842 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=698] ppid=691 vsize=10563348 CPUtime=0.52 cores=1,3,5,7
/proc/693/task/698/stat : 698 (java) S 691 693 29102 0 -1 4202560 6310 0 0 0 52 0 0 0 15 0 22 0 830357137 10816868352 952842 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 1 0 0 0
[pid=693/tid=699] ppid=691 vsize=10563348 CPUtime=0.58 cores=1,3,5,7
/proc/693/task/699/stat : 699 (java) S 691 693 29102 0 -1 4202560 8241 0 0 0 58 0 0 0 16 0 22 0 830357137 10816868352 952842 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 5 0 0 0
[pid=693/tid=700] ppid=691 vsize=10563348 CPUtime=0.6 cores=1,3,5,7
/proc/693/task/700/stat : 700 (java) S 691 693 29102 0 -1 4202560 15087 0 0 0 59 1 0 0 15 0 22 0 830357137 10816868352 952842 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 1 0 0 0
[pid=693/tid=701] ppid=691 vsize=10563348 CPUtime=0.56 cores=1,3,5,7
/proc/693/task/701/stat : 701 (java) S 691 693 29102 0 -1 4202560 14125 0 0 0 55 1 0 0 15 0 22 0 830357137 10816868352 952842 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 1 0 0 0
[pid=693/tid=702] ppid=691 vsize=10563348 CPUtime=0.67 cores=1,3,5,7
/proc/693/task/702/stat : 702 (java) S 691 693 29102 0 -1 4202560 15706 0 0 0 66 1 0 0 16 0 22 0 830357137 10816868352 952842 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 1 0 0 0
[pid=693/tid=704] ppid=691 vsize=10563348 CPUtime=24.8 cores=1,3,5,7
/proc/693/task/704/stat : 704 (java) S 691 693 29102 0 -1 4202560 61956 0 0 0 2473 7 0 0 15 0 22 0 830357138 10816868352 952842 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652676096 0 0 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=705] ppid=691 vsize=10563348 CPUtime=0 cores=1,3,5,7
/proc/693/task/705/stat : 705 (java) S 691 693 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830357138 10816868352 952842 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=706] ppid=691 vsize=10563348 CPUtime=0 cores=1,3,5,7
/proc/693/task/706/stat : 706 (java) S 691 693 29102 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830357138 10816868352 952842 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=707] ppid=691 vsize=10563348 CPUtime=0 cores=1,3,5,7
/proc/693/task/707/stat : 707 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830357140 10816868352 952842 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652683185 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=708] ppid=691 vsize=10563348 CPUtime=1.21 cores=1,3,5,7
/proc/693/task/708/stat : 708 (java) S 691 693 29102 0 -1 4202560 10144 0 0 0 120 1 0 0 15 0 22 0 830357140 10816868352 952842 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 5 0 0 0
[pid=693/tid=709] ppid=691 vsize=10563348 CPUtime=1.22 cores=1,3,5,7
/proc/693/task/709/stat : 709 (java) S 691 693 29102 0 -1 4202560 9895 0 0 0 121 1 0 0 15 0 22 0 830357140 10816868352 952842 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 1 0 0 0
[pid=693/tid=710] ppid=691 vsize=10563348 CPUtime=0 cores=1,3,5,7
/proc/693/task/710/stat : 710 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830357140 10816868352 952842 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=711] ppid=691 vsize=10563348 CPUtime=0 cores=1,3,5,7
/proc/693/task/711/stat : 711 (java) S 691 693 29102 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 830357140 10816868352 952842 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652676096 0 4 0 16800975 18446604463445162048 0 0 -1 5 0 0 0
[pid=693/tid=716] ppid=691 vsize=10563348 CPUtime=792.09 cores=1,3,5,7
/proc/693/task/716/stat : 716 (java) R 691 693 29102 0 -1 4202560 6872 0 0 0 79208 1 0 0 25 0 22 0 830357537 10816868352 952842 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 46912505843172 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=693/tid=717] ppid=691 vsize=10563348 CPUtime=792.08 cores=1,3,5,7
/proc/693/task/717/stat : 717 (java) R 691 693 29102 0 -1 4202560 342679 0 0 0 79169 39 0 0 25 0 22 0 830357537 10816868352 952842 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 46912505851210 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=693/tid=718] ppid=691 vsize=10563348 CPUtime=0 cores=1,3,5,7
/proc/693/task/718/stat : 718 (java) S 691 693 29102 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830357538 10816868352 952842 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652676096 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=719] ppid=691 vsize=10563348 CPUtime=0 cores=1,3,5,7
/proc/693/task/719/stat : 719 (java) S 691 693 29102 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830357538 10816868352 952842 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652676096 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1620.12
Current children cumulated vsize (KiB) 10563348
[startup+882.302 s]
/proc/loadavg: 4.20 3.92 3.06 5/593 742
/proc/meminfo: memFree=13647400/32951124 swapFree=53733252/67111528
[pid=693] ppid=691 vsize=10563348 CPUtime=1739.3 cores=1,3,5,7
/proc/693/stat : 693 (java) S 691 693 29102 0 -1 4202496 967734 0 1 0 173810 120 0 0 21 0 22 0 830357135 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/693/statm: 2640837 952844 2266 9 0 2631571 0
[pid=693/tid=694] ppid=691 vsize=10563348 CPUtime=4.01 cores=1,3,5,7
/proc/693/task/694/stat : 694 (java) S 691 693 29102 0 -1 4202560 445022 0 1 0 344 57 0 0 15 0 22 0 830357135 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652676096 0 4 0 16800975 18446604463445162048 0 0 -1 1 0 0 0
[pid=693/tid=695] ppid=691 vsize=10563348 CPUtime=0.73 cores=1,3,5,7
/proc/693/task/695/stat : 695 (java) S 691 693 29102 0 -1 4202560 13710 0 0 0 71 2 0 0 15 0 22 0 830357137 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=696] ppid=691 vsize=10563348 CPUtime=0.54 cores=1,3,5,7
/proc/693/task/696/stat : 696 (java) S 691 693 29102 0 -1 4202560 5541 0 0 0 54 0 0 0 15 0 22 0 830357137 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 1 0 0 0
[pid=693/tid=697] ppid=691 vsize=10563348 CPUtime=0.43 cores=1,3,5,7
/proc/693/task/697/stat : 697 (java) S 691 693 29102 0 -1 4202560 11233 0 0 0 42 1 0 0 15 0 22 0 830357137 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=698] ppid=691 vsize=10563348 CPUtime=0.56 cores=1,3,5,7
/proc/693/task/698/stat : 698 (java) S 691 693 29102 0 -1 4202560 6311 0 0 0 56 0 0 0 16 0 22 0 830357137 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 1 0 0 0
[pid=693/tid=699] ppid=691 vsize=10563348 CPUtime=0.61 cores=1,3,5,7
/proc/693/task/699/stat : 699 (java) S 691 693 29102 0 -1 4202560 8241 0 0 0 61 0 0 0 16 0 22 0 830357137 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 5 0 0 0
[pid=693/tid=700] ppid=691 vsize=10563348 CPUtime=0.66 cores=1,3,5,7
/proc/693/task/700/stat : 700 (java) S 691 693 29102 0 -1 4202560 15087 0 0 0 65 1 0 0 16 0 22 0 830357137 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=701] ppid=691 vsize=10563348 CPUtime=0.58 cores=1,3,5,7
/proc/693/task/701/stat : 701 (java) S 691 693 29102 0 -1 4202560 14125 0 0 0 57 1 0 0 16 0 22 0 830357137 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=702] ppid=691 vsize=10563348 CPUtime=0.67 cores=1,3,5,7
/proc/693/task/702/stat : 702 (java) S 691 693 29102 0 -1 4202560 15706 0 0 0 66 1 0 0 15 0 22 0 830357137 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 5 0 0 0
[pid=693/tid=704] ppid=691 vsize=10563348 CPUtime=25.72 cores=1,3,5,7
/proc/693/task/704/stat : 704 (java) S 691 693 29102 0 -1 4202560 61958 0 0 0 2565 7 0 0 15 0 22 0 830357138 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652676096 0 0 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=705] ppid=691 vsize=10563348 CPUtime=0 cores=1,3,5,7
/proc/693/task/705/stat : 705 (java) S 691 693 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830357138 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=706] ppid=691 vsize=10563348 CPUtime=0 cores=1,3,5,7
/proc/693/task/706/stat : 706 (java) S 691 693 29102 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830357138 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=707] ppid=691 vsize=10563348 CPUtime=0 cores=1,3,5,7
/proc/693/task/707/stat : 707 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830357140 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652683185 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=708] ppid=691 vsize=10563348 CPUtime=1.21 cores=1,3,5,7
/proc/693/task/708/stat : 708 (java) S 691 693 29102 0 -1 4202560 10144 0 0 0 120 1 0 0 15 0 22 0 830357140 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 5 0 0 0
[pid=693/tid=709] ppid=691 vsize=10563348 CPUtime=1.22 cores=1,3,5,7
/proc/693/task/709/stat : 709 (java) S 691 693 29102 0 -1 4202560 9895 0 0 0 121 1 0 0 15 0 22 0 830357140 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 1 0 0 0
[pid=693/tid=710] ppid=691 vsize=10563348 CPUtime=0 cores=1,3,5,7
/proc/693/task/710/stat : 710 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830357140 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=711] ppid=691 vsize=10563348 CPUtime=0 cores=1,3,5,7
/proc/693/task/711/stat : 711 (java) S 691 693 29102 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830357140 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652676096 0 4 0 16800975 18446604463445162048 0 0 -1 5 0 0 0
[pid=693/tid=716] ppid=691 vsize=10563348 CPUtime=851.12 cores=1,3,5,7
/proc/693/task/716/stat : 716 (java) R 691 693 29102 0 -1 4202560 6873 0 0 0 85111 1 0 0 25 0 22 0 830357537 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 46912505807932 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=693/tid=717] ppid=691 vsize=10563348 CPUtime=851.11 cores=1,3,5,7
/proc/693/task/717/stat : 717 (java) R 691 693 29102 0 -1 4202560 342680 0 0 0 85072 39 0 0 25 0 22 0 830357537 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 46912506152772 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=693/tid=718] ppid=691 vsize=10563348 CPUtime=0 cores=1,3,5,7
/proc/693/task/718/stat : 718 (java) S 691 693 29102 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830357538 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652676096 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=719] ppid=691 vsize=10563348 CPUtime=0 cores=1,3,5,7
/proc/693/task/719/stat : 719 (java) S 691 693 29102 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830357538 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652676096 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1739.3
Current children cumulated vsize (KiB) 10563348
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+913.301 s]
/proc/loadavg: 3.97 3.90 3.08 5/593 807
/proc/meminfo: memFree=16987076/32951124 swapFree=53733252/67111528
[pid=693] ppid=691 vsize=10563348 CPUtime=1800.19 cores=1,3,5,7
/proc/693/stat : 693 (java) S 691 693 29102 0 -1 4202496 967740 0 1 0 179899 120 0 0 21 0 22 0 830357135 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/693/statm: 2640837 952844 2266 9 0 2631571 0
[pid=693/tid=694] ppid=691 vsize=10563348 CPUtime=4.01 cores=1,3,5,7
/proc/693/task/694/stat : 694 (java) S 691 693 29102 0 -1 4202560 445023 0 1 0 344 57 0 0 15 0 22 0 830357135 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652676096 0 4 0 16800975 18446604463445162048 0 0 -1 1 0 0 0
[pid=693/tid=695] ppid=691 vsize=10563348 CPUtime=0.75 cores=1,3,5,7
/proc/693/task/695/stat : 695 (java) S 691 693 29102 0 -1 4202560 13710 0 0 0 73 2 0 0 15 0 22 0 830357137 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=696] ppid=691 vsize=10563348 CPUtime=0.57 cores=1,3,5,7
/proc/693/task/696/stat : 696 (java) S 691 693 29102 0 -1 4202560 5541 0 0 0 57 0 0 0 15 0 22 0 830357137 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 5 0 0 0
[pid=693/tid=697] ppid=691 vsize=10563348 CPUtime=0.46 cores=1,3,5,7
/proc/693/task/697/stat : 697 (java) S 691 693 29102 0 -1 4202560 11233 0 0 0 45 1 0 0 16 0 22 0 830357137 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=698] ppid=691 vsize=10563348 CPUtime=0.58 cores=1,3,5,7
/proc/693/task/698/stat : 698 (java) S 691 693 29102 0 -1 4202560 6311 0 0 0 58 0 0 0 16 0 22 0 830357137 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 1 0 0 0
[pid=693/tid=699] ppid=691 vsize=10563348 CPUtime=0.61 cores=1,3,5,7
/proc/693/task/699/stat : 699 (java) S 691 693 29102 0 -1 4202560 8241 0 0 0 61 0 0 0 15 0 22 0 830357137 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 5 0 0 0
[pid=693/tid=700] ppid=691 vsize=10563348 CPUtime=0.67 cores=1,3,5,7
/proc/693/task/700/stat : 700 (java) S 691 693 29102 0 -1 4202560 15087 0 0 0 66 1 0 0 16 0 22 0 830357137 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
[pid=693/tid=701] ppid=691 vsize=10563348 CPUtime=0.59 cores=1,3,5,7
/proc/693/task/701/stat : 701 (java) S 691 693 29102 0 -1 4202560 14125 0 0 0 58 1 0 0 15 0 22 0 830357137 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 5 0 0 0
[pid=693/tid=702] ppid=691 vsize=10563348 CPUtime=0.67 cores=1,3,5,7
/proc/693/task/702/stat : 702 (java) S 691 693 29102 0 -1 4202560 15706 0 0 0 66 1 0 0 15 0 22 0 830357137 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 5 0 0 0
[pid=693/tid=704] ppid=691 vsize=10563348 CPUtime=26.89 cores=1,3,5,7
/proc/693/task/704/stat : 704 (java) S 691 693 29102 0 -1 4202560 61960 0 0 0 2682 7 0 0 15 0 22 0 830357138 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652676096 0 0 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=705] ppid=691 vsize=10563348 CPUtime=0 cores=1,3,5,7
/proc/693/task/705/stat : 705 (java) S 691 693 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830357138 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=706] ppid=691 vsize=10563348 CPUtime=0 cores=1,3,5,7
/proc/693/task/706/stat : 706 (java) S 691 693 29102 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830357138 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=707] ppid=691 vsize=10563348 CPUtime=0 cores=1,3,5,7
/proc/693/task/707/stat : 707 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830357140 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652683185 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=708] ppid=691 vsize=10563348 CPUtime=1.21 cores=1,3,5,7
/proc/693/task/708/stat : 708 (java) S 691 693 29102 0 -1 4202560 10144 0 0 0 120 1 0 0 15 0 22 0 830357140 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 5 0 0 0
[pid=693/tid=709] ppid=691 vsize=10563348 CPUtime=1.22 cores=1,3,5,7
/proc/693/task/709/stat : 709 (java) S 691 693 29102 0 -1 4202560 9895 0 0 0 121 1 0 0 15 0 22 0 830357140 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 1 0 0 0
[pid=693/tid=710] ppid=691 vsize=10563348 CPUtime=0 cores=1,3,5,7
/proc/693/task/710/stat : 710 (java) S 691 693 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830357140 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652675481 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=711] ppid=691 vsize=10563348 CPUtime=0 cores=1,3,5,7
/proc/693/task/711/stat : 711 (java) S 691 693 29102 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830357140 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652676096 0 4 0 16800975 18446604463445162048 0 0 -1 5 0 0 0
[pid=693/tid=716] ppid=691 vsize=10563348 CPUtime=880.94 cores=1,3,5,7
/proc/693/task/716/stat : 716 (java) R 691 693 29102 0 -1 4202560 6873 0 0 0 88093 1 0 0 25 0 22 0 830357537 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 46912505807932 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=693/tid=717] ppid=691 vsize=10563348 CPUtime=880.93 cores=1,3,5,7
/proc/693/task/717/stat : 717 (java) R 691 693 29102 0 -1 4202560 342681 0 0 0 88054 39 0 0 25 0 22 0 830357537 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 46912506152983 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=693/tid=718] ppid=691 vsize=10563348 CPUtime=0 cores=1,3,5,7
/proc/693/task/718/stat : 718 (java) S 691 693 29102 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830357538 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652676096 0 4 0 16800975 18446604463445162048 0 0 -1 3 0 0 0
[pid=693/tid=719] ppid=691 vsize=10563348 CPUtime=0 cores=1,3,5,7
/proc/693/task/719/stat : 719 (java) S 691 693 29102 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830357538 10816868352 952844 33554432000 1073741824 1073778376 140734485826480 18446744073709551615 253652676096 0 4 0 16800975 18446604463445162048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 10563348
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+913.428 s]
/proc/loadavg: 3.97 3.90 3.08 5/593 807
/proc/meminfo: memFree=16987076/32951124 swapFree=53733252/67111528
[pid=693] ppid=691 vsize=0 CPUtime=1800.41 cores=1,3,5,7
/proc/693/stat : 693 (java) Z 691 693 29102 0 -1 4203548 967771 0 1 0 179914 127 0 0 17 0 2 0 830357135 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/693/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 913.496
CPU time (s): 1800.49
CPU user time (s): 1799.15
CPU system time (s): 1.3458
CPU usage (%): 197.099
Max. virtual memory (cumulated for all children) (KiB): 10567672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 1.34579
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 967771
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= 23378
involuntary context switches= 17217
runsolver used 5.01724 second user time and 12.4681 second system time
The end