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-3458027-1307165025/watcher-3458027-1307165025 -o /tmp/evaluation-result-3458027-1307165025/solver-3458027-1307165025 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458027-1307165025.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.77 1.96 1.98 3/464 13500
/proc/meminfo: memFree=30059440/32950928 swapFree=45617076/67111528
[pid=13500] ppid=13498 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/13500/stat : 13500 (java) S 13498 13500 13462 0 -1 4202496 2005 0 1 0 0 0 0 0 25 0 2 0 828102299 13833195520 1707 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/13500/statm: 3377245 1720 906 9 0 3368401 0
[pid=13500/tid=13501] ppid=13498 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13501/stat : 13501 (java) R 13498 13500 13462 0 -1 4202560 6655 0 1 0 0 0 0 0 25 0 2 0 828102299 13850947584 7471 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248089392187 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0641161 s]
/proc/loadavg: 1.77 1.96 1.98 3/464 13500
/proc/meminfo: memFree=30059440/32950928 swapFree=45617076/67111528
[pid=13500] ppid=13498 vsize=13620320 CPUtime=0.05 cores=0,2,4,6
/proc/13500/stat : 13500 (java) S 13498 13500 13462 0 -1 4202496 14180 0 1 0 4 1 0 0 25 0 18 0 828102299 13947207680 13877 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13500/statm: 3405080 13879 1733 9 0 3395821 0
[pid=13500/tid=13501] ppid=13498 vsize=13620320 CPUtime=0.05 cores=0,2,4,6
/proc/13500/task/13501/stat : 13501 (java) R 13498 13500 13462 0 -1 4202560 13008 0 1 0 4 1 0 0 25 0 18 0 828102299 13947207680 13879 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 46988756968195 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13620320
[startup+0.101159 s]
/proc/loadavg: 1.77 1.96 1.98 3/464 13500
/proc/meminfo: memFree=30059440/32950928 swapFree=45617076/67111528
[pid=13500] ppid=13498 vsize=13621876 CPUtime=0.1 cores=0,2,4,6
/proc/13500/stat : 13500 (java) S 13498 13500 13462 0 -1 4202496 15540 0 1 0 9 1 0 0 25 0 18 0 828102299 13948801024 15237 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13500/statm: 3405469 15237 2092 9 0 3396203 0
[pid=13500/tid=13501] ppid=13498 vsize=13621876 CPUtime=0.08 cores=0,2,4,6
/proc/13500/task/13501/stat : 13501 (java) R 13498 13500 13462 0 -1 4202560 13649 0 1 0 7 1 0 0 25 0 18 0 828102299 13948801024 15237 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621876
[startup+0.306131 s]
/proc/loadavg: 1.77 1.96 1.98 3/464 13500
/proc/meminfo: memFree=30059440/32950928 swapFree=45617076/67111528
[pid=13500] ppid=13498 vsize=13624036 CPUtime=0.48 cores=0,2,4,6
/proc/13500/stat : 13500 (java) S 13498 13500 13462 0 -1 4202496 18214 0 1 0 46 2 0 0 25 0 18 0 828102299 13951012864 17857 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13500/statm: 3406009 17857 2219 9 0 3396743 0
[pid=13500/tid=13501] ppid=13498 vsize=13624036 CPUtime=0.28 cores=0,2,4,6
/proc/13500/task/13501/stat : 13501 (java) R 13498 13500 13462 0 -1 4202560 15590 0 1 0 27 1 0 0 25 0 18 0 828102299 13951012864 17857 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13624036
[startup+0.701033 s]
/proc/loadavg: 1.77 1.96 1.98 3/464 13500
/proc/meminfo: memFree=30059440/32950928 swapFree=45617076/67111528
[pid=13500] ppid=13498 vsize=13632840 CPUtime=1.56 cores=0,2,4,6
/proc/13500/stat : 13500 (java) S 13498 13500 13462 0 -1 4202496 60118 0 1 0 148 8 0 0 25 0 19 0 828102299 13960028160 57835 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13500/statm: 3408210 57835 2232 9 0 3398944 0
[pid=13500/tid=13501] ppid=13498 vsize=13632840 CPUtime=0.69 cores=0,2,4,6
/proc/13500/task/13501/stat : 13501 (java) R 13498 13500 13462 0 -1 4202560 50759 0 1 0 62 7 0 0 25 0 19 0 828102299 13960028160 57835 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 46912505122380 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 13632840
[startup+1.50097 s]
/proc/loadavg: 1.77 1.96 1.98 5/501 13537
/proc/meminfo: memFree=29723984/32950928 swapFree=45617076/67111528
[pid=13500] ppid=13498 vsize=13632840 CPUtime=2.66 cores=0,2,4,6
/proc/13500/stat : 13500 (java) S 13498 13500 13462 0 -1 4202496 60635 0 1 0 258 8 0 0 25 0 19 0 828102299 13960028160 58351 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13500/statm: 3408210 58351 2239 9 0 3398944 0
[pid=13500/tid=13501] ppid=13498 vsize=13632840 CPUtime=1.49 cores=0,2,4,6
/proc/13500/task/13501/stat : 13501 (java) R 13498 13500 13462 0 -1 4202560 51106 0 1 0 142 7 0 0 25 0 19 0 828102299 13960028160 58351 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 46912505994682 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13500/tid=13512] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13512/stat : 13512 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102301 13960028160 58351 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13513] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13513/stat : 13513 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102301 13960028160 58351 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13514] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13514/stat : 13514 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102301 13960028160 58351 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13515] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13515/stat : 13515 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102301 13960028160 58351 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13516] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13516/stat : 13516 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102301 13960028160 58351 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13517] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13517/stat : 13517 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102301 13960028160 58351 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13518] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13518/stat : 13518 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102301 13960028160 58351 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13519] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13519/stat : 13519 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102301 13960028160 58351 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13521] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13521/stat : 13521 (java) S 13498 13500 13462 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 828102302 13960028160 58351 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514752 0 0 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13524] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13524/stat : 13524 (java) S 13498 13500 13462 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828102303 13960028160 58351 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13525] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13525/stat : 13525 (java) S 13498 13500 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828102303 13960028160 58351 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13531] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13531/stat : 13531 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102305 13960028160 58351 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101521841 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13532] ppid=13498 vsize=13632840 CPUtime=0.65 cores=0,2,4,6
/proc/13500/task/13532/stat : 13532 (java) S 13498 13500 13462 0 -1 4202560 3229 0 0 0 65 0 0 0 16 0 19 0 828102305 13960028160 58351 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 2 0 0 0
[pid=13500/tid=13533] ppid=13498 vsize=13632840 CPUtime=0.51 cores=0,2,4,6
/proc/13500/task/13533/stat : 13533 (java) S 13498 13500 13462 0 -1 4202560 5139 0 0 0 50 1 0 0 19 0 19 0 828102305 13960028160 58351 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 0 0 0 0
[pid=13500/tid=13534] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13534/stat : 13534 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102305 13960028160 58351 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13535] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13535/stat : 13535 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828102305 13960028160 58351 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514752 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13537] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13537/stat : 13537 (java) S 13498 13500 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828102367 13960028160 58351 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514752 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 13632840
[startup+3.10069 s]
/proc/loadavg: 1.77 1.96 1.98 5/501 13537
/proc/meminfo: memFree=29716432/32950928 swapFree=45617076/67111528
[pid=13500] ppid=13498 vsize=13632840 CPUtime=4.36 cores=0,2,4,6
/proc/13500/stat : 13500 (java) S 13498 13500 13462 0 -1 4202496 61224 0 1 0 428 8 0 0 25 0 19 0 828102299 13960028160 58938 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13500/statm: 3408210 58938 2242 9 0 3398944 0
[pid=13500/tid=13501] ppid=13498 vsize=13632840 CPUtime=3.08 cores=0,2,4,6
/proc/13500/task/13501/stat : 13501 (java) R 13498 13500 13462 0 -1 4202560 51677 0 1 0 301 7 0 0 18 0 19 0 828102299 13960028160 58938 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 46912505994682 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13500/tid=13512] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13512/stat : 13512 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102301 13960028160 58938 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13513] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13513/stat : 13513 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102301 13960028160 58938 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13514] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13514/stat : 13514 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102301 13960028160 58938 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13515] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13515/stat : 13515 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102301 13960028160 58938 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13516] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13516/stat : 13516 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102301 13960028160 58938 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13517] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13517/stat : 13517 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102301 13960028160 58938 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13518] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13518/stat : 13518 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102301 13960028160 58938 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13519] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13519/stat : 13519 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102301 13960028160 58938 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13521] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13521/stat : 13521 (java) S 13498 13500 13462 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 828102302 13960028160 58938 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514752 0 0 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13524] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13524/stat : 13524 (java) S 13498 13500 13462 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828102303 13960028160 58938 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13525] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13525/stat : 13525 (java) S 13498 13500 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828102303 13960028160 58938 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13531] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13531/stat : 13531 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102305 13960028160 58938 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101521841 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13532] ppid=13498 vsize=13632840 CPUtime=0.73 cores=0,2,4,6
/proc/13500/task/13532/stat : 13532 (java) S 13498 13500 13462 0 -1 4202560 3245 0 0 0 73 0 0 0 16 0 19 0 828102305 13960028160 58938 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 2 0 0 0
[pid=13500/tid=13533] ppid=13498 vsize=13632840 CPUtime=0.53 cores=0,2,4,6
/proc/13500/task/13533/stat : 13533 (java) S 13498 13500 13462 0 -1 4202560 5141 0 0 0 52 1 0 0 17 0 19 0 828102305 13960028160 58938 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 0 0 0 0
[pid=13500/tid=13534] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13534/stat : 13534 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102305 13960028160 58938 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13535] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13535/stat : 13535 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828102305 13960028160 58938 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514752 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13537] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13537/stat : 13537 (java) S 13498 13500 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828102367 13960028160 58938 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514752 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 13632840
[startup+6.30105 s]
/proc/loadavg: 1.79 1.96 1.98 4/501 13537
/proc/meminfo: memFree=29685068/32950928 swapFree=45617076/67111528
[pid=13500] ppid=13498 vsize=13632840 CPUtime=7.57 cores=0,2,4,6
/proc/13500/stat : 13500 (java) S 13498 13500 13462 0 -1 4202496 63927 0 1 0 748 9 0 0 25 0 19 0 828102299 13960028160 61639 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13500/statm: 3408210 61639 2242 9 0 3398944 0
[pid=13500/tid=13501] ppid=13498 vsize=13632840 CPUtime=6.28 cores=0,2,4,6
/proc/13500/task/13501/stat : 13501 (java) R 13498 13500 13462 0 -1 4202560 54380 0 1 0 621 7 0 0 22 0 19 0 828102299 13960028160 61639 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 46912505994544 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13500/tid=13512] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13512/stat : 13512 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102301 13960028160 61639 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13513] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13513/stat : 13513 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102301 13960028160 61640 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13514] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13514/stat : 13514 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102301 13960028160 61640 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13515] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13515/stat : 13515 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102301 13960028160 61640 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13516] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13516/stat : 13516 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102301 13960028160 61640 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13517] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13517/stat : 13517 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102301 13960028160 61640 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13518] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13518/stat : 13518 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102301 13960028160 61640 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13519] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13519/stat : 13519 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102301 13960028160 61640 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13521] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13521/stat : 13521 (java) S 13498 13500 13462 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 828102302 13960028160 61640 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514752 0 0 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13524] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13524/stat : 13524 (java) S 13498 13500 13462 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828102303 13960028160 61640 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13525] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13525/stat : 13525 (java) S 13498 13500 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828102303 13960028160 61640 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13531] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13531/stat : 13531 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102305 13960028160 61640 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101521841 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13532] ppid=13498 vsize=13632840 CPUtime=0.73 cores=0,2,4,6
/proc/13500/task/13532/stat : 13532 (java) S 13498 13500 13462 0 -1 4202560 3245 0 0 0 73 0 0 0 15 0 19 0 828102305 13960028160 61640 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 2 0 0 0
[pid=13500/tid=13533] ppid=13498 vsize=13632840 CPUtime=0.53 cores=0,2,4,6
/proc/13500/task/13533/stat : 13533 (java) S 13498 13500 13462 0 -1 4202560 5141 0 0 0 52 1 0 0 17 0 19 0 828102305 13960028160 61640 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=13500/tid=13517] ppid=13498 vsize=13632840 CPUtime=0.2 cores=0,2,4,6
/proc/13500/task/13517/stat : 13517 (java) S 13498 13500 13462 0 -1 4202560 7506 0 0 0 19 1 0 0 16 0 19 0 828102301 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 2 0 0 0
[pid=13500/tid=13518] ppid=13498 vsize=13632840 CPUtime=0.16 cores=0,2,4,6
/proc/13500/task/13518/stat : 13518 (java) S 13498 13500 13462 0 -1 4202560 8323 0 0 0 16 0 0 0 15 0 19 0 828102301 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 2 0 0 0
[pid=13500/tid=13519] ppid=13498 vsize=13632840 CPUtime=0.14 cores=0,2,4,6
/proc/13500/task/13519/stat : 13519 (java) S 13498 13500 13462 0 -1 4202560 4828 0 0 0 14 0 0 0 16 0 19 0 828102301 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 2 0 0 0
[pid=13500/tid=13521] ppid=13498 vsize=13632840 CPUtime=2.35 cores=0,2,4,6
/proc/13500/task/13521/stat : 13521 (java) S 13498 13500 13462 0 -1 4202560 39756 0 0 0 231 4 0 0 15 0 19 0 828102302 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514752 0 0 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13524] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13524/stat : 13524 (java) S 13498 13500 13462 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 828102303 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13525] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13525/stat : 13525 (java) S 13498 13500 13462 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828102303 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13531] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13531/stat : 13531 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102305 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101521841 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13532] ppid=13498 vsize=13632840 CPUtime=0.83 cores=0,2,4,6
/proc/13500/task/13532/stat : 13532 (java) S 13498 13500 13462 0 -1 4202560 3265 0 0 0 83 0 0 0 15 0 19 0 828102305 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 2 0 0 0
[pid=13500/tid=13533] ppid=13498 vsize=13632840 CPUtime=0.55 cores=0,2,4,6
/proc/13500/task/13533/stat : 13533 (java) S 13498 13500 13462 0 -1 4202560 5144 0 0 0 54 1 0 0 16 0 19 0 828102305 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 0 0 0 0
[pid=13500/tid=13534] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13534/stat : 13534 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102305 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13535] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13535/stat : 13535 (java) S 13498 13500 13462 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 828102305 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514752 0 4 0 16800975 18446604453641381824 0 0 -1 0 0 0 0
[pid=13500/tid=13537] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13537/stat : 13537 (java) S 13498 13500 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828102367 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514752 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1664.53
Current children cumulated vsize (KiB) 13632840
[startup+1722.3 s]
/proc/loadavg: 2.09 2.04 2.01 5/501 13583
/proc/meminfo: memFree=29220916/32950928 swapFree=45617076/67111528
[pid=13500] ppid=13498 vsize=13632840 CPUtime=1724.53 cores=0,2,4,6
/proc/13500/stat : 13500 (java) S 13498 13500 13462 0 -1 4202496 165412 0 1 0 172429 24 0 0 25 0 19 0 828102299 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13500/statm: 3408210 162910 2268 9 0 3398944 0
[pid=13500/tid=13501] ppid=13498 vsize=13632840 CPUtime=1719.3 cores=0,2,4,6
/proc/13500/task/13501/stat : 13501 (java) R 13498 13500 13462 0 -1 4202560 56048 0 1 0 171922 8 0 0 25 0 19 0 828102299 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 46912506079360 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13500/tid=13512] ppid=13498 vsize=13632840 CPUtime=0.23 cores=0,2,4,6
/proc/13500/task/13512/stat : 13512 (java) S 13498 13500 13462 0 -1 4202560 12387 0 0 0 22 1 0 0 16 0 19 0 828102301 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13513] ppid=13498 vsize=13632840 CPUtime=0.19 cores=0,2,4,6
/proc/13500/task/13513/stat : 13513 (java) S 13498 13500 13462 0 -1 4202560 8796 0 0 0 18 1 0 0 16 0 19 0 828102301 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 0 0 0 0
[pid=13500/tid=13514] ppid=13498 vsize=13632840 CPUtime=0.13 cores=0,2,4,6
/proc/13500/task/13514/stat : 13514 (java) S 13498 13500 13462 0 -1 4202560 3340 0 0 0 13 0 0 0 15 0 19 0 828102301 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 0 0 0 0
[pid=13500/tid=13515] ppid=13498 vsize=13632840 CPUtime=0.13 cores=0,2,4,6
/proc/13500/task/13515/stat : 13515 (java) S 13498 13500 13462 0 -1 4202560 7362 0 0 0 12 1 0 0 16 0 19 0 828102301 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 0 0 0 0
[pid=13500/tid=13516] ppid=13498 vsize=13632840 CPUtime=0.19 cores=0,2,4,6
/proc/13500/task/13516/stat : 13516 (java) S 13498 13500 13462 0 -1 4202560 7407 0 0 0 18 1 0 0 16 0 19 0 828102301 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 0 0 0 0
[pid=13500/tid=13517] ppid=13498 vsize=13632840 CPUtime=0.2 cores=0,2,4,6
/proc/13500/task/13517/stat : 13517 (java) S 13498 13500 13462 0 -1 4202560 7506 0 0 0 19 1 0 0 16 0 19 0 828102301 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 2 0 0 0
[pid=13500/tid=13518] ppid=13498 vsize=13632840 CPUtime=0.16 cores=0,2,4,6
/proc/13500/task/13518/stat : 13518 (java) S 13498 13500 13462 0 -1 4202560 8323 0 0 0 16 0 0 0 15 0 19 0 828102301 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 2 0 0 0
[pid=13500/tid=13519] ppid=13498 vsize=13632840 CPUtime=0.14 cores=0,2,4,6
/proc/13500/task/13519/stat : 13519 (java) S 13498 13500 13462 0 -1 4202560 4828 0 0 0 14 0 0 0 16 0 19 0 828102301 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 2 0 0 0
[pid=13500/tid=13521] ppid=13498 vsize=13632840 CPUtime=2.35 cores=0,2,4,6
/proc/13500/task/13521/stat : 13521 (java) S 13498 13500 13462 0 -1 4202560 39756 0 0 0 231 4 0 0 15 0 19 0 828102302 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514752 0 0 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13524] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13524/stat : 13524 (java) S 13498 13500 13462 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 828102303 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13525] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13525/stat : 13525 (java) S 13498 13500 13462 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828102303 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13531] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13531/stat : 13531 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102305 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101521841 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13532] ppid=13498 vsize=13632840 CPUtime=0.83 cores=0,2,4,6
/proc/13500/task/13532/stat : 13532 (java) S 13498 13500 13462 0 -1 4202560 3265 0 0 0 83 0 0 0 15 0 19 0 828102305 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 2 0 0 0
[pid=13500/tid=13533] ppid=13498 vsize=13632840 CPUtime=0.55 cores=0,2,4,6
/proc/13500/task/13533/stat : 13533 (java) S 13498 13500 13462 0 -1 4202560 5144 0 0 0 54 1 0 0 16 0 19 0 828102305 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 0 0 0 0
[pid=13500/tid=13534] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13534/stat : 13534 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102305 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13535] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13535/stat : 13535 (java) S 13498 13500 13462 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 828102305 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514752 0 4 0 16800975 18446604453641381824 0 0 -1 0 0 0 0
[pid=13500/tid=13537] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13537/stat : 13537 (java) S 13498 13500 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828102367 13960028160 162910 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514752 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.53
Current children cumulated vsize (KiB) 13632840
[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.01 4/501 13584
/proc/meminfo: memFree=29217276/32950928 swapFree=45617076/67111528
[pid=13500] ppid=13498 vsize=13632840 CPUtime=1784.58 cores=0,2,4,6
/proc/13500/stat : 13500 (java) S 13498 13500 13462 0 -1 4202496 166163 0 1 0 178434 24 0 0 25 0 19 0 828102299 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13500/statm: 3408210 163656 2268 9 0 3398944 0
[pid=13500/tid=13501] ppid=13498 vsize=13632840 CPUtime=1779.17 cores=0,2,4,6
/proc/13500/task/13501/stat : 13501 (java) R 13498 13500 13462 0 -1 4202560 56049 0 1 0 177909 8 0 0 25 0 19 0 828102299 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 46912506003051 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13500/tid=13512] ppid=13498 vsize=13632840 CPUtime=0.26 cores=0,2,4,6
/proc/13500/task/13512/stat : 13512 (java) S 13498 13500 13462 0 -1 4202560 12636 0 0 0 25 1 0 0 16 0 19 0 828102301 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13513] ppid=13498 vsize=13632840 CPUtime=0.19 cores=0,2,4,6
/proc/13500/task/13513/stat : 13513 (java) S 13498 13500 13462 0 -1 4202560 8796 0 0 0 18 1 0 0 15 0 19 0 828102301 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 0 0 0 0
[pid=13500/tid=13514] ppid=13498 vsize=13632840 CPUtime=0.13 cores=0,2,4,6
/proc/13500/task/13514/stat : 13514 (java) S 13498 13500 13462 0 -1 4202560 3340 0 0 0 13 0 0 0 15 0 19 0 828102301 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 0 0 0 0
[pid=13500/tid=13515] ppid=13498 vsize=13632840 CPUtime=0.16 cores=0,2,4,6
/proc/13500/task/13515/stat : 13515 (java) S 13498 13500 13462 0 -1 4202560 7609 0 0 0 15 1 0 0 16 0 19 0 828102301 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 0 0 0 0
[pid=13500/tid=13516] ppid=13498 vsize=13632840 CPUtime=0.19 cores=0,2,4,6
/proc/13500/task/13516/stat : 13516 (java) S 13498 13500 13462 0 -1 4202560 7407 0 0 0 18 1 0 0 15 0 19 0 828102301 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 0 0 0 0
[pid=13500/tid=13517] ppid=13498 vsize=13632840 CPUtime=0.23 cores=0,2,4,6
/proc/13500/task/13517/stat : 13517 (java) S 13498 13500 13462 0 -1 4202560 7756 0 0 0 22 1 0 0 16 0 19 0 828102301 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 2 0 0 0
[pid=13500/tid=13518] ppid=13498 vsize=13632840 CPUtime=0.16 cores=0,2,4,6
/proc/13500/task/13518/stat : 13518 (java) S 13498 13500 13462 0 -1 4202560 8323 0 0 0 16 0 0 0 15 0 19 0 828102301 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 2 0 0 0
[pid=13500/tid=13519] ppid=13498 vsize=13632840 CPUtime=0.14 cores=0,2,4,6
/proc/13500/task/13519/stat : 13519 (java) S 13498 13500 13462 0 -1 4202560 4828 0 0 0 14 0 0 0 15 0 19 0 828102301 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 2 0 0 0
[pid=13500/tid=13521] ppid=13498 vsize=13632840 CPUtime=2.44 cores=0,2,4,6
/proc/13500/task/13521/stat : 13521 (java) S 13498 13500 13462 0 -1 4202560 39758 0 0 0 240 4 0 0 15 0 19 0 828102302 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514752 0 0 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13524] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13524/stat : 13524 (java) S 13498 13500 13462 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 828102303 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13525] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13525/stat : 13525 (java) S 13498 13500 13462 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828102303 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13531] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13531/stat : 13531 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102305 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101521841 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13532] ppid=13498 vsize=13632840 CPUtime=0.83 cores=0,2,4,6
/proc/13500/task/13532/stat : 13532 (java) S 13498 13500 13462 0 -1 4202560 3265 0 0 0 83 0 0 0 15 0 19 0 828102305 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 2 0 0 0
[pid=13500/tid=13533] ppid=13498 vsize=13632840 CPUtime=0.55 cores=0,2,4,6
/proc/13500/task/13533/stat : 13533 (java) S 13498 13500 13462 0 -1 4202560 5144 0 0 0 54 1 0 0 16 0 19 0 828102305 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 0 0 0 0
[pid=13500/tid=13534] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13534/stat : 13534 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102305 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13535] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13535/stat : 13535 (java) S 13498 13500 13462 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 828102305 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514752 0 4 0 16800975 18446604453641381824 0 0 -1 0 0 0 0
[pid=13500/tid=13537] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13537/stat : 13537 (java) S 13498 13500 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828102367 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514752 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.58
Current children cumulated vsize (KiB) 13632840
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.8 s]
/proc/loadavg: 2.05 2.04 2.00 3/501 13585
/proc/meminfo: memFree=29217376/32950928 swapFree=45617076/67111528
[pid=13500] ppid=13498 vsize=13632840 CPUtime=1800.09 cores=0,2,4,6
/proc/13500/stat : 13500 (java) S 13498 13500 13462 0 -1 4202496 166165 0 1 0 179985 24 0 0 25 0 19 0 828102299 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13500/statm: 3408210 163656 2268 9 0 3398944 0
[pid=13500/tid=13501] ppid=13498 vsize=13632840 CPUtime=1794.69 cores=0,2,4,6
/proc/13500/task/13501/stat : 13501 (java) R 13498 13500 13462 0 -1 4202560 56049 0 1 0 179461 8 0 0 25 0 19 0 828102299 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 46912506151107 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13500/tid=13512] ppid=13498 vsize=13632840 CPUtime=0.26 cores=0,2,4,6
/proc/13500/task/13512/stat : 13512 (java) S 13498 13500 13462 0 -1 4202560 12636 0 0 0 25 1 0 0 16 0 19 0 828102301 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
[pid=13500/tid=13513] ppid=13498 vsize=13632840 CPUtime=0.19 cores=0,2,4,6
/proc/13500/task/13513/stat : 13513 (java) S 13498 13500 13462 0 -1 4202560 8796 0 0 0 18 1 0 0 15 0 19 0 828102301 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 0 0 0 0
[pid=13500/tid=13514] ppid=13498 vsize=13632840 CPUtime=0.13 cores=0,2,4,6
/proc/13500/task/13514/stat : 13514 (java) S 13498 13500 13462 0 -1 4202560 3340 0 0 0 13 0 0 0 15 0 19 0 828102301 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 0 0 0 0
[pid=13500/tid=13515] ppid=13498 vsize=13632840 CPUtime=0.16 cores=0,2,4,6
/proc/13500/task/13515/stat : 13515 (java) S 13498 13500 13462 0 -1 4202560 7609 0 0 0 15 1 0 0 16 0 19 0 828102301 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 0 0 0 0
[pid=13500/tid=13516] ppid=13498 vsize=13632840 CPUtime=0.19 cores=0,2,4,6
/proc/13500/task/13516/stat : 13516 (java) S 13498 13500 13462 0 -1 4202560 7407 0 0 0 18 1 0 0 15 0 19 0 828102301 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 0 0 0 0
[pid=13500/tid=13517] ppid=13498 vsize=13632840 CPUtime=0.23 cores=0,2,4,6
/proc/13500/task/13517/stat : 13517 (java) S 13498 13500 13462 0 -1 4202560 7756 0 0 0 22 1 0 0 16 0 19 0 828102301 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 2 0 0 0
[pid=13500/tid=13518] ppid=13498 vsize=13632840 CPUtime=0.16 cores=0,2,4,6
/proc/13500/task/13518/stat : 13518 (java) S 13498 13500 13462 0 -1 4202560 8323 0 0 0 16 0 0 0 15 0 19 0 828102301 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 2 0 0 0
[pid=13500/tid=13519] ppid=13498 vsize=13632840 CPUtime=0.14 cores=0,2,4,6
/proc/13500/task/13519/stat : 13519 (java) S 13498 13500 13462 0 -1 4202560 4828 0 0 0 14 0 0 0 15 0 19 0 828102301 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 2 0 0 0
[pid=13500/tid=13521] ppid=13498 vsize=13632840 CPUtime=2.44 cores=0,2,4,6
/proc/13500/task/13521/stat : 13521 (java) S 13498 13500 13462 0 -1 4202560 39758 0 0 0 240 4 0 0 15 0 19 0 828102302 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514752 0 0 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13524] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13524/stat : 13524 (java) S 13498 13500 13462 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 828102303 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13525] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13525/stat : 13525 (java) S 13498 13500 13462 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828102303 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13531] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13531/stat : 13531 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102305 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101521841 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13532] ppid=13498 vsize=13632840 CPUtime=0.83 cores=0,2,4,6
/proc/13500/task/13532/stat : 13532 (java) S 13498 13500 13462 0 -1 4202560 3265 0 0 0 83 0 0 0 15 0 19 0 828102305 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 2 0 0 0
[pid=13500/tid=13533] ppid=13498 vsize=13632840 CPUtime=0.55 cores=0,2,4,6
/proc/13500/task/13533/stat : 13533 (java) S 13498 13500 13462 0 -1 4202560 5144 0 0 0 54 1 0 0 16 0 19 0 828102305 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 0 0 0 0
[pid=13500/tid=13534] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13534/stat : 13534 (java) S 13498 13500 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828102305 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514137 0 4 0 16800975 18446604453641381824 0 0 -1 4 0 0 0
[pid=13500/tid=13535] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13535/stat : 13535 (java) S 13498 13500 13462 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 828102305 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514752 0 4 0 16800975 18446604453641381824 0 0 -1 0 0 0 0
[pid=13500/tid=13537] ppid=13498 vsize=13632840 CPUtime=0 cores=0,2,4,6
/proc/13500/task/13537/stat : 13537 (java) S 13498 13500 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828102367 13960028160 163656 33554432000 1073741824 1073778376 140737098815376 18446744073709551615 248101514752 0 4 0 16800975 18446604453641381824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13632840
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1797.89
CPU time (s): 1800.21
CPU user time (s): 1799.93
CPU system time (s): 0.274958
CPU usage (%): 100.129
Max. virtual memory (cumulated for all children) (KiB): 13632840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.274958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166201
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= 37461
involuntary context switches= 4304
runsolver used 8.66068 second user time and 19.1261 second system time
The end