runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3689454-1337882261/watcher-3689454-1337882261 -o /tmp/evaluation-result-3689454-1337882261/solver-3689454-1337882261 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689454-1337882261.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: 3.34 3.08 3.13 4/199 29726
/proc/meminfo: memFree=27738880/32873844 swapFree=7364/7364
[pid=29726] ppid=29724 vsize=23172 CPUtime=0 cores=0,2,4,6
/proc/29726/stat : 29726 (java) R 29724 29726 26250 0 -1 4202496 1140 0 0 0 0 0 0 0 20 0 1 0 254350887 23728128 862 33554432000 1073741824 1073778376 140736280581584 140736280570648 140419104836560 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29726/statm: 6050 867 654 9 0 385 0
[pid=29726/tid=29727] ppid=29724 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29727/stat : 29727 (java) R 29724 29726 26250 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 2 0 254350888 91889664 879 33554432000 1073741824 1073778376 140736280581584 140736280570648 140419106821584 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.086125 s]
/proc/loadavg: 3.34 3.08 3.13 4/199 29726
/proc/meminfo: memFree=27738880/32873844 swapFree=7364/7364
[pid=29726] ppid=29724 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/29726/stat : 29726 (java) S 29724 29726 26250 0 -1 4202496 4015 0 1 0 7 0 0 0 20 0 18 0 254350887 9787813888 5221 33554432000 1073741824 1073778376 140736280581584 140736280572720 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29726/statm: 2389603 5237 2036 9 0 2380296 0
[pid=29726/tid=29727] ppid=29724 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/29726/task/29727/stat : 29727 (java) R 29724 29726 26250 0 -1 4202560 2261 0 1 0 6 0 0 0 20 0 18 0 254350888 9787813888 5242 33554432000 1073741824 1073778376 140736280581584 140419100273584 140418939477692 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412
[startup+0.100263 s]
/proc/loadavg: 3.34 3.08 3.13 4/199 29726
/proc/meminfo: memFree=27738880/32873844 swapFree=7364/7364
[pid=29726] ppid=29724 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/29726/stat : 29726 (java) S 29724 29726 26250 0 -1 4202496 4305 0 1 0 9 1 0 0 20 0 18 0 254350887 9787813888 5509 33554432000 1073741824 1073778376 140736280581584 140736280572720 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29726/statm: 2389603 5509 2109 9 0 2380296 0
[pid=29726/tid=29727] ppid=29724 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/29726/task/29727/stat : 29727 (java) R 29724 29726 26250 0 -1 4202560 2355 0 1 0 7 0 0 0 20 0 18 0 254350888 9787813888 5509 33554432000 1073741824 1073778376 140736280581584 140419100275264 140419098149381 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300194 s]
/proc/loadavg: 3.34 3.08 3.13 4/199 29726
/proc/meminfo: memFree=27738880/32873844 swapFree=7364/7364
[pid=29726] ppid=29724 vsize=9824668 CPUtime=0.51 cores=0,2,4,6
/proc/29726/stat : 29726 (java) S 29724 29726 26250 0 -1 4202496 5843 0 1 0 50 1 0 0 20 0 22 0 254350887 10060460032 10802 33554432000 1073741824 1073778376 140736280581584 140736280572720 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29726/statm: 2456167 10818 2226 9 0 2446860 0
[pid=29726/tid=29727] ppid=29724 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/29726/task/29727/stat : 29727 (java) S 29724 29726 26250 0 -1 4202560 2456 0 1 0 25 0 0 0 20 0 22 0 254350888 10060460032 10818 33554432000 1073741824 1073778376 140736280581584 140419100275704 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9824668
[startup+0.700205 s]
/proc/loadavg: 3.34 3.08 3.13 4/199 29726
/proc/meminfo: memFree=27738880/32873844 swapFree=7364/7364
[pid=29726] ppid=29724 vsize=9824668 CPUtime=2.12 cores=0,2,4,6
/proc/29726/stat : 29726 (java) S 29724 29726 26250 0 -1 4202496 17248 0 1 0 207 5 0 0 20 0 22 0 254350887 10060460032 22158 33554432000 1073741824 1073778376 140736280581584 140736280572720 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29726/statm: 2456167 22158 2240 9 0 2446860 0
[pid=29726/tid=29727] ppid=29724 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/29726/task/29727/stat : 29727 (java) S 29724 29726 26250 0 -1 4202560 2456 0 1 0 25 0 0 0 20 0 22 0 254350888 10060460032 22158 33554432000 1073741824 1073778376 140736280581584 140419100275704 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 9824668
[startup+1.50075 s]
/proc/loadavg: 3.34 3.08 3.13 6/221 29748
/proc/meminfo: memFree=27580492/32873844 swapFree=7364/7364
[pid=29726] ppid=29724 vsize=9824668 CPUtime=4.32 cores=0,2,4,6
/proc/29726/stat : 29726 (java) S 29724 29726 26250 0 -1 4202496 20015 0 1 0 425 7 0 0 20 0 22 0 254350887 10060460032 49869 33554432000 1073741824 1073778376 140736280581584 140736280572720 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29726/statm: 2456167 49869 2277 9 0 2446860 0
[pid=29726/tid=29727] ppid=29724 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/29726/task/29727/stat : 29727 (java) S 29724 29726 26250 0 -1 4202560 2456 0 1 0 25 0 0 0 20 0 22 0 254350888 10060460032 49869 33554432000 1073741824 1073778376 140736280581584 140419100275704 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29729] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29729/stat : 29729 (java) S 29724 29726 26250 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 254350888 10060460032 49869 33554432000 1073741824 1073778376 140736280581584 140419061766440 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29730] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29730/stat : 29730 (java) S 29724 29726 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254350888 10060460032 49869 33554432000 1073741824 1073778376 140736280581584 140419060713640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29726/tid=29731] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29731/stat : 29731 (java) S 29724 29726 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254350888 10060460032 49869 33554432000 1073741824 1073778376 140736280581584 140419059661352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29726/tid=29732] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29732/stat : 29732 (java) S 29724 29726 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254350888 10060460032 49869 33554432000 1073741824 1073778376 140736280581584 140419058608552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29726/tid=29733] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29733/stat : 29733 (java) S 29724 29726 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254350888 10060460032 49869 33554432000 1073741824 1073778376 140736280581584 140418939349800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29726/tid=29734] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29734/stat : 29734 (java) S 29724 29726 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254350888 10060460032 49869 33554432000 1073741824 1073778376 140736280581584 140418938297000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29735] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29735/stat : 29735 (java) S 29724 29726 26250 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254350888 10060460032 49869 33554432000 1073741824 1073778376 140736280581584 140418937244712 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29736] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29736/stat : 29736 (java) S 29724 29726 26250 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 254350888 10060460032 49869 33554432000 1073741824 1073778376 140736280581584 140418936191912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29737] ppid=29724 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/29726/task/29737/stat : 29737 (java) S 29724 29726 26250 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 22 0 254350890 10060460032 49869 33554432000 1073741824 1073778376 140736280581584 140418923993320 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29738] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29738/stat : 29738 (java) S 29724 29726 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254350890 10060460032 49869 33554432000 1073741824 1073778376 140736280581584 140418318590968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29739] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29739/stat : 29739 (java) S 29724 29726 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254350890 10060460032 49869 33554432000 1073741824 1073778376 140736280581584 140418317538568 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29740] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29740/stat : 29740 (java) S 29724 29726 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254350893 10060460032 49869 33554432000 1073741824 1073778376 140736280581584 140418316487056 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29741] ppid=29724 vsize=9824668 CPUtime=0.79 cores=0,2,4,6
/proc/29726/task/29741/stat : 29741 (java) R 29724 29726 26250 0 -1 4202560 8582 0 0 0 77 2 0 0 20 0 22 0 254350893 10060460032 49869 33554432000 1073741824 1073778376 140736280581584 140418315434248 140419107090878 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=29726/tid=29742] ppid=29724 vsize=9824668 CPUtime=0.82 cores=0,2,4,6
/proc/29726/task/29742/stat : 29742 (java) R 29724 29726 26250 0 -1 4202560 7503 0 0 0 80 2 0 0 20 0 22 0 254350893 10060460032 49869 33554432000 1073741824 1073778376 140736280581584 140418314358848 140419107249909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29743] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29743/stat : 29743 (java) S 29724 29726 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254350893 10060460032 49869 33554432000 1073741824 1073778376 140736280581584 140418313329784 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29726/tid=29744] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29744/stat : 29744 (java) S 29724 29726 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254350893 10060460032 49869 33554432000 1073741824 1073778376 140736280581584 140418312277192 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29745] ppid=29724 vsize=9824668 CPUtime=1.17 cores=0,2,4,6
/proc/29726/task/29745/stat : 29745 (java) R 29724 29726 26250 0 -1 4202560 24 0 0 0 117 0 0 0 20 0 22 0 254350915 10060460032 49869 33554432000 1073741824 1073778376 140736280581584 140418311219816 140418939875024 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29726/tid=29746] ppid=29724 vsize=9824668 CPUtime=1.18 cores=0,2,4,6
/proc/29726/task/29746/stat : 29746 (java) R 29724 29726 26250 0 -1 4202560 188 0 0 0 116 2 0 0 20 0 22 0 254350915 10060460032 49869 33554432000 1073741824 1073778376 140736280581584 140418310167528 140418940312747 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29747] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29747/stat : 29747 (java) S 29724 29726 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254350915 10060460032 49869 33554432000 1073741824 1073778376 140736280581584 140418309117096 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29748] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29748/stat : 29748 (java) S 29724 29726 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254350915 10060460032 49869 33554432000 1073741824 1073778376 140736280581584 140418308064296 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 9824668
[startup+3.10081 s]
/proc/loadavg: 3.34 3.08 3.13 5/221 29748
/proc/meminfo: memFree=27542636/32873844 swapFree=7364/7364
[pid=29726] ppid=29724 vsize=9824668 CPUtime=7.63 cores=0,2,4,6
/proc/29726/stat : 29726 (java) S 29724 29726 26250 0 -1 4202496 21776 0 1 0 751 12 0 0 20 0 22 0 254350887 10060460032 88964 33554432000 1073741824 1073778376 140736280581584 140736280572720 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29726/statm: 2456167 88964 2277 9 0 2446860 0
[pid=29726/tid=29727] ppid=29724 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/29726/task/29727/stat : 29727 (java) S 29724 29726 26250 0 -1 4202560 2456 0 1 0 25 0 0 0 20 0 22 0 254350888 10060460032 88964 33554432000 1073741824 1073778376 140736280581584 140419100275704 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29729] ppid=29724 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/29726/task/29729/stat : 29729 (java) S 29724 29726 26250 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 22 0 254350888 10060460032 88964 33554432000 1073741824 1073778376 140736280581584 140419061766440 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29730] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29730/stat : 29730 (java) S 29724 29726 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254350888 10060460032 88964 33554432000 1073741824 1073778376 140736280581584 140419060713640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29726/tid=29731] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29731/stat : 29731 (java) S 29724 29726 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254350888 10060460032 88964 33554432000 1073741824 1073778376 140736280581584 140419059661352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29726/tid=29732] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29732/stat : 29732 (java) S 29724 29726 26250 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 254350888 10060460032 88964 33554432000 1073741824 1073778376 140736280581584 140419058608552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29726/tid=29733] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29733/stat : 29733 (java) S 29724 29726 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254350888 10060460032 88964 33554432000 1073741824 1073778376 140736280581584 140418939349800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29726/tid=29734] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29734/stat : 29734 (java) S 29724 29726 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254350888 10060460032 88964 33554432000 1073741824 1073778376 140736280581584 140418938297000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29735] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29735/stat : 29735 (java) S 29724 29726 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254350888 10060460032 88964 33554432000 1073741824 1073778376 140736280581584 140418937244712 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29736] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29736/stat : 29736 (java) S 29724 29726 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254350888 10060460032 88964 33554432000 1073741824 1073778376 140736280581584 140418936191912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29737] ppid=29724 vsize=9824668 CPUtime=0.07 cores=0,2,4,6
/proc/29726/task/29737/stat : 29737 (java) S 29724 29726 26250 0 -1 4202560 210 0 0 0 7 0 0 0 20 0 22 0 254350890 10060460032 88964 33554432000 1073741824 1073778376 140736280581584 140418923993320 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29738] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29738/stat : 29738 (java) S 29724 29726 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254350890 10060460032 88964 33554432000 1073741824 1073778376 140736280581584 140418318590968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29739] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29739/stat : 29739 (java) S 29724 29726 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254350890 10060460032 88964 33554432000 1073741824 1073778376 140736280581584 140418317538568 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29740] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29740/stat : 29740 (java) S 29724 29726 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254350893 10060460032 88964 33554432000 1073741824 1073778376 140736280581584 140418316487056 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29741] ppid=29724 vsize=9824668 CPUtime=0.93 cores=0,2,4,6
/proc/29726/task/29741/stat : 29741 (java) S 29724 29726 26250 0 -1 4202560 10065 0 0 0 90 3 0 0 20 0 22 0 254350893 10060460032 88964 33554432000 1073741824 1073778376 140736280581584 140418315434680 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29726/tid=29742] ppid=29724 vsize=9824668 CPUtime=0.86 cores=0,2,4,6
/proc/29726/task/29742/stat : 29742 (java) S 29724 29726 26250 0 -1 4202560 7504 0 0 0 84 2 0 0 20 0 22 0 254350893 10060460032 88964 33554432000 1073741824 1073778376 140736280581584 140418314381880 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29743] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29743/stat : 29743 (java) S 29724 29726 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254350893 10060460032 88964 33554432000 1073741824 1073778376 140736280581584 140418313329784 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29726/tid=29744] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29744/stat : 29744 (java) S 29724 29726 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254350893 10060460032 88964 33554432000 1073741824 1073778376 140736280581584 140418312277192 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29745] ppid=29724 vsize=9824668 CPUtime=2.67 cores=0,2,4,6
/proc/29726/task/29745/stat : 29745 (java) R 29724 29726 26250 0 -1 4202560 26 0 0 0 267 0 0 0 20 0 22 0 254350915 10060460032 88964 33554432000 1073741824 1073778376 140736280581584 140418311221472 140418939912322 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29746] ppid=29724 vsize=9824668 CPUtime=2.66 cores=0,2,4,6
/proc/29726/task/29746/stat : 29746 (java) R 29724 29726 26250 0 -1 4202560 255 0 0 0 262 4 0 0 20 0 22 0 254350915 10060460032 88964 33554432000 1073741824 1073778376 140736280581584 140418310168576 140418939972333 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29747] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29747/stat : 29747 (java) S 29724 29726 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254350915 10060460032 88964 33554432000 1073741824 1073778376 140736280581584 140418309117096 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29748] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29748/stat : 29748 (java) S 29724 29726 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254350915 10060460032 88964 33554432000 1073741824 1073778376 140736280581584 140418308064296 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.63
Current children cumulated vsize (KiB) 9824668
[startup+6.30086 s]
/proc/loadavg: 3.39 3.09 3.14 5/221 29748
/proc/meminfo: memFree=26637296/32873844 swapFree=7364/7364
[pid=29726] ppid=29724 vsize=9824668 CPUtime=14.02 cores=0,2,4,6
/proc/29726/stat : 29726 (java) S 29724 29726 26250 0 -1 4202496 22268 0 1 0 1384 18 0 0 20 0 22 0 254350887 10060460032 197020 33554432000 1073741824 1073778376 140736280581584 140736280572720 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29726/statm: 2456167 197020 2277 9 0 2446860 0
[pid=29726/tid=29727] ppid=29724 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/29726/task/29727/stat : 29727 (java) S 29724 29726 26250 0 -1 4202560 2456 0 1 0 25 0 0 0 20 0 22 0 254350888 10060460032 197020 33554432000 1073741824 1073778376 140736280581584 140419100275704 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29729] ppid=29724 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/29726/task/29729/stat : 29729 (java) S 29724 29726 26250 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 22 0 254350888 10060460032 197020 33554432000 1073741824 1073778376 140736280581584 140419061766440 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29730] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29730/stat : 29730 (java) S 29724 29726 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254350888 10060460032 197020 33554432000 1073741824 1073778376 140736280581584 140419060713640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29726/tid=29731] ppid=29724 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/29726/task/29731/stat : 29731 (java) S 29724 29726 26250 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 254350888 10060460032 197020 33554432000 1073741824 1073778376 140736280581584 140419059661352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29726/tid=29732] ppid=29724 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/29726/task/29732/stat : 29732 (java) S 29724 29726 26250 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 254350888 10060460032 197020 33554432000 1073741824 1073778376 140736280581584 140419058608552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29726/tid=29733] ppid=29724 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/29726/task/29733/stat : 29733 (java) S 29724 29726 26250 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 254350888 10060460032 197020 33554432000 1073741824 1073778376 140736280581584 140418939349800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29726/tid=29734] ppid=29724 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/29726/task/29734/stat : 29734 (java) S 29724 29726 26250 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 254350888 10060460032 197020 33554432000 1073741824 1073778376 140736280581584 140418938297000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29735] ppid=29724 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/29726/task/29735/stat : 29735 (java) S 29724 29726 26250 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 254350888 10060460032 197020 33554432000 1073741824 1073778376 140736280581584 140418937244712 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29736] ppid=29724 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/29726/task/29736/stat : 29736 (java) S 29724 29726 26250 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 254350888 10060460032 197020 33554432000 1073741824 1073778376 140736280581584 140418936191912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
################
# More data... #
################
[pid=29726/tid=29746] ppid=29724 vsize=9824668 CPUtime=739.32 cores=0,2,4,6
/proc/29726/task/29746/stat : 29746 (java) R 29724 29726 26250 0 -1 4202560 2200 0 0 0 73898 34 0 0 20 0 22 0 254350915 10060460032 268153 33554432000 1073741824 1073778376 140736280581584 140418310166800 140418940096124 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29747] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29747/stat : 29747 (java) S 29724 29726 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254350915 10060460032 268153 33554432000 1073741824 1073778376 140736280581584 140418309117096 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29748] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29748/stat : 29748 (java) S 29724 29726 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254350915 10060460032 268153 33554432000 1073741824 1073778376 140736280581584 140418308064296 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1521.92
Current children cumulated vsize (KiB) 9824668
[startup+822.301 s]
/proc/loadavg: 4.01 3.91 3.59 5/221 29779
/proc/meminfo: memFree=25969748/32873844 swapFree=7364/7364
[pid=29726] ppid=29724 vsize=9824668 CPUtime=1642.15 cores=0,2,4,6
/proc/29726/stat : 29726 (java) S 29724 29726 26250 0 -1 4202496 29749 0 1 0 164092 123 0 0 20 0 22 0 254350887 10060460032 295573 33554432000 1073741824 1073778376 140736280581584 140736280572720 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29726/statm: 2456167 295573 2278 9 0 2446860 0
[pid=29726/tid=29727] ppid=29724 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/29726/task/29727/stat : 29727 (java) S 29724 29726 26250 0 -1 4202560 2476 0 1 0 26 3 0 0 20 0 22 0 254350888 10060460032 295573 33554432000 1073741824 1073778376 140736280581584 140419100275704 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29729] ppid=29724 vsize=9824668 CPUtime=3.63 cores=0,2,4,6
/proc/29726/task/29729/stat : 29729 (java) S 29724 29726 26250 0 -1 4202560 391 0 0 0 358 5 0 0 20 0 22 0 254350888 10060460032 295573 33554432000 1073741824 1073778376 140736280581584 140419061766440 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29726/tid=29730] ppid=29724 vsize=9824668 CPUtime=3.36 cores=0,2,4,6
/proc/29726/task/29730/stat : 29730 (java) S 29724 29726 26250 0 -1 4202560 413 0 0 0 330 6 0 0 20 0 22 0 254350888 10060460032 295573 33554432000 1073741824 1073778376 140736280581584 140419060713640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29726/tid=29731] ppid=29724 vsize=9824668 CPUtime=3.25 cores=0,2,4,6
/proc/29726/task/29731/stat : 29731 (java) S 29724 29726 26250 0 -1 4202560 367 0 0 0 319 6 0 0 20 0 22 0 254350888 10060460032 295573 33554432000 1073741824 1073778376 140736280581584 140419059661352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29732] ppid=29724 vsize=9824668 CPUtime=3.34 cores=0,2,4,6
/proc/29726/task/29732/stat : 29732 (java) S 29724 29726 26250 0 -1 4202560 402 0 0 0 327 7 0 0 20 0 22 0 254350888 10060460032 295573 33554432000 1073741824 1073778376 140736280581584 140419058608552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29726/tid=29733] ppid=29724 vsize=9824668 CPUtime=3.32 cores=0,2,4,6
/proc/29726/task/29733/stat : 29733 (java) S 29724 29726 26250 0 -1 4202560 464 0 0 0 326 6 0 0 20 0 22 0 254350888 10060460032 295573 33554432000 1073741824 1073778376 140736280581584 140418939349800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29726/tid=29734] ppid=29724 vsize=9824668 CPUtime=3.31 cores=0,2,4,6
/proc/29726/task/29734/stat : 29734 (java) S 29724 29726 26250 0 -1 4202560 548 0 0 0 324 7 0 0 20 0 22 0 254350888 10060460032 295573 33554432000 1073741824 1073778376 140736280581584 140418938297000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29726/tid=29735] ppid=29724 vsize=9824668 CPUtime=3.53 cores=0,2,4,6
/proc/29726/task/29735/stat : 29735 (java) S 29724 29726 26250 0 -1 4202560 408 0 0 0 346 7 0 0 20 0 22 0 254350888 10060460032 295573 33554432000 1073741824 1073778376 140736280581584 140418937244712 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29736] ppid=29724 vsize=9824668 CPUtime=3.11 cores=0,2,4,6
/proc/29726/task/29736/stat : 29736 (java) S 29724 29726 26250 0 -1 4202560 528 0 0 0 306 5 0 0 20 0 22 0 254350888 10060460032 295573 33554432000 1073741824 1073778376 140736280581584 140418936191912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29737] ppid=29724 vsize=9824668 CPUtime=16.26 cores=0,2,4,6
/proc/29726/task/29737/stat : 29737 (java) S 29724 29726 26250 0 -1 4202560 902 0 0 0 1601 25 0 0 20 0 22 0 254350890 10060460032 295573 33554432000 1073741824 1073778376 140736280581584 140418923993320 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29738] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29738/stat : 29738 (java) S 29724 29726 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254350890 10060460032 295573 33554432000 1073741824 1073778376 140736280581584 140418318590968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29739] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29739/stat : 29739 (java) S 29724 29726 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254350890 10060460032 295573 33554432000 1073741824 1073778376 140736280581584 140418317538568 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29740] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29740/stat : 29740 (java) S 29724 29726 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254350893 10060460032 295573 33554432000 1073741824 1073778376 140736280581584 140418316487056 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29741] ppid=29724 vsize=9824668 CPUtime=1.08 cores=0,2,4,6
/proc/29726/task/29741/stat : 29741 (java) S 29724 29726 26250 0 -1 4202560 10077 0 0 0 105 3 0 0 20 0 22 0 254350893 10060460032 295573 33554432000 1073741824 1073778376 140736280581584 140418315434680 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29726/tid=29742] ppid=29724 vsize=9824668 CPUtime=1.51 cores=0,2,4,6
/proc/29726/task/29742/stat : 29742 (java) S 29724 29726 26250 0 -1 4202560 8540 0 0 0 148 3 0 0 20 0 22 0 254350893 10060460032 295573 33554432000 1073741824 1073778376 140736280581584 140418314381880 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29743] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29743/stat : 29743 (java) S 29724 29726 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254350893 10060460032 295573 33554432000 1073741824 1073778376 140736280581584 140418313329784 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29726/tid=29744] ppid=29724 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/29726/task/29744/stat : 29744 (java) S 29724 29726 26250 0 -1 4202560 47 0 0 0 16 16 0 0 20 0 22 0 254350893 10060460032 295573 33554432000 1073741824 1073778376 140736280581584 140418312277192 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29745] ppid=29724 vsize=9824668 CPUtime=798.04 cores=0,2,4,6
/proc/29726/task/29745/stat : 29745 (java) R 29724 29726 26250 0 -1 4202560 362 0 0 0 79789 15 0 0 20 0 22 0 254350915 10060460032 295573 33554432000 1073741824 1073778376 140736280581584 140418311220528 140418939912322 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29746] ppid=29724 vsize=9824668 CPUtime=798.07 cores=0,2,4,6
/proc/29726/task/29746/stat : 29746 (java) R 29724 29726 26250 0 -1 4202560 2637 0 0 0 79770 37 0 0 20 0 22 0 254350915 10060460032 295573 33554432000 1073741824 1073778376 140736280581584 140418310166640 140418940095905 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29747] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29747/stat : 29747 (java) S 29724 29726 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254350915 10060460032 295573 33554432000 1073741824 1073778376 140736280581584 140418309117096 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29748] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29748/stat : 29748 (java) S 29724 29726 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254350915 10060460032 295573 33554432000 1073741824 1073778376 140736280581584 140418308064296 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1642.15
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.61 3.82 3.58 4/217 29837
/proc/meminfo: memFree=24292716/32873844 swapFree=7364/7364
[pid=29726] ppid=29724 vsize=9824668 CPUtime=1760.55 cores=0,2,4,6
/proc/29726/stat : 29726 (java) S 29724 29726 26250 0 -1 4202496 33306 0 1 0 175913 142 0 0 20 0 22 0 254350887 10060460032 363826 33554432000 1073741824 1073778376 140736280581584 140736280572720 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29726/statm: 2456167 363826 2279 9 0 2446860 0
[pid=29726/tid=29727] ppid=29724 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/29726/task/29727/stat : 29727 (java) S 29724 29726 26250 0 -1 4202560 2479 0 1 0 26 3 0 0 20 0 22 0 254350888 10060460032 363826 33554432000 1073741824 1073778376 140736280581584 140419100275704 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29729] ppid=29724 vsize=9824668 CPUtime=3.8 cores=0,2,4,6
/proc/29726/task/29729/stat : 29729 (java) S 29724 29726 26250 0 -1 4202560 580 0 0 0 374 6 0 0 20 0 22 0 254350888 10060460032 363826 33554432000 1073741824 1073778376 140736280581584 140419061766440 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29726/tid=29730] ppid=29724 vsize=9824668 CPUtime=3.55 cores=0,2,4,6
/proc/29726/task/29730/stat : 29730 (java) S 29724 29726 26250 0 -1 4202560 504 0 0 0 348 7 0 0 20 0 22 0 254350888 10060460032 363826 33554432000 1073741824 1073778376 140736280581584 140419060713640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29726/tid=29731] ppid=29724 vsize=9824668 CPUtime=3.41 cores=0,2,4,6
/proc/29726/task/29731/stat : 29731 (java) S 29724 29726 26250 0 -1 4202560 508 0 0 0 334 7 0 0 20 0 22 0 254350888 10060460032 363826 33554432000 1073741824 1073778376 140736280581584 140419059661352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29726/tid=29732] ppid=29724 vsize=9824668 CPUtime=3.56 cores=0,2,4,6
/proc/29726/task/29732/stat : 29732 (java) S 29724 29726 26250 0 -1 4202560 731 0 0 0 348 8 0 0 20 0 22 0 254350888 10060460032 363826 33554432000 1073741824 1073778376 140736280581584 140419058608552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29726/tid=29733] ppid=29724 vsize=9824668 CPUtime=3.56 cores=0,2,4,6
/proc/29726/task/29733/stat : 29733 (java) S 29724 29726 26250 0 -1 4202560 652 0 0 0 348 8 0 0 20 0 22 0 254350888 10060460032 363826 33554432000 1073741824 1073778376 140736280581584 140418939349800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29734] ppid=29724 vsize=9824668 CPUtime=3.53 cores=0,2,4,6
/proc/29726/task/29734/stat : 29734 (java) S 29724 29726 26250 0 -1 4202560 666 0 0 0 345 8 0 0 20 0 22 0 254350888 10060460032 363826 33554432000 1073741824 1073778376 140736280581584 140418938297000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29735] ppid=29724 vsize=9824668 CPUtime=3.76 cores=0,2,4,6
/proc/29726/task/29735/stat : 29735 (java) S 29724 29726 26250 0 -1 4202560 741 0 0 0 368 8 0 0 20 0 22 0 254350888 10060460032 363826 33554432000 1073741824 1073778376 140736280581584 140418937244712 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29736] ppid=29724 vsize=9824668 CPUtime=3.33 cores=0,2,4,6
/proc/29726/task/29736/stat : 29736 (java) S 29724 29726 26250 0 -1 4202560 1031 0 0 0 326 7 0 0 20 0 22 0 254350888 10060460032 363826 33554432000 1073741824 1073778376 140736280581584 140418936191912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29726/tid=29737] ppid=29724 vsize=9824668 CPUtime=18.6 cores=0,2,4,6
/proc/29726/task/29737/stat : 29737 (java) S 29724 29726 26250 0 -1 4202560 1275 0 0 0 1834 26 0 0 20 0 22 0 254350890 10060460032 363826 33554432000 1073741824 1073778376 140736280581584 140418923993320 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29738] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29738/stat : 29738 (java) S 29724 29726 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254350890 10060460032 363826 33554432000 1073741824 1073778376 140736280581584 140418318590968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29739] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29739/stat : 29739 (java) S 29724 29726 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254350890 10060460032 363826 33554432000 1073741824 1073778376 140736280581584 140418317538568 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29740] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29740/stat : 29740 (java) S 29724 29726 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254350893 10060460032 363826 33554432000 1073741824 1073778376 140736280581584 140418316487056 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29741] ppid=29724 vsize=9824668 CPUtime=1.09 cores=0,2,4,6
/proc/29726/task/29741/stat : 29741 (java) S 29724 29726 26250 0 -1 4202560 10080 0 0 0 106 3 0 0 20 0 22 0 254350893 10060460032 363826 33554432000 1073741824 1073778376 140736280581584 140418315434680 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29726/tid=29742] ppid=29724 vsize=9824668 CPUtime=1.51 cores=0,2,4,6
/proc/29726/task/29742/stat : 29742 (java) S 29724 29726 26250 0 -1 4202560 8540 0 0 0 148 3 0 0 20 0 22 0 254350893 10060460032 363826 33554432000 1073741824 1073778376 140736280581584 140418314381880 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29743] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29743/stat : 29743 (java) S 29724 29726 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254350893 10060460032 363826 33554432000 1073741824 1073778376 140736280581584 140418313329784 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29726/tid=29744] ppid=29724 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/29726/task/29744/stat : 29744 (java) S 29724 29726 26250 0 -1 4202560 51 0 0 0 17 17 0 0 20 0 22 0 254350893 10060460032 363826 33554432000 1073741824 1073778376 140736280581584 140418312277192 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29745] ppid=29724 vsize=9824668 CPUtime=855.25 cores=0,2,4,6
/proc/29726/task/29745/stat : 29745 (java) R 29724 29726 26250 0 -1 4202560 380 0 0 0 85505 20 0 0 20 0 22 0 254350915 10060460032 363826 33554432000 1073741824 1073778376 140736280581584 140418311220528 140418939874307 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29746] ppid=29724 vsize=9824668 CPUtime=855.27 cores=0,2,4,6
/proc/29726/task/29746/stat : 29746 (java) R 29724 29726 26250 0 -1 4202560 3901 0 0 0 85487 40 0 0 20 0 22 0 254350915 10060460032 363826 33554432000 1073741824 1073778376 140736280581584 140418310166640 140418939972190 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29747] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29747/stat : 29747 (java) S 29724 29726 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254350915 10060460032 363826 33554432000 1073741824 1073778376 140736280581584 140418309117096 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29748] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29748/stat : 29748 (java) S 29724 29726 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254350915 10060460032 363826 33554432000 1073741824 1073778376 140736280581584 140418308064296 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1760.55
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+902.008 s]
/proc/loadavg: 3.43 3.77 3.56 5/216 29837
/proc/meminfo: memFree=23596404/32873844 swapFree=7364/7364
[pid=29726] ppid=29724 vsize=9824668 CPUtime=1800.19 cores=0,2,4,6
/proc/29726/stat : 29726 (java) S 29724 29726 26250 0 -1 4202496 33811 0 1 0 179871 148 0 0 20 0 22 0 254350887 10060460032 384716 33554432000 1073741824 1073778376 140736280581584 140736280572720 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29726/statm: 2456167 384716 2279 9 0 2446860 0
[pid=29726/tid=29727] ppid=29724 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/29726/task/29727/stat : 29727 (java) S 29724 29726 26250 0 -1 4202560 2479 0 1 0 26 4 0 0 20 0 22 0 254350888 10060460032 384716 33554432000 1073741824 1073778376 140736280581584 140419100275704 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29729] ppid=29724 vsize=9824668 CPUtime=3.84 cores=0,2,4,6
/proc/29726/task/29729/stat : 29729 (java) S 29724 29726 26250 0 -1 4202560 584 0 0 0 378 6 0 0 20 0 22 0 254350888 10060460032 384716 33554432000 1073741824 1073778376 140736280581584 140419061766440 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29726/tid=29730] ppid=29724 vsize=9824668 CPUtime=3.64 cores=0,2,4,6
/proc/29726/task/29730/stat : 29730 (java) S 29724 29726 26250 0 -1 4202560 516 0 0 0 356 8 0 0 20 0 22 0 254350888 10060460032 384716 33554432000 1073741824 1073778376 140736280581584 140419060713640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29731] ppid=29724 vsize=9824668 CPUtime=3.48 cores=0,2,4,6
/proc/29726/task/29731/stat : 29731 (java) S 29724 29726 26250 0 -1 4202560 520 0 0 0 340 8 0 0 20 0 22 0 254350888 10060460032 384716 33554432000 1073741824 1073778376 140736280581584 140419059661352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29732] ppid=29724 vsize=9824668 CPUtime=3.64 cores=0,2,4,6
/proc/29726/task/29732/stat : 29732 (java) S 29724 29726 26250 0 -1 4202560 775 0 0 0 355 9 0 0 20 0 22 0 254350888 10060460032 384716 33554432000 1073741824 1073778376 140736280581584 140419058608552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29733] ppid=29724 vsize=9824668 CPUtime=3.63 cores=0,2,4,6
/proc/29726/task/29733/stat : 29733 (java) S 29724 29726 26250 0 -1 4202560 662 0 0 0 355 8 0 0 20 0 22 0 254350888 10060460032 384716 33554432000 1073741824 1073778376 140736280581584 140418939349800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29726/tid=29734] ppid=29724 vsize=9824668 CPUtime=3.59 cores=0,2,4,6
/proc/29726/task/29734/stat : 29734 (java) S 29724 29726 26250 0 -1 4202560 670 0 0 0 351 8 0 0 20 0 22 0 254350888 10060460032 384716 33554432000 1073741824 1073778376 140736280581584 140418938297000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29726/tid=29735] ppid=29724 vsize=9824668 CPUtime=3.79 cores=0,2,4,6
/proc/29726/task/29735/stat : 29735 (java) S 29724 29726 26250 0 -1 4202560 745 0 0 0 370 9 0 0 20 0 22 0 254350888 10060460032 384716 33554432000 1073741824 1073778376 140736280581584 140418937244712 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29736] ppid=29724 vsize=9824668 CPUtime=3.37 cores=0,2,4,6
/proc/29726/task/29736/stat : 29736 (java) S 29724 29726 26250 0 -1 4202560 1067 0 0 0 330 7 0 0 20 0 22 0 254350888 10060460032 384716 33554432000 1073741824 1073778376 140736280581584 140418936191912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29737] ppid=29724 vsize=9824668 CPUtime=18.6 cores=0,2,4,6
/proc/29726/task/29737/stat : 29737 (java) S 29724 29726 26250 0 -1 4202560 1311 0 0 0 1834 26 0 0 20 0 22 0 254350890 10060460032 384716 33554432000 1073741824 1073778376 140736280581584 140418923993320 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29738] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29738/stat : 29738 (java) S 29724 29726 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254350890 10060460032 384716 33554432000 1073741824 1073778376 140736280581584 140418318590968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29739] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29739/stat : 29739 (java) S 29724 29726 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254350890 10060460032 384716 33554432000 1073741824 1073778376 140736280581584 140418317538568 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29740] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29740/stat : 29740 (java) S 29724 29726 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254350893 10060460032 384716 33554432000 1073741824 1073778376 140736280581584 140418316487056 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29741] ppid=29724 vsize=9824668 CPUtime=1.09 cores=0,2,4,6
/proc/29726/task/29741/stat : 29741 (java) S 29724 29726 26250 0 -1 4202560 10080 0 0 0 106 3 0 0 20 0 22 0 254350893 10060460032 384716 33554432000 1073741824 1073778376 140736280581584 140418315434680 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29726/tid=29742] ppid=29724 vsize=9824668 CPUtime=1.51 cores=0,2,4,6
/proc/29726/task/29742/stat : 29742 (java) S 29724 29726 26250 0 -1 4202560 8540 0 0 0 148 3 0 0 20 0 22 0 254350893 10060460032 384716 33554432000 1073741824 1073778376 140736280581584 140418314381880 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29743] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29743/stat : 29743 (java) S 29724 29726 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254350893 10060460032 384716 33554432000 1073741824 1073778376 140736280581584 140418313329784 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29726/tid=29744] ppid=29724 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/29726/task/29744/stat : 29744 (java) S 29724 29726 26250 0 -1 4202560 53 0 0 0 17 18 0 0 20 0 22 0 254350893 10060460032 384716 33554432000 1073741824 1073778376 140736280581584 140418312277192 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29745] ppid=29724 vsize=9824668 CPUtime=874.84 cores=0,2,4,6
/proc/29726/task/29745/stat : 29745 (java) R 29724 29726 26250 0 -1 4202560 385 0 0 0 87463 21 0 0 20 0 22 0 254350915 10060460032 384716 33554432000 1073741824 1073778376 140736280581584 140418311220528 140418939912322 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29726/tid=29746] ppid=29724 vsize=9824668 CPUtime=874.86 cores=0,2,4,6
/proc/29726/task/29746/stat : 29746 (java) R 29724 29726 26250 0 -1 4202560 4237 0 0 0 87444 42 0 0 20 0 22 0 254350915 10060460032 384716 33554432000 1073741824 1073778376 140736280581584 140418310166800 140418940084743 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29726/tid=29747] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29747/stat : 29747 (java) S 29724 29726 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254350915 10060460032 384716 33554432000 1073741824 1073778376 140736280581584 140418309117096 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29726/tid=29748] ppid=29724 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29726/task/29748/stat : 29748 (java) S 29724 29726 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254350915 10060460032 384716 33554432000 1073741824 1073778376 140736280581584 140418308064296 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 902.063
CPU time (s): 1800.94
CPU user time (s): 1798.98
CPU system time (s): 1.9617
CPU usage (%): 199.647
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.9617
maximum resident set size= 1539012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33849
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35066
involuntary context switches= 57682
runsolver used 4.37134 second user time and 7.48586 second system time
The end