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

Solver Name	Answer	CPU time	Wall clock time
Sol 2011-04-04	SAT	50.0514	49.3098
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-3395013-1306090087/watcher-3395013-1306090087 -o /tmp/evaluation-result-3395013-1306090087/solver-3395013-1306090087 -C 5000 -W 5100 -M 15500 mono Main.exe HOME/instance-3395013-1306090087.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: 1.39 1.10 1.11 3/451 11372
/proc/meminfo: memFree=17337104/32950928 swapFree=60044444/67111528
[pid=11372] ppid=11370 vsize=102736 CPUtime=0 cores=1,3,5,7
/proc/11372/stat : 11372 (mono) R 11370 11372 9891 0 -1 4202496 921 0 0 0 0 0 0 0 18 0 8 0 799239340 105201664 830 33554432000 4194304 7232020 140734644201744 18446744073709551615 231895151649 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/11372/statm: 25684 830 639 742 0 18255 0
[pid=11372/tid=11373] ppid=11370 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11373/stat : 11373 (mono) S 11370 11372 9891 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 799239340 108199936 1276 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11374] ppid=11370 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11374/stat : 11374 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799239340 108199936 1276 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11375] ppid=11370 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11375/stat : 11375 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799239340 108199936 1276 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11376] ppid=11370 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11376/stat : 11376 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799239340 108199936 1276 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11377] ppid=11370 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11377/stat : 11377 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799239340 108199936 1279 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11378] ppid=11370 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11378/stat : 11378 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799239340 108199936 1280 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11379] ppid=11370 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11379/stat : 11379 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799239340 108199936 1280 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11380] ppid=11370 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11380/stat : 11380 (mono) S 11370 11372 9891 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 9 0 799239341 108199936 1280 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907314097 0 0 4096 545260780 18446604470019479360 0 0 -1 3 0 0 0

[startup+0.0464509 s]
/proc/loadavg: 1.39 1.10 1.11 3/451 11372
/proc/meminfo: memFree=17337104/32950928 swapFree=60044444/67111528
[pid=11372] ppid=11370 vsize=107628 CPUtime=0.03 cores=1,3,5,7
/proc/11372/stat : 11372 (mono) R 11370 11372 9891 0 -1 4202496 1960 0 0 0 3 0 0 0 18 0 9 0 799239340 110211072 1861 33554432000 4194304 7232020 140734644201744 18446744073709551615 6182052 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/11372/statm: 26907 1861 975 742 0 19478 0
[pid=11372/tid=11373] ppid=11370 vsize=107628 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11373/stat : 11373 (mono) S 11370 11372 9891 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 799239340 110211072 1861 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11374] ppid=11370 vsize=107628 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11374/stat : 11374 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799239340 110211072 1861 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11375] ppid=11370 vsize=107628 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11375/stat : 11375 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799239340 110211072 1862 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11376] ppid=11370 vsize=107628 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11376/stat : 11376 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799239340 110211072 1863 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11377] ppid=11370 vsize=107628 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11377/stat : 11377 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799239340 110211072 1865 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11378] ppid=11370 vsize=107628 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11378/stat : 11378 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799239340 110211072 1868 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11379] ppid=11370 vsize=107628 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11379/stat : 11379 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799239340 110211072 1870 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11380] ppid=11370 vsize=107628 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11380/stat : 11380 (mono) S 11370 11372 9891 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 9 0 799239341 110211072 1872 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907314097 0 0 4096 545260780 18446604470019479360 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 107628

[startup+0.100444 s]
/proc/loadavg: 1.39 1.10 1.11 3/451 11372
/proc/meminfo: memFree=17337104/32950928 swapFree=60044444/67111528
[pid=11372] ppid=11370 vsize=110356 CPUtime=0.09 cores=1,3,5,7
/proc/11372/stat : 11372 (mono) S 11370 11372 9891 0 -1 4202496 2481 0 0 0 9 0 0 0 18 0 9 0 799239340 113004544 2382 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446744073709551615 0 0 17 7 0 0 0
/proc/11372/statm: 27589 2382 975 742 0 20160 0
[pid=11372/tid=11373] ppid=11370 vsize=110356 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11373/stat : 11373 (mono) R 11370 11372 9891 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 799239340 113004544 2411 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11374] ppid=11370 vsize=110356 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11374/stat : 11374 (mono) R 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799239340 113004544 2411 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 0 0 0 -1 3 0 0 0
[pid=11372/tid=11375] ppid=11370 vsize=110356 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11375/stat : 11375 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 799239340 113004544 2411 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11376] ppid=11370 vsize=110356 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11376/stat : 11376 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 799239340 113004544 2446 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11377] ppid=11370 vsize=110356 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11377/stat : 11377 (mono) R 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 799239340 113004544 2446 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 0 0 0 -1 3 0 0 0
[pid=11372/tid=11378] ppid=11370 vsize=110356 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11378/stat : 11378 (mono) R 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 799239340 113004544 2446 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907307663 0 0 4096 545260780 0 0 0 -1 3 0 0 0
[pid=11372/tid=11379] ppid=11370 vsize=110356 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11379/stat : 11379 (mono) R 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 799239340 113004544 2446 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 0 0 0 -1 3 0 0 0
[pid=11372/tid=11380] ppid=11370 vsize=110356 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11380/stat : 11380 (mono) S 11370 11372 9891 0 -1 4194368 3 0 0 0 0 0 0 0 19 0 9 0 799239341 113004544 2446 33554432000 4194304 7232020 140734644201744 18446744073709551615 231894878143 0 2138816217 4096 545260780 18446744071562694473 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 110356

[startup+0.30048 s]
/proc/loadavg: 1.39 1.10 1.11 3/451 11372
/proc/meminfo: memFree=17337104/32950928 swapFree=60044444/67111528
[pid=11372] ppid=11370 vsize=156712 CPUtime=0.33 cores=1,3,5,7
/proc/11372/stat : 11372 (mono) R 11370 11372 9891 0 -1 4202496 12718 0 0 0 32 1 0 0 18 0 9 0 799239340 160473088 12619 33554432000 4194304 7232020 140734644201744 18446744073709551615 6230302 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/11372/statm: 39178 12620 999 742 0 31749 0
[pid=11372/tid=11373] ppid=11370 vsize=156712 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11373/stat : 11373 (mono) S 11370 11372 9891 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 9 0 799239340 160473088 12620 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11374] ppid=11370 vsize=156712 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11374/stat : 11374 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 799239340 160473088 12620 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 5 0 0 0
[pid=11372/tid=11375] ppid=11370 vsize=156712 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11375/stat : 11375 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 799239340 160473088 12620 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 3 0 0 0
[pid=11372/tid=11376] ppid=11370 vsize=156712 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11376/stat : 11376 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 799239340 160473088 12620 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11377] ppid=11370 vsize=156712 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11377/stat : 11377 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 799239340 160473088 12620 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 7 0 0 0
[pid=11372/tid=11378] ppid=11370 vsize=156712 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11378/stat : 11378 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 799239340 160473088 12620 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 7 0 0 0
[pid=11372/tid=11379] ppid=11370 vsize=156712 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11379/stat : 11379 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 799239340 160473088 12621 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 5 0 0 0
[pid=11372/tid=11380] ppid=11370 vsize=156712 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11380/stat : 11380 (mono) S 11370 11372 9891 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 9 0 799239341 160473088 12621 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907314097 0 0 4096 545260780 18446604470019479360 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 156712

[startup+0.700397 s]
/proc/loadavg: 1.39 1.10 1.11 3/451 11372
/proc/meminfo: memFree=17337104/32950928 swapFree=60044444/67111528
[pid=11372] ppid=11370 vsize=182068 CPUtime=0.74 cores=1,3,5,7
/proc/11372/stat : 11372 (mono) R 11370 11372 9891 0 -1 4202496 19118 0 0 0 72 2 0 0 18 0 9 0 799239340 186437632 19018 33554432000 4194304 7232020 140734644201744 18446744073709551615 1086378005 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/11372/statm: 45517 19018 1023 742 0 38088 0
[pid=11372/tid=11373] ppid=11370 vsize=182068 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11373/stat : 11373 (mono) S 11370 11372 9891 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 799239340 186437632 19018 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11374] ppid=11370 vsize=182068 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11374/stat : 11374 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 799239340 186437632 19018 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 5 0 0 0
[pid=11372/tid=11375] ppid=11370 vsize=182068 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11375/stat : 11375 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 799239340 186437632 19018 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 3 0 0 0
[pid=11372/tid=11376] ppid=11370 vsize=182068 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11376/stat : 11376 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 799239340 186437632 19018 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11377] ppid=11370 vsize=182068 CPUtime=0.01 cores=1,3,5,7
/proc/11372/task/11377/stat : 11377 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 799239340 186437632 19018 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 7 0 0 0
[pid=11372/tid=11378] ppid=11370 vsize=182068 CPUtime=0.01 cores=1,3,5,7
/proc/11372/task/11378/stat : 11378 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 799239340 186437632 19018 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 7 0 0 0
[pid=11372/tid=11379] ppid=11370 vsize=182068 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11379/stat : 11379 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 799239340 186437632 19018 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 5 0 0 0
[pid=11372/tid=11380] ppid=11370 vsize=182068 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11380/stat : 11380 (mono) S 11370 11372 9891 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 799239341 186437632 19018 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907314097 0 0 4096 545260780 18446604470019479360 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 182068

[startup+1.50124 s]
/proc/loadavg: 1.39 1.10 1.11 3/460 11381
/proc/meminfo: memFree=17264348/32950928 swapFree=60044444/67111528
[pid=11372] ppid=11370 vsize=182260 CPUtime=1.55 cores=1,3,5,7
/proc/11372/stat : 11372 (mono) R 11370 11372 9891 0 -1 4202496 19468 0 0 0 153 2 0 0 19 0 9 0 799239340 186634240 19368 33554432000 4194304 7232020 140734644201744 18446744073709551615 1086377551 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/11372/statm: 45565 19368 1023 742 0 38136 0
[pid=11372/tid=11373] ppid=11370 vsize=182260 CPUtime=0.01 cores=1,3,5,7
/proc/11372/task/11373/stat : 11373 (mono) S 11370 11372 9891 0 -1 4202560 4 0 0 0 1 0 0 0 16 0 9 0 799239340 186634240 19368 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11374] ppid=11370 vsize=182260 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11374/stat : 11374 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 799239340 186634240 19368 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 5 0 0 0
[pid=11372/tid=11375] ppid=11370 vsize=182260 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11375/stat : 11375 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 799239340 186634240 19368 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 3 0 0 0
[pid=11372/tid=11376] ppid=11370 vsize=182260 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11376/stat : 11376 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 799239340 186634240 19368 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11377] ppid=11370 vsize=182260 CPUtime=0.01 cores=1,3,5,7
/proc/11372/task/11377/stat : 11377 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 799239340 186634240 19368 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 7 0 0 0
[pid=11372/tid=11378] ppid=11370 vsize=182260 CPUtime=0.01 cores=1,3,5,7
/proc/11372/task/11378/stat : 11378 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 799239340 186634240 19368 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 7 0 0 0
[pid=11372/tid=11379] ppid=11370 vsize=182260 CPUtime=0.01 cores=1,3,5,7
/proc/11372/task/11379/stat : 11379 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 799239340 186634240 19368 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 5 0 0 0
[pid=11372/tid=11380] ppid=11370 vsize=182260 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11380/stat : 11380 (mono) S 11370 11372 9891 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 799239341 186634240 19368 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907314097 0 0 4096 545260780 18446604470019479360 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 182260

[startup+3.10094 s]
/proc/loadavg: 1.39 1.10 1.11 3/460 11381
/proc/meminfo: memFree=17259264/32950928 swapFree=60044444/67111528
[pid=11372] ppid=11370 vsize=182388 CPUtime=3.17 cores=1,3,5,7
/proc/11372/stat : 11372 (mono) R 11370 11372 9891 0 -1 4202496 20706 0 0 0 315 2 0 0 23 0 9 0 799239340 186765312 20606 33554432000 4194304 7232020 140734644201744 18446744073709551615 1086378313 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/11372/statm: 45597 20606 1023 742 0 38168 0
[pid=11372/tid=11373] ppid=11370 vsize=182388 CPUtime=0.01 cores=1,3,5,7
/proc/11372/task/11373/stat : 11373 (mono) S 11370 11372 9891 0 -1 4202560 4 0 0 0 1 0 0 0 15 0 9 0 799239340 186765312 20606 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11374] ppid=11370 vsize=182388 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11374/stat : 11374 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 799239340 186765312 20606 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 5 0 0 0
[pid=11372/tid=11375] ppid=11370 vsize=182388 CPUtime=0.01 cores=1,3,5,7
/proc/11372/task/11375/stat : 11375 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 799239340 186765312 20606 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 7 0 0 0
[pid=11372/tid=11376] ppid=11370 vsize=182388 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11376/stat : 11376 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 799239340 186765312 20606 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11377] ppid=11370 vsize=182388 CPUtime=0.01 cores=1,3,5,7
/proc/11372/task/11377/stat : 11377 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 799239340 186765312 20606 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 3 0 0 0
[pid=11372/tid=11378] ppid=11370 vsize=182388 CPUtime=0.01 cores=1,3,5,7
/proc/11372/task/11378/stat : 11378 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 799239340 186765312 20606 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 7 0 0 0
[pid=11372/tid=11379] ppid=11370 vsize=182388 CPUtime=0.01 cores=1,3,5,7
/proc/11372/task/11379/stat : 11379 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 799239340 186765312 20606 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 5 0 0 0
[pid=11372/tid=11380] ppid=11370 vsize=182388 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11380/stat : 11380 (mono) S 11370 11372 9891 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 799239341 186765312 20606 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907314097 0 0 4096 545260780 18446604470019479360 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 182388

[startup+6.30135 s]
/proc/loadavg: 1.44 1.12 1.11 3/460 11381
/proc/meminfo: memFree=17257060/32950928 swapFree=60044444/67111528
[pid=11372] ppid=11370 vsize=182644 CPUtime=6.42 cores=1,3,5,7
/proc/11372/stat : 11372 (mono) R 11370 11372 9891 0 -1 4202496 20755 0 0 0 640 2 0 0 22 0 9 0 799239340 187027456 20655 33554432000 4194304 7232020 140734644201744 18446744073709551615 1086378041 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/11372/statm: 45661 20655 1023 742 0 38232 0

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

[pid=11372/tid=11373] ppid=11370 vsize=216052 CPUtime=0.08 cores=1,3,5,7
/proc/11372/task/11373/stat : 11373 (mono) S 11370 11372 9891 0 -1 4202560 4 0 0 0 8 0 0 0 16 0 9 0 799239340 221237248 27797 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11374] ppid=11370 vsize=216052 CPUtime=0.06 cores=1,3,5,7
/proc/11372/task/11374/stat : 11374 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 799239340 221237248 27797 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 7 0 0 0
[pid=11372/tid=11375] ppid=11370 vsize=216052 CPUtime=0.05 cores=1,3,5,7
/proc/11372/task/11375/stat : 11375 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 799239340 221237248 27797 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 5 0 0 0
[pid=11372/tid=11376] ppid=11370 vsize=216052 CPUtime=0.06 cores=1,3,5,7
/proc/11372/task/11376/stat : 11376 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 799239340 221237248 27797 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 3 0 0 0
[pid=11372/tid=11377] ppid=11370 vsize=216052 CPUtime=0.09 cores=1,3,5,7
/proc/11372/task/11377/stat : 11377 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 799239340 221237248 27797 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 5 0 0 0
[pid=11372/tid=11378] ppid=11370 vsize=216052 CPUtime=0.08 cores=1,3,5,7
/proc/11372/task/11378/stat : 11378 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 799239340 221237248 27797 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 5 0 0 0
[pid=11372/tid=11379] ppid=11370 vsize=216052 CPUtime=0.08 cores=1,3,5,7
/proc/11372/task/11379/stat : 11379 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 799239340 221237248 27797 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 5 0 0 0
[pid=11372/tid=11380] ppid=11370 vsize=216052 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11380/stat : 11380 (mono) S 11370 11372 9891 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 799239341 221237248 27797 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907314097 0 0 4096 545260780 18446604470019479360 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.91
Current children cumulated vsize (KiB) 216052

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

[startup+38.3013 s]
/proc/loadavg: 1.66 1.20 1.14 3/460 11382
/proc/meminfo: memFree=17205428/32950928 swapFree=60044444/67111528
[pid=11372] ppid=11370 vsize=241268 CPUtime=38.88 cores=1,3,5,7
/proc/11372/stat : 11372 (mono) R 11370 11372 9891 0 -1 4202496 34690 0 0 0 3883 5 0 0 25 0 9 0 799239340 247058432 33530 33554432000 4194304 7232020 140734644201744 18446744073709551615 1086374969 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/11372/statm: 60317 33530 1035 742 0 52888 0
[pid=11372/tid=11373] ppid=11370 vsize=241268 CPUtime=0.1 cores=1,3,5,7
/proc/11372/task/11373/stat : 11373 (mono) S 11370 11372 9891 0 -1 4202560 4 0 0 0 10 0 0 0 15 0 9 0 799239340 247058432 33530 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 5 0 0 0
[pid=11372/tid=11374] ppid=11370 vsize=241268 CPUtime=0.08 cores=1,3,5,7
/proc/11372/task/11374/stat : 11374 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 799239340 247058432 33530 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11375] ppid=11370 vsize=241268 CPUtime=0.09 cores=1,3,5,7
/proc/11372/task/11375/stat : 11375 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 9 0 0 0 16 0 9 0 799239340 247058432 33530 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 7 0 0 0
[pid=11372/tid=11376] ppid=11370 vsize=241268 CPUtime=0.09 cores=1,3,5,7
/proc/11372/task/11376/stat : 11376 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 799239340 247058432 33530 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 3 0 0 0
[pid=11372/tid=11377] ppid=11370 vsize=241268 CPUtime=0.12 cores=1,3,5,7
/proc/11372/task/11377/stat : 11377 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 12 0 0 0 16 0 9 0 799239340 247058432 33530 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 3 0 0 0
[pid=11372/tid=11378] ppid=11370 vsize=241268 CPUtime=0.12 cores=1,3,5,7
/proc/11372/task/11378/stat : 11378 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 12 0 0 0 15 0 9 0 799239340 247058432 33530 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 5 0 0 0
[pid=11372/tid=11379] ppid=11370 vsize=241268 CPUtime=0.1 cores=1,3,5,7
/proc/11372/task/11379/stat : 11379 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 799239340 247058432 33530 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11380] ppid=11370 vsize=241268 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11380/stat : 11380 (mono) S 11370 11372 9891 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 799239341 247058432 33530 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907314097 0 0 4096 545260780 18446604470019479360 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 38.88
Current children cumulated vsize (KiB) 241268

[startup+44.7011 s]
/proc/loadavg: 1.69 1.21 1.14 3/460 11382
/proc/meminfo: memFree=17218444/32950928 swapFree=60044444/67111528
[pid=11372] ppid=11370 vsize=241268 CPUtime=45.37 cores=1,3,5,7
/proc/11372/stat : 11372 (mono) R 11370 11372 9891 0 -1 4202496 38038 0 0 0 4531 6 0 0 25 0 9 0 799239340 247058432 31249 33554432000 4194304 7232020 140734644201744 18446744073709551615 231911474203 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/11372/statm: 60317 31249 1035 742 0 52888 0
[pid=11372/tid=11373] ppid=11370 vsize=241268 CPUtime=0.11 cores=1,3,5,7
/proc/11372/task/11373/stat : 11373 (mono) S 11370 11372 9891 0 -1 4202560 4 0 0 0 11 0 0 0 16 0 9 0 799239340 247058432 31249 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 3 0 0 0
[pid=11372/tid=11374] ppid=11370 vsize=241268 CPUtime=0.1 cores=1,3,5,7
/proc/11372/task/11374/stat : 11374 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 799239340 247058432 31249 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11375] ppid=11370 vsize=241268 CPUtime=0.11 cores=1,3,5,7
/proc/11372/task/11375/stat : 11375 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 9 0 799239340 247058432 31249 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11376] ppid=11370 vsize=241268 CPUtime=0.1 cores=1,3,5,7
/proc/11372/task/11376/stat : 11376 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 799239340 247058432 31249 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 5 0 0 0
[pid=11372/tid=11377] ppid=11370 vsize=241268 CPUtime=0.14 cores=1,3,5,7
/proc/11372/task/11377/stat : 11377 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 14 0 0 0 16 0 9 0 799239340 247058432 31249 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 7 0 0 0
[pid=11372/tid=11378] ppid=11370 vsize=241268 CPUtime=0.13 cores=1,3,5,7
/proc/11372/task/11378/stat : 11378 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 799239340 247058432 31249 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 7 0 0 0
[pid=11372/tid=11379] ppid=11370 vsize=241268 CPUtime=0.12 cores=1,3,5,7
/proc/11372/task/11379/stat : 11379 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 12 0 0 0 15 0 9 0 799239340 247058432 31249 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 5 0 0 0
[pid=11372/tid=11380] ppid=11370 vsize=241268 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11380/stat : 11380 (mono) S 11370 11372 9891 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 799239341 247058432 31249 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907314097 0 0 4096 545260780 18446604470019479360 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 45.37
Current children cumulated vsize (KiB) 241268

[startup+47.9005 s]
/proc/loadavg: 1.71 1.23 1.15 3/460 11382
/proc/meminfo: memFree=17212120/32950928 swapFree=60044444/67111528
[pid=11372] ppid=11370 vsize=241268 CPUtime=48.61 cores=1,3,5,7
/proc/11372/stat : 11372 (mono) R 11370 11372 9891 0 -1 4202496 39631 0 0 0 4855 6 0 0 19 0 9 0 799239340 247058432 32505 33554432000 4194304 7232020 140734644201744 18446744073709551615 1086378324 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/11372/statm: 60317 32505 1035 742 0 52888 0
[pid=11372/tid=11373] ppid=11370 vsize=241268 CPUtime=0.12 cores=1,3,5,7
/proc/11372/task/11373/stat : 11373 (mono) S 11370 11372 9891 0 -1 4202560 4 0 0 0 12 0 0 0 15 0 9 0 799239340 247058432 32505 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 3 0 0 0
[pid=11372/tid=11374] ppid=11370 vsize=241268 CPUtime=0.1 cores=1,3,5,7
/proc/11372/task/11374/stat : 11374 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 799239340 247058432 32505 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11375] ppid=11370 vsize=241268 CPUtime=0.12 cores=1,3,5,7
/proc/11372/task/11375/stat : 11375 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 12 0 0 0 16 0 9 0 799239340 247058432 32505 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 7 0 0 0
[pid=11372/tid=11376] ppid=11370 vsize=241268 CPUtime=0.11 cores=1,3,5,7
/proc/11372/task/11376/stat : 11376 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 9 0 799239340 247058432 32505 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 5 0 0 0
[pid=11372/tid=11377] ppid=11370 vsize=241268 CPUtime=0.15 cores=1,3,5,7
/proc/11372/task/11377/stat : 11377 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 15 0 0 0 15 0 9 0 799239340 247058432 32505 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 5 0 0 0
[pid=11372/tid=11378] ppid=11370 vsize=241268 CPUtime=0.15 cores=1,3,5,7
/proc/11372/task/11378/stat : 11378 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 15 0 0 0 15 0 9 0 799239340 247058432 32505 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11379] ppid=11370 vsize=241268 CPUtime=0.13 cores=1,3,5,7
/proc/11372/task/11379/stat : 11379 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 799239340 247058432 32505 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11380] ppid=11370 vsize=241268 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11380/stat : 11380 (mono) S 11370 11372 9891 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 799239341 247058432 32505 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907314097 0 0 4096 545260780 18446604470019479360 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 48.61
Current children cumulated vsize (KiB) 241268

[startup+48.7014 s]
/proc/loadavg: 1.71 1.23 1.15 3/460 11382
/proc/meminfo: memFree=17210012/32950928 swapFree=60044444/67111528
[pid=11372] ppid=11370 vsize=241268 CPUtime=49.44 cores=1,3,5,7
/proc/11372/stat : 11372 (mono) R 11370 11372 9891 0 -1 4202496 39989 0 0 0 4937 7 0 0 20 0 9 0 799239340 247058432 32863 33554432000 4194304 7232020 140734644201744 18446744073709551615 1086379685 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/11372/statm: 60317 32863 1035 742 0 52888 0
[pid=11372/tid=11373] ppid=11370 vsize=241268 CPUtime=0.13 cores=1,3,5,7
/proc/11372/task/11373/stat : 11373 (mono) S 11370 11372 9891 0 -1 4202560 4 0 0 0 13 0 0 0 16 0 9 0 799239340 247058432 32863 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 3 0 0 0
[pid=11372/tid=11374] ppid=11370 vsize=241268 CPUtime=0.1 cores=1,3,5,7
/proc/11372/task/11374/stat : 11374 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 799239340 247058432 32863 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 7 0 0 0
[pid=11372/tid=11375] ppid=11370 vsize=241268 CPUtime=0.12 cores=1,3,5,7
/proc/11372/task/11375/stat : 11375 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 12 0 0 0 15 0 9 0 799239340 247058432 32863 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 7 0 0 0
[pid=11372/tid=11376] ppid=11370 vsize=241268 CPUtime=0.11 cores=1,3,5,7
/proc/11372/task/11376/stat : 11376 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 9 0 799239340 247058432 32863 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 5 0 0 0
[pid=11372/tid=11377] ppid=11370 vsize=241268 CPUtime=0.15 cores=1,3,5,7
/proc/11372/task/11377/stat : 11377 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 15 0 0 0 15 0 9 0 799239340 247058432 32863 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 5 0 0 0
[pid=11372/tid=11378] ppid=11370 vsize=241268 CPUtime=0.15 cores=1,3,5,7
/proc/11372/task/11378/stat : 11378 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 15 0 0 0 15 0 9 0 799239340 247058432 32863 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11379] ppid=11370 vsize=241268 CPUtime=0.13 cores=1,3,5,7
/proc/11372/task/11379/stat : 11379 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 799239340 247058432 32863 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11380] ppid=11370 vsize=241268 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11380/stat : 11380 (mono) S 11370 11372 9891 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 799239341 247058432 32863 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907314097 0 0 4096 545260780 18446604470019479360 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.44
Current children cumulated vsize (KiB) 241268

[startup+49.1013 s]
/proc/loadavg: 1.71 1.23 1.15 3/460 11382
/proc/meminfo: memFree=17210012/32950928 swapFree=60044444/67111528
[pid=11372] ppid=11370 vsize=241268 CPUtime=49.84 cores=1,3,5,7
/proc/11372/stat : 11372 (mono) R 11370 11372 9891 0 -1 4202496 39989 0 0 0 4977 7 0 0 21 0 9 0 799239340 247058432 32863 33554432000 4194304 7232020 140734644201744 18446744073709551615 1086378305 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/11372/statm: 60317 32863 1035 742 0 52888 0
[pid=11372/tid=11373] ppid=11370 vsize=241268 CPUtime=0.13 cores=1,3,5,7
/proc/11372/task/11373/stat : 11373 (mono) S 11370 11372 9891 0 -1 4202560 4 0 0 0 13 0 0 0 16 0 9 0 799239340 247058432 32863 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 3 0 0 0
[pid=11372/tid=11374] ppid=11370 vsize=241268 CPUtime=0.1 cores=1,3,5,7
/proc/11372/task/11374/stat : 11374 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 799239340 247058432 32863 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 7 0 0 0
[pid=11372/tid=11375] ppid=11370 vsize=241268 CPUtime=0.12 cores=1,3,5,7
/proc/11372/task/11375/stat : 11375 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 12 0 0 0 15 0 9 0 799239340 247058432 32863 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 7 0 0 0
[pid=11372/tid=11376] ppid=11370 vsize=241268 CPUtime=0.11 cores=1,3,5,7
/proc/11372/task/11376/stat : 11376 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 9 0 799239340 247058432 32863 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 5 0 0 0
[pid=11372/tid=11377] ppid=11370 vsize=241268 CPUtime=0.15 cores=1,3,5,7
/proc/11372/task/11377/stat : 11377 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 15 0 0 0 15 0 9 0 799239340 247058432 32863 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 5 0 0 0
[pid=11372/tid=11378] ppid=11370 vsize=241268 CPUtime=0.15 cores=1,3,5,7
/proc/11372/task/11378/stat : 11378 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 15 0 0 0 15 0 9 0 799239340 247058432 32863 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11379] ppid=11370 vsize=241268 CPUtime=0.13 cores=1,3,5,7
/proc/11372/task/11379/stat : 11379 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 799239340 247058432 32863 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11380] ppid=11370 vsize=241268 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11380/stat : 11380 (mono) S 11370 11372 9891 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 799239341 247058432 32863 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907314097 0 0 4096 545260780 18446604470019479360 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.84
Current children cumulated vsize (KiB) 241268

[startup+49.3012 s]
/proc/loadavg: 1.71 1.23 1.15 3/460 11382
/proc/meminfo: memFree=17210012/32950928 swapFree=60044444/67111528
[pid=11372] ppid=11370 vsize=241356 CPUtime=50.04 cores=1,3,5,7
/proc/11372/stat : 11372 (mono) R 11370 11372 9891 0 -1 4202496 40061 0 0 0 4997 7 0 0 18 0 9 0 799239340 247148544 32934 33554432000 4194304 7232020 140734644201744 18446744073709551615 6236102 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/11372/statm: 60339 32934 1073 742 0 52910 0
[pid=11372/tid=11373] ppid=11370 vsize=241356 CPUtime=0.13 cores=1,3,5,7
/proc/11372/task/11373/stat : 11373 (mono) S 11370 11372 9891 0 -1 4202560 4 0 0 0 13 0 0 0 16 0 9 0 799239340 247148544 32934 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 3 0 0 0
[pid=11372/tid=11374] ppid=11370 vsize=241356 CPUtime=0.1 cores=1,3,5,7
/proc/11372/task/11374/stat : 11374 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 799239340 247148544 32934 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 7 0 0 0
[pid=11372/tid=11375] ppid=11370 vsize=241356 CPUtime=0.12 cores=1,3,5,7
/proc/11372/task/11375/stat : 11375 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 12 0 0 0 15 0 9 0 799239340 247148544 32934 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 7 0 0 0
[pid=11372/tid=11376] ppid=11370 vsize=241356 CPUtime=0.11 cores=1,3,5,7
/proc/11372/task/11376/stat : 11376 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 9 0 799239340 247148544 32934 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 5 0 0 0
[pid=11372/tid=11377] ppid=11370 vsize=241356 CPUtime=0.15 cores=1,3,5,7
/proc/11372/task/11377/stat : 11377 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 15 0 0 0 15 0 9 0 799239340 247148544 32934 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 5 0 0 0
[pid=11372/tid=11378] ppid=11370 vsize=241356 CPUtime=0.15 cores=1,3,5,7
/proc/11372/task/11378/stat : 11378 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 15 0 0 0 15 0 9 0 799239340 247148544 32934 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11379] ppid=11370 vsize=241356 CPUtime=0.13 cores=1,3,5,7
/proc/11372/task/11379/stat : 11379 (mono) S 11370 11372 9891 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 799239340 247148544 32934 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907306393 0 0 4096 545260780 18446604470019479360 0 0 -1 1 0 0 0
[pid=11372/tid=11380] ppid=11370 vsize=241356 CPUtime=0 cores=1,3,5,7
/proc/11372/task/11380/stat : 11380 (mono) S 11370 11372 9891 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 799239341 247148544 32934 33554432000 4194304 7232020 140734644201744 18446744073709551615 231907314097 0 0 4096 545260780 18446604470019479360 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.04
Current children cumulated vsize (KiB) 241356

Child status: 0
Real time (s): 49.3098
CPU time (s): 50.0514
CPU user time (s): 49.9744
CPU system time (s): 0.076988
CPU usage (%): 101.504
Max. virtual memory (cumulated for all children) (KiB): 241356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.9744
system time used= 0.076988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40117
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= 7011
involuntary context switches= 1325

runsolver used 0.222966 second user time and 0.512922 second system time

The end
Name	crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf
MD5SUM	1bb1eb2a3bb0b22f560ab6712b727e98
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.340947
Satisfiable
(Un)Satisfiability was proved
Number of variables	943
Number of clauses	93431
Sum of the clauses size	187745
Maximum clause length	32
Minimum clause length	2
Number of clauses of size 1	0
Number of clauses of size 2	93401
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	30
Trace number 3395013

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
