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-3265601-1303578616/watcher-3265601-1303578616 -o /tmp/evaluation-result-3265601-1303578616/solver-3265601-1303578616 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3265601-1303578616.cnf
running on 2 cores: 1,3
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: 4.06 4.11 4.00 5/213 28967
/proc/meminfo: memFree=10456884/32951124 swapFree=67111528/67111528
[pid=28967] ppid=28965 vsize=96076 CPUtime=0 cores=1,3
/proc/28967/stat : 28967 (mono) R 28965 28967 28449 0 -1 4202496 609 0 0 0 0 0 0 0 25 0 8 0 450277188 98381824 535 33554432000 4194304 7232020 140734788117888 18446744073709551615 270338389223 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/28967/statm: 24019 535 419 742 0 18170 0
[pid=28967/tid=28968] ppid=28965 vsize=96076 CPUtime=0 cores=1,3
/proc/28967/task/28968/stat : 28968 (mono) S 28965 28967 28449 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 8 0 450277188 98381824 548 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=96076 CPUtime=0 cores=1,3
/proc/28967/task/28969/stat : 28969 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 450277188 98381824 553 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=96076 CPUtime=0 cores=1,3
/proc/28967/task/28970/stat : 28970 (mono) S 28965 28967 28449 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 450277188 98381824 562 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=96076 CPUtime=0 cores=1,3
/proc/28967/task/28971/stat : 28971 (mono) S 28965 28967 28449 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 450277188 98381824 562 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=96080 CPUtime=0 cores=1,3
/proc/28967/task/28972/stat : 28972 (mono) S 28965 28967 28449 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 450277188 98385920 565 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=96076 CPUtime=0 cores=1,3
/proc/28967/task/28973/stat : 28973 (mono) S 28965 28967 28449 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 450277188 98381824 566 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=96076 CPUtime=0 cores=1,3
/proc/28967/task/28974/stat : 28974 (mono) S 28965 28967 28449 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 450277188 98381824 566 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[startup+0.054141 s]
/proc/loadavg: 4.06 4.11 4.00 5/213 28967
/proc/meminfo: memFree=10456884/32951124 swapFree=67111528/67111528
[pid=28967] ppid=28965 vsize=106852 CPUtime=0.04 cores=1,3
/proc/28967/stat : 28967 (mono) R 28965 28967 28449 0 -1 4202496 1734 0 0 0 4 0 0 0 25 0 9 0 450277188 109416448 1636 33554432000 4194304 7232020 140734788117888 18446744073709551615 6172376 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/28967/statm: 26713 1636 975 742 0 19284 0
[pid=28967/tid=28968] ppid=28965 vsize=106852 CPUtime=0 cores=1,3
/proc/28967/task/28968/stat : 28968 (mono) S 28965 28967 28449 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 450277188 109416448 1636 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=106852 CPUtime=0 cores=1,3
/proc/28967/task/28969/stat : 28969 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 450277188 109416448 1636 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=106852 CPUtime=0 cores=1,3
/proc/28967/task/28970/stat : 28970 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 450277188 109416448 1636 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=106852 CPUtime=0 cores=1,3
/proc/28967/task/28971/stat : 28971 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 450277188 109416448 1636 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=106852 CPUtime=0 cores=1,3
/proc/28967/task/28972/stat : 28972 (mono) R 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 450277188 109416448 1636 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 0 0 0 -1 3 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=106852 CPUtime=0 cores=1,3
/proc/28967/task/28973/stat : 28973 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 450277188 109416448 1636 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=106852 CPUtime=0 cores=1,3
/proc/28967/task/28974/stat : 28974 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 450277188 109416448 1636 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 106852
[startup+0.101141 s]
/proc/loadavg: 4.06 4.11 4.00 5/213 28967
/proc/meminfo: memFree=10456884/32951124 swapFree=67111528/67111528
[pid=28967] ppid=28965 vsize=107824 CPUtime=0.09 cores=1,3
/proc/28967/stat : 28967 (mono) R 28965 28967 28449 0 -1 4202496 1943 0 0 0 9 0 0 0 25 0 9 0 450277188 110411776 1845 33554432000 4194304 7232020 140734788117888 18446744073709551615 6230302 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/28967/statm: 26956 1849 975 742 0 19527 0
[pid=28967/tid=28968] ppid=28965 vsize=107824 CPUtime=0 cores=1,3
/proc/28967/task/28968/stat : 28968 (mono) S 28965 28967 28449 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 450277188 110411776 1851 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=107824 CPUtime=0 cores=1,3
/proc/28967/task/28969/stat : 28969 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 450277188 110411776 1852 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=107824 CPUtime=0 cores=1,3
/proc/28967/task/28970/stat : 28970 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 450277188 110411776 1853 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=107824 CPUtime=0 cores=1,3
/proc/28967/task/28971/stat : 28971 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 450277188 110411776 1855 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=107824 CPUtime=0 cores=1,3
/proc/28967/task/28972/stat : 28972 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 450277188 110411776 1855 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=107824 CPUtime=0 cores=1,3
/proc/28967/task/28973/stat : 28973 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 450277188 110411776 1855 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=107824 CPUtime=0 cores=1,3
/proc/28967/task/28974/stat : 28974 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 450277188 110411776 1855 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 107824
[startup+0.301106 s]
/proc/loadavg: 4.06 4.11 4.00 5/213 28967
/proc/meminfo: memFree=10456884/32951124 swapFree=67111528/67111528
[pid=28967] ppid=28965 vsize=122844 CPUtime=0.28 cores=1,3
/proc/28967/stat : 28967 (mono) R 28965 28967 28449 0 -1 4202496 5695 0 0 0 28 0 0 0 18 0 9 0 450277188 125792256 5597 33554432000 4194304 7232020 140734788117888 18446744073709551615 1105742083 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/28967/statm: 30711 5597 1024 742 0 23282 0
[pid=28967/tid=28968] ppid=28965 vsize=122844 CPUtime=0 cores=1,3
/proc/28967/task/28968/stat : 28968 (mono) S 28965 28967 28449 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 9 0 450277188 125792256 5597 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=122844 CPUtime=0 cores=1,3
/proc/28967/task/28969/stat : 28969 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 450277188 125792256 5597 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=122844 CPUtime=0 cores=1,3
/proc/28967/task/28970/stat : 28970 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 450277188 125792256 5597 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=122844 CPUtime=0 cores=1,3
/proc/28967/task/28971/stat : 28971 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 450277188 125792256 5597 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=122844 CPUtime=0 cores=1,3
/proc/28967/task/28972/stat : 28972 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 450277188 125792256 5597 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=122844 CPUtime=0 cores=1,3
/proc/28967/task/28973/stat : 28973 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 450277188 125792256 5597 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=122844 CPUtime=0 cores=1,3
/proc/28967/task/28974/stat : 28974 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 450277188 125792256 5597 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 122844
[startup+0.701013 s]
/proc/loadavg: 4.06 4.11 4.00 5/213 28967
/proc/meminfo: memFree=10456884/32951124 swapFree=67111528/67111528
[pid=28967] ppid=28965 vsize=123100 CPUtime=0.69 cores=1,3
/proc/28967/stat : 28967 (mono) R 28965 28967 28449 0 -1 4202496 5877 0 0 0 68 1 0 0 18 0 9 0 450277188 126054400 5779 33554432000 4194304 7232020 140734788117888 18446744073709551615 1105749986 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/28967/statm: 30775 5779 1024 742 0 23346 0
[pid=28967/tid=28968] ppid=28965 vsize=123100 CPUtime=0 cores=1,3
/proc/28967/task/28968/stat : 28968 (mono) S 28965 28967 28449 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 9 0 450277188 126054400 5779 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=123100 CPUtime=0 cores=1,3
/proc/28967/task/28969/stat : 28969 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 450277188 126054400 5779 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=123100 CPUtime=0 cores=1,3
/proc/28967/task/28970/stat : 28970 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 450277188 126054400 5779 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=123100 CPUtime=0 cores=1,3
/proc/28967/task/28971/stat : 28971 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 450277188 126054400 5779 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=123100 CPUtime=0 cores=1,3
/proc/28967/task/28972/stat : 28972 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 450277188 126054400 5779 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=123100 CPUtime=0 cores=1,3
/proc/28967/task/28973/stat : 28973 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 450277188 126054400 5779 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=123100 CPUtime=0 cores=1,3
/proc/28967/task/28974/stat : 28974 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 450277188 126054400 5779 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 123100
[startup+1.50086 s]
/proc/loadavg: 4.06 4.11 4.00 5/222 28976
/proc/meminfo: memFree=10435996/32951124 swapFree=67111528/67111528
[pid=28967] ppid=28965 vsize=128764 CPUtime=1.5 cores=1,3
/proc/28967/stat : 28967 (mono) R 28965 28967 28449 0 -1 4202496 6866 0 0 0 149 1 0 0 18 0 9 0 450277188 131854336 6768 33554432000 4194304 7232020 140734788117888 18446744073709551615 1105738363 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/28967/statm: 32191 6768 1024 742 0 24762 0
[pid=28967/tid=28968] ppid=28965 vsize=128764 CPUtime=0 cores=1,3
/proc/28967/task/28968/stat : 28968 (mono) S 28965 28967 28449 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 9 0 450277188 131854336 6768 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=128764 CPUtime=0 cores=1,3
/proc/28967/task/28969/stat : 28969 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 450277188 131854336 6768 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=128764 CPUtime=0 cores=1,3
/proc/28967/task/28970/stat : 28970 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 450277188 131854336 6768 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=128764 CPUtime=0 cores=1,3
/proc/28967/task/28971/stat : 28971 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 450277188 131854336 6768 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=128764 CPUtime=0 cores=1,3
/proc/28967/task/28972/stat : 28972 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 450277188 131854336 6768 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=128764 CPUtime=0 cores=1,3
/proc/28967/task/28973/stat : 28973 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 450277188 131854336 6768 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=128764 CPUtime=0 cores=1,3
/proc/28967/task/28974/stat : 28974 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 450277188 131854336 6768 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28976] ppid=28965 vsize=128764 CPUtime=0 cores=1,3
/proc/28967/task/28976/stat : 28976 (mono) S 28965 28967 28449 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 450277189 131854336 6768 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350207409 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 128764
[startup+3.10054 s]
/proc/loadavg: 4.06 4.11 4.00 5/222 28976
/proc/meminfo: memFree=10435748/32951124 swapFree=67111528/67111528
[pid=28967] ppid=28965 vsize=136216 CPUtime=3.12 cores=1,3
/proc/28967/stat : 28967 (mono) R 28965 28967 28449 0 -1 4202496 7749 0 0 0 311 1 0 0 18 0 9 0 450277188 139485184 7651 33554432000 4194304 7232020 140734788117888 18446744073709551615 1105750231 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/28967/statm: 34054 7651 1024 742 0 26625 0
[pid=28967/tid=28968] ppid=28965 vsize=136216 CPUtime=0 cores=1,3
/proc/28967/task/28968/stat : 28968 (mono) S 28965 28967 28449 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 450277188 139485184 7651 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=136216 CPUtime=0.01 cores=1,3
/proc/28967/task/28969/stat : 28969 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 450277188 139485184 7651 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=136216 CPUtime=0 cores=1,3
/proc/28967/task/28970/stat : 28970 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 450277188 139485184 7651 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=136216 CPUtime=0 cores=1,3
/proc/28967/task/28971/stat : 28971 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 450277188 139485184 7651 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=136216 CPUtime=0 cores=1,3
/proc/28967/task/28972/stat : 28972 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 450277188 139485184 7651 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=136216 CPUtime=0.01 cores=1,3
/proc/28967/task/28973/stat : 28973 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 450277188 139485184 7651 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=136216 CPUtime=0 cores=1,3
/proc/28967/task/28974/stat : 28974 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 450277188 139485184 7651 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28976] ppid=28965 vsize=136216 CPUtime=0 cores=1,3
/proc/28967/task/28976/stat : 28976 (mono) S 28965 28967 28449 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 450277189 139485184 7651 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350207409 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 136216
[startup+6.30087 s]
/proc/loadavg: 4.05 4.11 4.00 5/222 28976
/proc/meminfo: memFree=10425572/32951124 swapFree=67111528/67111528
[pid=28967] ppid=28965 vsize=136280 CPUtime=6.38 cores=1,3
/proc/28967/stat : 28967 (mono) R 28965 28967 28449 0 -1 4202496 8697 0 0 0 637 1 0 0 18 0 9 0 450277188 139550720 8599 33554432000 4194304 7232020 140734788117888 18446744073709551615 1105738142 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/28967/statm: 34070 8599 1024 742 0 26641 0
[pid=28967/tid=28968] ppid=28965 vsize=136280 CPUtime=0.01 cores=1,3
/proc/28967/task/28968/stat : 28968 (mono) S 28965 28967 28449 0 -1 4202560 4 0 0 0 1 0 0 0 15 0 9 0 450277188 139550720 8599 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=136280 CPUtime=0.02 cores=1,3
/proc/28967/task/28969/stat : 28969 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 450277188 139550720 8599 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=136280 CPUtime=0.01 cores=1,3
/proc/28967/task/28970/stat : 28970 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 450277188 139550720 8599 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=136280 CPUtime=0.02 cores=1,3
/proc/28967/task/28971/stat : 28971 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 450277188 139550720 8599 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=136280 CPUtime=0.01 cores=1,3
/proc/28967/task/28972/stat : 28972 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 450277188 139550720 8599 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=136280 CPUtime=0.02 cores=1,3
/proc/28967/task/28973/stat : 28973 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 450277188 139550720 8599 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=136280 CPUtime=0.02 cores=1,3
/proc/28967/task/28974/stat : 28974 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 450277188 139550720 8599 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28976] ppid=28965 vsize=136280 CPUtime=0 cores=1,3
/proc/28967/task/28976/stat : 28976 (mono) S 28965 28967 28449 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 450277189 139550720 8599 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350207409 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 136280
Solver just ended. Dumping a history of the last processes samples
[startup+7.90058 s]
/proc/loadavg: 4.05 4.11 4.00 5/222 28977
/proc/meminfo: memFree=10414764/32951124 swapFree=67111528/67111528
[pid=28967] ppid=28965 vsize=144536 CPUtime=8 cores=1,3
/proc/28967/stat : 28967 (mono) R 28965 28967 28449 0 -1 4202496 9412 0 0 0 798 2 0 0 18 0 9 0 450277188 148004864 9128 33554432000 4194304 7232020 140734788117888 18446744073709551615 1105737386 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/28967/statm: 36134 9128 1025 742 0 28705 0
[pid=28967/tid=28968] ppid=28965 vsize=144536 CPUtime=0.01 cores=1,3
/proc/28967/task/28968/stat : 28968 (mono) S 28965 28967 28449 0 -1 4202560 4 0 0 0 1 0 0 0 16 0 9 0 450277188 148004864 9128 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=144536 CPUtime=0.02 cores=1,3
/proc/28967/task/28969/stat : 28969 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 450277188 148004864 9128 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=144536 CPUtime=0.02 cores=1,3
/proc/28967/task/28970/stat : 28970 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 450277188 148004864 9128 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=144536 CPUtime=0.03 cores=1,3
/proc/28967/task/28971/stat : 28971 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 450277188 148004864 9128 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=144536 CPUtime=0.02 cores=1,3
/proc/28967/task/28972/stat : 28972 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 450277188 148004864 9128 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=144536 CPUtime=0.03 cores=1,3
/proc/28967/task/28973/stat : 28973 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 450277188 148004864 9128 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=144536 CPUtime=0.02 cores=1,3
/proc/28967/task/28974/stat : 28974 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 450277188 148004864 9128 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28976] ppid=28965 vsize=144536 CPUtime=0 cores=1,3
/proc/28967/task/28976/stat : 28976 (mono) S 28965 28967 28449 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 450277189 148004864 9128 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350207409 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8
Current children cumulated vsize (KiB) 144536
[startup+8.3005 s]
/proc/loadavg: 4.05 4.11 4.00 5/222 28977
/proc/meminfo: memFree=10414764/32951124 swapFree=67111528/67111528
[pid=28967] ppid=28965 vsize=144536 CPUtime=8.4 cores=1,3
/proc/28967/stat : 28967 (mono) R 28965 28967 28449 0 -1 4202496 9526 0 0 0 838 2 0 0 18 0 9 0 450277188 148004864 9006 33554432000 4194304 7232020 140734788117888 18446744073709551615 1105738149 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/28967/statm: 36134 9006 1025 742 0 28705 0
[pid=28967/tid=28968] ppid=28965 vsize=144536 CPUtime=0.02 cores=1,3
/proc/28967/task/28968/stat : 28968 (mono) S 28965 28967 28449 0 -1 4202560 4 0 0 0 2 0 0 0 16 0 9 0 450277188 148004864 9006 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=144536 CPUtime=0.02 cores=1,3
/proc/28967/task/28969/stat : 28969 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 450277188 148004864 9006 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=144536 CPUtime=0.02 cores=1,3
/proc/28967/task/28970/stat : 28970 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 450277188 148004864 9006 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=144536 CPUtime=0.03 cores=1,3
/proc/28967/task/28971/stat : 28971 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 450277188 148004864 9006 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=144536 CPUtime=0.02 cores=1,3
/proc/28967/task/28972/stat : 28972 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 450277188 148004864 9006 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=144536 CPUtime=0.03 cores=1,3
/proc/28967/task/28973/stat : 28973 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 450277188 148004864 9006 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=144536 CPUtime=0.02 cores=1,3
/proc/28967/task/28974/stat : 28974 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 450277188 148004864 9006 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28976] ppid=28965 vsize=144536 CPUtime=0 cores=1,3
/proc/28967/task/28976/stat : 28976 (mono) S 28965 28967 28449 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 450277189 148004864 9006 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350207409 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.4
Current children cumulated vsize (KiB) 144536
[startup+8.50047 s]
/proc/loadavg: 4.05 4.11 4.00 5/222 28977
/proc/meminfo: memFree=10414764/32951124 swapFree=67111528/67111528
[pid=28967] ppid=28965 vsize=144536 CPUtime=8.61 cores=1,3
/proc/28967/stat : 28967 (mono) R 28965 28967 28449 0 -1 4202496 9603 0 0 0 859 2 0 0 19 0 9 0 450277188 148004864 9037 33554432000 4194304 7232020 140734788117888 18446744073709551615 1105738149 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/28967/statm: 36134 9037 1025 742 0 28705 0
[pid=28967/tid=28968] ppid=28965 vsize=144536 CPUtime=0.02 cores=1,3
/proc/28967/task/28968/stat : 28968 (mono) S 28965 28967 28449 0 -1 4202560 4 0 0 0 2 0 0 0 15 0 9 0 450277188 148004864 9037 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=144536 CPUtime=0.03 cores=1,3
/proc/28967/task/28969/stat : 28969 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 450277188 148004864 9037 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=144536 CPUtime=0.03 cores=1,3
/proc/28967/task/28970/stat : 28970 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 450277188 148004864 9037 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=144536 CPUtime=0.03 cores=1,3
/proc/28967/task/28971/stat : 28971 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 450277188 148004864 9037 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=144536 CPUtime=0.02 cores=1,3
/proc/28967/task/28972/stat : 28972 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 450277188 148004864 9037 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=144536 CPUtime=0.03 cores=1,3
/proc/28967/task/28973/stat : 28973 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 450277188 148004864 9037 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=144536 CPUtime=0.02 cores=1,3
/proc/28967/task/28974/stat : 28974 (mono) S 28965 28967 28449 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 450277188 148004864 9037 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350199705 0 0 4096 545260780 18446604461470765184 0 0 -1 3 0 0 0
[pid=28967/tid=28976] ppid=28965 vsize=144536 CPUtime=0 cores=1,3
/proc/28967/task/28976/stat : 28976 (mono) S 28965 28967 28449 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 450277189 148004864 9037 33554432000 4194304 7232020 140734788117888 18446744073709551615 270350207409 0 0 4096 545260780 18446604461470765184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.61
Current children cumulated vsize (KiB) 144536
Child status: 0
Real time (s): 8.55267
CPU time (s): 8.66568
CPU user time (s): 8.64269
CPU system time (s): 0.022996
CPU usage (%): 101.321
Max. virtual memory (cumulated for all children) (KiB): 144536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.64269
system time used= 0.022996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9734
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= 3542
involuntary context switches= 628
runsolver used 0.015997 second user time and 0.032994 second system time
The end