runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3250859-1303582049/watcher-3250859-1303582049 -o /tmp/evaluation-result-3250859-1303582049/solver-3250859-1303582049 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3250859-1303582049.cnf
running on 2 cores: 4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.68 3.92 3.90 7/213 10461
/proc/meminfo: memFree=13528296/32951124 swapFree=67111528/67111528
[pid=10461] ppid=10459 vsize=102736 CPUtime=0 cores=4,6
/proc/10461/stat : 10461 (mono) R 10459 10461 9597 0 -1 4202496 915 0 0 0 0 0 0 0 19 0 8 0 450621217 105201664 824 33554432000 4194304 7232020 140735271070192 18446744073709551615 212039316513 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/10461/statm: 25684 824 639 742 0 18255 0
[pid=10461/tid=10462] ppid=10459 vsize=102736 CPUtime=0 cores=4,6
/proc/10461/task/10462/stat : 10462 (mono) S 10459 10461 9597 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 8 0 450621217 105201664 824 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10463] ppid=10459 vsize=102736 CPUtime=0 cores=4,6
/proc/10461/task/10463/stat : 10463 (mono) S 10459 10461 9597 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 8 0 450621217 105201664 824 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10464] ppid=10459 vsize=102736 CPUtime=0 cores=4,6
/proc/10461/task/10464/stat : 10464 (mono) S 10459 10461 9597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 450621217 105201664 824 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10465] ppid=10459 vsize=102736 CPUtime=0 cores=4,6
/proc/10461/task/10465/stat : 10465 (mono) S 10459 10461 9597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 450621217 105201664 824 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10466] ppid=10459 vsize=102736 CPUtime=0 cores=4,6
/proc/10461/task/10466/stat : 10466 (mono) S 10459 10461 9597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 450621217 105201664 824 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10467] ppid=10459 vsize=102736 CPUtime=0 cores=4,6
/proc/10461/task/10467/stat : 10467 (mono) S 10459 10461 9597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 450621217 105201664 824 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10468] ppid=10459 vsize=102736 CPUtime=0 cores=4,6
/proc/10461/task/10468/stat : 10468 (mono) S 10459 10461 9597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 450621217 105201664 824 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[startup+0.073849 s]
/proc/loadavg: 3.68 3.92 3.90 7/213 10461
/proc/meminfo: memFree=13528296/32951124 swapFree=67111528/67111528
[pid=10461] ppid=10459 vsize=122768 CPUtime=0.06 cores=4,6
/proc/10461/stat : 10461 (mono) R 10459 10461 9597 0 -1 4202496 5269 0 0 0 6 0 0 0 21 0 9 0 450621217 125714432 5173 33554432000 4194304 7232020 140735271070192 18446744073709551615 6230302 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/10461/statm: 30692 5176 975 742 0 23263 0
[pid=10461/tid=10462] ppid=10459 vsize=122768 CPUtime=0 cores=4,6
/proc/10461/task/10462/stat : 10462 (mono) S 10459 10461 9597 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 9 0 450621217 125714432 5178 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10463] ppid=10459 vsize=122768 CPUtime=0 cores=4,6
/proc/10461/task/10463/stat : 10463 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 450621217 125714432 5181 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10464] ppid=10459 vsize=122768 CPUtime=0 cores=4,6
/proc/10461/task/10464/stat : 10464 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 450621217 125714432 5183 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10465] ppid=10459 vsize=122768 CPUtime=0 cores=4,6
/proc/10461/task/10465/stat : 10465 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 450621217 125714432 5185 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10466] ppid=10459 vsize=122768 CPUtime=0 cores=4,6
/proc/10461/task/10466/stat : 10466 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 450621217 125714432 5187 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10467] ppid=10459 vsize=122768 CPUtime=0 cores=4,6
/proc/10461/task/10467/stat : 10467 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 450621217 125714432 5191 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10468] ppid=10459 vsize=122768 CPUtime=0 cores=4,6
/proc/10461/task/10468/stat : 10468 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 450621217 125714432 5193 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 122768
[startup+0.100834 s]
/proc/loadavg: 3.68 3.92 3.90 7/213 10461
/proc/meminfo: memFree=13528296/32951124 swapFree=67111528/67111528
[pid=10461] ppid=10459 vsize=122768 CPUtime=0.09 cores=4,6
/proc/10461/stat : 10461 (mono) R 10459 10461 9597 0 -1 4202496 5478 0 0 0 9 0 0 0 21 0 9 0 450621217 125714432 5381 33554432000 4194304 7232020 140735271070192 18446744073709551615 6135807 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/10461/statm: 30692 5381 975 742 0 23263 0
[pid=10461/tid=10462] ppid=10459 vsize=122768 CPUtime=0.01 cores=4,6
/proc/10461/task/10462/stat : 10462 (mono) S 10459 10461 9597 0 -1 4202560 3 0 0 0 1 0 0 0 19 0 9 0 450621217 125714432 5381 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10463] ppid=10459 vsize=122768 CPUtime=0 cores=4,6
/proc/10461/task/10463/stat : 10463 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 450621217 125714432 5381 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10464] ppid=10459 vsize=122768 CPUtime=0 cores=4,6
/proc/10461/task/10464/stat : 10464 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 450621217 125714432 5381 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10465] ppid=10459 vsize=122768 CPUtime=0 cores=4,6
/proc/10461/task/10465/stat : 10465 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 450621217 125714432 5381 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10466] ppid=10459 vsize=122768 CPUtime=0 cores=4,6
/proc/10461/task/10466/stat : 10466 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 450621217 125714432 5381 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10467] ppid=10459 vsize=122768 CPUtime=0 cores=4,6
/proc/10461/task/10467/stat : 10467 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 450621217 125714432 5381 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10468] ppid=10459 vsize=122768 CPUtime=0 cores=4,6
/proc/10461/task/10468/stat : 10468 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 450621217 125714432 5381 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 122768
[startup+0.352766 s]
/proc/loadavg: 3.68 3.92 3.90 7/213 10461
/proc/meminfo: memFree=13528296/32951124 swapFree=67111528/67111528
[pid=10461] ppid=10459 vsize=136164 CPUtime=0.36 cores=4,6
/proc/10461/stat : 10461 (mono) R 10459 10461 9597 0 -1 4202496 7771 0 0 0 35 1 0 0 18 0 9 0 450621217 139431936 7674 33554432000 4194304 7232020 140735271070192 18446744073709551615 212039349195 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/10461/statm: 34041 7675 975 742 0 26612 0
[pid=10461/tid=10462] ppid=10459 vsize=136164 CPUtime=0.04 cores=4,6
/proc/10461/task/10462/stat : 10462 (mono) S 10459 10461 9597 0 -1 4202560 3 0 0 0 4 0 0 0 16 0 9 0 450621217 139431936 7678 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
[pid=10461/tid=10463] ppid=10459 vsize=136164 CPUtime=0 cores=4,6
/proc/10461/task/10463/stat : 10463 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 450621217 139431936 7679 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10464] ppid=10459 vsize=136164 CPUtime=0 cores=4,6
/proc/10461/task/10464/stat : 10464 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 450621217 139431936 7682 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10465] ppid=10459 vsize=136164 CPUtime=0 cores=4,6
/proc/10461/task/10465/stat : 10465 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 450621217 139431936 7684 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
[pid=10461/tid=10466] ppid=10459 vsize=136164 CPUtime=0 cores=4,6
/proc/10461/task/10466/stat : 10466 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 450621217 139431936 7687 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
[pid=10461/tid=10467] ppid=10459 vsize=136164 CPUtime=0 cores=4,6
/proc/10461/task/10467/stat : 10467 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 450621217 139431936 7691 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
[pid=10461/tid=10468] ppid=10459 vsize=136164 CPUtime=0 cores=4,6
/proc/10461/task/10468/stat : 10468 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 450621217 139431936 7692 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 136164
[startup+0.700703 s]
/proc/loadavg: 3.68 3.92 3.90 7/213 10461
/proc/meminfo: memFree=13528296/32951124 swapFree=67111528/67111528
[pid=10461] ppid=10459 vsize=144676 CPUtime=0.77 cores=4,6
/proc/10461/stat : 10461 (mono) R 10459 10461 9597 0 -1 4202496 10508 0 0 0 75 2 0 0 18 0 9 0 450621217 148148224 10411 33554432000 4194304 7232020 140735271070192 18446744073709551615 1088757709 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/10461/statm: 36169 10411 975 742 0 28740 0
[pid=10461/tid=10462] ppid=10459 vsize=144676 CPUtime=0.06 cores=4,6
/proc/10461/task/10462/stat : 10462 (mono) S 10459 10461 9597 0 -1 4202560 3 0 0 0 6 0 0 0 16 0 9 0 450621217 148148224 10411 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
[pid=10461/tid=10463] ppid=10459 vsize=144676 CPUtime=0.01 cores=4,6
/proc/10461/task/10463/stat : 10463 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 450621217 148148224 10411 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10464] ppid=10459 vsize=144676 CPUtime=0.03 cores=4,6
/proc/10461/task/10464/stat : 10464 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 450621217 148148224 10411 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10465] ppid=10459 vsize=144676 CPUtime=0.01 cores=4,6
/proc/10461/task/10465/stat : 10465 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 450621217 148148224 10411 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
[pid=10461/tid=10466] ppid=10459 vsize=144676 CPUtime=0.01 cores=4,6
/proc/10461/task/10466/stat : 10466 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 450621217 148148224 10411 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10467] ppid=10459 vsize=144676 CPUtime=0.01 cores=4,6
/proc/10461/task/10467/stat : 10467 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 450621217 148148224 10411 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
[pid=10461/tid=10468] ppid=10459 vsize=144676 CPUtime=0.01 cores=4,6
/proc/10461/task/10468/stat : 10468 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 450621217 148148224 10411 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 144676
[startup+1.50056 s]
/proc/loadavg: 3.68 3.92 3.90 3/196 10504
/proc/meminfo: memFree=13545912/32951124 swapFree=67111528/67111528
[pid=10461] ppid=10459 vsize=170020 CPUtime=1.7 cores=4,6
/proc/10461/stat : 10461 (mono) R 10459 10461 9597 0 -1 4202496 16927 0 0 0 167 3 0 0 18 0 9 0 450621217 174100480 16830 33554432000 4194304 7232020 140735271070192 18446744073709551615 1088776511 0 0 4096 545260780 18446744073709551615 0 0 17 6 0 0 0
/proc/10461/statm: 42505 16830 975 742 0 35076 0
[pid=10461/tid=10462] ppid=10459 vsize=170020 CPUtime=0.09 cores=4,6
/proc/10461/task/10462/stat : 10462 (mono) S 10459 10461 9597 0 -1 4202560 3 0 0 0 9 0 0 0 15 0 9 0 450621217 174100480 16830 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10463] ppid=10459 vsize=170020 CPUtime=0.05 cores=4,6
/proc/10461/task/10463/stat : 10463 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 450621217 174100480 16830 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
[pid=10461/tid=10464] ppid=10459 vsize=170020 CPUtime=0.06 cores=4,6
/proc/10461/task/10464/stat : 10464 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 450621217 174100480 16830 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
[pid=10461/tid=10465] ppid=10459 vsize=170020 CPUtime=0.04 cores=4,6
/proc/10461/task/10465/stat : 10465 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 450621217 174100480 16830 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10466] ppid=10459 vsize=170020 CPUtime=0.04 cores=4,6
/proc/10461/task/10466/stat : 10466 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 450621217 174100480 16830 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
[pid=10461/tid=10467] ppid=10459 vsize=170020 CPUtime=0.05 cores=4,6
/proc/10461/task/10467/stat : 10467 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 450621217 174100480 16830 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10468] ppid=10459 vsize=170020 CPUtime=0.04 cores=4,6
/proc/10461/task/10468/stat : 10468 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 450621217 174100480 16830 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10470] ppid=10459 vsize=170020 CPUtime=0 cores=4,6
/proc/10461/task/10470/stat : 10470 (mono) S 10459 10461 9597 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 450621218 174100480 16830 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051478961 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 170020
[startup+3.10128 s]
/proc/loadavg: 3.54 3.89 3.89 3/196 10504
/proc/meminfo: memFree=13206152/32951124 swapFree=67111528/67111528
[pid=10461] ppid=10459 vsize=321284 CPUtime=3.44 cores=4,6
/proc/10461/stat : 10461 (mono) R 10459 10461 9597 0 -1 4202496 39975 0 0 0 338 6 0 0 18 0 9 0 450621217 328994816 39879 33554432000 4194304 7232020 140735271070192 18446744073709551615 212039349307 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/10461/statm: 80321 39903 995 742 0 72892 0
[pid=10461/tid=10462] ppid=10459 vsize=321284 CPUtime=0.12 cores=4,6
/proc/10461/task/10462/stat : 10462 (mono) S 10459 10461 9597 0 -1 4202560 3 0 0 0 12 0 0 0 15 0 9 0 450621217 328994816 39916 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
[pid=10461/tid=10463] ppid=10459 vsize=321284 CPUtime=0.07 cores=4,6
/proc/10461/task/10463/stat : 10463 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 7 0 0 0 15 0 9 0 450621217 328994816 39932 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10464] ppid=10459 vsize=321284 CPUtime=0.1 cores=4,6
/proc/10461/task/10464/stat : 10464 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 450621217 328994816 39948 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10465] ppid=10459 vsize=321284 CPUtime=0.09 cores=4,6
/proc/10461/task/10465/stat : 10465 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 450621217 328994816 39963 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
[pid=10461/tid=10466] ppid=10459 vsize=321284 CPUtime=0.09 cores=4,6
/proc/10461/task/10466/stat : 10466 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 450621217 328994816 39980 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
[pid=10461/tid=10467] ppid=10459 vsize=321284 CPUtime=0.08 cores=4,6
/proc/10461/task/10467/stat : 10467 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 450621217 328994816 39994 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
[pid=10461/tid=10468] ppid=10459 vsize=321284 CPUtime=0.08 cores=4,6
/proc/10461/task/10468/stat : 10468 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 450621217 328994816 40009 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10470] ppid=10459 vsize=321284 CPUtime=0 cores=4,6
/proc/10461/task/10470/stat : 10470 (mono) S 10459 10461 9597 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 450621218 328994816 40023 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051478961 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 321284
[startup+6.30076 s]
/proc/loadavg: 3.54 3.89 3.89 3/196 10504
/proc/meminfo: memFree=12392100/32951124 swapFree=67111528/67111528
[pid=10461] ppid=10459 vsize=1000488 CPUtime=6.78 cores=4,6
/proc/10461/stat : 10461 (mono) R 10459 10461 9597 0 -1 4202496 223252 0 0 0 654 24 0 0 25 0 9 0 450621217 1024499712 223155 33554432000 4194304 7232020 140735271070192 18446744073709551615 212039349229 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/10461/statm: 250122 223160 1001 742 0 242693 0
[pid=10461/tid=10462] ppid=10459 vsize=1000488 CPUtime=0.17 cores=4,6
/proc/10461/task/10462/stat : 10462 (mono) S 10459 10461 9597 0 -1 4202560 3 0 0 0 17 0 0 0 16 0 9 0 450621217 1024499712 223162 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10463] ppid=10459 vsize=1000488 CPUtime=0.08 cores=4,6
/proc/10461/task/10463/stat : 10463 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 8 0 0 0 16 0 9 0 450621217 1024499712 223165 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
[pid=10461/tid=10464] ppid=10459 vsize=1000488 CPUtime=0.18 cores=4,6
/proc/10461/task/10464/stat : 10464 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 18 0 0 0 16 0 9 0 450621217 1024499712 223169 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10465] ppid=10459 vsize=1000488 CPUtime=0.13 cores=4,6
/proc/10461/task/10465/stat : 10465 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 13 0 0 0 16 0 9 0 450621217 1024499712 223170 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
[pid=10461/tid=10466] ppid=10459 vsize=1000488 CPUtime=0.1 cores=4,6
/proc/10461/task/10466/stat : 10466 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 450621217 1024499712 223173 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
[pid=10461/tid=10467] ppid=10459 vsize=1000488 CPUtime=0.11 cores=4,6
/proc/10461/task/10467/stat : 10467 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 9 0 450621217 1024499712 223176 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10468] ppid=10459 vsize=1000488 CPUtime=0.15 cores=4,6
/proc/10461/task/10468/stat : 10468 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 15 0 0 0 16 0 9 0 450621217 1024499712 223179 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
[pid=10461/tid=10470] ppid=10459 vsize=1000488 CPUtime=0 cores=4,6
/proc/10461/task/10470/stat : 10470 (mono) S 10459 10461 9597 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 450621218 1024499712 223179 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051478961 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.78
Current children cumulated vsize (KiB) 1000488
Solver just ended. Dumping a history of the last processes samples
[startup+6.40075 s]
/proc/loadavg: 3.54 3.89 3.89 3/196 10504
/proc/meminfo: memFree=12392100/32951124 swapFree=67111528/67111528
[pid=10461] ppid=10459 vsize=1050352 CPUtime=6.88 cores=4,6
/proc/10461/stat : 10461 (mono) R 10459 10461 9597 0 -1 4202496 237581 0 0 0 663 25 0 0 25 0 9 0 450621217 1075560448 237484 33554432000 4194304 7232020 140735271070192 18446744073709551615 6155136 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/10461/statm: 262588 237489 1001 742 0 255159 0
[pid=10461/tid=10462] ppid=10459 vsize=1050352 CPUtime=0.17 cores=4,6
/proc/10461/task/10462/stat : 10462 (mono) S 10459 10461 9597 0 -1 4202560 3 0 0 0 17 0 0 0 16 0 9 0 450621217 1075560448 237493 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10463] ppid=10459 vsize=1050352 CPUtime=0.08 cores=4,6
/proc/10461/task/10463/stat : 10463 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 8 0 0 0 16 0 9 0 450621217 1075560448 237496 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
[pid=10461/tid=10464] ppid=10459 vsize=1050352 CPUtime=0.18 cores=4,6
/proc/10461/task/10464/stat : 10464 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 18 0 0 0 16 0 9 0 450621217 1075560448 237496 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10465] ppid=10459 vsize=1050352 CPUtime=0.13 cores=4,6
/proc/10461/task/10465/stat : 10465 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 13 0 0 0 16 0 9 0 450621217 1075560448 237499 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
[pid=10461/tid=10466] ppid=10459 vsize=1050352 CPUtime=0.1 cores=4,6
/proc/10461/task/10466/stat : 10466 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 450621217 1075560448 237499 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
[pid=10461/tid=10467] ppid=10459 vsize=1050352 CPUtime=0.11 cores=4,6
/proc/10461/task/10467/stat : 10467 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 9 0 450621217 1075560448 237502 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
[pid=10461/tid=10468] ppid=10459 vsize=1050352 CPUtime=0.15 cores=4,6
/proc/10461/task/10468/stat : 10468 (mono) S 10459 10461 9597 0 -1 4202560 2 0 0 0 15 0 0 0 16 0 9 0 450621217 1075560448 237504 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051471257 0 0 4096 545260780 18446604453985938496 0 0 -1 6 0 0 0
[pid=10461/tid=10470] ppid=10459 vsize=1050352 CPUtime=0 cores=4,6
/proc/10461/task/10470/stat : 10470 (mono) S 10459 10461 9597 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 450621218 1075560448 237506 33554432000 4194304 7232020 140735271070192 18446744073709551615 212051478961 0 0 4096 545260780 18446604453985938496 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 1050352
[startup+6.60068 s]
/proc/loadavg: 3.54 3.89 3.89 3/187 10504
/proc/meminfo: memFree=12786676/32951124 swapFree=67111528/67111528
[pid=10461] ppid=10459 vsize=0 CPUtime=7.16 cores=4,6
/proc/10461/stat : 10461 (mono) R 10459 10461 9597 0 -1 4202500 242675 0 0 0 687 29 0 0 18 0 1 0 450621217 0 0 33554432000 0 0 0 0 0 0 0 4096 545259520 18446744073709551615 0 0 17 4 0 0 0
/proc/10461/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.16
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 6.61463
CPU time (s): 7.17391
CPU user time (s): 6.87096
CPU system time (s): 0.302953
CPU usage (%): 108.455
Max. virtual memory (cumulated for all children) (KiB): 1083320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.87096
system time used= 0.302953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242675
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2607
involuntary context switches= 658
runsolver used 0.013997 second user time and 0.031995 second system time
The end