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-3454754-1307186775/watcher-3454754-1307186775 -o /tmp/evaluation-result-3454754-1307186775/solver-3454754-1307186775 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454754-1307186775.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.51 1.88 1.92 2/498 31418
/proc/meminfo: memFree=21024996/32951124 swapFree=67057928/67111528
[pid=31418] ppid=31416 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/31418/stat : 31418 (java) S 31416 31418 28116 0 -1 4202496 7739 0 1 0 0 1 0 0 17 0 2 0 811092863 10694979584 7441 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31418/statm: 2611079 7455 917 9 0 2602235 0
[pid=31418/tid=31419] ppid=31416 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31419/stat : 31419 (java) R 31416 31418 28116 0 -1 4202560 6685 0 1 0 0 0 0 0 18 0 2 0 811092864 10694979584 7501 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0526489 s]
/proc/loadavg: 2.51 1.88 1.92 2/498 31418
/proc/meminfo: memFree=21024996/32951124 swapFree=67057928/67111528
[pid=31418] ppid=31416 vsize=10533152 CPUtime=0.04 cores=1,3,5,7
/proc/31418/stat : 31418 (java) S 31416 31418 28116 0 -1 4202496 11472 0 1 0 3 1 0 0 17 0 13 0 811092863 10785947648 11169 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273419237 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/31418/statm: 2633288 11170 1685 9 0 2624036 0
[pid=31418/tid=31419] ppid=31416 vsize=10533152 CPUtime=0.04 cores=1,3,5,7
/proc/31418/task/31419/stat : 31419 (java) R 31416 31418 28116 0 -1 4202560 10326 0 1 0 3 1 0 0 21 0 13 0 811092864 10785947648 11171 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 47246663396451 0 4 0 16800971 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10533152
[startup+0.100641 s]
/proc/loadavg: 2.51 1.88 1.92 2/498 31418
/proc/meminfo: memFree=21024996/32951124 swapFree=67057928/67111528
[pid=31418] ppid=31416 vsize=10540160 CPUtime=0.11 cores=1,3,5,7
/proc/31418/stat : 31418 (java) S 31416 31418 28116 0 -1 4202496 13063 0 1 0 9 2 0 0 17 0 18 0 811092863 10793123840 12760 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31418/statm: 2635040 12761 2092 9 0 2625774 0
[pid=31418/tid=31419] ppid=31416 vsize=10540160 CPUtime=0.08 cores=1,3,5,7
/proc/31418/task/31419/stat : 31419 (java) R 31416 31418 28116 0 -1 4202560 11163 0 1 0 7 1 0 0 18 0 18 0 811092864 10793123840 12761 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540160
[startup+0.372556 s]
/proc/loadavg: 2.51 1.88 1.92 2/498 31418
/proc/meminfo: memFree=21024996/32951124 swapFree=67057928/67111528
[pid=31418] ppid=31416 vsize=10549168 CPUtime=0.98 cores=1,3,5,7
/proc/31418/stat : 31418 (java) S 31416 31418 28116 0 -1 4202496 18751 0 1 0 95 3 0 0 17 0 22 0 811092863 10802348032 17197 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31418/statm: 2637292 17199 2218 9 0 2628026 0
[pid=31418/tid=31419] ppid=31416 vsize=10549168 CPUtime=0.15 cores=1,3,5,7
/proc/31418/task/31419/stat : 31419 (java) S 31416 31418 28116 0 -1 4202560 11773 0 1 0 14 1 0 0 19 0 22 0 811092864 10802348032 17199 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 10549168
[startup+0.710261 s]
/proc/loadavg: 2.51 1.88 1.92 2/498 31418
/proc/meminfo: memFree=21024996/32951124 swapFree=67057928/67111528
[pid=31418] ppid=31416 vsize=10556072 CPUtime=2.86 cores=1,3,5,7
/proc/31418/stat : 31418 (java) S 31416 31418 28116 0 -1 4202496 58966 0 1 0 277 9 0 0 17 0 22 0 811092863 10809417728 48591 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31418/statm: 2639018 49089 2254 9 0 2629752 0
[pid=31418/tid=31419] ppid=31416 vsize=10556072 CPUtime=0.15 cores=1,3,5,7
/proc/31418/task/31419/stat : 31419 (java) S 31416 31418 28116 0 -1 4202560 11773 0 1 0 14 1 0 0 15 0 22 0 811092864 10809417728 49089 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 10556072
[startup+1.50139 s]
/proc/loadavg: 2.51 1.88 1.92 9/520 31489
/proc/meminfo: memFree=21132284/32951124 swapFree=67057928/67111528
[pid=31418] ppid=31416 vsize=10556072 CPUtime=4.32 cores=1,3,5,7
/proc/31418/stat : 31418 (java) S 31416 31418 28116 0 -1 4202496 81636 0 1 0 421 11 0 0 17 0 22 0 811092863 10809417728 70109 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31418/statm: 2639018 70109 2257 9 0 2629752 0
[pid=31418/tid=31419] ppid=31416 vsize=10556072 CPUtime=0.15 cores=1,3,5,7
/proc/31418/task/31419/stat : 31419 (java) S 31416 31418 28116 0 -1 4202560 11773 0 1 0 14 1 0 0 15 0 22 0 811092864 10809417728 70109 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31421] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31421/stat : 31421 (java) S 31416 31418 28116 0 -1 4202560 111 0 0 0 0 0 0 0 16 0 22 0 811092865 10809417728 70109 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31422] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31422/stat : 31422 (java) S 31416 31418 28116 0 -1 4202560 330 0 0 0 0 0 0 0 15 0 22 0 811092865 10809417728 70109 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 7 0 0 0
[pid=31418/tid=31423] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31423/stat : 31423 (java) S 31416 31418 28116 0 -1 4202560 201 0 0 0 0 0 0 0 16 0 22 0 811092865 10809417728 70109 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31424] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31424/stat : 31424 (java) S 31416 31418 28116 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 22 0 811092865 10809417728 70109 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31425] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31425/stat : 31425 (java) S 31416 31418 28116 0 -1 4202560 302 0 0 0 0 0 0 0 15 0 22 0 811092865 10809417728 70109 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31426] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31426/stat : 31426 (java) S 31416 31418 28116 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 22 0 811092865 10809417728 70109 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 7 0 0 0
[pid=31418/tid=31427] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31427/stat : 31427 (java) S 31416 31418 28116 0 -1 4202560 239 0 0 0 0 0 0 0 16 0 22 0 811092865 10809417728 70109 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 7 0 0 0
[pid=31418/tid=31428] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31428/stat : 31428 (java) S 31416 31418 28116 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 811092865 10809417728 70109 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31429] ppid=31416 vsize=10556072 CPUtime=0.07 cores=1,3,5,7
/proc/31418/task/31429/stat : 31429 (java) S 31416 31418 28116 0 -1 4202560 1477 0 0 0 7 0 0 0 16 0 22 0 811092866 10809417728 70109 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 0 0 16800975 18446604467101136000 0 0 -1 5 0 0 0
[pid=31418/tid=31430] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31430/stat : 31430 (java) S 31416 31418 28116 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 811092867 10809417728 70109 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31431] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31431/stat : 31431 (java) S 31416 31418 28116 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 811092867 10809417728 70109 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31432] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31432/stat : 31432 (java) S 31416 31418 28116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811092869 10809417728 70109 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273440177 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31433] ppid=31416 vsize=10556072 CPUtime=0.81 cores=1,3,5,7
/proc/31418/task/31433/stat : 31433 (java) S 31416 31418 28116 0 -1 4202560 12073 0 0 0 78 3 0 0 15 0 22 0 811092869 10809417728 70109 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 7 0 0 0
[pid=31418/tid=31434] ppid=31416 vsize=10556072 CPUtime=0.75 cores=1,3,5,7
/proc/31418/task/31434/stat : 31434 (java) S 31416 31418 28116 0 -1 4202560 5493 0 0 0 75 0 0 0 15 0 22 0 811092869 10809417728 70109 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31435] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31435/stat : 31435 (java) S 31416 31418 28116 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 811092869 10809417728 70109 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31436] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31436/stat : 31436 (java) S 31416 31418 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811092869 10809417728 70109 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 5 0 0 0
[pid=31418/tid=31437] ppid=31416 vsize=10556072 CPUtime=1.23 cores=1,3,5,7
/proc/31418/task/31437/stat : 31437 (java) R 31416 31418 28116 0 -1 4202560 311 0 0 0 123 0 0 0 20 0 22 0 811092881 10809417728 70109 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 46912505773622 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31418/tid=31438] ppid=31416 vsize=10556072 CPUtime=1.23 cores=1,3,5,7
/proc/31418/task/31438/stat : 31438 (java) R 31416 31418 28116 0 -1 4202560 48073 0 0 0 118 5 0 0 24 0 22 0 811092881 10809417728 70109 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 46912505688684 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31418/tid=31439] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31439/stat : 31439 (java) S 31416 31418 28116 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811092881 10809417728 70109 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 7 0 0 0
[pid=31418/tid=31440] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31440/stat : 31440 (java) S 31416 31418 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811092881 10809417728 70109 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 10556072
[startup+3.10111 s]
/proc/loadavg: 2.51 1.88 1.92 6/520 31489
/proc/meminfo: memFree=20801696/32951124 swapFree=67057928/67111528
[pid=31418] ppid=31416 vsize=10556072 CPUtime=7.43 cores=1,3,5,7
/proc/31418/stat : 31418 (java) S 31416 31418 28116 0 -1 4202496 99332 0 1 0 730 13 0 0 17 0 22 0 811092863 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31418/statm: 2639018 87801 2257 9 0 2629752 0
[pid=31418/tid=31419] ppid=31416 vsize=10556072 CPUtime=0.15 cores=1,3,5,7
/proc/31418/task/31419/stat : 31419 (java) S 31416 31418 28116 0 -1 4202560 11773 0 1 0 14 1 0 0 15 0 22 0 811092864 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31421] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31421/stat : 31421 (java) S 31416 31418 28116 0 -1 4202560 128 0 0 0 0 0 0 0 16 0 22 0 811092865 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31422] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31422/stat : 31422 (java) S 31416 31418 28116 0 -1 4202560 330 0 0 0 0 0 0 0 16 0 22 0 811092865 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 7 0 0 0
[pid=31418/tid=31423] ppid=31416 vsize=10556072 CPUtime=0.01 cores=1,3,5,7
/proc/31418/task/31423/stat : 31423 (java) S 31416 31418 28116 0 -1 4202560 226 0 0 0 1 0 0 0 15 0 22 0 811092865 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31424] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31424/stat : 31424 (java) S 31416 31418 28116 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 811092865 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31425] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31425/stat : 31425 (java) S 31416 31418 28116 0 -1 4202560 345 0 0 0 0 0 0 0 15 0 22 0 811092865 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31426] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31426/stat : 31426 (java) S 31416 31418 28116 0 -1 4202560 128 0 0 0 0 0 0 0 16 0 22 0 811092865 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31427] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31427/stat : 31427 (java) S 31416 31418 28116 0 -1 4202560 293 0 0 0 0 0 0 0 15 0 22 0 811092865 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31428] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31428/stat : 31428 (java) S 31416 31418 28116 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 811092865 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31429] ppid=31416 vsize=10556072 CPUtime=0.18 cores=1,3,5,7
/proc/31418/task/31429/stat : 31429 (java) S 31416 31418 28116 0 -1 4202560 3094 0 0 0 18 0 0 0 16 0 22 0 811092866 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 0 0 16800975 18446604467101136000 0 0 -1 5 0 0 0
[pid=31418/tid=31430] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31430/stat : 31430 (java) S 31416 31418 28116 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 811092867 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31431] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31431/stat : 31431 (java) S 31416 31418 28116 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 811092867 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31432] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31432/stat : 31432 (java) S 31416 31418 28116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811092869 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273440177 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31433] ppid=31416 vsize=10556072 CPUtime=0.81 cores=1,3,5,7
/proc/31418/task/31433/stat : 31433 (java) S 31416 31418 28116 0 -1 4202560 12073 0 0 0 78 3 0 0 15 0 22 0 811092869 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 7 0 0 0
[pid=31418/tid=31434] ppid=31416 vsize=10556072 CPUtime=0.77 cores=1,3,5,7
/proc/31418/task/31434/stat : 31434 (java) S 31416 31418 28116 0 -1 4202560 5495 0 0 0 77 0 0 0 15 0 22 0 811092869 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31435] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31435/stat : 31435 (java) S 31416 31418 28116 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 811092869 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31436] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31436/stat : 31436 (java) S 31416 31418 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811092869 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31437] ppid=31416 vsize=10556072 CPUtime=2.71 cores=1,3,5,7
/proc/31418/task/31437/stat : 31437 (java) R 31416 31418 28116 0 -1 4202560 315 0 0 0 271 0 0 0 22 0 22 0 811092881 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 46912505557168 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31418/tid=31438] ppid=31416 vsize=10556072 CPUtime=2.69 cores=1,3,5,7
/proc/31418/task/31438/stat : 31438 (java) R 31416 31418 28116 0 -1 4202560 63889 0 0 0 263 6 0 0 18 0 22 0 811092881 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 46912505754814 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31418/tid=31439] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31439/stat : 31439 (java) S 31416 31418 28116 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811092881 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 7 0 0 0
[pid=31418/tid=31440] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31440/stat : 31440 (java) S 31416 31418 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811092881 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (KiB) 10556072
Solver just ended. Dumping a history of the last processes samples
[startup+3.20109 s]
/proc/loadavg: 2.51 1.88 1.92 6/520 31489
/proc/meminfo: memFree=20801696/32951124 swapFree=67057928/67111528
[pid=31418] ppid=31416 vsize=10556072 CPUtime=7.63 cores=1,3,5,7
/proc/31418/stat : 31418 (java) S 31416 31418 28116 0 -1 4202496 99332 0 1 0 750 13 0 0 17 0 22 0 811092863 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31418/statm: 2639018 87801 2257 9 0 2629752 0
[pid=31418/tid=31419] ppid=31416 vsize=10556072 CPUtime=0.15 cores=1,3,5,7
/proc/31418/task/31419/stat : 31419 (java) S 31416 31418 28116 0 -1 4202560 11773 0 1 0 14 1 0 0 15 0 22 0 811092864 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31421] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31421/stat : 31421 (java) S 31416 31418 28116 0 -1 4202560 128 0 0 0 0 0 0 0 16 0 22 0 811092865 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31422] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31422/stat : 31422 (java) S 31416 31418 28116 0 -1 4202560 330 0 0 0 0 0 0 0 16 0 22 0 811092865 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 7 0 0 0
[pid=31418/tid=31423] ppid=31416 vsize=10556072 CPUtime=0.01 cores=1,3,5,7
/proc/31418/task/31423/stat : 31423 (java) S 31416 31418 28116 0 -1 4202560 226 0 0 0 1 0 0 0 15 0 22 0 811092865 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31424] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31424/stat : 31424 (java) S 31416 31418 28116 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 811092865 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31425] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31425/stat : 31425 (java) S 31416 31418 28116 0 -1 4202560 345 0 0 0 0 0 0 0 15 0 22 0 811092865 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31426] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31426/stat : 31426 (java) S 31416 31418 28116 0 -1 4202560 128 0 0 0 0 0 0 0 16 0 22 0 811092865 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31427] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31427/stat : 31427 (java) S 31416 31418 28116 0 -1 4202560 293 0 0 0 0 0 0 0 15 0 22 0 811092865 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/31418/task/31430/stat : 31430 (java) S 31416 31418 28116 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 811092867 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31431] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31431/stat : 31431 (java) S 31416 31418 28116 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 811092867 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31432] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31432/stat : 31432 (java) S 31416 31418 28116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811092869 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273440177 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31433] ppid=31416 vsize=10556072 CPUtime=0.81 cores=1,3,5,7
/proc/31418/task/31433/stat : 31433 (java) S 31416 31418 28116 0 -1 4202560 12073 0 0 0 78 3 0 0 15 0 22 0 811092869 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 7 0 0 0
[pid=31418/tid=31434] ppid=31416 vsize=10556072 CPUtime=0.77 cores=1,3,5,7
/proc/31418/task/31434/stat : 31434 (java) S 31416 31418 28116 0 -1 4202560 5495 0 0 0 77 0 0 0 15 0 22 0 811092869 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31435] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31435/stat : 31435 (java) S 31416 31418 28116 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 811092869 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31436] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31436/stat : 31436 (java) S 31416 31418 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811092869 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31437] ppid=31416 vsize=10556072 CPUtime=2.81 cores=1,3,5,7
/proc/31418/task/31437/stat : 31437 (java) R 31416 31418 28116 0 -1 4202560 315 0 0 0 281 0 0 0 22 0 22 0 811092881 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 46912505590875 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31418/tid=31438] ppid=31416 vsize=10556072 CPUtime=2.79 cores=1,3,5,7
/proc/31418/task/31438/stat : 31438 (java) R 31416 31418 28116 0 -1 4202560 63889 0 0 0 273 6 0 0 18 0 22 0 811092881 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 46912505646798 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31418/tid=31439] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31439/stat : 31439 (java) S 31416 31418 28116 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811092881 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 7 0 0 0
[pid=31418/tid=31440] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31440/stat : 31440 (java) S 31416 31418 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811092881 10809417728 87801 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.63
Current children cumulated vsize (KiB) 10556072
[startup+4.00095 s]
/proc/loadavg: 2.51 1.88 1.92 6/520 31489
/proc/meminfo: memFree=20778756/32951124 swapFree=67057928/67111528
[pid=31418] ppid=31416 vsize=10556072 CPUtime=9.17 cores=1,3,5,7
/proc/31418/stat : 31418 (java) S 31416 31418 28116 0 -1 4202496 100341 0 1 0 904 13 0 0 17 0 22 0 811092863 10809417728 88808 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31418/statm: 2639018 88808 2257 9 0 2629752 0
[pid=31418/tid=31419] ppid=31416 vsize=10556072 CPUtime=0.15 cores=1,3,5,7
/proc/31418/task/31419/stat : 31419 (java) S 31416 31418 28116 0 -1 4202560 11773 0 1 0 14 1 0 0 15 0 22 0 811092864 10809417728 88808 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31421] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31421/stat : 31421 (java) S 31416 31418 28116 0 -1 4202560 128 0 0 0 0 0 0 0 16 0 22 0 811092865 10809417728 88808 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31422] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31422/stat : 31422 (java) S 31416 31418 28116 0 -1 4202560 330 0 0 0 0 0 0 0 15 0 22 0 811092865 10809417728 88808 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 7 0 0 0
[pid=31418/tid=31423] ppid=31416 vsize=10556072 CPUtime=0.01 cores=1,3,5,7
/proc/31418/task/31423/stat : 31423 (java) S 31416 31418 28116 0 -1 4202560 226 0 0 0 1 0 0 0 15 0 22 0 811092865 10809417728 88808 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31424] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31424/stat : 31424 (java) S 31416 31418 28116 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 811092865 10809417728 88808 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31425] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31425/stat : 31425 (java) S 31416 31418 28116 0 -1 4202560 345 0 0 0 0 0 0 0 15 0 22 0 811092865 10809417728 88808 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31426] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31426/stat : 31426 (java) S 31416 31418 28116 0 -1 4202560 129 0 0 0 0 0 0 0 16 0 22 0 811092865 10809417728 88808 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31427] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31427/stat : 31427 (java) S 31416 31418 28116 0 -1 4202560 293 0 0 0 0 0 0 0 15 0 22 0 811092865 10809417728 88808 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31428] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31428/stat : 31428 (java) S 31416 31418 28116 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 811092865 10809417728 88808 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31429] ppid=31416 vsize=10556072 CPUtime=0.24 cores=1,3,5,7
/proc/31418/task/31429/stat : 31429 (java) S 31416 31418 28116 0 -1 4202560 3859 0 0 0 24 0 0 0 16 0 22 0 811092866 10809417728 88808 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 0 0 16800975 18446604467101136000 0 0 -1 5 0 0 0
[pid=31418/tid=31430] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31430/stat : 31430 (java) S 31416 31418 28116 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 811092867 10809417728 88808 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31431] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31431/stat : 31431 (java) S 31416 31418 28116 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 811092867 10809417728 88808 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31432] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31432/stat : 31432 (java) S 31416 31418 28116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811092869 10809417728 88808 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273440177 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31433] ppid=31416 vsize=10556072 CPUtime=0.81 cores=1,3,5,7
/proc/31418/task/31433/stat : 31433 (java) S 31416 31418 28116 0 -1 4202560 12073 0 0 0 78 3 0 0 15 0 22 0 811092869 10809417728 88808 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 7 0 0 0
[pid=31418/tid=31434] ppid=31416 vsize=10556072 CPUtime=0.77 cores=1,3,5,7
/proc/31418/task/31434/stat : 31434 (java) S 31416 31418 28116 0 -1 4202560 5495 0 0 0 77 0 0 0 15 0 22 0 811092869 10809417728 88808 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31435] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31435/stat : 31435 (java) S 31416 31418 28116 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 811092869 10809417728 88808 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31436] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31436/stat : 31436 (java) S 31416 31418 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811092869 10809417728 88808 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31437] ppid=31416 vsize=10556072 CPUtime=3.54 cores=1,3,5,7
/proc/31418/task/31437/stat : 31437 (java) R 31416 31418 28116 0 -1 4202560 317 0 0 0 354 0 0 0 25 0 22 0 811092881 10809417728 88808 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 46912505590539 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31418/tid=31438] ppid=31416 vsize=10556072 CPUtime=3.53 cores=1,3,5,7
/proc/31418/task/31438/stat : 31438 (java) R 31416 31418 28116 0 -1 4202560 64128 0 0 0 347 6 0 0 18 0 22 0 811092881 10809417728 88808 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 46912505672807 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31418/tid=31439] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31439/stat : 31439 (java) S 31416 31418 28116 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811092881 10809417728 88808 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 7 0 0 0
[pid=31418/tid=31440] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31440/stat : 31440 (java) S 31416 31418 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811092881 10809417728 88808 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.17
Current children cumulated vsize (KiB) 10556072
[startup+4.80082 s]
/proc/loadavg: 2.63 1.92 1.94 6/520 31489
/proc/meminfo: memFree=20772136/32951124 swapFree=67057928/67111528
[pid=31418] ppid=31416 vsize=10556072 CPUtime=10.69 cores=1,3,5,7
/proc/31418/stat : 31418 (java) S 31416 31418 28116 0 -1 4202496 100637 0 1 0 1056 13 0 0 17 0 22 0 811092863 10809417728 89101 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31418/statm: 2639018 89101 2257 9 0 2629752 0
[pid=31418/tid=31419] ppid=31416 vsize=10556072 CPUtime=0.15 cores=1,3,5,7
/proc/31418/task/31419/stat : 31419 (java) S 31416 31418 28116 0 -1 4202560 11773 0 1 0 14 1 0 0 15 0 22 0 811092864 10809417728 89101 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31421] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31421/stat : 31421 (java) S 31416 31418 28116 0 -1 4202560 128 0 0 0 0 0 0 0 15 0 22 0 811092865 10809417728 89101 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31422] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31422/stat : 31422 (java) S 31416 31418 28116 0 -1 4202560 330 0 0 0 0 0 0 0 15 0 22 0 811092865 10809417728 89101 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 7 0 0 0
[pid=31418/tid=31423] ppid=31416 vsize=10556072 CPUtime=0.01 cores=1,3,5,7
/proc/31418/task/31423/stat : 31423 (java) S 31416 31418 28116 0 -1 4202560 226 0 0 0 1 0 0 0 15 0 22 0 811092865 10809417728 89101 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31424] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31424/stat : 31424 (java) S 31416 31418 28116 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 811092865 10809417728 89101 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31425] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31425/stat : 31425 (java) S 31416 31418 28116 0 -1 4202560 345 0 0 0 0 0 0 0 15 0 22 0 811092865 10809417728 89101 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31426] ppid=31416 vsize=10556072 CPUtime=0.01 cores=1,3,5,7
/proc/31418/task/31426/stat : 31426 (java) S 31416 31418 28116 0 -1 4202560 129 0 0 0 1 0 0 0 15 0 22 0 811092865 10809417728 89101 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31427] ppid=31416 vsize=10556072 CPUtime=0.01 cores=1,3,5,7
/proc/31418/task/31427/stat : 31427 (java) S 31416 31418 28116 0 -1 4202560 293 0 0 0 1 0 0 0 15 0 22 0 811092865 10809417728 89101 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31428] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31428/stat : 31428 (java) S 31416 31418 28116 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 811092865 10809417728 89101 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 7 0 0 0
[pid=31418/tid=31429] ppid=31416 vsize=10556072 CPUtime=0.32 cores=1,3,5,7
/proc/31418/task/31429/stat : 31429 (java) S 31416 31418 28116 0 -1 4202560 4152 0 0 0 32 0 0 0 16 0 22 0 811092866 10809417728 89101 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 0 0 16800975 18446604467101136000 0 0 -1 5 0 0 0
[pid=31418/tid=31430] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31430/stat : 31430 (java) S 31416 31418 28116 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 811092867 10809417728 89101 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31431] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31431/stat : 31431 (java) S 31416 31418 28116 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 811092867 10809417728 89101 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31432] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31432/stat : 31432 (java) S 31416 31418 28116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811092869 10809417728 89101 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273440177 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31433] ppid=31416 vsize=10556072 CPUtime=0.81 cores=1,3,5,7
/proc/31418/task/31433/stat : 31433 (java) S 31416 31418 28116 0 -1 4202560 12073 0 0 0 78 3 0 0 15 0 22 0 811092869 10809417728 89101 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 7 0 0 0
[pid=31418/tid=31434] ppid=31416 vsize=10556072 CPUtime=0.77 cores=1,3,5,7
/proc/31418/task/31434/stat : 31434 (java) S 31416 31418 28116 0 -1 4202560 5495 0 0 0 77 0 0 0 15 0 22 0 811092869 10809417728 89101 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31435] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31435/stat : 31435 (java) S 31416 31418 28116 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 811092869 10809417728 89101 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31436] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31436/stat : 31436 (java) S 31416 31418 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811092869 10809417728 89101 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31437] ppid=31416 vsize=10556072 CPUtime=4.26 cores=1,3,5,7
/proc/31418/task/31437/stat : 31437 (java) R 31416 31418 28116 0 -1 4202560 319 0 0 0 426 0 0 0 25 0 22 0 811092881 10809417728 89101 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 46912505590940 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31418/tid=31438] ppid=31416 vsize=10556072 CPUtime=4.25 cores=1,3,5,7
/proc/31418/task/31438/stat : 31438 (java) R 31416 31418 28116 0 -1 4202560 64129 0 0 0 419 6 0 0 19 0 22 0 811092881 10809417728 89101 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 46912505752653 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31418/tid=31439] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31439/stat : 31439 (java) S 31416 31418 28116 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811092881 10809417728 89101 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 7 0 0 0
[pid=31418/tid=31440] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31440/stat : 31440 (java) S 31416 31418 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811092881 10809417728 89101 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.69
Current children cumulated vsize (KiB) 10556072
[startup+5.20074 s]
/proc/loadavg: 2.63 1.92 1.94 6/520 31489
/proc/meminfo: memFree=20772136/32951124 swapFree=67057928/67111528
[pid=31418] ppid=31416 vsize=10556072 CPUtime=10.79 cores=1,3,5,7
/proc/31418/stat : 31418 (java) S 31416 31418 28116 0 -1 4202496 100638 0 1 0 1066 13 0 0 17 0 19 0 811092863 10809417728 89102 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31418/statm: 2639018 89102 2258 9 0 2629752 0
[pid=31418/tid=31419] ppid=31416 vsize=10556072 CPUtime=0.15 cores=1,3,5,7
/proc/31418/task/31419/stat : 31419 (java) S 31416 31418 28116 0 -1 4202560 11773 0 1 0 14 1 0 0 15 0 19 0 811092864 10809417728 89102 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31421] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31421/stat : 31421 (java) S 31416 31418 28116 0 -1 4202560 128 0 0 0 0 0 0 0 15 0 19 0 811092865 10809417728 89102 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31422] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31422/stat : 31422 (java) S 31416 31418 28116 0 -1 4202560 330 0 0 0 0 0 0 0 15 0 19 0 811092865 10809417728 89102 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 7 0 0 0
[pid=31418/tid=31423] ppid=31416 vsize=10556072 CPUtime=0.01 cores=1,3,5,7
/proc/31418/task/31423/stat : 31423 (java) S 31416 31418 28116 0 -1 4202560 226 0 0 0 1 0 0 0 15 0 19 0 811092865 10809417728 89102 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31424] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31424/stat : 31424 (java) S 31416 31418 28116 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 811092865 10809417728 89102 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31425] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31425/stat : 31425 (java) S 31416 31418 28116 0 -1 4202560 345 0 0 0 0 0 0 0 15 0 19 0 811092865 10809417728 89102 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31426] ppid=31416 vsize=10556072 CPUtime=0.01 cores=1,3,5,7
/proc/31418/task/31426/stat : 31426 (java) S 31416 31418 28116 0 -1 4202560 129 0 0 0 1 0 0 0 15 0 19 0 811092865 10809417728 89102 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31427] ppid=31416 vsize=10556072 CPUtime=0.01 cores=1,3,5,7
/proc/31418/task/31427/stat : 31427 (java) S 31416 31418 28116 0 -1 4202560 293 0 0 0 1 0 0 0 15 0 19 0 811092865 10809417728 89102 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31428] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31428/stat : 31428 (java) S 31416 31418 28116 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 811092865 10809417728 89102 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 7 0 0 0
[pid=31418/tid=31429] ppid=31416 vsize=10556072 CPUtime=0.32 cores=1,3,5,7
/proc/31418/task/31429/stat : 31429 (java) S 31416 31418 28116 0 -1 4202560 4152 0 0 0 32 0 0 0 16 0 19 0 811092866 10809417728 89102 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 0 0 16800975 18446604467101136000 0 0 -1 5 0 0 0
[pid=31418/tid=31430] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31430/stat : 31430 (java) S 31416 31418 28116 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 811092867 10809417728 89102 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31431] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31431/stat : 31431 (java) S 31416 31418 28116 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 811092867 10809417728 89102 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31432] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31432/stat : 31432 (java) S 31416 31418 28116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 811092869 10809417728 89102 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273440177 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31433] ppid=31416 vsize=10556072 CPUtime=0.81 cores=1,3,5,7
/proc/31418/task/31433/stat : 31433 (java) S 31416 31418 28116 0 -1 4202560 12073 0 0 0 78 3 0 0 15 0 19 0 811092869 10809417728 89102 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 7 0 0 0
[pid=31418/tid=31434] ppid=31416 vsize=10556072 CPUtime=0.77 cores=1,3,5,7
/proc/31418/task/31434/stat : 31434 (java) S 31416 31418 28116 0 -1 4202560 5495 0 0 0 77 0 0 0 15 0 19 0 811092869 10809417728 89102 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31435] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31435/stat : 31435 (java) S 31416 31418 28116 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 811092869 10809417728 89102 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273432473 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
[pid=31418/tid=31436] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31436/stat : 31436 (java) S 31416 31418 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811092869 10809417728 89102 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 1 0 0 0
[pid=31418/tid=31440] ppid=31416 vsize=10556072 CPUtime=0 cores=1,3,5,7
/proc/31418/task/31440/stat : 31440 (java) S 31416 31418 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 811092881 10809417728 89102 33554432000 1073741824 1073778376 140734146136096 18446744073709551615 254273433088 0 4 0 16800975 18446604467101136000 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.79
Current children cumulated vsize (KiB) 10556072
Child status: 10
Real time (s): 5.25477
CPU time (s): 10.8404
CPU user time (s): 10.6834
CPU system time (s): 0.156976
CPU usage (%): 206.296
Max. virtual memory (cumulated for all children) (KiB): 10556072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.6834
system time used= 0.156976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100655
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= 781
involuntary context switches= 309
runsolver used 0.024996 second user time and 0.067989 second system time
The end