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-3456196-1307664609/watcher-3456196-1307664609 -o /tmp/evaluation-result-3456196-1307664609/solver-3456196-1307664609 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456196-1307664609.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.94 1.99 1.99 4/195 13974
/proc/meminfo: memFree=28502068/32950928 swapFree=67055428/67111528
[pid=13974] ppid=13972 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/13974/stat : 13974 (java) S 13972 13974 12474 0 -1 4202496 427 0 0 0 0 0 0 0 19 0 1 0 878058017 9318400 172 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239471771271 0 2147483391 4096 0 18446744071699207358 0 0 17 3 0 0 0
/proc/13974/statm: 5101 172 132 9 0 67 0
[startup+0.0608901 s]
/proc/loadavg: 1.94 1.99 1.99 4/195 13974
/proc/meminfo: memFree=28502068/32950928 swapFree=67055428/67111528
[pid=13974] ppid=13972 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/13974/stat : 13974 (java) S 13972 13974 12474 0 -1 4202496 11545 0 1 0 3 1 0 0 19 0 13 0 878058017 10718838784 11241 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488497637 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/13974/statm: 2616904 11241 1691 9 0 2607652 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.104921 s]
/proc/loadavg: 1.94 1.99 1.99 4/195 13974
/proc/meminfo: memFree=28502068/32950928 swapFree=67055428/67111528
[pid=13974] ppid=13972 vsize=10540184 CPUtime=0.1 cores=1,3,5,7
/proc/13974/stat : 13974 (java) S 13972 13974 12474 0 -1 4202496 13072 0 1 0 9 1 0 0 19 0 18 0 878058017 10793148416 12769 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13974/statm: 2635046 12769 2093 9 0 2625780 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540184
[startup+0.300835 s]
/proc/loadavg: 1.94 1.99 1.99 4/195 13974
/proc/meminfo: memFree=28502068/32950928 swapFree=67055428/67111528
[pid=13974] ppid=13972 vsize=10544024 CPUtime=0.45 cores=1,3,5,7
/proc/13974/stat : 13974 (java) S 13972 13974 12474 0 -1 4202496 15368 0 1 0 44 1 0 0 19 0 19 0 878058017 10797080576 14995 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13974/statm: 2636006 14995 2216 9 0 2626740 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10544024
[startup+0.70076 s]
/proc/loadavg: 1.94 1.99 1.99 4/195 13974
/proc/meminfo: memFree=28502068/32950928 swapFree=67055428/67111528
[pid=13974] ppid=13972 vsize=10553908 CPUtime=1.61 cores=1,3,5,7
/proc/13974/stat : 13974 (java) S 13972 13974 12474 0 -1 4202496 32117 0 1 0 158 3 0 0 19 0 19 0 878058017 10807201792 28247 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13974/statm: 2638477 28249 2230 9 0 2629211 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 10553908
[startup+1.50162 s]
/proc/loadavg: 1.94 1.99 1.99 4/198 13996
/proc/meminfo: memFree=30843704/32950928 swapFree=67055428/67111528
[pid=13974] ppid=13972 vsize=10553908 CPUtime=2.62 cores=1,3,5,7
/proc/13974/stat : 13974 (java) S 13972 13974 12474 0 -1 4202496 76250 0 1 0 255 7 0 0 19 0 19 0 878058017 10807201792 72166 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13974/statm: 2638477 72170 2235 9 0 2629211 0
[pid=13974/tid=13976] ppid=13972 vsize=10553908 CPUtime=1.47 cores=1,3,5,7
/proc/13974/task/13976/stat : 13976 (java) R 13972 13974 12474 0 -1 4202560 64623 0 1 0 142 5 0 0 20 0 19 0 878058018 10807201792 72171 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 46912505659134 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13974/tid=13977] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13977/stat : 13977 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 878058020 10807201792 72173 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 7 0 0 0
[pid=13974/tid=13978] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13978/stat : 13978 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058020 10807201792 72175 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 7 0 0 0
[pid=13974/tid=13979] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13979/stat : 13979 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058020 10807201792 72176 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13980] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13980/stat : 13980 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058020 10807201792 72177 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 7 0 0 0
[pid=13974/tid=13981] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13981/stat : 13981 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058020 10807201792 72178 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13982] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13982/stat : 13982 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058020 10807201792 72179 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13983] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13983/stat : 13983 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058020 10807201792 72180 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 7 0 0 0
[pid=13974/tid=13984] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13984/stat : 13984 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058020 10807201792 72182 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13985] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13985/stat : 13985 (java) S 13972 13974 12474 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 878058021 10807201792 72183 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488511488 0 0 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13986] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13986/stat : 13986 (java) S 13972 13974 12474 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 878058021 10807201792 72184 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13987] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13987/stat : 13987 (java) S 13972 13974 12474 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 878058021 10807201792 72185 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13988] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13988/stat : 13988 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058023 10807201792 72187 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488518577 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13989] ppid=13972 vsize=10553908 CPUtime=0.56 cores=1,3,5,7
/proc/13974/task/13989/stat : 13989 (java) S 13972 13974 12474 0 -1 4202560 5530 0 0 0 55 1 0 0 15 0 19 0 878058023 10807201792 72188 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13990] ppid=13972 vsize=10553908 CPUtime=0.57 cores=1,3,5,7
/proc/13974/task/13990/stat : 13990 (java) S 13972 13974 12474 0 -1 4202560 4941 0 0 0 57 0 0 0 15 0 19 0 878058023 10807201792 72189 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13991] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13991/stat : 13991 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 878058023 10807201792 72190 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13992] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13992/stat : 13992 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 878058024 10807201792 72191 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488511488 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13993] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13993/stat : 13993 (java) S 13972 13974 12474 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878058046 10807201792 72192 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488511488 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 10553908
[startup+3.10131 s]
/proc/loadavg: 1.94 1.99 1.99 2/194 13996
/proc/meminfo: memFree=32195740/32950928 swapFree=67055428/67111528
[pid=13974] ppid=13972 vsize=10553908 CPUtime=4.26 cores=1,3,5,7
/proc/13974/stat : 13974 (java) S 13972 13974 12474 0 -1 4202496 166581 0 1 0 408 18 0 0 19 0 19 0 878058017 10807201792 162495 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13974/statm: 2638477 162496 2237 9 0 2629211 0
[pid=13974/tid=13976] ppid=13972 vsize=10553908 CPUtime=3.08 cores=1,3,5,7
/proc/13974/task/13976/stat : 13976 (java) R 13972 13974 12474 0 -1 4202560 154946 0 1 0 292 16 0 0 18 0 19 0 878058018 10807201792 162498 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 46912505642090 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13974/tid=13977] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13977/stat : 13977 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 878058020 10807201792 162499 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 7 0 0 0
[pid=13974/tid=13978] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13978/stat : 13978 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058020 10807201792 162500 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 7 0 0 0
[pid=13974/tid=13979] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13979/stat : 13979 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058020 10807201792 162501 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13980] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13980/stat : 13980 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058020 10807201792 162502 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 7 0 0 0
[pid=13974/tid=13981] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13981/stat : 13981 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058020 10807201792 162503 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13982] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13982/stat : 13982 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058020 10807201792 162504 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13983] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13983/stat : 13983 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058020 10807201792 162505 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 7 0 0 0
[pid=13974/tid=13984] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13984/stat : 13984 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058020 10807201792 162506 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13985] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13985/stat : 13985 (java) S 13972 13974 12474 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 878058021 10807201792 162508 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488511488 0 0 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13986] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13986/stat : 13986 (java) S 13972 13974 12474 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 878058021 10807201792 162510 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13987] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13987/stat : 13987 (java) S 13972 13974 12474 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 878058021 10807201792 162511 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13988] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13988/stat : 13988 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058023 10807201792 162513 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488518577 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13989] ppid=13972 vsize=10553908 CPUtime=0.57 cores=1,3,5,7
/proc/13974/task/13989/stat : 13989 (java) S 13972 13974 12474 0 -1 4202560 5532 0 0 0 56 1 0 0 15 0 19 0 878058023 10807201792 162515 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13990] ppid=13972 vsize=10553908 CPUtime=0.59 cores=1,3,5,7
/proc/13974/task/13990/stat : 13990 (java) S 13972 13974 12474 0 -1 4202560 4945 0 0 0 59 0 0 0 15 0 19 0 878058023 10807201792 162516 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13991] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13991/stat : 13991 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 878058023 10807201792 162518 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13992] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13992/stat : 13992 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 878058024 10807201792 162519 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488511488 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13993] ppid=13972 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13993/stat : 13993 (java) S 13972 13974 12474 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878058046 10807201792 162521 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488511488 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 10553908
[startup+6.3007 s]
/proc/loadavg: 2.10 2.02 2.01 3/214 14052
/proc/meminfo: memFree=31206260/32950928 swapFree=67055428/67111528
[pid=13974] ppid=13972 vsize=10551224 CPUtime=7.48 cores=1,3,5,7
/proc/13974/stat : 13974 (java) S 13972 13974 12474 0 -1 4202496 336836 0 1 0 714 34 0 0 19 0 19 0 878058017 10804453376 332126 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13974/statm: 2637806 332128 2238 9 0 2628540 0
[pid=13974/tid=13976] ppid=13972 vsize=10551224 CPUtime=6.27 cores=1,3,5,7
/proc/13974/task/13976/stat : 13976 (java) R 13972 13974 12474 0 -1 4202560 325196 0 1 0 595 32 0 0 21 0 19 0 878058018 10804453376 332129 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 46912505659119 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13974/tid=13977] ppid=13972 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13977/stat : 13977 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 878058020 10804453376 332130 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 7 0 0 0
[pid=13974/tid=13978] ppid=13972 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13978/stat : 13978 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058020 10804453376 332132 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 7 0 0 0
[pid=13974/tid=13979] ppid=13972 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13979/stat : 13979 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058020 10804453376 332133 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13980] ppid=13972 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13980/stat : 13980 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058020 10804453376 332134 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 7 0 0 0
[pid=13974/tid=13981] ppid=13972 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13981/stat : 13981 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058020 10804453376 332135 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13982] ppid=13972 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13982/stat : 13982 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058020 10804453376 332136 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13983] ppid=13972 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13983/stat : 13983 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058020 10804453376 332137 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 7 0 0 0
[pid=13974/tid=13984] ppid=13972 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13984/stat : 13984 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058020 10804453376 332139 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13985] ppid=13972 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13985/stat : 13985 (java) S 13972 13974 12474 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 878058021 10804453376 332140 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488511488 0 0 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13986] ppid=13972 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13986/stat : 13986 (java) S 13972 13974 12474 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 878058021 10804453376 332141 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13987] ppid=13972 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13987/stat : 13987 (java) S 13972 13974 12474 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 878058021 10804453376 332142 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13988] ppid=13972 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13988/stat : 13988 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058023 10804453376 332143 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488518577 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13989] ppid=13972 vsize=10551224 CPUtime=0.57 cores=1,3,5,7
/proc/13974/task/13989/stat : 13989 (java) S 13972 13974 12474 0 -1 4202560 5532 0 0 0 56 1 0 0 16 0 19 0 878058023 10804453376 332144 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13990] ppid=13972 vsize=10551224 CPUtime=0.61 cores=1,3,5,7
/proc/13974/task/13990/stat : 13990 (java) S 13972 13974 12474 0 -1 4202560 4949 0 0 0 61 0 0 0 15 0 19 0 878058023 10804453376 332145 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13991] ppid=13972 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13991/stat : 13991 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 878058023 10804453376 332146 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13992] ppid=13972 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13992/stat : 13992 (java) S 13972 13974 12474 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 878058024 10804453376 332148 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488511488 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13993] ppid=13972 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13993/stat : 13993 (java) S 13972 13974 12474 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878058046 10804453376 332149 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488511488 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.48
Current children cumulated vsize (KiB) 10551224
[startup+12.7015 s]
################
# More data... #
################
/proc/13974/task/13986/stat : 13986 (java) S 13972 13974 12474 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878058021 10805927936 978095 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13987] ppid=13972 vsize=10552664 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13987/stat : 13987 (java) S 13972 13974 12474 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 878058021 10805927936 978095 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13988] ppid=13972 vsize=10552664 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13988/stat : 13988 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058023 10805927936 978095 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488518577 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13989] ppid=13972 vsize=10552664 CPUtime=0.81 cores=1,3,5,7
/proc/13974/task/13989/stat : 13989 (java) S 13972 13974 12474 0 -1 4202560 5677 0 0 0 80 1 0 0 15 0 19 0 878058023 10805927936 978095 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 7 0 0 0
[pid=13974/tid=13990] ppid=13972 vsize=10552664 CPUtime=0.78 cores=1,3,5,7
/proc/13974/task/13990/stat : 13990 (java) S 13972 13974 12474 0 -1 4202560 4985 0 0 0 78 0 0 0 15 0 19 0 878058023 10805927936 978095 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13991] ppid=13972 vsize=10552664 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13991/stat : 13991 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 878058023 10805927936 978095 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13992] ppid=13972 vsize=10552664 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13992/stat : 13992 (java) S 13972 13974 12474 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 878058024 10805927936 978095 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488511488 0 4 0 16800975 18446604454223779008 0 0 -1 1 0 0 0
[pid=13974/tid=13993] ppid=13972 vsize=10552664 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13993/stat : 13993 (java) S 13972 13974 12474 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878058046 10805927936 978095 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488511488 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1668.42
Current children cumulated vsize (KiB) 10552664
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 14098
/proc/meminfo: memFree=24396172/32950928 swapFree=67055428/67111528
[pid=13974] ppid=13972 vsize=10552664 CPUtime=1728.58 cores=1,3,5,7
/proc/13974/stat : 13974 (java) S 13972 13974 12474 0 -1 4202496 986871 0 1 0 172747 111 0 0 19 0 19 0 878058017 10805927936 979727 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13974/statm: 2638166 979727 2267 9 0 2628900 0
[pid=13974/tid=13976] ppid=13972 vsize=10552664 CPUtime=1719.36 cores=1,3,5,7
/proc/13974/task/13976/stat : 13976 (java) R 13972 13974 12474 0 -1 4202560 783607 0 1 0 171853 83 0 0 25 0 19 0 878058018 10805927936 979727 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 46912505658610 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13974/tid=13977] ppid=13972 vsize=10552664 CPUtime=0.66 cores=1,3,5,7
/proc/13974/task/13977/stat : 13977 (java) S 13972 13974 12474 0 -1 4202560 19916 0 0 0 64 2 0 0 15 0 19 0 878058020 10805927936 979727 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 1 0 0 0
[pid=13974/tid=13978] ppid=13972 vsize=10552664 CPUtime=0.88 cores=1,3,5,7
/proc/13974/task/13978/stat : 13978 (java) S 13972 13974 12474 0 -1 4202560 23991 0 0 0 86 2 0 0 16 0 19 0 878058020 10805927936 979727 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 7 0 0 0
[pid=13974/tid=13979] ppid=13972 vsize=10552664 CPUtime=0.71 cores=1,3,5,7
/proc/13974/task/13979/stat : 13979 (java) S 13972 13974 12474 0 -1 4202560 19375 0 0 0 68 3 0 0 15 0 19 0 878058020 10805927936 979727 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 7 0 0 0
[pid=13974/tid=13980] ppid=13972 vsize=10552664 CPUtime=0.84 cores=1,3,5,7
/proc/13974/task/13980/stat : 13980 (java) S 13972 13974 12474 0 -1 4202560 19100 0 0 0 82 2 0 0 15 0 19 0 878058020 10805927936 979727 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 7 0 0 0
[pid=13974/tid=13981] ppid=13972 vsize=10552664 CPUtime=0.86 cores=1,3,5,7
/proc/13974/task/13981/stat : 13981 (java) S 13972 13974 12474 0 -1 4202560 26920 0 0 0 83 3 0 0 16 0 19 0 878058020 10805927936 979727 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13982] ppid=13972 vsize=10552664 CPUtime=0.88 cores=1,3,5,7
/proc/13974/task/13982/stat : 13982 (java) S 13972 13974 12474 0 -1 4202560 25994 0 0 0 86 2 0 0 16 0 19 0 878058020 10805927936 979727 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13983] ppid=13972 vsize=10552664 CPUtime=0.71 cores=1,3,5,7
/proc/13974/task/13983/stat : 13983 (java) S 13972 13974 12474 0 -1 4202560 21350 0 0 0 69 2 0 0 16 0 19 0 878058020 10805927936 979727 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 1 0 0 0
[pid=13974/tid=13984] ppid=13972 vsize=10552664 CPUtime=0.7 cores=1,3,5,7
/proc/13974/task/13984/stat : 13984 (java) S 13972 13974 12474 0 -1 4202560 19697 0 0 0 67 3 0 0 15 0 19 0 878058020 10805927936 979727 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13985] ppid=13972 vsize=10552664 CPUtime=1.27 cores=1,3,5,7
/proc/13974/task/13985/stat : 13985 (java) S 13972 13974 12474 0 -1 4202560 15006 0 0 0 125 2 0 0 15 0 19 0 878058021 10805927936 979727 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488511488 0 0 0 16800975 18446604454223779008 0 0 -1 1 0 0 0
[pid=13974/tid=13986] ppid=13972 vsize=10552664 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13986/stat : 13986 (java) S 13972 13974 12474 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878058021 10805927936 979727 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13987] ppid=13972 vsize=10552664 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13987/stat : 13987 (java) S 13972 13974 12474 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 878058021 10805927936 979727 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13988] ppid=13972 vsize=10552664 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13988/stat : 13988 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058023 10805927936 979727 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488518577 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13989] ppid=13972 vsize=10552664 CPUtime=0.81 cores=1,3,5,7
/proc/13974/task/13989/stat : 13989 (java) S 13972 13974 12474 0 -1 4202560 5677 0 0 0 80 1 0 0 15 0 19 0 878058023 10805927936 979727 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 7 0 0 0
[pid=13974/tid=13990] ppid=13972 vsize=10552664 CPUtime=0.78 cores=1,3,5,7
/proc/13974/task/13990/stat : 13990 (java) S 13972 13974 12474 0 -1 4202560 4985 0 0 0 78 0 0 0 15 0 19 0 878058023 10805927936 979727 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13991] ppid=13972 vsize=10552664 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13991/stat : 13991 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 878058023 10805927936 979727 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13992] ppid=13972 vsize=10552664 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13992/stat : 13992 (java) S 13972 13974 12474 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 878058024 10805927936 979727 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488511488 0 4 0 16800975 18446604454223779008 0 0 -1 1 0 0 0
[pid=13974/tid=13993] ppid=13972 vsize=10552664 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13993/stat : 13993 (java) S 13972 13974 12474 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878058046 10805927936 979727 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488511488 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1728.58
Current children cumulated vsize (KiB) 10552664
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 14100
/proc/meminfo: memFree=24377376/32950928 swapFree=67055428/67111528
[pid=13974] ppid=13972 vsize=10552664 CPUtime=1788.68 cores=1,3,5,7
/proc/13974/stat : 13974 (java) S 13972 13974 12474 0 -1 4202496 988079 0 1 0 178757 111 0 0 19 0 19 0 878058017 10805927936 980911 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13974/statm: 2638166 980911 2267 9 0 2628900 0
[pid=13974/tid=13976] ppid=13972 vsize=10552664 CPUtime=1779.33 cores=1,3,5,7
/proc/13974/task/13976/stat : 13976 (java) R 13972 13974 12474 0 -1 4202560 783609 0 1 0 177850 83 0 0 25 0 19 0 878058018 10805927936 980911 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 46912505658610 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13974/tid=13977] ppid=13972 vsize=10552664 CPUtime=0.68 cores=1,3,5,7
/proc/13974/task/13977/stat : 13977 (java) S 13972 13974 12474 0 -1 4202560 20092 0 0 0 66 2 0 0 16 0 19 0 878058020 10805927936 980911 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 1 0 0 0
[pid=13974/tid=13978] ppid=13972 vsize=10552664 CPUtime=0.89 cores=1,3,5,7
/proc/13974/task/13978/stat : 13978 (java) S 13972 13974 12474 0 -1 4202560 24089 0 0 0 87 2 0 0 16 0 19 0 878058020 10805927936 980911 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 7 0 0 0
[pid=13974/tid=13979] ppid=13972 vsize=10552664 CPUtime=0.73 cores=1,3,5,7
/proc/13974/task/13979/stat : 13979 (java) S 13972 13974 12474 0 -1 4202560 19455 0 0 0 70 3 0 0 15 0 19 0 878058020 10805927936 980911 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 7 0 0 0
[pid=13974/tid=13980] ppid=13972 vsize=10552664 CPUtime=0.86 cores=1,3,5,7
/proc/13974/task/13980/stat : 13980 (java) S 13972 13974 12474 0 -1 4202560 19131 0 0 0 84 2 0 0 16 0 19 0 878058020 10805927936 980911 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13981] ppid=13972 vsize=10552664 CPUtime=0.88 cores=1,3,5,7
/proc/13974/task/13981/stat : 13981 (java) S 13972 13974 12474 0 -1 4202560 27299 0 0 0 85 3 0 0 16 0 19 0 878058020 10805927936 980911 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13982] ppid=13972 vsize=10552664 CPUtime=0.9 cores=1,3,5,7
/proc/13974/task/13982/stat : 13982 (java) S 13972 13974 12474 0 -1 4202560 26196 0 0 0 88 2 0 0 15 0 19 0 878058020 10805927936 980911 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13983] ppid=13972 vsize=10552664 CPUtime=0.73 cores=1,3,5,7
/proc/13974/task/13983/stat : 13983 (java) S 13972 13974 12474 0 -1 4202560 21483 0 0 0 71 2 0 0 15 0 19 0 878058020 10805927936 980911 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13984] ppid=13972 vsize=10552664 CPUtime=0.71 cores=1,3,5,7
/proc/13974/task/13984/stat : 13984 (java) S 13972 13974 12474 0 -1 4202560 19798 0 0 0 68 3 0 0 15 0 19 0 878058020 10805927936 980911 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13985] ppid=13972 vsize=10552664 CPUtime=1.27 cores=1,3,5,7
/proc/13974/task/13985/stat : 13985 (java) S 13972 13974 12474 0 -1 4202560 15010 0 0 0 125 2 0 0 15 0 19 0 878058021 10805927936 980911 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488511488 0 0 0 16800975 18446604454223779008 0 0 -1 1 0 0 0
[pid=13974/tid=13986] ppid=13972 vsize=10552664 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13986/stat : 13986 (java) S 13972 13974 12474 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878058021 10805927936 980911 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13987] ppid=13972 vsize=10552664 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13987/stat : 13987 (java) S 13972 13974 12474 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 878058021 10805927936 980911 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13988] ppid=13972 vsize=10552664 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13988/stat : 13988 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058023 10805927936 980911 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488518577 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13989] ppid=13972 vsize=10552664 CPUtime=0.81 cores=1,3,5,7
/proc/13974/task/13989/stat : 13989 (java) S 13972 13974 12474 0 -1 4202560 5677 0 0 0 80 1 0 0 15 0 19 0 878058023 10805927936 980911 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 7 0 0 0
[pid=13974/tid=13990] ppid=13972 vsize=10552664 CPUtime=0.78 cores=1,3,5,7
/proc/13974/task/13990/stat : 13990 (java) S 13972 13974 12474 0 -1 4202560 4985 0 0 0 78 0 0 0 15 0 19 0 878058023 10805927936 980911 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13991] ppid=13972 vsize=10552664 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13991/stat : 13991 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 878058023 10805927936 980911 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13992] ppid=13972 vsize=10552664 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13992/stat : 13992 (java) S 13972 13974 12474 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 878058024 10805927936 980911 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488511488 0 4 0 16800975 18446604454223779008 0 0 -1 1 0 0 0
[pid=13974/tid=13993] ppid=13972 vsize=10552664 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13993/stat : 13993 (java) S 13972 13974 12474 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878058046 10805927936 980911 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488511488 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1788.68
Current children cumulated vsize (KiB) 10552664
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 14100
/proc/meminfo: memFree=24359852/32950928 swapFree=67055428/67111528
[pid=13974] ppid=13972 vsize=10552664 CPUtime=1800.04 cores=1,3,5,7
/proc/13974/stat : 13974 (java) S 13972 13974 12474 0 -1 4202496 988669 0 1 0 179893 111 0 0 19 0 19 0 878058017 10805927936 981492 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13974/statm: 2638166 981492 2267 9 0 2628900 0
[pid=13974/tid=13976] ppid=13972 vsize=10552664 CPUtime=1790.61 cores=1,3,5,7
/proc/13974/task/13976/stat : 13976 (java) R 13972 13974 12474 0 -1 4202560 783610 0 1 0 178978 83 0 0 25 0 19 0 878058018 10805927936 981492 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 46912505658610 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13974/tid=13977] ppid=13972 vsize=10552664 CPUtime=0.7 cores=1,3,5,7
/proc/13974/task/13977/stat : 13977 (java) S 13972 13974 12474 0 -1 4202560 20289 0 0 0 68 2 0 0 16 0 19 0 878058020 10805927936 981492 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13978] ppid=13972 vsize=10552664 CPUtime=0.91 cores=1,3,5,7
/proc/13974/task/13978/stat : 13978 (java) S 13972 13974 12474 0 -1 4202560 24203 0 0 0 89 2 0 0 16 0 19 0 878058020 10805927936 981492 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 7 0 0 0
[pid=13974/tid=13979] ppid=13972 vsize=10552664 CPUtime=0.73 cores=1,3,5,7
/proc/13974/task/13979/stat : 13979 (java) S 13972 13974 12474 0 -1 4202560 19456 0 0 0 70 3 0 0 15 0 19 0 878058020 10805927936 981492 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 7 0 0 0
[pid=13974/tid=13980] ppid=13972 vsize=10552664 CPUtime=0.86 cores=1,3,5,7
/proc/13974/task/13980/stat : 13980 (java) S 13972 13974 12474 0 -1 4202560 19131 0 0 0 84 2 0 0 15 0 19 0 878058020 10805927936 981492 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13981] ppid=13972 vsize=10552664 CPUtime=0.9 cores=1,3,5,7
/proc/13974/task/13981/stat : 13981 (java) S 13972 13974 12474 0 -1 4202560 27395 0 0 0 87 3 0 0 16 0 19 0 878058020 10805927936 981492 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13982] ppid=13972 vsize=10552664 CPUtime=0.9 cores=1,3,5,7
/proc/13974/task/13982/stat : 13982 (java) S 13972 13974 12474 0 -1 4202560 26196 0 0 0 88 2 0 0 15 0 19 0 878058020 10805927936 981492 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13983] ppid=13972 vsize=10552664 CPUtime=0.73 cores=1,3,5,7
/proc/13974/task/13983/stat : 13983 (java) S 13972 13974 12474 0 -1 4202560 21483 0 0 0 71 2 0 0 15 0 19 0 878058020 10805927936 981492 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13984] ppid=13972 vsize=10552664 CPUtime=0.73 cores=1,3,5,7
/proc/13974/task/13984/stat : 13984 (java) S 13972 13974 12474 0 -1 4202560 19977 0 0 0 70 3 0 0 16 0 19 0 878058020 10805927936 981492 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13985] ppid=13972 vsize=10552664 CPUtime=1.27 cores=1,3,5,7
/proc/13974/task/13985/stat : 13985 (java) S 13972 13974 12474 0 -1 4202560 15010 0 0 0 125 2 0 0 15 0 19 0 878058021 10805927936 981492 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488511488 0 0 0 16800975 18446604454223779008 0 0 -1 1 0 0 0
[pid=13974/tid=13986] ppid=13972 vsize=10552664 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13986/stat : 13986 (java) S 13972 13974 12474 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878058021 10805927936 981492 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13987] ppid=13972 vsize=10552664 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13987/stat : 13987 (java) S 13972 13974 12474 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 878058021 10805927936 981492 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13988] ppid=13972 vsize=10552664 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13988/stat : 13988 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878058023 10805927936 981492 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488518577 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13989] ppid=13972 vsize=10552664 CPUtime=0.81 cores=1,3,5,7
/proc/13974/task/13989/stat : 13989 (java) S 13972 13974 12474 0 -1 4202560 5677 0 0 0 80 1 0 0 15 0 19 0 878058023 10805927936 981492 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 7 0 0 0
[pid=13974/tid=13990] ppid=13972 vsize=10552664 CPUtime=0.78 cores=1,3,5,7
/proc/13974/task/13990/stat : 13990 (java) S 13972 13974 12474 0 -1 4202560 4985 0 0 0 78 0 0 0 15 0 19 0 878058023 10805927936 981492 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
[pid=13974/tid=13991] ppid=13972 vsize=10552664 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13991/stat : 13991 (java) S 13972 13974 12474 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 878058023 10805927936 981492 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488510873 0 4 0 16800975 18446604454223779008 0 0 -1 3 0 0 0
[pid=13974/tid=13992] ppid=13972 vsize=10552664 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13992/stat : 13992 (java) S 13972 13974 12474 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 878058024 10805927936 981492 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488511488 0 4 0 16800975 18446604454223779008 0 0 -1 1 0 0 0
[pid=13974/tid=13993] ppid=13972 vsize=10552664 CPUtime=0 cores=1,3,5,7
/proc/13974/task/13993/stat : 13993 (java) S 13972 13974 12474 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878058046 10805927936 981492 33554432000 1073741824 1073778376 140735029278624 18446744073709551615 239488511488 0 4 0 16800975 18446604454223779008 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10552664
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 14100
/proc/meminfo: memFree=24359852/32950928 swapFree=67055428/67111528
[pid=13974] ppid=13972 vsize=0 CPUtime=1800.15 cores=1,3,5,7
/proc/13974/stat : 13974 (java) Z 13972 13974 12474 0 -1 4203548 988702 0 1 0 179897 118 0 0 17 0 2 0 878058017 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13974/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.77
CPU time (s): 1800.22
CPU user time (s): 1798.98
CPU system time (s): 1.24581
CPU usage (%): 100.36
Max. virtual memory (cumulated for all children) (KiB): 10553908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.24581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 988702
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= 38952
involuntary context switches= 18994
runsolver used 2.92755 second user time and 6.87296 second system time
The end