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-3453679-1307194026/watcher-3453679-1307194026 -o /tmp/evaluation-result-3453679-1307194026/solver-3453679-1307194026 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453679-1307194026.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.12 2.95 3.40 3/423 3290
/proc/meminfo: memFree=25874180/32951124 swapFree=44043516/67111528
[pid=3290] ppid=3288 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/3290/stat : 3290 (java) S 3288 3290 31765 0 -1 4202496 1236 0 0 0 0 0 0 0 18 0 2 0 831000840 31260672 955 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528636901 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/3290/statm: 7632 955 728 9 0 383 0
[pid=3290/tid=3292] ppid=3288 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3292/stat : 3292 (java) R 3288 3290 31765 0 -1 4202560 3995 0 1 0 0 0 0 0 17 0 2 0 831000841 10694979584 4811 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246516528187 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.114781 s]
/proc/loadavg: 2.12 2.95 3.40 3/423 3290
/proc/meminfo: memFree=25874180/32951124 swapFree=44043516/67111528
[pid=3290] ppid=3288 vsize=10540140 CPUtime=0.12 cores=1,3,5,7
/proc/3290/stat : 3290 (java) S 3288 3290 31765 0 -1 4202496 13238 0 1 0 10 2 0 0 18 0 18 0 831000840 10793103360 12934 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3290/statm: 2635035 12935 2122 9 0 2625769 0
[pid=3290/tid=3292] ppid=3288 vsize=10540140 CPUtime=0.1 cores=1,3,5,7
/proc/3290/task/3292/stat : 3292 (java) R 3288 3290 31765 0 -1 4202560 11262 0 1 0 8 2 0 0 18 0 18 0 831000841 10793103360 12935 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528662907 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540140
[startup+0.200706 s]
/proc/loadavg: 2.12 2.95 3.40 3/423 3290
/proc/meminfo: memFree=25874180/32951124 swapFree=44043516/67111528
[pid=3290] ppid=3288 vsize=10546324 CPUtime=0.32 cores=1,3,5,7
/proc/3290/stat : 3290 (java) S 3288 3290 31765 0 -1 4202496 16231 0 1 0 29 3 0 0 18 0 22 0 831000840 10799435776 15382 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3290/statm: 2636581 15382 2183 9 0 2627315 0
[pid=3290/tid=3292] ppid=3288 vsize=10546324 CPUtime=0.14 cores=1,3,5,7
/proc/3290/task/3292/stat : 3292 (java) S 3288 3290 31765 0 -1 4202560 11628 0 1 0 12 2 0 0 19 0 22 0 831000841 10799435776 15382 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 10546324
[startup+0.30069 s]
/proc/loadavg: 2.12 2.95 3.40 3/423 3290
/proc/meminfo: memFree=25874180/32951124 swapFree=44043516/67111528
[pid=3290] ppid=3288 vsize=10546996 CPUtime=0.72 cores=1,3,5,7
/proc/3290/stat : 3290 (java) S 3288 3290 31765 0 -1 4202496 17894 0 1 0 69 3 0 0 18 0 22 0 831000840 10800123904 16251 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3290/statm: 2636749 16251 2202 9 0 2627483 0
[pid=3290/tid=3292] ppid=3288 vsize=10546996 CPUtime=0.14 cores=1,3,5,7
/proc/3290/task/3292/stat : 3292 (java) S 3288 3290 31765 0 -1 4202560 11628 0 1 0 12 2 0 0 19 0 22 0 831000841 10800123904 16251 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 10546996
[startup+0.700618 s]
/proc/loadavg: 2.12 2.95 3.40 3/423 3290
/proc/meminfo: memFree=25874180/32951124 swapFree=44043516/67111528
[pid=3290] ppid=3288 vsize=10552688 CPUtime=1.8 cores=1,3,5,7
/proc/3290/stat : 3290 (java) S 3288 3290 31765 0 -1 4202496 31065 0 1 0 175 5 0 0 18 0 22 0 831000840 10805952512 26173 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3290/statm: 2638172 26174 2214 9 0 2628906 0
[pid=3290/tid=3292] ppid=3288 vsize=10552688 CPUtime=0.14 cores=1,3,5,7
/proc/3290/task/3292/stat : 3292 (java) S 3288 3290 31765 0 -1 4202560 11630 0 1 0 12 2 0 0 16 0 22 0 831000841 10805952512 26176 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 10552688
[startup+1.50151 s]
/proc/loadavg: 2.12 2.95 3.40 5/464 3342
/proc/meminfo: memFree=25585936/32951124 swapFree=44043516/67111528
[pid=3290] ppid=3288 vsize=10551060 CPUtime=2.04 cores=1,3,5,7
/proc/3290/stat : 3290 (java) S 3288 3290 31765 0 -1 4202496 34535 0 1 0 199 5 0 0 18 0 19 0 831000840 10804285440 29074 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3290/statm: 2637765 29074 2222 9 0 2628499 0
[pid=3290/tid=3292] ppid=3288 vsize=10551060 CPUtime=0.14 cores=1,3,5,7
/proc/3290/task/3292/stat : 3292 (java) S 3288 3290 31765 0 -1 4202560 11633 0 1 0 12 2 0 0 16 0 19 0 831000841 10804285440 29074 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3304] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3304/stat : 3304 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831000843 10804285440 29074 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3305] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3305/stat : 3305 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831000843 10804285440 29074 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3306] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3306/stat : 3306 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831000843 10804285440 29074 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3307] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3307/stat : 3307 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831000843 10804285440 29074 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3308] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3308/stat : 3308 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831000843 10804285440 29074 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3309] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3309/stat : 3309 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831000843 10804285440 29074 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3310] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3310/stat : 3310 (java) S 3288 3290 31765 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 831000843 10804285440 29074 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3311] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3311/stat : 3311 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831000843 10804285440 29074 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3313] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3313/stat : 3313 (java) S 3288 3290 31765 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831000844 10804285440 29074 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 0 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3320] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3320/stat : 3320 (java) S 3288 3290 31765 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 831000844 10804285440 29074 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3321] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3321/stat : 3321 (java) S 3288 3290 31765 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 831000844 10804285440 29074 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3322] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3322/stat : 3322 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831000846 10804285440 29074 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528657841 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3324] ppid=3288 vsize=10551060 CPUtime=0.48 cores=1,3,5,7
/proc/3290/task/3324/stat : 3324 (java) S 3288 3290 31765 0 -1 4202560 4027 0 0 0 48 0 0 0 15 0 19 0 831000846 10804285440 29074 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3326] ppid=3288 vsize=10551060 CPUtime=0.61 cores=1,3,5,7
/proc/3290/task/3326/stat : 3326 (java) S 3288 3290 31765 0 -1 4202560 9022 0 0 0 61 0 0 0 15 0 19 0 831000846 10804285440 29074 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3328] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3328/stat : 3328 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831000846 10804285440 29074 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3330] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3330/stat : 3330 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831000846 10804285440 29074 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3335] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3335/stat : 3335 (java) S 3288 3290 31765 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831000856 10804285440 29074 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 10551060
[startup+3.10122 s]
/proc/loadavg: 2.12 2.95 3.40 6/467 3354
/proc/meminfo: memFree=25422604/32951124 swapFree=44043516/67111528
[pid=3290] ppid=3288 vsize=10551060 CPUtime=2.72 cores=1,3,5,7
/proc/3290/stat : 3290 (java) S 3288 3290 31765 0 -1 4202496 54845 0 1 0 265 7 0 0 18 0 19 0 831000840 10804285440 48772 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3290/statm: 2637765 48772 2225 9 0 2628499 0
[pid=3290/tid=3292] ppid=3288 vsize=10551060 CPUtime=0.14 cores=1,3,5,7
/proc/3290/task/3292/stat : 3292 (java) S 3288 3290 31765 0 -1 4202560 11640 0 1 0 12 2 0 0 16 0 19 0 831000841 10804285440 48772 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 7 0 0 0
[pid=3290/tid=3304] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3304/stat : 3304 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831000843 10804285440 48772 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3305] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3305/stat : 3305 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831000843 10804285440 48772 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3306] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3306/stat : 3306 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831000843 10804285440 48772 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3307] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3307/stat : 3307 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831000843 10804285440 48772 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3308] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3308/stat : 3308 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831000843 10804285440 48772 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3309] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3309/stat : 3309 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831000843 10804285440 48772 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3310] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3310/stat : 3310 (java) S 3288 3290 31765 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 831000843 10804285440 48772 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3311] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3311/stat : 3311 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831000843 10804285440 48772 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3313] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3313/stat : 3313 (java) S 3288 3290 31765 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831000844 10804285440 48772 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 0 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3320] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3320/stat : 3320 (java) S 3288 3290 31765 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 831000844 10804285440 48772 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3321] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3321/stat : 3321 (java) S 3288 3290 31765 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 831000844 10804285440 48772 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3322] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3322/stat : 3322 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831000846 10804285440 48772 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528657841 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3324] ppid=3288 vsize=10551060 CPUtime=0.57 cores=1,3,5,7
/proc/3290/task/3324/stat : 3324 (java) S 3288 3290 31765 0 -1 4202560 4646 0 0 0 57 0 0 0 15 0 19 0 831000846 10804285440 48772 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3326] ppid=3288 vsize=10551060 CPUtime=0.8 cores=1,3,5,7
/proc/3290/task/3326/stat : 3326 (java) S 3288 3290 31765 0 -1 4202560 9048 0 0 0 80 0 0 0 16 0 19 0 831000846 10804285440 48772 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3328] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3328/stat : 3328 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831000846 10804285440 48772 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3330] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3330/stat : 3330 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831000846 10804285440 48772 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 7 0 0 0
[pid=3290/tid=3335] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3335/stat : 3335 (java) S 3288 3290 31765 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831000856 10804285440 48772 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 10551060
Solver just ended. Dumping a history of the last processes samples
[startup+3.20116 s]
/proc/loadavg: 2.12 2.95 3.40 6/467 3354
/proc/meminfo: memFree=25422604/32951124 swapFree=44043516/67111528
[pid=3290] ppid=3288 vsize=10551060 CPUtime=2.76 cores=1,3,5,7
/proc/3290/stat : 3290 (java) S 3288 3290 31765 0 -1 4202496 56832 0 1 0 269 7 0 0 18 0 22 0 831000840 10804285440 50758 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3290/statm: 2637765 50764 2225 9 0 2628499 0
[pid=3290/tid=3292] ppid=3288 vsize=10551060 CPUtime=0.14 cores=1,3,5,7
/proc/3290/task/3292/stat : 3292 (java) S 3288 3290 31765 0 -1 4202560 11643 0 1 0 12 2 0 0 16 0 22 0 831000841 10804285440 50766 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3304] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3304/stat : 3304 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831000843 10804285440 50769 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3305] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3305/stat : 3305 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831000843 10804285440 50773 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3306] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3306/stat : 3306 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831000843 10804285440 50777 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3307] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3307/stat : 3307 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831000843 10804285440 50781 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3308] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3308/stat : 3308 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831000843 10804285440 50784 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3309] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3309/stat : 3309 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831000843 10804285440 50788 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3310] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3310/stat : 3310 (java) S 3288 3290 31765 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 22 0 831000843 10804285440 50791 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3311] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3311/stat : 3311 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831000843 10804285440 50795 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3313] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3313/stat : 3313 (java) S 3288 3290 31765 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831000844 10804285440 50798 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 0 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3320] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3320/stat : 3320 (java) S 3288 3290 31765 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 22 0 831000844 10804285440 50801 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3321] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3321/stat : 3321 (java) S 3288 3290 31765 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831000844 10804285440 50804 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3322] ppid=3288 vsize=10551060 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3322/stat : 3322 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831000846 10804285440 50808 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528657841 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3324] ppid=3288 vsize=10551060 CPUtime=0.57 cores=1,3,5,7
/proc/3290/task/3324/stat : 3324 (java) S 3288 3290 31765 0 -1 4202560 4646 0 0 0 57 0 0 0 15 0 22 0 831000846 10804285440 50812 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/3290/task/3320/stat : 3320 (java) S 3288 3290 31765 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831000844 10817642496 129009 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3321] ppid=3288 vsize=10564104 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3321/stat : 3321 (java) S 3288 3290 31765 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831000844 10817642496 129012 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3322] ppid=3288 vsize=10564104 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3322/stat : 3322 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831000846 10817642496 129015 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528657841 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3324] ppid=3288 vsize=10564104 CPUtime=0.89 cores=1,3,5,7
/proc/3290/task/3324/stat : 3324 (java) R 3288 3290 31765 0 -1 4202560 9689 0 0 0 88 1 0 0 16 0 22 0 831000846 10817642496 129018 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 47191957874963 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3290/tid=3326] ppid=3288 vsize=10564104 CPUtime=1.02 cores=1,3,5,7
/proc/3290/task/3326/stat : 3326 (java) S 3288 3290 31765 0 -1 4202560 9069 0 0 0 102 0 0 0 15 0 22 0 831000846 10817642496 129021 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3328] ppid=3288 vsize=10564104 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3328/stat : 3328 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831000846 10817642496 129024 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3330] ppid=3288 vsize=10564104 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3330/stat : 3330 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831000846 10817642496 129027 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3335] ppid=3288 vsize=10564104 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3335/stat : 3335 (java) S 3288 3290 31765 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831000856 10817642496 129029 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3369] ppid=3288 vsize=10564104 CPUtime=0.57 cores=1,3,5,7
/proc/3290/task/3369/stat : 3369 (java) R 3288 3290 31765 0 -1 4202560 444 0 0 0 57 0 0 0 17 0 22 0 831001259 10817642496 129031 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 46912505630618 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=3290/tid=3370] ppid=3288 vsize=10564104 CPUtime=0.57 cores=1,3,5,7
/proc/3290/task/3370/stat : 3370 (java) R 3288 3290 31765 0 -1 4202560 53810 0 0 0 52 5 0 0 18 0 22 0 831001259 10817642496 129034 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 46912505585956 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3290/tid=3371] ppid=3288 vsize=10564104 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3371/stat : 3371 (java) S 3288 3290 31765 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831001259 10817642496 129036 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.91
Current children cumulated vsize (KiB) 10564104
[startup+5.61676 s]
/proc/loadavg: 2.11 2.93 3.40 6/467 3371
/proc/meminfo: memFree=24799532/32951124 swapFree=44043516/67111528
[pid=3290] ppid=3288 vsize=10630536 CPUtime=7.18 cores=1,3,5,7
/proc/3290/stat : 3290 (java) S 3288 3290 31765 0 -1 4202496 157255 0 1 0 698 20 0 0 18 0 22 0 831000840 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3290/statm: 2657634 148783 2258 9 0 2648368 0
[pid=3290/tid=3292] ppid=3288 vsize=10630536 CPUtime=0.14 cores=1,3,5,7
/proc/3290/task/3292/stat : 3292 (java) S 3288 3290 31765 0 -1 4202560 11643 0 1 0 12 2 0 0 15 0 22 0 831000841 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3304] ppid=3288 vsize=10630536 CPUtime=0.01 cores=1,3,5,7
/proc/3290/task/3304/stat : 3304 (java) S 3288 3290 31765 0 -1 4202560 332 0 0 0 1 0 0 0 15 0 22 0 831000843 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3305] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3305/stat : 3305 (java) S 3288 3290 31765 0 -1 4202560 221 0 0 0 0 0 0 0 16 0 22 0 831000843 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3306] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3306/stat : 3306 (java) S 3288 3290 31765 0 -1 4202560 192 0 0 0 0 0 0 0 16 0 22 0 831000843 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3307] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3307/stat : 3307 (java) S 3288 3290 31765 0 -1 4202560 70 0 0 0 0 0 0 0 16 0 22 0 831000843 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3308] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3308/stat : 3308 (java) S 3288 3290 31765 0 -1 4202560 53 0 0 0 0 0 0 0 16 0 22 0 831000843 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3309] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3309/stat : 3309 (java) S 3288 3290 31765 0 -1 4202560 129 0 0 0 0 0 0 0 15 0 22 0 831000843 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3310] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3310/stat : 3310 (java) S 3288 3290 31765 0 -1 4202560 469 0 0 0 0 0 0 0 15 0 22 0 831000843 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3311] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3311/stat : 3311 (java) S 3288 3290 31765 0 -1 4202560 309 0 0 0 0 0 0 0 15 0 22 0 831000843 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3313] ppid=3288 vsize=10630536 CPUtime=0.09 cores=1,3,5,7
/proc/3290/task/3313/stat : 3313 (java) S 3288 3290 31765 0 -1 4202560 2018 0 0 0 9 0 0 0 15 0 22 0 831000844 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 0 0 16800975 18446604470238353600 0 0 -1 7 0 0 0
[pid=3290/tid=3320] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3320/stat : 3320 (java) S 3288 3290 31765 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831000844 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3321] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3321/stat : 3321 (java) S 3288 3290 31765 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831000844 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3322] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3322/stat : 3322 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831000846 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528657841 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3324] ppid=3288 vsize=10630536 CPUtime=1.4 cores=1,3,5,7
/proc/3290/task/3324/stat : 3324 (java) S 3288 3290 31765 0 -1 4202560 10542 0 0 0 139 1 0 0 15 0 22 0 831000846 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3326] ppid=3288 vsize=10630536 CPUtime=1.2 cores=1,3,5,7
/proc/3290/task/3326/stat : 3326 (java) S 3288 3290 31765 0 -1 4202560 9092 0 0 0 120 0 0 0 16 0 22 0 831000846 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3328] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3328/stat : 3328 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831000846 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3330] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3330/stat : 3330 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831000846 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3335] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3335/stat : 3335 (java) S 3288 3290 31765 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831000856 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3369] ppid=3288 vsize=10630536 CPUtime=1.32 cores=1,3,5,7
/proc/3290/task/3369/stat : 3369 (java) R 3288 3290 31765 0 -1 4202560 594 0 0 0 132 0 0 0 17 0 22 0 831001259 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 46912505531441 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3290/tid=3370] ppid=3288 vsize=10630536 CPUtime=1.32 cores=1,3,5,7
/proc/3290/task/3370/stat : 3370 (java) R 3288 3290 31765 0 -1 4202560 72548 0 0 0 124 8 0 0 18 0 22 0 831001259 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 46912505850314 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3290/tid=3371] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3371/stat : 3371 (java) S 3288 3290 31765 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831001259 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (KiB) 10630536
[startup+6.00068 s]
/proc/loadavg: 2.11 2.93 3.40 6/467 3371
/proc/meminfo: memFree=24799532/32951124 swapFree=44043516/67111528
[pid=3290] ppid=3288 vsize=10630536 CPUtime=7.95 cores=1,3,5,7
/proc/3290/stat : 3290 (java) S 3288 3290 31765 0 -1 4202496 157255 0 1 0 775 20 0 0 18 0 22 0 831000840 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3290/statm: 2657634 148783 2258 9 0 2648368 0
[pid=3290/tid=3292] ppid=3288 vsize=10630536 CPUtime=0.14 cores=1,3,5,7
/proc/3290/task/3292/stat : 3292 (java) S 3288 3290 31765 0 -1 4202560 11643 0 1 0 12 2 0 0 15 0 22 0 831000841 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3304] ppid=3288 vsize=10630536 CPUtime=0.01 cores=1,3,5,7
/proc/3290/task/3304/stat : 3304 (java) S 3288 3290 31765 0 -1 4202560 332 0 0 0 1 0 0 0 15 0 22 0 831000843 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3305] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3305/stat : 3305 (java) S 3288 3290 31765 0 -1 4202560 221 0 0 0 0 0 0 0 16 0 22 0 831000843 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3306] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3306/stat : 3306 (java) S 3288 3290 31765 0 -1 4202560 192 0 0 0 0 0 0 0 16 0 22 0 831000843 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3307] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3307/stat : 3307 (java) S 3288 3290 31765 0 -1 4202560 70 0 0 0 0 0 0 0 16 0 22 0 831000843 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3308] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3308/stat : 3308 (java) S 3288 3290 31765 0 -1 4202560 53 0 0 0 0 0 0 0 16 0 22 0 831000843 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3309] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3309/stat : 3309 (java) S 3288 3290 31765 0 -1 4202560 129 0 0 0 0 0 0 0 15 0 22 0 831000843 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3310] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3310/stat : 3310 (java) S 3288 3290 31765 0 -1 4202560 469 0 0 0 0 0 0 0 15 0 22 0 831000843 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3311] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3311/stat : 3311 (java) S 3288 3290 31765 0 -1 4202560 309 0 0 0 0 0 0 0 15 0 22 0 831000843 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3313] ppid=3288 vsize=10630536 CPUtime=0.09 cores=1,3,5,7
/proc/3290/task/3313/stat : 3313 (java) S 3288 3290 31765 0 -1 4202560 2018 0 0 0 9 0 0 0 15 0 22 0 831000844 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 0 0 16800975 18446604470238353600 0 0 -1 7 0 0 0
[pid=3290/tid=3320] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3320/stat : 3320 (java) S 3288 3290 31765 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831000844 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3321] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3321/stat : 3321 (java) S 3288 3290 31765 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831000844 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3322] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3322/stat : 3322 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831000846 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528657841 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3324] ppid=3288 vsize=10630536 CPUtime=1.4 cores=1,3,5,7
/proc/3290/task/3324/stat : 3324 (java) S 3288 3290 31765 0 -1 4202560 10542 0 0 0 139 1 0 0 15 0 22 0 831000846 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3326] ppid=3288 vsize=10630536 CPUtime=1.2 cores=1,3,5,7
/proc/3290/task/3326/stat : 3326 (java) S 3288 3290 31765 0 -1 4202560 9092 0 0 0 120 0 0 0 16 0 22 0 831000846 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3328] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3328/stat : 3328 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831000846 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3330] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3330/stat : 3330 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831000846 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3335] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3335/stat : 3335 (java) S 3288 3290 31765 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831000856 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3369] ppid=3288 vsize=10630536 CPUtime=1.7 cores=1,3,5,7
/proc/3290/task/3369/stat : 3369 (java) R 3288 3290 31765 0 -1 4202560 594 0 0 0 170 0 0 0 18 0 22 0 831001259 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3290/tid=3370] ppid=3288 vsize=10630536 CPUtime=1.7 cores=1,3,5,7
/proc/3290/task/3370/stat : 3370 (java) R 3288 3290 31765 0 -1 4202560 72548 0 0 0 162 8 0 0 19 0 22 0 831001259 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 46912505600733 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3290/tid=3371] ppid=3288 vsize=10630536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3371/stat : 3371 (java) S 3288 3290 31765 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831001259 10885668864 148783 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.95
Current children cumulated vsize (KiB) 10630536
[startup+6.20065 s]
/proc/loadavg: 2.11 2.93 3.40 6/467 3371
/proc/meminfo: memFree=24799532/32951124 swapFree=44043516/67111528
[pid=3290] ppid=3288 vsize=10626180 CPUtime=8.07 cores=1,3,5,7
/proc/3290/stat : 3290 (java) S 3288 3290 31765 0 -1 4202496 157255 0 1 0 787 20 0 0 18 0 19 0 831000840 10881208320 147725 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3290/statm: 2656545 147725 2258 9 0 2647279 0
[pid=3290/tid=3292] ppid=3288 vsize=10626180 CPUtime=0.14 cores=1,3,5,7
/proc/3290/task/3292/stat : 3292 (java) R 3288 3290 31765 0 -1 4202560 11643 0 1 0 12 2 0 0 15 0 19 0 831000841 10881208320 147725 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 46912505563054 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3290/tid=3304] ppid=3288 vsize=10626180 CPUtime=0.01 cores=1,3,5,7
/proc/3290/task/3304/stat : 3304 (java) S 3288 3290 31765 0 -1 4202560 332 0 0 0 1 0 0 0 15 0 19 0 831000843 10881208320 147725 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3305] ppid=3288 vsize=10626180 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3305/stat : 3305 (java) S 3288 3290 31765 0 -1 4202560 221 0 0 0 0 0 0 0 16 0 19 0 831000843 10881208320 147725 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3306] ppid=3288 vsize=10626180 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3306/stat : 3306 (java) S 3288 3290 31765 0 -1 4202560 192 0 0 0 0 0 0 0 16 0 19 0 831000843 10881208320 147725 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3307] ppid=3288 vsize=10626180 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3307/stat : 3307 (java) S 3288 3290 31765 0 -1 4202560 70 0 0 0 0 0 0 0 16 0 19 0 831000843 10881208320 147725 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3308] ppid=3288 vsize=10626180 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3308/stat : 3308 (java) S 3288 3290 31765 0 -1 4202560 53 0 0 0 0 0 0 0 16 0 19 0 831000843 10881208320 147725 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3309] ppid=3288 vsize=10626180 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3309/stat : 3309 (java) S 3288 3290 31765 0 -1 4202560 129 0 0 0 0 0 0 0 15 0 19 0 831000843 10881208320 147725 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3310] ppid=3288 vsize=10626180 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3310/stat : 3310 (java) S 3288 3290 31765 0 -1 4202560 469 0 0 0 0 0 0 0 15 0 19 0 831000843 10881208320 147725 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3311] ppid=3288 vsize=10626180 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3311/stat : 3311 (java) S 3288 3290 31765 0 -1 4202560 309 0 0 0 0 0 0 0 15 0 19 0 831000843 10881208320 147725 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 5 0 0 0
[pid=3290/tid=3313] ppid=3288 vsize=10626180 CPUtime=0.09 cores=1,3,5,7
/proc/3290/task/3313/stat : 3313 (java) S 3288 3290 31765 0 -1 4202560 2018 0 0 0 9 0 0 0 15 0 19 0 831000844 10881208320 147725 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 0 0 16800975 18446604470238353600 0 0 -1 7 0 0 0
[pid=3290/tid=3320] ppid=3288 vsize=10626180 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3320/stat : 3320 (java) S 3288 3290 31765 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831000844 10881208320 147725 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3321] ppid=3288 vsize=10626180 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3321/stat : 3321 (java) S 3288 3290 31765 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 831000844 10881208320 147725 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3322] ppid=3288 vsize=10626180 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3322/stat : 3322 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831000846 10881208320 147725 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528657841 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3324] ppid=3288 vsize=10626180 CPUtime=1.4 cores=1,3,5,7
/proc/3290/task/3324/stat : 3324 (java) S 3288 3290 31765 0 -1 4202560 10542 0 0 0 139 1 0 0 15 0 19 0 831000846 10881208320 147725 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3326] ppid=3288 vsize=10626180 CPUtime=1.2 cores=1,3,5,7
/proc/3290/task/3326/stat : 3326 (java) S 3288 3290 31765 0 -1 4202560 9092 0 0 0 120 0 0 0 16 0 19 0 831000846 10881208320 147725 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3328] ppid=3288 vsize=10626180 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3328/stat : 3328 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831000846 10881208320 147725 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650137 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
[pid=3290/tid=3330] ppid=3288 vsize=10626180 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3330/stat : 3330 (java) S 3288 3290 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831000846 10881208320 147725 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 1 0 0 0
[pid=3290/tid=3335] ppid=3288 vsize=10626180 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3335/stat : 3335 (java) S 3288 3290 31765 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831000856 10881208320 147725 33554432000 1073741824 1073778376 140737384568352 18446744073709551615 246528650752 0 4 0 16800975 18446604470238353600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8.07
Current children cumulated vsize (KiB) 10626180
Child status: 30
Real time (s): 6.27593
CPU time (s): 8.15876
CPU user time (s): 7.92879
CPU system time (s): 0.229965
CPU usage (%): 130.001
Max. virtual memory (cumulated for all children) (KiB): 10630536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.92879
system time used= 0.229965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157260
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= 747
involuntary context switches= 169
runsolver used 0.027995 second user time and 0.070989 second system time
The end