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-3689848-1337885544/watcher-3689848-1337885544 -o /tmp/evaluation-result-3689848-1337885544/solver-3689848-1337885544 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689848-1337885544.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.82 3.91 3.90 4/197 28914
/proc/meminfo: memFree=26646232/32873844 swapFree=7616/7616
[pid=28914] ppid=28912 vsize=9160 CPUtime=0 cores=1,3,5,7
/proc/28914/stat : 28914 (java) R 28912 28914 23801 0 -1 4202496 168 0 0 0 0 0 0 0 20 0 1 0 254680096 9379840 105 33554432000 1073741824 1073778376 140734876395312 140734876392440 214369002016 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28914/statm: 2290 122 94 9 0 38 0
[startup+0.0836699 s]
/proc/loadavg: 3.82 3.91 3.90 4/197 28914
/proc/meminfo: memFree=26646232/32873844 swapFree=7616/7616
[pid=28914] ppid=28912 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/28914/stat : 28914 (java) S 28912 28914 23801 0 -1 4202496 3277 0 1 0 4 1 0 0 20 0 18 0 254680096 9787813888 4486 33554432000 1073741824 1073778376 140733727835280 140733727826416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28914/statm: 2389603 4487 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412
[startup+0.100333 s]
/proc/loadavg: 3.82 3.91 3.90 4/197 28914
/proc/meminfo: memFree=26646232/32873844 swapFree=7616/7616
[pid=28914] ppid=28912 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/28914/stat : 28914 (java) S 28912 28914 23801 0 -1 4202496 4041 0 1 0 7 1 0 0 20 0 18 0 254680096 9787813888 5229 33554432000 1073741824 1073778376 140733727835280 140733727826416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28914/statm: 2389603 5229 2036 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.300217 s]
/proc/loadavg: 3.82 3.91 3.90 4/197 28914
/proc/meminfo: memFree=26646232/32873844 swapFree=7616/7616
[pid=28914] ppid=28912 vsize=9558412 CPUtime=0.48 cores=1,3,5,7
/proc/28914/stat : 28914 (java) S 28912 28914 23801 0 -1 4202496 5974 0 1 0 45 3 0 0 20 0 18 0 254680096 9787813888 16231 33554432000 1073741824 1073778376 140733727835280 140733727826416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28914/statm: 2389603 16231 2214 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412
[startup+0.700283 s]
/proc/loadavg: 3.82 3.91 3.90 4/197 28914
/proc/meminfo: memFree=26646232/32873844 swapFree=7616/7616
[pid=28914] ppid=28912 vsize=9558412 CPUtime=1.53 cores=1,3,5,7
/proc/28914/stat : 28914 (java) S 28912 28914 23801 0 -1 4202496 14282 0 1 0 143 10 0 0 20 0 18 0 254680096 9787813888 52038 33554432000 1073741824 1073778376 140733727835280 140733727826416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28914/statm: 2389603 52038 2246 9 0 2380296 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 9558412
[startup+1.50072 s]
/proc/loadavg: 3.82 3.91 3.90 4/215 28932
/proc/meminfo: memFree=26410388/32873844 swapFree=7616/7616
[pid=28914] ppid=28912 vsize=9558412 CPUtime=2.81 cores=1,3,5,7
/proc/28914/stat : 28914 (java) S 28912 28914 23801 0 -1 4202496 15797 0 1 0 251 30 0 0 20 0 18 0 254680096 9787813888 157688 33554432000 1073741824 1073778376 140733727835280 140733727826416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28914/statm: 2389603 157688 2248 9 0 2380296 0
[pid=28914/tid=28916] ppid=28912 vsize=9558412 CPUtime=1.25 cores=1,3,5,7
/proc/28914/task/28916/stat : 28916 (java) R 28912 28914 23801 0 -1 4202560 2851 0 1 0 114 11 0 0 20 0 18 0 254680097 9787813888 157688 33554432000 1073741824 1073778376 140733727835280 140508332863472 140508340636769 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28917] ppid=28912 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/28914/task/28917/stat : 28917 (java) S 28912 28914 23801 0 -1 4202560 148 0 0 0 7 3 0 0 20 0 18 0 254680098 9787813888 157688 33554432000 1073741824 1073778376 140733727835280 140508321934120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28918] ppid=28912 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/28914/task/28918/stat : 28918 (java) S 28912 28914 23801 0 -1 4202560 102 0 0 0 6 2 0 0 20 0 18 0 254680098 9787813888 157688 33554432000 1073741824 1073778376 140733727835280 140508320881320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28919] ppid=28912 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/28914/task/28919/stat : 28919 (java) S 28912 28914 23801 0 -1 4202560 206 0 0 0 8 2 0 0 20 0 18 0 254680098 9787813888 157688 33554432000 1073741824 1073778376 140733727835280 140508319829032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28914/tid=28920] ppid=28912 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/28914/task/28920/stat : 28920 (java) S 28912 28914 23801 0 -1 4202560 224 0 0 0 8 2 0 0 20 0 18 0 254680098 9787813888 157688 33554432000 1073741824 1073778376 140733727835280 140508318776232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28921] ppid=28912 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/28914/task/28921/stat : 28921 (java) S 28912 28914 23801 0 -1 4202560 36 0 0 0 7 3 0 0 20 0 18 0 254680098 9787813888 157688 33554432000 1073741824 1073778376 140733727835280 140508317722920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28922] ppid=28912 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/28914/task/28922/stat : 28922 (java) S 28912 28914 23801 0 -1 4202560 46 0 0 0 6 3 0 0 20 0 18 0 254680098 9787813888 157688 33554432000 1073741824 1073778376 140733727835280 140508316670120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28923] ppid=28912 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/28914/task/28923/stat : 28923 (java) S 28912 28914 23801 0 -1 4202560 80 0 0 0 4 2 0 0 20 0 18 0 254680098 9787813888 157688 33554432000 1073741824 1073778376 140733727835280 140508315617832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28914/tid=28924] ppid=28912 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/28914/task/28924/stat : 28924 (java) S 28912 28914 23801 0 -1 4202560 23 0 0 0 4 2 0 0 20 0 18 0 254680098 9787813888 157688 33554432000 1073741824 1073778376 140733727835280 140508314565032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28925] ppid=28912 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28925/stat : 28925 (java) S 28912 28914 23801 0 -1 4202560 464 0 0 0 0 0 0 0 20 0 18 0 254680099 9787813888 157688 33554432000 1073741824 1073778376 140733727835280 140508157094632 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28926] ppid=28912 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28926/stat : 28926 (java) S 28912 28914 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254680100 9787813888 157688 33554432000 1073741824 1073778376 140733727835280 140508156040696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28927] ppid=28912 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28927/stat : 28927 (java) S 28912 28914 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254680100 9787813888 157688 33554432000 1073741824 1073778376 140733727835280 140508154988296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28928] ppid=28912 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28928/stat : 28928 (java) S 28912 28914 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254680103 9787813888 157688 33554432000 1073741824 1073778376 140733727835280 140508153936784 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28929] ppid=28912 vsize=9558412 CPUtime=0.37 cores=1,3,5,7
/proc/28914/task/28929/stat : 28929 (java) S 28912 28914 23801 0 -1 4202560 4912 0 0 0 36 1 0 0 20 0 18 0 254680103 9787813888 157688 33554432000 1073741824 1073778376 140733727835280 140508152883384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28930] ppid=28912 vsize=9558412 CPUtime=0.36 cores=1,3,5,7
/proc/28914/task/28930/stat : 28930 (java) S 28912 28914 23801 0 -1 4202560 5531 0 0 0 36 0 0 0 20 0 18 0 254680103 9787813888 157688 33554432000 1073741824 1073778376 140733727835280 140508151830584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28931] ppid=28912 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28931/stat : 28931 (java) S 28912 28914 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254680103 9787813888 157688 33554432000 1073741824 1073778376 140733727835280 140508150778488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28932] ppid=28912 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28932/stat : 28932 (java) S 28912 28914 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254680103 9787813888 157688 33554432000 1073741824 1073778376 140733727835280 140508149725896 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 9558412
[startup+3.10068 s]
/proc/loadavg: 3.82 3.91 3.90 11/215 28932
/proc/meminfo: memFree=25948788/32873844 swapFree=7616/7616
[pid=28914] ppid=28912 vsize=9558412 CPUtime=4.74 cores=1,3,5,7
/proc/28914/stat : 28914 (java) S 28912 28914 23801 0 -1 4202496 16573 0 1 0 434 40 0 0 20 0 18 0 254680096 9787813888 174730 33554432000 1073741824 1073778376 140733727835280 140733727826416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28914/statm: 2389603 174730 2248 9 0 2380296 0
[pid=28914/tid=28916] ppid=28912 vsize=9558412 CPUtime=2.72 cores=1,3,5,7
/proc/28914/task/28916/stat : 28916 (java) R 28912 28914 23801 0 -1 4202560 2852 0 1 0 260 12 0 0 20 0 18 0 254680097 9787813888 174730 33554432000 1073741824 1073778376 140733727835280 140508332863360 140508194554708 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28917] ppid=28912 vsize=9558412 CPUtime=0.13 cores=1,3,5,7
/proc/28914/task/28917/stat : 28917 (java) S 28912 28914 23801 0 -1 4202560 311 0 0 0 10 3 0 0 20 0 18 0 254680098 9787813888 174730 33554432000 1073741824 1073778376 140733727835280 140508321934120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28918] ppid=28912 vsize=9558412 CPUtime=0.14 cores=1,3,5,7
/proc/28914/task/28918/stat : 28918 (java) S 28912 28914 23801 0 -1 4202560 220 0 0 0 10 4 0 0 20 0 18 0 254680098 9787813888 174730 33554432000 1073741824 1073778376 140733727835280 140508320881320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28919] ppid=28912 vsize=9558412 CPUtime=0.16 cores=1,3,5,7
/proc/28914/task/28919/stat : 28919 (java) S 28912 28914 23801 0 -1 4202560 238 0 0 0 12 4 0 0 20 0 18 0 254680098 9787813888 174730 33554432000 1073741824 1073778376 140733727835280 140508319829032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28914/tid=28920] ppid=28912 vsize=9558412 CPUtime=0.16 cores=1,3,5,7
/proc/28914/task/28920/stat : 28920 (java) S 28912 28914 23801 0 -1 4202560 404 0 0 0 12 4 0 0 20 0 18 0 254680098 9787813888 174730 33554432000 1073741824 1073778376 140733727835280 140508318776232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28921] ppid=28912 vsize=9558412 CPUtime=0.15 cores=1,3,5,7
/proc/28914/task/28921/stat : 28921 (java) S 28912 28914 23801 0 -1 4202560 52 0 0 0 11 4 0 0 20 0 18 0 254680098 9787813888 174730 33554432000 1073741824 1073778376 140733727835280 140508317722920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28914/tid=28922] ppid=28912 vsize=9558412 CPUtime=0.17 cores=1,3,5,7
/proc/28914/task/28922/stat : 28922 (java) S 28912 28914 23801 0 -1 4202560 225 0 0 0 12 5 0 0 20 0 18 0 254680098 9787813888 174730 33554432000 1073741824 1073778376 140733727835280 140508316670120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28923] ppid=28912 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/28914/task/28923/stat : 28923 (java) S 28912 28914 23801 0 -1 4202560 129 0 0 0 8 3 0 0 20 0 18 0 254680098 9787813888 174730 33554432000 1073741824 1073778376 140733727835280 140508315617832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28914/tid=28924] ppid=28912 vsize=9558412 CPUtime=0.12 cores=1,3,5,7
/proc/28914/task/28924/stat : 28924 (java) S 28912 28914 23801 0 -1 4202560 41 0 0 0 9 3 0 0 20 0 18 0 254680098 9787813888 174730 33554432000 1073741824 1073778376 140733727835280 140508314565032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28925] ppid=28912 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28925/stat : 28925 (java) S 28912 28914 23801 0 -1 4202560 484 0 0 0 0 0 0 0 20 0 18 0 254680099 9787813888 174730 33554432000 1073741824 1073778376 140733727835280 140508157094632 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28926] ppid=28912 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28926/stat : 28926 (java) S 28912 28914 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254680100 9787813888 174730 33554432000 1073741824 1073778376 140733727835280 140508156040696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28927] ppid=28912 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28927/stat : 28927 (java) S 28912 28914 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254680100 9787813888 174730 33554432000 1073741824 1073778376 140733727835280 140508154988296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28928] ppid=28912 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28928/stat : 28928 (java) S 28912 28914 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254680103 9787813888 174730 33554432000 1073741824 1073778376 140733727835280 140508153936784 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28929] ppid=28912 vsize=9558412 CPUtime=0.37 cores=1,3,5,7
/proc/28914/task/28929/stat : 28929 (java) S 28912 28914 23801 0 -1 4202560 4912 0 0 0 36 1 0 0 20 0 18 0 254680103 9787813888 174730 33554432000 1073741824 1073778376 140733727835280 140508152883384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28930] ppid=28912 vsize=9558412 CPUtime=0.36 cores=1,3,5,7
/proc/28914/task/28930/stat : 28930 (java) S 28912 28914 23801 0 -1 4202560 5531 0 0 0 36 0 0 0 20 0 18 0 254680103 9787813888 174730 33554432000 1073741824 1073778376 140733727835280 140508151830584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28931] ppid=28912 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28931/stat : 28931 (java) S 28912 28914 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254680103 9787813888 174730 33554432000 1073741824 1073778376 140733727835280 140508150778488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28932] ppid=28912 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28932/stat : 28932 (java) S 28912 28914 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254680103 9787813888 174730 33554432000 1073741824 1073778376 140733727835280 140508149725896 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.74
Current children cumulated vsize (KiB) 9558412
[startup+6.3009 s]
/proc/loadavg: 3.75 3.90 3.89 4/215 28932
/proc/meminfo: memFree=24288304/32873844 swapFree=7616/7616
[pid=28914] ppid=28912 vsize=9558412 CPUtime=9.84 cores=1,3,5,7
/proc/28914/stat : 28914 (java) S 28912 28914 23801 0 -1 4202496 20647 0 1 0 876 108 0 0 20 0 18 0 254680096 9787813888 603349 33554432000 1073741824 1073778376 140733727835280 140733727826416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28914/statm: 2389603 603349 2248 9 0 2380296 0
[pid=28914/tid=28916] ppid=28912 vsize=9558412 CPUtime=5.24 cores=1,3,5,7
/proc/28914/task/28916/stat : 28916 (java) R 28912 28914 23801 0 -1 4202560 4043 0 1 0 487 37 0 0 20 0 18 0 254680097 9787813888 603349 33554432000 1073741824 1073778376 140733727835280 140508332863360 140508340636769 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28917] ppid=28912 vsize=9558412 CPUtime=0.49 cores=1,3,5,7
/proc/28914/task/28917/stat : 28917 (java) S 28912 28914 23801 0 -1 4202560 595 0 0 0 40 9 0 0 20 0 18 0 254680098 9787813888 603349 33554432000 1073741824 1073778376 140733727835280 140508321934120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28918] ppid=28912 vsize=9558412 CPUtime=0.36 cores=1,3,5,7
/proc/28914/task/28918/stat : 28918 (java) S 28912 28914 23801 0 -1 4202560 585 0 0 0 30 6 0 0 20 0 18 0 254680098 9787813888 603349 33554432000 1073741824 1073778376 140733727835280 140508320881320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28919] ppid=28912 vsize=9558412 CPUtime=0.5 cores=1,3,5,7
/proc/28914/task/28919/stat : 28919 (java) S 28912 28914 23801 0 -1 4202560 509 0 0 0 40 10 0 0 20 0 18 0 254680098 9787813888 603349 33554432000 1073741824 1073778376 140733727835280 140508319829032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28920] ppid=28912 vsize=9558412 CPUtime=0.46 cores=1,3,5,7
/proc/28914/task/28920/stat : 28920 (java) S 28912 28914 23801 0 -1 4202560 495 0 0 0 38 8 0 0 20 0 18 0 254680098 9787813888 603349 33554432000 1073741824 1073778376 140733727835280 140508318776232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28921] ppid=28912 vsize=9558412 CPUtime=0.48 cores=1,3,5,7
/proc/28914/task/28921/stat : 28921 (java) S 28912 28914 23801 0 -1 4202560 253 0 0 0 39 9 0 0 20 0 18 0 254680098 9787813888 603349 33554432000 1073741824 1073778376 140733727835280 140508317722920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28914/tid=28922] ppid=28912 vsize=9558412 CPUtime=0.48 cores=1,3,5,7
/proc/28914/task/28922/stat : 28922 (java) S 28912 28914 23801 0 -1 4202560 564 0 0 0 38 10 0 0 20 0 18 0 254680098 9787813888 603349 33554432000 1073741824 1073778376 140733727835280 140508316670120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28923] ppid=28912 vsize=9558412 CPUtime=0.47 cores=1,3,5,7
/proc/28914/task/28923/stat : 28923 (java) S 28912 28914 23801 0 -1 4202560 406 0 0 0 38 9 0 0 20 0 18 0 254680098 9787813888 603349 33554432000 1073741824 1073778376 140733727835280 140508315617832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28924] ppid=28912 vsize=9558412 CPUtime=0.44 cores=1,3,5,7
/proc/28914/task/28924/stat : 28924 (java) S 28912 28914 23801 0 -1 4202560 313 0 0 0 36 8 0 0 20 0 18 0 254680098 9787813888 603349 33554432000 1073741824 1073778376 140733727835280 140508314565032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28925] ppid=28912 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28925/stat : 28925 (java) S 28912 28914 23801 0 -1 4202560 1267 0 0 0 0 0 0 0 20 0 18 0 254680099 9787813888 603349 33554432000 1073741824 1073778376 140733727835280 140508157094632 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28926] ppid=28912 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28926/stat : 28926 (java) S 28912 28914 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254680100 9787813888 603349 33554432000 1073741824 1073778376 140733727835280 140508156040696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28927] ppid=28912 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28927/stat : 28927 (java) S 28912 28914 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254680100 9787813888 603349 33554432000 1073741824 1073778376 140733727835280 140508154988296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28928] ppid=28912 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28928/stat : 28928 (java) S 28912 28914 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254680103 9787813888 603349 33554432000 1073741824 1073778376 140733727835280 140508153936784 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28929] ppid=28912 vsize=9558412 CPUtime=0.37 cores=1,3,5,7
/proc/28914/task/28929/stat : 28929 (java) S 28912 28914 23801 0 -1 4202560 4912 0 0 0 36 1 0 0 20 0 18 0 254680103 9787813888 603349 33554432000 1073741824 1073778376 140733727835280 140508152883384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28930] ppid=28912 vsize=9558412 CPUtime=0.36 cores=1,3,5,7
/proc/28914/task/28930/stat : 28930 (java) S 28912 28914 23801 0 -1 4202560 5531 0 0 0 36 0 0 0 20 0 18 0 254680103 9787813888 603349 33554432000 1073741824 1073778376 140733727835280 140508151830584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28931] ppid=28912 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28931/stat : 28931 (java) S 28912 28914 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254680103 9787813888 603349 33554432000 1073741824 1073778376 140733727835280 140508150778488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28932] ppid=28912 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28932/stat : 28932 (java) S 28912 28914 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254680103 9787813888 603349 33554432000 1073741824 1073778376 140733727835280 140508149725896 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 9.84
Current children cumulated vsize (KiB) 9558412
[startup+12.701 s]
/proc/loadavg: 3.69 3.88 3.89 5/219 28936
/proc/meminfo: memFree=23848964/32873844 swapFree=7616/7616
[pid=28914] ppid=28912 vsize=9824668 CPUtime=21.47 cores=1,3,5,7
/proc/28914/stat : 28914 (java) S 28912 28914 23801 0 -1 4202496 21024 0 1 0 2030 117 0 0 20 0 22 0 254680096 10060460032 700268 33554432000 1073741824 1073778376 140733727835280 140733727826416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28914/statm: 2456167 700268 2269 9 0 2446860 0
[pid=28914/tid=28916] ppid=28912 vsize=9824668 CPUtime=7.32 cores=1,3,5,7
################
# More data... #
################
/proc/28914/statm: 2456167 767548 2282 9 0 2446860 0
[pid=28914/tid=28916] ppid=28912 vsize=9824668 CPUtime=7.38 cores=1,3,5,7
/proc/28914/task/28916/stat : 28916 (java) S 28912 28914 23801 0 -1 4202560 4252 0 1 0 691 47 0 0 20 0 22 0 254680097 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508332872696 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28917] ppid=28912 vsize=9824668 CPUtime=0.58 cores=1,3,5,7
/proc/28914/task/28917/stat : 28917 (java) S 28912 28914 23801 0 -1 4202560 619 0 0 0 47 11 0 0 20 0 22 0 254680098 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508321934120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28918] ppid=28912 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/28914/task/28918/stat : 28918 (java) S 28912 28914 23801 0 -1 4202560 615 0 0 0 36 9 0 0 20 0 22 0 254680098 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508320881320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28919] ppid=28912 vsize=9824668 CPUtime=0.61 cores=1,3,5,7
/proc/28914/task/28919/stat : 28919 (java) S 28912 28914 23801 0 -1 4202560 544 0 0 0 48 13 0 0 20 0 22 0 254680098 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508319829032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28920] ppid=28912 vsize=9824668 CPUtime=0.59 cores=1,3,5,7
/proc/28914/task/28920/stat : 28920 (java) S 28912 28914 23801 0 -1 4202560 535 0 0 0 48 11 0 0 20 0 22 0 254680098 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508318776232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28914/tid=28921] ppid=28912 vsize=9824668 CPUtime=0.6 cores=1,3,5,7
/proc/28914/task/28921/stat : 28921 (java) S 28912 28914 23801 0 -1 4202560 291 0 0 0 49 11 0 0 20 0 22 0 254680098 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508317722920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28914/tid=28922] ppid=28912 vsize=9824668 CPUtime=0.57 cores=1,3,5,7
/proc/28914/task/28922/stat : 28922 (java) S 28912 28914 23801 0 -1 4202560 588 0 0 0 45 12 0 0 20 0 22 0 254680098 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508316670120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28923] ppid=28912 vsize=9824668 CPUtime=0.59 cores=1,3,5,7
/proc/28914/task/28923/stat : 28923 (java) S 28912 28914 23801 0 -1 4202560 475 0 0 0 48 11 0 0 20 0 22 0 254680098 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508315617832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28924] ppid=28912 vsize=9824668 CPUtime=0.69 cores=1,3,5,7
/proc/28914/task/28924/stat : 28924 (java) S 28912 28914 23801 0 -1 4202560 388 0 0 0 56 13 0 0 20 0 22 0 254680098 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508314565032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28925] ppid=28912 vsize=9824668 CPUtime=13.22 cores=1,3,5,7
/proc/28914/task/28925/stat : 28925 (java) S 28912 28914 23801 0 -1 4202560 1487 0 0 0 1318 4 0 0 20 0 22 0 254680099 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508157094632 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28926] ppid=28912 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28926/stat : 28926 (java) S 28912 28914 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254680100 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508156040696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28927] ppid=28912 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28927/stat : 28927 (java) S 28912 28914 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254680100 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508154988296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28928] ppid=28912 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28928/stat : 28928 (java) S 28912 28914 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254680103 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508153936784 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28929] ppid=28912 vsize=9824668 CPUtime=1.32 cores=1,3,5,7
/proc/28914/task/28929/stat : 28929 (java) S 28912 28914 23801 0 -1 4202560 4942 0 0 0 131 1 0 0 20 0 22 0 254680103 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508152883384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28930] ppid=28912 vsize=9824668 CPUtime=1.25 cores=1,3,5,7
/proc/28914/task/28930/stat : 28930 (java) S 28912 28914 23801 0 -1 4202560 5601 0 0 0 125 0 0 0 20 0 22 0 254680103 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508151830584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28931] ppid=28912 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28931/stat : 28931 (java) S 28912 28914 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254680103 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508150778488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28932] ppid=28912 vsize=9824668 CPUtime=0.46 cores=1,3,5,7
/proc/28914/task/28932/stat : 28932 (java) S 28912 28914 23801 0 -1 4202560 47 0 0 0 26 20 0 0 20 0 22 0 254680103 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508149725896 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28933] ppid=28912 vsize=9824668 CPUtime=798.32 cores=1,3,5,7
/proc/28914/task/28933/stat : 28933 (java) R 28912 28914 23801 0 -1 4202560 39 0 0 0 79820 12 0 0 20 0 22 0 254680942 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508148671184 140508195191007 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28914/tid=28934] ppid=28912 vsize=9824668 CPUtime=798.08 cores=1,3,5,7
/proc/28914/task/28934/stat : 28934 (java) R 28912 28914 23801 0 -1 4202560 71 0 0 0 79795 13 0 0 20 0 22 0 254680942 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508147616224 140508195428428 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28935] ppid=28912 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28935/stat : 28935 (java) S 28912 28914 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254680950 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508146566824 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28914/tid=28936] ppid=28912 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28936/stat : 28936 (java) S 28912 28914 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254680950 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508145514024 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1628.64
Current children cumulated vsize (KiB) 9824668
[startup+882.307 s]
/proc/loadavg: 3.93 3.91 3.90 5/219 29033
/proc/meminfo: memFree=24402756/32873844 swapFree=7616/7616
[pid=28914] ppid=28912 vsize=9824668 CPUtime=1747.21 cores=1,3,5,7
/proc/28914/stat : 28914 (java) S 28912 28914 23801 0 -1 4202496 21688 0 1 0 174562 159 0 0 20 0 22 0 254680096 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140733727826416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28914/statm: 2456167 767548 2282 9 0 2446860 0
[pid=28914/tid=28916] ppid=28912 vsize=9824668 CPUtime=7.38 cores=1,3,5,7
/proc/28914/task/28916/stat : 28916 (java) S 28912 28914 23801 0 -1 4202560 4253 0 1 0 691 47 0 0 20 0 22 0 254680097 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508332872696 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28917] ppid=28912 vsize=9824668 CPUtime=0.58 cores=1,3,5,7
/proc/28914/task/28917/stat : 28917 (java) S 28912 28914 23801 0 -1 4202560 619 0 0 0 47 11 0 0 20 0 22 0 254680098 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508321934120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28918] ppid=28912 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/28914/task/28918/stat : 28918 (java) S 28912 28914 23801 0 -1 4202560 615 0 0 0 36 9 0 0 20 0 22 0 254680098 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508320881320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28919] ppid=28912 vsize=9824668 CPUtime=0.61 cores=1,3,5,7
/proc/28914/task/28919/stat : 28919 (java) S 28912 28914 23801 0 -1 4202560 544 0 0 0 48 13 0 0 20 0 22 0 254680098 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508319829032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28920] ppid=28912 vsize=9824668 CPUtime=0.59 cores=1,3,5,7
/proc/28914/task/28920/stat : 28920 (java) S 28912 28914 23801 0 -1 4202560 535 0 0 0 48 11 0 0 20 0 22 0 254680098 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508318776232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28914/tid=28921] ppid=28912 vsize=9824668 CPUtime=0.6 cores=1,3,5,7
/proc/28914/task/28921/stat : 28921 (java) S 28912 28914 23801 0 -1 4202560 291 0 0 0 49 11 0 0 20 0 22 0 254680098 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508317722920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28914/tid=28922] ppid=28912 vsize=9824668 CPUtime=0.57 cores=1,3,5,7
/proc/28914/task/28922/stat : 28922 (java) S 28912 28914 23801 0 -1 4202560 588 0 0 0 45 12 0 0 20 0 22 0 254680098 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508316670120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28923] ppid=28912 vsize=9824668 CPUtime=0.59 cores=1,3,5,7
/proc/28914/task/28923/stat : 28923 (java) S 28912 28914 23801 0 -1 4202560 475 0 0 0 48 11 0 0 20 0 22 0 254680098 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508315617832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28924] ppid=28912 vsize=9824668 CPUtime=0.69 cores=1,3,5,7
/proc/28914/task/28924/stat : 28924 (java) S 28912 28914 23801 0 -1 4202560 388 0 0 0 56 13 0 0 20 0 22 0 254680098 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508314565032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28925] ppid=28912 vsize=9824668 CPUtime=14.65 cores=1,3,5,7
/proc/28914/task/28925/stat : 28925 (java) S 28912 28914 23801 0 -1 4202560 1489 0 0 0 1461 4 0 0 20 0 22 0 254680099 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508157094632 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28926] ppid=28912 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28926/stat : 28926 (java) S 28912 28914 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254680100 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508156040696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28927] ppid=28912 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28927/stat : 28927 (java) S 28912 28914 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254680100 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508154988296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28928] ppid=28912 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28928/stat : 28928 (java) S 28912 28914 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254680103 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508153936784 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28929] ppid=28912 vsize=9824668 CPUtime=1.32 cores=1,3,5,7
/proc/28914/task/28929/stat : 28929 (java) S 28912 28914 23801 0 -1 4202560 4942 0 0 0 131 1 0 0 20 0 22 0 254680103 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508152883384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28930] ppid=28912 vsize=9824668 CPUtime=1.25 cores=1,3,5,7
/proc/28914/task/28930/stat : 28930 (java) S 28912 28914 23801 0 -1 4202560 5601 0 0 0 125 0 0 0 20 0 22 0 254680103 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508151830584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28931] ppid=28912 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28931/stat : 28931 (java) S 28912 28914 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254680103 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508150778488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28932] ppid=28912 vsize=9824668 CPUtime=0.5 cores=1,3,5,7
/proc/28914/task/28932/stat : 28932 (java) S 28912 28914 23801 0 -1 4202560 51 0 0 0 27 23 0 0 20 0 22 0 254680103 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508149725896 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28933] ppid=28912 vsize=9824668 CPUtime=856.74 cores=1,3,5,7
/proc/28914/task/28933/stat : 28933 (java) R 28912 28914 23801 0 -1 4202560 39 0 0 0 85661 13 0 0 20 0 22 0 254680942 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508148671184 140508195240087 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28914/tid=28934] ppid=28912 vsize=9824668 CPUtime=856.49 cores=1,3,5,7
/proc/28914/task/28934/stat : 28934 (java) R 28912 28914 23801 0 -1 4202560 71 0 0 0 85635 14 0 0 20 0 22 0 254680942 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508147616224 140508195436898 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28935] ppid=28912 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28935/stat : 28935 (java) S 28912 28914 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254680950 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508146566824 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28914/tid=28936] ppid=28912 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28936/stat : 28936 (java) S 28912 28914 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254680950 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508145514024 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1747.21
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+908.708 s]
/proc/loadavg: 3.96 3.92 3.91 5/219 29033
/proc/meminfo: memFree=24402632/32873844 swapFree=7616/7616
[pid=28914] ppid=28912 vsize=9824668 CPUtime=1800.02 cores=1,3,5,7
/proc/28914/stat : 28914 (java) S 28912 28914 23801 0 -1 4202496 21690 0 1 0 179841 161 0 0 20 0 22 0 254680096 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140733727826416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28914/statm: 2456167 767548 2282 9 0 2446860 0
[pid=28914/tid=28916] ppid=28912 vsize=9824668 CPUtime=7.38 cores=1,3,5,7
/proc/28914/task/28916/stat : 28916 (java) S 28912 28914 23801 0 -1 4202560 4253 0 1 0 691 47 0 0 20 0 22 0 254680097 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508332872696 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28917] ppid=28912 vsize=9824668 CPUtime=0.58 cores=1,3,5,7
/proc/28914/task/28917/stat : 28917 (java) S 28912 28914 23801 0 -1 4202560 619 0 0 0 47 11 0 0 20 0 22 0 254680098 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508321934120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28918] ppid=28912 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/28914/task/28918/stat : 28918 (java) S 28912 28914 23801 0 -1 4202560 615 0 0 0 36 9 0 0 20 0 22 0 254680098 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508320881320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28919] ppid=28912 vsize=9824668 CPUtime=0.61 cores=1,3,5,7
/proc/28914/task/28919/stat : 28919 (java) S 28912 28914 23801 0 -1 4202560 544 0 0 0 48 13 0 0 20 0 22 0 254680098 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508319829032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28920] ppid=28912 vsize=9824668 CPUtime=0.59 cores=1,3,5,7
/proc/28914/task/28920/stat : 28920 (java) S 28912 28914 23801 0 -1 4202560 535 0 0 0 48 11 0 0 20 0 22 0 254680098 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508318776232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28914/tid=28921] ppid=28912 vsize=9824668 CPUtime=0.6 cores=1,3,5,7
/proc/28914/task/28921/stat : 28921 (java) S 28912 28914 23801 0 -1 4202560 291 0 0 0 49 11 0 0 20 0 22 0 254680098 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508317722920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28914/tid=28922] ppid=28912 vsize=9824668 CPUtime=0.57 cores=1,3,5,7
/proc/28914/task/28922/stat : 28922 (java) S 28912 28914 23801 0 -1 4202560 588 0 0 0 45 12 0 0 20 0 22 0 254680098 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508316670120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28923] ppid=28912 vsize=9824668 CPUtime=0.59 cores=1,3,5,7
/proc/28914/task/28923/stat : 28923 (java) S 28912 28914 23801 0 -1 4202560 475 0 0 0 48 11 0 0 20 0 22 0 254680098 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508315617832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28924] ppid=28912 vsize=9824668 CPUtime=0.69 cores=1,3,5,7
/proc/28914/task/28924/stat : 28924 (java) S 28912 28914 23801 0 -1 4202560 388 0 0 0 56 13 0 0 20 0 22 0 254680098 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508314565032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28925] ppid=28912 vsize=9824668 CPUtime=14.65 cores=1,3,5,7
/proc/28914/task/28925/stat : 28925 (java) S 28912 28914 23801 0 -1 4202560 1489 0 0 0 1461 4 0 0 20 0 22 0 254680099 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508157094632 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28926] ppid=28912 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28926/stat : 28926 (java) S 28912 28914 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254680100 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508156040696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28927] ppid=28912 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28927/stat : 28927 (java) S 28912 28914 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254680100 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508154988296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28928] ppid=28912 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28928/stat : 28928 (java) S 28912 28914 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254680103 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508153936784 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28914/tid=28929] ppid=28912 vsize=9824668 CPUtime=1.32 cores=1,3,5,7
/proc/28914/task/28929/stat : 28929 (java) S 28912 28914 23801 0 -1 4202560 4942 0 0 0 131 1 0 0 20 0 22 0 254680103 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508152883384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28930] ppid=28912 vsize=9824668 CPUtime=1.25 cores=1,3,5,7
/proc/28914/task/28930/stat : 28930 (java) S 28912 28914 23801 0 -1 4202560 5601 0 0 0 125 0 0 0 20 0 22 0 254680103 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508151830584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28931] ppid=28912 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28931/stat : 28931 (java) S 28912 28914 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254680103 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508150778488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28914/tid=28932] ppid=28912 vsize=9824668 CPUtime=0.51 cores=1,3,5,7
/proc/28914/task/28932/stat : 28932 (java) S 28912 28914 23801 0 -1 4202560 53 0 0 0 27 24 0 0 20 0 22 0 254680103 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508149725896 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28933] ppid=28912 vsize=9824668 CPUtime=883.08 cores=1,3,5,7
/proc/28914/task/28933/stat : 28933 (java) R 28912 28914 23801 0 -1 4202560 39 0 0 0 88295 13 0 0 20 0 22 0 254680942 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508148671184 140508195194795 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28914/tid=28934] ppid=28912 vsize=9824668 CPUtime=882.82 cores=1,3,5,7
/proc/28914/task/28934/stat : 28934 (java) R 28912 28914 23801 0 -1 4202560 71 0 0 0 88268 14 0 0 20 0 22 0 254680942 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508147616224 140508195436862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28914/tid=28935] ppid=28912 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28935/stat : 28935 (java) S 28912 28914 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254680950 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508146566824 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28914/tid=28936] ppid=28912 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28914/task/28936/stat : 28936 (java) S 28912 28914 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254680950 10060460032 767548 33554432000 1073741824 1073778376 140733727835280 140508145514024 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28914 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=929281
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=100680
# CPU time returned by wait4() is 1796.03
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 908.746
CPU time (s): 1800.02
CPU user time (s): 1798.41
CPU system time (s): 1.61
CPU usage (%): 198.077
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.93
system time used= 2.10068
maximum resident set size= 3070316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21724
page faults= 1
swaps= 0
block input operations= 0
block output operations= 832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22324
involuntary context switches= 14650
runsolver used 3.9204 second user time and 8.79466 second system time
The end