runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3292890-1303792577/watcher-3292890-1303792577 -o /tmp/evaluation-result-3292890-1303792577/solver-3292890-1303792577 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3292890-1303792577.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: 3.81 3.95 3.72 5/202 7576
/proc/meminfo: memFree=11334032/32951124 swapFree=67111528/67111528
[pid=7576] ppid=7574 vsize=102604 CPUtime=0 cores=1,3
/proc/7576/stat : 7576 (mono) R 7574 7576 6508 0 -1 4202496 886 0 0 0 0 0 0 0 25 0 8 0 471673580 105066496 794 33554432000 4194304 7232020 140733712655728 18446744073709551615 5666888 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/7576/statm: 25651 799 626 742 0 18222 0
[pid=7576/tid=7577] ppid=7574 vsize=102604 CPUtime=0 cores=1,3
/proc/7576/task/7577/stat : 7577 (mono) S 7574 7576 6508 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 8 0 471673580 105066496 805 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7578] ppid=7574 vsize=102604 CPUtime=0 cores=1,3
/proc/7576/task/7578/stat : 7578 (mono) S 7574 7576 6508 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 471673580 105066496 809 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7579] ppid=7574 vsize=102604 CPUtime=0 cores=1,3
/proc/7576/task/7579/stat : 7579 (mono) S 7574 7576 6508 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 471673580 105066496 810 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7580] ppid=7574 vsize=102604 CPUtime=0 cores=1,3
/proc/7576/task/7580/stat : 7580 (mono) S 7574 7576 6508 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 471673580 105066496 811 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7581] ppid=7574 vsize=102604 CPUtime=0 cores=1,3
/proc/7576/task/7581/stat : 7581 (mono) S 7574 7576 6508 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 471673580 105066496 813 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7582] ppid=7574 vsize=102604 CPUtime=0 cores=1,3
/proc/7576/task/7582/stat : 7582 (mono) S 7574 7576 6508 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 471673580 105066496 816 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7583] ppid=7574 vsize=102604 CPUtime=0 cores=1,3
/proc/7576/task/7583/stat : 7583 (mono) S 7574 7576 6508 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 471673580 105066496 816 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[startup+0.0598631 s]
/proc/loadavg: 3.81 3.95 3.72 5/202 7576
/proc/meminfo: memFree=11334032/32951124 swapFree=67111528/67111528
[pid=7576] ppid=7574 vsize=109052 CPUtime=0.05 cores=1,3
/proc/7576/stat : 7576 (mono) R 7574 7576 6508 0 -1 4202496 2213 0 0 0 5 0 0 0 18 0 9 0 471673580 111669248 2119 33554432000 4194304 7232020 140733712655728 18446744073709551615 1078047878 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/7576/statm: 27263 2119 975 742 0 19834 0
[pid=7576/tid=7577] ppid=7574 vsize=109052 CPUtime=0 cores=1,3
/proc/7576/task/7577/stat : 7577 (mono) S 7574 7576 6508 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 471673580 111669248 2119 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7578] ppid=7574 vsize=109052 CPUtime=0 cores=1,3
/proc/7576/task/7578/stat : 7578 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 471673580 111669248 2119 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7579] ppid=7574 vsize=109052 CPUtime=0 cores=1,3
/proc/7576/task/7579/stat : 7579 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 471673580 111669248 2119 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7580] ppid=7574 vsize=109052 CPUtime=0 cores=1,3
/proc/7576/task/7580/stat : 7580 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 471673580 111669248 2119 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7581] ppid=7574 vsize=109052 CPUtime=0 cores=1,3
/proc/7576/task/7581/stat : 7581 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 471673580 111669248 2119 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7582] ppid=7574 vsize=109052 CPUtime=0 cores=1,3
/proc/7576/task/7582/stat : 7582 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 471673580 111669248 2119 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7583] ppid=7574 vsize=109052 CPUtime=0 cores=1,3
/proc/7576/task/7583/stat : 7583 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 471673580 111669248 2119 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 109052
[startup+0.100857 s]
/proc/loadavg: 3.81 3.95 3.72 5/202 7576
/proc/meminfo: memFree=11334032/32951124 swapFree=67111528/67111528
[pid=7576] ppid=7574 vsize=110148 CPUtime=0.09 cores=1,3
/proc/7576/stat : 7576 (mono) R 7574 7576 6508 0 -1 4202496 2563 0 0 0 9 0 0 0 18 0 9 0 471673580 112791552 2469 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522124235 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/7576/statm: 27537 2469 975 742 0 20108 0
[pid=7576/tid=7577] ppid=7574 vsize=110148 CPUtime=0 cores=1,3
/proc/7576/task/7577/stat : 7577 (mono) S 7574 7576 6508 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 471673580 112791552 2469 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7578] ppid=7574 vsize=110148 CPUtime=0 cores=1,3
/proc/7576/task/7578/stat : 7578 (mono) R 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 471673580 112791552 2469 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522123445 0 0 4096 545260780 0 0 0 -1 1 0 0 0
[pid=7576/tid=7579] ppid=7574 vsize=110148 CPUtime=0 cores=1,3
/proc/7576/task/7579/stat : 7579 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 471673580 112791552 2469 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7580] ppid=7574 vsize=110148 CPUtime=0 cores=1,3
/proc/7576/task/7580/stat : 7580 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 471673580 112791552 2469 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7581] ppid=7574 vsize=110148 CPUtime=0 cores=1,3
/proc/7576/task/7581/stat : 7581 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 471673580 112791552 2469 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7582] ppid=7574 vsize=110148 CPUtime=0 cores=1,3
/proc/7576/task/7582/stat : 7582 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 471673580 112791552 2469 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7583] ppid=7574 vsize=110148 CPUtime=0 cores=1,3
/proc/7576/task/7583/stat : 7583 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 471673580 112791552 2469 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 110148
[startup+0.306823 s]
/proc/loadavg: 3.81 3.95 3.72 5/202 7576
/proc/meminfo: memFree=11334032/32951124 swapFree=67111528/67111528
[pid=7576] ppid=7574 vsize=116488 CPUtime=0.31 cores=1,3
/proc/7576/stat : 7576 (mono) R 7574 7576 6508 0 -1 4202496 3915 0 0 0 31 0 0 0 18 0 9 0 471673580 119283712 3821 33554432000 4194304 7232020 140733712655728 18446744073709551615 1078059562 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/7576/statm: 29122 3821 994 742 0 21693 0
[pid=7576/tid=7577] ppid=7574 vsize=116488 CPUtime=0 cores=1,3
/proc/7576/task/7577/stat : 7577 (mono) S 7574 7576 6508 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 9 0 471673580 119283712 3821 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7578] ppid=7574 vsize=116488 CPUtime=0 cores=1,3
/proc/7576/task/7578/stat : 7578 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 471673580 119283712 3821 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7579] ppid=7574 vsize=116488 CPUtime=0 cores=1,3
/proc/7576/task/7579/stat : 7579 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 471673580 119283712 3821 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7580] ppid=7574 vsize=116488 CPUtime=0 cores=1,3
/proc/7576/task/7580/stat : 7580 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 471673580 119283712 3821 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7581] ppid=7574 vsize=116488 CPUtime=0 cores=1,3
/proc/7576/task/7581/stat : 7581 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 471673580 119283712 3821 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7582] ppid=7574 vsize=116488 CPUtime=0.01 cores=1,3
/proc/7576/task/7582/stat : 7582 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 471673580 119283712 3821 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7583] ppid=7574 vsize=116488 CPUtime=0 cores=1,3
/proc/7576/task/7583/stat : 7583 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 471673580 119283712 3821 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 116488
[startup+1.63658 s]
/proc/loadavg: 3.81 3.95 3.72 5/202 7576
/proc/meminfo: memFree=11334032/32951124 swapFree=67111528/67111528
[pid=7576] ppid=7574 vsize=217492 CPUtime=1.68 cores=1,3
/proc/7576/stat : 7576 (mono) R 7574 7576 6508 0 -1 4202496 29021 0 0 0 165 3 0 0 18 0 9 0 471673580 222711808 28927 33554432000 4194304 7232020 140733712655728 18446744073709551615 1091874855 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/7576/statm: 54373 28927 999 742 0 46944 0
[pid=7576/tid=7577] ppid=7574 vsize=217492 CPUtime=0 cores=1,3
/proc/7576/task/7577/stat : 7577 (mono) S 7574 7576 6508 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 9 0 471673580 222711808 28927 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7578] ppid=7574 vsize=217492 CPUtime=0 cores=1,3
/proc/7576/task/7578/stat : 7578 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 471673580 222711808 28927 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7579] ppid=7574 vsize=217492 CPUtime=0 cores=1,3
/proc/7576/task/7579/stat : 7579 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 471673580 222711808 28927 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7580] ppid=7574 vsize=217492 CPUtime=0 cores=1,3
/proc/7576/task/7580/stat : 7580 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 471673580 222711808 28927 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7581] ppid=7574 vsize=217492 CPUtime=0 cores=1,3
/proc/7576/task/7581/stat : 7581 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 471673580 222711808 28927 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7582] ppid=7574 vsize=217492 CPUtime=0.03 cores=1,3
/proc/7576/task/7582/stat : 7582 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 471673580 222711808 28927 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7583] ppid=7574 vsize=217492 CPUtime=0 cores=1,3
/proc/7576/task/7583/stat : 7583 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 471673580 222711808 28927 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 217492
[startup+1.70057 s]
/proc/loadavg: 3.81 3.95 3.72 5/202 7576
/proc/meminfo: memFree=11334032/32951124 swapFree=67111528/67111528
[pid=7576] ppid=7574 vsize=217492 CPUtime=1.74 cores=1,3
/proc/7576/stat : 7576 (mono) R 7574 7576 6508 0 -1 4202496 29021 0 0 0 171 3 0 0 18 0 9 0 471673580 222711808 28927 33554432000 4194304 7232020 140733712655728 18446744073709551615 1078073064 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/7576/statm: 54373 28927 999 742 0 46944 0
[pid=7576/tid=7577] ppid=7574 vsize=217492 CPUtime=0 cores=1,3
/proc/7576/task/7577/stat : 7577 (mono) S 7574 7576 6508 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 9 0 471673580 222711808 28927 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7578] ppid=7574 vsize=217492 CPUtime=0 cores=1,3
/proc/7576/task/7578/stat : 7578 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 471673580 222711808 28927 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7579] ppid=7574 vsize=217492 CPUtime=0 cores=1,3
/proc/7576/task/7579/stat : 7579 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 471673580 222711808 28927 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7580] ppid=7574 vsize=217492 CPUtime=0 cores=1,3
/proc/7576/task/7580/stat : 7580 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 471673580 222711808 28927 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7581] ppid=7574 vsize=217492 CPUtime=0 cores=1,3
/proc/7576/task/7581/stat : 7581 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 471673580 222711808 28927 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7582] ppid=7574 vsize=217492 CPUtime=0.03 cores=1,3
/proc/7576/task/7582/stat : 7582 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 471673580 222711808 28927 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7583] ppid=7574 vsize=217492 CPUtime=0 cores=1,3
/proc/7576/task/7583/stat : 7583 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 471673580 222711808 28927 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 217492
[startup+3.10133 s]
/proc/loadavg: 3.81 3.95 3.72 5/222 7599
/proc/meminfo: memFree=11076716/32951124 swapFree=67111528/67111528
[pid=7576] ppid=7574 vsize=242516 CPUtime=3.14 cores=1,3
/proc/7576/stat : 7576 (mono) R 7574 7576 6508 0 -1 4202496 34630 0 0 0 311 3 0 0 20 0 9 0 471673580 248336384 34536 33554432000 4194304 7232020 140733712655728 18446744073709551615 1078072382 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/7576/statm: 60629 34536 999 742 0 53200 0
[pid=7576/tid=7577] ppid=7574 vsize=242516 CPUtime=0 cores=1,3
/proc/7576/task/7577/stat : 7577 (mono) S 7574 7576 6508 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 9 0 471673580 248336384 34536 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7578] ppid=7574 vsize=242516 CPUtime=0 cores=1,3
/proc/7576/task/7578/stat : 7578 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 471673580 248336384 34536 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7579] ppid=7574 vsize=242516 CPUtime=0 cores=1,3
/proc/7576/task/7579/stat : 7579 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 471673580 248336384 34536 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7580] ppid=7574 vsize=242516 CPUtime=0 cores=1,3
/proc/7576/task/7580/stat : 7580 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 471673580 248336384 34536 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7581] ppid=7574 vsize=242516 CPUtime=0 cores=1,3
/proc/7576/task/7581/stat : 7581 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 471673580 248336384 34536 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7582] ppid=7574 vsize=242516 CPUtime=0.03 cores=1,3
/proc/7576/task/7582/stat : 7582 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 471673580 248336384 34536 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7583] ppid=7574 vsize=242516 CPUtime=0 cores=1,3
/proc/7576/task/7583/stat : 7583 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 471673580 248336384 34536 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7585] ppid=7574 vsize=242516 CPUtime=0 cores=1,3
/proc/7576/task/7585/stat : 7585 (mono) S 7574 7576 6508 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 9 0 471673581 248336384 34536 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522121137 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.14
Current children cumulated vsize (KiB) 242516
[startup+6.30075 s]
/proc/loadavg: 3.82 3.95 3.72 5/222 7599
/proc/meminfo: memFree=10923800/32951124 swapFree=67111528/67111528
[pid=7576] ppid=7574 vsize=267604 CPUtime=6.37 cores=1,3
/proc/7576/stat : 7576 (mono) R 7574 7576 6508 0 -1 4202496 40401 0 0 0 633 4 0 0 19 0 9 0 471673580 274026496 40307 33554432000 4194304 7232020 140733712655728 18446744073709551615 1078054352 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/7576/statm: 66901 40307 999 742 0 59472 0
[pid=7576/tid=7577] ppid=7574 vsize=267604 CPUtime=0 cores=1,3
/proc/7576/task/7577/stat : 7577 (mono) S 7574 7576 6508 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 9 0 471673580 274026496 40307 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7578] ppid=7574 vsize=267604 CPUtime=0 cores=1,3
/proc/7576/task/7578/stat : 7578 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 471673580 274026496 40307 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7579] ppid=7574 vsize=267604 CPUtime=0 cores=1,3
/proc/7576/task/7579/stat : 7579 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 471673580 274026496 40307 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7580] ppid=7574 vsize=267604 CPUtime=0 cores=1,3
/proc/7576/task/7580/stat : 7580 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 471673580 274026496 40307 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7581] ppid=7574 vsize=267604 CPUtime=0.01 cores=1,3
/proc/7576/task/7581/stat : 7581 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 471673580 274026496 40307 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7582] ppid=7574 vsize=267604 CPUtime=0.04 cores=1,3
/proc/7576/task/7582/stat : 7582 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 471673580 274026496 40307 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=7576/tid=7577] ppid=7574 vsize=418404 CPUtime=0.05 cores=1,3
/proc/7576/task/7577/stat : 7577 (mono) S 7574 7576 6508 0 -1 4202560 4 0 0 0 5 0 0 0 15 0 9 0 471673580 428445696 77879 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7578] ppid=7574 vsize=418404 CPUtime=0.06 cores=1,3
/proc/7576/task/7578/stat : 7578 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 471673580 428445696 77879 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7579] ppid=7574 vsize=418404 CPUtime=0.08 cores=1,3
/proc/7576/task/7579/stat : 7579 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 8 0 0 0 16 0 9 0 471673580 428445696 77879 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7580] ppid=7574 vsize=418404 CPUtime=0.04 cores=1,3
/proc/7576/task/7580/stat : 7580 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 471673580 428445696 77879 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7581] ppid=7574 vsize=418404 CPUtime=0.05 cores=1,3
/proc/7576/task/7581/stat : 7581 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 471673580 428445696 77879 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7582] ppid=7574 vsize=418404 CPUtime=0.07 cores=1,3
/proc/7576/task/7582/stat : 7582 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 7 0 0 0 15 0 9 0 471673580 428445696 77879 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7583] ppid=7574 vsize=418404 CPUtime=0.06 cores=1,3
/proc/7576/task/7583/stat : 7583 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 471673580 428445696 77879 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7585] ppid=7574 vsize=418404 CPUtime=0 cores=1,3
/proc/7576/task/7585/stat : 7585 (mono) S 7574 7576 6508 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471673581 428445696 77879 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522121137 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.36
Current children cumulated vsize (KiB) 418404
Solver just ended. Dumping a history of the last processes samples
[startup+52.3005 s]
/proc/loadavg: 4.54 4.16 3.81 5/222 7636
/proc/meminfo: memFree=4973480/32951124 swapFree=67111528/67111528
[pid=7576] ppid=7574 vsize=418404 CPUtime=52.56 cores=1,3
/proc/7576/stat : 7576 (mono) R 7574 7576 6508 0 -1 4202496 77973 0 0 0 5247 9 0 0 20 0 9 0 471673580 428445696 77879 33554432000 4194304 7232020 140733712655728 18446744073709551615 1091890271 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/7576/statm: 104601 77879 1003 742 0 97172 0
[pid=7576/tid=7577] ppid=7574 vsize=418404 CPUtime=0.05 cores=1,3
/proc/7576/task/7577/stat : 7577 (mono) S 7574 7576 6508 0 -1 4202560 4 0 0 0 5 0 0 0 15 0 9 0 471673580 428445696 77879 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7578] ppid=7574 vsize=418404 CPUtime=0.06 cores=1,3
/proc/7576/task/7578/stat : 7578 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 471673580 428445696 77879 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7579] ppid=7574 vsize=418404 CPUtime=0.08 cores=1,3
/proc/7576/task/7579/stat : 7579 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 8 0 0 0 16 0 9 0 471673580 428445696 77879 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7580] ppid=7574 vsize=418404 CPUtime=0.04 cores=1,3
/proc/7576/task/7580/stat : 7580 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 471673580 428445696 77879 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7581] ppid=7574 vsize=418404 CPUtime=0.05 cores=1,3
/proc/7576/task/7581/stat : 7581 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 471673580 428445696 77879 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7582] ppid=7574 vsize=418404 CPUtime=0.07 cores=1,3
/proc/7576/task/7582/stat : 7582 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 7 0 0 0 15 0 9 0 471673580 428445696 77879 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7583] ppid=7574 vsize=418404 CPUtime=0.06 cores=1,3
/proc/7576/task/7583/stat : 7583 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 471673580 428445696 77879 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7585] ppid=7574 vsize=418404 CPUtime=0 cores=1,3
/proc/7576/task/7585/stat : 7585 (mono) S 7574 7576 6508 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471673581 428445696 77879 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522121137 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 52.56
Current children cumulated vsize (KiB) 418404
[startup+55.5009 s]
/proc/loadavg: 4.58 4.17 3.81 5/222 7636
/proc/meminfo: memFree=4968900/32951124 swapFree=67111528/67111528
[pid=7576] ppid=7574 vsize=418404 CPUtime=55.76 cores=1,3
/proc/7576/stat : 7576 (mono) R 7574 7576 6508 0 -1 4202496 77974 0 0 0 5567 9 0 0 25 0 9 0 471673580 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 1091906044 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/7576/statm: 104601 77880 1003 742 0 97172 0
[pid=7576/tid=7577] ppid=7574 vsize=418404 CPUtime=0.05 cores=1,3
/proc/7576/task/7577/stat : 7577 (mono) S 7574 7576 6508 0 -1 4202560 4 0 0 0 5 0 0 0 15 0 9 0 471673580 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7578] ppid=7574 vsize=418404 CPUtime=0.06 cores=1,3
/proc/7576/task/7578/stat : 7578 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 471673580 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7579] ppid=7574 vsize=418404 CPUtime=0.08 cores=1,3
/proc/7576/task/7579/stat : 7579 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 8 0 0 0 16 0 9 0 471673580 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7580] ppid=7574 vsize=418404 CPUtime=0.04 cores=1,3
/proc/7576/task/7580/stat : 7580 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 471673580 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7581] ppid=7574 vsize=418404 CPUtime=0.05 cores=1,3
/proc/7576/task/7581/stat : 7581 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 471673580 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7582] ppid=7574 vsize=418404 CPUtime=0.07 cores=1,3
/proc/7576/task/7582/stat : 7582 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 7 0 0 0 15 0 9 0 471673580 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7583] ppid=7574 vsize=418404 CPUtime=0.06 cores=1,3
/proc/7576/task/7583/stat : 7583 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 471673580 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7585] ppid=7574 vsize=418404 CPUtime=0 cores=1,3
/proc/7576/task/7585/stat : 7585 (mono) S 7574 7576 6508 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471673581 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522121137 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 55.76
Current children cumulated vsize (KiB) 418404
[startup+57.1006 s]
/proc/loadavg: 4.58 4.17 3.81 5/222 7636
/proc/meminfo: memFree=4967660/32951124 swapFree=67111528/67111528
[pid=7576] ppid=7574 vsize=418404 CPUtime=57.37 cores=1,3
/proc/7576/stat : 7576 (mono) R 7574 7576 6508 0 -1 4202496 77974 0 0 0 5728 9 0 0 18 0 9 0 471673580 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 1091898312 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/7576/statm: 104601 77880 1003 742 0 97172 0
[pid=7576/tid=7577] ppid=7574 vsize=418404 CPUtime=0.05 cores=1,3
/proc/7576/task/7577/stat : 7577 (mono) S 7574 7576 6508 0 -1 4202560 4 0 0 0 5 0 0 0 15 0 9 0 471673580 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7578] ppid=7574 vsize=418404 CPUtime=0.06 cores=1,3
/proc/7576/task/7578/stat : 7578 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 471673580 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7579] ppid=7574 vsize=418404 CPUtime=0.08 cores=1,3
/proc/7576/task/7579/stat : 7579 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 471673580 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7580] ppid=7574 vsize=418404 CPUtime=0.04 cores=1,3
/proc/7576/task/7580/stat : 7580 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 471673580 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7581] ppid=7574 vsize=418404 CPUtime=0.05 cores=1,3
/proc/7576/task/7581/stat : 7581 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 471673580 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7582] ppid=7574 vsize=418404 CPUtime=0.07 cores=1,3
/proc/7576/task/7582/stat : 7582 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 7 0 0 0 15 0 9 0 471673580 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7583] ppid=7574 vsize=418404 CPUtime=0.06 cores=1,3
/proc/7576/task/7583/stat : 7583 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 471673580 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7585] ppid=7574 vsize=418404 CPUtime=0 cores=1,3
/proc/7576/task/7585/stat : 7585 (mono) S 7574 7576 6508 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471673581 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522121137 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 57.37
Current children cumulated vsize (KiB) 418404
[startup+58.7014 s]
/proc/loadavg: 4.53 4.17 3.81 5/222 7636
/proc/meminfo: memFree=4962700/32951124 swapFree=67111528/67111528
[pid=7576] ppid=7574 vsize=418404 CPUtime=58.96 cores=1,3
/proc/7576/stat : 7576 (mono) R 7574 7576 6508 0 -1 4202496 77974 0 0 0 5887 9 0 0 22 0 9 0 471673580 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 1091905936 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/7576/statm: 104601 77880 1003 742 0 97172 0
[pid=7576/tid=7577] ppid=7574 vsize=418404 CPUtime=0.05 cores=1,3
/proc/7576/task/7577/stat : 7577 (mono) S 7574 7576 6508 0 -1 4202560 4 0 0 0 5 0 0 0 15 0 9 0 471673580 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7578] ppid=7574 vsize=418404 CPUtime=0.06 cores=1,3
/proc/7576/task/7578/stat : 7578 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 471673580 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7579] ppid=7574 vsize=418404 CPUtime=0.08 cores=1,3
/proc/7576/task/7579/stat : 7579 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 471673580 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7580] ppid=7574 vsize=418404 CPUtime=0.04 cores=1,3
/proc/7576/task/7580/stat : 7580 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 471673580 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7581] ppid=7574 vsize=418404 CPUtime=0.05 cores=1,3
/proc/7576/task/7581/stat : 7581 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 471673580 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7582] ppid=7574 vsize=418404 CPUtime=0.07 cores=1,3
/proc/7576/task/7582/stat : 7582 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 7 0 0 0 15 0 9 0 471673580 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7583] ppid=7574 vsize=418404 CPUtime=0.06 cores=1,3
/proc/7576/task/7583/stat : 7583 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 471673580 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7585] ppid=7574 vsize=418404 CPUtime=0 cores=1,3
/proc/7576/task/7585/stat : 7585 (mono) S 7574 7576 6508 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471673581 428445696 77880 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522121137 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 58.96
Current children cumulated vsize (KiB) 418404
[startup+59.1013 s]
/proc/loadavg: 4.53 4.17 3.81 5/222 7636
/proc/meminfo: memFree=4962700/32951124 swapFree=67111528/67111528
[pid=7576] ppid=7574 vsize=418404 CPUtime=59.36 cores=1,3
/proc/7576/stat : 7576 (mono) R 7574 7576 6508 0 -1 4202496 77982 0 0 0 5927 9 0 0 18 0 9 0 471673580 428445696 77887 33554432000 4194304 7232020 140733712655728 18446744073709551615 1091903116 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/7576/statm: 104601 77887 1004 742 0 97172 0
[pid=7576/tid=7577] ppid=7574 vsize=418404 CPUtime=0.05 cores=1,3
/proc/7576/task/7577/stat : 7577 (mono) S 7574 7576 6508 0 -1 4202560 4 0 0 0 5 0 0 0 15 0 9 0 471673580 428445696 77887 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7578] ppid=7574 vsize=418404 CPUtime=0.06 cores=1,3
/proc/7576/task/7578/stat : 7578 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 471673580 428445696 77887 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7579] ppid=7574 vsize=418404 CPUtime=0.08 cores=1,3
/proc/7576/task/7579/stat : 7579 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 471673580 428445696 77887 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7580] ppid=7574 vsize=418404 CPUtime=0.04 cores=1,3
/proc/7576/task/7580/stat : 7580 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 471673580 428445696 77887 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7581] ppid=7574 vsize=418404 CPUtime=0.05 cores=1,3
/proc/7576/task/7581/stat : 7581 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 471673580 428445696 77887 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7582] ppid=7574 vsize=418404 CPUtime=0.08 cores=1,3
/proc/7576/task/7582/stat : 7582 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 8 0 0 0 16 0 9 0 471673580 428445696 77887 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7583] ppid=7574 vsize=418404 CPUtime=0.06 cores=1,3
/proc/7576/task/7583/stat : 7583 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 471673580 428445696 77887 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7585] ppid=7574 vsize=418404 CPUtime=0 cores=1,3
/proc/7576/task/7585/stat : 7585 (mono) S 7574 7576 6508 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471673581 428445696 77887 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522121137 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 59.36
Current children cumulated vsize (KiB) 418404
[startup+59.5074 s]
/proc/loadavg: 4.53 4.17 3.81 5/222 7636
/proc/meminfo: memFree=4959104/32951124 swapFree=67111528/67111528
[pid=7576] ppid=7574 vsize=418660 CPUtime=59.77 cores=1,3
/proc/7576/stat : 7576 (mono) S 7574 7576 6508 0 -1 4202496 78086 0 0 0 5968 9 0 0 18 0 9 0 471673580 428707840 77991 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522114048 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/7576/statm: 104665 77991 1063 742 0 97236 0
[pid=7576/tid=7577] ppid=7574 vsize=418660 CPUtime=0.05 cores=1,3
/proc/7576/task/7577/stat : 7577 (mono) S 7574 7576 6508 0 -1 4202560 4 0 0 0 5 0 0 0 15 0 9 0 471673580 428707840 77991 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7578] ppid=7574 vsize=418660 CPUtime=0.06 cores=1,3
/proc/7576/task/7578/stat : 7578 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 471673580 428707840 77991 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 1 0 0 0
[pid=7576/tid=7579] ppid=7574 vsize=418660 CPUtime=0.08 cores=1,3
/proc/7576/task/7579/stat : 7579 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 471673580 428707840 77991 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7580] ppid=7574 vsize=418660 CPUtime=0.04 cores=1,3
/proc/7576/task/7580/stat : 7580 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 471673580 428707840 77991 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7581] ppid=7574 vsize=418660 CPUtime=0.05 cores=1,3
/proc/7576/task/7581/stat : 7581 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 471673580 428707840 77991 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7582] ppid=7574 vsize=418660 CPUtime=0.08 cores=1,3
/proc/7576/task/7582/stat : 7582 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 471673580 428707840 77991 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7583] ppid=7574 vsize=418660 CPUtime=0.06 cores=1,3
/proc/7576/task/7583/stat : 7583 (mono) S 7574 7576 6508 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 471673580 428707840 77991 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522113433 0 0 4096 545260780 18446604471130177984 0 0 -1 3 0 0 0
[pid=7576/tid=7585] ppid=7574 vsize=418660 CPUtime=0 cores=1,3
/proc/7576/task/7585/stat : 7585 (mono) R 7574 7576 6508 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 9 0 471673581 428707840 77991 33554432000 4194304 7232020 140733712655728 18446744073709551615 233522121137 0 0 4096 545260780 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 59.77
Current children cumulated vsize (KiB) 418660
Child status: 0
Real time (s): 59.5216
CPU time (s): 59.7929
CPU user time (s): 59.6859
CPU system time (s): 0.106983
CPU usage (%): 100.456
Max. virtual memory (cumulated for all children) (KiB): 418660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.6859
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78138
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= 2701
involuntary context switches= 1087
runsolver used 0.104984 second user time and 0.224965 second system time
The end