runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3456927-1307205098/watcher-3456927-1307205098 -o /tmp/evaluation-result-3456927-1307205098/solver-3456927-1307205098 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456927-1307205098.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.12 2.06 2.01 2/461 31720
/proc/meminfo: memFree=26337720/32950928 swapFree=52246700/67111528
[pid=31720] ppid=31718 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/31720/stat : 31720 (java) S 31718 31720 31238 0 -1 4202496 4872 0 1 0 0 0 0 0 25 0 2 0 910740436 10694979584 4573 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/31720/statm: 2611079 4588 917 9 0 2602235 0
[pid=31720/tid=31721] ppid=31718 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31721/stat : 31721 (java) R 31718 31720 31238 0 -1 4202560 3897 0 1 0 0 0 0 0 25 0 2 0 910740437 10694979584 4713 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.113573 s]
/proc/loadavg: 2.12 2.06 2.01 2/461 31720
/proc/meminfo: memFree=26337720/32950928 swapFree=52246700/67111528
[pid=31720] ppid=31718 vsize=10540224 CPUtime=0.12 cores=0,2,4,6
/proc/31720/stat : 31720 (java) S 31718 31720 31238 0 -1 4202496 13319 0 1 0 11 1 0 0 25 0 18 0 910740436 10793189376 12956 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31720/statm: 2635056 12958 2126 9 0 2625790 0
[pid=31720/tid=31721] ppid=31718 vsize=10540224 CPUtime=0.09 cores=0,2,4,6
/proc/31720/task/31721/stat : 31721 (java) R 31718 31720 31238 0 -1 4202560 11307 0 1 0 8 1 0 0 18 0 18 0 910740437 10793189376 12962 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 47544789248851 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540224
[startup+0.200561 s]
/proc/loadavg: 2.12 2.06 2.01 2/461 31720
/proc/meminfo: memFree=26337720/32950928 swapFree=52246700/67111528
[pid=31720] ppid=31718 vsize=10541832 CPUtime=0.25 cores=0,2,4,6
/proc/31720/stat : 31720 (java) S 31718 31720 31238 0 -1 4202496 14035 0 1 0 24 1 0 0 25 0 19 0 910740436 10794835968 13665 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31720/statm: 2635458 13665 2186 9 0 2626192 0
[pid=31720/tid=31721] ppid=31718 vsize=10541832 CPUtime=0.18 cores=0,2,4,6
/proc/31720/task/31721/stat : 31721 (java) R 31718 31720 31238 0 -1 4202560 11816 0 1 0 17 1 0 0 19 0 19 0 910740437 10794835968 13665 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907307462 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10541832
[startup+0.300485 s]
/proc/loadavg: 2.12 2.06 2.01 2/461 31720
/proc/meminfo: memFree=26337720/32950928 swapFree=52246700/67111528
[pid=31720] ppid=31718 vsize=10549840 CPUtime=0.54 cores=0,2,4,6
/proc/31720/stat : 31720 (java) S 31718 31720 31238 0 -1 4202496 20424 0 1 0 52 2 0 0 25 0 19 0 910740436 10803036160 18132 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31720/statm: 2637460 18136 2211 9 0 2628194 0
[pid=31720/tid=31721] ppid=31718 vsize=10549840 CPUtime=0.28 cores=0,2,4,6
/proc/31720/task/31721/stat : 31721 (java) R 31718 31720 31238 0 -1 4202560 13228 0 1 0 27 1 0 0 18 0 19 0 910740437 10803036160 18137 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 46912505606096 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10549840
[startup+0.700473 s]
/proc/loadavg: 2.12 2.06 2.01 2/461 31720
/proc/meminfo: memFree=26337720/32950928 swapFree=52246700/67111528
[pid=31720] ppid=31718 vsize=10559304 CPUtime=1.62 cores=0,2,4,6
/proc/31720/stat : 31720 (java) S 31718 31720 31238 0 -1 4202496 55285 0 1 0 155 7 0 0 25 0 19 0 910740436 10812727296 51959 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31720/statm: 2639826 51962 2219 9 0 2630560 0
[pid=31720/tid=31721] ppid=31718 vsize=10559304 CPUtime=0.68 cores=0,2,4,6
/proc/31720/task/31721/stat : 31721 (java) R 31718 31720 31238 0 -1 4202560 43336 0 1 0 62 6 0 0 18 0 19 0 910740437 10812727296 51962 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 46912505627906 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10559304
[startup+1.50132 s]
/proc/loadavg: 2.12 2.06 2.01 3/480 31739
/proc/meminfo: memFree=25975148/32950928 swapFree=52246700/67111528
[pid=31720] ppid=31718 vsize=10559304 CPUtime=2.63 cores=0,2,4,6
/proc/31720/stat : 31720 (java) S 31718 31720 31238 0 -1 4202496 139575 0 1 0 245 18 0 0 25 0 19 0 910740436 10812727296 136248 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31720/statm: 2639826 136251 2225 9 0 2630560 0
[pid=31720/tid=31721] ppid=31718 vsize=10559304 CPUtime=1.48 cores=0,2,4,6
/proc/31720/task/31721/stat : 31721 (java) R 31718 31720 31238 0 -1 4202560 127601 0 1 0 132 16 0 0 18 0 19 0 910740437 10812727296 136252 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 46912505535146 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31720/tid=31723] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31723/stat : 31723 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740439 10812727296 136254 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31724] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31724/stat : 31724 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740439 10812727296 136256 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31725] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31725/stat : 31725 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740439 10812727296 136258 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31726] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31726/stat : 31726 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740439 10812727296 136259 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31727] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31727/stat : 31727 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740439 10812727296 136261 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31728] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31728/stat : 31728 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740439 10812727296 136262 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31729] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31729/stat : 31729 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740439 10812727296 136262 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31730] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31730/stat : 31730 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740439 10812727296 136265 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31731] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31731/stat : 31731 (java) S 31718 31720 31238 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 910740440 10812727296 136266 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907307008 0 0 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31732] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31732/stat : 31732 (java) S 31718 31720 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910740440 10812727296 136266 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31733] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31733/stat : 31733 (java) S 31718 31720 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910740440 10812727296 136266 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31734] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31734/stat : 31734 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740442 10812727296 136266 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907314097 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31735] ppid=31718 vsize=10559304 CPUtime=0.62 cores=0,2,4,6
/proc/31720/task/31735/stat : 31735 (java) S 31718 31720 31238 0 -1 4202560 6808 0 0 0 62 0 0 0 15 0 19 0 910740442 10812727296 136266 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 4 0 0 0
[pid=31720/tid=31736] ppid=31718 vsize=10559304 CPUtime=0.5 cores=0,2,4,6
/proc/31720/task/31736/stat : 31736 (java) S 31718 31720 31238 0 -1 4202560 4009 0 0 0 50 0 0 0 19 0 19 0 910740442 10812727296 136266 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31737] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31737/stat : 31737 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740442 10812727296 136267 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31738] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31738/stat : 31738 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 910740442 10812727296 136269 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907307008 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31739] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31739/stat : 31739 (java) S 31718 31720 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910740453 10812727296 136271 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907307008 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 10559304
[startup+3.10102 s]
/proc/loadavg: 2.12 2.06 2.01 3/480 31739
/proc/meminfo: memFree=25485224/32950928 swapFree=52246700/67111528
[pid=31720] ppid=31718 vsize=10559304 CPUtime=4.25 cores=0,2,4,6
/proc/31720/stat : 31720 (java) S 31718 31720 31238 0 -1 4202496 302198 0 1 0 391 34 0 0 25 0 19 0 910740436 10812727296 298870 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31720/statm: 2639826 298874 2225 9 0 2630560 0
[pid=31720/tid=31721] ppid=31718 vsize=10559304 CPUtime=3.08 cores=0,2,4,6
/proc/31720/task/31721/stat : 31721 (java) R 31718 31720 31238 0 -1 4202560 290221 0 1 0 275 33 0 0 19 0 19 0 910740437 10812727296 298876 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 46912505535146 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31720/tid=31723] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31723/stat : 31723 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740439 10812727296 298879 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31724] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31724/stat : 31724 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740439 10812727296 298881 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31725] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31725/stat : 31725 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740439 10812727296 298883 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31726] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31726/stat : 31726 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740439 10812727296 298885 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31727] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31727/stat : 31727 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740439 10812727296 298886 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31728] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31728/stat : 31728 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740439 10812727296 298888 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31729] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31729/stat : 31729 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740439 10812727296 298889 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31730] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31730/stat : 31730 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740439 10812727296 298892 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31731] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31731/stat : 31731 (java) S 31718 31720 31238 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 910740440 10812727296 298894 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907307008 0 0 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31732] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31732/stat : 31732 (java) S 31718 31720 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910740440 10812727296 298896 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31733] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31733/stat : 31733 (java) S 31718 31720 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910740440 10812727296 298898 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31734] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31734/stat : 31734 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740442 10812727296 298901 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907314097 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31735] ppid=31718 vsize=10559304 CPUtime=0.62 cores=0,2,4,6
/proc/31720/task/31735/stat : 31735 (java) S 31718 31720 31238 0 -1 4202560 6808 0 0 0 62 0 0 0 15 0 19 0 910740442 10812727296 298903 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 4 0 0 0
[pid=31720/tid=31736] ppid=31718 vsize=10559304 CPUtime=0.53 cores=0,2,4,6
/proc/31720/task/31736/stat : 31736 (java) S 31718 31720 31238 0 -1 4202560 4014 0 0 0 53 0 0 0 15 0 19 0 910740442 10812727296 298905 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31737] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31737/stat : 31737 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740442 10812727296 298907 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31738] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31738/stat : 31738 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 910740442 10812727296 298910 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907307008 0 4 0 16800975 18446604449599223744 0 0 -1 4 0 0 0
[pid=31720/tid=31739] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31739/stat : 31739 (java) S 31718 31720 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910740453 10812727296 298912 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907307008 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 10559304
[startup+6.30141 s]
/proc/loadavg: 2.11 2.06 2.01 3/480 31740
/proc/meminfo: memFree=24210748/32950928 swapFree=52246700/67111528
[pid=31720] ppid=31718 vsize=10559304 CPUtime=7.46 cores=0,2,4,6
/proc/31720/stat : 31720 (java) S 31718 31720 31238 0 -1 4202496 591213 0 1 0 682 64 0 0 25 0 19 0 910740436 10812727296 587604 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31720/statm: 2639826 587606 2226 9 0 2630560 0
[pid=31720/tid=31721] ppid=31718 vsize=10559304 CPUtime=6.28 cores=0,2,4,6
/proc/31720/task/31721/stat : 31721 (java) R 31718 31720 31238 0 -1 4202560 579232 0 1 0 566 62 0 0 21 0 19 0 910740437 10812727296 587607 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 46912505528085 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31720/tid=31723] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31723/stat : 31723 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740439 10812727296 587608 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31724] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31724/stat : 31724 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740439 10812727296 587609 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31725] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31725/stat : 31725 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740439 10812727296 587610 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31726] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31726/stat : 31726 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740439 10812727296 587611 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31727] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31727/stat : 31727 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740439 10812727296 587612 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31728] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31728/stat : 31728 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740439 10812727296 587613 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31729] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31729/stat : 31729 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740439 10812727296 587614 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31730] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31730/stat : 31730 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740439 10812727296 587614 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31731] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31731/stat : 31731 (java) S 31718 31720 31238 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 910740440 10812727296 587618 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907307008 0 0 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31732] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31732/stat : 31732 (java) S 31718 31720 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910740440 10812727296 587625 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31733] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31733/stat : 31733 (java) S 31718 31720 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910740440 10812727296 587632 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31734] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31734/stat : 31734 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740442 10812727296 587638 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907314097 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31735] ppid=31718 vsize=10559304 CPUtime=0.62 cores=0,2,4,6
/proc/31720/task/31735/stat : 31735 (java) S 31718 31720 31238 0 -1 4202560 6808 0 0 0 62 0 0 0 15 0 19 0 910740442 10812727296 587643 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 4 0 0 0
[pid=31720/tid=31736] ppid=31718 vsize=10559304 CPUtime=0.53 cores=0,2,4,6
/proc/31720/task/31736/stat : 31736 (java) S 31718 31720 31238 0 -1 4202560 4014 0 0 0 53 0 0 0 15 0 19 0 910740442 10812727296 587643 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/31720/task/31732/stat : 31732 (java) S 31718 31720 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 910740440 10812727296 940058 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31733] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31733/stat : 31733 (java) S 31718 31720 31238 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 910740440 10812727296 940058 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31734] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31734/stat : 31734 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740442 10812727296 940058 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907314097 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31735] ppid=31718 vsize=10559304 CPUtime=0.62 cores=0,2,4,6
/proc/31720/task/31735/stat : 31735 (java) S 31718 31720 31238 0 -1 4202560 6809 0 0 0 62 0 0 0 15 0 19 0 910740442 10812727296 940058 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 4 0 0 0
[pid=31720/tid=31736] ppid=31718 vsize=10559304 CPUtime=0.53 cores=0,2,4,6
/proc/31720/task/31736/stat : 31736 (java) S 31718 31720 31238 0 -1 4202560 4016 0 0 0 53 0 0 0 15 0 19 0 910740442 10812727296 940058 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31737] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31737/stat : 31737 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740442 10812727296 940058 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31738] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31738/stat : 31738 (java) S 31718 31720 31238 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 910740442 10812727296 940058 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907307008 0 4 0 16800975 18446604449599223744 0 0 -1 0 0 0 0
[pid=31720/tid=31739] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31739/stat : 31739 (java) S 31718 31720 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910740453 10812727296 940058 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907307008 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1664.23
Current children cumulated vsize (KiB) 10559304
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/480 31885
/proc/meminfo: memFree=22451760/32950928 swapFree=52246700/67111528
[pid=31720] ppid=31718 vsize=10559304 CPUtime=1724.27 cores=0,2,4,6
/proc/31720/stat : 31720 (java) S 31718 31720 31238 0 -1 4202496 957413 0 1 0 172309 118 0 0 25 0 19 0 910740436 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31720/statm: 2639826 946699 2239 9 0 2630560 0
[pid=31720/tid=31721] ppid=31718 vsize=10559304 CPUtime=1722 cores=0,2,4,6
/proc/31720/task/31721/stat : 31721 (java) R 31718 31720 31238 0 -1 4202560 765414 0 1 0 172116 84 0 0 25 0 19 0 910740437 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 46912506008882 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31720/tid=31723] ppid=31718 vsize=10559304 CPUtime=0.17 cores=0,2,4,6
/proc/31720/task/31723/stat : 31723 (java) S 31718 31720 31238 0 -1 4202560 39269 0 0 0 11 6 0 0 16 0 19 0 910740439 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31724] ppid=31718 vsize=10559304 CPUtime=0.06 cores=0,2,4,6
/proc/31720/task/31724/stat : 31724 (java) S 31718 31720 31238 0 -1 4202560 10157 0 0 0 4 2 0 0 15 0 19 0 910740439 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 4 0 0 0
[pid=31720/tid=31725] ppid=31718 vsize=10559304 CPUtime=0.14 cores=0,2,4,6
/proc/31720/task/31725/stat : 31725 (java) S 31718 31720 31238 0 -1 4202560 27251 0 0 0 10 4 0 0 15 0 19 0 910740439 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31726] ppid=31718 vsize=10559304 CPUtime=0.13 cores=0,2,4,6
/proc/31720/task/31726/stat : 31726 (java) S 31718 31720 31238 0 -1 4202560 20070 0 0 0 11 2 0 0 16 0 19 0 910740439 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 0 0 0 0
[pid=31720/tid=31727] ppid=31718 vsize=10559304 CPUtime=0.12 cores=0,2,4,6
/proc/31720/task/31727/stat : 31727 (java) S 31718 31720 31238 0 -1 4202560 20069 0 0 0 8 4 0 0 16 0 19 0 910740439 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 4 0 0 0
[pid=31720/tid=31728] ppid=31718 vsize=10559304 CPUtime=0.14 cores=0,2,4,6
/proc/31720/task/31728/stat : 31728 (java) S 31718 31720 31238 0 -1 4202560 21150 0 0 0 10 4 0 0 16 0 19 0 910740439 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31729] ppid=31718 vsize=10559304 CPUtime=0.11 cores=0,2,4,6
/proc/31720/task/31729/stat : 31729 (java) S 31718 31720 31238 0 -1 4202560 14924 0 0 0 9 2 0 0 15 0 19 0 910740439 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 0 0 0 0
[pid=31720/tid=31730] ppid=31718 vsize=10559304 CPUtime=0.13 cores=0,2,4,6
/proc/31720/task/31730/stat : 31730 (java) S 31718 31720 31238 0 -1 4202560 26990 0 0 0 8 5 0 0 16 0 19 0 910740439 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31731] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31731/stat : 31731 (java) S 31718 31720 31238 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 910740440 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907307008 0 0 0 16800975 18446604449599223744 0 0 -1 4 0 0 0
[pid=31720/tid=31732] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31732/stat : 31732 (java) S 31718 31720 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 910740440 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31733] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31733/stat : 31733 (java) S 31718 31720 31238 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 910740440 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31734] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31734/stat : 31734 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740442 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907314097 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31735] ppid=31718 vsize=10559304 CPUtime=0.62 cores=0,2,4,6
/proc/31720/task/31735/stat : 31735 (java) S 31718 31720 31238 0 -1 4202560 6809 0 0 0 62 0 0 0 15 0 19 0 910740442 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 4 0 0 0
[pid=31720/tid=31736] ppid=31718 vsize=10559304 CPUtime=0.53 cores=0,2,4,6
/proc/31720/task/31736/stat : 31736 (java) S 31718 31720 31238 0 -1 4202560 4016 0 0 0 53 0 0 0 15 0 19 0 910740442 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31737] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31737/stat : 31737 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740442 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31738] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31738/stat : 31738 (java) S 31718 31720 31238 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 910740442 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907307008 0 4 0 16800975 18446604449599223744 0 0 -1 0 0 0 0
[pid=31720/tid=31739] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31739/stat : 31739 (java) S 31718 31720 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910740453 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907307008 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.27
Current children cumulated vsize (KiB) 10559304
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/480 31896
/proc/meminfo: memFree=22449868/32950928 swapFree=52246700/67111528
[pid=31720] ppid=31718 vsize=10559304 CPUtime=1784.27 cores=0,2,4,6
/proc/31720/stat : 31720 (java) S 31718 31720 31238 0 -1 4202496 957417 0 1 0 178309 118 0 0 25 0 19 0 910740436 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31720/statm: 2639826 946699 2239 9 0 2630560 0
[pid=31720/tid=31721] ppid=31718 vsize=10559304 CPUtime=1782 cores=0,2,4,6
/proc/31720/task/31721/stat : 31721 (java) R 31718 31720 31238 0 -1 4202560 765414 0 1 0 178116 84 0 0 25 0 19 0 910740437 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 46912505606929 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31720/tid=31723] ppid=31718 vsize=10559304 CPUtime=0.17 cores=0,2,4,6
/proc/31720/task/31723/stat : 31723 (java) S 31718 31720 31238 0 -1 4202560 39269 0 0 0 11 6 0 0 16 0 19 0 910740439 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31724] ppid=31718 vsize=10559304 CPUtime=0.06 cores=0,2,4,6
/proc/31720/task/31724/stat : 31724 (java) S 31718 31720 31238 0 -1 4202560 10157 0 0 0 4 2 0 0 15 0 19 0 910740439 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 4 0 0 0
[pid=31720/tid=31725] ppid=31718 vsize=10559304 CPUtime=0.14 cores=0,2,4,6
/proc/31720/task/31725/stat : 31725 (java) S 31718 31720 31238 0 -1 4202560 27251 0 0 0 10 4 0 0 15 0 19 0 910740439 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31726] ppid=31718 vsize=10559304 CPUtime=0.13 cores=0,2,4,6
/proc/31720/task/31726/stat : 31726 (java) S 31718 31720 31238 0 -1 4202560 20070 0 0 0 11 2 0 0 16 0 19 0 910740439 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 0 0 0 0
[pid=31720/tid=31727] ppid=31718 vsize=10559304 CPUtime=0.12 cores=0,2,4,6
/proc/31720/task/31727/stat : 31727 (java) S 31718 31720 31238 0 -1 4202560 20069 0 0 0 8 4 0 0 16 0 19 0 910740439 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 4 0 0 0
[pid=31720/tid=31728] ppid=31718 vsize=10559304 CPUtime=0.14 cores=0,2,4,6
/proc/31720/task/31728/stat : 31728 (java) S 31718 31720 31238 0 -1 4202560 21150 0 0 0 10 4 0 0 16 0 19 0 910740439 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31729] ppid=31718 vsize=10559304 CPUtime=0.11 cores=0,2,4,6
/proc/31720/task/31729/stat : 31729 (java) S 31718 31720 31238 0 -1 4202560 14924 0 0 0 9 2 0 0 15 0 19 0 910740439 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 0 0 0 0
[pid=31720/tid=31730] ppid=31718 vsize=10559304 CPUtime=0.13 cores=0,2,4,6
/proc/31720/task/31730/stat : 31730 (java) S 31718 31720 31238 0 -1 4202560 26990 0 0 0 8 5 0 0 16 0 19 0 910740439 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31731] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31731/stat : 31731 (java) S 31718 31720 31238 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 910740440 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907307008 0 0 0 16800975 18446604449599223744 0 0 -1 4 0 0 0
[pid=31720/tid=31732] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31732/stat : 31732 (java) S 31718 31720 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 910740440 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31733] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31733/stat : 31733 (java) S 31718 31720 31238 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 910740440 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31734] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31734/stat : 31734 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740442 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907314097 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31735] ppid=31718 vsize=10559304 CPUtime=0.62 cores=0,2,4,6
/proc/31720/task/31735/stat : 31735 (java) S 31718 31720 31238 0 -1 4202560 6809 0 0 0 62 0 0 0 15 0 19 0 910740442 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 4 0 0 0
[pid=31720/tid=31736] ppid=31718 vsize=10559304 CPUtime=0.53 cores=0,2,4,6
/proc/31720/task/31736/stat : 31736 (java) S 31718 31720 31238 0 -1 4202560 4016 0 0 0 53 0 0 0 15 0 19 0 910740442 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31737] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31737/stat : 31737 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740442 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31738] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31738/stat : 31738 (java) S 31718 31720 31238 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 910740442 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907307008 0 4 0 16800975 18446604449599223744 0 0 -1 0 0 0 0
[pid=31720/tid=31739] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31739/stat : 31739 (java) S 31718 31720 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910740453 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907307008 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.27
Current children cumulated vsize (KiB) 10559304
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/480 31896
/proc/meminfo: memFree=22449120/32950928 swapFree=52246700/67111528
[pid=31720] ppid=31718 vsize=10559304 CPUtime=1800.08 cores=0,2,4,6
/proc/31720/stat : 31720 (java) S 31718 31720 31238 0 -1 4202496 957417 0 1 0 179890 118 0 0 25 0 19 0 910740436 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31720/statm: 2639826 946699 2239 9 0 2630560 0
[pid=31720/tid=31721] ppid=31718 vsize=10559304 CPUtime=1797.81 cores=0,2,4,6
/proc/31720/task/31721/stat : 31721 (java) R 31718 31720 31238 0 -1 4202560 765414 0 1 0 179697 84 0 0 25 0 19 0 910740437 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 46912505991694 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31720/tid=31723] ppid=31718 vsize=10559304 CPUtime=0.17 cores=0,2,4,6
/proc/31720/task/31723/stat : 31723 (java) S 31718 31720 31238 0 -1 4202560 39269 0 0 0 11 6 0 0 16 0 19 0 910740439 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31724] ppid=31718 vsize=10559304 CPUtime=0.06 cores=0,2,4,6
/proc/31720/task/31724/stat : 31724 (java) S 31718 31720 31238 0 -1 4202560 10157 0 0 0 4 2 0 0 15 0 19 0 910740439 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 4 0 0 0
[pid=31720/tid=31725] ppid=31718 vsize=10559304 CPUtime=0.14 cores=0,2,4,6
/proc/31720/task/31725/stat : 31725 (java) S 31718 31720 31238 0 -1 4202560 27251 0 0 0 10 4 0 0 15 0 19 0 910740439 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31726] ppid=31718 vsize=10559304 CPUtime=0.13 cores=0,2,4,6
/proc/31720/task/31726/stat : 31726 (java) S 31718 31720 31238 0 -1 4202560 20070 0 0 0 11 2 0 0 16 0 19 0 910740439 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 0 0 0 0
[pid=31720/tid=31727] ppid=31718 vsize=10559304 CPUtime=0.12 cores=0,2,4,6
/proc/31720/task/31727/stat : 31727 (java) S 31718 31720 31238 0 -1 4202560 20069 0 0 0 8 4 0 0 16 0 19 0 910740439 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 4 0 0 0
[pid=31720/tid=31728] ppid=31718 vsize=10559304 CPUtime=0.14 cores=0,2,4,6
/proc/31720/task/31728/stat : 31728 (java) S 31718 31720 31238 0 -1 4202560 21150 0 0 0 10 4 0 0 16 0 19 0 910740439 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31729] ppid=31718 vsize=10559304 CPUtime=0.11 cores=0,2,4,6
/proc/31720/task/31729/stat : 31729 (java) S 31718 31720 31238 0 -1 4202560 14924 0 0 0 9 2 0 0 15 0 19 0 910740439 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 0 0 0 0
[pid=31720/tid=31730] ppid=31718 vsize=10559304 CPUtime=0.13 cores=0,2,4,6
/proc/31720/task/31730/stat : 31730 (java) S 31718 31720 31238 0 -1 4202560 26990 0 0 0 8 5 0 0 16 0 19 0 910740439 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31731] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31731/stat : 31731 (java) S 31718 31720 31238 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 910740440 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907307008 0 0 0 16800975 18446604449599223744 0 0 -1 4 0 0 0
[pid=31720/tid=31732] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31732/stat : 31732 (java) S 31718 31720 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 910740440 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31733] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31733/stat : 31733 (java) S 31718 31720 31238 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 910740440 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31734] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31734/stat : 31734 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740442 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907314097 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31735] ppid=31718 vsize=10559304 CPUtime=0.62 cores=0,2,4,6
/proc/31720/task/31735/stat : 31735 (java) S 31718 31720 31238 0 -1 4202560 6809 0 0 0 62 0 0 0 15 0 19 0 910740442 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 4 0 0 0
[pid=31720/tid=31736] ppid=31718 vsize=10559304 CPUtime=0.53 cores=0,2,4,6
/proc/31720/task/31736/stat : 31736 (java) S 31718 31720 31238 0 -1 4202560 4016 0 0 0 53 0 0 0 15 0 19 0 910740442 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
[pid=31720/tid=31737] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31737/stat : 31737 (java) S 31718 31720 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910740442 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907306393 0 4 0 16800975 18446604449599223744 0 0 -1 2 0 0 0
[pid=31720/tid=31738] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31738/stat : 31738 (java) S 31718 31720 31238 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 910740442 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907307008 0 4 0 16800975 18446604449599223744 0 0 -1 0 0 0 0
[pid=31720/tid=31739] ppid=31718 vsize=10559304 CPUtime=0 cores=0,2,4,6
/proc/31720/task/31739/stat : 31739 (java) S 31718 31720 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910740453 10812727296 946699 33554432000 1073741824 1073778376 140733929915568 18446744073709551615 231907307008 0 4 0 16800975 18446604449599223744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10559304
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.22 s]
/proc/loadavg: 2.07 2.02 2.00 3/480 31896
/proc/meminfo: memFree=22449120/32950928 swapFree=52246700/67111528
[pid=31720] ppid=31718 vsize=0 CPUtime=1800.19 cores=0,2,4,6
/proc/31720/stat : 31720 (java) Z 31718 31720 31238 0 -1 4203548 957448 0 1 0 179891 128 0 0 17 0 2 0 910740436 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31720/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.27
CPU time (s): 1800.25
CPU user time (s): 1798.92
CPU system time (s): 1.3298
CPU usage (%): 100.11
Max. virtual memory (cumulated for all children) (KiB): 10559304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.92
system time used= 1.3298
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 957448
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37186
involuntary context switches= 2882
runsolver used 8.39672 second user time and 17.0674 second system time
The end