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-3394867-1306089890/watcher-3394867-1306089890 -o /tmp/evaluation-result-3394867-1306089890/solver-3394867-1306089890 -C 5000 -W 5100 -M 15500 mono Main.exe HOME/instance-3394867-1306089890.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.11 2.03 2.02 2/472 29107
/proc/meminfo: memFree=10064548/32950928 swapFree=62427732/67111528
[pid=29107] ppid=29105 vsize=105800 CPUtime=0.01 cores=0,2,4,6
/proc/29107/stat : 29107 (mono) R 29105 29107 27953 0 -1 4202496 1461 0 0 0 1 0 0 0 25 0 9 0 720588826 108339200 1367 33554432000 4194304 7232020 140734350714672 18446744073709551615 5672143 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/29107/statm: 26450 1367 950 742 0 19021 0
[pid=29107/tid=29108] ppid=29105 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29108/stat : 29108 (mono) S 29105 29107 27953 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 720588827 108339200 1371 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29109] ppid=29105 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29109/stat : 29109 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720588827 108339200 1371 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29110] ppid=29105 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29110/stat : 29110 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720588827 108339200 1371 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29111] ppid=29105 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29111/stat : 29111 (mono) S 29105 29107 27953 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 720588827 108339200 1371 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29112] ppid=29105 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29112/stat : 29112 (mono) S 29105 29107 27953 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 720588827 108339200 1371 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29113] ppid=29105 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29113/stat : 29113 (mono) S 29105 29107 27953 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 720588827 108339200 1371 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29114] ppid=29105 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29114/stat : 29114 (mono) S 29105 29107 27953 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 720588827 108339200 1371 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29115] ppid=29105 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29115/stat : 29115 (mono) S 29105 29107 27953 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 720588827 108339200 1371 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101521841 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0

[startup+0.038803 s]
/proc/loadavg: 2.11 2.03 2.02 2/472 29107
/proc/meminfo: memFree=10064548/32950928 swapFree=62427732/67111528
[pid=29107] ppid=29105 vsize=106560 CPUtime=0.03 cores=0,2,4,6
/proc/29107/stat : 29107 (mono) R 29105 29107 27953 0 -1 4202496 1681 0 0 0 3 0 0 0 25 0 9 0 720588826 109117440 1585 33554432000 4194304 7232020 140734350714672 18446744073709551615 1097796003 0 0 4096 545260780 18446744073709551615 0 0 17 2 0 0 0
/proc/29107/statm: 26640 1585 975 742 0 19211 0
[pid=29107/tid=29108] ppid=29105 vsize=106560 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29108/stat : 29108 (mono) S 29105 29107 27953 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 720588827 109117440 1585 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29109] ppid=29105 vsize=106560 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29109/stat : 29109 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720588827 109117440 1585 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
[pid=29107/tid=29110] ppid=29105 vsize=106560 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29110/stat : 29110 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720588827 109117440 1585 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29111] ppid=29105 vsize=106560 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29111/stat : 29111 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720588827 109117440 1585 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
[pid=29107/tid=29112] ppid=29105 vsize=106560 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29112/stat : 29112 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720588827 109117440 1585 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
[pid=29107/tid=29113] ppid=29105 vsize=106560 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29113/stat : 29113 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720588827 109117440 1585 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
[pid=29107/tid=29114] ppid=29105 vsize=106560 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29114/stat : 29114 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720588827 109117440 1585 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29115] ppid=29105 vsize=106560 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29115/stat : 29115 (mono) S 29105 29107 27953 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 720588827 109117440 1585 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101521841 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 106560

[startup+0.100763 s]
/proc/loadavg: 2.11 2.03 2.02 2/472 29107
/proc/meminfo: memFree=10064548/32950928 swapFree=62427732/67111528
[pid=29107] ppid=29105 vsize=107824 CPUtime=0.09 cores=0,2,4,6
/proc/29107/stat : 29107 (mono) R 29105 29107 27953 0 -1 4202496 1984 0 0 0 9 0 0 0 25 0 9 0 720588826 110411776 1888 33554432000 4194304 7232020 140734350714672 18446744073709551615 4764872 0 0 4096 545260780 18446744073709551615 0 0 17 2 0 0 0
/proc/29107/statm: 26956 1888 975 742 0 19527 0
[pid=29107/tid=29108] ppid=29105 vsize=107824 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29108/stat : 29108 (mono) S 29105 29107 27953 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 720588827 110411776 1890 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29109] ppid=29105 vsize=107824 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29109/stat : 29109 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720588827 110411776 1890 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29110] ppid=29105 vsize=107824 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29110/stat : 29110 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720588827 110411776 1890 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29111] ppid=29105 vsize=107824 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29111/stat : 29111 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720588827 110411776 1891 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
[pid=29107/tid=29112] ppid=29105 vsize=107824 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29112/stat : 29112 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720588827 110411776 1891 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29113] ppid=29105 vsize=107824 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29113/stat : 29113 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720588827 110411776 1891 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
[pid=29107/tid=29114] ppid=29105 vsize=107824 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29114/stat : 29114 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720588827 110411776 1891 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29115] ppid=29105 vsize=107824 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29115/stat : 29115 (mono) S 29105 29107 27953 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 720588827 110411776 1891 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101521841 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 107824

[startup+0.304788 s]
/proc/loadavg: 2.11 2.03 2.02 2/472 29107
/proc/meminfo: memFree=10064548/32950928 swapFree=62427732/67111528
[pid=29107] ppid=29105 vsize=122844 CPUtime=0.29 cores=0,2,4,6
/proc/29107/stat : 29107 (mono) R 29105 29107 27953 0 -1 4202496 5694 0 0 0 29 0 0 0 18 0 9 0 720588826 125792256 5598 33554432000 4194304 7232020 140734350714672 18446744073709551615 1097849877 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/29107/statm: 30711 5598 1024 742 0 23282 0
[pid=29107/tid=29108] ppid=29105 vsize=122844 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29108/stat : 29108 (mono) S 29105 29107 27953 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 9 0 720588827 125792256 5598 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 6 0 0 0
[pid=29107/tid=29109] ppid=29105 vsize=122844 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29109/stat : 29109 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 720588827 125792256 5598 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29110] ppid=29105 vsize=122844 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29110/stat : 29110 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 720588827 125792256 5598 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29111] ppid=29105 vsize=122844 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29111/stat : 29111 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 720588827 125792256 5598 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29112] ppid=29105 vsize=122844 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29112/stat : 29112 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 720588827 125792256 5598 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
[pid=29107/tid=29113] ppid=29105 vsize=122844 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29113/stat : 29113 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720588827 125792256 5598 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 6 0 0 0
[pid=29107/tid=29114] ppid=29105 vsize=122844 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29114/stat : 29114 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720588827 125792256 5598 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29115] ppid=29105 vsize=122844 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29115/stat : 29115 (mono) S 29105 29107 27953 0 -1 4202560 3 0 0 0 0 0 0 0 23 0 9 0 720588827 125792256 5598 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101521841 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 122844

[startup+0.700716 s]
/proc/loadavg: 2.11 2.03 2.02 2/472 29107
/proc/meminfo: memFree=10064548/32950928 swapFree=62427732/67111528
[pid=29107] ppid=29105 vsize=123100 CPUtime=0.69 cores=0,2,4,6
/proc/29107/stat : 29107 (mono) R 29105 29107 27953 0 -1 4202496 5875 0 0 0 69 0 0 0 18 0 9 0 720588826 126054400 5779 33554432000 4194304 7232020 140734350714672 18446744073709551615 1097853591 0 0 4096 545260780 18446744073709551615 0 0 17 2 0 0 0
/proc/29107/statm: 30775 5779 1024 742 0 23346 0
[pid=29107/tid=29108] ppid=29105 vsize=123100 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29108/stat : 29108 (mono) S 29105 29107 27953 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 720588827 126054400 5779 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 6 0 0 0
[pid=29107/tid=29109] ppid=29105 vsize=123100 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29109/stat : 29109 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 720588827 126054400 5779 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 6 0 0 0
[pid=29107/tid=29110] ppid=29105 vsize=123100 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29110/stat : 29110 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 720588827 126054400 5779 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29111] ppid=29105 vsize=123100 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29111/stat : 29111 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 720588827 126054400 5779 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
[pid=29107/tid=29112] ppid=29105 vsize=123100 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29112/stat : 29112 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 720588827 126054400 5779 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29113] ppid=29105 vsize=123100 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29113/stat : 29113 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 720588827 126054400 5779 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 6 0 0 0
[pid=29107/tid=29114] ppid=29105 vsize=123100 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29114/stat : 29114 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 720588827 126054400 5779 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 6 0 0 0
[pid=29107/tid=29115] ppid=29105 vsize=123100 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29115/stat : 29115 (mono) S 29105 29107 27953 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 9 0 720588827 126054400 5779 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101521841 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 123100

[startup+1.50052 s]
/proc/loadavg: 2.11 2.03 2.02 3/470 29122
/proc/meminfo: memFree=10104004/32950928 swapFree=62427732/67111528
[pid=29107] ppid=29105 vsize=128764 CPUtime=1.51 cores=0,2,4,6
/proc/29107/stat : 29107 (mono) R 29105 29107 27953 0 -1 4202496 6864 0 0 0 150 1 0 0 18 0 9 0 720588826 131854336 6768 33554432000 4194304 7232020 140734350714672 18446744073709551615 1097853572 0 0 4096 545260780 18446744073709551615 0 0 17 6 0 0 0
/proc/29107/statm: 32191 6768 1024 742 0 24762 0
[pid=29107/tid=29108] ppid=29105 vsize=128764 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29108/stat : 29108 (mono) S 29105 29107 27953 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 9 0 720588827 131854336 6768 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
[pid=29107/tid=29109] ppid=29105 vsize=128764 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29109/stat : 29109 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 720588827 131854336 6768 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
[pid=29107/tid=29110] ppid=29105 vsize=128764 CPUtime=0.01 cores=0,2,4,6
/proc/29107/task/29110/stat : 29110 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 720588827 131854336 6768 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29111] ppid=29105 vsize=128764 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29111/stat : 29111 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 720588827 131854336 6768 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29112] ppid=29105 vsize=128764 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29112/stat : 29112 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 720588827 131854336 6768 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 6 0 0 0
[pid=29107/tid=29113] ppid=29105 vsize=128764 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29113/stat : 29113 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 720588827 131854336 6768 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29114] ppid=29105 vsize=128764 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29114/stat : 29114 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 720588827 131854336 6768 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 6 0 0 0
[pid=29107/tid=29115] ppid=29105 vsize=128764 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29115/stat : 29115 (mono) S 29105 29107 27953 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 720588827 131854336 6768 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101521841 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 128764

[startup+3.1013 s]
/proc/loadavg: 2.11 2.03 2.02 3/481 29151
/proc/meminfo: memFree=10077656/32950928 swapFree=62427732/67111528
[pid=29107] ppid=29105 vsize=136216 CPUtime=3.13 cores=0,2,4,6
/proc/29107/stat : 29107 (mono) R 29105 29107 27953 0 -1 4202496 7748 0 0 0 312 1 0 0 18 0 9 0 720588826 139485184 7652 33554432000 4194304 7232020 140734350714672 18446744073709551615 1097865379 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/29107/statm: 34054 7652 1024 742 0 26625 0
[pid=29107/tid=29108] ppid=29105 vsize=136216 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29108/stat : 29108 (mono) S 29105 29107 27953 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 720588827 139485184 7652 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 6 0 0 0
[pid=29107/tid=29109] ppid=29105 vsize=136216 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29109/stat : 29109 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 720588827 139485184 7652 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
[pid=29107/tid=29110] ppid=29105 vsize=136216 CPUtime=0.01 cores=0,2,4,6
/proc/29107/task/29110/stat : 29110 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 720588827 139485184 7652 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29111] ppid=29105 vsize=136216 CPUtime=0.01 cores=0,2,4,6
/proc/29107/task/29111/stat : 29111 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 720588827 139485184 7652 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29112] ppid=29105 vsize=136216 CPUtime=0.01 cores=0,2,4,6
/proc/29107/task/29112/stat : 29112 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 720588827 139485184 7652 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 6 0 0 0
[pid=29107/tid=29113] ppid=29105 vsize=136216 CPUtime=0.01 cores=0,2,4,6
/proc/29107/task/29113/stat : 29113 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 720588827 139485184 7652 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
[pid=29107/tid=29114] ppid=29105 vsize=136216 CPUtime=0.01 cores=0,2,4,6
/proc/29107/task/29114/stat : 29114 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 720588827 139485184 7652 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 6 0 0 0
[pid=29107/tid=29115] ppid=29105 vsize=136216 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29115/stat : 29115 (mono) S 29105 29107 27953 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 720588827 139485184 7652 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101521841 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 136216

[startup+6.30062 s]
/proc/loadavg: 2.10 2.03 2.02 3/481 29151
/proc/meminfo: memFree=10064072/32950928 swapFree=62427732/67111528
[pid=29107] ppid=29105 vsize=144536 CPUtime=6.4 cores=0,2,4,6
/proc/29107/stat : 29107 (mono) R 29105 29107 27953 0 -1 4202496 9405 0 0 0 639 1 0 0 19 0 9 0 720588826 148004864 9309 33554432000 4194304 7232020 140734350714672 18446744073709551615 1097869801 0 0 4096 545260780 18446744073709551615 0 0 17 6 0 0 0
/proc/29107/statm: 36134 9309 1025 742 0 28705 0
[pid=29107/tid=29108] ppid=29105 vsize=144536 CPUtime=0.02 cores=0,2,4,6
/proc/29107/task/29108/stat : 29108 (mono) S 29105 29107 27953 0 -1 4202560 4 0 0 0 2 0 0 0 15 0 9 0 720588827 148004864 9309 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
[pid=29107/tid=29109] ppid=29105 vsize=144536 CPUtime=0.01 cores=0,2,4,6
/proc/29107/task/29109/stat : 29109 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 720588827 148004864 9309 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
[pid=29107/tid=29110] ppid=29105 vsize=144536 CPUtime=0.03 cores=0,2,4,6
/proc/29107/task/29110/stat : 29110 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 720588827 148004864 9309 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
[pid=29107/tid=29111] ppid=29105 vsize=144536 CPUtime=0.02 cores=0,2,4,6
/proc/29107/task/29111/stat : 29111 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720588827 148004864 9309 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
[pid=29107/tid=29112] ppid=29105 vsize=144536 CPUtime=0.02 cores=0,2,4,6
/proc/29107/task/29112/stat : 29112 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720588827 148004864 9309 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 6 0 0 0
[pid=29107/tid=29113] ppid=29105 vsize=144536 CPUtime=0.02 cores=0,2,4,6
/proc/29107/task/29113/stat : 29113 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720588827 148004864 9309 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29114] ppid=29105 vsize=144536 CPUtime=0.02 cores=0,2,4,6
/proc/29107/task/29114/stat : 29114 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720588827 148004864 9309 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
[pid=29107/tid=29115] ppid=29105 vsize=144536 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29115/stat : 29115 (mono) S 29105 29107 27953 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 720588827 148004864 9309 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101521841 0 0 4096 545260780 18446604453641381824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 144536

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

[startup+7.10053 s]
/proc/loadavg: 2.10 2.03 2.02 3/481 29151
/proc/meminfo: memFree=10059360/32950928 swapFree=62427732/67111528
[pid=29107] ppid=29105 vsize=144536 CPUtime=7.22 cores=0,2,4,6
/proc/29107/stat : 29107 (mono) R 29105 29107 27953 0 -1 4202496 9410 0 0 0 720 2 0 0 18 0 9 0 720588826 148004864 9314 33554432000 4194304 7232020 140734350714672 18446744073709551615 1097853349 0 0 4096 545260780 18446744073709551615 0 0 17 2 0 0 0
/proc/29107/statm: 36134 9314 1025 742 0 28705 0
[pid=29107/tid=29108] ppid=29105 vsize=144536 CPUtime=0.02 cores=0,2,4,6
/proc/29107/task/29108/stat : 29108 (mono) S 29105 29107 27953 0 -1 4202560 4 0 0 0 2 0 0 0 15 0 9 0 720588827 148004864 9314 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
[pid=29107/tid=29109] ppid=29105 vsize=144536 CPUtime=0.02 cores=0,2,4,6
/proc/29107/task/29109/stat : 29109 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720588827 148004864 9314 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29110] ppid=29105 vsize=144536 CPUtime=0.03 cores=0,2,4,6
/proc/29107/task/29110/stat : 29110 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 720588827 148004864 9314 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 6 0 0 0
[pid=29107/tid=29111] ppid=29105 vsize=144536 CPUtime=0.03 cores=0,2,4,6
/proc/29107/task/29111/stat : 29111 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 720588827 148004864 9314 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
[pid=29107/tid=29112] ppid=29105 vsize=144536 CPUtime=0.02 cores=0,2,4,6
/proc/29107/task/29112/stat : 29112 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720588827 148004864 9314 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29113] ppid=29105 vsize=144536 CPUtime=0.02 cores=0,2,4,6
/proc/29107/task/29113/stat : 29113 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720588827 148004864 9314 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 6 0 0 0
[pid=29107/tid=29114] ppid=29105 vsize=144536 CPUtime=0.03 cores=0,2,4,6
/proc/29107/task/29114/stat : 29114 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 720588827 148004864 9314 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29115] ppid=29105 vsize=144536 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29115/stat : 29115 (mono) S 29105 29107 27953 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 720588827 148004864 9314 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101521841 0 0 4096 545260780 18446604453641381824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.22
Current children cumulated vsize (KiB) 144536

[startup+7.50041 s]
/proc/loadavg: 2.10 2.03 2.02 3/481 29151
/proc/meminfo: memFree=10059360/32950928 swapFree=62427732/67111528
[pid=29107] ppid=29105 vsize=144536 CPUtime=7.62 cores=0,2,4,6
/proc/29107/stat : 29107 (mono) R 29105 29107 27953 0 -1 4202496 9422 0 0 0 760 2 0 0 18 0 9 0 720588826 148004864 8952 33554432000 4194304 7232020 140734350714672 18446744073709551615 1097831805 0 0 4096 545260780 18446744073709551615 0 0 17 6 0 0 0
/proc/29107/statm: 36134 8952 1025 742 0 28705 0
[pid=29107/tid=29108] ppid=29105 vsize=144536 CPUtime=0.03 cores=0,2,4,6
/proc/29107/task/29108/stat : 29108 (mono) S 29105 29107 27953 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 9 0 720588827 148004864 8952 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 6 0 0 0
[pid=29107/tid=29109] ppid=29105 vsize=144536 CPUtime=0.02 cores=0,2,4,6
/proc/29107/task/29109/stat : 29109 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720588827 148004864 8952 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 6 0 0 0
[pid=29107/tid=29110] ppid=29105 vsize=144536 CPUtime=0.04 cores=0,2,4,6
/proc/29107/task/29110/stat : 29110 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 720588827 148004864 8952 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 6 0 0 0
[pid=29107/tid=29111] ppid=29105 vsize=144536 CPUtime=0.03 cores=0,2,4,6
/proc/29107/task/29111/stat : 29111 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 720588827 148004864 8952 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 6 0 0 0
[pid=29107/tid=29112] ppid=29105 vsize=144536 CPUtime=0.02 cores=0,2,4,6
/proc/29107/task/29112/stat : 29112 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720588827 148004864 8952 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
[pid=29107/tid=29113] ppid=29105 vsize=144536 CPUtime=0.02 cores=0,2,4,6
/proc/29107/task/29113/stat : 29113 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720588827 148004864 8952 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29114] ppid=29105 vsize=144536 CPUtime=0.03 cores=0,2,4,6
/proc/29107/task/29114/stat : 29114 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 720588827 148004864 8952 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29115] ppid=29105 vsize=144536 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29115/stat : 29115 (mono) S 29105 29107 27953 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 720588827 148004864 8952 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101521841 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.62
Current children cumulated vsize (KiB) 144536

[startup+7.90139 s]
/proc/loadavg: 2.10 2.03 2.02 3/481 29151
/proc/meminfo: memFree=10057836/32950928 swapFree=62427732/67111528
[pid=29107] ppid=29105 vsize=144536 CPUtime=8.02 cores=0,2,4,6
/proc/29107/stat : 29107 (mono) R 29105 29107 27953 0 -1 4202496 9587 0 0 0 800 2 0 0 18 0 9 0 720588826 148004864 9023 33554432000 4194304 7232020 140734350714672 18446744073709551615 1097849775 0 0 4096 545260780 18446744073709551615 0 0 17 6 0 0 0
/proc/29107/statm: 36134 9023 1025 742 0 28705 0
[pid=29107/tid=29108] ppid=29105 vsize=144536 CPUtime=0.03 cores=0,2,4,6
/proc/29107/task/29108/stat : 29108 (mono) S 29105 29107 27953 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 9 0 720588827 148004864 9023 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 6 0 0 0
[pid=29107/tid=29109] ppid=29105 vsize=144536 CPUtime=0.02 cores=0,2,4,6
/proc/29107/task/29109/stat : 29109 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720588827 148004864 9023 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
[pid=29107/tid=29110] ppid=29105 vsize=144536 CPUtime=0.04 cores=0,2,4,6
/proc/29107/task/29110/stat : 29110 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 720588827 148004864 9023 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 6 0 0 0
[pid=29107/tid=29111] ppid=29105 vsize=144536 CPUtime=0.03 cores=0,2,4,6
/proc/29107/task/29111/stat : 29111 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 720588827 148004864 9023 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 6 0 0 0
[pid=29107/tid=29112] ppid=29105 vsize=144536 CPUtime=0.03 cores=0,2,4,6
/proc/29107/task/29112/stat : 29112 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 720588827 148004864 9023 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
[pid=29107/tid=29113] ppid=29105 vsize=144536 CPUtime=0.03 cores=0,2,4,6
/proc/29107/task/29113/stat : 29113 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 720588827 148004864 9023 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29114] ppid=29105 vsize=144536 CPUtime=0.03 cores=0,2,4,6
/proc/29107/task/29114/stat : 29114 (mono) S 29105 29107 27953 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 720588827 148004864 9023 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101514137 0 0 4096 545260780 18446604453641381824 0 0 -1 4 0 0 0
[pid=29107/tid=29115] ppid=29105 vsize=144536 CPUtime=0 cores=0,2,4,6
/proc/29107/task/29115/stat : 29115 (mono) S 29105 29107 27953 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 720588827 148004864 9023 33554432000 4194304 7232020 140734350714672 18446744073709551615 248101521841 0 0 4096 545260780 18446604453641381824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.02
Current children cumulated vsize (KiB) 144536

Child status: 0
Real time (s): 7.98466
CPU time (s): 8.11577
CPU user time (s): 8.09177
CPU system time (s): 0.023996
CPU usage (%): 101.642
Max. virtual memory (cumulated for all children) (KiB): 144536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.09177
system time used= 0.023996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9732
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= 4717
involuntary context switches= 806

runsolver used 0.038994 second user time and 0.098984 second system time

The end