runsolver Copyright (C) 2010 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 893)
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-3189200-1302282927/watcher-3189200-1302282927 -o /tmp/evaluation-result-3189200-1302282927/solver-3189200-1302282927 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3189200-1302282927.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.16 4.10 4.26 4/200 25985
/proc/meminfo: memFree=13979364/32951124 swapFree=67102128/67111528
[pid=25985] ppid=25983 vsize=102404 CPUtime=0 cores=1,3
/proc/25985/stat : 25985 (mono) S 25983 25985 25549 0 -1 4202496 696 0 0 0 0 0 0 0 25 0 8 0 418523314 104861696 602 33554432000 4194304 7232020 140735975205328 18446744073709551615 216735198790 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/25985/statm: 25601 602 473 742 0 18172 0
[pid=25985/tid=25986] ppid=25983 vsize=102404 CPUtime=0 cores=1,3
/proc/25985/task/25986/stat : 25986 (mono) S 25983 25985 25549 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 8 0 418523315 104861696 602 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=102404 CPUtime=0 cores=1,3
/proc/25985/task/25987/stat : 25987 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 418523315 104861696 602 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25988] ppid=25983 vsize=102404 CPUtime=0 cores=1,3
/proc/25985/task/25988/stat : 25988 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 418523315 104861696 602 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=102404 CPUtime=0 cores=1,3
/proc/25985/task/25989/stat : 25989 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 418523315 104861696 602 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25990] ppid=25983 vsize=102404 CPUtime=0 cores=1,3
/proc/25985/task/25990/stat : 25990 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 418523315 104861696 602 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25991] ppid=25983 vsize=102404 CPUtime=0 cores=1,3
/proc/25985/task/25991/stat : 25991 (mono) S 25983 25985 25549 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 418523315 104861696 604 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25992] ppid=25983 vsize=102404 CPUtime=0 cores=1,3
/proc/25985/task/25992/stat : 25992 (mono) S 25983 25985 25549 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 418523315 104861696 609 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[startup+0.100454 s]
/proc/loadavg: 4.16 4.10 4.26 4/200 25985
/proc/meminfo: memFree=13979364/32951124 swapFree=67102128/67111528
[pid=25985] ppid=25983 vsize=108292 CPUtime=0.09 cores=1,3
/proc/25985/stat : 25985 (mono) R 25983 25985 25549 0 -1 4202496 2053 0 0 0 9 0 0 0 25 0 9 0 418523314 110891008 1953 33554432000 4194304 7232020 140735975205328 18446744073709551615 1095176739 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/25985/statm: 27073 1953 1024 742 0 19644 0
[pid=25985/tid=25986] ppid=25983 vsize=108292 CPUtime=0 cores=1,3
/proc/25985/task/25986/stat : 25986 (mono) S 25983 25985 25549 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 418523315 110891008 1953 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=108292 CPUtime=0 cores=1,3
/proc/25985/task/25987/stat : 25987 (mono) R 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 418523315 110891008 1953 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 0 0 0 -1 1 0 0 0
[pid=25985/tid=25988] ppid=25983 vsize=108292 CPUtime=0 cores=1,3
/proc/25985/task/25988/stat : 25988 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 418523315 110891008 1953 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=108292 CPUtime=0 cores=1,3
/proc/25985/task/25989/stat : 25989 (mono) R 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 418523315 110891008 1953 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 0 0 0 -1 1 0 0 0
[pid=25985/tid=25990] ppid=25983 vsize=108292 CPUtime=0 cores=1,3
/proc/25985/task/25990/stat : 25990 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 418523315 110891008 1953 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25991] ppid=25983 vsize=108292 CPUtime=0 cores=1,3
/proc/25985/task/25991/stat : 25991 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 418523315 110891008 1953 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25992] ppid=25983 vsize=108292 CPUtime=0 cores=1,3
/proc/25985/task/25992/stat : 25992 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 418523315 110891008 1953 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 108292
[startup+0.20044 s]
/proc/loadavg: 4.16 4.10 4.26 4/200 25985
/proc/meminfo: memFree=13979364/32951124 swapFree=67102128/67111528
[pid=25985] ppid=25983 vsize=109024 CPUtime=0.19 cores=1,3
/proc/25985/stat : 25985 (mono) R 25983 25985 25549 0 -1 4202496 2198 0 0 0 19 0 0 0 25 0 9 0 418523314 111640576 2098 33554432000 4194304 7232020 140735975205328 18446744073709551615 1095176241 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/25985/statm: 27256 2098 1024 742 0 19827 0
[pid=25985/tid=25986] ppid=25983 vsize=109024 CPUtime=0 cores=1,3
/proc/25985/task/25986/stat : 25986 (mono) R 25983 25985 25549 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 418523315 111640576 2098 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 0 0 0 -1 1 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=109024 CPUtime=0 cores=1,3
/proc/25985/task/25987/stat : 25987 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 418523315 111640576 2098 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25988] ppid=25983 vsize=109024 CPUtime=0 cores=1,3
/proc/25985/task/25988/stat : 25988 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 418523315 111640576 2098 33554432000 4194304 7232020 140735975205328 18446744073709551615 216747004276 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=109024 CPUtime=0 cores=1,3
/proc/25985/task/25989/stat : 25989 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 418523315 111640576 2098 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25990] ppid=25983 vsize=109024 CPUtime=0 cores=1,3
/proc/25985/task/25990/stat : 25990 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 418523315 111640576 2098 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25991] ppid=25983 vsize=109024 CPUtime=0 cores=1,3
/proc/25985/task/25991/stat : 25991 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 418523315 111640576 2098 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25992] ppid=25983 vsize=109024 CPUtime=0 cores=1,3
/proc/25985/task/25992/stat : 25992 (mono) R 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 418523315 111640576 2098 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 109024
[startup+0.300385 s]
/proc/loadavg: 4.16 4.10 4.26 4/200 25985
/proc/meminfo: memFree=13979364/32951124 swapFree=67102128/67111528
[pid=25985] ppid=25983 vsize=109024 CPUtime=0.29 cores=1,3
/proc/25985/stat : 25985 (mono) R 25983 25985 25549 0 -1 4202496 2323 0 0 0 29 0 0 0 18 0 9 0 418523314 111640576 2223 33554432000 4194304 7232020 140735975205328 18446744073709551615 1093051173 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/25985/statm: 27256 2223 1024 742 0 19827 0
[pid=25985/tid=25986] ppid=25983 vsize=109024 CPUtime=0 cores=1,3
/proc/25985/task/25986/stat : 25986 (mono) S 25983 25985 25549 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 418523315 111640576 2223 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=109024 CPUtime=0 cores=1,3
/proc/25985/task/25987/stat : 25987 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 418523315 111640576 2223 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25988] ppid=25983 vsize=109024 CPUtime=0 cores=1,3
/proc/25985/task/25988/stat : 25988 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 418523315 111640576 2223 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=109024 CPUtime=0 cores=1,3
/proc/25985/task/25989/stat : 25989 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 418523315 111640576 2223 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25990] ppid=25983 vsize=109024 CPUtime=0 cores=1,3
/proc/25985/task/25990/stat : 25990 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 418523315 111640576 2223 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25991] ppid=25983 vsize=109024 CPUtime=0 cores=1,3
/proc/25985/task/25991/stat : 25991 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 418523315 111640576 2223 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25992] ppid=25983 vsize=109024 CPUtime=0 cores=1,3
/proc/25985/task/25992/stat : 25992 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 418523315 111640576 2223 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 109024
[startup+0.700369 s]
/proc/loadavg: 4.16 4.10 4.26 4/200 25985
/proc/meminfo: memFree=13979364/32951124 swapFree=67102128/67111528
[pid=25985] ppid=25983 vsize=110128 CPUtime=0.69 cores=1,3
/proc/25985/stat : 25985 (mono) R 25983 25985 25549 0 -1 4202496 2584 0 0 0 69 0 0 0 18 0 9 0 418523314 112771072 2484 33554432000 4194304 7232020 140735975205328 18446744073709551615 1095176450 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/25985/statm: 27532 2484 1024 742 0 20103 0
[pid=25985/tid=25986] ppid=25983 vsize=110128 CPUtime=0 cores=1,3
/proc/25985/task/25986/stat : 25986 (mono) S 25983 25985 25549 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 418523315 112771072 2484 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=110128 CPUtime=0 cores=1,3
/proc/25985/task/25987/stat : 25987 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 418523315 112771072 2484 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25988] ppid=25983 vsize=110128 CPUtime=0 cores=1,3
/proc/25985/task/25988/stat : 25988 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418523315 112771072 2484 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=110128 CPUtime=0 cores=1,3
/proc/25985/task/25989/stat : 25989 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 418523315 112771072 2484 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25990] ppid=25983 vsize=110128 CPUtime=0 cores=1,3
/proc/25985/task/25990/stat : 25990 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 418523315 112771072 2484 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25991] ppid=25983 vsize=110128 CPUtime=0 cores=1,3
/proc/25985/task/25991/stat : 25991 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 418523315 112771072 2484 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25992] ppid=25983 vsize=110128 CPUtime=0 cores=1,3
/proc/25985/task/25992/stat : 25992 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 418523315 112771072 2484 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 110128
[startup+1.50121 s]
/proc/loadavg: 4.16 4.10 4.26 5/222 26012
/proc/meminfo: memFree=13954040/32951124 swapFree=67102128/67111528
[pid=25985] ppid=25983 vsize=113332 CPUtime=1.51 cores=1,3
/proc/25985/stat : 25985 (mono) R 25983 25985 25549 0 -1 4202496 3131 0 0 0 151 0 0 0 18 0 9 0 418523314 116051968 2982 33554432000 4194304 7232020 140735975205328 18446744073709551615 1095176732 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/25985/statm: 28333 2982 1024 742 0 20904 0
[pid=25985/tid=25986] ppid=25983 vsize=113332 CPUtime=0 cores=1,3
/proc/25985/task/25986/stat : 25986 (mono) S 25983 25985 25549 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 418523315 116051968 2982 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=113332 CPUtime=0 cores=1,3
/proc/25985/task/25987/stat : 25987 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 418523315 116051968 2982 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25988] ppid=25983 vsize=113332 CPUtime=0 cores=1,3
/proc/25985/task/25988/stat : 25988 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418523315 116051968 2982 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=113332 CPUtime=0 cores=1,3
/proc/25985/task/25989/stat : 25989 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418523315 116051968 2982 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25990] ppid=25983 vsize=113332 CPUtime=0 cores=1,3
/proc/25985/task/25990/stat : 25990 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418523315 116051968 2982 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25991] ppid=25983 vsize=113332 CPUtime=0 cores=1,3
/proc/25985/task/25991/stat : 25991 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418523315 116051968 2982 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25992] ppid=25983 vsize=113332 CPUtime=0 cores=1,3
/proc/25985/task/25992/stat : 25992 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418523315 116051968 2982 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25994] ppid=25983 vsize=113332 CPUtime=0 cores=1,3
/proc/25985/task/25994/stat : 25994 (mono) S 25983 25985 25549 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 418523315 116051968 2982 33554432000 4194304 7232020 140735975205328 18446744073709551615 216747002289 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 113332
Solver just ended. Dumping a history of the last processes samples
[startup+1.60119 s]
/proc/loadavg: 4.16 4.10 4.26 5/222 26012
/proc/meminfo: memFree=13954040/32951124 swapFree=67102128/67111528
[pid=25985] ppid=25983 vsize=113332 CPUtime=1.61 cores=1,3
/proc/25985/stat : 25985 (mono) R 25983 25985 25549 0 -1 4202496 3131 0 0 0 161 0 0 0 18 0 9 0 418523314 116051968 2982 33554432000 4194304 7232020 140735975205328 18446744073709551615 1095175466 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/25985/statm: 28333 2982 1024 742 0 20904 0
[pid=25985/tid=25986] ppid=25983 vsize=113332 CPUtime=0 cores=1,3
/proc/25985/task/25986/stat : 25986 (mono) S 25983 25985 25549 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 418523315 116051968 2982 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=113332 CPUtime=0 cores=1,3
/proc/25985/task/25987/stat : 25987 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418523315 116051968 2982 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25988] ppid=25983 vsize=113332 CPUtime=0 cores=1,3
/proc/25985/task/25988/stat : 25988 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 418523315 116051968 2982 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=113332 CPUtime=0 cores=1,3
/proc/25985/task/25989/stat : 25989 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 418523315 116051968 2982 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25990] ppid=25983 vsize=113332 CPUtime=0 cores=1,3
/proc/25985/task/25990/stat : 25990 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 418523315 116051968 2982 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25991] ppid=25983 vsize=113332 CPUtime=0 cores=1,3
/proc/25985/task/25991/stat : 25991 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 418523315 116051968 2982 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25992] ppid=25983 vsize=113332 CPUtime=0 cores=1,3
/proc/25985/task/25992/stat : 25992 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418523315 116051968 2982 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25994] ppid=25983 vsize=113332 CPUtime=0 cores=1,3
/proc/25985/task/25994/stat : 25994 (mono) S 25983 25985 25549 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 418523315 116051968 2982 33554432000 4194304 7232020 140735975205328 18446744073709551615 216747002289 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 113332
[startup+2.00109 s]
/proc/loadavg: 4.16 4.10 4.26 5/222 26012
/proc/meminfo: memFree=13954040/32951124 swapFree=67102128/67111528
[pid=25985] ppid=25983 vsize=113332 CPUtime=2.01 cores=1,3
/proc/25985/stat : 25985 (mono) R 25983 25985 25549 0 -1 4202496 3427 0 0 0 201 0 0 0 18 0 9 0 418523314 116051968 3278 33554432000 4194304 7232020 140735975205328 18446744073709551615 1095176302 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/25985/statm: 28333 3278 1024 742 0 20904 0
[pid=25985/tid=25986] ppid=25983 vsize=113332 CPUtime=0 cores=1,3
/proc/25985/task/25986/stat : 25986 (mono) S 25983 25985 25549 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 418523315 116051968 3278 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=113332 CPUtime=0 cores=1,3
/proc/25985/task/25987/stat : 25987 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418523315 116051968 3278 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25988] ppid=25983 vsize=113332 CPUtime=0 cores=1,3
/proc/25985/task/25988/stat : 25988 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418523315 116051968 3278 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=113332 CPUtime=0 cores=1,3
/proc/25985/task/25989/stat : 25989 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 418523315 116051968 3278 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25990] ppid=25983 vsize=113332 CPUtime=0 cores=1,3
/proc/25985/task/25990/stat : 25990 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418523315 116051968 3278 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25991] ppid=25983 vsize=113332 CPUtime=0 cores=1,3
/proc/25985/task/25991/stat : 25991 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418523315 116051968 3278 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25992] ppid=25983 vsize=113332 CPUtime=0 cores=1,3
/proc/25985/task/25992/stat : 25992 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418523315 116051968 3278 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25994] ppid=25983 vsize=113332 CPUtime=0 cores=1,3
/proc/25985/task/25994/stat : 25994 (mono) S 25983 25985 25549 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 418523315 116051968 3278 33554432000 4194304 7232020 140735975205328 18446744073709551615 216747002289 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 113332
[startup+2.10107 s]
/proc/loadavg: 4.16 4.10 4.26 5/222 26012
/proc/meminfo: memFree=13954040/32951124 swapFree=67102128/67111528
[pid=25985] ppid=25983 vsize=115740 CPUtime=2.11 cores=1,3
/proc/25985/stat : 25985 (mono) R 25983 25985 25549 0 -1 4202496 3550 0 0 0 211 0 0 0 18 0 9 0 418523314 118517760 3401 33554432000 4194304 7232020 140735975205328 18446744073709551615 216734869484 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/25985/statm: 28935 3401 1024 742 0 21506 0
[pid=25985/tid=25986] ppid=25983 vsize=115740 CPUtime=0 cores=1,3
/proc/25985/task/25986/stat : 25986 (mono) S 25983 25985 25549 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 9 0 418523315 118517760 3401 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=115740 CPUtime=0 cores=1,3
/proc/25985/task/25987/stat : 25987 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 418523315 118517760 3401 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25988] ppid=25983 vsize=115740 CPUtime=0 cores=1,3
/proc/25985/task/25988/stat : 25988 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418523315 118517760 3401 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=115740 CPUtime=0 cores=1,3
/proc/25985/task/25989/stat : 25989 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 418523315 118517760 3401 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 3 0 0 0
[pid=25985/tid=25990] ppid=25983 vsize=115740 CPUtime=0 cores=1,3
/proc/25985/task/25990/stat : 25990 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418523315 118517760 3401 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25991] ppid=25983 vsize=115740 CPUtime=0 cores=1,3
/proc/25985/task/25991/stat : 25991 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418523315 118517760 3401 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25992] ppid=25983 vsize=115740 CPUtime=0 cores=1,3
/proc/25985/task/25992/stat : 25992 (mono) S 25983 25985 25549 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 418523315 118517760 3401 33554432000 4194304 7232020 140735975205328 18446744073709551615 216746994585 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
[pid=25985/tid=25994] ppid=25983 vsize=115740 CPUtime=0 cores=1,3
/proc/25985/task/25994/stat : 25994 (mono) S 25983 25985 25549 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 418523315 118517760 3401 33554432000 4194304 7232020 140735975205328 18446744073709551615 216747002289 0 0 4096 545260780 18446604471164294400 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 115740
Child status: 0
Real time (s): 2.18218
CPU time (s): 2.18467
CPU user time (s): 2.17767
CPU system time (s): 0.006998
CPU usage (%): 100.114
Max. virtual memory (cumulated for all children) (KiB): 115740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.17767
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3860
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3156
involuntary context switches= 507
runsolver used 0.004999 second user time and 0.013997 second system time
The end