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-3455207-1307191051/watcher-3455207-1307191051 -o /tmp/evaluation-result-3455207-1307191051/solver-3455207-1307191051 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455207-1307191051.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: 4.04 4.05 3.78 4/474 26916
/proc/meminfo: memFree=29764488/32951124 swapFree=55639044/67111528
[pid=26916] ppid=26914 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/26916/stat : 26916 (java) S 26914 26916 23433 0 -1 4202496 5622 0 1 0 0 0 0 0 25 0 2 0 830702970 10694979584 5325 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/26916/statm: 2611079 5337 917 9 0 2602235 0
[pid=26916/tid=26917] ppid=26914 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26917/stat : 26917 (java) R 26914 26916 23433 0 -1 4202560 6107 0 1 0 0 0 0 0 25 0 2 0 830702970 10694979584 6923 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271550231611 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0373281 s]
/proc/loadavg: 4.04 4.05 3.78 4/474 26916
/proc/meminfo: memFree=29764488/32951124 swapFree=55639044/67111528
[pid=26916] ppid=26914 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/26916/stat : 26916 (java) S 26914 26916 23433 0 -1 4202496 11137 0 1 0 2 0 0 0 25 0 13 0 830702970 10718699520 10834 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/26916/statm: 2616870 10835 1653 9 0 2607618 0
[pid=26916/tid=26917] ppid=26914 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/26916/task/26917/stat : 26917 (java) R 26914 26916 23433 0 -1 4202560 9990 0 1 0 2 0 0 0 25 0 13 0 830702970 10718699520 10835 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 47495100915162 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10467480
[startup+0.10033 s]
/proc/loadavg: 4.04 4.05 3.78 4/474 26916
/proc/meminfo: memFree=29764488/32951124 swapFree=55639044/67111528
[pid=26916] ppid=26914 vsize=10539988 CPUtime=0.11 cores=1,3,5,7
/proc/26916/stat : 26916 (java) S 26914 26916 23433 0 -1 4202496 13107 0 1 0 10 1 0 0 25 0 18 0 830702970 10792947712 12767 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26916/statm: 2634997 12767 2092 9 0 2625731 0
[pid=26916/tid=26917] ppid=26914 vsize=10539988 CPUtime=0.08 cores=1,3,5,7
/proc/26916/task/26917/stat : 26917 (java) R 26914 26916 23433 0 -1 4202560 11164 0 1 0 8 0 0 0 18 0 18 0 830702970 10792947712 12767 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 47495097277379 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539988
[startup+0.30025 s]
/proc/loadavg: 4.04 4.05 3.78 4/474 26916
/proc/meminfo: memFree=29764488/32951124 swapFree=55639044/67111528
[pid=26916] ppid=26914 vsize=10556832 CPUtime=0.69 cores=1,3,5,7
/proc/26916/stat : 26916 (java) S 26914 26916 23433 0 -1 4202496 25981 0 1 0 67 2 0 0 25 0 22 0 830702970 10810195968 22347 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26916/statm: 2639208 22348 2188 9 0 2629942 0
[pid=26916/tid=26917] ppid=26914 vsize=10556832 CPUtime=0.21 cores=1,3,5,7
/proc/26916/task/26917/stat : 26917 (java) S 26914 26916 23433 0 -1 4202560 12133 0 1 0 20 1 0 0 19 0 22 0 830702970 10810195968 22348 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10556832
[startup+0.700176 s]
/proc/loadavg: 4.04 4.05 3.78 4/474 26916
/proc/meminfo: memFree=29764488/32951124 swapFree=55639044/67111528
[pid=26916] ppid=26914 vsize=10561688 CPUtime=2.24 cores=1,3,5,7
/proc/26916/stat : 26916 (java) S 26914 26916 23433 0 -1 4202496 31841 0 1 0 221 3 0 0 25 0 19 0 830702970 10815168512 26742 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26916/statm: 2640422 26742 2220 9 0 2631156 0
[pid=26916/tid=26917] ppid=26914 vsize=10561688 CPUtime=0.21 cores=1,3,5,7
/proc/26916/task/26917/stat : 26917 (java) S 26914 26916 23433 0 -1 4202560 12133 0 1 0 20 1 0 0 19 0 19 0 830702970 10815168512 26742 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 10561688
[startup+1.50106 s]
/proc/loadavg: 4.04 4.05 3.78 3/493 26941
/proc/meminfo: memFree=29660512/32951124 swapFree=55639044/67111528
[pid=26916] ppid=26914 vsize=10561688 CPUtime=3.37 cores=1,3,5,7
/proc/26916/stat : 26916 (java) S 26914 26916 23433 0 -1 4202496 52432 0 1 0 332 5 0 0 25 0 22 0 830702970 10815168512 47332 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26916/statm: 2640422 47334 2231 9 0 2631156 0
[pid=26916/tid=26917] ppid=26914 vsize=10561688 CPUtime=0.22 cores=1,3,5,7
/proc/26916/task/26917/stat : 26917 (java) S 26914 26916 23433 0 -1 4202560 12160 0 1 0 21 1 0 0 16 0 22 0 830702970 10815168512 47335 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 4 0 16800975 18446604458891600832 0 0 -1 1 0 0 0
[pid=26916/tid=26919] ppid=26914 vsize=10561688 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26919/stat : 26919 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830702972 10815168512 47337 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26920] ppid=26914 vsize=10561688 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26920/stat : 26920 (java) S 26914 26916 23433 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830702972 10815168512 47338 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26921] ppid=26914 vsize=10561688 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26921/stat : 26921 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830702972 10815168512 47341 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26922] ppid=26914 vsize=10561688 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26922/stat : 26922 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830702972 10815168512 47341 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26923] ppid=26914 vsize=10561688 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26923/stat : 26923 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830702972 10815168512 47342 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26924] ppid=26914 vsize=10561688 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26924/stat : 26924 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830702972 10815168512 47345 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26925] ppid=26914 vsize=10561688 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26925/stat : 26925 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830702972 10815168512 47348 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26926] ppid=26914 vsize=10561688 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26926/stat : 26926 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830702972 10815168512 47352 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26927] ppid=26914 vsize=10561688 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26927/stat : 26927 (java) S 26914 26916 23433 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830702973 10815168512 47354 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 0 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26928] ppid=26914 vsize=10561688 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26928/stat : 26928 (java) S 26914 26916 23433 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830702973 10815168512 47356 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26929] ppid=26914 vsize=10561688 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26929/stat : 26929 (java) S 26914 26916 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830702973 10815168512 47359 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26930] ppid=26914 vsize=10561688 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26930/stat : 26930 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830702976 10815168512 47362 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562361265 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26931] ppid=26914 vsize=10561688 CPUtime=0.83 cores=1,3,5,7
/proc/26916/task/26931/stat : 26931 (java) S 26914 26916 23433 0 -1 4202560 8131 0 0 0 83 0 0 0 15 0 22 0 830702976 10815168512 47365 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26932] ppid=26914 vsize=10561688 CPUtime=0.83 cores=1,3,5,7
/proc/26916/task/26932/stat : 26932 (java) S 26914 26916 23433 0 -1 4202560 7297 0 0 0 83 0 0 0 15 0 22 0 830702976 10815168512 47367 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 1 0 0 0
[pid=26916/tid=26933] ppid=26914 vsize=10561688 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26933/stat : 26933 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830702976 10815168512 47371 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26934] ppid=26914 vsize=10561688 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26934/stat : 26934 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830702976 10815168512 47373 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26937] ppid=26914 vsize=10561688 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26937/stat : 26937 (java) S 26914 26916 23433 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830702993 10815168512 47376 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.37
Current children cumulated vsize (KiB) 10561688
[startup+3.10077 s]
/proc/loadavg: 4.04 4.05 3.78 4/493 26945
/proc/meminfo: memFree=29388332/32951124 swapFree=55639044/67111528
[pid=26916] ppid=26914 vsize=10565032 CPUtime=5.16 cores=1,3,5,7
/proc/26916/stat : 26916 (java) S 26914 26916 23433 0 -1 4202496 101612 0 1 0 505 11 0 0 25 0 19 0 830702970 10818592768 95312 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26916/statm: 2641258 95312 2257 9 0 2631992 0
[pid=26916/tid=26917] ppid=26914 vsize=10565032 CPUtime=0.22 cores=1,3,5,7
/proc/26916/task/26917/stat : 26917 (java) S 26914 26916 23433 0 -1 4202560 12161 0 1 0 21 1 0 0 16 0 19 0 830702970 10818592768 95312 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 4 0 16800975 18446604458891600832 0 0 -1 1 0 0 0
[pid=26916/tid=26919] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26919/stat : 26919 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830702972 10818592768 95312 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26920] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26920/stat : 26920 (java) S 26914 26916 23433 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830702972 10818592768 95312 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26921] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26921/stat : 26921 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830702972 10818592768 95312 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26922] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26922/stat : 26922 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830702972 10818592768 95312 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26923] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26923/stat : 26923 (java) S 26914 26916 23433 0 -1 4202560 95 0 0 0 0 0 0 0 18 0 19 0 830702972 10818592768 95312 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 3 0 0 0
[pid=26916/tid=26924] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26924/stat : 26924 (java) S 26914 26916 23433 0 -1 4202560 197 0 0 0 0 0 0 0 18 0 19 0 830702972 10818592768 95312 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 1 0 0 0
[pid=26916/tid=26925] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26925/stat : 26925 (java) S 26914 26916 23433 0 -1 4202560 447 0 0 0 0 0 0 0 18 0 19 0 830702972 10818592768 95312 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26926] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26926/stat : 26926 (java) S 26914 26916 23433 0 -1 4202560 238 0 0 0 0 0 0 0 18 0 19 0 830702972 10818592768 95312 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26927] ppid=26914 vsize=10565032 CPUtime=0.01 cores=1,3,5,7
/proc/26916/task/26927/stat : 26927 (java) S 26914 26916 23433 0 -1 4202560 971 0 0 0 1 0 0 0 15 0 19 0 830702973 10818592768 95312 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 0 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26928] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26928/stat : 26928 (java) S 26914 26916 23433 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830702973 10818592768 95312 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26929] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26929/stat : 26929 (java) S 26914 26916 23433 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 830702973 10818592768 95312 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26930] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26930/stat : 26930 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830702976 10818592768 95312 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562361265 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26931] ppid=26914 vsize=10565032 CPUtime=0.9 cores=1,3,5,7
/proc/26916/task/26931/stat : 26931 (java) S 26914 26916 23433 0 -1 4202560 8145 0 0 0 90 0 0 0 15 0 19 0 830702976 10818592768 95312 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26932] ppid=26914 vsize=10565032 CPUtime=1.35 cores=1,3,5,7
/proc/26916/task/26932/stat : 26932 (java) S 26914 26916 23433 0 -1 4202560 9373 0 0 0 135 0 0 0 15 0 19 0 830702976 10818592768 95312 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 1 0 0 0
[pid=26916/tid=26933] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26933/stat : 26933 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830702976 10818592768 95312 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26934] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26934/stat : 26934 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830702976 10818592768 95312 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26937] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26937/stat : 26937 (java) S 26914 26916 23433 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 830702993 10818592768 95312 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.16
Current children cumulated vsize (KiB) 10565032
[startup+6.30116 s]
/proc/loadavg: 3.96 4.03 3.78 3/493 26969
/proc/meminfo: memFree=29322776/32951124 swapFree=55639044/67111528
[pid=26916] ppid=26914 vsize=10565032 CPUtime=5.76 cores=1,3,5,7
/proc/26916/stat : 26916 (java) S 26914 26916 23433 0 -1 4202496 118516 0 1 0 563 13 0 0 25 0 22 0 830702970 10818592768 112203 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26916/statm: 2641258 112203 2257 9 0 2631992 0
[pid=26916/tid=26917] ppid=26914 vsize=10565032 CPUtime=0.23 cores=1,3,5,7
/proc/26916/task/26917/stat : 26917 (java) S 26914 26916 23433 0 -1 4202560 12162 0 1 0 22 1 0 0 17 0 22 0 830702970 10818592768 112203 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26919] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26919/stat : 26919 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830702972 10818592768 112203 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26920] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26920/stat : 26920 (java) S 26914 26916 23433 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830702972 10818592768 112203 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26921] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26921/stat : 26921 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830702972 10818592768 112203 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26922] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26922/stat : 26922 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830702972 10818592768 112204 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26923] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26923/stat : 26923 (java) S 26914 26916 23433 0 -1 4202560 95 0 0 0 0 0 0 0 18 0 22 0 830702972 10818592768 112204 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 3 0 0 0
[pid=26916/tid=26924] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26924/stat : 26924 (java) S 26914 26916 23433 0 -1 4202560 197 0 0 0 0 0 0 0 18 0 22 0 830702972 10818592768 112204 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 1 0 0 0
[pid=26916/tid=26925] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26925/stat : 26925 (java) S 26914 26916 23433 0 -1 4202560 447 0 0 0 0 0 0 0 18 0 22 0 830702972 10818592768 112204 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26926] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26926/stat : 26926 (java) S 26914 26916 23433 0 -1 4202560 238 0 0 0 0 0 0 0 18 0 22 0 830702972 10818592768 112204 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26927] ppid=26914 vsize=10565032 CPUtime=0.01 cores=1,3,5,7
/proc/26916/task/26927/stat : 26927 (java) S 26914 26916 23433 0 -1 4202560 971 0 0 0 1 0 0 0 16 0 22 0 830702973 10818592768 112204 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 0 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26928] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26928/stat : 26928 (java) S 26914 26916 23433 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830702973 10818592768 112204 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26929] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26929/stat : 26929 (java) S 26914 26916 23433 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830702973 10818592768 112204 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26930] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26930/stat : 26930 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830702976 10818592768 112204 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562361265 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26931] ppid=26914 vsize=10565032 CPUtime=0.94 cores=1,3,5,7
/proc/26916/task/26931/stat : 26931 (java) S 26914 26916 23433 0 -1 4202560 8145 0 0 0 94 0 0 0 15 0 22 0 830702976 10818592768 112204 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26932] ppid=26914 vsize=10565032 CPUtime=1.4 cores=1,3,5,7
/proc/26916/task/26932/stat : 26932 (java) R 26914 26916 23433 0 -1 4202560 9373 0 0 0 140 0 0 0 15 0 22 0 830702976 10818592768 112204 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 47495099008598 0 4 0 16800975 0 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/26916/task/27082/stat : 27082 (java) R 26914 26916 23433 0 -1 4202560 16 0 0 0 76271 0 0 0 25 0 21 0 830792738 10818592768 993186 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 46912505665071 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26916/tid=27083] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/27083/stat : 27083 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 830792837 10818592768 993186 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1664.76
Current children cumulated vsize (KiB) 10565032
[startup+1722.3 s]
/proc/loadavg: 1.04 1.16 1.94 2/468 27137
/proc/meminfo: memFree=27819284/32951124 swapFree=55639044/67111528
[pid=26916] ppid=26914 vsize=10565032 CPUtime=1724.83 cores=1,3,5,7
/proc/26916/stat : 26916 (java) S 26914 26916 23433 0 -1 4202496 1004832 0 1 0 172372 111 0 0 25 0 21 0 830702970 10818592768 995098 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26916/statm: 2641258 995098 2257 9 0 2631992 0
[pid=26916/tid=26917] ppid=26914 vsize=10565032 CPUtime=0.23 cores=1,3,5,7
/proc/26916/task/26917/stat : 26917 (java) S 26914 26916 23433 0 -1 4202560 12179 0 1 0 22 1 0 0 15 0 21 0 830702970 10818592768 995098 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 4 0 16800975 18446604458891600832 0 0 -1 3 0 0 0
[pid=26916/tid=26919] ppid=26914 vsize=10565032 CPUtime=0.58 cores=1,3,5,7
/proc/26916/task/26919/stat : 26919 (java) S 26914 26916 23433 0 -1 4202560 12140 0 0 0 57 1 0 0 16 0 21 0 830702972 10818592768 995098 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26920] ppid=26914 vsize=10565032 CPUtime=0.6 cores=1,3,5,7
/proc/26916/task/26920/stat : 26920 (java) S 26914 26916 23433 0 -1 4202560 22643 0 0 0 57 3 0 0 15 0 21 0 830702972 10818592768 995098 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26921] ppid=26914 vsize=10565032 CPUtime=0.65 cores=1,3,5,7
/proc/26916/task/26921/stat : 26921 (java) S 26914 26916 23433 0 -1 4202560 20176 0 0 0 63 2 0 0 15 0 21 0 830702972 10818592768 995098 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 1 0 0 0
[pid=26916/tid=26922] ppid=26914 vsize=10565032 CPUtime=0.59 cores=1,3,5,7
/proc/26916/task/26922/stat : 26922 (java) S 26914 26916 23433 0 -1 4202560 20377 0 0 0 57 2 0 0 15 0 21 0 830702972 10818592768 995098 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 1 0 0 0
[pid=26916/tid=26923] ppid=26914 vsize=10565032 CPUtime=0.71 cores=1,3,5,7
/proc/26916/task/26923/stat : 26923 (java) S 26914 26916 23433 0 -1 4202560 20577 0 0 0 68 3 0 0 15 0 21 0 830702972 10818592768 995098 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26924] ppid=26914 vsize=10565032 CPUtime=0.56 cores=1,3,5,7
/proc/26916/task/26924/stat : 26924 (java) S 26914 26916 23433 0 -1 4202560 13880 0 0 0 55 1 0 0 15 0 21 0 830702972 10818592768 995098 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 1 0 0 0
[pid=26916/tid=26925] ppid=26914 vsize=10565032 CPUtime=0.71 cores=1,3,5,7
/proc/26916/task/26925/stat : 26925 (java) S 26914 26916 23433 0 -1 4202560 24651 0 0 0 69 2 0 0 16 0 21 0 830702972 10818592768 995098 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 1 0 0 0
[pid=26916/tid=26926] ppid=26914 vsize=10565032 CPUtime=0.58 cores=1,3,5,7
/proc/26916/task/26926/stat : 26926 (java) S 26914 26916 23433 0 -1 4202560 16393 0 0 0 57 1 0 0 16 0 21 0 830702972 10818592768 995098 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26927] ppid=26914 vsize=10565032 CPUtime=2.68 cores=1,3,5,7
/proc/26916/task/26927/stat : 26927 (java) S 26914 26916 23433 0 -1 4202560 27304 0 0 0 266 2 0 0 15 0 21 0 830702973 10818592768 995098 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 0 0 16800975 18446604458891600832 0 0 -1 3 0 0 0
[pid=26916/tid=26928] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26928/stat : 26928 (java) S 26914 26916 23433 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 21 0 830702973 10818592768 995098 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26929] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26929/stat : 26929 (java) S 26914 26916 23433 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 21 0 830702973 10818592768 995098 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26930] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26930/stat : 26930 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830702976 10818592768 995098 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562361265 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26931] ppid=26914 vsize=10565032 CPUtime=1.66 cores=1,3,5,7
/proc/26916/task/26931/stat : 26931 (java) S 26914 26916 23433 0 -1 4202560 8874 0 0 0 165 1 0 0 16 0 21 0 830702976 10818592768 995098 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26932] ppid=26914 vsize=10565032 CPUtime=1.64 cores=1,3,5,7
/proc/26916/task/26932/stat : 26932 (java) S 26914 26916 23433 0 -1 4202560 9391 0 0 0 164 0 0 0 16 0 21 0 830702976 10818592768 995098 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 1 0 0 0
[pid=26916/tid=26933] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26933/stat : 26933 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830702976 10818592768 995098 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26934] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26934/stat : 26934 (java) S 26914 26916 23433 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 21 0 830702976 10818592768 995098 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 4 0 16800975 18446604458891600832 0 0 -1 1 0 0 0
[pid=26916/tid=26973] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26973/stat : 26973 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 21 0 830703548 10818592768 995098 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=27082] ppid=26914 vsize=10565032 CPUtime=822.68 cores=1,3,5,7
/proc/26916/task/27082/stat : 27082 (java) R 26914 26916 23433 0 -1 4202560 17 0 0 0 82268 0 0 0 25 0 21 0 830792738 10818592768 995098 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 46912505661944 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26916/tid=27083] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/27083/stat : 27083 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 830792837 10818592768 995098 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.83
Current children cumulated vsize (KiB) 10565032
[startup+1782.3 s]
/proc/loadavg: 1.07 1.14 1.88 2/468 27139
/proc/meminfo: memFree=27807860/32951124 swapFree=55639044/67111528
[pid=26916] ppid=26914 vsize=10565032 CPUtime=1784.92 cores=1,3,5,7
/proc/26916/stat : 26916 (java) S 26914 26916 23433 0 -1 4202496 1007607 0 1 0 178381 111 0 0 25 0 21 0 830702970 10818592768 997788 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26916/statm: 2641258 997788 2257 9 0 2631992 0
[pid=26916/tid=26917] ppid=26914 vsize=10565032 CPUtime=0.23 cores=1,3,5,7
/proc/26916/task/26917/stat : 26917 (java) S 26914 26916 23433 0 -1 4202560 12180 0 1 0 22 1 0 0 15 0 21 0 830702970 10818592768 997788 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 4 0 16800975 18446604458891600832 0 0 -1 3 0 0 0
[pid=26916/tid=26919] ppid=26914 vsize=10565032 CPUtime=0.61 cores=1,3,5,7
/proc/26916/task/26919/stat : 26919 (java) S 26914 26916 23433 0 -1 4202560 12769 0 0 0 60 1 0 0 16 0 21 0 830702972 10818592768 997788 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26920] ppid=26914 vsize=10565032 CPUtime=0.66 cores=1,3,5,7
/proc/26916/task/26920/stat : 26920 (java) S 26914 26916 23433 0 -1 4202560 23763 0 0 0 63 3 0 0 16 0 21 0 830702972 10818592768 997788 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26921] ppid=26914 vsize=10565032 CPUtime=0.68 cores=1,3,5,7
/proc/26916/task/26921/stat : 26921 (java) S 26914 26916 23433 0 -1 4202560 20789 0 0 0 66 2 0 0 15 0 21 0 830702972 10818592768 997788 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 1 0 0 0
[pid=26916/tid=26922] ppid=26914 vsize=10565032 CPUtime=0.59 cores=1,3,5,7
/proc/26916/task/26922/stat : 26922 (java) S 26914 26916 23433 0 -1 4202560 20377 0 0 0 57 2 0 0 15 0 21 0 830702972 10818592768 997788 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 1 0 0 0
[pid=26916/tid=26923] ppid=26914 vsize=10565032 CPUtime=0.71 cores=1,3,5,7
/proc/26916/task/26923/stat : 26923 (java) S 26914 26916 23433 0 -1 4202560 20577 0 0 0 68 3 0 0 15 0 21 0 830702972 10818592768 997788 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26924] ppid=26914 vsize=10565032 CPUtime=0.58 cores=1,3,5,7
/proc/26916/task/26924/stat : 26924 (java) S 26914 26916 23433 0 -1 4202560 14273 0 0 0 57 1 0 0 15 0 21 0 830702972 10818592768 997788 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26925] ppid=26914 vsize=10565032 CPUtime=0.71 cores=1,3,5,7
/proc/26916/task/26925/stat : 26925 (java) S 26914 26916 23433 0 -1 4202560 24651 0 0 0 69 2 0 0 15 0 21 0 830702972 10818592768 997788 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 1 0 0 0
[pid=26916/tid=26926] ppid=26914 vsize=10565032 CPUtime=0.59 cores=1,3,5,7
/proc/26916/task/26926/stat : 26926 (java) S 26914 26916 23433 0 -1 4202560 16403 0 0 0 58 1 0 0 15 0 21 0 830702972 10818592768 997788 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 3 0 0 0
[pid=26916/tid=26927] ppid=26914 vsize=10565032 CPUtime=2.68 cores=1,3,5,7
/proc/26916/task/26927/stat : 26927 (java) S 26914 26916 23433 0 -1 4202560 27308 0 0 0 266 2 0 0 15 0 21 0 830702973 10818592768 997788 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 0 0 16800975 18446604458891600832 0 0 -1 3 0 0 0
[pid=26916/tid=26928] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26928/stat : 26928 (java) S 26914 26916 23433 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 21 0 830702973 10818592768 997788 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26929] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26929/stat : 26929 (java) S 26914 26916 23433 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 21 0 830702973 10818592768 997788 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26930] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26930/stat : 26930 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830702976 10818592768 997788 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562361265 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26931] ppid=26914 vsize=10565032 CPUtime=1.66 cores=1,3,5,7
/proc/26916/task/26931/stat : 26931 (java) S 26914 26916 23433 0 -1 4202560 8874 0 0 0 165 1 0 0 16 0 21 0 830702976 10818592768 997788 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26932] ppid=26914 vsize=10565032 CPUtime=1.64 cores=1,3,5,7
/proc/26916/task/26932/stat : 26932 (java) S 26914 26916 23433 0 -1 4202560 9391 0 0 0 164 0 0 0 16 0 21 0 830702976 10818592768 997788 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 1 0 0 0
[pid=26916/tid=26933] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26933/stat : 26933 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830702976 10818592768 997788 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26934] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26934/stat : 26934 (java) S 26914 26916 23433 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 21 0 830702976 10818592768 997788 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 4 0 16800975 18446604458891600832 0 0 -1 1 0 0 0
[pid=26916/tid=26973] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26973/stat : 26973 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 21 0 830703548 10818592768 997788 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=27082] ppid=26914 vsize=10565032 CPUtime=882.62 cores=1,3,5,7
/proc/26916/task/27082/stat : 27082 (java) R 26914 26916 23433 0 -1 4202560 18 0 0 0 88262 0 0 0 25 0 21 0 830792738 10818592768 997788 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 46912505664917 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26916/tid=27083] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/27083/stat : 27083 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 830792837 10818592768 997788 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.92
Current children cumulated vsize (KiB) 10565032
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.42 s]
/proc/loadavg: 1.05 1.13 1.87 2/468 27139
/proc/meminfo: memFree=27806124/32951124 swapFree=55639044/67111528
[pid=26916] ppid=26914 vsize=10565032 CPUtime=1800.11 cores=1,3,5,7
/proc/26916/stat : 26916 (java) S 26914 26916 23433 0 -1 4202496 1008173 0 1 0 179900 111 0 0 25 0 21 0 830702970 10818592768 998341 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26916/statm: 2641258 998341 2257 9 0 2631992 0
[pid=26916/tid=26917] ppid=26914 vsize=10565032 CPUtime=0.23 cores=1,3,5,7
/proc/26916/task/26917/stat : 26917 (java) S 26914 26916 23433 0 -1 4202560 12180 0 1 0 22 1 0 0 15 0 21 0 830702970 10818592768 998341 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 4 0 16800975 18446604458891600832 0 0 -1 3 0 0 0
[pid=26916/tid=26919] ppid=26914 vsize=10565032 CPUtime=0.61 cores=1,3,5,7
/proc/26916/task/26919/stat : 26919 (java) S 26914 26916 23433 0 -1 4202560 12769 0 0 0 60 1 0 0 15 0 21 0 830702972 10818592768 998341 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26920] ppid=26914 vsize=10565032 CPUtime=0.66 cores=1,3,5,7
/proc/26916/task/26920/stat : 26920 (java) S 26914 26916 23433 0 -1 4202560 23763 0 0 0 63 3 0 0 15 0 21 0 830702972 10818592768 998341 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26921] ppid=26914 vsize=10565032 CPUtime=0.7 cores=1,3,5,7
/proc/26916/task/26921/stat : 26921 (java) S 26914 26916 23433 0 -1 4202560 20879 0 0 0 68 2 0 0 16 0 21 0 830702972 10818592768 998341 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 1 0 0 0
[pid=26916/tid=26922] ppid=26914 vsize=10565032 CPUtime=0.59 cores=1,3,5,7
/proc/26916/task/26922/stat : 26922 (java) S 26914 26916 23433 0 -1 4202560 20377 0 0 0 57 2 0 0 15 0 21 0 830702972 10818592768 998341 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 1 0 0 0
[pid=26916/tid=26923] ppid=26914 vsize=10565032 CPUtime=0.71 cores=1,3,5,7
/proc/26916/task/26923/stat : 26923 (java) S 26914 26916 23433 0 -1 4202560 20577 0 0 0 68 3 0 0 15 0 21 0 830702972 10818592768 998341 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26924] ppid=26914 vsize=10565032 CPUtime=0.6 cores=1,3,5,7
/proc/26916/task/26924/stat : 26924 (java) S 26914 26916 23433 0 -1 4202560 14580 0 0 0 59 1 0 0 16 0 21 0 830702972 10818592768 998341 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26925] ppid=26914 vsize=10565032 CPUtime=0.73 cores=1,3,5,7
/proc/26916/task/26925/stat : 26925 (java) S 26914 26916 23433 0 -1 4202560 24669 0 0 0 71 2 0 0 16 0 21 0 830702972 10818592768 998341 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26926] ppid=26914 vsize=10565032 CPUtime=0.61 cores=1,3,5,7
/proc/26916/task/26926/stat : 26926 (java) S 26914 26916 23433 0 -1 4202560 16551 0 0 0 60 1 0 0 16 0 21 0 830702972 10818592768 998341 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 3 0 0 0
[pid=26916/tid=26927] ppid=26914 vsize=10565032 CPUtime=2.68 cores=1,3,5,7
/proc/26916/task/26927/stat : 26927 (java) S 26914 26916 23433 0 -1 4202560 27310 0 0 0 266 2 0 0 15 0 21 0 830702973 10818592768 998341 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 0 0 16800975 18446604458891600832 0 0 -1 3 0 0 0
[pid=26916/tid=26928] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26928/stat : 26928 (java) S 26914 26916 23433 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 21 0 830702973 10818592768 998341 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26929] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26929/stat : 26929 (java) S 26914 26916 23433 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 21 0 830702973 10818592768 998341 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26930] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26930/stat : 26930 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830702976 10818592768 998341 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562361265 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26931] ppid=26914 vsize=10565032 CPUtime=1.66 cores=1,3,5,7
/proc/26916/task/26931/stat : 26931 (java) S 26914 26916 23433 0 -1 4202560 8874 0 0 0 165 1 0 0 16 0 21 0 830702976 10818592768 998341 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=26932] ppid=26914 vsize=10565032 CPUtime=1.64 cores=1,3,5,7
/proc/26916/task/26932/stat : 26932 (java) S 26914 26916 23433 0 -1 4202560 9391 0 0 0 164 0 0 0 16 0 21 0 830702976 10818592768 998341 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 1 0 0 0
[pid=26916/tid=26933] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26933/stat : 26933 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 830702976 10818592768 998341 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562353561 0 4 0 16800975 18446604458891600832 0 0 -1 5 0 0 0
[pid=26916/tid=26934] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26934/stat : 26934 (java) S 26914 26916 23433 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 21 0 830702976 10818592768 998341 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 4 0 16800975 18446604458891600832 0 0 -1 1 0 0 0
[pid=26916/tid=26973] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/26973/stat : 26973 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 21 0 830703548 10818592768 998341 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
[pid=26916/tid=27082] ppid=26914 vsize=10565032 CPUtime=897.73 cores=1,3,5,7
/proc/26916/task/27082/stat : 27082 (java) R 26914 26916 23433 0 -1 4202560 19 0 0 0 89773 0 0 0 25 0 21 0 830792738 10818592768 998341 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 46912505664917 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26916/tid=27083] ppid=26914 vsize=10565032 CPUtime=0 cores=1,3,5,7
/proc/26916/task/27083/stat : 27083 (java) S 26914 26916 23433 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 830792837 10818592768 998341 33554432000 1073741824 1073778376 140734889612400 18446744073709551615 271562354176 0 4 0 16800975 18446604458891600832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 10565032
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.6 s]
/proc/loadavg: 1.05 1.13 1.87 2/468 27139
/proc/meminfo: memFree=27806124/32951124 swapFree=55639044/67111528
[pid=26916] ppid=26914 vsize=0 CPUtime=1800.29 cores=1,3,5,7
/proc/26916/stat : 26916 (java) Z 26914 26916 23433 0 -1 4203548 1008193 0 1 0 179903 126 0 0 17 0 2 0 830702970 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26916/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.6
CPU time (s): 1800.3
CPU user time (s): 1799.04
CPU system time (s): 1.26281
CPU usage (%): 100.15
Max. virtual memory (cumulated for all children) (KiB): 10570044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.04
system time used= 1.26281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1008193
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= 70909
involuntary context switches= 12127
runsolver used 8.09277 second user time and 19.726 second system time
The end