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-3251343-1303584083/watcher-3251343-1303584083 -o /tmp/evaluation-result-3251343-1303584083/solver-3251343-1303584083 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3251343-1303584083.cnf 

running on 2 cores: 5,7

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.54 3.92 3.89 4/204 12369
/proc/meminfo: memFree=16678068/32951124 swapFree=67111528/67111528
[pid=12369] ppid=12367 vsize=102604 CPUtime=0 cores=5,7
/proc/12369/stat : 12369 (mono) R 12367 12369 11570 0 -1 4202496 913 0 0 0 0 0 0 0 24 0 8 0 548638903 105066496 821 33554432000 4194304 7232020 140734150352480 18446744073709551615 260020056773 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/12369/statm: 25651 822 637 742 0 18222 0
[pid=12369/tid=12370] ppid=12367 vsize=102604 CPUtime=0 cores=5,7
/proc/12369/task/12370/stat : 12370 (mono) S 12367 12369 11570 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 8 0 548638903 105066496 822 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12371] ppid=12367 vsize=102604 CPUtime=0 cores=5,7
/proc/12369/task/12371/stat : 12371 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 8 0 548638903 105066496 823 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12372] ppid=12367 vsize=102604 CPUtime=0 cores=5,7
/proc/12369/task/12372/stat : 12372 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 8 0 548638903 105066496 823 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12373] ppid=12367 vsize=102604 CPUtime=0 cores=5,7
/proc/12369/task/12373/stat : 12373 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 8 0 548638903 105066496 823 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12374] ppid=12367 vsize=102604 CPUtime=0 cores=5,7
/proc/12369/task/12374/stat : 12374 (mono) S 12367 12369 11570 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 548638903 105066496 823 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12375] ppid=12367 vsize=102604 CPUtime=0 cores=5,7
/proc/12369/task/12375/stat : 12375 (mono) S 12367 12369 11570 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 548638903 105066496 823 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12376] ppid=12367 vsize=102604 CPUtime=0 cores=5,7
/proc/12369/task/12376/stat : 12376 (mono) S 12367 12369 11570 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 548638903 105066496 823 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0

[startup+0.0613069 s]
/proc/loadavg: 3.54 3.92 3.89 4/204 12369
/proc/meminfo: memFree=16678068/32951124 swapFree=67111528/67111528
[pid=12369] ppid=12367 vsize=119332 CPUtime=0.05 cores=5,7
/proc/12369/stat : 12369 (mono) R 12367 12369 11570 0 -1 4202496 4480 0 0 0 5 0 0 0 25 0 9 0 548638903 122195968 4382 33554432000 4194304 7232020 140734150352480 18446744073709551615 6135782 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/12369/statm: 29833 4382 975 742 0 22404 0
[pid=12369/tid=12370] ppid=12367 vsize=119332 CPUtime=0 cores=5,7
/proc/12369/task/12370/stat : 12370 (mono) S 12367 12369 11570 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 9 0 548638903 122195968 4382 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12371] ppid=12367 vsize=119332 CPUtime=0 cores=5,7
/proc/12369/task/12371/stat : 12371 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 548638903 122195968 4382 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12372] ppid=12367 vsize=119332 CPUtime=0 cores=5,7
/proc/12369/task/12372/stat : 12372 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 548638903 122195968 4382 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12373] ppid=12367 vsize=119332 CPUtime=0 cores=5,7
/proc/12369/task/12373/stat : 12373 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 548638903 122195968 4382 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12374] ppid=12367 vsize=119332 CPUtime=0 cores=5,7
/proc/12369/task/12374/stat : 12374 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 548638903 122195968 4382 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12375] ppid=12367 vsize=119332 CPUtime=0 cores=5,7
/proc/12369/task/12375/stat : 12375 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 548638903 122195968 4382 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12376] ppid=12367 vsize=119332 CPUtime=0 cores=5,7
/proc/12369/task/12376/stat : 12376 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 548638903 122195968 4382 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 119332

[startup+0.101296 s]
/proc/loadavg: 3.54 3.92 3.89 4/204 12369
/proc/meminfo: memFree=16678068/32951124 swapFree=67111528/67111528
[pid=12369] ppid=12367 vsize=119396 CPUtime=0.09 cores=5,7
/proc/12369/stat : 12369 (mono) R 12367 12369 11570 0 -1 4202496 4782 0 0 0 9 0 0 0 25 0 9 0 548638903 122261504 4684 33554432000 4194304 7232020 140734150352480 18446744073709551615 5574818 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/12369/statm: 29849 4684 975 742 0 22420 0
[pid=12369/tid=12370] ppid=12367 vsize=119396 CPUtime=0 cores=5,7
/proc/12369/task/12370/stat : 12370 (mono) S 12367 12369 11570 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 9 0 548638903 122261504 4684 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12371] ppid=12367 vsize=119396 CPUtime=0 cores=5,7
/proc/12369/task/12371/stat : 12371 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 548638903 122261504 4684 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12372] ppid=12367 vsize=119396 CPUtime=0 cores=5,7
/proc/12369/task/12372/stat : 12372 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 548638903 122261504 4684 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12373] ppid=12367 vsize=119396 CPUtime=0 cores=5,7
/proc/12369/task/12373/stat : 12373 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 548638903 122261504 4684 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12374] ppid=12367 vsize=119396 CPUtime=0 cores=5,7
/proc/12369/task/12374/stat : 12374 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 548638903 122261504 4684 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12375] ppid=12367 vsize=119396 CPUtime=0 cores=5,7
/proc/12369/task/12375/stat : 12375 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 548638903 122261504 4684 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12376] ppid=12367 vsize=119396 CPUtime=0 cores=5,7
/proc/12369/task/12376/stat : 12376 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 548638903 122261504 4684 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 119396

[startup+0.30126 s]
/proc/loadavg: 3.54 3.92 3.89 4/204 12369
/proc/meminfo: memFree=16678068/32951124 swapFree=67111528/67111528
[pid=12369] ppid=12367 vsize=130104 CPUtime=0.3 cores=5,7
/proc/12369/stat : 12369 (mono) R 12367 12369 11570 0 -1 4202496 6550 0 0 0 30 0 0 0 18 0 9 0 548638903 133226496 6452 33554432000 4194304 7232020 140734150352480 18446744073709551615 5710192 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/12369/statm: 32526 6452 975 742 0 25097 0
[pid=12369/tid=12370] ppid=12367 vsize=130104 CPUtime=0.01 cores=5,7
/proc/12369/task/12370/stat : 12370 (mono) S 12367 12369 11570 0 -1 4202560 4 0 0 0 1 0 0 0 21 0 9 0 548638903 133226496 6452 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12371] ppid=12367 vsize=130104 CPUtime=0.01 cores=5,7
/proc/12369/task/12371/stat : 12371 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 1 0 0 0 17 0 9 0 548638903 133226496 6452 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12372] ppid=12367 vsize=130104 CPUtime=0 cores=5,7
/proc/12369/task/12372/stat : 12372 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 548638903 133226496 6452 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12373] ppid=12367 vsize=130104 CPUtime=0 cores=5,7
/proc/12369/task/12373/stat : 12373 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 548638903 133226496 6452 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 7 0 0 0
[pid=12369/tid=12374] ppid=12367 vsize=130104 CPUtime=0 cores=5,7
/proc/12369/task/12374/stat : 12374 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 548638903 133226496 6452 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 7 0 0 0
[pid=12369/tid=12375] ppid=12367 vsize=130104 CPUtime=0 cores=5,7
/proc/12369/task/12375/stat : 12375 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 548638903 133226496 6452 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 7 0 0 0
[pid=12369/tid=12376] ppid=12367 vsize=130104 CPUtime=0 cores=5,7
/proc/12369/task/12376/stat : 12376 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 548638903 133226496 6452 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 130104

[startup+0.701409 s]
/proc/loadavg: 3.54 3.92 3.89 4/204 12369
/proc/meminfo: memFree=16678068/32951124 swapFree=67111528/67111528
[pid=12369] ppid=12367 vsize=146692 CPUtime=0.78 cores=5,7
/proc/12369/stat : 12369 (mono) R 12367 12369 11570 0 -1 4202496 9988 0 0 0 77 1 0 0 18 0 9 0 548638903 150212608 9890 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032221877 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/12369/statm: 36673 9890 975 742 0 29244 0
[pid=12369/tid=12370] ppid=12367 vsize=146692 CPUtime=0.03 cores=5,7
/proc/12369/task/12370/stat : 12370 (mono) R 12367 12369 11570 0 -1 4202560 4 0 0 0 3 0 0 0 17 0 9 0 548638903 150212608 9890 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 0 0 0 -1 7 0 0 0
[pid=12369/tid=12371] ppid=12367 vsize=146692 CPUtime=0.06 cores=5,7
/proc/12369/task/12371/stat : 12371 (mono) R 12367 12369 11570 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 548638903 150212608 9890 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032213135 0 0 4096 545260780 0 0 0 -1 5 0 0 0
[pid=12369/tid=12372] ppid=12367 vsize=146692 CPUtime=0.03 cores=5,7
/proc/12369/task/12372/stat : 12372 (mono) R 12367 12369 11570 0 -1 4202560 2 0 0 0 3 0 0 0 17 0 9 0 548638903 150212608 9890 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 0 0 0 -1 5 0 0 0
[pid=12369/tid=12373] ppid=12367 vsize=146692 CPUtime=0.02 cores=5,7
/proc/12369/task/12373/stat : 12373 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 2 0 0 0 17 0 9 0 548638903 150212608 9890 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12374] ppid=12367 vsize=146692 CPUtime=0 cores=5,7
/proc/12369/task/12374/stat : 12374 (mono) R 12367 12369 11570 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 548638903 150212608 9890 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 0 0 0 -1 7 0 0 0
[pid=12369/tid=12375] ppid=12367 vsize=146692 CPUtime=0 cores=5,7
/proc/12369/task/12375/stat : 12375 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 548638903 150212608 9890 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12376] ppid=12367 vsize=146692 CPUtime=0 cores=5,7
/proc/12369/task/12376/stat : 12376 (mono) R 12367 12369 11570 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 548638903 150212608 9890 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032221877 0 0 4096 545260780 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 146692

[startup+1.50104 s]
/proc/loadavg: 3.81 3.98 3.90 7/222 12413
/proc/meminfo: memFree=16699532/32951124 swapFree=67111528/67111528
[pid=12369] ppid=12367 vsize=163780 CPUtime=1.71 cores=5,7
/proc/12369/stat : 12369 (mono) R 12367 12369 11570 0 -1 4202496 15887 0 0 0 169 2 0 0 18 0 9 0 548638903 167710720 15789 33554432000 4194304 7232020 140734150352480 18446744073709551615 6230302 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/12369/statm: 40945 15793 975 742 0 33516 0
[pid=12369/tid=12370] ppid=12367 vsize=163780 CPUtime=0.06 cores=5,7
/proc/12369/task/12370/stat : 12370 (mono) S 12367 12369 11570 0 -1 4202560 4 0 0 0 6 0 0 0 15 0 9 0 548638903 167710720 15794 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 7 0 0 0
[pid=12369/tid=12371] ppid=12367 vsize=163780 CPUtime=0.09 cores=5,7
/proc/12369/task/12371/stat : 12371 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 9 0 0 0 16 0 9 0 548638903 167710720 15797 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 7 0 0 0
[pid=12369/tid=12372] ppid=12367 vsize=163780 CPUtime=0.06 cores=5,7
/proc/12369/task/12372/stat : 12372 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 548638903 167710720 15799 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12373] ppid=12367 vsize=163780 CPUtime=0.06 cores=5,7
/proc/12369/task/12373/stat : 12373 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 548638903 167710720 15801 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12374] ppid=12367 vsize=163780 CPUtime=0.03 cores=5,7
/proc/12369/task/12374/stat : 12374 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 548638903 167710720 15803 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 7 0 0 0
[pid=12369/tid=12375] ppid=12367 vsize=163780 CPUtime=0.03 cores=5,7
/proc/12369/task/12375/stat : 12375 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 548638903 167710720 15805 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12376] ppid=12367 vsize=163780 CPUtime=0.04 cores=5,7
/proc/12369/task/12376/stat : 12376 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 548638903 167710720 15808 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12378] ppid=12367 vsize=163780 CPUtime=0 cores=5,7
/proc/12369/task/12378/stat : 12378 (mono) S 12367 12369 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 548638903 167710720 15810 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032219569 0 0 4096 545260780 18446604454224045056 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 163780

[startup+3.10071 s]
/proc/loadavg: 3.81 3.98 3.90 7/222 12413
/proc/meminfo: memFree=16472744/32951124 swapFree=67111528/67111528
[pid=12369] ppid=12367 vsize=485692 CPUtime=3.45 cores=5,7
/proc/12369/stat : 12369 (mono) R 12367 12369 11570 0 -1 4202496 94398 0 0 0 335 10 0 0 18 0 9 0 548638903 497348608 94300 33554432000 4194304 7232020 140734150352480 18446744073709551615 1092275368 0 0 4096 545260780 18446744073709551615 0 0 17 7 0 0 0
/proc/12369/statm: 121423 94300 999 742 0 113994 0
[pid=12369/tid=12370] ppid=12367 vsize=485692 CPUtime=0.09 cores=5,7
/proc/12369/task/12370/stat : 12370 (mono) S 12367 12369 11570 0 -1 4202560 4 0 0 0 9 0 0 0 16 0 9 0 548638903 497348608 94300 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12371] ppid=12367 vsize=485692 CPUtime=0.11 cores=5,7
/proc/12369/task/12371/stat : 12371 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 9 0 548638903 497348608 94300 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12372] ppid=12367 vsize=485692 CPUtime=0.15 cores=5,7
/proc/12369/task/12372/stat : 12372 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 15 0 0 0 16 0 9 0 548638903 497348608 94300 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12373] ppid=12367 vsize=485692 CPUtime=0.12 cores=5,7
/proc/12369/task/12373/stat : 12373 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 12 0 0 0 15 0 9 0 548638903 497348608 94300 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12374] ppid=12367 vsize=485692 CPUtime=0.04 cores=5,7
/proc/12369/task/12374/stat : 12374 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 548638903 497348608 94300 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 7 0 0 0
[pid=12369/tid=12375] ppid=12367 vsize=485692 CPUtime=0.06 cores=5,7
/proc/12369/task/12375/stat : 12375 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 548638903 497348608 94300 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12376] ppid=12367 vsize=485692 CPUtime=0.06 cores=5,7
/proc/12369/task/12376/stat : 12376 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 548638903 497348608 94300 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 7 0 0 0
[pid=12369/tid=12378] ppid=12367 vsize=485692 CPUtime=0 cores=5,7
/proc/12369/task/12378/stat : 12378 (mono) S 12367 12369 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 548638903 497348608 94300 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032219569 0 0 4096 545260780 18446604454224045056 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 485692

Solver just ended. Dumping a history of the last processes samples

[startup+3.90057 s]
/proc/loadavg: 3.81 3.98 3.90 5/222 12413
/proc/meminfo: memFree=15743128/32951124 swapFree=67111528/67111528
[pid=12369] ppid=12367 vsize=527372 CPUtime=4.24 cores=5,7
/proc/12369/stat : 12369 (mono) R 12367 12369 11570 0 -1 4202496 105152 0 0 0 413 11 0 0 20 0 9 0 548638903 540028928 105054 33554432000 4194304 7232020 140734150352480 18446744073709551615 1092290311 0 0 4096 545260780 18446744073709551615 0 0 17 7 0 0 0
/proc/12369/statm: 131843 105054 999 742 0 124414 0
[pid=12369/tid=12370] ppid=12367 vsize=527372 CPUtime=0.09 cores=5,7
/proc/12369/task/12370/stat : 12370 (mono) S 12367 12369 11570 0 -1 4202560 4 0 0 0 9 0 0 0 16 0 9 0 548638903 540028928 105054 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12371] ppid=12367 vsize=527372 CPUtime=0.11 cores=5,7
/proc/12369/task/12371/stat : 12371 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 9 0 548638903 540028928 105054 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12372] ppid=12367 vsize=527372 CPUtime=0.15 cores=5,7
/proc/12369/task/12372/stat : 12372 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 15 0 0 0 16 0 9 0 548638903 540028928 105054 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12373] ppid=12367 vsize=527372 CPUtime=0.12 cores=5,7
/proc/12369/task/12373/stat : 12373 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 12 0 0 0 15 0 9 0 548638903 540028928 105054 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12374] ppid=12367 vsize=527372 CPUtime=0.04 cores=5,7
/proc/12369/task/12374/stat : 12374 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 548638903 540028928 105054 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 7 0 0 0
[pid=12369/tid=12375] ppid=12367 vsize=527372 CPUtime=0.06 cores=5,7
/proc/12369/task/12375/stat : 12375 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 548638903 540028928 105054 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12376] ppid=12367 vsize=527372 CPUtime=0.06 cores=5,7
/proc/12369/task/12376/stat : 12376 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 548638903 540028928 105054 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 7 0 0 0
[pid=12369/tid=12378] ppid=12367 vsize=527372 CPUtime=0 cores=5,7
/proc/12369/task/12378/stat : 12378 (mono) S 12367 12369 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 548638903 540028928 105054 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032219569 0 0 4096 545260780 18446604454224045056 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 527372

[startup+4.70042 s]
/proc/loadavg: 3.81 3.98 3.90 5/222 12413
/proc/meminfo: memFree=15630808/32951124 swapFree=67111528/67111528
[pid=12369] ppid=12367 vsize=586508 CPUtime=5.08 cores=5,7
/proc/12369/stat : 12369 (mono) R 12367 12369 11570 0 -1 4202496 121578 0 0 0 494 14 0 0 21 0 9 0 548638903 600584192 121480 33554432000 4194304 7232020 140734150352480 18446744073709551615 1094119003 0 0 4096 545260780 18446744073709551615 0 0 17 7 0 0 0
/proc/12369/statm: 146627 121480 1001 742 0 139198 0
[pid=12369/tid=12370] ppid=12367 vsize=586508 CPUtime=0.09 cores=5,7
/proc/12369/task/12370/stat : 12370 (mono) S 12367 12369 11570 0 -1 4202560 4 0 0 0 9 0 0 0 15 0 9 0 548638903 600584192 121480 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12371] ppid=12367 vsize=586508 CPUtime=0.11 cores=5,7
/proc/12369/task/12371/stat : 12371 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 11 0 0 0 16 0 9 0 548638903 600584192 121480 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12372] ppid=12367 vsize=586508 CPUtime=0.15 cores=5,7
/proc/12369/task/12372/stat : 12372 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 15 0 0 0 16 0 9 0 548638903 600584192 121480 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12373] ppid=12367 vsize=586508 CPUtime=0.15 cores=5,7
/proc/12369/task/12373/stat : 12373 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 15 0 0 0 16 0 9 0 548638903 600584192 121480 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12374] ppid=12367 vsize=586508 CPUtime=0.07 cores=5,7
/proc/12369/task/12374/stat : 12374 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 7 0 0 0 16 0 9 0 548638903 600584192 121480 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 7 0 0 0
[pid=12369/tid=12375] ppid=12367 vsize=586508 CPUtime=0.06 cores=5,7
/proc/12369/task/12375/stat : 12375 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 548638903 600584192 121480 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 5 0 0 0
[pid=12369/tid=12376] ppid=12367 vsize=586508 CPUtime=0.06 cores=5,7
/proc/12369/task/12376/stat : 12376 (mono) S 12367 12369 11570 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 548638903 600584192 121480 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032211865 0 0 4096 545260780 18446604454224045056 0 0 -1 7 0 0 0
[pid=12369/tid=12378] ppid=12367 vsize=586508 CPUtime=0 cores=5,7
/proc/12369/task/12378/stat : 12378 (mono) S 12367 12369 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 548638903 600584192 121480 33554432000 4194304 7232020 140734150352480 18446744073709551615 260032219569 0 0 4096 545260780 18446604454224045056 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.08
Current children cumulated vsize (KiB) 586508

[startup+4.90042 s]
/proc/loadavg: 3.81 3.98 3.90 5/222 12413
/proc/meminfo: memFree=15630808/32951124 swapFree=67111528/67111528
[pid=12369] ppid=12367 vsize=0 CPUtime=5.27 cores=5,7
/proc/12369/stat : 12369 (mono) Z 12367 12369 11570 0 -1 4202524 121823 0 0 0 512 15 0 0 18 0 2 0 548638903 0 0 33554432000 0 0 0 0 0 0 0 4096 545259520 18446744073709551615 0 0 17 7 0 0 0
/proc/12369/statm: 0 0 0 0 0 0 0
[pid=12369/tid=12375] ppid=12367 vsize=0 CPUtime=0.07 cores=5,7
/proc/12369/task/12375/stat : 12375 (mono) R 12367 12369 11570 0 -1 4203588 2 0 0 0 6 1 0 0 15 0 2 0 548638903 0 0 33554432000 0 0 0 0 0 0 0 4096 545259520 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.27
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 4.9078
CPU time (s): 5.29319
CPU user time (s): 5.12722
CPU system time (s): 0.165974
CPU usage (%): 107.853
Max. virtual memory (cumulated for all children) (KiB): 586508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.12722
system time used= 0.165974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121823
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= 2697
involuntary context switches= 683

runsolver used 0.012998 second user time and 0.019996 second system time

The end