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-3453678-1307194026/watcher-3453678-1307194026 -o /tmp/evaluation-result-3453678-1307194026/solver-3453678-1307194026 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453678-1307194026.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.12 2.95 3.40 3/419 3286
/proc/meminfo: memFree=25874312/32951124 swapFree=44043516/67111528
[pid=3286] ppid=3284 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/3286/stat : 3286 (java) R 3284 3286 31765 0 -1 4202496 949 0 0 0 0 0 0 0 18 0 1 0 831000840 23580672 694 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246511871889 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3286/statm: 5757 694 510 9 0 124 0
[pid=3286/tid=3291] ppid=3284 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3291/stat : 3291 (java) R 3284 3286 31765 0 -1 4202560 2904 0 1 0 0 0 0 0 17 0 2 0 831000841 10694979584 3721 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246516528187 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.108824 s]
/proc/loadavg: 2.12 2.95 3.40 3/419 3286
/proc/meminfo: memFree=25874312/32951124 swapFree=44043516/67111528
[pid=3286] ppid=3284 vsize=10539656 CPUtime=0.11 cores=0,2,4,6
/proc/3286/stat : 3286 (java) S 3284 3286 31765 0 -1 4202496 13012 0 1 0 10 1 0 0 18 0 18 0 831000840 10792607744 12709 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3286/statm: 2634914 12709 2092 9 0 2625648 0
[pid=3286/tid=3291] ppid=3284 vsize=10539656 CPUtime=0.09 cores=0,2,4,6
/proc/3286/task/3291/stat : 3291 (java) R 3284 3286 31765 0 -1 4202560 11226 0 1 0 8 1 0 0 18 0 18 0 831000841 10792607744 12709 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 18446744073699066094 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539656
[startup+0.200729 s]
/proc/loadavg: 2.12 2.95 3.40 3/419 3286
/proc/meminfo: memFree=25874312/32951124 swapFree=44043516/67111528
[pid=3286] ppid=3284 vsize=10545336 CPUtime=0.26 cores=0,2,4,6
/proc/3286/stat : 3286 (java) S 3284 3286 31765 0 -1 4202496 14261 0 1 0 25 1 0 0 18 0 22 0 831000840 10798424064 13958 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3286/statm: 2636334 13959 2175 9 0 2627068 0
[pid=3286/tid=3291] ppid=3284 vsize=10545336 CPUtime=0.16 cores=0,2,4,6
/proc/3286/task/3291/stat : 3291 (java) S 3284 3286 31765 0 -1 4202560 11790 0 1 0 15 1 0 0 19 0 22 0 831000841 10798424064 13959 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10545336
[startup+0.300711 s]
/proc/loadavg: 2.12 2.95 3.40 3/419 3286
/proc/meminfo: memFree=25874312/32951124 swapFree=44043516/67111528
[pid=3286] ppid=3284 vsize=10550336 CPUtime=0.67 cores=0,2,4,6
/proc/3286/stat : 3286 (java) S 3284 3286 31765 0 -1 4202496 17940 0 1 0 65 2 0 0 18 0 22 0 831000840 10803544064 16016 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3286/statm: 2637584 16016 2201 9 0 2628318 0
[pid=3286/tid=3291] ppid=3284 vsize=10550336 CPUtime=0.16 cores=0,2,4,6
/proc/3286/task/3291/stat : 3291 (java) S 3284 3286 31765 0 -1 4202560 11790 0 1 0 15 1 0 0 19 0 22 0 831000841 10803544064 16017 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 10550336
[startup+0.70064 s]
/proc/loadavg: 2.12 2.95 3.40 3/419 3286
/proc/meminfo: memFree=25874312/32951124 swapFree=44043516/67111528
[pid=3286] ppid=3284 vsize=10558164 CPUtime=2.26 cores=0,2,4,6
/proc/3286/stat : 3286 (java) S 3284 3286 31765 0 -1 4202496 42392 0 1 0 221 5 0 0 18 0 22 0 831000840 10811559936 34454 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3286/statm: 2639541 34455 2223 9 0 2630275 0
[pid=3286/tid=3291] ppid=3284 vsize=10558164 CPUtime=0.16 cores=0,2,4,6
/proc/3286/task/3291/stat : 3291 (java) S 3284 3286 31765 0 -1 4202560 11790 0 1 0 15 1 0 0 15 0 22 0 831000841 10811559936 34456 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 10558164
[startup+1.5016 s]
/proc/loadavg: 2.12 2.95 3.40 4/464 3342
/proc/meminfo: memFree=25585936/32951124 swapFree=44043516/67111528
[pid=3286] ppid=3284 vsize=10557460 CPUtime=4.59 cores=0,2,4,6
/proc/3286/stat : 3286 (java) S 3284 3286 31765 0 -1 4202496 85980 0 1 0 448 11 0 0 18 0 22 0 831000840 10810839040 71111 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3286/statm: 2639365 71114 2250 9 0 2630099 0
[pid=3286/tid=3291] ppid=3284 vsize=10557460 CPUtime=0.16 cores=0,2,4,6
/proc/3286/task/3291/stat : 3291 (java) S 3284 3286 31765 0 -1 4202560 11790 0 1 0 15 1 0 0 15 0 22 0 831000841 10810839040 71115 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3296] ppid=3284 vsize=10557460 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3296/stat : 3296 (java) S 3284 3286 31765 0 -1 4202560 153 0 0 0 0 0 0 0 15 0 22 0 831000843 10810839040 71117 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3297] ppid=3284 vsize=10557460 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3297/stat : 3297 (java) S 3284 3286 31765 0 -1 4202560 227 0 0 0 0 0 0 0 15 0 22 0 831000843 10810839040 71119 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3298] ppid=3284 vsize=10557460 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3298/stat : 3298 (java) S 3284 3286 31765 0 -1 4202560 178 0 0 0 0 0 0 0 15 0 22 0 831000843 10810839040 71121 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 4 0 0 0
[pid=3286/tid=3299] ppid=3284 vsize=10557460 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3299/stat : 3299 (java) S 3284 3286 31765 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 831000843 10810839040 71124 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3300] ppid=3284 vsize=10557460 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3300/stat : 3300 (java) S 3284 3286 31765 0 -1 4202560 171 0 0 0 0 0 0 0 15 0 22 0 831000843 10810839040 71127 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3301] ppid=3284 vsize=10557460 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3301/stat : 3301 (java) S 3284 3286 31765 0 -1 4202560 242 0 0 0 0 0 0 0 15 0 22 0 831000843 10810839040 71130 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 4 0 0 0
[pid=3286/tid=3302] ppid=3284 vsize=10557460 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3302/stat : 3302 (java) S 3284 3286 31765 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 831000843 10810839040 71133 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 4 0 0 0
[pid=3286/tid=3303] ppid=3284 vsize=10557460 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3303/stat : 3303 (java) S 3284 3286 31765 0 -1 4202560 274 0 0 0 0 0 0 0 15 0 22 0 831000843 10810839040 71136 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3312] ppid=3284 vsize=10557460 CPUtime=0.03 cores=0,2,4,6
/proc/3286/task/3312/stat : 3312 (java) S 3284 3286 31765 0 -1 4202560 1145 0 0 0 3 0 0 0 16 0 22 0 831000844 10810839040 71140 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 0 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3317] ppid=3284 vsize=10557460 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3317/stat : 3317 (java) S 3284 3286 31765 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831000844 10810839040 71143 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3318] ppid=3284 vsize=10557460 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3318/stat : 3318 (java) S 3284 3286 31765 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 22 0 831000844 10810839040 71145 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3323] ppid=3284 vsize=10557460 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3323/stat : 3323 (java) S 3284 3286 31765 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 831000846 10810839040 71147 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528657841 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3325] ppid=3284 vsize=10557460 CPUtime=0.92 cores=0,2,4,6
/proc/3286/task/3325/stat : 3325 (java) S 3284 3286 31765 0 -1 4202560 10965 0 0 0 91 1 0 0 23 0 22 0 831000846 10810839040 71151 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 4 0 0 0
[pid=3286/tid=3327] ppid=3284 vsize=10557460 CPUtime=0.88 cores=0,2,4,6
/proc/3286/task/3327/stat : 3327 (java) S 3284 3286 31765 0 -1 4202560 10889 0 0 0 87 1 0 0 23 0 22 0 831000846 10810839040 71153 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3329] ppid=3284 vsize=10557460 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3329/stat : 3329 (java) S 3284 3286 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831000846 10810839040 71155 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3331] ppid=3284 vsize=10557460 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3331/stat : 3331 (java) S 3284 3286 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831000846 10810839040 71160 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 4 0 0 0
[pid=3286/tid=3336] ppid=3284 vsize=10557460 CPUtime=1.27 cores=0,2,4,6
/proc/3286/task/3336/stat : 3336 (java) R 3284 3286 31765 0 -1 4202560 492 0 0 0 127 0 0 0 20 0 22 0 831000858 10810839040 71163 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 46912505553227 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3286/tid=3337] ppid=3284 vsize=10557460 CPUtime=1.26 cores=0,2,4,6
/proc/3286/task/3337/stat : 3337 (java) R 3284 3286 31765 0 -1 4202560 48345 0 0 0 121 5 0 0 18 0 22 0 831000858 10810839040 71166 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 46912505647065 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3286/tid=3338] ppid=3284 vsize=10557460 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3338/stat : 3338 (java) S 3284 3286 31765 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831000858 10810839040 71169 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3339] ppid=3284 vsize=10557460 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3339/stat : 3339 (java) S 3284 3286 31765 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831000858 10810839040 71172 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 10557460
[startup+3.10129 s]
/proc/loadavg: 2.12 2.95 3.40 5/467 3354
/proc/meminfo: memFree=25424092/32951124 swapFree=44043516/67111528
[pid=3286] ppid=3284 vsize=10562404 CPUtime=8.06 cores=0,2,4,6
/proc/3286/stat : 3286 (java) S 3284 3286 31765 0 -1 4202496 126598 0 1 0 791 15 0 0 18 0 22 0 831000840 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3286/statm: 2640601 107553 2258 9 0 2631335 0
[pid=3286/tid=3291] ppid=3284 vsize=10562404 CPUtime=0.16 cores=0,2,4,6
/proc/3286/task/3291/stat : 3291 (java) S 3284 3286 31765 0 -1 4202560 11790 0 1 0 15 1 0 0 15 0 22 0 831000841 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3296] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3296/stat : 3296 (java) S 3284 3286 31765 0 -1 4202560 156 0 0 0 0 0 0 0 15 0 22 0 831000843 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3297] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3297/stat : 3297 (java) S 3284 3286 31765 0 -1 4202560 234 0 0 0 0 0 0 0 16 0 22 0 831000843 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3298] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3298/stat : 3298 (java) S 3284 3286 31765 0 -1 4202560 219 0 0 0 0 0 0 0 15 0 22 0 831000843 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3299] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3299/stat : 3299 (java) S 3284 3286 31765 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 831000843 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3300] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3300/stat : 3300 (java) S 3284 3286 31765 0 -1 4202560 262 0 0 0 0 0 0 0 15 0 22 0 831000843 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3301] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3301/stat : 3301 (java) S 3284 3286 31765 0 -1 4202560 294 0 0 0 0 0 0 0 15 0 22 0 831000843 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3302] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3302/stat : 3302 (java) S 3284 3286 31765 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 831000843 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3303] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3303/stat : 3303 (java) S 3284 3286 31765 0 -1 4202560 275 0 0 0 0 0 0 0 15 0 22 0 831000843 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3312] ppid=3284 vsize=10562404 CPUtime=0.11 cores=0,2,4,6
/proc/3286/task/3312/stat : 3312 (java) S 3284 3286 31765 0 -1 4202560 2526 0 0 0 11 0 0 0 16 0 22 0 831000844 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 0 0 16800975 18446604442401195072 0 0 -1 4 0 0 0
[pid=3286/tid=3317] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3317/stat : 3317 (java) S 3284 3286 31765 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831000844 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3318] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3318/stat : 3318 (java) S 3284 3286 31765 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 831000844 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3323] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3323/stat : 3323 (java) S 3284 3286 31765 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 831000846 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528657841 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3325] ppid=3284 vsize=10562404 CPUtime=1.41 cores=0,2,4,6
/proc/3286/task/3325/stat : 3325 (java) S 3284 3286 31765 0 -1 4202560 15961 0 0 0 139 2 0 0 16 0 22 0 831000846 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3327] ppid=3284 vsize=10562404 CPUtime=1.32 cores=0,2,4,6
/proc/3286/task/3327/stat : 3327 (java) S 3284 3286 31765 0 -1 4202560 13004 0 0 0 131 1 0 0 19 0 22 0 831000846 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3329] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3329/stat : 3329 (java) S 3284 3286 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831000846 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3331] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3331/stat : 3331 (java) S 3284 3286 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831000846 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 4 0 0 0
[pid=3286/tid=3338] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3338/stat : 3338 (java) S 3284 3286 31765 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831000858 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3352] ppid=3284 vsize=10562404 CPUtime=0.83 cores=0,2,4,6
/proc/3286/task/3352/stat : 3352 (java) R 3284 3286 31765 0 -1 4202560 109 0 0 0 83 0 0 0 17 0 22 0 831001059 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 46912505548639 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3286/tid=3353] ppid=3284 vsize=10562404 CPUtime=0.83 cores=0,2,4,6
/proc/3286/task/3353/stat : 3353 (java) R 3284 3286 31765 0 -1 4202560 25418 0 0 0 81 2 0 0 18 0 22 0 831001059 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 46912505584000 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3286/tid=3354] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3354/stat : 3354 (java) S 3284 3286 31765 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 831001059 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.06
Current children cumulated vsize (KiB) 10562404
Solver just ended. Dumping a history of the last processes samples
[startup+3.20125 s]
/proc/loadavg: 2.12 2.95 3.40 5/467 3354
/proc/meminfo: memFree=25424092/32951124 swapFree=44043516/67111528
[pid=3286] ppid=3284 vsize=10562404 CPUtime=8.26 cores=0,2,4,6
/proc/3286/stat : 3286 (java) S 3284 3286 31765 0 -1 4202496 126598 0 1 0 811 15 0 0 18 0 22 0 831000840 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3286/statm: 2640601 107553 2258 9 0 2631335 0
[pid=3286/tid=3291] ppid=3284 vsize=10562404 CPUtime=0.16 cores=0,2,4,6
/proc/3286/task/3291/stat : 3291 (java) S 3284 3286 31765 0 -1 4202560 11790 0 1 0 15 1 0 0 15 0 22 0 831000841 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3296] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3296/stat : 3296 (java) S 3284 3286 31765 0 -1 4202560 156 0 0 0 0 0 0 0 15 0 22 0 831000843 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3297] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3297/stat : 3297 (java) S 3284 3286 31765 0 -1 4202560 234 0 0 0 0 0 0 0 16 0 22 0 831000843 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3298] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3298/stat : 3298 (java) S 3284 3286 31765 0 -1 4202560 219 0 0 0 0 0 0 0 15 0 22 0 831000843 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3299] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3299/stat : 3299 (java) S 3284 3286 31765 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 831000843 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3300] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3300/stat : 3300 (java) S 3284 3286 31765 0 -1 4202560 262 0 0 0 0 0 0 0 15 0 22 0 831000843 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3301] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3301/stat : 3301 (java) S 3284 3286 31765 0 -1 4202560 294 0 0 0 0 0 0 0 15 0 22 0 831000843 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3302] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3302/stat : 3302 (java) S 3284 3286 31765 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 831000843 10815901696 107553 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/3286/task/3317/stat : 3317 (java) S 3284 3286 31765 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831000844 10815901696 124048 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3318] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3318/stat : 3318 (java) S 3284 3286 31765 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 831000844 10815901696 124048 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3323] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3323/stat : 3323 (java) S 3284 3286 31765 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 831000846 10815901696 124048 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528657841 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3325] ppid=3284 vsize=10562404 CPUtime=1.43 cores=0,2,4,6
/proc/3286/task/3325/stat : 3325 (java) S 3284 3286 31765 0 -1 4202560 15961 0 0 0 141 2 0 0 15 0 22 0 831000846 10815901696 124048 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3327] ppid=3284 vsize=10562404 CPUtime=1.32 cores=0,2,4,6
/proc/3286/task/3327/stat : 3327 (java) S 3284 3286 31765 0 -1 4202560 13004 0 0 0 131 1 0 0 19 0 22 0 831000846 10815901696 124048 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3329] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3329/stat : 3329 (java) S 3284 3286 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831000846 10815901696 124048 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3331] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3331/stat : 3331 (java) S 3284 3286 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831000846 10815901696 124048 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3338] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3338/stat : 3338 (java) S 3284 3286 31765 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831000858 10815901696 124048 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3352] ppid=3284 vsize=10562404 CPUtime=2.43 cores=0,2,4,6
/proc/3286/task/3352/stat : 3352 (java) S 3284 3286 31765 0 -1 4202560 112 0 0 0 243 0 0 0 18 0 22 0 831001059 10815901696 124048 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 4 0 0 0
[pid=3286/tid=3353] ppid=3284 vsize=10562404 CPUtime=2.42 cores=0,2,4,6
/proc/3286/task/3353/stat : 3353 (java) S 3284 3286 31765 0 -1 4202560 40388 0 0 0 238 4 0 0 19 0 22 0 831001059 10815901696 124048 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3354] ppid=3284 vsize=10562404 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3354/stat : 3354 (java) S 3284 3286 31765 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 831001059 10815901696 124048 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.4
Current children cumulated vsize (KiB) 10562404
[startup+5.61684 s]
/proc/loadavg: 2.11 2.93 3.40 5/467 3371
/proc/meminfo: memFree=24799532/32951124 swapFree=44043516/67111528
[pid=3286] ppid=3284 vsize=10557428 CPUtime=12.97 cores=0,2,4,6
/proc/3286/stat : 3286 (java) S 3284 3286 31765 0 -1 4202496 143647 0 1 0 1279 18 0 0 18 0 22 0 831000840 10810806272 123363 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3286/statm: 2639357 123363 2258 9 0 2630091 0
[pid=3286/tid=3291] ppid=3284 vsize=10557428 CPUtime=0.16 cores=0,2,4,6
/proc/3286/task/3291/stat : 3291 (java) S 3284 3286 31765 0 -1 4202560 11790 0 1 0 15 1 0 0 15 0 22 0 831000841 10810806272 123363 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3296] ppid=3284 vsize=10557428 CPUtime=0.01 cores=0,2,4,6
/proc/3286/task/3296/stat : 3296 (java) S 3284 3286 31765 0 -1 4202560 189 0 0 0 1 0 0 0 15 0 22 0 831000843 10810806272 123363 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3297] ppid=3284 vsize=10557428 CPUtime=0.01 cores=0,2,4,6
/proc/3286/task/3297/stat : 3297 (java) S 3284 3286 31765 0 -1 4202560 283 0 0 0 1 0 0 0 15 0 22 0 831000843 10810806272 123363 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3298] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3298/stat : 3298 (java) S 3284 3286 31765 0 -1 4202560 219 0 0 0 0 0 0 0 15 0 22 0 831000843 10810806272 123363 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3299] ppid=3284 vsize=10557428 CPUtime=0.01 cores=0,2,4,6
/proc/3286/task/3299/stat : 3299 (java) S 3284 3286 31765 0 -1 4202560 139 0 0 0 1 0 0 0 15 0 22 0 831000843 10810806272 123363 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3300] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3300/stat : 3300 (java) S 3284 3286 31765 0 -1 4202560 321 0 0 0 0 0 0 0 15 0 22 0 831000843 10810806272 123363 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3301] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3301/stat : 3301 (java) S 3284 3286 31765 0 -1 4202560 294 0 0 0 0 0 0 0 15 0 22 0 831000843 10810806272 123363 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3302] ppid=3284 vsize=10557428 CPUtime=0.01 cores=0,2,4,6
/proc/3286/task/3302/stat : 3302 (java) S 3284 3286 31765 0 -1 4202560 37 0 0 0 1 0 0 0 15 0 22 0 831000843 10810806272 123363 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3303] ppid=3284 vsize=10557428 CPUtime=0.01 cores=0,2,4,6
/proc/3286/task/3303/stat : 3303 (java) S 3284 3286 31765 0 -1 4202560 289 0 0 0 1 0 0 0 15 0 22 0 831000843 10810806272 123363 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3312] ppid=3284 vsize=10557428 CPUtime=0.27 cores=0,2,4,6
/proc/3286/task/3312/stat : 3312 (java) R 3284 3286 31765 0 -1 4202560 4343 0 0 0 27 0 0 0 15 0 22 0 831000844 10810806272 123363 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246516528191 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=3286/tid=3317] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3317/stat : 3317 (java) S 3284 3286 31765 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831000844 10810806272 123363 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3318] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3318/stat : 3318 (java) S 3284 3286 31765 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 831000844 10810806272 123363 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3323] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3323/stat : 3323 (java) S 3284 3286 31765 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 831000846 10810806272 123363 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528657841 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3325] ppid=3284 vsize=10557428 CPUtime=1.43 cores=0,2,4,6
/proc/3286/task/3325/stat : 3325 (java) S 3284 3286 31765 0 -1 4202560 15961 0 0 0 141 2 0 0 15 0 22 0 831000846 10810806272 123363 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3327] ppid=3284 vsize=10557428 CPUtime=1.32 cores=0,2,4,6
/proc/3286/task/3327/stat : 3327 (java) S 3284 3286 31765 0 -1 4202560 13004 0 0 0 131 1 0 0 19 0 22 0 831000846 10810806272 123363 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3329] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3329/stat : 3329 (java) S 3284 3286 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831000846 10810806272 123363 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3331] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3331/stat : 3331 (java) S 3284 3286 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831000846 10810806272 123363 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3338] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3338/stat : 3338 (java) S 3284 3286 31765 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831000858 10810806272 123363 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3352] ppid=3284 vsize=10557428 CPUtime=3.17 cores=0,2,4,6
/proc/3286/task/3352/stat : 3352 (java) S 3284 3286 31765 0 -1 4202560 113 0 0 0 317 0 0 0 18 0 22 0 831001059 10810806272 123363 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 4 0 0 0
[pid=3286/tid=3353] ppid=3284 vsize=10557428 CPUtime=3.17 cores=0,2,4,6
/proc/3286/task/3353/stat : 3353 (java) S 3284 3286 31765 0 -1 4202560 40388 0 0 0 313 4 0 0 20 0 22 0 831001059 10810806272 123363 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3354] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3354/stat : 3354 (java) S 3284 3286 31765 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 831001059 10810806272 123363 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.97
Current children cumulated vsize (KiB) 10557428
[startup+6.00075 s]
/proc/loadavg: 2.11 2.93 3.40 5/467 3371
/proc/meminfo: memFree=24799532/32951124 swapFree=44043516/67111528
[pid=3286] ppid=3284 vsize=10557428 CPUtime=13.74 cores=0,2,4,6
/proc/3286/stat : 3286 (java) S 3284 3286 31765 0 -1 4202496 143648 0 1 0 1356 18 0 0 18 0 22 0 831000840 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3286/statm: 2639357 123364 2258 9 0 2630091 0
[pid=3286/tid=3291] ppid=3284 vsize=10557428 CPUtime=0.16 cores=0,2,4,6
/proc/3286/task/3291/stat : 3291 (java) S 3284 3286 31765 0 -1 4202560 11790 0 1 0 15 1 0 0 15 0 22 0 831000841 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3296] ppid=3284 vsize=10557428 CPUtime=0.01 cores=0,2,4,6
/proc/3286/task/3296/stat : 3296 (java) S 3284 3286 31765 0 -1 4202560 189 0 0 0 1 0 0 0 15 0 22 0 831000843 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3297] ppid=3284 vsize=10557428 CPUtime=0.01 cores=0,2,4,6
/proc/3286/task/3297/stat : 3297 (java) S 3284 3286 31765 0 -1 4202560 283 0 0 0 1 0 0 0 15 0 22 0 831000843 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3298] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3298/stat : 3298 (java) S 3284 3286 31765 0 -1 4202560 219 0 0 0 0 0 0 0 15 0 22 0 831000843 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3299] ppid=3284 vsize=10557428 CPUtime=0.01 cores=0,2,4,6
/proc/3286/task/3299/stat : 3299 (java) S 3284 3286 31765 0 -1 4202560 139 0 0 0 1 0 0 0 15 0 22 0 831000843 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3300] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3300/stat : 3300 (java) S 3284 3286 31765 0 -1 4202560 321 0 0 0 0 0 0 0 15 0 22 0 831000843 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3301] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3301/stat : 3301 (java) S 3284 3286 31765 0 -1 4202560 294 0 0 0 0 0 0 0 15 0 22 0 831000843 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3302] ppid=3284 vsize=10557428 CPUtime=0.01 cores=0,2,4,6
/proc/3286/task/3302/stat : 3302 (java) S 3284 3286 31765 0 -1 4202560 37 0 0 0 1 0 0 0 15 0 22 0 831000843 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3303] ppid=3284 vsize=10557428 CPUtime=0.01 cores=0,2,4,6
/proc/3286/task/3303/stat : 3303 (java) S 3284 3286 31765 0 -1 4202560 289 0 0 0 1 0 0 0 15 0 22 0 831000843 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3312] ppid=3284 vsize=10557428 CPUtime=0.27 cores=0,2,4,6
/proc/3286/task/3312/stat : 3312 (java) S 3284 3286 31765 0 -1 4202560 4343 0 0 0 27 0 0 0 16 0 22 0 831000844 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 0 0 16800975 18446604442401195072 0 0 -1 4 0 0 0
[pid=3286/tid=3317] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3317/stat : 3317 (java) S 3284 3286 31765 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831000844 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3318] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3318/stat : 3318 (java) S 3284 3286 31765 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 831000844 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3323] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3323/stat : 3323 (java) S 3284 3286 31765 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 831000846 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528657841 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3325] ppid=3284 vsize=10557428 CPUtime=1.43 cores=0,2,4,6
/proc/3286/task/3325/stat : 3325 (java) S 3284 3286 31765 0 -1 4202560 15961 0 0 0 141 2 0 0 15 0 22 0 831000846 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3327] ppid=3284 vsize=10557428 CPUtime=1.32 cores=0,2,4,6
/proc/3286/task/3327/stat : 3327 (java) S 3284 3286 31765 0 -1 4202560 13004 0 0 0 131 1 0 0 19 0 22 0 831000846 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3329] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3329/stat : 3329 (java) S 3284 3286 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831000846 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3331] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3331/stat : 3331 (java) S 3284 3286 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831000846 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3338] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3338/stat : 3338 (java) S 3284 3286 31765 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831000858 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3352] ppid=3284 vsize=10557428 CPUtime=3.56 cores=0,2,4,6
/proc/3286/task/3352/stat : 3352 (java) R 3284 3286 31765 0 -1 4202560 113 0 0 0 356 0 0 0 19 0 22 0 831001059 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 46912505535533 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3286/tid=3353] ppid=3284 vsize=10557428 CPUtime=3.55 cores=0,2,4,6
/proc/3286/task/3353/stat : 3353 (java) R 3284 3286 31765 0 -1 4202560 40389 0 0 0 351 4 0 0 20 0 22 0 831001059 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 46912506043956 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3286/tid=3354] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3354/stat : 3354 (java) S 3284 3286 31765 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 831001059 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 13.74
Current children cumulated vsize (KiB) 10557428
[startup+6.20074 s]
/proc/loadavg: 2.11 2.93 3.40 5/467 3371
/proc/meminfo: memFree=24799532/32951124 swapFree=44043516/67111528
[pid=3286] ppid=3284 vsize=10557428 CPUtime=13.9 cores=0,2,4,6
/proc/3286/stat : 3286 (java) S 3284 3286 31765 0 -1 4202496 143648 0 1 0 1372 18 0 0 18 0 19 0 831000840 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3286/statm: 2639357 123364 2258 9 0 2630091 0
[pid=3286/tid=3291] ppid=3284 vsize=10557428 CPUtime=0.16 cores=0,2,4,6
/proc/3286/task/3291/stat : 3291 (java) S 3284 3286 31765 0 -1 4202560 11790 0 1 0 15 1 0 0 15 0 19 0 831000841 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3296] ppid=3284 vsize=10557428 CPUtime=0.01 cores=0,2,4,6
/proc/3286/task/3296/stat : 3296 (java) S 3284 3286 31765 0 -1 4202560 189 0 0 0 1 0 0 0 15 0 19 0 831000843 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3297] ppid=3284 vsize=10557428 CPUtime=0.01 cores=0,2,4,6
/proc/3286/task/3297/stat : 3297 (java) S 3284 3286 31765 0 -1 4202560 283 0 0 0 1 0 0 0 15 0 19 0 831000843 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3298] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3298/stat : 3298 (java) S 3284 3286 31765 0 -1 4202560 219 0 0 0 0 0 0 0 15 0 19 0 831000843 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3299] ppid=3284 vsize=10557428 CPUtime=0.01 cores=0,2,4,6
/proc/3286/task/3299/stat : 3299 (java) S 3284 3286 31765 0 -1 4202560 139 0 0 0 1 0 0 0 15 0 19 0 831000843 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3300] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3300/stat : 3300 (java) S 3284 3286 31765 0 -1 4202560 321 0 0 0 0 0 0 0 15 0 19 0 831000843 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3301] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3301/stat : 3301 (java) S 3284 3286 31765 0 -1 4202560 294 0 0 0 0 0 0 0 15 0 19 0 831000843 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3302] ppid=3284 vsize=10557428 CPUtime=0.01 cores=0,2,4,6
/proc/3286/task/3302/stat : 3302 (java) S 3284 3286 31765 0 -1 4202560 37 0 0 0 1 0 0 0 15 0 19 0 831000843 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3303] ppid=3284 vsize=10557428 CPUtime=0.01 cores=0,2,4,6
/proc/3286/task/3303/stat : 3303 (java) S 3284 3286 31765 0 -1 4202560 289 0 0 0 1 0 0 0 15 0 19 0 831000843 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3312] ppid=3284 vsize=10557428 CPUtime=0.27 cores=0,2,4,6
/proc/3286/task/3312/stat : 3312 (java) S 3284 3286 31765 0 -1 4202560 4343 0 0 0 27 0 0 0 16 0 19 0 831000844 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 0 0 16800975 18446604442401195072 0 0 -1 4 0 0 0
[pid=3286/tid=3317] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3317/stat : 3317 (java) S 3284 3286 31765 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 831000844 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3318] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3318/stat : 3318 (java) S 3284 3286 31765 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 831000844 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3323] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3323/stat : 3323 (java) S 3284 3286 31765 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 831000846 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528657841 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3325] ppid=3284 vsize=10557428 CPUtime=1.43 cores=0,2,4,6
/proc/3286/task/3325/stat : 3325 (java) S 3284 3286 31765 0 -1 4202560 15961 0 0 0 141 2 0 0 15 0 19 0 831000846 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3327] ppid=3284 vsize=10557428 CPUtime=1.32 cores=0,2,4,6
/proc/3286/task/3327/stat : 3327 (java) S 3284 3286 31765 0 -1 4202560 13004 0 0 0 131 1 0 0 19 0 19 0 831000846 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 6 0 0 0
[pid=3286/tid=3329] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3329/stat : 3329 (java) S 3284 3286 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831000846 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650137 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
[pid=3286/tid=3331] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3331/stat : 3331 (java) S 3284 3286 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831000846 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 0 0 0 0
[pid=3286/tid=3354] ppid=3284 vsize=10557428 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3354/stat : 3354 (java) S 3284 3286 31765 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 19 0 831001059 10810806272 123364 33554432000 1073741824 1073778376 140735554628944 18446744073709551615 246528650752 0 4 0 16800975 18446604442401195072 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 13.9
Current children cumulated vsize (KiB) 10557428
Child status: 30
Real time (s): 6.29579
CPU time (s): 14.0149
CPU user time (s): 13.8069
CPU system time (s): 0.207968
CPU usage (%): 222.607
Max. virtual memory (cumulated for all children) (KiB): 10568592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.8069
system time used= 0.207968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143658
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= 845
involuntary context switches= 403
runsolver used 0.030995 second user time and 0.067989 second system time
The end