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-3455859-1307228067/watcher-3455859-1307228067 -o /tmp/evaluation-result-3455859-1307228067/solver-3455859-1307228067 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455859-1307228067.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.02 2.00 2/452 12939
/proc/meminfo: memFree=8790004/32951132 swapFree=67093840/67111528
[pid=12939] ppid=12937 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/12939/stat : 12939 (java) S 12937 12939 11532 0 -1 4202496 1316 0 0 0 0 0 0 0 25 0 2 0 834406389 36646912 1018 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676611045 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/12939/statm: 8947 1018 782 9 0 386 0
[pid=12939/tid=12940] ppid=12937 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12940/stat : 12940 (java) R 12937 12939 11532 0 -1 4202560 5867 0 1 0 0 0 0 0 25 0 2 0 834406389 10694979584 6684 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274664502331 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0523109 s]
/proc/loadavg: 2.02 2.02 2.00 2/452 12939
/proc/meminfo: memFree=8790004/32951132 swapFree=67093840/67111528
[pid=12939] ppid=12937 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/12939/stat : 12939 (java) S 12937 12939 11532 0 -1 4202496 11489 0 1 0 3 1 0 0 25 0 13 0 834406389 10718838784 11186 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676611045 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0
/proc/12939/statm: 2616904 11187 1685 9 0 2607652 0
[pid=12939/tid=12940] ppid=12937 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/12939/task/12940/stat : 12940 (java) R 12937 12939 11532 0 -1 4202560 10344 0 1 0 3 1 0 0 25 0 13 0 834406389 10718838784 11188 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 47766268163608 0 4 0 16800971 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.104272 s]
/proc/loadavg: 2.02 2.02 2.00 2/452 12939
/proc/meminfo: memFree=8790004/32951132 swapFree=67093840/67111528
[pid=12939] ppid=12937 vsize=10540032 CPUtime=0.11 cores=0,2,4,6
/proc/12939/stat : 12939 (java) S 12937 12939 11532 0 -1 4202496 13168 0 1 0 10 1 0 0 25 0 18 0 834406389 10792992768 12850 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12939/statm: 2635008 12850 2108 9 0 2625742 0
[pid=12939/tid=12940] ppid=12937 vsize=10540032 CPUtime=0.09 cores=0,2,4,6
/proc/12939/task/12940/stat : 12940 (java) R 12937 12939 11532 0 -1 4202560 11197 0 1 0 8 1 0 0 18 0 18 0 834406389 10792992768 12850 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540032
[startup+0.301107 s]
/proc/loadavg: 2.02 2.02 2.00 2/452 12939
/proc/meminfo: memFree=8790004/32951132 swapFree=67093840/67111528
[pid=12939] ppid=12937 vsize=10540200 CPUtime=0.47 cores=0,2,4,6
/proc/12939/stat : 12939 (java) S 12937 12939 11532 0 -1 4202496 16203 0 1 0 45 2 0 0 25 0 18 0 834406389 10793164800 15494 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12939/statm: 2635050 15494 2212 9 0 2625784 0
[pid=12939/tid=12940] ppid=12937 vsize=10540200 CPUtime=0.28 cores=0,2,4,6
/proc/12939/task/12940/stat : 12940 (java) R 12937 12939 11532 0 -1 4202560 12578 0 1 0 27 1 0 0 18 0 18 0 834406389 10793164800 15495 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 47766269598516 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10540200
[startup+0.701161 s]
/proc/loadavg: 2.02 2.02 2.00 2/452 12939
/proc/meminfo: memFree=8790004/32951132 swapFree=67093840/67111528
[pid=12939] ppid=12937 vsize=10551404 CPUtime=1.64 cores=0,2,4,6
/proc/12939/stat : 12939 (java) S 12937 12939 11532 0 -1 4202496 28045 0 1 0 160 4 0 0 25 0 19 0 834406389 10804637696 23764 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12939/statm: 2637851 23765 2234 9 0 2628585 0
[pid=12939/tid=12940] ppid=12937 vsize=10551404 CPUtime=0.69 cores=0,2,4,6
/proc/12939/task/12940/stat : 12940 (java) R 12937 12939 11532 0 -1 4202560 16244 0 1 0 67 2 0 0 19 0 19 0 834406389 10804637696 23765 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 46912505778541 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10551404
[startup+1.50107 s]
/proc/loadavg: 2.02 2.02 2.00 3/471 12958
/proc/meminfo: memFree=8653352/32951132 swapFree=67093840/67111528
[pid=12939] ppid=12937 vsize=10551404 CPUtime=2.76 cores=0,2,4,6
/proc/12939/stat : 12939 (java) S 12937 12939 11532 0 -1 4202496 61569 0 1 0 267 9 0 0 25 0 19 0 834406389 10804637696 56744 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12939/statm: 2637851 56745 2239 9 0 2628585 0
[pid=12939/tid=12940] ppid=12937 vsize=10551404 CPUtime=1.49 cores=0,2,4,6
/proc/12939/task/12940/stat : 12940 (java) R 12937 12939 11532 0 -1 4202560 49153 0 1 0 143 6 0 0 20 0 19 0 834406389 10804637696 56746 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 46912505854364 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12939/tid=12942] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12942/stat : 12942 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406391 10804637696 56748 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12943] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12943/stat : 12943 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406391 10804637696 56752 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12944] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12944/stat : 12944 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406391 10804637696 56753 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12945] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12945/stat : 12945 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406391 10804637696 56757 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12946] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12946/stat : 12946 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406391 10804637696 56761 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12947] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12947/stat : 12947 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406391 10804637696 56762 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12948] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12948/stat : 12948 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406391 10804637696 56763 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12949] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12949/stat : 12949 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406391 10804637696 56765 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12950] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12950/stat : 12950 (java) S 12937 12939 11532 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834406392 10804637696 56766 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624896 0 0 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12951] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12951/stat : 12951 (java) S 12937 12939 11532 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834406393 10804637696 56767 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12952] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12952/stat : 12952 (java) S 12937 12939 11532 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834406393 10804637696 56769 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12953] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12953/stat : 12953 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406395 10804637696 56770 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676631985 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12954] ppid=12937 vsize=10551404 CPUtime=0.65 cores=0,2,4,6
/proc/12939/task/12954/stat : 12954 (java) S 12937 12939 11532 0 -1 4202560 6974 0 0 0 64 1 0 0 16 0 19 0 834406395 10804637696 56771 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12955] ppid=12937 vsize=10551404 CPUtime=0.6 cores=0,2,4,6
/proc/12939/task/12955/stat : 12955 (java) S 12937 12939 11532 0 -1 4202560 4284 0 0 0 60 0 0 0 15 0 19 0 834406395 10804637696 56773 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 2 0 0 0
[pid=12939/tid=12956] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12956/stat : 12956 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406395 10804637696 56775 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12957] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12957/stat : 12957 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834406395 10804637696 56776 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624896 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12958] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12958/stat : 12958 (java) S 12937 12939 11532 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834406431 10804637696 56777 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624896 0 4 0 16800975 18446604452382001856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 10551404
[startup+3.10079 s]
/proc/loadavg: 2.02 2.02 2.00 3/471 12958
/proc/meminfo: memFree=8399896/32951132 swapFree=67093840/67111528
[pid=12939] ppid=12937 vsize=10551404 CPUtime=4.55 cores=0,2,4,6
/proc/12939/stat : 12939 (java) S 12937 12939 11532 0 -1 4202496 150082 0 1 0 435 20 0 0 25 0 19 0 834406389 10804637696 145256 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12939/statm: 2637851 145258 2239 9 0 2628585 0
[pid=12939/tid=12940] ppid=12937 vsize=10551404 CPUtime=3.08 cores=0,2,4,6
/proc/12939/task/12940/stat : 12940 (java) R 12937 12939 11532 0 -1 4202560 137648 0 1 0 291 17 0 0 25 0 19 0 834406389 10804637696 145260 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 46912505827694 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12939/tid=12942] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12942/stat : 12942 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406391 10804637696 145260 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12943] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12943/stat : 12943 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406391 10804637696 145267 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12944] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12944/stat : 12944 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406391 10804637696 145269 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12945] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12945/stat : 12945 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406391 10804637696 145270 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12946] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12946/stat : 12946 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406391 10804637696 145272 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12947] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12947/stat : 12947 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406391 10804637696 145273 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12948] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12948/stat : 12948 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406391 10804637696 145276 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12949] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12949/stat : 12949 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406391 10804637696 145277 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12950] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12950/stat : 12950 (java) S 12937 12939 11532 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834406392 10804637696 145279 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624896 0 0 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12951] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12951/stat : 12951 (java) S 12937 12939 11532 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834406393 10804637696 145281 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12952] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12952/stat : 12952 (java) S 12937 12939 11532 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834406393 10804637696 145282 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12953] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12953/stat : 12953 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406395 10804637696 145284 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676631985 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12954] ppid=12937 vsize=10551404 CPUtime=0.65 cores=0,2,4,6
/proc/12939/task/12954/stat : 12954 (java) S 12937 12939 11532 0 -1 4202560 6975 0 0 0 64 1 0 0 15 0 19 0 834406395 10804637696 145285 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12955] ppid=12937 vsize=10551404 CPUtime=0.78 cores=0,2,4,6
/proc/12939/task/12955/stat : 12955 (java) S 12937 12939 11532 0 -1 4202560 4303 0 0 0 78 0 0 0 15 0 19 0 834406395 10804637696 145287 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 2 0 0 0
[pid=12939/tid=12956] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12956/stat : 12956 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406395 10804637696 145289 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12957] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12957/stat : 12957 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834406395 10804637696 145291 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624896 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12958] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12958/stat : 12958 (java) S 12937 12939 11532 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834406431 10804637696 145292 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624896 0 4 0 16800975 18446604452382001856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.55
Current children cumulated vsize (KiB) 10551404
[startup+6.30124 s]
/proc/loadavg: 2.10 2.04 2.01 3/471 12958
/proc/meminfo: memFree=7531516/32951132 swapFree=67093840/67111528
[pid=12939] ppid=12937 vsize=10551404 CPUtime=7.85 cores=0,2,4,6
/proc/12939/stat : 12939 (java) S 12937 12939 11532 0 -1 4202496 362187 0 1 0 742 43 0 0 25 0 19 0 834406389 10804637696 357352 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12939/statm: 2637851 357355 2240 9 0 2628585 0
[pid=12939/tid=12940] ppid=12937 vsize=10551404 CPUtime=6.28 cores=0,2,4,6
/proc/12939/task/12940/stat : 12940 (java) R 12937 12939 11532 0 -1 4202560 349740 0 1 0 588 40 0 0 25 0 19 0 834406389 10804637696 357356 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 46912505854360 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12939/tid=12942] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12942/stat : 12942 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406391 10804637696 357357 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12943] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12943/stat : 12943 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406391 10804637696 357359 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12944] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12944/stat : 12944 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406391 10804637696 357360 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12945] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12945/stat : 12945 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406391 10804637696 357361 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12946] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12946/stat : 12946 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406391 10804637696 357362 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12947] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12947/stat : 12947 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406391 10804637696 357364 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12948] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12948/stat : 12948 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406391 10804637696 357365 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12949] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12949/stat : 12949 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406391 10804637696 357366 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12950] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12950/stat : 12950 (java) S 12937 12939 11532 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834406392 10804637696 357368 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624896 0 0 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12951] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12951/stat : 12951 (java) S 12937 12939 11532 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834406393 10804637696 357369 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12952] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12952/stat : 12952 (java) S 12937 12939 11532 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834406393 10804637696 357370 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12953] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12953/stat : 12953 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406395 10804637696 357371 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676631985 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12954] ppid=12937 vsize=10551404 CPUtime=0.68 cores=0,2,4,6
/proc/12939/task/12954/stat : 12954 (java) S 12937 12939 11532 0 -1 4202560 6978 0 0 0 67 1 0 0 15 0 19 0 834406395 10804637696 357372 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12955] ppid=12937 vsize=10551404 CPUtime=0.86 cores=0,2,4,6
/proc/12939/task/12955/stat : 12955 (java) S 12937 12939 11532 0 -1 4202560 4312 0 0 0 86 0 0 0 15 0 19 0 834406395 10804637696 357374 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/12939/task/12952/stat : 12952 (java) S 12937 12939 11532 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834406393 10804637696 932974 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12953] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12953/stat : 12953 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406395 10804637696 932974 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676631985 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12954] ppid=12937 vsize=10551404 CPUtime=1.09 cores=0,2,4,6
/proc/12939/task/12954/stat : 12954 (java) S 12937 12939 11532 0 -1 4202560 12155 0 0 0 106 3 0 0 15 0 19 0 834406395 10804637696 932974 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12955] ppid=12937 vsize=10551404 CPUtime=1.06 cores=0,2,4,6
/proc/12939/task/12955/stat : 12955 (java) S 12937 12939 11532 0 -1 4202560 4340 0 0 0 106 0 0 0 16 0 19 0 834406395 10804637696 932974 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 2 0 0 0
[pid=12939/tid=12956] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12956/stat : 12956 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406395 10804637696 932974 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12957] ppid=12937 vsize=10551404 CPUtime=0.01 cores=0,2,4,6
/proc/12939/task/12957/stat : 12957 (java) S 12937 12939 11532 0 -1 4202560 96 0 0 0 0 1 0 0 15 0 19 0 834406395 10804637696 932974 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624896 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12958] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12958/stat : 12958 (java) S 12937 12939 11532 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834406431 10804637696 932974 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624896 0 4 0 16800975 18446604452382001856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1667.03
Current children cumulated vsize (KiB) 10551404
[startup+1722.3 s]
/proc/loadavg: 2.03 2.07 2.07 3/471 13064
/proc/meminfo: memFree=4483092/32951132 swapFree=67093840/67111528
[pid=12939] ppid=12937 vsize=10551404 CPUtime=1727.11 cores=0,2,4,6
/proc/12939/stat : 12939 (java) S 12937 12939 11532 0 -1 4202496 946574 0 1 0 172586 125 0 0 25 0 19 0 834406389 10804637696 934801 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12939/statm: 2637851 934801 2269 9 0 2628585 0
[pid=12939/tid=12940] ppid=12937 vsize=10551404 CPUtime=1720.55 cores=0,2,4,6
/proc/12939/task/12940/stat : 12940 (java) R 12937 12939 11532 0 -1 4202560 825396 0 1 0 171956 99 0 0 25 0 19 0 834406389 10804637696 934801 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 46912505825877 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12939/tid=12942] ppid=12937 vsize=10551404 CPUtime=0.48 cores=0,2,4,6
/proc/12939/task/12942/stat : 12942 (java) S 12937 12939 11532 0 -1 4202560 16240 0 0 0 45 3 0 0 15 0 19 0 834406391 10804637696 934801 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 0 0 0 0
[pid=12939/tid=12943] ppid=12937 vsize=10551404 CPUtime=0.35 cores=0,2,4,6
/proc/12939/task/12943/stat : 12943 (java) S 12937 12939 11532 0 -1 4202560 8094 0 0 0 34 1 0 0 15 0 19 0 834406391 10804637696 934801 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 2 0 0 0
[pid=12939/tid=12944] ppid=12937 vsize=10551404 CPUtime=0.52 cores=0,2,4,6
/proc/12939/task/12944/stat : 12944 (java) S 12937 12939 11532 0 -1 4202560 13452 0 0 0 50 2 0 0 16 0 19 0 834406391 10804637696 934801 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12945] ppid=12937 vsize=10551404 CPUtime=0.57 cores=0,2,4,6
/proc/12939/task/12945/stat : 12945 (java) S 12937 12939 11532 0 -1 4202560 14484 0 0 0 55 2 0 0 16 0 19 0 834406391 10804637696 934801 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 2 0 0 0
[pid=12939/tid=12946] ppid=12937 vsize=10551404 CPUtime=0.49 cores=0,2,4,6
/proc/12939/task/12946/stat : 12946 (java) S 12937 12939 11532 0 -1 4202560 9704 0 0 0 48 1 0 0 15 0 19 0 834406391 10804637696 934801 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12947] ppid=12937 vsize=10551404 CPUtime=0.52 cores=0,2,4,6
/proc/12939/task/12947/stat : 12947 (java) S 12937 12939 11532 0 -1 4202560 14897 0 0 0 49 3 0 0 16 0 19 0 834406391 10804637696 934801 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 0 0 0 0
[pid=12939/tid=12948] ppid=12937 vsize=10551404 CPUtime=0.39 cores=0,2,4,6
/proc/12939/task/12948/stat : 12948 (java) S 12937 12939 11532 0 -1 4202560 7693 0 0 0 38 1 0 0 15 0 19 0 834406391 10804637696 934801 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 0 0 0 0
[pid=12939/tid=12949] ppid=12937 vsize=10551404 CPUtime=0.49 cores=0,2,4,6
/proc/12939/task/12949/stat : 12949 (java) S 12937 12939 11532 0 -1 4202560 12407 0 0 0 47 2 0 0 16 0 19 0 834406391 10804637696 934801 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12950] ppid=12937 vsize=10551404 CPUtime=0.46 cores=0,2,4,6
/proc/12939/task/12950/stat : 12950 (java) S 12937 12939 11532 0 -1 4202560 6463 0 0 0 46 0 0 0 15 0 19 0 834406392 10804637696 934801 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624896 0 0 0 16800975 18446604452382001856 0 0 -1 0 0 0 0
[pid=12939/tid=12951] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12951/stat : 12951 (java) S 12937 12939 11532 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834406393 10804637696 934801 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12952] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12952/stat : 12952 (java) S 12937 12939 11532 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834406393 10804637696 934801 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12953] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12953/stat : 12953 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406395 10804637696 934801 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676631985 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12954] ppid=12937 vsize=10551404 CPUtime=1.09 cores=0,2,4,6
/proc/12939/task/12954/stat : 12954 (java) S 12937 12939 11532 0 -1 4202560 12155 0 0 0 106 3 0 0 15 0 19 0 834406395 10804637696 934801 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12955] ppid=12937 vsize=10551404 CPUtime=1.06 cores=0,2,4,6
/proc/12939/task/12955/stat : 12955 (java) S 12937 12939 11532 0 -1 4202560 4340 0 0 0 106 0 0 0 16 0 19 0 834406395 10804637696 934801 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 2 0 0 0
[pid=12939/tid=12956] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12956/stat : 12956 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406395 10804637696 934801 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12957] ppid=12937 vsize=10551404 CPUtime=0.01 cores=0,2,4,6
/proc/12939/task/12957/stat : 12957 (java) S 12937 12939 11532 0 -1 4202560 100 0 0 0 0 1 0 0 15 0 19 0 834406395 10804637696 934801 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624896 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12958] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12958/stat : 12958 (java) S 12937 12939 11532 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834406431 10804637696 934801 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624896 0 4 0 16800975 18446604452382001856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1727.11
Current children cumulated vsize (KiB) 10551404
[startup+1782.3 s]
/proc/loadavg: 2.15 2.11 2.08 3/471 13065
/proc/meminfo: memFree=4474272/32951132 swapFree=67093840/67111528
[pid=12939] ppid=12937 vsize=10551404 CPUtime=1787.19 cores=0,2,4,6
/proc/12939/stat : 12939 (java) S 12937 12939 11532 0 -1 4202496 947968 0 1 0 178594 125 0 0 25 0 19 0 834406389 10804637696 936162 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12939/statm: 2637851 936162 2269 9 0 2628585 0
[pid=12939/tid=12940] ppid=12937 vsize=10551404 CPUtime=1780.5 cores=0,2,4,6
/proc/12939/task/12940/stat : 12940 (java) R 12937 12939 11532 0 -1 4202560 825398 0 1 0 177951 99 0 0 25 0 19 0 834406389 10804637696 936162 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 46912505829298 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12939/tid=12942] ppid=12937 vsize=10551404 CPUtime=0.5 cores=0,2,4,6
/proc/12939/task/12942/stat : 12942 (java) S 12937 12939 11532 0 -1 4202560 16530 0 0 0 47 3 0 0 16 0 19 0 834406391 10804637696 936162 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 0 0 0 0
[pid=12939/tid=12943] ppid=12937 vsize=10551404 CPUtime=0.37 cores=0,2,4,6
/proc/12939/task/12943/stat : 12943 (java) S 12937 12939 11532 0 -1 4202560 8338 0 0 0 36 1 0 0 15 0 19 0 834406391 10804637696 936162 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 2 0 0 0
[pid=12939/tid=12944] ppid=12937 vsize=10551404 CPUtime=0.52 cores=0,2,4,6
/proc/12939/task/12944/stat : 12944 (java) S 12937 12939 11532 0 -1 4202560 13452 0 0 0 50 2 0 0 15 0 19 0 834406391 10804637696 936162 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12945] ppid=12937 vsize=10551404 CPUtime=0.6 cores=0,2,4,6
/proc/12939/task/12945/stat : 12945 (java) S 12937 12939 11532 0 -1 4202560 14887 0 0 0 58 2 0 0 16 0 19 0 834406391 10804637696 936162 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 2 0 0 0
[pid=12939/tid=12946] ppid=12937 vsize=10551404 CPUtime=0.5 cores=0,2,4,6
/proc/12939/task/12946/stat : 12946 (java) S 12937 12939 11532 0 -1 4202560 9840 0 0 0 49 1 0 0 15 0 19 0 834406391 10804637696 936162 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12947] ppid=12937 vsize=10551404 CPUtime=0.54 cores=0,2,4,6
/proc/12939/task/12947/stat : 12947 (java) S 12937 12939 11532 0 -1 4202560 14997 0 0 0 51 3 0 0 15 0 19 0 834406391 10804637696 936162 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 0 0 0 0
[pid=12939/tid=12948] ppid=12937 vsize=10551404 CPUtime=0.4 cores=0,2,4,6
/proc/12939/task/12948/stat : 12948 (java) S 12937 12939 11532 0 -1 4202560 7722 0 0 0 39 1 0 0 16 0 19 0 834406391 10804637696 936162 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12949] ppid=12937 vsize=10551404 CPUtime=0.52 cores=0,2,4,6
/proc/12939/task/12949/stat : 12949 (java) S 12937 12939 11532 0 -1 4202560 12589 0 0 0 49 3 0 0 15 0 19 0 834406391 10804637696 936162 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12950] ppid=12937 vsize=10551404 CPUtime=0.46 cores=0,2,4,6
/proc/12939/task/12950/stat : 12950 (java) S 12937 12939 11532 0 -1 4202560 6467 0 0 0 46 0 0 0 15 0 19 0 834406392 10804637696 936162 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624896 0 0 0 16800975 18446604452382001856 0 0 -1 0 0 0 0
[pid=12939/tid=12951] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12951/stat : 12951 (java) S 12937 12939 11532 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834406393 10804637696 936162 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12952] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12952/stat : 12952 (java) S 12937 12939 11532 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834406393 10804637696 936162 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12953] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12953/stat : 12953 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406395 10804637696 936162 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676631985 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12954] ppid=12937 vsize=10551404 CPUtime=1.09 cores=0,2,4,6
/proc/12939/task/12954/stat : 12954 (java) S 12937 12939 11532 0 -1 4202560 12155 0 0 0 106 3 0 0 15 0 19 0 834406395 10804637696 936162 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12955] ppid=12937 vsize=10551404 CPUtime=1.06 cores=0,2,4,6
/proc/12939/task/12955/stat : 12955 (java) S 12937 12939 11532 0 -1 4202560 4340 0 0 0 106 0 0 0 16 0 19 0 834406395 10804637696 936162 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 2 0 0 0
[pid=12939/tid=12956] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12956/stat : 12956 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406395 10804637696 936162 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12957] ppid=12937 vsize=10551404 CPUtime=0.01 cores=0,2,4,6
/proc/12939/task/12957/stat : 12957 (java) S 12937 12939 11532 0 -1 4202560 104 0 0 0 0 1 0 0 15 0 19 0 834406395 10804637696 936162 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624896 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12958] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12958/stat : 12958 (java) S 12937 12939 11532 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834406431 10804637696 936162 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624896 0 4 0 16800975 18446604452382001856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1787.19
Current children cumulated vsize (KiB) 10551404
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.1 s]
/proc/loadavg: 2.12 2.10 2.08 3/471 13066
/proc/meminfo: memFree=4471804/32951132 swapFree=67093840/67111528
[pid=12939] ppid=12937 vsize=10551404 CPUtime=1800.03 cores=0,2,4,6
/proc/12939/stat : 12939 (java) S 12937 12939 11532 0 -1 4202496 948541 0 1 0 179878 125 0 0 25 0 19 0 834406389 10804637696 936707 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12939/statm: 2637851 936707 2269 9 0 2628585 0
[pid=12939/tid=12940] ppid=12937 vsize=10551404 CPUtime=1793.29 cores=0,2,4,6
/proc/12939/task/12940/stat : 12940 (java) R 12937 12939 11532 0 -1 4202560 825399 0 1 0 179230 99 0 0 25 0 19 0 834406389 10804637696 936707 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 46912505829315 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12939/tid=12942] ppid=12937 vsize=10551404 CPUtime=0.5 cores=0,2,4,6
/proc/12939/task/12942/stat : 12942 (java) S 12937 12939 11532 0 -1 4202560 16530 0 0 0 47 3 0 0 15 0 19 0 834406391 10804637696 936707 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 0 0 0 0
[pid=12939/tid=12943] ppid=12937 vsize=10551404 CPUtime=0.37 cores=0,2,4,6
/proc/12939/task/12943/stat : 12943 (java) S 12937 12939 11532 0 -1 4202560 8338 0 0 0 36 1 0 0 16 0 19 0 834406391 10804637696 936707 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 2 0 0 0
[pid=12939/tid=12944] ppid=12937 vsize=10551404 CPUtime=0.52 cores=0,2,4,6
/proc/12939/task/12944/stat : 12944 (java) S 12937 12939 11532 0 -1 4202560 13452 0 0 0 50 2 0 0 16 0 19 0 834406391 10804637696 936707 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12945] ppid=12937 vsize=10551404 CPUtime=0.6 cores=0,2,4,6
/proc/12939/task/12945/stat : 12945 (java) S 12937 12939 11532 0 -1 4202560 14887 0 0 0 58 2 0 0 15 0 19 0 834406391 10804637696 936707 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 2 0 0 0
[pid=12939/tid=12946] ppid=12937 vsize=10551404 CPUtime=0.5 cores=0,2,4,6
/proc/12939/task/12946/stat : 12946 (java) S 12937 12939 11532 0 -1 4202560 9840 0 0 0 49 1 0 0 15 0 19 0 834406391 10804637696 936707 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12947] ppid=12937 vsize=10551404 CPUtime=0.54 cores=0,2,4,6
/proc/12939/task/12947/stat : 12947 (java) S 12937 12939 11532 0 -1 4202560 14997 0 0 0 51 3 0 0 15 0 19 0 834406391 10804637696 936707 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 0 0 0 0
[pid=12939/tid=12948] ppid=12937 vsize=10551404 CPUtime=0.43 cores=0,2,4,6
/proc/12939/task/12948/stat : 12948 (java) S 12937 12939 11532 0 -1 4202560 7973 0 0 0 42 1 0 0 16 0 19 0 834406391 10804637696 936707 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 0 0 0 0
[pid=12939/tid=12949] ppid=12937 vsize=10551404 CPUtime=0.55 cores=0,2,4,6
/proc/12939/task/12949/stat : 12949 (java) S 12937 12939 11532 0 -1 4202560 12908 0 0 0 52 3 0 0 16 0 19 0 834406391 10804637696 936707 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12950] ppid=12937 vsize=10551404 CPUtime=0.47 cores=0,2,4,6
/proc/12939/task/12950/stat : 12950 (java) S 12937 12939 11532 0 -1 4202560 6469 0 0 0 46 1 0 0 15 0 19 0 834406392 10804637696 936707 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624896 0 0 0 16800975 18446604452382001856 0 0 -1 0 0 0 0
[pid=12939/tid=12951] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12951/stat : 12951 (java) S 12937 12939 11532 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834406393 10804637696 936707 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12952] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12952/stat : 12952 (java) S 12937 12939 11532 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834406393 10804637696 936707 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12953] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12953/stat : 12953 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406395 10804637696 936707 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676631985 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12954] ppid=12937 vsize=10551404 CPUtime=1.09 cores=0,2,4,6
/proc/12939/task/12954/stat : 12954 (java) S 12937 12939 11532 0 -1 4202560 12155 0 0 0 106 3 0 0 15 0 19 0 834406395 10804637696 936707 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12955] ppid=12937 vsize=10551404 CPUtime=1.06 cores=0,2,4,6
/proc/12939/task/12955/stat : 12955 (java) S 12937 12939 11532 0 -1 4202560 4340 0 0 0 106 0 0 0 16 0 19 0 834406395 10804637696 936707 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 2 0 0 0
[pid=12939/tid=12956] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12956/stat : 12956 (java) S 12937 12939 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834406395 10804637696 936707 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624281 0 4 0 16800975 18446604452382001856 0 0 -1 6 0 0 0
[pid=12939/tid=12957] ppid=12937 vsize=10551404 CPUtime=0.01 cores=0,2,4,6
/proc/12939/task/12957/stat : 12957 (java) S 12937 12939 11532 0 -1 4202560 104 0 0 0 0 1 0 0 15 0 19 0 834406395 10804637696 936707 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624896 0 4 0 16800975 18446604452382001856 0 0 -1 4 0 0 0
[pid=12939/tid=12958] ppid=12937 vsize=10551404 CPUtime=0 cores=0,2,4,6
/proc/12939/task/12958/stat : 12958 (java) S 12937 12939 11532 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834406431 10804637696 936707 33554432000 1073741824 1073778376 140736627779376 18446744073709551615 274676624896 0 4 0 16800975 18446604452382001856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10551404
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.22 s]
/proc/loadavg: 2.12 2.10 2.08 3/455 13069
/proc/meminfo: memFree=6079488/32951132 swapFree=67093840/67111528
[pid=12939] ppid=12937 vsize=0 CPUtime=1800.18 cores=0,2,4,6
/proc/12939/stat : 12939 (java) Z 12937 12939 11532 0 -1 4203548 948571 0 1 0 179885 133 0 0 17 0 2 0 834406389 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12939/statm: 0 0 0 0 0 0 0
[pid=12939/tid=12940] ppid=12937 vsize=0 CPUtime=1793.4 cores=0,2,4,6
/proc/12939/task/12940/stat : 12940 (java) R 12937 12939 11532 0 -1 4203588 825399 0 1 0 179233 107 0 0 25 0 2 0 834406389 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.3
CPU time (s): 1800.26
CPU user time (s): 1798.86
CPU system time (s): 1.40579
CPU usage (%): 100.276
Max. virtual memory (cumulated for all children) (KiB): 10553332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 1.40579
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 948571
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= 38684
involuntary context switches= 18529
runsolver used 8.5747 second user time and 17.7293 second system time
The end