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-3394503-1306079909/watcher-3394503-1306079909 -o /tmp/evaluation-result-3394503-1306079909/solver-3394503-1306079909 -C 5000 -W 5100 -M 15500 mono Main.exe HOME/instance-3394503-1306079909.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.52 2.23 2.11 2/522 4883
/proc/meminfo: memFree=15061672/32950940 swapFree=67111364/67111528
[pid=4883] ppid=4881 vsize=102736 CPUtime=0 cores=1,3,5,7
/proc/4883/stat : 4883 (mono) R 4881 4883 4402 0 -1 4202496 917 0 0 0 0 0 0 0 25 0 8 0 798221692 105201664 826 33554432000 4194304 7232020 140736213910624 18446744073709551615 215988253729 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/4883/statm: 25684 826 639 742 0 18255 0
[pid=4883/tid=4884] ppid=4881 vsize=105848 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4884/stat : 4884 (mono) S 4881 4883 4402 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 798221693 108388352 1377 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4885] ppid=4881 vsize=105848 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 798221693 108388352 1377 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=105848 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (mono) S 4881 4883 4402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 798221693 108388352 1377 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=105848 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (mono) S 4881 4883 4402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 798221693 108388352 1377 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4888] ppid=4881 vsize=105848 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4888/stat : 4888 (mono) S 4881 4883 4402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 798221693 108388352 1377 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4889] ppid=4881 vsize=105848 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4889/stat : 4889 (mono) S 4881 4883 4402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 798221693 108388352 1377 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4890] ppid=4881 vsize=105848 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4890/stat : 4890 (mono) S 4881 4883 4402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 798221693 108388352 1377 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4891] ppid=4881 vsize=105848 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4891/stat : 4891 (mono) S 4881 4883 4402 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 798221693 108388352 1377 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000416177 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[startup+0.0333441 s]
/proc/loadavg: 2.52 2.23 2.11 2/522 4883
/proc/meminfo: memFree=15061672/32950940 swapFree=67111364/67111528
[pid=4883] ppid=4881 vsize=106492 CPUtime=0.03 cores=1,3,5,7
/proc/4883/stat : 4883 (mono) R 4881 4883 4402 0 -1 4202496 1643 0 0 0 3 0 0 0 25 0 9 0 798221692 109047808 1550 33554432000 4194304 7232020 140736213910624 18446744073709551615 6230329 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/4883/statm: 26623 1550 975 742 0 19194 0
[pid=4883/tid=4884] ppid=4881 vsize=106492 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4884/stat : 4884 (mono) S 4881 4883 4402 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 798221693 109047808 1550 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4885] ppid=4881 vsize=106492 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 798221693 109047808 1550 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=106492 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 798221693 109047808 1550 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=106492 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 798221693 109047808 1550 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4888] ppid=4881 vsize=106492 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4888/stat : 4888 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 798221693 109047808 1550 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4889] ppid=4881 vsize=106492 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4889/stat : 4889 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 798221693 109047808 1550 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4890] ppid=4881 vsize=106492 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4890/stat : 4890 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 798221693 109047808 1550 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4891] ppid=4881 vsize=106492 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4891/stat : 4891 (mono) S 4881 4883 4402 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 798221693 109047808 1550 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000416177 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 106492
[startup+0.100335 s]
/proc/loadavg: 2.52 2.23 2.11 2/522 4883
/proc/meminfo: memFree=15061672/32950940 swapFree=67111364/67111528
[pid=4883] ppid=4881 vsize=115752 CPUtime=0.09 cores=1,3,5,7
/proc/4883/stat : 4883 (mono) R 4881 4883 4402 0 -1 4202496 3473 0 0 0 9 0 0 0 25 0 9 0 798221692 118530048 3380 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000416177 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/4883/statm: 28938 3380 999 742 0 21509 0
[pid=4883/tid=4884] ppid=4881 vsize=115752 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4884/stat : 4884 (mono) S 4881 4883 4402 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 798221693 118530048 3380 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4885] ppid=4881 vsize=115752 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (mono) R 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 798221693 118530048 3380 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 0 0 0 -1 5 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=115752 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 798221693 118530048 3380 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=115752 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 798221693 118530048 3380 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4888] ppid=4881 vsize=115752 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4888/stat : 4888 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 798221693 118530048 3380 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4889] ppid=4881 vsize=115752 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4889/stat : 4889 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 798221693 118530048 3380 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4890] ppid=4881 vsize=115752 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4890/stat : 4890 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 798221693 118530048 3380 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4891] ppid=4881 vsize=115752 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4891/stat : 4891 (mono) S 4881 4883 4402 0 -1 4194368 3 0 0 0 0 0 0 0 25 0 9 0 798221693 118530048 3380 33554432000 4194304 7232020 140736213910624 18446744073709551615 215987980223 0 2138816217 4096 545260780 18446744071562694473 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 115752
[startup+0.300297 s]
/proc/loadavg: 2.52 2.23 2.11 2/522 4883
/proc/meminfo: memFree=15061672/32950940 swapFree=67111364/67111528
[pid=4883] ppid=4881 vsize=119208 CPUtime=0.29 cores=1,3,5,7
/proc/4883/stat : 4883 (mono) R 4881 4883 4402 0 -1 4202496 4286 0 0 0 29 0 0 0 25 0 9 0 798221692 122068992 4193 33554432000 4194304 7232020 140736213910624 18446744073709551615 1085220184 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/4883/statm: 29802 4193 1024 742 0 22373 0
[pid=4883/tid=4884] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4884/stat : 4884 (mono) S 4881 4883 4402 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 9 0 798221693 122068992 4193 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4885] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 798221693 122068992 4193 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 798221693 122068992 4193 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 798221693 122068992 4193 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4888] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4888/stat : 4888 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 798221693 122068992 4193 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4889] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4889/stat : 4889 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 798221693 122068992 4193 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4890] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4890/stat : 4890 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 798221693 122068992 4193 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4891] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4891/stat : 4891 (mono) S 4881 4883 4402 0 -1 4202560 3 0 0 0 0 0 0 0 24 0 9 0 798221693 122068992 4193 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000416177 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 119208
[startup+0.701226 s]
/proc/loadavg: 2.52 2.23 2.11 2/522 4883
/proc/meminfo: memFree=15061672/32950940 swapFree=67111364/67111528
[pid=4883] ppid=4881 vsize=119208 CPUtime=0.69 cores=1,3,5,7
/proc/4883/stat : 4883 (mono) R 4881 4883 4402 0 -1 4202496 4287 0 0 0 69 0 0 0 25 0 9 0 798221692 122068992 4194 33554432000 4194304 7232020 140736213910624 18446744073709551615 1085224050 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/4883/statm: 29802 4194 1024 742 0 22373 0
[pid=4883/tid=4884] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4884/stat : 4884 (mono) S 4881 4883 4402 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 9 0 798221693 122068992 4194 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4885] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 798221693 122068992 4194 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 798221693 122068992 4194 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 798221693 122068992 4194 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4888] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4888/stat : 4888 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 798221693 122068992 4194 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4889] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4889/stat : 4889 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 798221693 122068992 4194 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4890] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4890/stat : 4890 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 798221693 122068992 4194 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4891] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4891/stat : 4891 (mono) S 4881 4883 4402 0 -1 4202560 3 0 0 0 0 0 0 0 21 0 9 0 798221693 122068992 4194 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000416177 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 119208
[startup+1.50109 s]
/proc/loadavg: 2.52 2.23 2.11 3/531 4892
/proc/meminfo: memFree=15048340/32950940 swapFree=67111364/67111528
[pid=4883] ppid=4881 vsize=119208 CPUtime=1.49 cores=1,3,5,7
/proc/4883/stat : 4883 (mono) R 4881 4883 4402 0 -1 4202496 4287 0 0 0 149 0 0 0 25 0 9 0 798221692 122068992 4194 33554432000 4194304 7232020 140736213910624 18446744073709551615 6230298 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/4883/statm: 29802 4194 1024 742 0 22373 0
[pid=4883/tid=4884] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4884/stat : 4884 (mono) S 4881 4883 4402 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 798221693 122068992 4194 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4885] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 798221693 122068992 4194 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 798221693 122068992 4194 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 798221693 122068992 4194 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
[pid=4883/tid=4888] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4888/stat : 4888 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 798221693 122068992 4194 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4889] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4889/stat : 4889 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 798221693 122068992 4194 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4890] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4890/stat : 4890 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 798221693 122068992 4194 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4891] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4891/stat : 4891 (mono) S 4881 4883 4402 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 798221693 122068992 4194 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000416177 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 119208
[startup+3.10081 s]
/proc/loadavg: 2.52 2.23 2.11 3/531 4892
/proc/meminfo: memFree=15047112/32950940 swapFree=67111364/67111528
[pid=4883] ppid=4881 vsize=119208 CPUtime=3.1 cores=1,3,5,7
/proc/4883/stat : 4883 (mono) R 4881 4883 4402 0 -1 4202496 4635 0 0 0 310 0 0 0 18 0 9 0 798221692 122068992 4542 33554432000 4194304 7232020 140736213910624 18446744073709551615 1085224081 0 0 4096 545260780 18446744073709551615 0 0 17 7 0 0 0
/proc/4883/statm: 29802 4542 1024 742 0 22373 0
[pid=4883/tid=4884] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4884/stat : 4884 (mono) S 4881 4883 4402 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 798221693 122068992 4542 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4885] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 798221693 122068992 4542 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 798221693 122068992 4542 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 798221693 122068992 4542 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
[pid=4883/tid=4888] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4888/stat : 4888 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 798221693 122068992 4542 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4889] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4889/stat : 4889 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 798221693 122068992 4542 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4890] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4890/stat : 4890 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 798221693 122068992 4542 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
[pid=4883/tid=4891] ppid=4881 vsize=119208 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4891/stat : 4891 (mono) S 4881 4883 4402 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 798221693 122068992 4542 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000416177 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 119208
[startup+6.30125 s]
/proc/loadavg: 2.48 2.23 2.11 3/531 4893
/proc/meminfo: memFree=15041780/32950940 swapFree=67111364/67111528
[pid=4883] ppid=4881 vsize=130172 CPUtime=6.33 cores=1,3,5,7
/proc/4883/stat : 4883 (mono) R 4881 4883 4402 0 -1 4202496 6632 0 0 0 632 1 0 0 21 0 9 0 798221692 133296128 6533 33554432000 4194304 7232020 140736213910624 18446744073709551615 1084904216 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/4883/statm: 32543 6533 1024 742 0 25114 0
[pid=4883/tid=4884] ppid=4881 vsize=130172 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4884/stat : 4884 (mono) S 4881 4883 4402 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 798221693 133296128 6533 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
[pid=4883/tid=4885] ppid=4881 vsize=130172 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 798221693 133296128 6533 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=130172 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 798221693 133296128 6533 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=130172 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 798221693 133296128 6533 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
[pid=4883/tid=4888] ppid=4881 vsize=130172 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4888/stat : 4888 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 798221693 133296128 6533 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4889] ppid=4881 vsize=130172 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4889/stat : 4889 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 798221693 133296128 6533 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4890] ppid=4881 vsize=130172 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4890/stat : 4890 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 798221693 133296128 6533 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4891] ppid=4881 vsize=130172 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4891/stat : 4891 (mono) S 4881 4883 4402 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 798221693 133296128 6533 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000416177 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 130172
[startup+12.7011 s]
/proc/loadavg: 2.44 2.22 2.11 3/531 4893
/proc/meminfo: memFree=15028956/32950940 swapFree=67111364/67111528
[pid=4883] ppid=4881 vsize=138364 CPUtime=12.79 cores=1,3,5,7
/proc/4883/stat : 4883 (mono) R 4881 4883 4402 0 -1 4202496 8583 0 0 0 1277 2 0 0 21 0 9 0 798221692 141684736 8303 33554432000 4194304 7232020 140736213910624 18446744073709551615 1085217567 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/4883/statm: 34591 8303 1025 742 0 27162 0
[pid=4883/tid=4884] ppid=4881 vsize=138364 CPUtime=0.01 cores=1,3,5,7
/proc/4883/task/4884/stat : 4884 (mono) S 4881 4883 4402 0 -1 4202560 4 0 0 0 1 0 0 0 15 0 9 0 798221693 141684736 8303 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4885] ppid=4881 vsize=138364 CPUtime=0.02 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 798221693 141684736 8303 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=138364 CPUtime=0.02 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 798221693 141684736 8303 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=138364 CPUtime=0.02 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 798221693 141684736 8303 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4888] ppid=4881 vsize=138364 CPUtime=0.01 cores=1,3,5,7
/proc/4883/task/4888/stat : 4888 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 798221693 141684736 8303 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
[pid=4883/tid=4889] ppid=4881 vsize=138364 CPUtime=0.02 cores=1,3,5,7
/proc/4883/task/4889/stat : 4889 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 798221693 141684736 8303 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4890] ppid=4881 vsize=138364 CPUtime=0.02 cores=1,3,5,7
/proc/4883/task/4890/stat : 4890 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 798221693 141684736 8303 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4891] ppid=4881 vsize=138364 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4891/stat : 4891 (mono) S 4881 4883 4402 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 798221693 141684736 8303 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000416177 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 138364
[startup+25.5009 s]
/proc/loadavg: 2.34 2.21 2.11 3/531 4893
/proc/meminfo: memFree=15017152/32950940 swapFree=67111364/67111528
[pid=4883] ppid=4881 vsize=138556 CPUtime=25.76 cores=1,3,5,7
/proc/4883/stat : 4883 (mono) R 4881 4883 4402 0 -1 4202496 11246 0 0 0 2573 3 0 0 20 0 9 0 798221692 141881344 9658 33554432000 4194304 7232020 140736213910624 18446744073709551615 215988286450 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/4883/statm: 34639 9658 1035 742 0 27210 0
[pid=4883/tid=4884] ppid=4881 vsize=138556 CPUtime=0.05 cores=1,3,5,7
/proc/4883/task/4884/stat : 4884 (mono) S 4881 4883 4402 0 -1 4202560 4 0 0 0 5 0 0 0 16 0 9 0 798221693 141881344 9658 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
[pid=4883/tid=4885] ppid=4881 vsize=138556 CPUtime=0.04 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 798221693 141881344 9658 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=138556 CPUtime=0.06 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 798221693 141881344 9658 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=138556 CPUtime=0.05 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 798221693 141881344 9658 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
[pid=4883/tid=4888] ppid=4881 vsize=138556 CPUtime=0.06 cores=1,3,5,7
/proc/4883/task/4888/stat : 4888 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 798221693 141881344 9658 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4889] ppid=4881 vsize=138556 CPUtime=0.05 cores=1,3,5,7
/proc/4883/task/4889/stat : 4889 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 798221693 141881344 9658 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4890] ppid=4881 vsize=138556 CPUtime=0.05 cores=1,3,5,7
/proc/4883/task/4890/stat : 4890 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 798221693 141881344 9658 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4891] ppid=4881 vsize=138556 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4891/stat : 4891 (mono) S 4881 4883 4402 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 798221693 141881344 9658 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000416177 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.76
Current children cumulated vsize (KiB) 138556
Solver just ended. Dumping a history of the last processes samples
[startup+26.3007 s]
/proc/loadavg: 2.34 2.21 2.11 3/531 4893
/proc/meminfo: memFree=15014548/32950940 swapFree=67111364/67111528
[pid=4883] ppid=4881 vsize=146812 CPUtime=26.58 cores=1,3,5,7
/proc/4883/stat : 4883 (mono) R 4881 4883 4402 0 -1 4202496 11861 0 0 0 2654 4 0 0 22 0 9 0 798221692 150335488 10273 33554432000 4194304 7232020 140736213910624 18446744073709551615 1084903904 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/4883/statm: 36703 10273 1035 742 0 29274 0
[pid=4883/tid=4884] ppid=4881 vsize=146812 CPUtime=0.05 cores=1,3,5,7
/proc/4883/task/4884/stat : 4884 (mono) S 4881 4883 4402 0 -1 4202560 4 0 0 0 5 0 0 0 15 0 9 0 798221693 150335488 10273 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
[pid=4883/tid=4885] ppid=4881 vsize=146812 CPUtime=0.05 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 798221693 150335488 10273 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=146812 CPUtime=0.06 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 798221693 150335488 10273 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=146812 CPUtime=0.06 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 798221693 150335488 10273 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
[pid=4883/tid=4888] ppid=4881 vsize=146812 CPUtime=0.06 cores=1,3,5,7
/proc/4883/task/4888/stat : 4888 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 798221693 150335488 10273 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
[pid=4883/tid=4889] ppid=4881 vsize=146812 CPUtime=0.05 cores=1,3,5,7
/proc/4883/task/4889/stat : 4889 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 798221693 150335488 10273 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4890] ppid=4881 vsize=146812 CPUtime=0.05 cores=1,3,5,7
/proc/4883/task/4890/stat : 4890 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 798221693 150335488 10273 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4891] ppid=4881 vsize=146812 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4891/stat : 4891 (mono) S 4881 4883 4402 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 798221693 150335488 10273 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000416177 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 26.58
Current children cumulated vsize (KiB) 146812
[startup+27.1006 s]
/proc/loadavg: 2.34 2.21 2.11 3/531 4893
/proc/meminfo: memFree=15014548/32950940 swapFree=67111364/67111528
[pid=4883] ppid=4881 vsize=146812 CPUtime=27.38 cores=1,3,5,7
/proc/4883/stat : 4883 (mono) R 4881 4883 4402 0 -1 4202496 12631 0 0 0 2734 4 0 0 25 0 9 0 798221692 150335488 11043 33554432000 4194304 7232020 140736213910624 18446744073709551615 1085216982 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/4883/statm: 36703 11043 1035 742 0 29274 0
[pid=4883/tid=4884] ppid=4881 vsize=146812 CPUtime=0.05 cores=1,3,5,7
/proc/4883/task/4884/stat : 4884 (mono) S 4881 4883 4402 0 -1 4202560 4 0 0 0 5 0 0 0 15 0 9 0 798221693 150335488 11043 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
[pid=4883/tid=4885] ppid=4881 vsize=146812 CPUtime=0.05 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 798221693 150335488 11043 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=146812 CPUtime=0.06 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 798221693 150335488 11043 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=146812 CPUtime=0.06 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 798221693 150335488 11043 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
[pid=4883/tid=4888] ppid=4881 vsize=146812 CPUtime=0.06 cores=1,3,5,7
/proc/4883/task/4888/stat : 4888 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 798221693 150335488 11043 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
[pid=4883/tid=4889] ppid=4881 vsize=146812 CPUtime=0.05 cores=1,3,5,7
/proc/4883/task/4889/stat : 4889 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 798221693 150335488 11043 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4890] ppid=4881 vsize=146812 CPUtime=0.05 cores=1,3,5,7
/proc/4883/task/4890/stat : 4890 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 798221693 150335488 11043 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4891] ppid=4881 vsize=146812 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4891/stat : 4891 (mono) S 4881 4883 4402 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 798221693 150335488 11043 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000416177 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 27.38
Current children cumulated vsize (KiB) 146812
[startup+27.3006 s]
/proc/loadavg: 2.34 2.21 2.11 3/531 4893
/proc/meminfo: memFree=15014548/32950940 swapFree=67111364/67111528
[pid=4883] ppid=4881 vsize=146812 CPUtime=27.59 cores=1,3,5,7
/proc/4883/stat : 4883 (mono) R 4881 4883 4402 0 -1 4202496 12631 0 0 0 2755 4 0 0 25 0 9 0 798221692 150335488 11043 33554432000 4194304 7232020 140736213910624 18446744073709551615 1085219123 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/4883/statm: 36703 11043 1035 742 0 29274 0
[pid=4883/tid=4884] ppid=4881 vsize=146812 CPUtime=0.05 cores=1,3,5,7
/proc/4883/task/4884/stat : 4884 (mono) S 4881 4883 4402 0 -1 4202560 4 0 0 0 5 0 0 0 15 0 9 0 798221693 150335488 11043 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
[pid=4883/tid=4885] ppid=4881 vsize=146812 CPUtime=0.05 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 798221693 150335488 11043 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=146812 CPUtime=0.06 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 798221693 150335488 11043 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=146812 CPUtime=0.06 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 798221693 150335488 11043 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
[pid=4883/tid=4888] ppid=4881 vsize=146812 CPUtime=0.06 cores=1,3,5,7
/proc/4883/task/4888/stat : 4888 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 798221693 150335488 11043 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
[pid=4883/tid=4889] ppid=4881 vsize=146812 CPUtime=0.05 cores=1,3,5,7
/proc/4883/task/4889/stat : 4889 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 798221693 150335488 11043 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 5 0 0 0
[pid=4883/tid=4890] ppid=4881 vsize=146812 CPUtime=0.06 cores=1,3,5,7
/proc/4883/task/4890/stat : 4890 (mono) S 4881 4883 4402 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 798221693 150335488 11043 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000408473 0 0 4096 545260780 18446604458706649280 0 0 -1 7 0 0 0
[pid=4883/tid=4891] ppid=4881 vsize=146812 CPUtime=0 cores=1,3,5,7
/proc/4883/task/4891/stat : 4891 (mono) S 4881 4883 4402 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 798221693 150335488 11043 33554432000 4194304 7232020 140736213910624 18446744073709551615 216000416177 0 0 4096 545260780 18446604458706649280 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 27.59
Current children cumulated vsize (KiB) 146812
Child status: 0
Real time (s): 27.3615
CPU time (s): 27.6348
CPU user time (s): 27.5898
CPU system time (s): 0.044993
CPU usage (%): 100.999
Max. virtual memory (cumulated for all children) (KiB): 146812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.5898
system time used= 0.044993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12759
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7330
involuntary context switches= 1315
runsolver used 0.158975 second user time and 0.336948 second system time
The end