runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3395041-1306090218/watcher-3395041-1306090218 -o /tmp/evaluation-result-3395041-1306090218/solver-3395041-1306090218 -C 5000 -W 5100 -M 15500 mono Main.exe HOME/instance-3395041-1306090218.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 2.00 1.99 2/535 5147
/proc/meminfo: memFree=6143840/32951124 swapFree=65586216/67111528
[pid=5147] ppid=5145 vsize=105312 CPUtime=0 cores=1,3,5,7
/proc/5147/stat : 5147 (mono) S 5145 5147 4204 0 -1 4202496 1188 0 0 0 0 0 0 0 25 0 9 0 799252469 107839488 1095 33554432000 4194304 7232020 140737463926368 18446744073709551615 216747002289 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/5147/statm: 26328 1098 803 742 0 18899 0
[pid=5147/tid=5148] ppid=5145 vsize=105800 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5148/stat : 5148 (mono) S 5145 5147 4204 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 799252470 108339200 1380 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
[pid=5147/tid=5149] ppid=5145 vsize=105800 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5149/stat : 5149 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799252470 108339200 1380 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
[pid=5147/tid=5150] ppid=5145 vsize=105800 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5150/stat : 5150 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799252470 108339200 1380 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
[pid=5147/tid=5151] ppid=5145 vsize=105800 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5151/stat : 5151 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799252470 108339200 1380 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
[pid=5147/tid=5152] ppid=5145 vsize=105800 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5152/stat : 5152 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799252470 108339200 1380 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
[pid=5147/tid=5153] ppid=5145 vsize=105800 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5153/stat : 5153 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799252470 108339200 1380 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
[pid=5147/tid=5154] ppid=5145 vsize=105800 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5154/stat : 5154 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799252470 108339200 1380 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
[pid=5147/tid=5155] ppid=5145 vsize=105800 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5155/stat : 5155 (mono) S 5145 5147 4204 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 799252470 108339200 1381 33554432000 4194304 7232020 140737463926368 18446744073709551615 216747002289 0 0 4096 545260780 18446604470655555456 0 0 -1 3 0 0 0

[startup+0.064151 s]
/proc/loadavg: 1.92 2.00 1.99 2/535 5147
/proc/meminfo: memFree=6143840/32951124 swapFree=65586216/67111528
[pid=5147] ppid=5145 vsize=114328 CPUtime=0.05 cores=1,3,5,7
/proc/5147/stat : 5147 (mono) R 5145 5147 4204 0 -1 4202496 3540 0 0 0 5 0 0 0 18 0 9 0 799252469 117071872 3443 33554432000 4194304 7232020 140737463926368 18446744073709551615 6172651 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/5147/statm: 28582 3443 975 742 0 21153 0
[pid=5147/tid=5148] ppid=5145 vsize=114328 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5148/stat : 5148 (mono) S 5145 5147 4204 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 799252470 117071872 3443 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
[pid=5147/tid=5149] ppid=5145 vsize=114328 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5149/stat : 5149 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799252470 117071872 3443 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 3 0 0 0
[pid=5147/tid=5150] ppid=5145 vsize=114328 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5150/stat : 5150 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799252470 117071872 3443 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 7 0 0 0
[pid=5147/tid=5151] ppid=5145 vsize=114328 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5151/stat : 5151 (mono) R 5145 5147 4204 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799252470 117071872 3443 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 0 0 0 -1 3 0 0 0
[pid=5147/tid=5152] ppid=5145 vsize=114328 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5152/stat : 5152 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799252470 117071872 3443 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
[pid=5147/tid=5153] ppid=5145 vsize=114328 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5153/stat : 5153 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799252470 117071872 3443 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 7 0 0 0
[pid=5147/tid=5154] ppid=5145 vsize=114328 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5154/stat : 5154 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799252470 117071872 3443 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 3 0 0 0
[pid=5147/tid=5155] ppid=5145 vsize=114328 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5155/stat : 5155 (mono) S 5145 5147 4204 0 -1 4194368 3 0 0 0 0 0 0 0 25 0 9 0 799252470 117071872 3443 33554432000 4194304 7232020 140737463926368 18446744073709551615 216734566335 0 2138816217 4096 545260780 18446744071562694473 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 114328

[startup+0.101537 s]
/proc/loadavg: 1.92 2.00 1.99 2/535 5147
/proc/meminfo: memFree=6143840/32951124 swapFree=65586216/67111528
[pid=5147] ppid=5145 vsize=117168 CPUtime=0.1 cores=1,3,5,7
/proc/5147/stat : 5147 (mono) S 5145 5147 4204 0 -1 4202496 3916 0 0 0 9 1 0 0 18 0 9 0 799252469 119980032 3819 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/5147/statm: 29292 3819 975 742 0 21863 0
[pid=5147/tid=5148] ppid=5145 vsize=117168 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5148/stat : 5148 (mono) S 5145 5147 4204 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 799252470 119980032 3819 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
[pid=5147/tid=5149] ppid=5145 vsize=117168 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5149/stat : 5149 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 799252470 119980032 3819 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 3 0 0 0
[pid=5147/tid=5150] ppid=5145 vsize=117168 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5150/stat : 5150 (mono) R 5145 5147 4204 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799252470 119980032 3819 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 0 0 0 -1 7 0 0 0
[pid=5147/tid=5151] ppid=5145 vsize=117168 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5151/stat : 5151 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799252470 119980032 3819 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 7 0 0 0
[pid=5147/tid=5152] ppid=5145 vsize=117168 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5152/stat : 5152 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 799252470 119980032 3819 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
[pid=5147/tid=5153] ppid=5145 vsize=117168 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5153/stat : 5153 (mono) R 5145 5147 4204 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799252470 119980032 3819 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 0 0 0 -1 7 0 0 0
[pid=5147/tid=5154] ppid=5145 vsize=117168 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5154/stat : 5154 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 799252470 119980032 3819 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 3 0 0 0
[pid=5147/tid=5155] ppid=5145 vsize=117168 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5155/stat : 5155 (mono) S 5145 5147 4204 0 -1 4194368 3 0 0 0 0 0 0 0 25 0 9 0 799252470 119980032 3819 33554432000 4194304 7232020 140737463926368 18446744073709551615 216734566335 0 2138816217 4096 545260780 18446744071562694473 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 117168

[startup+0.306098 s]
/proc/loadavg: 1.92 2.00 1.99 2/535 5147
/proc/meminfo: memFree=6143840/32951124 swapFree=65586216/67111528
[pid=5147] ppid=5145 vsize=126256 CPUtime=0.35 cores=1,3,5,7
/proc/5147/stat : 5147 (mono) R 5145 5147 4204 0 -1 4202496 5733 0 0 0 34 1 0 0 18 0 9 0 799252469 129286144 5636 33554432000 4194304 7232020 140737463926368 18446744073709551615 5706047 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/5147/statm: 31564 5636 975 742 0 24135 0
[pid=5147/tid=5148] ppid=5145 vsize=126256 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5148/stat : 5148 (mono) S 5145 5147 4204 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 9 0 799252470 129286144 5636 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 7 0 0 0
[pid=5147/tid=5149] ppid=5145 vsize=126256 CPUtime=0.01 cores=1,3,5,7
/proc/5147/task/5149/stat : 5149 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 799252470 129286144 5636 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
[pid=5147/tid=5150] ppid=5145 vsize=126256 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5150/stat : 5150 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 799252470 129286144 5636 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 7 0 0 0
[pid=5147/tid=5151] ppid=5145 vsize=126256 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5151/stat : 5151 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 799252470 129286144 5636 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 3 0 0 0
[pid=5147/tid=5152] ppid=5145 vsize=126256 CPUtime=0.01 cores=1,3,5,7
/proc/5147/task/5152/stat : 5152 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 799252470 129286144 5636 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
[pid=5147/tid=5153] ppid=5145 vsize=126256 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5153/stat : 5153 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 799252470 129286144 5636 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 3 0 0 0
[pid=5147/tid=5154] ppid=5145 vsize=126256 CPUtime=0.01 cores=1,3,5,7
/proc/5147/task/5154/stat : 5154 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 799252470 129286144 5636 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 7 0 0 0
[pid=5147/tid=5155] ppid=5145 vsize=126256 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5155/stat : 5155 (mono) S 5145 5147 4204 0 -1 4202560 3 0 0 0 0 0 0 0 23 0 9 0 799252470 129286144 5636 33554432000 4194304 7232020 140737463926368 18446744073709551615 216747002289 0 0 4096 545260780 18446604470655555456 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 126256

[startup+0.701033 s]
/proc/loadavg: 1.92 2.00 1.99 2/535 5147
/proc/meminfo: memFree=6143840/32951124 swapFree=65586216/67111528
[pid=5147] ppid=5145 vsize=141560 CPUtime=0.83 cores=1,3,5,7
/proc/5147/stat : 5147 (mono) R 5145 5147 4204 0 -1 4202496 9121 0 0 0 81 2 0 0 18 0 9 0 799252469 144957440 9024 33554432000 4194304 7232020 140737463926368 18446744073709551615 216747005387 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/5147/statm: 35390 9024 975 742 0 27961 0
[pid=5147/tid=5148] ppid=5145 vsize=141560 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5148/stat : 5148 (mono) S 5145 5147 4204 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 9 0 799252470 144957440 9024 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 3 0 0 0
[pid=5147/tid=5149] ppid=5145 vsize=141560 CPUtime=0.05 cores=1,3,5,7
/proc/5147/task/5149/stat : 5149 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 799252470 144957440 9024 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
[pid=5147/tid=5150] ppid=5145 vsize=141560 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5150/stat : 5150 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 799252470 144957440 9024 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 7 0 0 0
[pid=5147/tid=5151] ppid=5145 vsize=141560 CPUtime=0.02 cores=1,3,5,7
/proc/5147/task/5151/stat : 5151 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 799252470 144957440 9024 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 7 0 0 0
[pid=5147/tid=5152] ppid=5145 vsize=141560 CPUtime=0.04 cores=1,3,5,7
/proc/5147/task/5152/stat : 5152 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 799252470 144957440 9024 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 3 0 0 0
[pid=5147/tid=5153] ppid=5145 vsize=141560 CPUtime=0.03 cores=1,3,5,7
/proc/5147/task/5153/stat : 5153 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 799252470 144957440 9024 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 7 0 0 0
[pid=5147/tid=5154] ppid=5145 vsize=141560 CPUtime=0.03 cores=1,3,5,7
/proc/5147/task/5154/stat : 5154 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 799252470 144957440 9024 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 3 0 0 0
[pid=5147/tid=5155] ppid=5145 vsize=141560 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5155/stat : 5155 (mono) S 5145 5147 4204 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 9 0 799252470 144957440 9024 33554432000 4194304 7232020 140737463926368 18446744073709551615 216747002289 0 0 4096 545260780 18446604470655555456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 141560

[startup+1.50089 s]
/proc/loadavg: 1.92 2.00 1.99 3/544 5156
/proc/meminfo: memFree=6100864/32951124 swapFree=65586216/67111528
[pid=5147] ppid=5145 vsize=325236 CPUtime=1.77 cores=1,3,5,7
/proc/5147/stat : 5147 (mono) R 5145 5147 4204 0 -1 4202496 54441 0 0 0 170 7 0 0 18 0 9 0 799252469 333041664 54345 33554432000 4194304 7232020 140737463926368 18446744073709551615 216734872669 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/5147/statm: 81309 54371 995 742 0 73880 0
[pid=5147/tid=5148] ppid=5145 vsize=325236 CPUtime=0.02 cores=1,3,5,7
/proc/5147/task/5148/stat : 5148 (mono) S 5145 5147 4204 0 -1 4202560 4 0 0 0 2 0 0 0 16 0 9 0 799252470 333041664 54385 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 7 0 0 0
[pid=5147/tid=5149] ppid=5145 vsize=325236 CPUtime=0.08 cores=1,3,5,7
/proc/5147/task/5149/stat : 5149 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 8 0 0 0 16 0 9 0 799252470 333041664 54400 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 3 0 0 0
[pid=5147/tid=5150] ppid=5145 vsize=325236 CPUtime=0.01 cores=1,3,5,7
/proc/5147/task/5150/stat : 5150 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 799252470 333041664 54417 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 3 0 0 0
[pid=5147/tid=5151] ppid=5145 vsize=325236 CPUtime=0.06 cores=1,3,5,7
/proc/5147/task/5151/stat : 5151 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 799252470 333041664 54433 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 7 0 0 0
[pid=5147/tid=5152] ppid=5145 vsize=325236 CPUtime=0.07 cores=1,3,5,7
/proc/5147/task/5152/stat : 5152 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 7 0 0 0 15 0 9 0 799252470 333041664 54450 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
[pid=5147/tid=5153] ppid=5145 vsize=325236 CPUtime=0.08 cores=1,3,5,7
/proc/5147/task/5153/stat : 5153 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 8 0 0 0 16 0 9 0 799252470 333041664 54466 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
[pid=5147/tid=5154] ppid=5145 vsize=325236 CPUtime=0.05 cores=1,3,5,7
/proc/5147/task/5154/stat : 5154 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 799252470 333041664 54483 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 3 0 0 0
[pid=5147/tid=5155] ppid=5145 vsize=325236 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5155/stat : 5155 (mono) S 5145 5147 4204 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 799252470 333041664 54499 33554432000 4194304 7232020 140737463926368 18446744073709551615 216747002289 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 325236

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

[startup+2.30076 s]
/proc/loadavg: 1.92 2.00 1.99 3/544 5156
/proc/meminfo: memFree=5785780/32951124 swapFree=65586216/67111528
[pid=5147] ppid=5145 vsize=474720 CPUtime=2.6 cores=1,3,5,7
/proc/5147/stat : 5147 (mono) R 5145 5147 4204 0 -1 4202496 92914 0 0 0 249 11 0 0 18 0 9 0 799252469 486113280 92817 33554432000 4194304 7232020 140737463926368 18446744073709551615 6230302 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/5147/statm: 118680 92817 999 742 0 111251 0
[pid=5147/tid=5148] ppid=5145 vsize=474720 CPUtime=0.02 cores=1,3,5,7
/proc/5147/task/5148/stat : 5148 (mono) S 5145 5147 4204 0 -1 4202560 4 0 0 0 2 0 0 0 15 0 9 0 799252470 486113280 92817 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 3 0 0 0
[pid=5147/tid=5149] ppid=5145 vsize=474720 CPUtime=0.09 cores=1,3,5,7
/proc/5147/task/5149/stat : 5149 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 9 0 0 0 16 0 9 0 799252470 486113280 92817 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 3 0 0 0
[pid=5147/tid=5150] ppid=5145 vsize=474720 CPUtime=0.01 cores=1,3,5,7
/proc/5147/task/5150/stat : 5150 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 799252470 486113280 92817 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 3 0 0 0
[pid=5147/tid=5151] ppid=5145 vsize=474720 CPUtime=0.07 cores=1,3,5,7
/proc/5147/task/5151/stat : 5151 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 7 0 0 0 16 0 9 0 799252470 486113280 92818 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 7 0 0 0
[pid=5147/tid=5152] ppid=5145 vsize=474720 CPUtime=0.09 cores=1,3,5,7
/proc/5147/task/5152/stat : 5152 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 9 0 0 0 16 0 9 0 799252470 486113280 92819 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
[pid=5147/tid=5153] ppid=5145 vsize=474720 CPUtime=0.08 cores=1,3,5,7
/proc/5147/task/5153/stat : 5153 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 8 0 0 0 16 0 9 0 799252470 486113280 92819 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 7 0 0 0
[pid=5147/tid=5154] ppid=5145 vsize=474720 CPUtime=0.05 cores=1,3,5,7
/proc/5147/task/5154/stat : 5154 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 799252470 486113280 92820 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
[pid=5147/tid=5155] ppid=5145 vsize=474720 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5155/stat : 5155 (mono) S 5145 5147 4204 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 799252470 486113280 92821 33554432000 4194304 7232020 140737463926368 18446744073709551615 216747002289 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 474720

[startup+2.70069 s]
/proc/loadavg: 1.92 2.00 1.99 3/544 5156
/proc/meminfo: memFree=5785780/32951124 swapFree=65586216/67111528
[pid=5147] ppid=5145 vsize=516584 CPUtime=3.01 cores=1,3,5,7
/proc/5147/stat : 5147 (mono) R 5145 5147 4204 0 -1 4202496 103443 0 0 0 288 13 0 0 19 0 9 0 799252469 528982016 103347 33554432000 4194304 7232020 140737463926368 18446744073709551615 216734872532 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/5147/statm: 129146 103353 999 742 0 121717 0
[pid=5147/tid=5148] ppid=5145 vsize=516584 CPUtime=0.02 cores=1,3,5,7
/proc/5147/task/5148/stat : 5148 (mono) S 5145 5147 4204 0 -1 4202560 4 0 0 0 2 0 0 0 15 0 9 0 799252470 528982016 103357 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 3 0 0 0
[pid=5147/tid=5149] ppid=5145 vsize=516584 CPUtime=0.09 cores=1,3,5,7
/proc/5147/task/5149/stat : 5149 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 9 0 0 0 16 0 9 0 799252470 528982016 103361 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 3 0 0 0
[pid=5147/tid=5150] ppid=5145 vsize=516584 CPUtime=0.01 cores=1,3,5,7
/proc/5147/task/5150/stat : 5150 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 799252470 528982016 103365 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 3 0 0 0
[pid=5147/tid=5151] ppid=5145 vsize=516584 CPUtime=0.07 cores=1,3,5,7
/proc/5147/task/5151/stat : 5151 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 7 0 0 0 16 0 9 0 799252470 528982016 103370 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 7 0 0 0
[pid=5147/tid=5152] ppid=5145 vsize=516584 CPUtime=0.09 cores=1,3,5,7
/proc/5147/task/5152/stat : 5152 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 9 0 0 0 16 0 9 0 799252470 528982016 103374 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
[pid=5147/tid=5153] ppid=5145 vsize=516584 CPUtime=0.08 cores=1,3,5,7
/proc/5147/task/5153/stat : 5153 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 8 0 0 0 16 0 9 0 799252470 528982016 103378 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 7 0 0 0
[pid=5147/tid=5154] ppid=5145 vsize=516584 CPUtime=0.05 cores=1,3,5,7
/proc/5147/task/5154/stat : 5154 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 799252470 528982016 103382 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
[pid=5147/tid=5155] ppid=5145 vsize=516584 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5155/stat : 5155 (mono) S 5145 5147 4204 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 799252470 528982016 103386 33554432000 4194304 7232020 140737463926368 18446744073709551615 216747002289 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 516584

[startup+2.80063 s]
/proc/loadavg: 1.92 2.00 1.99 3/544 5156
/proc/meminfo: memFree=5785780/32951124 swapFree=65586216/67111528
[pid=5147] ppid=5145 vsize=533352 CPUtime=3.14 cores=1,3,5,7
/proc/5147/stat : 5147 (mono) R 5145 5147 4204 0 -1 4202496 107201 0 0 0 301 13 0 0 19 0 9 0 799252469 546152448 107104 33554432000 4194304 7232020 140737463926368 18446744073709551615 1090079289 0 0 4096 545260780 18446744073709551615 0 0 17 7 0 0 0
/proc/5147/statm: 133338 107104 1001 742 0 125909 0
[pid=5147/tid=5148] ppid=5145 vsize=533352 CPUtime=0.03 cores=1,3,5,7
/proc/5147/task/5148/stat : 5148 (mono) S 5145 5147 4204 0 -1 4202560 4 0 0 0 3 0 0 0 16 0 9 0 799252470 546152448 107104 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 3 0 0 0
[pid=5147/tid=5149] ppid=5145 vsize=533352 CPUtime=0.11 cores=1,3,5,7
/proc/5147/task/5149/stat : 5149 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 11 0 0 0 16 0 9 0 799252470 546152448 107104 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 7 0 0 0
[pid=5147/tid=5150] ppid=5145 vsize=533352 CPUtime=0.02 cores=1,3,5,7
/proc/5147/task/5150/stat : 5150 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 799252470 546152448 107104 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 3 0 0 0
[pid=5147/tid=5151] ppid=5145 vsize=533352 CPUtime=0.07 cores=1,3,5,7
/proc/5147/task/5151/stat : 5151 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 7 0 0 0 16 0 9 0 799252470 546152448 107104 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 7 0 0 0
[pid=5147/tid=5152] ppid=5145 vsize=533352 CPUtime=0.1 cores=1,3,5,7
/proc/5147/task/5152/stat : 5152 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 799252470 546152448 107104 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
[pid=5147/tid=5153] ppid=5145 vsize=533352 CPUtime=0.09 cores=1,3,5,7
/proc/5147/task/5153/stat : 5153 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 9 0 0 0 16 0 9 0 799252470 546152448 107104 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
[pid=5147/tid=5154] ppid=5145 vsize=533352 CPUtime=0.06 cores=1,3,5,7
/proc/5147/task/5154/stat : 5154 (mono) S 5145 5147 4204 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 799252470 546152448 107104 33554432000 4194304 7232020 140737463926368 18446744073709551615 216746994585 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
[pid=5147/tid=5155] ppid=5145 vsize=533352 CPUtime=0 cores=1,3,5,7
/proc/5147/task/5155/stat : 5155 (mono) S 5145 5147 4204 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 799252470 546152448 107104 33554432000 4194304 7232020 140737463926368 18446744073709551615 216747002289 0 0 4096 545260780 18446604470655555456 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.14
Current children cumulated vsize (KiB) 533352

Child status: 0
Real time (s): 2.87722
CPU time (s): 3.23351
CPU user time (s): 3.07953
CPU system time (s): 0.153976
CPU usage (%): 112.383
Max. virtual memory (cumulated for all children) (KiB): 533352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.07953
system time used= 0.153976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107345
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= 3236
involuntary context switches= 713

runsolver used 0.016997 second user time and 0.040993 second system time

The end