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-3456195-1307664585/watcher-3456195-1307664585 -o /tmp/evaluation-result-3456195-1307664585/solver-3456195-1307664585 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456195-1307664585.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.84 1.97 1.99 3/195 28922
/proc/meminfo: memFree=31878324/32950928 swapFree=67054844/67111528
[pid=28922] ppid=28920 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/28922/stat : 28922 (java) R 28920 28922 25448 0 -1 4202496 1013 0 0 0 0 0 0 0 22 0 1 0 956689245 23580672 758 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 47121876268640 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28922/statm: 5757 775 573 9 0 124 0
[startup+0.093127 s]
/proc/loadavg: 1.84 1.97 1.99 3/195 28922
/proc/meminfo: memFree=31878324/32950928 swapFree=67054844/67111528
[pid=28922] ppid=28920 vsize=10539996 CPUtime=0.09 cores=1,3,5,7
/proc/28922/stat : 28922 (java) S 28920 28922 25448 0 -1 4202496 13012 0 1 0 8 1 0 0 22 0 18 0 956689245 10792955904 12667 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28922/statm: 2634999 12669 2092 9 0 2625733 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539996
[startup+0.101162 s]
/proc/loadavg: 1.84 1.97 1.99 3/195 28922
/proc/meminfo: memFree=31878324/32950928 swapFree=67054844/67111528
[pid=28922] ppid=28920 vsize=10539996 CPUtime=0.1 cores=1,3,5,7
/proc/28922/stat : 28922 (java) S 28920 28922 25448 0 -1 4202496 13128 0 1 0 9 1 0 0 22 0 18 0 956689245 10792955904 12774 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28922/statm: 2634999 12775 2092 9 0 2625733 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539996
[startup+0.301156 s]
/proc/loadavg: 1.84 1.97 1.99 3/195 28922
/proc/meminfo: memFree=31878324/32950928 swapFree=67054844/67111528
[pid=28922] ppid=28920 vsize=10540372 CPUtime=0.49 cores=1,3,5,7
/proc/28922/stat : 28922 (java) S 28920 28922 25448 0 -1 4202496 15521 0 1 0 47 2 0 0 22 0 18 0 956689245 10793340928 14997 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28922/statm: 2635093 14998 2218 9 0 2625827 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10540372
[startup+0.70107 s]
/proc/loadavg: 1.84 1.97 1.99 3/195 28922
/proc/meminfo: memFree=31878324/32950928 swapFree=67054844/67111528
[pid=28922] ppid=28920 vsize=10556620 CPUtime=1.67 cores=1,3,5,7
/proc/28922/stat : 28922 (java) S 28920 28922 25448 0 -1 4202496 30149 0 1 0 163 4 0 0 22 0 19 0 956689245 10809978880 25074 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28922/statm: 2639155 25074 2228 9 0 2629889 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 10556620
[startup+1.50093 s]
/proc/loadavg: 1.84 1.97 1.99 3/214 28941
/proc/meminfo: memFree=31565780/32950928 swapFree=67054844/67111528
[pid=28922] ppid=28920 vsize=10554352 CPUtime=3.06 cores=1,3,5,7
/proc/28922/stat : 28922 (java) S 28920 28922 25448 0 -1 4202496 70683 0 1 0 298 8 0 0 22 0 19 0 956689245 10807656448 64154 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28922/statm: 2638588 64155 2233 9 0 2629322 0
[pid=28922/tid=28924] ppid=28920 vsize=10554352 CPUtime=1.48 cores=1,3,5,7
/proc/28922/task/28924/stat : 28924 (java) R 28920 28922 25448 0 -1 4202560 55971 0 1 0 141 7 0 0 20 0 19 0 956689246 10807656448 64156 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 46912505770625 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28922/tid=28925] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28925/stat : 28925 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689248 10807656448 64157 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28926] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28926/stat : 28926 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689248 10807656448 64158 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28927] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28927/stat : 28927 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689248 10807656448 64159 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28928] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28928/stat : 28928 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689248 10807656448 64161 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28929] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28929/stat : 28929 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689248 10807656448 64161 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28930] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28930/stat : 28930 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689248 10807656448 64162 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28931] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28931/stat : 28931 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689248 10807656448 64163 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28932] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28932/stat : 28932 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689248 10807656448 64164 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28933] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28933/stat : 28933 (java) S 28920 28922 25448 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956689249 10807656448 64165 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907307008 0 0 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28934] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28934/stat : 28934 (java) S 28920 28922 25448 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956689249 10807656448 64166 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28935] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28935/stat : 28935 (java) S 28920 28922 25448 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956689249 10807656448 64167 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28936] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28936/stat : 28936 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689251 10807656448 64168 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907314097 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28937] ppid=28920 vsize=10554352 CPUtime=0.79 cores=1,3,5,7
/proc/28922/task/28937/stat : 28937 (java) S 28920 28922 25448 0 -1 4202560 8262 0 0 0 79 0 0 0 22 0 19 0 956689251 10807656448 64169 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 3 0 0 0
[pid=28922/tid=28938] ppid=28920 vsize=10554352 CPUtime=0.76 cores=1,3,5,7
/proc/28922/task/28938/stat : 28938 (java) S 28920 28922 25448 0 -1 4202560 5293 0 0 0 76 0 0 0 17 0 19 0 956689251 10807656448 64170 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28939] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28939/stat : 28939 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689251 10807656448 64170 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28940] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28940/stat : 28940 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956689251 10807656448 64171 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907307008 0 4 0 16800975 18446604471134541760 0 0 -1 7 0 0 0
[pid=28922/tid=28941] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28941/stat : 28941 (java) S 28920 28922 25448 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956689287 10807656448 64172 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907307008 0 4 0 16800975 18446604471134541760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 10554352
[startup+3.10163 s]
/proc/loadavg: 1.84 1.97 1.99 3/214 28942
/proc/meminfo: memFree=31116884/32950928 swapFree=67054844/67111528
[pid=28922] ppid=28920 vsize=10554352 CPUtime=4.77 cores=1,3,5,7
/proc/28922/stat : 28922 (java) S 28920 28922 25448 0 -1 4202496 159992 0 1 0 459 18 0 0 22 0 19 0 956689245 10807656448 153460 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28922/statm: 2638588 153460 2237 9 0 2629322 0
[pid=28922/tid=28924] ppid=28920 vsize=10554352 CPUtime=3.09 cores=1,3,5,7
/proc/28922/task/28924/stat : 28924 (java) R 28920 28922 25448 0 -1 4202560 145261 0 1 0 292 17 0 0 25 0 19 0 956689246 10807656448 153464 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 46912505575537 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28922/tid=28925] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28925/stat : 28925 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689248 10807656448 153466 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28926] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28926/stat : 28926 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689248 10807656448 153466 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28927] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28927/stat : 28927 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689248 10807656448 153467 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28928] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28928/stat : 28928 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689248 10807656448 153468 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28929] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28929/stat : 28929 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689248 10807656448 153468 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28930] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28930/stat : 28930 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689248 10807656448 153469 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28931] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28931/stat : 28931 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689248 10807656448 153470 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28932] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28932/stat : 28932 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689248 10807656448 153471 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28933] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28933/stat : 28933 (java) S 28920 28922 25448 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956689249 10807656448 153472 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907307008 0 0 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28934] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28934/stat : 28934 (java) S 28920 28922 25448 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956689249 10807656448 153472 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28935] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28935/stat : 28935 (java) S 28920 28922 25448 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956689249 10807656448 153473 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28936] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28936/stat : 28936 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689251 10807656448 153474 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907314097 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28937] ppid=28920 vsize=10554352 CPUtime=0.84 cores=1,3,5,7
/proc/28922/task/28937/stat : 28937 (java) S 28920 28922 25448 0 -1 4202560 8271 0 0 0 84 0 0 0 15 0 19 0 956689251 10807656448 153475 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 3 0 0 0
[pid=28922/tid=28938] ppid=28920 vsize=10554352 CPUtime=0.83 cores=1,3,5,7
/proc/28922/task/28938/stat : 28938 (java) S 28920 28922 25448 0 -1 4202560 5304 0 0 0 83 0 0 0 15 0 19 0 956689251 10807656448 153476 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28939] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28939/stat : 28939 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689251 10807656448 153477 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28940] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28940/stat : 28940 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956689251 10807656448 153477 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907307008 0 4 0 16800975 18446604471134541760 0 0 -1 7 0 0 0
[pid=28922/tid=28941] ppid=28920 vsize=10554352 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28941/stat : 28941 (java) S 28920 28922 25448 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956689287 10807656448 153482 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907307008 0 4 0 16800975 18446604471134541760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 10554352
[startup+6.30102 s]
/proc/loadavg: 1.85 1.97 1.99 3/214 28942
/proc/meminfo: memFree=29844196/32950928 swapFree=67054844/67111528
[pid=28922] ppid=28920 vsize=10548624 CPUtime=8.03 cores=1,3,5,7
/proc/28922/stat : 28922 (java) S 28920 28922 25448 0 -1 4202496 335553 0 1 0 764 39 0 0 22 0 19 0 956689245 10801790976 327425 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28922/statm: 2637156 327427 2238 9 0 2627890 0
[pid=28922/tid=28924] ppid=28920 vsize=10548624 CPUtime=6.28 cores=1,3,5,7
/proc/28922/task/28924/stat : 28924 (java) R 28920 28922 25448 0 -1 4202560 320817 0 1 0 591 37 0 0 25 0 19 0 956689246 10801790976 327428 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 46912505744682 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28922/tid=28925] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28925/stat : 28925 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689248 10801790976 327429 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28926] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28926/stat : 28926 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689248 10801790976 327430 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28927] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28927/stat : 28927 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689248 10801790976 327431 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28928] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28928/stat : 28928 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689248 10801790976 327432 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28929] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28929/stat : 28929 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689248 10801790976 327434 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28930] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28930/stat : 28930 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689248 10801790976 327435 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28931] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28931/stat : 28931 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689248 10801790976 327436 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28932] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28932/stat : 28932 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689248 10801790976 327437 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28933] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28933/stat : 28933 (java) S 28920 28922 25448 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 956689249 10801790976 327439 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907307008 0 0 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28934] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28934/stat : 28934 (java) S 28920 28922 25448 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956689249 10801790976 327440 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28935] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28935/stat : 28935 (java) S 28920 28922 25448 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956689249 10801790976 327441 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28936] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28936/stat : 28936 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689251 10801790976 327442 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907314097 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28937] ppid=28920 vsize=10548624 CPUtime=0.88 cores=1,3,5,7
/proc/28922/task/28937/stat : 28937 (java) R 28920 28922 25448 0 -1 4202560 8274 0 0 0 88 0 0 0 15 0 19 0 956689251 10801790976 327442 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 47121873417660 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28922/tid=28938] ppid=28920 vsize=10548624 CPUtime=0.83 cores=1,3,5,7
/proc/28922/task/28938/stat : 28938 (java) S 28920 28922 25448 0 -1 4202560 5304 0 0 0 83 0 0 0 16 0 19 0 956689251 10801790976 327443 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28939] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28939/stat : 28939 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689251 10801790976 327444 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28940] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28940/stat : 28940 (java) S 28920 28922 25448 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 956689251 10801790976 327446 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907307008 0 4 0 16800975 18446604471134541760 0 0 -1 7 0 0 0
[pid=28922/tid=28941] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28941/stat : 28941 (java) S 28920 28922 25448 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956689287 10801790976 327447 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907307008 0 4 0 16800975 18446604471134541760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.03
Current children cumulated vsize (KiB) 10548624
[startup+12.7008 s]
################
# More data... #
################
/proc/28922/task/28934/stat : 28934 (java) S 28920 28922 25448 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956689249 10801790976 973136 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28935] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28935/stat : 28935 (java) S 28920 28922 25448 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956689249 10801790976 973136 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28936] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28936/stat : 28936 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689251 10801790976 973136 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907314097 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28937] ppid=28920 vsize=10548624 CPUtime=1 cores=1,3,5,7
/proc/28922/task/28937/stat : 28937 (java) S 28920 28922 25448 0 -1 4202560 8295 0 0 0 100 0 0 0 15 0 19 0 956689251 10801790976 973136 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 3 0 0 0
[pid=28922/tid=28938] ppid=28920 vsize=10548624 CPUtime=1.06 cores=1,3,5,7
/proc/28922/task/28938/stat : 28938 (java) S 28920 28922 25448 0 -1 4202560 5488 0 0 0 106 0 0 0 15 0 19 0 956689251 10801790976 973136 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28939] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28939/stat : 28939 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689251 10801790976 973136 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28940] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28940/stat : 28940 (java) S 28920 28922 25448 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 956689251 10801790976 973136 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907307008 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28941] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28941/stat : 28941 (java) S 28920 28922 25448 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956689287 10801790976 973136 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907307008 0 4 0 16800975 18446604471134541760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1669.05
Current children cumulated vsize (KiB) 10548624
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/214 28987
/proc/meminfo: memFree=23963312/32950928 swapFree=67054844/67111528
[pid=28922] ppid=28920 vsize=10548624 CPUtime=1729.21 cores=1,3,5,7
/proc/28922/stat : 28922 (java) S 28920 28922 25448 0 -1 4202496 985359 0 1 0 172809 112 0 0 22 0 19 0 956689245 10801790976 974631 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28922/statm: 2637156 974631 2267 9 0 2627890 0
[pid=28922/tid=28924] ppid=28920 vsize=10548624 CPUtime=1719.36 cores=1,3,5,7
/proc/28922/task/28924/stat : 28924 (java) R 28920 28922 25448 0 -1 4202560 785625 0 1 0 171851 85 0 0 25 0 19 0 956689246 10801790976 974631 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 46912505770332 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28922/tid=28925] ppid=28920 vsize=10548624 CPUtime=0.78 cores=1,3,5,7
/proc/28922/task/28925/stat : 28925 (java) S 28920 28922 25448 0 -1 4202560 22097 0 0 0 76 2 0 0 15 0 19 0 956689248 10801790976 974631 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28926] ppid=28920 vsize=10548624 CPUtime=0.86 cores=1,3,5,7
/proc/28922/task/28926/stat : 28926 (java) S 28920 28922 25448 0 -1 4202560 25457 0 0 0 82 4 0 0 15 0 19 0 956689248 10801790976 974631 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28927] ppid=28920 vsize=10548624 CPUtime=0.79 cores=1,3,5,7
/proc/28922/task/28927/stat : 28927 (java) S 28920 28922 25448 0 -1 4202560 24545 0 0 0 78 1 0 0 15 0 19 0 956689248 10801790976 974631 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 3 0 0 0
[pid=28922/tid=28928] ppid=28920 vsize=10548624 CPUtime=0.8 cores=1,3,5,7
/proc/28922/task/28928/stat : 28928 (java) S 28920 28922 25448 0 -1 4202560 20123 0 0 0 78 2 0 0 15 0 19 0 956689248 10801790976 974631 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 3 0 0 0
[pid=28922/tid=28929] ppid=28920 vsize=10548624 CPUtime=0.8 cores=1,3,5,7
/proc/28922/task/28929/stat : 28929 (java) S 28920 28922 25448 0 -1 4202560 21506 0 0 0 77 3 0 0 16 0 19 0 956689248 10801790976 974631 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28930] ppid=28920 vsize=10548624 CPUtime=0.83 cores=1,3,5,7
/proc/28922/task/28930/stat : 28930 (java) S 28920 28922 25448 0 -1 4202560 24133 0 0 0 81 2 0 0 16 0 19 0 956689248 10801790976 974631 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 3 0 0 0
[pid=28922/tid=28931] ppid=28920 vsize=10548624 CPUtime=0.79 cores=1,3,5,7
/proc/28922/task/28931/stat : 28931 (java) S 28920 28922 25448 0 -1 4202560 22506 0 0 0 77 2 0 0 16 0 19 0 956689248 10801790976 974631 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28932] ppid=28920 vsize=10548624 CPUtime=0.75 cores=1,3,5,7
/proc/28922/task/28932/stat : 28932 (java) S 28920 28922 25448 0 -1 4202560 16973 0 0 0 74 1 0 0 16 0 19 0 956689248 10801790976 974631 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 7 0 0 0
[pid=28922/tid=28933] ppid=28920 vsize=10548624 CPUtime=1.27 cores=1,3,5,7
/proc/28922/task/28933/stat : 28933 (java) S 28920 28922 25448 0 -1 4202560 7360 0 0 0 125 2 0 0 15 0 19 0 956689249 10801790976 974631 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907307008 0 0 0 16800975 18446604471134541760 0 0 -1 3 0 0 0
[pid=28922/tid=28934] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28934/stat : 28934 (java) S 28920 28922 25448 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956689249 10801790976 974631 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28935] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28935/stat : 28935 (java) S 28920 28922 25448 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956689249 10801790976 974631 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28936] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28936/stat : 28936 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689251 10801790976 974631 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907314097 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28937] ppid=28920 vsize=10548624 CPUtime=1 cores=1,3,5,7
/proc/28922/task/28937/stat : 28937 (java) S 28920 28922 25448 0 -1 4202560 8295 0 0 0 100 0 0 0 15 0 19 0 956689251 10801790976 974631 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 3 0 0 0
[pid=28922/tid=28938] ppid=28920 vsize=10548624 CPUtime=1.06 cores=1,3,5,7
/proc/28922/task/28938/stat : 28938 (java) S 28920 28922 25448 0 -1 4202560 5488 0 0 0 106 0 0 0 15 0 19 0 956689251 10801790976 974631 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28939] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28939/stat : 28939 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689251 10801790976 974631 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28940] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28940/stat : 28940 (java) S 28920 28922 25448 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 956689251 10801790976 974631 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907307008 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28941] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28941/stat : 28941 (java) S 28920 28922 25448 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956689287 10801790976 974631 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907307008 0 4 0 16800975 18446604471134541760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1729.21
Current children cumulated vsize (KiB) 10548624
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 28992
/proc/meminfo: memFree=23947840/32950928 swapFree=67054844/67111528
[pid=28922] ppid=28920 vsize=10548624 CPUtime=1789.31 cores=1,3,5,7
/proc/28922/stat : 28922 (java) S 28920 28922 25448 0 -1 4202496 986347 0 1 0 178819 112 0 0 22 0 19 0 956689245 10801790976 975602 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28922/statm: 2637156 975602 2267 9 0 2627890 0
[pid=28922/tid=28924] ppid=28920 vsize=10548624 CPUtime=1779.32 cores=1,3,5,7
/proc/28922/task/28924/stat : 28924 (java) R 28920 28922 25448 0 -1 4202560 785627 0 1 0 177847 85 0 0 25 0 19 0 956689246 10801790976 975602 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 46912505770416 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28922/tid=28925] ppid=28920 vsize=10548624 CPUtime=0.78 cores=1,3,5,7
/proc/28922/task/28925/stat : 28925 (java) S 28920 28922 25448 0 -1 4202560 22097 0 0 0 76 2 0 0 15 0 19 0 956689248 10801790976 975602 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28926] ppid=28920 vsize=10548624 CPUtime=0.88 cores=1,3,5,7
/proc/28922/task/28926/stat : 28926 (java) S 28920 28922 25448 0 -1 4202560 25540 0 0 0 84 4 0 0 16 0 19 0 956689248 10801790976 975602 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28927] ppid=28920 vsize=10548624 CPUtime=0.82 cores=1,3,5,7
/proc/28922/task/28927/stat : 28927 (java) S 28920 28922 25448 0 -1 4202560 24843 0 0 0 81 1 0 0 16 0 19 0 956689248 10801790976 975602 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28928] ppid=28920 vsize=10548624 CPUtime=0.84 cores=1,3,5,7
/proc/28922/task/28928/stat : 28928 (java) S 28920 28922 25448 0 -1 4202560 20358 0 0 0 82 2 0 0 16 0 19 0 956689248 10801790976 975602 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 7 0 0 0
[pid=28922/tid=28929] ppid=28920 vsize=10548624 CPUtime=0.83 cores=1,3,5,7
/proc/28922/task/28929/stat : 28929 (java) S 28920 28922 25448 0 -1 4202560 21726 0 0 0 80 3 0 0 16 0 19 0 956689248 10801790976 975602 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 3 0 0 0
[pid=28922/tid=28930] ppid=28920 vsize=10548624 CPUtime=0.85 cores=1,3,5,7
/proc/28922/task/28930/stat : 28930 (java) S 28920 28922 25448 0 -1 4202560 24165 0 0 0 83 2 0 0 16 0 19 0 956689248 10801790976 975602 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 7 0 0 0
[pid=28922/tid=28931] ppid=28920 vsize=10548624 CPUtime=0.79 cores=1,3,5,7
/proc/28922/task/28931/stat : 28931 (java) S 28920 28922 25448 0 -1 4202560 22618 0 0 0 77 2 0 0 16 0 19 0 956689248 10801790976 975602 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28932] ppid=28920 vsize=10548624 CPUtime=0.75 cores=1,3,5,7
/proc/28922/task/28932/stat : 28932 (java) S 28920 28922 25448 0 -1 4202560 16973 0 0 0 74 1 0 0 15 0 19 0 956689248 10801790976 975602 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 7 0 0 0
[pid=28922/tid=28933] ppid=28920 vsize=10548624 CPUtime=1.27 cores=1,3,5,7
/proc/28922/task/28933/stat : 28933 (java) S 28920 28922 25448 0 -1 4202560 7364 0 0 0 125 2 0 0 15 0 19 0 956689249 10801790976 975602 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907307008 0 0 0 16800975 18446604471134541760 0 0 -1 3 0 0 0
[pid=28922/tid=28934] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28934/stat : 28934 (java) S 28920 28922 25448 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956689249 10801790976 975602 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28935] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28935/stat : 28935 (java) S 28920 28922 25448 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956689249 10801790976 975602 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28936] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28936/stat : 28936 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689251 10801790976 975602 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907314097 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28937] ppid=28920 vsize=10548624 CPUtime=1 cores=1,3,5,7
/proc/28922/task/28937/stat : 28937 (java) S 28920 28922 25448 0 -1 4202560 8295 0 0 0 100 0 0 0 15 0 19 0 956689251 10801790976 975602 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 3 0 0 0
[pid=28922/tid=28938] ppid=28920 vsize=10548624 CPUtime=1.06 cores=1,3,5,7
/proc/28922/task/28938/stat : 28938 (java) S 28920 28922 25448 0 -1 4202560 5488 0 0 0 106 0 0 0 15 0 19 0 956689251 10801790976 975602 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28939] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28939/stat : 28939 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689251 10801790976 975602 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28940] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28940/stat : 28940 (java) S 28920 28922 25448 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 956689251 10801790976 975602 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907307008 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28941] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28941/stat : 28941 (java) S 28920 28922 25448 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956689287 10801790976 975602 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907307008 0 4 0 16800975 18446604471134541760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1789.31
Current children cumulated vsize (KiB) 10548624
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.01 s]
/proc/loadavg: 1.92 1.98 1.99 2/190 29019
/proc/meminfo: memFree=28175048/32950928 swapFree=67054844/67111528
[pid=28922] ppid=28920 vsize=10548624 CPUtime=1800.07 cores=1,3,5,7
/proc/28922/stat : 28922 (java) S 28920 28922 25448 0 -1 4202496 987004 0 1 0 179895 112 0 0 22 0 19 0 956689245 10801790976 976233 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28922/statm: 2637156 976233 2267 9 0 2627890 0
[pid=28922/tid=28924] ppid=28920 vsize=10548624 CPUtime=1790.01 cores=1,3,5,7
/proc/28922/task/28924/stat : 28924 (java) R 28920 28922 25448 0 -1 4202560 785628 0 1 0 178916 85 0 0 25 0 19 0 956689246 10801790976 976233 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 46912505746324 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28922/tid=28925] ppid=28920 vsize=10548624 CPUtime=0.78 cores=1,3,5,7
/proc/28922/task/28925/stat : 28925 (java) S 28920 28922 25448 0 -1 4202560 22097 0 0 0 76 2 0 0 15 0 19 0 956689248 10801790976 976233 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28926] ppid=28920 vsize=10548624 CPUtime=0.9 cores=1,3,5,7
/proc/28922/task/28926/stat : 28926 (java) S 28920 28922 25448 0 -1 4202560 25828 0 0 0 86 4 0 0 16 0 19 0 956689248 10801790976 976233 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28927] ppid=28920 vsize=10548624 CPUtime=0.82 cores=1,3,5,7
/proc/28922/task/28927/stat : 28927 (java) S 28920 28922 25448 0 -1 4202560 24843 0 0 0 81 1 0 0 15 0 19 0 956689248 10801790976 976233 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28928] ppid=28920 vsize=10548624 CPUtime=0.85 cores=1,3,5,7
/proc/28922/task/28928/stat : 28928 (java) S 28920 28922 25448 0 -1 4202560 20467 0 0 0 83 2 0 0 16 0 19 0 956689248 10801790976 976233 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 3 0 0 0
[pid=28922/tid=28929] ppid=28920 vsize=10548624 CPUtime=0.83 cores=1,3,5,7
/proc/28922/task/28929/stat : 28929 (java) S 28920 28922 25448 0 -1 4202560 21726 0 0 0 80 3 0 0 15 0 19 0 956689248 10801790976 976233 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 3 0 0 0
[pid=28922/tid=28930] ppid=28920 vsize=10548624 CPUtime=0.87 cores=1,3,5,7
/proc/28922/task/28930/stat : 28930 (java) S 28920 28922 25448 0 -1 4202560 24339 0 0 0 85 2 0 0 16 0 19 0 956689248 10801790976 976233 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 7 0 0 0
[pid=28922/tid=28931] ppid=28920 vsize=10548624 CPUtime=0.81 cores=1,3,5,7
/proc/28922/task/28931/stat : 28931 (java) S 28920 28922 25448 0 -1 4202560 22701 0 0 0 79 2 0 0 16 0 19 0 956689248 10801790976 976233 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28932] ppid=28920 vsize=10548624 CPUtime=0.75 cores=1,3,5,7
/proc/28922/task/28932/stat : 28932 (java) S 28920 28922 25448 0 -1 4202560 16973 0 0 0 74 1 0 0 15 0 19 0 956689248 10801790976 976233 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 7 0 0 0
[pid=28922/tid=28933] ppid=28920 vsize=10548624 CPUtime=1.27 cores=1,3,5,7
/proc/28922/task/28933/stat : 28933 (java) S 28920 28922 25448 0 -1 4202560 7364 0 0 0 125 2 0 0 15 0 19 0 956689249 10801790976 976233 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907307008 0 0 0 16800975 18446604471134541760 0 0 -1 3 0 0 0
[pid=28922/tid=28934] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28934/stat : 28934 (java) S 28920 28922 25448 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956689249 10801790976 976233 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28935] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28935/stat : 28935 (java) S 28920 28922 25448 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956689249 10801790976 976233 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28936] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28936/stat : 28936 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689251 10801790976 976233 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907314097 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28937] ppid=28920 vsize=10548624 CPUtime=1 cores=1,3,5,7
/proc/28922/task/28937/stat : 28937 (java) S 28920 28922 25448 0 -1 4202560 8295 0 0 0 100 0 0 0 15 0 19 0 956689251 10801790976 976233 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 3 0 0 0
[pid=28922/tid=28938] ppid=28920 vsize=10548624 CPUtime=1.06 cores=1,3,5,7
/proc/28922/task/28938/stat : 28938 (java) S 28920 28922 25448 0 -1 4202560 5488 0 0 0 106 0 0 0 15 0 19 0 956689251 10801790976 976233 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28939] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28939/stat : 28939 (java) S 28920 28922 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956689251 10801790976 976233 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907306393 0 4 0 16800975 18446604471134541760 0 0 -1 1 0 0 0
[pid=28922/tid=28940] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28940/stat : 28940 (java) S 28920 28922 25448 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 956689251 10801790976 976233 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907307008 0 4 0 16800975 18446604471134541760 0 0 -1 5 0 0 0
[pid=28922/tid=28941] ppid=28920 vsize=10548624 CPUtime=0 cores=1,3,5,7
/proc/28922/task/28941/stat : 28941 (java) S 28920 28922 25448 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956689287 10801790976 976233 33554432000 1073741824 1073778376 140734924319040 18446744073709551615 231907307008 0 4 0 16800975 18446604471134541760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10548624
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.11 s]
/proc/loadavg: 1.92 1.98 1.99 2/190 29019
/proc/meminfo: memFree=28175048/32950928 swapFree=67054844/67111528
[pid=28922] ppid=28920 vsize=0 CPUtime=1800.19 cores=1,3,5,7
/proc/28922/stat : 28922 (java) Z 28920 28922 25448 0 -1 4203548 987036 0 1 0 179900 119 0 0 17 0 2 0 956689245 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28922/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): 1793.19
CPU time (s): 1800.27
CPU user time (s): 1799
CPU system time (s): 1.27081
CPU usage (%): 100.395
Max. virtual memory (cumulated for all children) (KiB): 10559352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.27081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 987036
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= 38739
involuntary context switches= 7177
runsolver used 2.85457 second user time and 6.94594 second system time
The end