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-3456876-1307217696/watcher-3456876-1307217696 -o /tmp/evaluation-result-3456876-1307217696/solver-3456876-1307217696 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456876-1307217696.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.88 2.01 1.73 3/471 30618
/proc/meminfo: memFree=28993412/32951124 swapFree=55639044/67111528
[pid=30618] ppid=30616 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/30618/stat : 30618 (java) R 30616 30618 30316 0 -1 4202496 1016 0 0 0 0 0 0 0 18 0 1 0 833367518 23580672 761 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 47949015732896 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/30618/statm: 5757 778 575 9 0 124 0
[startup+0.018932 s]
/proc/loadavg: 1.88 2.01 1.73 3/471 30618
/proc/meminfo: memFree=28993412/32951124 swapFree=55639044/67111528
[pid=30618] ppid=30616 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/30618/stat : 30618 (java) S 30616 30618 30316 0 -1 4202496 1315 0 0 0 0 0 0 0 18 0 2 0 833367518 36646912 1018 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/30618/statm: 8947 1019 783 9 0 386 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 35788
[startup+0.109958 s]
/proc/loadavg: 1.88 2.01 1.73 3/471 30618
/proc/meminfo: memFree=28993412/32951124 swapFree=55639044/67111528
[pid=30618] ppid=30616 vsize=10540484 CPUtime=0.1 cores=1,3,5,7
/proc/30618/stat : 30618 (java) S 30616 30618 30316 0 -1 4202496 12964 0 1 0 8 2 0 0 18 0 18 0 833367518 10793455616 12662 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30618/statm: 2635121 12663 2093 9 0 2625855 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540484
[startup+0.300844 s]
/proc/loadavg: 1.88 2.01 1.73 3/471 30618
/proc/meminfo: memFree=28993412/32951124 swapFree=55639044/67111528
[pid=30618] ppid=30616 vsize=10542076 CPUtime=0.43 cores=1,3,5,7
/proc/30618/stat : 30618 (java) S 30616 30618 30316 0 -1 4202496 15539 0 1 0 41 2 0 0 18 0 18 0 833367518 10795085824 15056 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30618/statm: 2635519 15057 2201 9 0 2626253 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10542076
[startup+0.700805 s]
/proc/loadavg: 1.88 2.01 1.73 3/471 30618
/proc/meminfo: memFree=28993412/32951124 swapFree=55639044/67111528
[pid=30618] ppid=30616 vsize=10547088 CPUtime=1.23 cores=1,3,5,7
/proc/30618/stat : 30618 (java) S 30616 30618 30316 0 -1 4202496 22695 0 1 0 119 4 0 0 18 0 19 0 833367518 10800218112 21000 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30618/statm: 2636772 21000 2230 9 0 2627506 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 10547088
[startup+1.50066 s]
/proc/loadavg: 1.88 2.01 1.73 3/490 30637
/proc/meminfo: memFree=28883576/32951124 swapFree=55639044/67111528
[pid=30618] ppid=30616 vsize=10547088 CPUtime=2.11 cores=1,3,5,7
/proc/30618/stat : 30618 (java) S 30616 30618 30316 0 -1 4202496 27138 0 1 0 207 4 0 0 18 0 19 0 833367518 10800218112 25191 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30618/statm: 2636772 25191 2232 9 0 2627506 0
[pid=30618/tid=30620] ppid=30616 vsize=10547088 CPUtime=1.47 cores=1,3,5,7
/proc/30618/task/30620/stat : 30620 (java) R 30616 30618 30316 0 -1 4202560 21731 0 1 0 144 3 0 0 25 0 19 0 833367520 10800218112 25191 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 46912505718243 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30618/tid=30621] ppid=30616 vsize=10547088 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30621/stat : 30621 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833367521 10800218112 25191 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30622] ppid=30616 vsize=10547088 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30622/stat : 30622 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833367521 10800218112 25191 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30623] ppid=30616 vsize=10547088 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30623/stat : 30623 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833367521 10800218112 25191 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30624] ppid=30616 vsize=10547088 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30624/stat : 30624 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833367521 10800218112 25191 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30625] ppid=30616 vsize=10547088 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30625/stat : 30625 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833367521 10800218112 25191 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30626] ppid=30616 vsize=10547088 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30626/stat : 30626 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833367521 10800218112 25191 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30627] ppid=30616 vsize=10547088 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30627/stat : 30627 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833367521 10800218112 25191 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30628] ppid=30616 vsize=10547088 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30628/stat : 30628 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833367521 10800218112 25191 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 1 0 0 0
[pid=30618/tid=30629] ppid=30616 vsize=10547088 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30629/stat : 30629 (java) S 30616 30618 30316 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833367523 10800218112 25191 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562354176 0 0 0 16800975 18446604470119909312 0 0 -1 1 0 0 0
[pid=30618/tid=30630] ppid=30616 vsize=10547088 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30630/stat : 30630 (java) S 30616 30618 30316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833367523 10800218112 25191 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30631] ppid=30616 vsize=10547088 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30631/stat : 30631 (java) S 30616 30618 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833367523 10800218112 25191 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30632] ppid=30616 vsize=10547088 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30632/stat : 30632 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367525 10800218112 25191 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562361265 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30633] ppid=30616 vsize=10547088 CPUtime=0.26 cores=1,3,5,7
/proc/30618/task/30633/stat : 30633 (java) S 30616 30618 30316 0 -1 4202560 2547 0 0 0 26 0 0 0 22 0 19 0 833367525 10800218112 25191 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 5 0 0 0
[pid=30618/tid=30634] ppid=30616 vsize=10547088 CPUtime=0.36 cores=1,3,5,7
/proc/30618/task/30634/stat : 30634 (java) S 30616 30618 30316 0 -1 4202560 1701 0 0 0 36 0 0 0 17 0 19 0 833367525 10800218112 25191 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30635] ppid=30616 vsize=10547088 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30635/stat : 30635 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367525 10800218112 25191 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30636] ppid=30616 vsize=10547088 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30636/stat : 30636 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833367525 10800218112 25191 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562354176 0 4 0 16800975 18446604470119909312 0 0 -1 5 0 0 0
[pid=30618/tid=30637] ppid=30616 vsize=10547088 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30637/stat : 30637 (java) S 30616 30618 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833367558 10800218112 25191 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562354176 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 10547088
[startup+3.10137 s]
/proc/loadavg: 1.88 2.01 1.73 3/490 30637
/proc/meminfo: memFree=28677608/32951124 swapFree=55639044/67111528
[pid=30618] ppid=30616 vsize=10552900 CPUtime=4.26 cores=1,3,5,7
/proc/30618/stat : 30618 (java) S 30616 30618 30316 0 -1 4202496 152382 0 1 0 407 19 0 0 18 0 19 0 833367518 10806169600 146829 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30618/statm: 2638225 146833 2232 9 0 2628959 0
[pid=30618/tid=30620] ppid=30616 vsize=10552900 CPUtime=3.06 cores=1,3,5,7
/proc/30618/task/30620/stat : 30620 (java) R 30616 30618 30316 0 -1 4202560 137395 0 1 0 290 16 0 0 18 0 19 0 833367520 10806169600 146837 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 46912505911752 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30618/tid=30621] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30621/stat : 30621 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833367521 10806169600 146840 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30622] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30622/stat : 30622 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833367521 10806169600 146841 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30623] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30623/stat : 30623 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833367521 10806169600 146846 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30624] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30624/stat : 30624 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833367521 10806169600 146847 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30625] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30625/stat : 30625 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833367521 10806169600 146850 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30626] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30626/stat : 30626 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833367521 10806169600 146853 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30627] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30627/stat : 30627 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833367521 10806169600 146855 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30628] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30628/stat : 30628 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833367521 10806169600 146860 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 1 0 0 0
[pid=30618/tid=30629] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30629/stat : 30629 (java) S 30616 30618 30316 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 833367523 10806169600 146860 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562354176 0 0 0 16800975 18446604470119909312 0 0 -1 5 0 0 0
[pid=30618/tid=30630] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30630/stat : 30630 (java) S 30616 30618 30316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833367523 10806169600 146864 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30631] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30631/stat : 30631 (java) S 30616 30618 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833367523 10806169600 146867 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30632] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30632/stat : 30632 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367525 10806169600 146869 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562361265 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30633] ppid=30616 vsize=10552900 CPUtime=0.61 cores=1,3,5,7
/proc/30618/task/30633/stat : 30633 (java) S 30616 30618 30316 0 -1 4202560 10625 0 0 0 60 1 0 0 15 0 19 0 833367525 10806169600 146873 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 5 0 0 0
[pid=30618/tid=30634] ppid=30616 vsize=10552900 CPUtime=0.56 cores=1,3,5,7
/proc/30618/task/30634/stat : 30634 (java) S 30616 30618 30316 0 -1 4202560 3212 0 0 0 56 0 0 0 15 0 19 0 833367525 10806169600 146874 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30635] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30635/stat : 30635 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367525 10806169600 146878 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30636] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30636/stat : 30636 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833367525 10806169600 146881 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562354176 0 4 0 16800975 18446604470119909312 0 0 -1 5 0 0 0
[pid=30618/tid=30637] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30637/stat : 30637 (java) S 30616 30618 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833367558 10806169600 146882 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562354176 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 10552900
[startup+6.30078 s]
/proc/loadavg: 1.89 2.01 1.73 3/490 30637
/proc/meminfo: memFree=27385620/32951124 swapFree=55639044/67111528
[pid=30618] ppid=30616 vsize=10552900 CPUtime=7.52 cores=1,3,5,7
/proc/30618/stat : 30618 (java) S 30616 30618 30316 0 -1 4202496 408324 0 1 0 706 46 0 0 18 0 19 0 833367518 10806169600 402741 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30618/statm: 2638225 402741 2234 9 0 2628959 0
[pid=30618/tid=30620] ppid=30616 vsize=10552900 CPUtime=6.27 cores=1,3,5,7
/proc/30618/task/30620/stat : 30620 (java) R 30616 30618 30316 0 -1 4202560 393320 0 1 0 583 44 0 0 19 0 19 0 833367520 10806169600 402741 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 46912505718343 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30618/tid=30621] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30621/stat : 30621 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833367521 10806169600 402741 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30622] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30622/stat : 30622 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833367521 10806169600 402741 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30623] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30623/stat : 30623 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833367521 10806169600 402741 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30624] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30624/stat : 30624 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833367521 10806169600 402741 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30625] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30625/stat : 30625 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833367521 10806169600 402741 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30626] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30626/stat : 30626 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833367521 10806169600 402741 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30627] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30627/stat : 30627 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833367521 10806169600 402741 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30628] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30628/stat : 30628 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833367521 10806169600 402741 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 1 0 0 0
[pid=30618/tid=30629] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30629/stat : 30629 (java) S 30616 30618 30316 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833367523 10806169600 402741 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562354176 0 0 0 16800975 18446604470119909312 0 0 -1 5 0 0 0
[pid=30618/tid=30630] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30630/stat : 30630 (java) S 30616 30618 30316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833367523 10806169600 402741 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30631] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30631/stat : 30631 (java) S 30616 30618 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833367523 10806169600 402741 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30632] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30632/stat : 30632 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367525 10806169600 402741 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562361265 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30633] ppid=30616 vsize=10552900 CPUtime=0.63 cores=1,3,5,7
/proc/30618/task/30633/stat : 30633 (java) S 30616 30618 30316 0 -1 4202560 10628 0 0 0 62 1 0 0 16 0 19 0 833367525 10806169600 402741 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 5 0 0 0
[pid=30618/tid=30634] ppid=30616 vsize=10552900 CPUtime=0.6 cores=1,3,5,7
/proc/30618/task/30634/stat : 30634 (java) S 30616 30618 30316 0 -1 4202560 3216 0 0 0 60 0 0 0 16 0 19 0 833367525 10806169600 402741 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30635] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30635/stat : 30635 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367525 10806169600 402741 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30636] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30636/stat : 30636 (java) S 30616 30618 30316 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 833367525 10806169600 402741 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562354176 0 4 0 16800975 18446604470119909312 0 0 -1 5 0 0 0
[pid=30618/tid=30637] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30637/stat : 30637 (java) S 30616 30618 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833367558 10806169600 402741 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562354176 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.52
Current children cumulated vsize (KiB) 10552900
[startup+12.7006 s]
################
# More data... #
################
[pid=30618/tid=30635] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30635/stat : 30635 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367525 10806169600 1161547 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30636] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30636/stat : 30636 (java) S 30616 30618 30316 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 833367525 10806169600 1161547 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562354176 0 4 0 16800975 18446604470119909312 0 0 -1 5 0 0 0
[pid=30618/tid=30637] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30637/stat : 30637 (java) S 30616 30618 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833367558 10806169600 1161547 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562354176 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1675.18
Current children cumulated vsize (KiB) 10552900
[startup+1722.3 s]
/proc/loadavg: 2.28 2.13 2.03 3/490 30686
/proc/meminfo: memFree=22952236/32951124 swapFree=55639044/67111528
[pid=30618] ppid=30616 vsize=10552900 CPUtime=1735.54 cores=1,3,5,7
/proc/30618/stat : 30618 (java) S 30616 30618 30316 0 -1 4202496 1177604 0 1 0 173418 136 0 0 18 0 19 0 833367518 10806169600 1164712 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30618/statm: 2638225 1164712 2264 9 0 2628959 0
[pid=30618/tid=30620] ppid=30616 vsize=10552900 CPUtime=1715.12 cores=1,3,5,7
/proc/30618/task/30620/stat : 30620 (java) R 30616 30618 30316 0 -1 4202560 795076 0 1 0 171426 86 0 0 25 0 19 0 833367520 10806169600 1164712 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 46912505932039 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30618/tid=30621] ppid=30616 vsize=10552900 CPUtime=2.05 cores=1,3,5,7
/proc/30618/task/30621/stat : 30621 (java) S 30616 30618 30316 0 -1 4202560 53315 0 0 0 200 5 0 0 16 0 19 0 833367521 10806169600 1164712 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 3 0 0 0
[pid=30618/tid=30622] ppid=30616 vsize=10552900 CPUtime=1.88 cores=1,3,5,7
/proc/30618/task/30622/stat : 30622 (java) S 30616 30618 30316 0 -1 4202560 46177 0 0 0 183 5 0 0 15 0 19 0 833367521 10806169600 1164712 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 1 0 0 0
[pid=30618/tid=30623] ppid=30616 vsize=10552900 CPUtime=1.86 cores=1,3,5,7
/proc/30618/task/30623/stat : 30623 (java) S 30616 30618 30316 0 -1 4202560 43440 0 0 0 180 6 0 0 15 0 19 0 833367521 10806169600 1164712 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 5 0 0 0
[pid=30618/tid=30624] ppid=30616 vsize=10552900 CPUtime=2.28 cores=1,3,5,7
/proc/30618/task/30624/stat : 30624 (java) S 30616 30618 30316 0 -1 4202560 44640 0 0 0 223 5 0 0 16 0 19 0 833367521 10806169600 1164712 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30625] ppid=30616 vsize=10552900 CPUtime=2.17 cores=1,3,5,7
/proc/30618/task/30625/stat : 30625 (java) S 30616 30618 30316 0 -1 4202560 42565 0 0 0 211 6 0 0 16 0 19 0 833367521 10806169600 1164712 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 1 0 0 0
[pid=30618/tid=30626] ppid=30616 vsize=10552900 CPUtime=2.02 cores=1,3,5,7
/proc/30618/task/30626/stat : 30626 (java) S 30616 30618 30316 0 -1 4202560 48380 0 0 0 197 5 0 0 16 0 19 0 833367521 10806169600 1164712 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30627] ppid=30616 vsize=10552900 CPUtime=2.05 cores=1,3,5,7
/proc/30618/task/30627/stat : 30627 (java) S 30616 30618 30316 0 -1 4202560 36511 0 0 0 201 4 0 0 16 0 19 0 833367521 10806169600 1164712 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 5 0 0 0
[pid=30618/tid=30628] ppid=30616 vsize=10552900 CPUtime=2.04 cores=1,3,5,7
/proc/30618/task/30628/stat : 30628 (java) S 30616 30618 30316 0 -1 4202560 48393 0 0 0 198 6 0 0 15 0 19 0 833367521 10806169600 1164712 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 3 0 0 0
[pid=30618/tid=30629] ppid=30616 vsize=10552900 CPUtime=2.16 cores=1,3,5,7
/proc/30618/task/30629/stat : 30629 (java) S 30616 30618 30316 0 -1 4202560 3841 0 0 0 215 1 0 0 15 0 19 0 833367523 10806169600 1164712 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562354176 0 0 0 16800975 18446604470119909312 0 0 -1 3 0 0 0
[pid=30618/tid=30630] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30630/stat : 30630 (java) S 30616 30618 30316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833367523 10806169600 1164712 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30631] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30631/stat : 30631 (java) S 30616 30618 30316 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833367523 10806169600 1164712 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30632] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30632/stat : 30632 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367525 10806169600 1164712 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562361265 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30633] ppid=30616 vsize=10552900 CPUtime=1.04 cores=1,3,5,7
/proc/30618/task/30633/stat : 30633 (java) S 30616 30618 30316 0 -1 4202560 10788 0 0 0 103 1 0 0 15 0 19 0 833367525 10806169600 1164712 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 5 0 0 0
[pid=30618/tid=30634] ppid=30616 vsize=10552900 CPUtime=0.76 cores=1,3,5,7
/proc/30618/task/30634/stat : 30634 (java) S 30616 30618 30316 0 -1 4202560 3231 0 0 0 76 0 0 0 15 0 19 0 833367525 10806169600 1164712 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30635] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30635/stat : 30635 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367525 10806169600 1164712 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30636] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30636/stat : 30636 (java) S 30616 30618 30316 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 833367525 10806169600 1164712 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562354176 0 4 0 16800975 18446604470119909312 0 0 -1 5 0 0 0
[pid=30618/tid=30637] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30637/stat : 30637 (java) S 30616 30618 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833367558 10806169600 1164712 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562354176 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1735.54
Current children cumulated vsize (KiB) 10552900
[startup+1782.3 s]
/proc/loadavg: 2.15 2.12 2.03 3/490 30735
/proc/meminfo: memFree=24350772/32951124 swapFree=55639044/67111528
[pid=30618] ppid=30616 vsize=10552900 CPUtime=1796 cores=1,3,5,7
/proc/30618/stat : 30618 (java) S 30616 30618 30316 0 -1 4202496 1182354 0 1 0 179463 137 0 0 18 0 19 0 833367518 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30618/statm: 2638225 1169363 2264 9 0 2628959 0
[pid=30618/tid=30620] ppid=30616 vsize=10552900 CPUtime=1774.95 cores=1,3,5,7
/proc/30618/task/30620/stat : 30620 (java) R 30616 30618 30316 0 -1 4202560 795079 0 1 0 177409 86 0 0 25 0 19 0 833367520 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 46912505937316 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30618/tid=30621] ppid=30616 vsize=10552900 CPUtime=2.22 cores=1,3,5,7
/proc/30618/task/30621/stat : 30621 (java) S 30616 30618 30316 0 -1 4202560 54905 0 0 0 216 6 0 0 16 0 19 0 833367521 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 3 0 0 0
[pid=30618/tid=30622] ppid=30616 vsize=10552900 CPUtime=1.94 cores=1,3,5,7
/proc/30618/task/30622/stat : 30622 (java) S 30616 30618 30316 0 -1 4202560 46591 0 0 0 189 5 0 0 16 0 19 0 833367521 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 1 0 0 0
[pid=30618/tid=30623] ppid=30616 vsize=10552900 CPUtime=1.92 cores=1,3,5,7
/proc/30618/task/30623/stat : 30623 (java) S 30616 30618 30316 0 -1 4202560 43749 0 0 0 186 6 0 0 16 0 19 0 833367521 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 1 0 0 0
[pid=30618/tid=30624] ppid=30616 vsize=10552900 CPUtime=2.33 cores=1,3,5,7
/proc/30618/task/30624/stat : 30624 (java) S 30616 30618 30316 0 -1 4202560 44866 0 0 0 228 5 0 0 16 0 19 0 833367521 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 5 0 0 0
[pid=30618/tid=30625] ppid=30616 vsize=10552900 CPUtime=2.3 cores=1,3,5,7
/proc/30618/task/30625/stat : 30625 (java) S 30616 30618 30316 0 -1 4202560 44073 0 0 0 224 6 0 0 16 0 19 0 833367521 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30626] ppid=30616 vsize=10552900 CPUtime=2.03 cores=1,3,5,7
/proc/30618/task/30626/stat : 30626 (java) S 30616 30618 30316 0 -1 4202560 48380 0 0 0 198 5 0 0 15 0 19 0 833367521 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30627] ppid=30616 vsize=10552900 CPUtime=2.15 cores=1,3,5,7
/proc/30618/task/30627/stat : 30627 (java) S 30616 30618 30316 0 -1 4202560 37202 0 0 0 211 4 0 0 16 0 19 0 833367521 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 5 0 0 0
[pid=30618/tid=30628] ppid=30616 vsize=10552900 CPUtime=2.06 cores=1,3,5,7
/proc/30618/task/30628/stat : 30628 (java) S 30616 30618 30316 0 -1 4202560 48394 0 0 0 200 6 0 0 16 0 19 0 833367521 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 5 0 0 0
[pid=30618/tid=30629] ppid=30616 vsize=10552900 CPUtime=2.16 cores=1,3,5,7
/proc/30618/task/30629/stat : 30629 (java) S 30616 30618 30316 0 -1 4202560 3845 0 0 0 215 1 0 0 15 0 19 0 833367523 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562354176 0 0 0 16800975 18446604470119909312 0 0 -1 3 0 0 0
[pid=30618/tid=30630] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30630/stat : 30630 (java) S 30616 30618 30316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833367523 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30631] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30631/stat : 30631 (java) S 30616 30618 30316 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833367523 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30632] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30632/stat : 30632 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367525 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562361265 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30633] ppid=30616 vsize=10552900 CPUtime=1.04 cores=1,3,5,7
/proc/30618/task/30633/stat : 30633 (java) S 30616 30618 30316 0 -1 4202560 10788 0 0 0 103 1 0 0 15 0 19 0 833367525 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 5 0 0 0
[pid=30618/tid=30634] ppid=30616 vsize=10552900 CPUtime=0.76 cores=1,3,5,7
/proc/30618/task/30634/stat : 30634 (java) S 30616 30618 30316 0 -1 4202560 3231 0 0 0 76 0 0 0 15 0 19 0 833367525 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30635] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30635/stat : 30635 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367525 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30636] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30636/stat : 30636 (java) S 30616 30618 30316 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833367525 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562354176 0 4 0 16800975 18446604470119909312 0 0 -1 5 0 0 0
[pid=30618/tid=30637] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30637/stat : 30637 (java) S 30616 30618 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833367558 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562354176 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1796
Current children cumulated vsize (KiB) 10552900
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1786.3 s]
/proc/loadavg: 2.14 2.11 2.03 4/490 30736
/proc/meminfo: memFree=24349912/32951124 swapFree=55639044/67111528
[pid=30618] ppid=30616 vsize=10552900 CPUtime=1800.03 cores=1,3,5,7
/proc/30618/stat : 30618 (java) S 30616 30618 30316 0 -1 4202496 1182354 0 1 0 179866 137 0 0 18 0 19 0 833367518 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30618/statm: 2638225 1169363 2264 9 0 2628959 0
[pid=30618/tid=30620] ppid=30616 vsize=10552900 CPUtime=1778.99 cores=1,3,5,7
/proc/30618/task/30620/stat : 30620 (java) R 30616 30618 30316 0 -1 4202560 795079 0 1 0 177813 86 0 0 25 0 19 0 833367520 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 46912505932183 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30618/tid=30621] ppid=30616 vsize=10552900 CPUtime=2.22 cores=1,3,5,7
/proc/30618/task/30621/stat : 30621 (java) S 30616 30618 30316 0 -1 4202560 54905 0 0 0 216 6 0 0 16 0 19 0 833367521 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 3 0 0 0
[pid=30618/tid=30622] ppid=30616 vsize=10552900 CPUtime=1.94 cores=1,3,5,7
/proc/30618/task/30622/stat : 30622 (java) S 30616 30618 30316 0 -1 4202560 46591 0 0 0 189 5 0 0 16 0 19 0 833367521 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 1 0 0 0
[pid=30618/tid=30623] ppid=30616 vsize=10552900 CPUtime=1.92 cores=1,3,5,7
/proc/30618/task/30623/stat : 30623 (java) S 30616 30618 30316 0 -1 4202560 43749 0 0 0 186 6 0 0 16 0 19 0 833367521 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 1 0 0 0
[pid=30618/tid=30624] ppid=30616 vsize=10552900 CPUtime=2.33 cores=1,3,5,7
/proc/30618/task/30624/stat : 30624 (java) S 30616 30618 30316 0 -1 4202560 44866 0 0 0 228 5 0 0 16 0 19 0 833367521 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 5 0 0 0
[pid=30618/tid=30625] ppid=30616 vsize=10552900 CPUtime=2.3 cores=1,3,5,7
/proc/30618/task/30625/stat : 30625 (java) S 30616 30618 30316 0 -1 4202560 44073 0 0 0 224 6 0 0 16 0 19 0 833367521 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30626] ppid=30616 vsize=10552900 CPUtime=2.03 cores=1,3,5,7
/proc/30618/task/30626/stat : 30626 (java) S 30616 30618 30316 0 -1 4202560 48380 0 0 0 198 5 0 0 15 0 19 0 833367521 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30627] ppid=30616 vsize=10552900 CPUtime=2.15 cores=1,3,5,7
/proc/30618/task/30627/stat : 30627 (java) S 30616 30618 30316 0 -1 4202560 37202 0 0 0 211 4 0 0 16 0 19 0 833367521 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 5 0 0 0
[pid=30618/tid=30628] ppid=30616 vsize=10552900 CPUtime=2.06 cores=1,3,5,7
/proc/30618/task/30628/stat : 30628 (java) S 30616 30618 30316 0 -1 4202560 48394 0 0 0 200 6 0 0 16 0 19 0 833367521 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 5 0 0 0
[pid=30618/tid=30629] ppid=30616 vsize=10552900 CPUtime=2.16 cores=1,3,5,7
/proc/30618/task/30629/stat : 30629 (java) S 30616 30618 30316 0 -1 4202560 3845 0 0 0 215 1 0 0 15 0 19 0 833367523 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562354176 0 0 0 16800975 18446604470119909312 0 0 -1 3 0 0 0
[pid=30618/tid=30630] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30630/stat : 30630 (java) S 30616 30618 30316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833367523 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30631] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30631/stat : 30631 (java) S 30616 30618 30316 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833367523 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30632] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30632/stat : 30632 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367525 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562361265 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30633] ppid=30616 vsize=10552900 CPUtime=1.04 cores=1,3,5,7
/proc/30618/task/30633/stat : 30633 (java) S 30616 30618 30316 0 -1 4202560 10788 0 0 0 103 1 0 0 15 0 19 0 833367525 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 5 0 0 0
[pid=30618/tid=30634] ppid=30616 vsize=10552900 CPUtime=0.76 cores=1,3,5,7
/proc/30618/task/30634/stat : 30634 (java) S 30616 30618 30316 0 -1 4202560 3231 0 0 0 76 0 0 0 15 0 19 0 833367525 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30635] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30635/stat : 30635 (java) S 30616 30618 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367525 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562353561 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
[pid=30618/tid=30636] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30636/stat : 30636 (java) S 30616 30618 30316 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833367525 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562354176 0 4 0 16800975 18446604470119909312 0 0 -1 5 0 0 0
[pid=30618/tid=30637] ppid=30616 vsize=10552900 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30637/stat : 30637 (java) S 30616 30618 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833367558 10806169600 1169363 33554432000 1073741824 1073778376 140733890936016 18446744073709551615 271562354176 0 4 0 16800975 18446604470119909312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10552900
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1786.44 s]
/proc/loadavg: 2.14 2.11 2.03 4/490 30736
/proc/meminfo: memFree=24349912/32951124 swapFree=55639044/67111528
[pid=30618] ppid=30616 vsize=0 CPUtime=1800.2 cores=1,3,5,7
/proc/30618/stat : 30618 (java) Z 30616 30618 30316 0 -1 4203548 1182390 0 1 0 179877 143 0 0 17 0 2 0 833367518 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30618/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
[startup+1786.5 s]
/proc/loadavg: 2.14 2.11 2.03 4/490 30736
/proc/meminfo: memFree=24349912/32951124 swapFree=55639044/67111528
[pid=30618] ppid=30616 vsize=0 CPUtime=1800.26 cores=1,3,5,7
/proc/30618/stat : 30618 (java) Z 30616 30618 30316 0 -1 4203548 1182390 0 1 0 179877 149 0 0 17 0 2 0 833367518 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30618/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1786.56
CPU time (s): 1800.32
CPU user time (s): 1798.77
CPU system time (s): 1.55176
CPU usage (%): 100.77
Max. virtual memory (cumulated for all children) (KiB): 10552900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.77
system time used= 1.55176
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1182390
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= 39853
involuntary context switches= 21554
runsolver used 8.07177 second user time and 19.545 second system time
The end