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-3456841-1307220058/watcher-3456841-1307220058 -o /tmp/evaluation-result-3456841-1307220058/solver-3456841-1307220058 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456841-1307220058.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.15 2.07 2.01 4/461 891
/proc/meminfo: memFree=29601668/32950928 swapFree=52246700/67111528
[pid=891] ppid=889 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/891/stat : 891 (java) R 889 891 31238 0 -1 4202496 834 0 0 0 0 0 0 0 25 0 1 0 912236502 23580672 579 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231890528021 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/891/statm: 5757 593 440 9 0 124 0
[pid=891/tid=892] ppid=889 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/891/task/892/stat : 892 (java) R 889 891 31238 0 -1 4202560 5827 0 1 0 0 0 0 0 18 0 2 0 912236503 10694979584 6643 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.078935 s]
/proc/loadavg: 2.15 2.07 2.01 4/461 891
/proc/meminfo: memFree=29601668/32950928 swapFree=52246700/67111528
[pid=891] ppid=889 vsize=10539040 CPUtime=0.07 cores=0,2,4,6
/proc/891/stat : 891 (java) S 889 891 31238 0 -1 4202496 12415 0 1 0 6 1 0 0 25 0 18 0 912236502 10791976960 12113 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/891/statm: 2634760 12118 1975 9 0 2625494 0
[pid=891/tid=892] ppid=889 vsize=10540436 CPUtime=0.07 cores=0,2,4,6
/proc/891/task/892/stat : 892 (java) S 889 891 31238 0 -1 4202560 11019 0 1 0 6 1 0 0 18 0 18 0 912236503 10793406464 12629 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907316084 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10539040
[startup+0.114892 s]
/proc/loadavg: 2.15 2.07 2.01 4/461 891
/proc/meminfo: memFree=29601668/32950928 swapFree=52246700/67111528
[pid=891] ppid=889 vsize=10540436 CPUtime=0.12 cores=0,2,4,6
/proc/891/stat : 891 (java) S 889 891 31238 0 -1 4202496 13322 0 1 0 11 1 0 0 25 0 18 0 912236502 10793406464 12990 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/891/statm: 2635109 12990 2133 9 0 2625843 0
[pid=891/tid=892] ppid=889 vsize=10540436 CPUtime=0.1 cores=0,2,4,6
/proc/891/task/892/stat : 892 (java) R 889 891 31238 0 -1 4202560 11339 0 1 0 9 1 0 0 18 0 18 0 912236503 10793406464 12990 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 47694100237139 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540436
[startup+0.300803 s]
/proc/loadavg: 2.15 2.07 2.01 4/461 891
/proc/meminfo: memFree=29601668/32950928 swapFree=52246700/67111528
[pid=891] ppid=889 vsize=10543252 CPUtime=0.54 cores=0,2,4,6
/proc/891/stat : 891 (java) S 889 891 31238 0 -1 4202496 18588 0 1 0 52 2 0 0 25 0 18 0 912236502 10796290048 17376 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/891/statm: 2635909 17399 2204 9 0 2626643 0
[pid=891/tid=892] ppid=889 vsize=10543636 CPUtime=0.28 cores=0,2,4,6
/proc/891/task/892/stat : 892 (java) R 889 891 31238 0 -1 4202560 14279 0 1 0 27 1 0 0 18 0 18 0 912236503 10796683264 17414 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 46912505555305 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10543252
[startup+0.700727 s]
/proc/loadavg: 2.15 2.07 2.01 4/461 891
/proc/meminfo: memFree=29601668/32950928 swapFree=52246700/67111528
[pid=891] ppid=889 vsize=10547472 CPUtime=1.53 cores=0,2,4,6
/proc/891/stat : 891 (java) S 889 891 31238 0 -1 4202496 29590 0 1 0 149 4 0 0 25 0 19 0 912236502 10800611328 27591 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/891/statm: 2636868 27592 2232 9 0 2627602 0
[pid=891/tid=892] ppid=889 vsize=10547472 CPUtime=0.68 cores=0,2,4,6
/proc/891/task/892/stat : 892 (java) R 889 891 31238 0 -1 4202560 23317 0 1 0 66 2 0 0 19 0 19 0 912236503 10800611328 27593 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 46912505910275 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 10547472
[startup+1.50164 s]
/proc/loadavg: 2.15 2.07 2.01 5/480 911
/proc/meminfo: memFree=29405668/32950928 swapFree=52246700/67111528
[pid=891] ppid=889 vsize=10546940 CPUtime=2.73 cores=0,2,4,6
/proc/891/stat : 891 (java) S 889 891 31238 0 -1 4202496 51510 0 1 0 266 7 0 0 25 0 19 0 912236502 10800066560 47061 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/891/statm: 2636735 47061 2238 9 0 2627469 0
[pid=891/tid=892] ppid=889 vsize=10546940 CPUtime=1.48 cores=0,2,4,6
/proc/891/task/892/stat : 892 (java) R 889 891 31238 0 -1 4202560 42813 0 1 0 143 5 0 0 18 0 19 0 912236503 10800066560 47061 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 46912506080518 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=891/tid=894] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/894/stat : 894 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912236504 10800066560 47061 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 2 0 0 0
[pid=891/tid=895] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/895/stat : 895 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912236504 10800066560 47061 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=896] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/896/stat : 896 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912236504 10800066560 47061 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=897] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/897/stat : 897 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912236504 10800066560 47061 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=898] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/898/stat : 898 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912236504 10800066560 47061 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=899] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/899/stat : 899 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912236504 10800066560 47061 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=900] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/900/stat : 900 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912236504 10800066560 47064 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=901] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/901/stat : 901 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912236504 10800066560 47068 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=902] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/902/stat : 902 (java) S 889 891 31238 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912236505 10800066560 47069 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907307008 0 0 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=903] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/903/stat : 903 (java) S 889 891 31238 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 912236506 10800066560 47069 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=904] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/904/stat : 904 (java) S 889 891 31238 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 912236506 10800066560 47069 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=905] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/905/stat : 905 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912236508 10800066560 47069 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907314097 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=906] ppid=889 vsize=10546940 CPUtime=0.68 cores=0,2,4,6
/proc/891/task/906/stat : 906 (java) S 889 891 31238 0 -1 4202560 4343 0 0 0 68 0 0 0 25 0 19 0 912236508 10800066560 47069 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 2 0 0 0
[pid=891/tid=907] ppid=889 vsize=10546940 CPUtime=0.55 cores=0,2,4,6
/proc/891/task/907/stat : 907 (java) S 889 891 31238 0 -1 4202560 3195 0 0 0 54 1 0 0 22 0 19 0 912236508 10800066560 47069 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=908] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/908/stat : 908 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912236508 10800066560 47069 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=909] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/909/stat : 909 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912236508 10800066560 47069 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907307008 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=911] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/911/stat : 911 (java) S 889 891 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912236549 10800066560 47069 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907307008 0 4 0 16800975 18446604451913217152 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 10546940
[startup+3.10133 s]
/proc/loadavg: 2.15 2.07 2.01 4/480 911
/proc/meminfo: memFree=29272244/32950928 swapFree=52246700/67111528
[pid=891] ppid=889 vsize=10546940 CPUtime=4.52 cores=0,2,4,6
/proc/891/stat : 891 (java) S 889 891 31238 0 -1 4202496 114873 0 1 0 441 11 0 0 25 0 19 0 912236502 10800066560 110422 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/891/statm: 2636735 110422 2238 9 0 2627469 0
[pid=891/tid=892] ppid=889 vsize=10546940 CPUtime=3.07 cores=0,2,4,6
/proc/891/task/892/stat : 892 (java) R 889 891 31238 0 -1 4202560 106151 0 1 0 298 9 0 0 18 0 19 0 912236503 10800066560 110422 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 46912506223311 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=891/tid=894] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/894/stat : 894 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912236504 10800066560 110424 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 2 0 0 0
[pid=891/tid=895] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/895/stat : 895 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912236504 10800066560 110425 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=896] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/896/stat : 896 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912236504 10800066560 110425 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=897] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/897/stat : 897 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912236504 10800066560 110425 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=898] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/898/stat : 898 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912236504 10800066560 110425 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=899] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/899/stat : 899 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912236504 10800066560 110429 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=900] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/900/stat : 900 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912236504 10800066560 110429 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=901] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/901/stat : 901 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912236504 10800066560 110429 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=902] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/902/stat : 902 (java) S 889 891 31238 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912236505 10800066560 110429 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907307008 0 0 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=903] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/903/stat : 903 (java) S 889 891 31238 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 912236506 10800066560 110430 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=904] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/904/stat : 904 (java) S 889 891 31238 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 912236506 10800066560 110433 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=905] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/905/stat : 905 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912236508 10800066560 110433 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907314097 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=906] ppid=889 vsize=10546940 CPUtime=0.73 cores=0,2,4,6
/proc/891/task/906/stat : 906 (java) S 889 891 31238 0 -1 4202560 4348 0 0 0 73 0 0 0 15 0 19 0 912236508 10800066560 110433 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 2 0 0 0
[pid=891/tid=907] ppid=889 vsize=10546940 CPUtime=0.69 cores=0,2,4,6
/proc/891/task/907/stat : 907 (java) S 889 891 31238 0 -1 4202560 3215 0 0 0 68 1 0 0 15 0 19 0 912236508 10800066560 110433 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=908] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/908/stat : 908 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912236508 10800066560 110435 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=909] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/909/stat : 909 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912236508 10800066560 110436 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907307008 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=911] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/911/stat : 911 (java) S 889 891 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912236549 10800066560 110436 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907307008 0 4 0 16800975 18446604451913217152 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 10546940
[startup+6.30073 s]
/proc/loadavg: 2.13 2.07 2.01 3/480 912
/proc/meminfo: memFree=28120556/32950928 swapFree=52246700/67111528
[pid=891] ppid=889 vsize=10546940 CPUtime=7.77 cores=0,2,4,6
/proc/891/stat : 891 (java) S 889 891 31238 0 -1 4202496 286673 0 1 0 747 30 0 0 25 0 19 0 912236502 10800066560 282202 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/891/statm: 2636735 282203 2239 9 0 2627469 0
[pid=891/tid=892] ppid=889 vsize=10546940 CPUtime=6.28 cores=0,2,4,6
/proc/891/task/892/stat : 892 (java) R 889 891 31238 0 -1 4202560 277944 0 1 0 600 28 0 0 19 0 19 0 912236503 10800066560 282203 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 46912505924814 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=891/tid=894] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/894/stat : 894 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912236504 10800066560 282204 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 2 0 0 0
[pid=891/tid=895] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/895/stat : 895 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912236504 10800066560 282205 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=896] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/896/stat : 896 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912236504 10800066560 282207 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=897] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/897/stat : 897 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912236504 10800066560 282208 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=898] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/898/stat : 898 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912236504 10800066560 282210 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=899] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/899/stat : 899 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912236504 10800066560 282212 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=900] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/900/stat : 900 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912236504 10800066560 282214 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=901] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/901/stat : 901 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912236504 10800066560 282215 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=902] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/902/stat : 902 (java) S 889 891 31238 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912236505 10800066560 282216 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907307008 0 0 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=903] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/903/stat : 903 (java) S 889 891 31238 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 912236506 10800066560 282218 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=904] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/904/stat : 904 (java) S 889 891 31238 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 912236506 10800066560 282219 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=905] ppid=889 vsize=10546940 CPUtime=0 cores=0,2,4,6
/proc/891/task/905/stat : 905 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912236508 10800066560 282220 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907314097 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=906] ppid=889 vsize=10546940 CPUtime=0.73 cores=0,2,4,6
/proc/891/task/906/stat : 906 (java) S 889 891 31238 0 -1 4202560 4348 0 0 0 73 0 0 0 15 0 19 0 912236508 10800066560 282220 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 2 0 0 0
[pid=891/tid=907] ppid=889 vsize=10546940 CPUtime=0.73 cores=0,2,4,6
/proc/891/task/907/stat : 907 (java) S 889 891 31238 0 -1 4202560 3222 0 0 0 72 1 0 0 15 0 19 0 912236508 10800066560 282220 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=891/tid=911] ppid=889 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/891/task/911/stat : 911 (java) S 889 891 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912236549 10800226304 958344 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907307008 0 4 0 16800975 18446604451913217152 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1666.76
Current children cumulated vsize (KiB) 10547096
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/480 1060
/proc/meminfo: memFree=21789656/32950928 swapFree=52246700/67111528
[pid=891] ppid=889 vsize=10547096 CPUtime=1726.91 cores=0,2,4,6
/proc/891/stat : 891 (java) S 889 891 31238 0 -1 4202496 969589 0 1 0 172574 117 0 0 25 0 19 0 912236502 10800226304 961638 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/891/statm: 2636774 961638 2254 9 0 2627508 0
[pid=891/tid=892] ppid=889 vsize=10547096 CPUtime=1721.07 cores=0,2,4,6
/proc/891/task/892/stat : 892 (java) R 889 891 31238 0 -1 4202560 806514 0 1 0 172019 88 0 0 25 0 19 0 912236503 10800226304 961638 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 46912505784499 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=891/tid=894] ppid=889 vsize=10547096 CPUtime=0.51 cores=0,2,4,6
/proc/891/task/894/stat : 894 (java) S 889 891 31238 0 -1 4202560 18748 0 0 0 48 3 0 0 15 0 19 0 912236504 10800226304 961638 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=895] ppid=889 vsize=10547096 CPUtime=0.6 cores=0,2,4,6
/proc/891/task/895/stat : 895 (java) S 889 891 31238 0 -1 4202560 20319 0 0 0 57 3 0 0 16 0 19 0 912236504 10800226304 961638 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 0 0 0 0
[pid=891/tid=896] ppid=889 vsize=10547096 CPUtime=0.31 cores=0,2,4,6
/proc/891/task/896/stat : 896 (java) S 889 891 31238 0 -1 4202560 7369 0 0 0 30 1 0 0 15 0 19 0 912236504 10800226304 961638 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 2 0 0 0
[pid=891/tid=897] ppid=889 vsize=10547096 CPUtime=0.48 cores=0,2,4,6
/proc/891/task/897/stat : 897 (java) S 889 891 31238 0 -1 4202560 20014 0 0 0 45 3 0 0 16 0 19 0 912236504 10800226304 961638 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 2 0 0 0
[pid=891/tid=898] ppid=889 vsize=10547096 CPUtime=0.6 cores=0,2,4,6
/proc/891/task/898/stat : 898 (java) S 889 891 31238 0 -1 4202560 25786 0 0 0 57 3 0 0 16 0 19 0 912236504 10800226304 961638 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 4 0 0 0
[pid=891/tid=899] ppid=889 vsize=10547096 CPUtime=0.49 cores=0,2,4,6
/proc/891/task/899/stat : 899 (java) S 889 891 31238 0 -1 4202560 23687 0 0 0 46 3 0 0 16 0 19 0 912236504 10800226304 961638 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 4 0 0 0
[pid=891/tid=900] ppid=889 vsize=10547096 CPUtime=0.48 cores=0,2,4,6
/proc/891/task/900/stat : 900 (java) S 889 891 31238 0 -1 4202560 18057 0 0 0 45 3 0 0 16 0 19 0 912236504 10800226304 961638 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=901] ppid=889 vsize=10547096 CPUtime=0.5 cores=0,2,4,6
/proc/891/task/901/stat : 901 (java) S 889 891 31238 0 -1 4202560 20130 0 0 0 47 3 0 0 15 0 19 0 912236504 10800226304 961638 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 4 0 0 0
[pid=891/tid=902] ppid=889 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/891/task/902/stat : 902 (java) S 889 891 31238 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 912236505 10800226304 961638 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907307008 0 0 0 16800975 18446604451913217152 0 0 -1 2 0 0 0
[pid=891/tid=903] ppid=889 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/891/task/903/stat : 903 (java) S 889 891 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912236506 10800226304 961638 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=904] ppid=889 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/891/task/904/stat : 904 (java) S 889 891 31238 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912236506 10800226304 961638 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=905] ppid=889 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/891/task/905/stat : 905 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912236508 10800226304 961638 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907314097 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=906] ppid=889 vsize=10547096 CPUtime=0.89 cores=0,2,4,6
/proc/891/task/906/stat : 906 (java) S 889 891 31238 0 -1 4202560 4392 0 0 0 89 0 0 0 15 0 19 0 912236508 10800226304 961638 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=907] ppid=889 vsize=10547096 CPUtime=0.87 cores=0,2,4,6
/proc/891/task/907/stat : 907 (java) S 889 891 31238 0 -1 4202560 3227 0 0 0 86 1 0 0 15 0 19 0 912236508 10800226304 961638 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 2 0 0 0
[pid=891/tid=908] ppid=889 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/891/task/908/stat : 908 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912236508 10800226304 961638 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=909] ppid=889 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/891/task/909/stat : 909 (java) S 889 891 31238 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 912236508 10800226304 961638 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907307008 0 4 0 16800975 18446604451913217152 0 0 -1 0 0 0 0
[pid=891/tid=911] ppid=889 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/891/task/911/stat : 911 (java) S 889 891 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912236549 10800226304 961638 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907307008 0 4 0 16800975 18446604451913217152 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1726.91
Current children cumulated vsize (KiB) 10547096
[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/480 1062
/proc/meminfo: memFree=21782312/32950928 swapFree=52246700/67111528
[pid=891] ppid=889 vsize=10547096 CPUtime=1786.96 cores=0,2,4,6
/proc/891/stat : 891 (java) S 889 891 31238 0 -1 4202496 971343 0 1 0 178579 117 0 0 25 0 19 0 912236502 10800226304 963346 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/891/statm: 2636774 963346 2254 9 0 2627508 0
[pid=891/tid=892] ppid=889 vsize=10547096 CPUtime=1781.04 cores=0,2,4,6
/proc/891/task/892/stat : 892 (java) R 889 891 31238 0 -1 4202560 806515 0 1 0 178016 88 0 0 25 0 19 0 912236503 10800226304 963346 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 46912506214781 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=891/tid=894] ppid=889 vsize=10547096 CPUtime=0.54 cores=0,2,4,6
/proc/891/task/894/stat : 894 (java) S 889 891 31238 0 -1 4202560 18931 0 0 0 51 3 0 0 16 0 19 0 912236504 10800226304 963346 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 2 0 0 0
[pid=891/tid=895] ppid=889 vsize=10547096 CPUtime=0.6 cores=0,2,4,6
/proc/891/task/895/stat : 895 (java) S 889 891 31238 0 -1 4202560 20319 0 0 0 57 3 0 0 15 0 19 0 912236504 10800226304 963346 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 0 0 0 0
[pid=891/tid=896] ppid=889 vsize=10547096 CPUtime=0.31 cores=0,2,4,6
/proc/891/task/896/stat : 896 (java) S 889 891 31238 0 -1 4202560 7369 0 0 0 30 1 0 0 15 0 19 0 912236504 10800226304 963346 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 2 0 0 0
[pid=891/tid=897] ppid=889 vsize=10547096 CPUtime=0.48 cores=0,2,4,6
/proc/891/task/897/stat : 897 (java) S 889 891 31238 0 -1 4202560 20014 0 0 0 45 3 0 0 15 0 19 0 912236504 10800226304 963346 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 2 0 0 0
[pid=891/tid=898] ppid=889 vsize=10547096 CPUtime=0.63 cores=0,2,4,6
/proc/891/task/898/stat : 898 (java) S 889 891 31238 0 -1 4202560 26611 0 0 0 59 4 0 0 16 0 19 0 912236504 10800226304 963346 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 0 0 0 0
[pid=891/tid=899] ppid=889 vsize=10547096 CPUtime=0.52 cores=0,2,4,6
/proc/891/task/899/stat : 899 (java) S 889 891 31238 0 -1 4202560 24428 0 0 0 49 3 0 0 16 0 19 0 912236504 10800226304 963346 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 4 0 0 0
[pid=891/tid=900] ppid=889 vsize=10547096 CPUtime=0.48 cores=0,2,4,6
/proc/891/task/900/stat : 900 (java) S 889 891 31238 0 -1 4202560 18057 0 0 0 45 3 0 0 15 0 19 0 912236504 10800226304 963346 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 2 0 0 0
[pid=891/tid=901] ppid=889 vsize=10547096 CPUtime=0.5 cores=0,2,4,6
/proc/891/task/901/stat : 901 (java) S 889 891 31238 0 -1 4202560 20130 0 0 0 47 3 0 0 15 0 19 0 912236504 10800226304 963346 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 4 0 0 0
[pid=891/tid=902] ppid=889 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/891/task/902/stat : 902 (java) S 889 891 31238 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 912236505 10800226304 963346 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907307008 0 0 0 16800975 18446604451913217152 0 0 -1 2 0 0 0
[pid=891/tid=903] ppid=889 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/891/task/903/stat : 903 (java) S 889 891 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912236506 10800226304 963346 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=904] ppid=889 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/891/task/904/stat : 904 (java) S 889 891 31238 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912236506 10800226304 963346 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=905] ppid=889 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/891/task/905/stat : 905 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912236508 10800226304 963346 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907314097 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=906] ppid=889 vsize=10547096 CPUtime=0.89 cores=0,2,4,6
/proc/891/task/906/stat : 906 (java) S 889 891 31238 0 -1 4202560 4392 0 0 0 89 0 0 0 15 0 19 0 912236508 10800226304 963346 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=907] ppid=889 vsize=10547096 CPUtime=0.87 cores=0,2,4,6
/proc/891/task/907/stat : 907 (java) S 889 891 31238 0 -1 4202560 3227 0 0 0 86 1 0 0 15 0 19 0 912236508 10800226304 963346 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 2 0 0 0
[pid=891/tid=908] ppid=889 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/891/task/908/stat : 908 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912236508 10800226304 963346 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=909] ppid=889 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/891/task/909/stat : 909 (java) S 889 891 31238 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 912236508 10800226304 963346 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907307008 0 4 0 16800975 18446604451913217152 0 0 -1 0 0 0 0
[pid=891/tid=911] ppid=889 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/891/task/911/stat : 911 (java) S 889 891 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912236549 10800226304 963346 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907307008 0 4 0 16800975 18446604451913217152 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1786.96
Current children cumulated vsize (KiB) 10547096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/480 1062
/proc/meminfo: memFree=21776228/32950928 swapFree=52246700/67111528
[pid=891] ppid=889 vsize=10547096 CPUtime=1800.04 cores=0,2,4,6
/proc/891/stat : 891 (java) S 889 891 31238 0 -1 4202496 972878 0 1 0 179886 118 0 0 25 0 19 0 912236502 10800226304 964808 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/891/statm: 2636774 964808 2254 9 0 2627508 0
[pid=891/tid=892] ppid=889 vsize=10547096 CPUtime=1794.04 cores=0,2,4,6
/proc/891/task/892/stat : 892 (java) R 889 891 31238 0 -1 4202560 806516 0 1 0 179316 88 0 0 25 0 19 0 912236503 10800226304 964808 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 46912506214814 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=891/tid=894] ppid=889 vsize=10547096 CPUtime=0.56 cores=0,2,4,6
/proc/891/task/894/stat : 894 (java) S 889 891 31238 0 -1 4202560 19041 0 0 0 53 3 0 0 16 0 19 0 912236504 10800226304 964808 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=895] ppid=889 vsize=10547096 CPUtime=0.6 cores=0,2,4,6
/proc/891/task/895/stat : 895 (java) S 889 891 31238 0 -1 4202560 20319 0 0 0 57 3 0 0 15 0 19 0 912236504 10800226304 964808 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 0 0 0 0
[pid=891/tid=896] ppid=889 vsize=10547096 CPUtime=0.33 cores=0,2,4,6
/proc/891/task/896/stat : 896 (java) S 889 891 31238 0 -1 4202560 8068 0 0 0 32 1 0 0 16 0 19 0 912236504 10800226304 964808 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 2 0 0 0
[pid=891/tid=897] ppid=889 vsize=10547096 CPUtime=0.48 cores=0,2,4,6
/proc/891/task/897/stat : 897 (java) S 889 891 31238 0 -1 4202560 20014 0 0 0 45 3 0 0 15 0 19 0 912236504 10800226304 964808 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 2 0 0 0
[pid=891/tid=898] ppid=889 vsize=10547096 CPUtime=0.65 cores=0,2,4,6
/proc/891/task/898/stat : 898 (java) S 889 891 31238 0 -1 4202560 26704 0 0 0 61 4 0 0 16 0 19 0 912236504 10800226304 964808 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 0 0 0 0
[pid=891/tid=899] ppid=889 vsize=10547096 CPUtime=0.52 cores=0,2,4,6
/proc/891/task/899/stat : 899 (java) S 889 891 31238 0 -1 4202560 24431 0 0 0 49 3 0 0 16 0 19 0 912236504 10800226304 964808 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 4 0 0 0
[pid=891/tid=900] ppid=889 vsize=10547096 CPUtime=0.48 cores=0,2,4,6
/proc/891/task/900/stat : 900 (java) S 889 891 31238 0 -1 4202560 18057 0 0 0 45 3 0 0 15 0 19 0 912236504 10800226304 964808 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 2 0 0 0
[pid=891/tid=901] ppid=889 vsize=10547096 CPUtime=0.51 cores=0,2,4,6
/proc/891/task/901/stat : 901 (java) S 889 891 31238 0 -1 4202560 20755 0 0 0 48 3 0 0 16 0 19 0 912236504 10800226304 964808 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 4 0 0 0
[pid=891/tid=902] ppid=889 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/891/task/902/stat : 902 (java) S 889 891 31238 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 912236505 10800226304 964808 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907307008 0 0 0 16800975 18446604451913217152 0 0 -1 2 0 0 0
[pid=891/tid=903] ppid=889 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/891/task/903/stat : 903 (java) S 889 891 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912236506 10800226304 964808 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=904] ppid=889 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/891/task/904/stat : 904 (java) S 889 891 31238 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912236506 10800226304 964808 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=905] ppid=889 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/891/task/905/stat : 905 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912236508 10800226304 964808 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907314097 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=906] ppid=889 vsize=10547096 CPUtime=0.89 cores=0,2,4,6
/proc/891/task/906/stat : 906 (java) S 889 891 31238 0 -1 4202560 4392 0 0 0 89 0 0 0 15 0 19 0 912236508 10800226304 964808 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=907] ppid=889 vsize=10547096 CPUtime=0.87 cores=0,2,4,6
/proc/891/task/907/stat : 907 (java) S 889 891 31238 0 -1 4202560 3227 0 0 0 86 1 0 0 15 0 19 0 912236508 10800226304 964808 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 2 0 0 0
[pid=891/tid=908] ppid=889 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/891/task/908/stat : 908 (java) S 889 891 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912236508 10800226304 964808 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907306393 0 4 0 16800975 18446604451913217152 0 0 -1 6 0 0 0
[pid=891/tid=909] ppid=889 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/891/task/909/stat : 909 (java) S 889 891 31238 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 912236508 10800226304 964808 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907307008 0 4 0 16800975 18446604451913217152 0 0 -1 0 0 0 0
[pid=891/tid=911] ppid=889 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/891/task/911/stat : 911 (java) S 889 891 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912236549 10800226304 964808 33554432000 1073741824 1073778376 140733229228784 18446744073709551615 231907307008 0 4 0 16800975 18446604451913217152 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10547096
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.42 s]
/proc/loadavg: 2.05 2.03 2.00 3/480 1062
/proc/meminfo: memFree=21776228/32950928 swapFree=52246700/67111528
[pid=891] ppid=889 vsize=0 CPUtime=1800.18 cores=0,2,4,6
/proc/891/stat : 891 (java) Z 889 891 31238 0 -1 4203548 972910 0 1 0 179894 124 0 0 17 0 2 0 912236502 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/891/statm: 0 0 0 0 0 0 0
[pid=891/tid=892] ppid=889 vsize=0 CPUtime=1794.13 cores=0,2,4,6
/proc/891/task/892/stat : 892 (java) R 889 891 31238 0 -1 4203588 806516 0 1 0 179319 94 0 0 25 0 2 0 912236503 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
[startup+1795.5 s]
/proc/loadavg: 2.05 2.03 2.00 3/480 1062
/proc/meminfo: memFree=21776228/32950928 swapFree=52246700/67111528
[pid=891] ppid=889 vsize=0 CPUtime=1800.26 cores=0,2,4,6
/proc/891/stat : 891 (java) Z 889 891 31238 0 -1 4203548 972910 0 1 0 179894 132 0 0 17 0 2 0 912236502 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/891/statm: 0 0 0 0 0 0 0
[pid=891/tid=892] ppid=889 vsize=0 CPUtime=1794.21 cores=0,2,4,6
/proc/891/task/892/stat : 892 (java) R 889 891 31238 0 -1 4203588 806516 0 1 0 179319 102 0 0 25 0 2 0 912236503 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.51
CPU time (s): 1800.28
CPU user time (s): 1798.95
CPU system time (s): 1.3298
CPU usage (%): 100.266
Max. virtual memory (cumulated for all children) (KiB): 10551872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.95
system time used= 1.3298
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 972910
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= 38315
involuntary context switches= 4511
runsolver used 8.77467 second user time and 18.6672 second system time
The end