SAT 2011 Competition: main competition (phase 2) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sol 2011-04-04	SAT	441.362	440.53
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-3394519-1306079913/watcher-3394519-1306079913 -o /tmp/evaluation-result-3394519-1306079913/solver-3394519-1306079913 -C 5000 -W 5100 -M 15500 mono Main.exe HOME/instance-3394519-1306079913.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: 1.96 2.05 2.07 2/469 8142
/proc/meminfo: memFree=17028616/32951124 swapFree=49826860/67111528
[pid=8142] ppid=8140 vsize=105524 CPUtime=0 cores=0,2,4,6
/proc/8142/stat : 8142 (mono) R 8140 8142 7558 0 -1 4202496 1254 0 0 0 0 0 0 0 25 0 9 0 719589327 108056576 1162 33554432000 4194304 7232020 140733814465568 18446744073709551615 228122374853 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/8142/statm: 26381 1163 834 742 0 18952 0
[pid=8142/tid=8143] ppid=8140 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8143/stat : 8143 (mono) S 8140 8142 7558 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 719589327 108339200 1375 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8144] ppid=8140 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8144/stat : 8144 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719589327 108339200 1375 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8145] ppid=8140 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8145/stat : 8145 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719589327 108339200 1375 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8146] ppid=8140 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8146/stat : 8146 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719589327 108339200 1375 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8147] ppid=8140 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8147/stat : 8147 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719589327 108339200 1375 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8148] ppid=8140 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8148/stat : 8148 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719589327 108339200 1375 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8149] ppid=8140 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8149/stat : 8149 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719589327 108339200 1375 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8150] ppid=8140 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8150/stat : 8150 (mono) S 8140 8142 7558 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 719589328 108339200 1375 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134537649 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0

[startup+0.080369 s]
/proc/loadavg: 1.96 2.05 2.07 2/469 8142
/proc/meminfo: memFree=17028616/32951124 swapFree=49826860/67111528
[pid=8142] ppid=8140 vsize=107960 CPUtime=0.07 cores=0,2,4,6
/proc/8142/stat : 8142 (mono) R 8140 8142 7558 0 -1 4202496 1968 0 0 0 7 0 0 0 18 0 9 0 719589327 110551040 1872 33554432000 4194304 7232020 140733814465568 18446744073709551615 1082491045 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/8142/statm: 26990 1872 995 742 0 19561 0
[pid=8142/tid=8143] ppid=8140 vsize=107960 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8143/stat : 8143 (mono) S 8140 8142 7558 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 719589327 110551040 1872 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8144] ppid=8140 vsize=107960 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8144/stat : 8144 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 719589327 110551040 1872 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8145] ppid=8140 vsize=107960 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8145/stat : 8145 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 719589327 110551040 1872 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8146] ppid=8140 vsize=107960 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8146/stat : 8146 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 719589327 110551040 1872 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8147] ppid=8140 vsize=107960 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8147/stat : 8147 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 719589327 110551040 1872 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8148] ppid=8140 vsize=107960 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8148/stat : 8148 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 719589327 110551040 1872 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8149] ppid=8140 vsize=107960 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8149/stat : 8149 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 719589327 110551040 1872 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8150] ppid=8140 vsize=107960 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8150/stat : 8150 (mono) S 8140 8142 7558 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 9 0 719589328 110551040 1872 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134537649 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 107960

[startup+0.101367 s]
/proc/loadavg: 1.96 2.05 2.07 2/469 8142
/proc/meminfo: memFree=17028616/32951124 swapFree=49826860/67111528
[pid=8142] ppid=8140 vsize=118572 CPUtime=0.1 cores=0,2,4,6
/proc/8142/stat : 8142 (mono) R 8140 8142 7558 0 -1 4202496 4379 0 0 0 9 1 0 0 18 0 9 0 719589327 121417728 4283 33554432000 4194304 7232020 140733814465568 18446744073709551615 1082501124 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/8142/statm: 29643 4283 1000 742 0 22214 0
[pid=8142/tid=8143] ppid=8140 vsize=118572 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8143/stat : 8143 (mono) S 8140 8142 7558 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 719589327 121417728 4283 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8144] ppid=8140 vsize=118572 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8144/stat : 8144 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 719589327 121417728 4283 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8145] ppid=8140 vsize=118572 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8145/stat : 8145 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 719589327 121417728 4283 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8146] ppid=8140 vsize=118572 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8146/stat : 8146 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 719589327 121417728 4283 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8147] ppid=8140 vsize=118572 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8147/stat : 8147 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 719589327 121417728 4283 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8148] ppid=8140 vsize=118572 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8148/stat : 8148 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 719589327 121417728 4283 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8149] ppid=8140 vsize=118572 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8149/stat : 8149 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 719589327 121417728 4283 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8150] ppid=8140 vsize=118572 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8150/stat : 8150 (mono) S 8140 8142 7558 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 9 0 719589328 121417728 4283 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134537649 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 118572

[startup+0.301366 s]
/proc/loadavg: 1.96 2.05 2.07 2/469 8142
/proc/meminfo: memFree=17028616/32951124 swapFree=49826860/67111528
[pid=8142] ppid=8140 vsize=128488 CPUtime=0.3 cores=0,2,4,6
/proc/8142/stat : 8142 (mono) R 8140 8142 7558 0 -1 4202496 6008 0 0 0 29 1 0 0 18 0 9 0 719589327 131571712 5912 33554432000 4194304 7232020 140733814465568 18446744073709551615 1075626352 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/8142/statm: 32122 5912 1000 742 0 24693 0
[pid=8142/tid=8143] ppid=8140 vsize=128488 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8143/stat : 8143 (mono) S 8140 8142 7558 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 9 0 719589327 131571712 5912 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8144] ppid=8140 vsize=128488 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8144/stat : 8144 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719589327 131571712 5912 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8145] ppid=8140 vsize=128488 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8145/stat : 8145 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 719589327 131571712 5912 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8146] ppid=8140 vsize=128488 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8146/stat : 8146 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 719589327 131571712 5912 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8147] ppid=8140 vsize=128488 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8147/stat : 8147 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719589327 131571712 5912 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8148] ppid=8140 vsize=128488 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8148/stat : 8148 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 719589327 131571712 5912 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8149] ppid=8140 vsize=128488 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8149/stat : 8149 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 719589327 131571712 5912 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8150] ppid=8140 vsize=128488 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8150/stat : 8150 (mono) S 8140 8142 7558 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719589328 131571712 5912 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134537649 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 128488

[startup+0.701289 s]
/proc/loadavg: 1.96 2.05 2.07 2/469 8142
/proc/meminfo: memFree=17028616/32951124 swapFree=49826860/67111528
[pid=8142] ppid=8140 vsize=128552 CPUtime=0.7 cores=0,2,4,6
/proc/8142/stat : 8142 (mono) R 8140 8142 7558 0 -1 4202496 6838 0 0 0 69 1 0 0 18 0 9 0 719589327 131637248 6742 33554432000 4194304 7232020 140733814465568 18446744073709551615 1082490148 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/8142/statm: 32138 6742 1000 742 0 24709 0
[pid=8142/tid=8143] ppid=8140 vsize=128552 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8143/stat : 8143 (mono) S 8140 8142 7558 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 719589327 131637248 6742 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8144] ppid=8140 vsize=128552 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8144/stat : 8144 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719589327 131637248 6742 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8145] ppid=8140 vsize=128552 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8145/stat : 8145 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719589327 131637248 6742 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8146] ppid=8140 vsize=128552 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8146/stat : 8146 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 719589327 131637248 6742 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8147] ppid=8140 vsize=128552 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8147/stat : 8147 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719589327 131637248 6742 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8148] ppid=8140 vsize=128552 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8148/stat : 8148 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719589327 131637248 6742 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8149] ppid=8140 vsize=128552 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8149/stat : 8149 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719589327 131637248 6742 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8150] ppid=8140 vsize=128552 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8150/stat : 8150 (mono) S 8140 8142 7558 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719589328 131637248 6742 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134537649 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 128552

[startup+1.50113 s]
/proc/loadavg: 1.96 2.05 2.07 3/478 8151
/proc/meminfo: memFree=17005116/32951124 swapFree=49826860/67111528
[pid=8142] ppid=8140 vsize=128560 CPUtime=1.5 cores=0,2,4,6
/proc/8142/stat : 8142 (mono) R 8140 8142 7558 0 -1 4202496 6860 0 0 0 149 1 0 0 18 0 9 0 719589327 131645440 6763 33554432000 4194304 7232020 140733814465568 18446744073709551615 1075642241 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/8142/statm: 32140 6763 1003 742 0 24711 0
[pid=8142/tid=8143] ppid=8140 vsize=128560 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8143/stat : 8143 (mono) S 8140 8142 7558 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 719589327 131645440 6763 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8144] ppid=8140 vsize=128560 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8144/stat : 8144 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719589327 131645440 6763 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8145] ppid=8140 vsize=128560 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8145/stat : 8145 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719589327 131645440 6763 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8146] ppid=8140 vsize=128560 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8146/stat : 8146 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719589327 131645440 6763 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8147] ppid=8140 vsize=128560 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8147/stat : 8147 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 719589327 131645440 6763 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8148] ppid=8140 vsize=128560 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8148/stat : 8148 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719589327 131645440 6763 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8149] ppid=8140 vsize=128560 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8149/stat : 8149 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719589327 131645440 6763 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8150] ppid=8140 vsize=128560 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8150/stat : 8150 (mono) S 8140 8142 7558 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719589328 131645440 6763 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134537649 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 128560

[startup+3.10083 s]
/proc/loadavg: 1.96 2.05 2.07 3/478 8151
/proc/meminfo: memFree=17004008/32951124 swapFree=49826860/67111528
[pid=8142] ppid=8140 vsize=128624 CPUtime=3.11 cores=0,2,4,6
/proc/8142/stat : 8142 (mono) R 8140 8142 7558 0 -1 4202496 6899 0 0 0 310 1 0 0 18 0 9 0 719589327 131710976 6802 33554432000 4194304 7232020 140733814465568 18446744073709551615 1075633231 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/8142/statm: 32156 6802 1024 742 0 24727 0
[pid=8142/tid=8143] ppid=8140 vsize=128624 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8143/stat : 8143 (mono) S 8140 8142 7558 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 719589327 131710976 6802 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8144] ppid=8140 vsize=128624 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8144/stat : 8144 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 719589327 131710976 6802 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8145] ppid=8140 vsize=128624 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8145/stat : 8145 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719589327 131710976 6802 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8146] ppid=8140 vsize=128624 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8146/stat : 8146 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719589327 131710976 6802 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8147] ppid=8140 vsize=128624 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8147/stat : 8147 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 719589327 131710976 6802 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8148] ppid=8140 vsize=128624 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8148/stat : 8148 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 719589327 131710976 6802 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8149] ppid=8140 vsize=128624 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8149/stat : 8149 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719589327 131710976 6802 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8150] ppid=8140 vsize=128624 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8150/stat : 8150 (mono) S 8140 8142 7558 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719589328 131710976 6802 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134537649 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 128624

[startup+6.30125 s]
/proc/loadavg: 1.96 2.04 2.07 3/478 8151
/proc/meminfo: memFree=17001264/32951124 swapFree=49826860/67111528
[pid=8142] ppid=8140 vsize=136296 CPUtime=6.33 cores=0,2,4,6
/proc/8142/stat : 8142 (mono) R 8140 8142 7558 0 -1 4202496 9070 0 0 0 632 1 0 0 18 0 9 0 719589327 139567104 8318 33554432000 4194304 7232020 140733814465568 18446744073709551615 1075656194 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/8142/statm: 34074 8318 1024 742 0 26645 0

################
# More data... #
################

/proc/meminfo: memFree=16393544/32951124 swapFree=49826860/67111528
[pid=8142] ppid=8140 vsize=775208 CPUtime=423.09 cores=0,2,4,6
/proc/8142/stat : 8142 (mono) R 8140 8142 7558 0 -1 4202496 344083 0 0 0 42248 61 0 0 25 0 9 0 719589327 793812992 167122 33554432000 4194304 7232020 140733814465568 18446744073709551615 1075629151 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/8142/statm: 193802 167122 1036 742 0 186373 0
[pid=8142/tid=8143] ppid=8140 vsize=775208 CPUtime=0.16 cores=0,2,4,6
/proc/8142/task/8143/stat : 8143 (mono) S 8140 8142 7558 0 -1 4202560 4 0 0 0 16 0 0 0 15 0 9 0 719589327 793812992 167122 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8144] ppid=8140 vsize=775208 CPUtime=0.17 cores=0,2,4,6
/proc/8142/task/8144/stat : 8144 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 719589327 793812992 167122 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 0 0 0 0
[pid=8142/tid=8145] ppid=8140 vsize=775208 CPUtime=0.17 cores=0,2,4,6
/proc/8142/task/8145/stat : 8145 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 719589327 793812992 167122 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8146] ppid=8140 vsize=775208 CPUtime=0.15 cores=0,2,4,6
/proc/8142/task/8146/stat : 8146 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 15 0 0 0 16 0 9 0 719589327 793812992 167122 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8147] ppid=8140 vsize=775208 CPUtime=0.17 cores=0,2,4,6
/proc/8142/task/8147/stat : 8147 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 17 0 0 0 16 0 9 0 719589327 793812992 167122 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8148] ppid=8140 vsize=775208 CPUtime=0.15 cores=0,2,4,6
/proc/8142/task/8148/stat : 8148 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 15 0 0 0 15 0 9 0 719589327 793812992 167122 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8149] ppid=8140 vsize=775208 CPUtime=0.14 cores=0,2,4,6
/proc/8142/task/8149/stat : 8149 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 14 0 0 0 15 0 9 0 719589327 793812992 167122 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 0 0 0 0
[pid=8142/tid=8150] ppid=8140 vsize=775208 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8150/stat : 8150 (mono) S 8140 8142 7558 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719589328 793812992 167122 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134537649 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 423.09
Current children cumulated vsize (KiB) 775208

[startup+428.701 s]
/proc/loadavg: 2.12 2.09 2.07 3/478 8244
/proc/meminfo: memFree=16378292/32951124 swapFree=49826860/67111528
[pid=8142] ppid=8140 vsize=800552 CPUtime=429.5 cores=0,2,4,6
/proc/8142/stat : 8142 (mono) R 8140 8142 7558 0 -1 4202496 351998 0 0 0 42888 62 0 0 25 0 9 0 719589327 819765248 175037 33554432000 4194304 7232020 140733814465568 18446744073709551615 228126243630 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/8142/statm: 200138 175037 1036 742 0 192709 0
[pid=8142/tid=8143] ppid=8140 vsize=800552 CPUtime=0.16 cores=0,2,4,6
/proc/8142/task/8143/stat : 8143 (mono) S 8140 8142 7558 0 -1 4202560 4 0 0 0 16 0 0 0 15 0 9 0 719589327 819765248 175037 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8144] ppid=8140 vsize=800552 CPUtime=0.18 cores=0,2,4,6
/proc/8142/task/8144/stat : 8144 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 18 0 0 0 16 0 9 0 719589327 819765248 175037 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8145] ppid=8140 vsize=800552 CPUtime=0.17 cores=0,2,4,6
/proc/8142/task/8145/stat : 8145 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 719589327 819765248 175037 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8146] ppid=8140 vsize=800552 CPUtime=0.15 cores=0,2,4,6
/proc/8142/task/8146/stat : 8146 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 15 0 0 0 16 0 9 0 719589327 819765248 175037 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8147] ppid=8140 vsize=800552 CPUtime=0.18 cores=0,2,4,6
/proc/8142/task/8147/stat : 8147 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 18 0 0 0 16 0 9 0 719589327 819765248 175037 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8148] ppid=8140 vsize=800552 CPUtime=0.16 cores=0,2,4,6
/proc/8142/task/8148/stat : 8148 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 16 0 0 0 16 0 9 0 719589327 819765248 175037 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8149] ppid=8140 vsize=800552 CPUtime=0.15 cores=0,2,4,6
/proc/8142/task/8149/stat : 8149 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 15 0 0 0 16 0 9 0 719589327 819765248 175037 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 0 0 0 0
[pid=8142/tid=8150] ppid=8140 vsize=800552 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8150/stat : 8150 (mono) S 8140 8142 7558 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719589328 819765248 175037 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134537649 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 429.5
Current children cumulated vsize (KiB) 800552

[startup+435.1 s]
/proc/loadavg: 2.10 2.08 2.07 3/478 8245
/proc/meminfo: memFree=16350740/32951124 swapFree=49826860/67111528
[pid=8142] ppid=8140 vsize=833384 CPUtime=435.9 cores=0,2,4,6
/proc/8142/stat : 8142 (mono) R 8140 8142 7558 0 -1 4202496 359100 0 0 0 43527 63 0 0 25 0 9 0 719589327 853385216 182139 33554432000 4194304 7232020 140733814465568 18446744073709551615 1075634048 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/8142/statm: 208346 182139 1036 742 0 200917 0
[pid=8142/tid=8143] ppid=8140 vsize=833384 CPUtime=0.16 cores=0,2,4,6
/proc/8142/task/8143/stat : 8143 (mono) S 8140 8142 7558 0 -1 4202560 4 0 0 0 16 0 0 0 15 0 9 0 719589327 853385216 182139 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8144] ppid=8140 vsize=833384 CPUtime=0.18 cores=0,2,4,6
/proc/8142/task/8144/stat : 8144 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 18 0 0 0 16 0 9 0 719589327 853385216 182140 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8145] ppid=8140 vsize=833384 CPUtime=0.17 cores=0,2,4,6
/proc/8142/task/8145/stat : 8145 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 719589327 853385216 182140 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8146] ppid=8140 vsize=833384 CPUtime=0.15 cores=0,2,4,6
/proc/8142/task/8146/stat : 8146 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 15 0 0 0 16 0 9 0 719589327 853385216 182140 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8147] ppid=8140 vsize=833384 CPUtime=0.18 cores=0,2,4,6
/proc/8142/task/8147/stat : 8147 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 18 0 0 0 16 0 9 0 719589327 853385216 182140 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8148] ppid=8140 vsize=833384 CPUtime=0.16 cores=0,2,4,6
/proc/8142/task/8148/stat : 8148 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 16 0 0 0 16 0 9 0 719589327 853385216 182140 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8149] ppid=8140 vsize=833384 CPUtime=0.15 cores=0,2,4,6
/proc/8142/task/8149/stat : 8149 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 15 0 0 0 16 0 9 0 719589327 853385216 182140 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 0 0 0 0
[pid=8142/tid=8150] ppid=8140 vsize=833384 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8150/stat : 8150 (mono) S 8140 8142 7558 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719589328 853385216 182141 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134537649 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 435.9
Current children cumulated vsize (KiB) 833384

[startup+438.301 s]
/proc/loadavg: 2.10 2.08 2.07 3/478 8245
/proc/meminfo: memFree=16331268/32951124 swapFree=49826860/67111528
[pid=8142] ppid=8140 vsize=833448 CPUtime=439.12 cores=0,2,4,6
/proc/8142/stat : 8142 (mono) R 8140 8142 7558 0 -1 4202496 359694 0 0 0 43849 63 0 0 25 0 9 0 719589327 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 1075653349 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/8142/statm: 208362 182733 1036 742 0 200933 0
[pid=8142/tid=8143] ppid=8140 vsize=833448 CPUtime=0.17 cores=0,2,4,6
/proc/8142/task/8143/stat : 8143 (mono) S 8140 8142 7558 0 -1 4202560 4 0 0 0 17 0 0 0 16 0 9 0 719589327 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8144] ppid=8140 vsize=833448 CPUtime=0.18 cores=0,2,4,6
/proc/8142/task/8144/stat : 8144 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 18 0 0 0 15 0 9 0 719589327 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8145] ppid=8140 vsize=833448 CPUtime=0.17 cores=0,2,4,6
/proc/8142/task/8145/stat : 8145 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 719589327 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8146] ppid=8140 vsize=833448 CPUtime=0.16 cores=0,2,4,6
/proc/8142/task/8146/stat : 8146 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 9 0 719589327 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8147] ppid=8140 vsize=833448 CPUtime=0.18 cores=0,2,4,6
/proc/8142/task/8147/stat : 8147 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 18 0 0 0 16 0 9 0 719589327 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8148] ppid=8140 vsize=833448 CPUtime=0.16 cores=0,2,4,6
/proc/8142/task/8148/stat : 8148 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 9 0 719589327 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8149] ppid=8140 vsize=833448 CPUtime=0.15 cores=0,2,4,6
/proc/8142/task/8149/stat : 8149 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 15 0 0 0 16 0 9 0 719589327 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 0 0 0 0
[pid=8142/tid=8150] ppid=8140 vsize=833448 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8150/stat : 8150 (mono) S 8140 8142 7558 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719589328 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134537649 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 439.12
Current children cumulated vsize (KiB) 833448

[startup+439.901 s]
/proc/loadavg: 2.10 2.08 2.07 3/478 8245
/proc/meminfo: memFree=16331268/32951124 swapFree=49826860/67111528
[pid=8142] ppid=8140 vsize=833448 CPUtime=440.73 cores=0,2,4,6
/proc/8142/stat : 8142 (mono) R 8140 8142 7558 0 -1 4202496 359694 0 0 0 44010 63 0 0 25 0 9 0 719589327 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 1075639973 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/8142/statm: 208362 182733 1036 742 0 200933 0
[pid=8142/tid=8143] ppid=8140 vsize=833448 CPUtime=0.17 cores=0,2,4,6
/proc/8142/task/8143/stat : 8143 (mono) S 8140 8142 7558 0 -1 4202560 4 0 0 0 17 0 0 0 16 0 9 0 719589327 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8144] ppid=8140 vsize=833448 CPUtime=0.18 cores=0,2,4,6
/proc/8142/task/8144/stat : 8144 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 18 0 0 0 15 0 9 0 719589327 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8145] ppid=8140 vsize=833448 CPUtime=0.17 cores=0,2,4,6
/proc/8142/task/8145/stat : 8145 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 719589327 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8146] ppid=8140 vsize=833448 CPUtime=0.16 cores=0,2,4,6
/proc/8142/task/8146/stat : 8146 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 9 0 719589327 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8147] ppid=8140 vsize=833448 CPUtime=0.18 cores=0,2,4,6
/proc/8142/task/8147/stat : 8147 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 18 0 0 0 16 0 9 0 719589327 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8148] ppid=8140 vsize=833448 CPUtime=0.16 cores=0,2,4,6
/proc/8142/task/8148/stat : 8148 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 9 0 719589327 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8149] ppid=8140 vsize=833448 CPUtime=0.15 cores=0,2,4,6
/proc/8142/task/8149/stat : 8149 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 15 0 0 0 16 0 9 0 719589327 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 0 0 0 0
[pid=8142/tid=8150] ppid=8140 vsize=833448 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8150/stat : 8150 (mono) S 8140 8142 7558 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719589328 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134537649 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 440.73
Current children cumulated vsize (KiB) 833448

[startup+440.301 s]
/proc/loadavg: 2.10 2.08 2.07 3/478 8245
/proc/meminfo: memFree=16331268/32951124 swapFree=49826860/67111528
[pid=8142] ppid=8140 vsize=833448 CPUtime=441.12 cores=0,2,4,6
/proc/8142/stat : 8142 (mono) R 8140 8142 7558 0 -1 4202496 359694 0 0 0 44049 63 0 0 25 0 9 0 719589327 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 1075639714 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/8142/statm: 208362 182733 1036 742 0 200933 0
[pid=8142/tid=8143] ppid=8140 vsize=833448 CPUtime=0.17 cores=0,2,4,6
/proc/8142/task/8143/stat : 8143 (mono) S 8140 8142 7558 0 -1 4202560 4 0 0 0 17 0 0 0 16 0 9 0 719589327 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8144] ppid=8140 vsize=833448 CPUtime=0.18 cores=0,2,4,6
/proc/8142/task/8144/stat : 8144 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 18 0 0 0 15 0 9 0 719589327 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8145] ppid=8140 vsize=833448 CPUtime=0.17 cores=0,2,4,6
/proc/8142/task/8145/stat : 8145 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 719589327 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8146] ppid=8140 vsize=833448 CPUtime=0.16 cores=0,2,4,6
/proc/8142/task/8146/stat : 8146 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 9 0 719589327 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8147] ppid=8140 vsize=833448 CPUtime=0.18 cores=0,2,4,6
/proc/8142/task/8147/stat : 8147 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 18 0 0 0 16 0 9 0 719589327 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8148] ppid=8140 vsize=833448 CPUtime=0.16 cores=0,2,4,6
/proc/8142/task/8148/stat : 8148 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 9 0 719589327 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8149] ppid=8140 vsize=833448 CPUtime=0.15 cores=0,2,4,6
/proc/8142/task/8149/stat : 8149 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 15 0 0 0 16 0 9 0 719589327 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545260780 18446604445278437824 0 0 -1 0 0 0 0
[pid=8142/tid=8150] ppid=8140 vsize=833448 CPUtime=0 cores=0,2,4,6
/proc/8142/task/8150/stat : 8150 (mono) S 8140 8142 7558 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719589328 853450752 182733 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134537649 0 0 4096 545260780 18446604445278437824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 441.12
Current children cumulated vsize (KiB) 833448

[startup+440.5 s]
/proc/loadavg: 2.10 2.08 2.07 3/478 8245
/proc/meminfo: memFree=16331268/32951124 swapFree=49826860/67111528
[pid=8142] ppid=8140 vsize=830664 CPUtime=441.32 cores=0,2,4,6
/proc/8142/stat : 8142 (mono) R 8140 8142 7558 0 -1 4202496 359796 0 0 0 44069 63 0 0 25 0 8 0 719589327 850599936 182501 33554432000 4194304 7232020 140733814465568 18446744073709551615 6084879 0 0 4096 545259520 18446744073709551615 0 0 17 0 0 0 0
/proc/8142/statm: 207649 182485 782 742 0 200935 0
[pid=8142/tid=8143] ppid=8140 vsize=830596 CPUtime=0.17 cores=0,2,4,6
/proc/8142/task/8143/stat : 8143 (mono) S 8140 8142 7558 0 -1 4202560 4 0 0 0 17 0 0 0 15 0 8 0 719589327 850530304 182486 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545259520 18446604445278437824 0 0 -1 4 0 0 0
[pid=8142/tid=8144] ppid=8140 vsize=830596 CPUtime=0.18 cores=0,2,4,6
/proc/8142/task/8144/stat : 8144 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 18 0 0 0 15 0 8 0 719589327 850530304 182486 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545259520 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8145] ppid=8140 vsize=830596 CPUtime=0.17 cores=0,2,4,6
/proc/8142/task/8145/stat : 8145 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 8 0 719589327 850530304 182486 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545259520 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8146] ppid=8140 vsize=830596 CPUtime=0.16 cores=0,2,4,6
/proc/8142/task/8146/stat : 8146 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 16 0 0 0 16 0 8 0 719589327 850530304 182486 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545259520 18446604445278437824 0 0 -1 2 0 0 0
[pid=8142/tid=8147] ppid=8140 vsize=830596 CPUtime=0.18 cores=0,2,4,6
/proc/8142/task/8147/stat : 8147 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 18 0 0 0 15 0 8 0 719589327 850530304 182486 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545259520 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8148] ppid=8140 vsize=830596 CPUtime=0.16 cores=0,2,4,6
/proc/8142/task/8148/stat : 8148 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 8 0 719589327 850530304 182486 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545259520 18446604445278437824 0 0 -1 6 0 0 0
[pid=8142/tid=8149] ppid=8140 vsize=830596 CPUtime=0.15 cores=0,2,4,6
/proc/8142/task/8149/stat : 8149 (mono) S 8140 8142 7558 0 -1 4202560 2 0 0 0 15 0 0 0 15 0 8 0 719589327 850530304 182486 33554432000 4194304 7232020 140733814465568 18446744073709551615 228134529945 0 0 4096 545259520 18446604445278437824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 441.32
Current children cumulated vsize (KiB) 830664

Child status: 0
Real time (s): 440.53
CPU time (s): 441.362
CPU user time (s): 440.697
CPU system time (s): 0.664898
CPU usage (%): 100.189
Max. virtual memory (cumulated for all children) (KiB): 833448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 440.697
system time used= 0.664898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359828
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= 11058
involuntary context switches= 3671

runsolver used 2.17867 second user time and 4.34234 second system time

The end
Name	crafted/skvortsov/battleship/ battleship-24-57-sat.cnf
MD5SUM	179851d97340610ea74d8d7b3cffb10b
Bench Category	CRAFTED (crafted instances)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.039993
Satisfiable
(Un)Satisfiability was proved
Number of variables	1368
Number of clauses	16308
Sum of the clauses size	64296
Maximum clause length	57
Minimum clause length	2
Number of clauses of size 1	0
Number of clauses of size 2	15732
Number of clauses of size 3	0
Number of clauses of size 4	0
Number of clauses of size 5	0
Number of clauses of size over 5	576
Trace number 3394519

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
