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-3455939-1307225457/watcher-3455939-1307225457 -o /tmp/evaluation-result-3455939-1307225457/solver-3455939-1307225457 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455939-1307225457.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.13 2.07 2.01 2/542 972
/proc/meminfo: memFree=20159320/32951124 swapFree=56930356/67111528
[pid=972] ppid=970 vsize=2464 CPUtime=0 cores=0,2,4,6
/proc/972/stat : 972 (java) S 970 972 32290 0 -1 4194304 281 0 0 0 0 0 0 0 25 0 1 0 834143388 2523136 44 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218900807303 0 2147483391 4096 0 18446744071699207358 0 0 17 0 0 0 0
/proc/972/statm: 616 44 35 9 0 27 0
[pid=972/tid=973] ppid=970 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/972/task/973/stat : 973 (java) R 970 972 32290 0 -1 4202560 5816 0 1 0 0 0 0 0 25 0 2 0 834143389 10694979584 6632 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218905424955 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.103809 s]
/proc/loadavg: 2.13 2.07 2.01 2/542 972
/proc/meminfo: memFree=20159320/32951124 swapFree=56930356/67111528
[pid=972] ppid=970 vsize=10540164 CPUtime=0.11 cores=0,2,4,6
/proc/972/stat : 972 (java) S 970 972 32290 0 -1 4202496 13083 0 1 0 10 1 0 0 25 0 18 0 834143388 10793127936 12766 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/972/statm: 2635041 12767 2092 9 0 2625775 0
[pid=972/tid=973] ppid=970 vsize=10540164 CPUtime=0.08 cores=0,2,4,6
/proc/972/task/973/stat : 973 (java) R 970 972 32290 0 -1 4202560 11136 0 1 0 8 0 0 0 18 0 18 0 834143389 10793127936 12767 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 46975537490771 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) 10540164
[startup+0.200753 s]
/proc/loadavg: 2.13 2.07 2.01 2/542 972
/proc/meminfo: memFree=20159320/32951124 swapFree=56930356/67111528
[pid=972] ppid=970 vsize=10540840 CPUtime=0.25 cores=0,2,4,6
/proc/972/stat : 972 (java) S 970 972 32290 0 -1 4202496 14122 0 1 0 24 1 0 0 25 0 18 0 834143388 10793820160 13777 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/972/statm: 2635210 13777 2170 9 0 2625944 0
[pid=972/tid=973] ppid=970 vsize=10540840 CPUtime=0.19 cores=0,2,4,6
/proc/972/task/973/stat : 973 (java) R 970 972 32290 0 -1 4202560 11749 0 1 0 18 1 0 0 18 0 18 0 834143389 10793820160 13777 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 46912505195847 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10540840
[startup+0.304784 s]
/proc/loadavg: 2.13 2.07 2.01 2/542 972
/proc/meminfo: memFree=20159320/32951124 swapFree=56930356/67111528
[pid=972] ppid=970 vsize=10544784 CPUtime=0.5 cores=0,2,4,6
/proc/972/stat : 972 (java) S 970 972 32290 0 -1 4202496 16801 0 1 0 49 1 0 0 25 0 19 0 834143388 10797858816 15818 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/972/statm: 2636196 15819 2207 9 0 2626930 0
[pid=972/tid=973] ppid=970 vsize=10544784 CPUtime=0.29 cores=0,2,4,6
/proc/972/task/973/stat : 973 (java) R 970 972 32290 0 -1 4202560 12520 0 1 0 28 1 0 0 19 0 19 0 834143389 10797858816 15821 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 46912505553023 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10544784
[startup+0.700724 s]
/proc/loadavg: 2.13 2.07 2.01 2/542 972
/proc/meminfo: memFree=20159320/32951124 swapFree=56930356/67111528
[pid=972] ppid=970 vsize=10551632 CPUtime=1.64 cores=0,2,4,6
/proc/972/stat : 972 (java) S 970 972 32290 0 -1 4202496 39921 0 1 0 159 5 0 0 25 0 19 0 834143388 10804871168 34254 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/972/statm: 2637908 34257 2221 9 0 2628642 0
[pid=972/tid=973] ppid=970 vsize=10551632 CPUtime=0.68 cores=0,2,4,6
/proc/972/task/973/stat : 973 (java) R 970 972 32290 0 -1 4202560 26892 0 1 0 65 3 0 0 19 0 19 0 834143389 10804871168 34258 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 46912505592543 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) 10551632
[startup+1.50161 s]
/proc/loadavg: 2.28 2.10 2.02 4/561 992
/proc/meminfo: memFree=19842908/32951124 swapFree=56930356/67111528
[pid=972] ppid=970 vsize=10552244 CPUtime=2.8 cores=0,2,4,6
/proc/972/stat : 972 (java) S 970 972 32290 0 -1 4202496 115888 0 1 0 265 15 0 0 25 0 19 0 834143388 10805497856 109335 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/972/statm: 2638061 109341 2225 9 0 2628795 0
[pid=972/tid=973] ppid=970 vsize=10552244 CPUtime=1.49 cores=0,2,4,6
/proc/972/task/973/stat : 973 (java) R 970 972 32290 0 -1 4202560 101794 0 1 0 136 13 0 0 21 0 19 0 834143389 10805497856 109343 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 46912505366018 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=972/tid=975] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/975/stat : 975 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143391 10805497856 109346 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=977] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/977/stat : 977 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143391 10805497856 109349 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=978] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/978/stat : 978 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143391 10805497856 109351 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=979] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/979/stat : 979 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143391 10805497856 109354 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=980] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/980/stat : 980 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143391 10805497856 109357 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=981] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/981/stat : 981 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143391 10805497856 109359 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=982] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/982/stat : 982 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143391 10805497856 109361 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=983] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/983/stat : 983 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143391 10805497856 109363 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=984] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/984/stat : 984 (java) S 970 972 32290 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834143392 10805497856 109364 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917547520 0 0 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=985] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/985/stat : 985 (java) S 970 972 32290 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834143392 10805497856 109365 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=986] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/986/stat : 986 (java) S 970 972 32290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834143392 10805497856 109367 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=987] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/987/stat : 987 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143395 10805497856 109369 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917554609 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=988] ppid=970 vsize=10552244 CPUtime=0.61 cores=0,2,4,6
/proc/972/task/988/stat : 988 (java) S 970 972 32290 0 -1 4202560 4955 0 0 0 61 0 0 0 15 0 19 0 834143395 10805497856 109372 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=989] ppid=970 vsize=10552244 CPUtime=0.68 cores=0,2,4,6
/proc/972/task/989/stat : 989 (java) S 970 972 32290 0 -1 4202560 7986 0 0 0 67 1 0 0 15 0 19 0 834143395 10805497856 109374 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 4 0 0 0
[pid=972/tid=990] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/990/stat : 990 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143395 10805497856 109377 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=991] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/991/stat : 991 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834143395 10805497856 109379 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917547520 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=992] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/992/stat : 992 (java) S 970 972 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834143411 10805497856 109381 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917547520 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 10552244
[startup+3.10129 s]
/proc/loadavg: 2.28 2.10 2.02 3/561 992
/proc/meminfo: memFree=19432840/32951124 swapFree=56930356/67111528
[pid=972] ppid=970 vsize=10552244 CPUtime=4.43 cores=0,2,4,6
/proc/972/stat : 972 (java) S 970 972 32290 0 -1 4202496 258126 0 1 0 411 32 0 0 25 0 19 0 834143388 10805497856 251571 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/972/statm: 2638061 251574 2225 9 0 2628795 0
[pid=972/tid=973] ppid=970 vsize=10552244 CPUtime=3.08 cores=0,2,4,6
/proc/972/task/973/stat : 973 (java) R 970 972 32290 0 -1 4202560 244025 0 1 0 279 29 0 0 18 0 19 0 834143389 10805497856 251576 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 46912505546148 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=972/tid=975] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/975/stat : 975 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143391 10805497856 251580 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=977] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/977/stat : 977 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143391 10805497856 251584 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=978] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/978/stat : 978 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143391 10805497856 251585 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=979] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/979/stat : 979 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143391 10805497856 251587 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=980] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/980/stat : 980 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143391 10805497856 251593 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=981] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/981/stat : 981 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143391 10805497856 251597 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=982] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/982/stat : 982 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143391 10805497856 251599 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=983] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/983/stat : 983 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143391 10805497856 251601 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=984] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/984/stat : 984 (java) S 970 972 32290 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834143392 10805497856 251603 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917547520 0 0 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=985] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/985/stat : 985 (java) S 970 972 32290 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834143392 10805497856 251608 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=986] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/986/stat : 986 (java) S 970 972 32290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834143392 10805497856 251611 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=987] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/987/stat : 987 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143395 10805497856 251613 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917554609 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=988] ppid=970 vsize=10552244 CPUtime=0.61 cores=0,2,4,6
/proc/972/task/988/stat : 988 (java) S 970 972 32290 0 -1 4202560 4955 0 0 0 61 0 0 0 15 0 19 0 834143395 10805497856 251615 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=989] ppid=970 vsize=10552244 CPUtime=0.71 cores=0,2,4,6
/proc/972/task/989/stat : 989 (java) S 970 972 32290 0 -1 4202560 7990 0 0 0 70 1 0 0 15 0 19 0 834143395 10805497856 251619 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 4 0 0 0
[pid=972/tid=990] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/990/stat : 990 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143395 10805497856 251622 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=991] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/991/stat : 991 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834143395 10805497856 251624 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917547520 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=992] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/992/stat : 992 (java) S 970 972 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834143411 10805497856 251626 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917547520 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 10552244
[startup+6.3007 s]
/proc/loadavg: 2.26 2.10 2.02 3/561 992
/proc/meminfo: memFree=18238324/32951124 swapFree=56930356/67111528
[pid=972] ppid=970 vsize=10552244 CPUtime=7.63 cores=0,2,4,6
/proc/972/stat : 972 (java) S 970 972 32290 0 -1 4202496 551400 0 1 0 693 70 0 0 25 0 19 0 834143388 10805497856 544844 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/972/statm: 2638061 544847 2226 9 0 2628795 0
[pid=972/tid=973] ppid=970 vsize=10552244 CPUtime=6.28 cores=0,2,4,6
/proc/972/task/973/stat : 973 (java) R 970 972 32290 0 -1 4202560 537298 0 1 0 560 68 0 0 21 0 19 0 834143389 10805497856 544848 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 46912505577786 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=972/tid=975] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/975/stat : 975 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143391 10805497856 544850 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=977] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/977/stat : 977 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143391 10805497856 544852 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=978] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/978/stat : 978 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143391 10805497856 544854 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=979] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/979/stat : 979 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143391 10805497856 544856 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=980] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/980/stat : 980 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143391 10805497856 544858 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=981] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/981/stat : 981 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143391 10805497856 544859 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=982] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/982/stat : 982 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143391 10805497856 544861 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=983] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/983/stat : 983 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143391 10805497856 544862 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=984] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/984/stat : 984 (java) S 970 972 32290 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834143392 10805497856 544864 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917547520 0 0 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=985] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/985/stat : 985 (java) S 970 972 32290 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834143392 10805497856 544866 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=986] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/986/stat : 986 (java) S 970 972 32290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834143392 10805497856 544868 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=987] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/987/stat : 987 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143395 10805497856 544870 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917554609 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=988] ppid=970 vsize=10552244 CPUtime=0.61 cores=0,2,4,6
/proc/972/task/988/stat : 988 (java) S 970 972 32290 0 -1 4202560 4955 0 0 0 61 0 0 0 15 0 19 0 834143395 10805497856 544872 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=989] ppid=970 vsize=10552244 CPUtime=0.71 cores=0,2,4,6
/proc/972/task/989/stat : 989 (java) S 970 972 32290 0 -1 4202560 7990 0 0 0 70 1 0 0 15 0 19 0 834143395 10805497856 544874 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/972/task/986/stat : 986 (java) S 970 972 32290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834143392 10805497856 956069 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=987] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/987/stat : 987 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143395 10805497856 956069 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917554609 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=988] ppid=970 vsize=10552244 CPUtime=0.79 cores=0,2,4,6
/proc/972/task/988/stat : 988 (java) S 970 972 32290 0 -1 4202560 4983 0 0 0 78 1 0 0 15 0 19 0 834143395 10805497856 956069 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=989] ppid=970 vsize=10552244 CPUtime=0.79 cores=0,2,4,6
/proc/972/task/989/stat : 989 (java) S 970 972 32290 0 -1 4202560 7997 0 0 0 78 1 0 0 15 0 19 0 834143395 10805497856 956069 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 4 0 0 0
[pid=972/tid=990] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/990/stat : 990 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143395 10805497856 956069 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=991] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/991/stat : 991 (java) S 970 972 32290 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 834143395 10805497856 956069 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917547520 0 4 0 16800975 18446604445590176704 0 0 -1 4 0 0 0
[pid=972/tid=992] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/992/stat : 992 (java) S 970 972 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834143411 10805497856 956069 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917547520 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1668.15
Current children cumulated vsize (KiB) 10552244
[startup+1722.3 s]
/proc/loadavg: 2.01 2.07 2.02 3/561 1086
/proc/meminfo: memFree=16489016/32951124 swapFree=56930356/67111528
[pid=972] ppid=970 vsize=10552244 CPUtime=1728.29 cores=0,2,4,6
/proc/972/stat : 972 (java) S 970 972 32290 0 -1 4202496 965375 0 1 0 172705 124 0 0 25 0 19 0 834143388 10805497856 956920 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/972/statm: 2638061 956920 2256 9 0 2628795 0
[pid=972/tid=973] ppid=970 vsize=10552244 CPUtime=1718.28 cores=0,2,4,6
/proc/972/task/973/stat : 973 (java) R 970 972 32290 0 -1 4202560 826071 0 1 0 171725 103 0 0 25 0 19 0 834143389 10805497856 956920 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 46912505546312 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=972/tid=975] ppid=970 vsize=10552244 CPUtime=0.68 cores=0,2,4,6
/proc/972/task/975/stat : 975 (java) S 970 972 32290 0 -1 4202560 12422 0 0 0 67 1 0 0 15 0 19 0 834143391 10805497856 956920 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=977] ppid=970 vsize=10552244 CPUtime=0.83 cores=0,2,4,6
/proc/972/task/977/stat : 977 (java) S 970 972 32290 0 -1 4202560 14384 0 0 0 81 2 0 0 15 0 19 0 834143391 10805497856 956920 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=978] ppid=970 vsize=10552244 CPUtime=0.82 cores=0,2,4,6
/proc/972/task/978/stat : 978 (java) S 970 972 32290 0 -1 4202560 15177 0 0 0 80 2 0 0 16 0 19 0 834143391 10805497856 956920 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 4 0 0 0
[pid=972/tid=979] ppid=970 vsize=10552244 CPUtime=0.91 cores=0,2,4,6
/proc/972/task/979/stat : 979 (java) S 970 972 32290 0 -1 4202560 14014 0 0 0 90 1 0 0 16 0 19 0 834143391 10805497856 956920 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 0 0 0 0
[pid=972/tid=980] ppid=970 vsize=10552244 CPUtime=0.87 cores=0,2,4,6
/proc/972/task/980/stat : 980 (java) S 970 972 32290 0 -1 4202560 18111 0 0 0 84 3 0 0 16 0 19 0 834143391 10805497856 956920 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=981] ppid=970 vsize=10552244 CPUtime=0.69 cores=0,2,4,6
/proc/972/task/981/stat : 981 (java) S 970 972 32290 0 -1 4202560 12290 0 0 0 68 1 0 0 15 0 19 0 834143391 10805497856 956920 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 0 0 0 0
[pid=972/tid=982] ppid=970 vsize=10552244 CPUtime=0.87 cores=0,2,4,6
/proc/972/task/982/stat : 982 (java) S 970 972 32290 0 -1 4202560 12965 0 0 0 86 1 0 0 16 0 19 0 834143391 10805497856 956920 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=983] ppid=970 vsize=10552244 CPUtime=0.88 cores=0,2,4,6
/proc/972/task/983/stat : 983 (java) S 970 972 32290 0 -1 4202560 13265 0 0 0 87 1 0 0 15 0 19 0 834143391 10805497856 956920 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=984] ppid=970 vsize=10552244 CPUtime=1.76 cores=0,2,4,6
/proc/972/task/984/stat : 984 (java) S 970 972 32290 0 -1 4202560 12446 0 0 0 175 1 0 0 15 0 19 0 834143392 10805497856 956920 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917547520 0 0 0 16800975 18446604445590176704 0 0 -1 4 0 0 0
[pid=972/tid=985] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/985/stat : 985 (java) S 970 972 32290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834143392 10805497856 956920 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=986] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/986/stat : 986 (java) S 970 972 32290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834143392 10805497856 956920 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=987] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/987/stat : 987 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143395 10805497856 956920 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917554609 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=988] ppid=970 vsize=10552244 CPUtime=0.79 cores=0,2,4,6
/proc/972/task/988/stat : 988 (java) S 970 972 32290 0 -1 4202560 4983 0 0 0 78 1 0 0 15 0 19 0 834143395 10805497856 956920 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=989] ppid=970 vsize=10552244 CPUtime=0.79 cores=0,2,4,6
/proc/972/task/989/stat : 989 (java) S 970 972 32290 0 -1 4202560 7997 0 0 0 78 1 0 0 15 0 19 0 834143395 10805497856 956920 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 4 0 0 0
[pid=972/tid=990] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/990/stat : 990 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143395 10805497856 956920 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=991] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/991/stat : 991 (java) S 970 972 32290 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834143395 10805497856 956920 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917547520 0 4 0 16800975 18446604445590176704 0 0 -1 4 0 0 0
[pid=972/tid=992] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/992/stat : 992 (java) S 970 972 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834143411 10805497856 956920 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917547520 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1728.29
Current children cumulated vsize (KiB) 10552244
[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/561 1088
/proc/meminfo: memFree=16485636/32951124 swapFree=56930356/67111528
[pid=972] ppid=970 vsize=10552244 CPUtime=1788.45 cores=0,2,4,6
/proc/972/stat : 972 (java) S 970 972 32290 0 -1 4202496 966056 0 1 0 178721 124 0 0 25 0 19 0 834143388 10805497856 957584 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/972/statm: 2638061 957584 2256 9 0 2628795 0
[pid=972/tid=973] ppid=970 vsize=10552244 CPUtime=1778.2 cores=0,2,4,6
/proc/972/task/973/stat : 973 (java) R 970 972 32290 0 -1 4202560 826076 0 1 0 177717 103 0 0 25 0 19 0 834143389 10805497856 957584 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 46912505859494 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=972/tid=975] ppid=970 vsize=10552244 CPUtime=0.7 cores=0,2,4,6
/proc/972/task/975/stat : 975 (java) S 970 972 32290 0 -1 4202560 12435 0 0 0 69 1 0 0 16 0 19 0 834143391 10805497856 957584 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=977] ppid=970 vsize=10552244 CPUtime=0.87 cores=0,2,4,6
/proc/972/task/977/stat : 977 (java) S 970 972 32290 0 -1 4202560 14516 0 0 0 85 2 0 0 15 0 19 0 834143391 10805497856 957584 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=978] ppid=970 vsize=10552244 CPUtime=0.83 cores=0,2,4,6
/proc/972/task/978/stat : 978 (java) S 970 972 32290 0 -1 4202560 15202 0 0 0 81 2 0 0 15 0 19 0 834143391 10805497856 957584 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 4 0 0 0
[pid=972/tid=979] ppid=970 vsize=10552244 CPUtime=0.94 cores=0,2,4,6
/proc/972/task/979/stat : 979 (java) S 970 972 32290 0 -1 4202560 14104 0 0 0 93 1 0 0 15 0 19 0 834143391 10805497856 957584 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=980] ppid=970 vsize=10552244 CPUtime=0.89 cores=0,2,4,6
/proc/972/task/980/stat : 980 (java) S 970 972 32290 0 -1 4202560 18168 0 0 0 86 3 0 0 16 0 19 0 834143391 10805497856 957584 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 4 0 0 0
[pid=972/tid=981] ppid=970 vsize=10552244 CPUtime=0.73 cores=0,2,4,6
/proc/972/task/981/stat : 981 (java) S 970 972 32290 0 -1 4202560 12432 0 0 0 72 1 0 0 15 0 19 0 834143391 10805497856 957584 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 0 0 0 0
[pid=972/tid=982] ppid=970 vsize=10552244 CPUtime=0.92 cores=0,2,4,6
/proc/972/task/982/stat : 982 (java) S 970 972 32290 0 -1 4202560 13062 0 0 0 91 1 0 0 16 0 19 0 834143391 10805497856 957584 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=983] ppid=970 vsize=10552244 CPUtime=0.91 cores=0,2,4,6
/proc/972/task/983/stat : 983 (java) S 970 972 32290 0 -1 4202560 13379 0 0 0 90 1 0 0 16 0 19 0 834143391 10805497856 957584 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 0 0 0 0
[pid=972/tid=984] ppid=970 vsize=10552244 CPUtime=1.76 cores=0,2,4,6
/proc/972/task/984/stat : 984 (java) S 970 972 32290 0 -1 4202560 12448 0 0 0 175 1 0 0 15 0 19 0 834143392 10805497856 957584 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917547520 0 0 0 16800975 18446604445590176704 0 0 -1 4 0 0 0
[pid=972/tid=985] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/985/stat : 985 (java) S 970 972 32290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834143392 10805497856 957584 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=986] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/986/stat : 986 (java) S 970 972 32290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834143392 10805497856 957584 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=987] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/987/stat : 987 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143395 10805497856 957584 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917554609 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=988] ppid=970 vsize=10552244 CPUtime=0.79 cores=0,2,4,6
/proc/972/task/988/stat : 988 (java) S 970 972 32290 0 -1 4202560 4983 0 0 0 78 1 0 0 15 0 19 0 834143395 10805497856 957584 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=989] ppid=970 vsize=10552244 CPUtime=0.79 cores=0,2,4,6
/proc/972/task/989/stat : 989 (java) S 970 972 32290 0 -1 4202560 7997 0 0 0 78 1 0 0 15 0 19 0 834143395 10805497856 957584 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 4 0 0 0
[pid=972/tid=990] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/990/stat : 990 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143395 10805497856 957584 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=991] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/991/stat : 991 (java) S 970 972 32290 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834143395 10805497856 957584 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917547520 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=992] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/992/stat : 992 (java) S 970 972 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834143411 10805497856 957584 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917547520 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1788.45
Current children cumulated vsize (KiB) 10552244
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.8 s]
/proc/loadavg: 2.00 2.05 2.02 3/561 1088
/proc/meminfo: memFree=16483900/32951124 swapFree=56930356/67111528
[pid=972] ppid=970 vsize=10552244 CPUtime=1800.01 cores=0,2,4,6
/proc/972/stat : 972 (java) S 970 972 32290 0 -1 4202496 966574 0 1 0 179877 124 0 0 25 0 19 0 834143388 10805497856 958095 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/972/statm: 2638061 958095 2256 9 0 2628795 0
[pid=972/tid=973] ppid=970 vsize=10552244 CPUtime=1789.7 cores=0,2,4,6
/proc/972/task/973/stat : 973 (java) R 970 972 32290 0 -1 4202560 826077 0 1 0 178867 103 0 0 25 0 19 0 834143389 10805497856 958095 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 46912505859494 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=972/tid=975] ppid=970 vsize=10552244 CPUtime=0.7 cores=0,2,4,6
/proc/972/task/975/stat : 975 (java) S 970 972 32290 0 -1 4202560 12452 0 0 0 69 1 0 0 16 0 19 0 834143391 10805497856 958095 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=977] ppid=970 vsize=10552244 CPUtime=0.87 cores=0,2,4,6
/proc/972/task/977/stat : 977 (java) S 970 972 32290 0 -1 4202560 14516 0 0 0 85 2 0 0 15 0 19 0 834143391 10805497856 958095 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=978] ppid=970 vsize=10552244 CPUtime=0.83 cores=0,2,4,6
/proc/972/task/978/stat : 978 (java) S 970 972 32290 0 -1 4202560 15202 0 0 0 81 2 0 0 15 0 19 0 834143391 10805497856 958095 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 4 0 0 0
[pid=972/tid=979] ppid=970 vsize=10552244 CPUtime=0.96 cores=0,2,4,6
/proc/972/task/979/stat : 979 (java) S 970 972 32290 0 -1 4202560 14283 0 0 0 95 1 0 0 16 0 19 0 834143391 10805497856 958095 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=980] ppid=970 vsize=10552244 CPUtime=0.91 cores=0,2,4,6
/proc/972/task/980/stat : 980 (java) S 970 972 32290 0 -1 4202560 18415 0 0 0 88 3 0 0 16 0 19 0 834143391 10805497856 958095 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 4 0 0 0
[pid=972/tid=981] ppid=970 vsize=10552244 CPUtime=0.74 cores=0,2,4,6
/proc/972/task/981/stat : 981 (java) S 970 972 32290 0 -1 4202560 12446 0 0 0 73 1 0 0 16 0 19 0 834143391 10805497856 958095 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=982] ppid=970 vsize=10552244 CPUtime=0.92 cores=0,2,4,6
/proc/972/task/982/stat : 982 (java) S 970 972 32290 0 -1 4202560 13062 0 0 0 91 1 0 0 15 0 19 0 834143391 10805497856 958095 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=983] ppid=970 vsize=10552244 CPUtime=0.93 cores=0,2,4,6
/proc/972/task/983/stat : 983 (java) S 970 972 32290 0 -1 4202560 13437 0 0 0 92 1 0 0 16 0 19 0 834143391 10805497856 958095 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 0 0 0 0
[pid=972/tid=984] ppid=970 vsize=10552244 CPUtime=1.76 cores=0,2,4,6
/proc/972/task/984/stat : 984 (java) S 970 972 32290 0 -1 4202560 12450 0 0 0 175 1 0 0 15 0 19 0 834143392 10805497856 958095 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917547520 0 0 0 16800975 18446604445590176704 0 0 -1 4 0 0 0
[pid=972/tid=985] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/985/stat : 985 (java) S 970 972 32290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834143392 10805497856 958095 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=986] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/986/stat : 986 (java) S 970 972 32290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834143392 10805497856 958095 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=987] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/987/stat : 987 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143395 10805497856 958095 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917554609 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=988] ppid=970 vsize=10552244 CPUtime=0.79 cores=0,2,4,6
/proc/972/task/988/stat : 988 (java) S 970 972 32290 0 -1 4202560 4983 0 0 0 78 1 0 0 15 0 19 0 834143395 10805497856 958095 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=989] ppid=970 vsize=10552244 CPUtime=0.79 cores=0,2,4,6
/proc/972/task/989/stat : 989 (java) S 970 972 32290 0 -1 4202560 7997 0 0 0 78 1 0 0 15 0 19 0 834143395 10805497856 958095 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 4 0 0 0
[pid=972/tid=990] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/990/stat : 990 (java) S 970 972 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834143395 10805497856 958095 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917546905 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
[pid=972/tid=991] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/991/stat : 991 (java) S 970 972 32290 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834143395 10805497856 958095 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917547520 0 4 0 16800975 18446604445590176704 0 0 -1 2 0 0 0
[pid=972/tid=992] ppid=970 vsize=10552244 CPUtime=0 cores=0,2,4,6
/proc/972/task/992/stat : 992 (java) S 970 972 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834143411 10805497856 958095 33554432000 1073741824 1073778376 140733925808240 18446744073709551615 218917547520 0 4 0 16800975 18446604445590176704 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10552244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794 s]
/proc/loadavg: 2.00 2.05 2.02 3/561 1088
/proc/meminfo: memFree=16483900/32951124 swapFree=56930356/67111528
[pid=972] ppid=970 vsize=0 CPUtime=1800.24 cores=0,2,4,6
/proc/972/stat : 972 (java) Z 970 972 32290 0 -1 4203548 966615 0 1 0 179886 138 0 0 17 0 2 0 834143388 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/972/statm: 0 0 0 0 0 0 0
[pid=972/tid=973] ppid=970 vsize=0 CPUtime=1789.87 cores=0,2,4,6
/proc/972/task/973/stat : 973 (java) R 970 972 32290 0 -1 4203588 826077 0 1 0 178870 117 0 0 25 0 2 0 834143389 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.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.03
CPU time (s): 1800.28
CPU user time (s): 1798.86
CPU system time (s): 1.41878
CPU usage (%): 100.348
Max. virtual memory (cumulated for all children) (KiB): 10552556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 1.41878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 966615
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= 40392
involuntary context switches= 10286
runsolver used 10.3194 second user time and 21.5187 second system time
The end