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-3395029-1306090118/watcher-3395029-1306090118 -o /tmp/evaluation-result-3395029-1306090118/solver-3395029-1306090118 -C 5000 -W 5100 -M 15500 mono Main.exe HOME/instance-3395029-1306090118.cnf
running on 4 cores: 0,2,4,6
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: 2.33 2.13 2.07 2/538 25670
/proc/meminfo: memFree=6544836/32951132 swapFree=54105148/67111528
[pid=25670] ppid=25668 vsize=105800 CPUtime=0.01 cores=0,2,4,6
/proc/25670/stat : 25670 (mono) R 25668 25670 24318 0 -1 4202496 1446 0 0 0 1 0 0 0 25 0 9 0 720610484 108339200 1351 33554432000 4194304 7232020 140733845784672 18446744073709551615 242970575978 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/25670/statm: 26450 1351 935 742 0 19021 0
[pid=25670/tid=25671] ppid=25668 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25671/stat : 25671 (mono) S 25668 25670 24318 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 720610484 108339200 1375 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[pid=25670/tid=25672] ppid=25668 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25672/stat : 25672 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720610484 108339200 1376 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[pid=25670/tid=25673] ppid=25668 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25673/stat : 25673 (mono) S 25668 25670 24318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 720610484 108339200 1376 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[pid=25670/tid=25674] ppid=25668 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25674/stat : 25674 (mono) S 25668 25670 24318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 720610484 108339200 1376 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[pid=25670/tid=25675] ppid=25668 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25675/stat : 25675 (mono) S 25668 25670 24318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 720610484 108339200 1376 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[pid=25670/tid=25676] ppid=25668 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25676/stat : 25676 (mono) S 25668 25670 24318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 720610484 108339200 1376 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[pid=25670/tid=25677] ppid=25668 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25677/stat : 25677 (mono) S 25668 25670 24318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 720610484 108339200 1376 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[pid=25670/tid=25678] ppid=25668 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25678/stat : 25678 (mono) S 25668 25670 24318 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 720610485 108339200 1376 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982373809 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[startup+0.0997449 s]
/proc/loadavg: 2.33 2.13 2.07 2/538 25670
/proc/meminfo: memFree=6544836/32951132 swapFree=54105148/67111528
[pid=25670] ppid=25668 vsize=112216 CPUtime=0.09 cores=0,2,4,6
/proc/25670/stat : 25670 (mono) R 25668 25670 24318 0 -1 4202496 2771 0 0 0 9 0 0 0 18 0 9 0 720610484 114909184 2674 33554432000 4194304 7232020 140733845784672 18446744073709551615 1076649754 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/25670/statm: 28054 2674 975 742 0 20625 0
[pid=25670/tid=25671] ppid=25668 vsize=112216 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25671/stat : 25671 (mono) S 25668 25670 24318 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 720610484 114909184 2674 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[pid=25670/tid=25672] ppid=25668 vsize=112216 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25672/stat : 25672 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720610484 114909184 2674 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[pid=25670/tid=25673] ppid=25668 vsize=112216 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25673/stat : 25673 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720610484 114909184 2674 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[pid=25670/tid=25674] ppid=25668 vsize=112216 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25674/stat : 25674 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720610484 114909184 2674 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[pid=25670/tid=25675] ppid=25668 vsize=112216 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25675/stat : 25675 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720610484 114909184 2674 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[pid=25670/tid=25676] ppid=25668 vsize=112216 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25676/stat : 25676 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720610484 114909184 2674 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 6 0 0 0
[pid=25670/tid=25677] ppid=25668 vsize=112216 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25677/stat : 25677 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720610484 114909184 2674 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 6 0 0 0
[pid=25670/tid=25678] ppid=25668 vsize=112216 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25678/stat : 25678 (mono) S 25668 25670 24318 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 720610485 114909184 2674 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982373809 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 112216
[startup+0.100746 s]
/proc/loadavg: 2.33 2.13 2.07 2/538 25670
/proc/meminfo: memFree=6544836/32951132 swapFree=54105148/67111528
[pid=25670] ppid=25668 vsize=112216 CPUtime=0.1 cores=0,2,4,6
/proc/25670/stat : 25670 (mono) R 25668 25670 24318 0 -1 4202496 2771 0 0 0 10 0 0 0 18 0 9 0 720610484 114909184 2674 33554432000 4194304 7232020 140733845784672 18446744073709551615 6230305 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/25670/statm: 28054 2674 975 742 0 20625 0
[pid=25670/tid=25671] ppid=25668 vsize=112216 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25671/stat : 25671 (mono) S 25668 25670 24318 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 720610484 114909184 2674 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[pid=25670/tid=25672] ppid=25668 vsize=112216 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25672/stat : 25672 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720610484 114909184 2674 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[pid=25670/tid=25673] ppid=25668 vsize=112216 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25673/stat : 25673 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720610484 114909184 2674 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[pid=25670/tid=25674] ppid=25668 vsize=112216 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25674/stat : 25674 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720610484 114909184 2674 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[pid=25670/tid=25675] ppid=25668 vsize=112216 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25675/stat : 25675 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720610484 114909184 2674 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[pid=25670/tid=25676] ppid=25668 vsize=112216 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25676/stat : 25676 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720610484 114909184 2674 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 6 0 0 0
[pid=25670/tid=25677] ppid=25668 vsize=112216 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25677/stat : 25677 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720610484 114909184 2674 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 6 0 0 0
[pid=25670/tid=25678] ppid=25668 vsize=112216 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25678/stat : 25678 (mono) S 25668 25670 24318 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 720610485 114909184 2674 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982373809 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 112216
[startup+0.30074 s]
/proc/loadavg: 2.33 2.13 2.07 2/538 25670
/proc/meminfo: memFree=6544836/32951132 swapFree=54105148/67111528
[pid=25670] ppid=25668 vsize=121188 CPUtime=0.35 cores=0,2,4,6
/proc/25670/stat : 25670 (mono) R 25668 25670 24318 0 -1 4202496 4611 0 0 0 35 0 0 0 18 0 9 0 720610484 124096512 4514 33554432000 4194304 7232020 140733845784672 18446744073709551615 242970242768 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/25670/statm: 30297 4514 975 742 0 22868 0
[pid=25670/tid=25671] ppid=25668 vsize=121188 CPUtime=0.01 cores=0,2,4,6
/proc/25670/task/25671/stat : 25671 (mono) S 25668 25670 24318 0 -1 4202560 4 0 0 0 1 0 0 0 16 0 9 0 720610484 124096512 4514 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[pid=25670/tid=25672] ppid=25668 vsize=121188 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25672/stat : 25672 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 720610484 124096512 4514 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 2 0 0 0
[pid=25670/tid=25673] ppid=25668 vsize=121188 CPUtime=0.02 cores=0,2,4,6
/proc/25670/task/25673/stat : 25673 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720610484 124096512 4514 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 2 0 0 0
[pid=25670/tid=25674] ppid=25668 vsize=121188 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25674/stat : 25674 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 720610484 124096512 4514 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 0 0 0 0
[pid=25670/tid=25675] ppid=25668 vsize=121188 CPUtime=0.01 cores=0,2,4,6
/proc/25670/task/25675/stat : 25675 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 720610484 124096512 4514 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 6 0 0 0
[pid=25670/tid=25676] ppid=25668 vsize=121188 CPUtime=0.01 cores=0,2,4,6
/proc/25670/task/25676/stat : 25676 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 720610484 124096512 4514 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 6 0 0 0
[pid=25670/tid=25677] ppid=25668 vsize=121188 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25677/stat : 25677 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 720610484 124096512 4514 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 0 0 0 0
[pid=25670/tid=25678] ppid=25668 vsize=121188 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25678/stat : 25678 (mono) S 25668 25670 24318 0 -1 4202560 3 0 0 0 0 0 0 0 23 0 9 0 720610485 124096512 4514 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982373809 0 0 4096 545260780 18446604452477292672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 121188
[startup+0.700687 s]
/proc/loadavg: 2.33 2.13 2.07 2/538 25670
/proc/meminfo: memFree=6544836/32951132 swapFree=54105148/67111528
[pid=25670] ppid=25668 vsize=201532 CPUtime=0.81 cores=0,2,4,6
/proc/25670/stat : 25670 (mono) R 25668 25670 24318 0 -1 4202496 24590 0 0 0 78 3 0 0 18 0 9 0 720610484 206368768 24493 33554432000 4194304 7232020 140733845784672 18446744073709551615 6230302 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/25670/statm: 50383 24493 999 742 0 42954 0
[pid=25670/tid=25671] ppid=25668 vsize=201532 CPUtime=0.02 cores=0,2,4,6
/proc/25670/task/25671/stat : 25671 (mono) S 25668 25670 24318 0 -1 4202560 4 0 0 0 2 0 0 0 16 0 9 0 720610484 206368768 24493 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[pid=25670/tid=25672] ppid=25668 vsize=201532 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25672/stat : 25672 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 720610484 206368768 24493 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 2 0 0 0
[pid=25670/tid=25673] ppid=25668 vsize=201532 CPUtime=0.02 cores=0,2,4,6
/proc/25670/task/25673/stat : 25673 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720610484 206368768 24494 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 6 0 0 0
[pid=25670/tid=25674] ppid=25668 vsize=201532 CPUtime=0.01 cores=0,2,4,6
/proc/25670/task/25674/stat : 25674 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 720610484 206368768 24494 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 2 0 0 0
[pid=25670/tid=25675] ppid=25668 vsize=201532 CPUtime=0.02 cores=0,2,4,6
/proc/25670/task/25675/stat : 25675 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 720610484 206368768 24494 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 0 0 0 0
[pid=25670/tid=25676] ppid=25668 vsize=201532 CPUtime=0.02 cores=0,2,4,6
/proc/25670/task/25676/stat : 25676 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 720610484 206368768 24495 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 6 0 0 0
[pid=25670/tid=25677] ppid=25668 vsize=201532 CPUtime=0.02 cores=0,2,4,6
/proc/25670/task/25677/stat : 25677 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720610484 206368768 24495 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[pid=25670/tid=25678] ppid=25668 vsize=201532 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25678/stat : 25678 (mono) S 25668 25670 24318 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 9 0 720610485 206368768 24495 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982373809 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 201532
Solver just ended. Dumping a history of the last processes samples
[startup+0.900646 s]
/proc/loadavg: 2.33 2.13 2.07 2/538 25670
/proc/meminfo: memFree=6544836/32951132 swapFree=54105148/67111528
[pid=25670] ppid=25668 vsize=209916 CPUtime=1.02 cores=0,2,4,6
/proc/25670/stat : 25670 (mono) R 25668 25670 24318 0 -1 4202496 26937 0 0 0 99 3 0 0 18 0 9 0 720610484 214953984 26840 33554432000 4194304 7232020 140733845784672 18446744073709551615 1076705000 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/25670/statm: 52479 26840 999 742 0 45050 0
[pid=25670/tid=25671] ppid=25668 vsize=209916 CPUtime=0.03 cores=0,2,4,6
/proc/25670/task/25671/stat : 25671 (mono) S 25668 25670 24318 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 9 0 720610484 214953984 26840 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[pid=25670/tid=25672] ppid=25668 vsize=209916 CPUtime=0.01 cores=0,2,4,6
/proc/25670/task/25672/stat : 25672 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 720610484 214953984 26840 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 2 0 0 0
[pid=25670/tid=25673] ppid=25668 vsize=209916 CPUtime=0.03 cores=0,2,4,6
/proc/25670/task/25673/stat : 25673 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 720610484 214953984 26840 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 6 0 0 0
[pid=25670/tid=25674] ppid=25668 vsize=209916 CPUtime=0.01 cores=0,2,4,6
/proc/25670/task/25674/stat : 25674 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 720610484 214953984 26840 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 2 0 0 0
[pid=25670/tid=25675] ppid=25668 vsize=209916 CPUtime=0.02 cores=0,2,4,6
/proc/25670/task/25675/stat : 25675 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720610484 214953984 26840 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 0 0 0 0
[pid=25670/tid=25676] ppid=25668 vsize=209916 CPUtime=0.02 cores=0,2,4,6
/proc/25670/task/25676/stat : 25676 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 720610484 214953984 26840 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 6 0 0 0
[pid=25670/tid=25677] ppid=25668 vsize=209916 CPUtime=0.02 cores=0,2,4,6
/proc/25670/task/25677/stat : 25677 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720610484 214953984 26840 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[pid=25670/tid=25678] ppid=25668 vsize=209916 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25678/stat : 25678 (mono) S 25668 25670 24318 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 9 0 720610485 214953984 26840 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982373809 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 209916
[startup+1.00063 s]
/proc/loadavg: 2.33 2.13 2.07 3/547 25679
/proc/meminfo: memFree=6438076/32951132 swapFree=54105148/67111528
[pid=25670] ppid=25668 vsize=218300 CPUtime=1.14 cores=0,2,4,6
/proc/25670/stat : 25670 (mono) R 25668 25670 24318 0 -1 4202496 29316 0 0 0 111 3 0 0 18 0 9 0 720610484 223539200 29219 33554432000 4194304 7232020 140733845784672 18446744073709551615 6230302 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/25670/statm: 54575 29222 999 742 0 47146 0
[pid=25670/tid=25671] ppid=25668 vsize=226556 CPUtime=0.03 cores=0,2,4,6
/proc/25670/task/25671/stat : 25671 (mono) S 25668 25670 24318 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 9 0 720610484 231993344 29722 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[pid=25670/tid=25672] ppid=25668 vsize=226556 CPUtime=0.01 cores=0,2,4,6
/proc/25670/task/25672/stat : 25672 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 720610484 231993344 29727 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 2 0 0 0
[pid=25670/tid=25673] ppid=25668 vsize=226556 CPUtime=0.03 cores=0,2,4,6
/proc/25670/task/25673/stat : 25673 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 720610484 231993344 29731 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 6 0 0 0
[pid=25670/tid=25674] ppid=25668 vsize=226556 CPUtime=0.01 cores=0,2,4,6
/proc/25670/task/25674/stat : 25674 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 720610484 231993344 29735 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 2 0 0 0
[pid=25670/tid=25675] ppid=25668 vsize=226556 CPUtime=0.02 cores=0,2,4,6
/proc/25670/task/25675/stat : 25675 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720610484 231993344 29739 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 0 0 0 0
[pid=25670/tid=25676] ppid=25668 vsize=226556 CPUtime=0.02 cores=0,2,4,6
/proc/25670/task/25676/stat : 25676 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 720610484 231993344 29743 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 6 0 0 0
[pid=25670/tid=25677] ppid=25668 vsize=226556 CPUtime=0.02 cores=0,2,4,6
/proc/25670/task/25677/stat : 25677 (mono) S 25668 25670 24318 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720610484 231993344 29747 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982366105 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
[pid=25670/tid=25678] ppid=25668 vsize=226556 CPUtime=0 cores=0,2,4,6
/proc/25670/task/25678/stat : 25678 (mono) S 25668 25670 24318 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 9 0 720610485 231993344 29751 33554432000 4194304 7232020 140733845784672 18446744073709551615 242982373809 0 0 4096 545260780 18446604452477292672 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 218300
Child status: 0
Real time (s): 1.10507
CPU time (s): 1.25181
CPU user time (s): 1.19682
CPU system time (s): 0.054991
CPU usage (%): 113.279
Max. virtual memory (cumulated for all children) (KiB): 218300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.19682
system time used= 0.054991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37220
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= 2810
involuntary context switches= 435
runsolver used 0.010998 second user time and 0.028995 second system time
The end