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

Solver Name	Answer	CPU time	Wall clock time
Sol 2011-04-04	SAT	51.3642	50.8374
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3266833-1303584080/watcher-3266833-1303584080 -o /tmp/evaluation-result-3266833-1303584080/solver-3266833-1303584080 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3266833-1303584080.cnf 

running on 2 cores: 4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.54 3.92 3.89 4/213 12194
/proc/meminfo: memFree=16795972/32951124 swapFree=67111528/67111528
[pid=12194] ppid=12192 vsize=102404 CPUtime=0 cores=4,6
/proc/12194/stat : 12194 (mono) R 12192 12194 11570 0 -1 4202496 734 0 0 0 0 0 0 0 25 0 8 0 548638557 104861696 643 33554432000 4194304 7232020 140736047025408 18446744073709551615 260020056773 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/12194/statm: 25601 645 498 742 0 18172 0
[pid=12194/tid=12195] ppid=12192 vsize=102404 CPUtime=0 cores=4,6
/proc/12194/task/12195/stat : 12195 (mono) S 12192 12194 11570 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 8 0 548638558 104861696 654 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12196] ppid=12192 vsize=102404 CPUtime=0 cores=4,6
/proc/12194/task/12196/stat : 12196 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 548638558 104861696 662 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12197] ppid=12192 vsize=102404 CPUtime=0 cores=4,6
/proc/12194/task/12197/stat : 12197 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 548638558 104861696 667 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12198] ppid=12192 vsize=102404 CPUtime=0 cores=4,6
/proc/12194/task/12198/stat : 12198 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 548638558 104861696 670 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12199] ppid=12192 vsize=102536 CPUtime=0 cores=4,6
/proc/12194/task/12199/stat : 12199 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 548638558 104996864 673 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12200] ppid=12192 vsize=102536 CPUtime=0 cores=4,6
/proc/12194/task/12200/stat : 12200 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 548638558 104996864 675 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12201] ppid=12192 vsize=102536 CPUtime=0 cores=4,6
/proc/12194/task/12201/stat : 12201 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 548638558 104996864 677 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0

[startup+0.00920689 s]
/proc/loadavg: 3.54 3.92 3.89 4/213 12194
/proc/meminfo: memFree=16795972/32951124 swapFree=67111528/67111528
[pid=12194] ppid=12192 vsize=102940 CPUtime=0 cores=4,6
/proc/12194/stat : 12194 (mono) R 12192 12194 11570 0 -1 4202496 1011 0 0 0 0 0 0 0 25 0 8 0 548638557 105410560 920 33554432000 4194304 7232020 140736047025408 18446744073709551615 260020089803 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/12194/statm: 25735 923 671 742 0 18306 0
[pid=12194/tid=12195] ppid=12192 vsize=102940 CPUtime=0 cores=4,6
/proc/12194/task/12195/stat : 12195 (mono) S 12192 12194 11570 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 8 0 548638558 105410560 929 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12196] ppid=12192 vsize=103196 CPUtime=0 cores=4,6
/proc/12194/task/12196/stat : 12196 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 548638558 105672704 937 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12197] ppid=12192 vsize=103196 CPUtime=0 cores=4,6
/proc/12194/task/12197/stat : 12197 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 548638558 105672704 937 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12198] ppid=12192 vsize=103260 CPUtime=0 cores=4,6
/proc/12194/task/12198/stat : 12198 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 548638558 105738240 942 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12199] ppid=12192 vsize=103264 CPUtime=0 cores=4,6
/proc/12194/task/12199/stat : 12199 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 548638558 105742336 942 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12200] ppid=12192 vsize=103264 CPUtime=0 cores=4,6
/proc/12194/task/12200/stat : 12200 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 548638558 105742336 942 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12201] ppid=12192 vsize=103264 CPUtime=0 cores=4,6
/proc/12194/task/12201/stat : 12201 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 548638558 105742336 942 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 102940

[startup+0.101875 s]
/proc/loadavg: 3.54 3.92 3.89 4/213 12194
/proc/meminfo: memFree=16795972/32951124 swapFree=67111528/67111528
[pid=12194] ppid=12192 vsize=110360 CPUtime=0.1 cores=4,6
/proc/12194/stat : 12194 (mono) S 12192 12194 11570 0 -1 4202496 2509 0 0 0 10 0 0 0 18 0 9 0 548638557 113008640 2412 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032221556 0 0 4096 545260780 18446744073709551615 0 0 17 6 0 0 0
/proc/12194/statm: 27590 2447 975 742 0 20161 0
[pid=12194/tid=12195] ppid=12192 vsize=110360 CPUtime=0 cores=4,6
/proc/12194/task/12195/stat : 12195 (mono) S 12192 12194 11570 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 548638558 113008640 2447 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12196] ppid=12192 vsize=110360 CPUtime=0 cores=4,6
/proc/12194/task/12196/stat : 12196 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 548638558 113008640 2461 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12197] ppid=12192 vsize=110360 CPUtime=0 cores=4,6
/proc/12194/task/12197/stat : 12197 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 548638558 113008640 2464 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12198] ppid=12192 vsize=110360 CPUtime=0 cores=4,6
/proc/12194/task/12198/stat : 12198 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 548638558 113008640 2466 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12199] ppid=12192 vsize=110360 CPUtime=0 cores=4,6
/proc/12194/task/12199/stat : 12199 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 548638558 113008640 2468 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12200] ppid=12192 vsize=110360 CPUtime=0 cores=4,6
/proc/12194/task/12200/stat : 12200 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 548638558 113008640 2470 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12201] ppid=12192 vsize=110360 CPUtime=0 cores=4,6
/proc/12194/task/12201/stat : 12201 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 548638558 113008640 2471 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 110360

[startup+0.301169 s]
/proc/loadavg: 3.54 3.92 3.89 4/213 12194
/proc/meminfo: memFree=16795972/32951124 swapFree=67111528/67111528
[pid=12194] ppid=12192 vsize=156764 CPUtime=0.31 cores=4,6
/proc/12194/stat : 12194 (mono) R 12192 12194 11570 0 -1 4202496 12650 0 0 0 30 1 0 0 18 0 9 0 548638557 160526336 12553 33554432000 4194304 7232020 140736047025408 18446744073709551615 1101572095 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/12194/statm: 39191 12553 999 742 0 31762 0
[pid=12194/tid=12195] ppid=12192 vsize=156764 CPUtime=0 cores=4,6
/proc/12194/task/12195/stat : 12195 (mono) S 12192 12194 11570 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 548638558 160526336 12553 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12196] ppid=12192 vsize=156764 CPUtime=0 cores=4,6
/proc/12194/task/12196/stat : 12196 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 548638558 160526336 12553 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12197] ppid=12192 vsize=156764 CPUtime=0 cores=4,6
/proc/12194/task/12197/stat : 12197 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 548638558 160526336 12553 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12198] ppid=12192 vsize=156764 CPUtime=0 cores=4,6
/proc/12194/task/12198/stat : 12198 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 548638558 160526336 12553 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12199] ppid=12192 vsize=156764 CPUtime=0 cores=4,6
/proc/12194/task/12199/stat : 12199 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 548638558 160526336 12553 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12200] ppid=12192 vsize=156764 CPUtime=0 cores=4,6
/proc/12194/task/12200/stat : 12200 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 548638558 160526336 12553 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12201] ppid=12192 vsize=156764 CPUtime=0 cores=4,6
/proc/12194/task/12201/stat : 12201 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 548638558 160526336 12553 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 156764

[startup+0.701093 s]
/proc/loadavg: 3.54 3.92 3.89 4/213 12194
/proc/meminfo: memFree=16795972/32951124 swapFree=67111528/67111528
[pid=12194] ppid=12192 vsize=182068 CPUtime=0.72 cores=4,6
/proc/12194/stat : 12194 (mono) R 12192 12194 11570 0 -1 4202496 19111 0 0 0 70 2 0 0 18 0 9 0 548638557 186437632 19013 33554432000 4194304 7232020 140736047025408 18446744073709551615 1099276405 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/12194/statm: 45517 19013 1023 742 0 38088 0
[pid=12194/tid=12195] ppid=12192 vsize=182068 CPUtime=0 cores=4,6
/proc/12194/task/12195/stat : 12195 (mono) S 12192 12194 11570 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 548638558 186437632 19013 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12196] ppid=12192 vsize=182068 CPUtime=0 cores=4,6
/proc/12194/task/12196/stat : 12196 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 548638558 186437632 19013 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12197] ppid=12192 vsize=182068 CPUtime=0.01 cores=4,6
/proc/12194/task/12197/stat : 12197 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 548638558 186437632 19013 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12198] ppid=12192 vsize=182068 CPUtime=0.01 cores=4,6
/proc/12194/task/12198/stat : 12198 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 548638558 186437632 19013 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12199] ppid=12192 vsize=182068 CPUtime=0 cores=4,6
/proc/12194/task/12199/stat : 12199 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 548638558 186437632 19013 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12200] ppid=12192 vsize=182068 CPUtime=0 cores=4,6
/proc/12194/task/12200/stat : 12200 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 548638558 186437632 19013 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12201] ppid=12192 vsize=182068 CPUtime=0 cores=4,6
/proc/12194/task/12201/stat : 12201 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 548638558 186437632 19013 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 182068

[startup+1.50095 s]
/proc/loadavg: 3.54 3.92 3.89 5/222 12238
/proc/meminfo: memFree=16465268/32951124 swapFree=67111528/67111528
[pid=12194] ppid=12192 vsize=182260 CPUtime=1.53 cores=4,6
/proc/12194/stat : 12194 (mono) R 12192 12194 11570 0 -1 4202496 19463 0 0 0 151 2 0 0 19 0 9 0 548638557 186634240 19365 33554432000 4194304 7232020 140736047025408 18446744073709551615 1099280290 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/12194/statm: 45565 19365 1023 742 0 38136 0
[pid=12194/tid=12195] ppid=12192 vsize=182260 CPUtime=0 cores=4,6
/proc/12194/task/12195/stat : 12195 (mono) S 12192 12194 11570 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 548638558 186634240 19365 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12196] ppid=12192 vsize=182260 CPUtime=0 cores=4,6
/proc/12194/task/12196/stat : 12196 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 548638558 186634240 19365 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12197] ppid=12192 vsize=182260 CPUtime=0.01 cores=4,6
/proc/12194/task/12197/stat : 12197 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 548638558 186634240 19365 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12198] ppid=12192 vsize=182260 CPUtime=0.01 cores=4,6
/proc/12194/task/12198/stat : 12198 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 548638558 186634240 19365 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12199] ppid=12192 vsize=182260 CPUtime=0 cores=4,6
/proc/12194/task/12199/stat : 12199 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 548638558 186634240 19365 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12200] ppid=12192 vsize=182260 CPUtime=0 cores=4,6
/proc/12194/task/12200/stat : 12200 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 548638558 186634240 19365 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12201] ppid=12192 vsize=182260 CPUtime=0.01 cores=4,6
/proc/12194/task/12201/stat : 12201 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 548638558 186634240 19365 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12203] ppid=12192 vsize=182260 CPUtime=0 cores=4,6
/proc/12194/task/12203/stat : 12203 (mono) S 12192 12194 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 548638558 186634240 19365 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032219569 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 182260

[startup+3.10061 s]
/proc/loadavg: 3.54 3.92 3.89 6/211 12329
/proc/meminfo: memFree=16833536/32951124 swapFree=67111528/67111528
[pid=12194] ppid=12192 vsize=182388 CPUtime=3.14 cores=4,6
/proc/12194/stat : 12194 (mono) R 12192 12194 11570 0 -1 4202496 20701 0 0 0 312 2 0 0 18 0 9 0 548638557 186765312 20603 33554432000 4194304 7232020 140736047025408 18446744073709551615 1099283496 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/12194/statm: 45597 20603 1023 742 0 38168 0
[pid=12194/tid=12195] ppid=12192 vsize=182388 CPUtime=0 cores=4,6
/proc/12194/task/12195/stat : 12195 (mono) S 12192 12194 11570 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 548638558 186765312 20603 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12196] ppid=12192 vsize=182388 CPUtime=0.01 cores=4,6
/proc/12194/task/12196/stat : 12196 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 548638558 186765312 20603 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12197] ppid=12192 vsize=182388 CPUtime=0.01 cores=4,6
/proc/12194/task/12197/stat : 12197 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 548638558 186765312 20603 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12198] ppid=12192 vsize=182388 CPUtime=0.01 cores=4,6
/proc/12194/task/12198/stat : 12198 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 548638558 186765312 20603 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12199] ppid=12192 vsize=182388 CPUtime=0.01 cores=4,6
/proc/12194/task/12199/stat : 12199 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 548638558 186765312 20603 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12200] ppid=12192 vsize=182388 CPUtime=0.01 cores=4,6
/proc/12194/task/12200/stat : 12200 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 548638558 186765312 20603 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12201] ppid=12192 vsize=182388 CPUtime=0.01 cores=4,6
/proc/12194/task/12201/stat : 12201 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 548638558 186765312 20603 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12203] ppid=12192 vsize=182388 CPUtime=0 cores=4,6
/proc/12194/task/12203/stat : 12203 (mono) S 12192 12194 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 548638558 186765312 20603 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032219569 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.14
Current children cumulated vsize (KiB) 182388

[startup+6.30108 s]
/proc/loadavg: 3.81 3.98 3.90 6/222 12413
/proc/meminfo: memFree=16647576/32951124 swapFree=67111528/67111528
[pid=12194] ppid=12192 vsize=182644 CPUtime=6.38 cores=4,6
/proc/12194/stat : 12194 (mono) R 12192 12194 11570 0 -1 4202496 20750 0 0 0 636 2 0 0 18 0 9 0 548638557 187027456 20652 33554432000 4194304 7232020 140736047025408 18446744073709551615 1101574730 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/12194/statm: 45661 20652 1023 742 0 38232 0
[pid=12194/tid=12195] ppid=12192 vsize=182644 CPUtime=0.01 cores=4,6
/proc/12194/task/12195/stat : 12195 (mono) S 12192 12194 11570 0 -1 4202560 4 0 0 0 1 0 0 0 16 0 9 0 548638558 187027456 20652 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12196] ppid=12192 vsize=182644 CPUtime=0.02 cores=4,6
/proc/12194/task/12196/stat : 12196 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 548638558 187027456 20652 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12197] ppid=12192 vsize=182644 CPUtime=0.03 cores=4,6
/proc/12194/task/12197/stat : 12197 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 548638558 187027456 20652 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12198] ppid=12192 vsize=182644 CPUtime=0.02 cores=4,6
/proc/12194/task/12198/stat : 12198 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 548638558 187027456 20652 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12199] ppid=12192 vsize=182644 CPUtime=0.01 cores=4,6
/proc/12194/task/12199/stat : 12199 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 548638558 187027456 20652 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0

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

/proc/12194/stat : 12194 (mono) R 12192 12194 11570 0 -1 4202496 34685 0 0 0 3866 5 0 0 25 0 9 0 548638557 247058432 33527 33554432000 4194304 7232020 140736047025408 18446744073709551615 1099276405 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/12194/statm: 60317 33527 1035 742 0 52888 0
[pid=12194/tid=12195] ppid=12192 vsize=241268 CPUtime=0.07 cores=4,6
/proc/12194/task/12195/stat : 12195 (mono) S 12192 12194 11570 0 -1 4202560 4 0 0 0 7 0 0 0 15 0 9 0 548638558 247058432 33527 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12196] ppid=12192 vsize=241268 CPUtime=0.08 cores=4,6
/proc/12194/task/12196/stat : 12196 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 548638558 247058432 33527 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12197] ppid=12192 vsize=241268 CPUtime=0.13 cores=4,6
/proc/12194/task/12197/stat : 12197 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 548638558 247058432 33527 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12198] ppid=12192 vsize=241268 CPUtime=0.09 cores=4,6
/proc/12194/task/12198/stat : 12198 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 548638558 247058432 33527 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12199] ppid=12192 vsize=241268 CPUtime=0.08 cores=4,6
/proc/12194/task/12199/stat : 12199 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 8 0 0 0 16 0 9 0 548638558 247058432 33527 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12200] ppid=12192 vsize=241268 CPUtime=0.08 cores=4,6
/proc/12194/task/12200/stat : 12200 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 548638558 247058432 33527 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12201] ppid=12192 vsize=241268 CPUtime=0.13 cores=4,6
/proc/12194/task/12201/stat : 12201 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 13 0 0 0 16 0 9 0 548638558 247058432 33527 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12203] ppid=12192 vsize=241268 CPUtime=0 cores=4,6
/proc/12194/task/12203/stat : 12203 (mono) S 12192 12194 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 548638558 247058432 33527 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032219569 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 38.71
Current children cumulated vsize (KiB) 241268

[startup+44.701 s]
/proc/loadavg: 3.89 3.98 3.91 5/222 12624
/proc/meminfo: memFree=16105400/32951124 swapFree=67111528/67111528
[pid=12194] ppid=12192 vsize=241268 CPUtime=45.16 cores=4,6
/proc/12194/stat : 12194 (mono) R 12192 12194 11570 0 -1 4202496 37032 0 0 0 4510 6 0 0 25 0 9 0 548638557 247058432 30245 33554432000 4194304 7232020 140736047025408 18446744073709551615 1099276568 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/12194/statm: 60317 30245 1035 742 0 52888 0
[pid=12194/tid=12195] ppid=12192 vsize=241268 CPUtime=0.09 cores=4,6
/proc/12194/task/12195/stat : 12195 (mono) S 12192 12194 11570 0 -1 4202560 4 0 0 0 9 0 0 0 16 0 9 0 548638558 247058432 30245 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12196] ppid=12192 vsize=241268 CPUtime=0.09 cores=4,6
/proc/12194/task/12196/stat : 12196 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 548638558 247058432 30245 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12197] ppid=12192 vsize=241268 CPUtime=0.13 cores=4,6
/proc/12194/task/12197/stat : 12197 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 548638558 247058432 30245 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12198] ppid=12192 vsize=241268 CPUtime=0.1 cores=4,6
/proc/12194/task/12198/stat : 12198 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 548638558 247058432 30245 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12199] ppid=12192 vsize=241268 CPUtime=0.09 cores=4,6
/proc/12194/task/12199/stat : 12199 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 548638558 247058432 30245 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12200] ppid=12192 vsize=241268 CPUtime=0.1 cores=4,6
/proc/12194/task/12200/stat : 12200 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 548638558 247058432 30245 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12201] ppid=12192 vsize=241268 CPUtime=0.15 cores=4,6
/proc/12194/task/12201/stat : 12201 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 15 0 0 0 16 0 9 0 548638558 247058432 30245 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12203] ppid=12192 vsize=241268 CPUtime=0 cores=4,6
/proc/12194/task/12203/stat : 12203 (mono) S 12192 12194 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 548638558 247058432 30245 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032219569 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 45.16
Current children cumulated vsize (KiB) 241268

[startup+47.9004 s]
/proc/loadavg: 3.90 3.98 3.91 5/222 12624
/proc/meminfo: memFree=16091016/32951124 swapFree=67111528/67111528
[pid=12194] ppid=12192 vsize=241268 CPUtime=48.39 cores=4,6
/proc/12194/stat : 12194 (mono) R 12192 12194 11570 0 -1 4202496 38764 0 0 0 4832 7 0 0 25 0 9 0 548638557 247058432 31640 33554432000 4194304 7232020 140736047025408 18446744073709551615 1099273024 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/12194/statm: 60317 31640 1035 742 0 52888 0
[pid=12194/tid=12195] ppid=12192 vsize=241268 CPUtime=0.09 cores=4,6
/proc/12194/task/12195/stat : 12195 (mono) S 12192 12194 11570 0 -1 4202560 4 0 0 0 9 0 0 0 15 0 9 0 548638558 247058432 31640 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12196] ppid=12192 vsize=241268 CPUtime=0.1 cores=4,6
/proc/12194/task/12196/stat : 12196 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 548638558 247058432 31640 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12197] ppid=12192 vsize=241268 CPUtime=0.13 cores=4,6
/proc/12194/task/12197/stat : 12197 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 548638558 247058432 31640 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12198] ppid=12192 vsize=241268 CPUtime=0.11 cores=4,6
/proc/12194/task/12198/stat : 12198 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 9 0 548638558 247058432 31640 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12199] ppid=12192 vsize=241268 CPUtime=0.1 cores=4,6
/proc/12194/task/12199/stat : 12199 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 548638558 247058432 31640 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12200] ppid=12192 vsize=241268 CPUtime=0.1 cores=4,6
/proc/12194/task/12200/stat : 12200 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 548638558 247058432 31640 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12201] ppid=12192 vsize=241268 CPUtime=0.16 cores=4,6
/proc/12194/task/12201/stat : 12201 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 16 0 0 0 16 0 9 0 548638558 247058432 31640 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12203] ppid=12192 vsize=241268 CPUtime=0 cores=4,6
/proc/12194/task/12203/stat : 12203 (mono) S 12192 12194 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 548638558 247058432 31640 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032219569 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 48.39
Current children cumulated vsize (KiB) 241268

[startup+49.5072 s]
/proc/loadavg: 3.91 3.98 3.91 5/222 12624
/proc/meminfo: memFree=16067192/32951124 swapFree=67111528/67111528
[pid=12194] ppid=12192 vsize=241268 CPUtime=50.02 cores=4,6
/proc/12194/stat : 12194 (mono) R 12192 12194 11570 0 -1 4202496 39626 0 0 0 4995 7 0 0 18 0 9 0 548638557 247058432 32502 33554432000 4194304 7232020 140736047025408 18446744073709551615 1099276405 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/12194/statm: 60317 32502 1035 742 0 52888 0
[pid=12194/tid=12195] ppid=12192 vsize=241268 CPUtime=0.09 cores=4,6
/proc/12194/task/12195/stat : 12195 (mono) S 12192 12194 11570 0 -1 4202560 4 0 0 0 9 0 0 0 16 0 9 0 548638558 247058432 32502 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12196] ppid=12192 vsize=241268 CPUtime=0.1 cores=4,6
/proc/12194/task/12196/stat : 12196 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 10 0 0 0 16 0 9 0 548638558 247058432 32502 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12197] ppid=12192 vsize=241268 CPUtime=0.13 cores=4,6
/proc/12194/task/12197/stat : 12197 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 13 0 0 0 16 0 9 0 548638558 247058432 32502 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12198] ppid=12192 vsize=241268 CPUtime=0.12 cores=4,6
/proc/12194/task/12198/stat : 12198 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 12 0 0 0 15 0 9 0 548638558 247058432 32502 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12199] ppid=12192 vsize=241268 CPUtime=0.11 cores=4,6
/proc/12194/task/12199/stat : 12199 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 11 0 0 0 16 0 9 0 548638558 247058432 32502 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12200] ppid=12192 vsize=241268 CPUtime=0.11 cores=4,6
/proc/12194/task/12200/stat : 12200 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 11 0 0 0 16 0 9 0 548638558 247058432 32502 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12201] ppid=12192 vsize=241268 CPUtime=0.17 cores=4,6
/proc/12194/task/12201/stat : 12201 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 17 0 0 0 16 0 9 0 548638558 247058432 32502 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12203] ppid=12192 vsize=241268 CPUtime=0 cores=4,6
/proc/12194/task/12203/stat : 12203 (mono) S 12192 12194 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 548638558 247058432 32502 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032219569 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.02
Current children cumulated vsize (KiB) 241268

[startup+50.301 s]
/proc/loadavg: 3.91 3.98 3.91 5/222 12624
/proc/meminfo: memFree=16067192/32951124 swapFree=67111528/67111528
[pid=12194] ppid=12192 vsize=241268 CPUtime=50.82 cores=4,6
/proc/12194/stat : 12194 (mono) R 12192 12194 11570 0 -1 4202496 39984 0 0 0 5075 7 0 0 17 0 9 0 548638557 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 1099276594 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/12194/statm: 60317 32860 1035 742 0 52888 0
[pid=12194/tid=12195] ppid=12192 vsize=241268 CPUtime=0.09 cores=4,6
/proc/12194/task/12195/stat : 12195 (mono) S 12192 12194 11570 0 -1 4202560 4 0 0 0 9 0 0 0 15 0 9 0 548638558 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12196] ppid=12192 vsize=241268 CPUtime=0.11 cores=4,6
/proc/12194/task/12196/stat : 12196 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 9 0 548638558 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12197] ppid=12192 vsize=241268 CPUtime=0.13 cores=4,6
/proc/12194/task/12197/stat : 12197 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 548638558 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12198] ppid=12192 vsize=241268 CPUtime=0.12 cores=4,6
/proc/12194/task/12198/stat : 12198 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 12 0 0 0 15 0 9 0 548638558 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12199] ppid=12192 vsize=241268 CPUtime=0.11 cores=4,6
/proc/12194/task/12199/stat : 12199 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 11 0 0 0 16 0 9 0 548638558 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12200] ppid=12192 vsize=241268 CPUtime=0.11 cores=4,6
/proc/12194/task/12200/stat : 12200 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 11 0 0 0 16 0 9 0 548638558 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12201] ppid=12192 vsize=241268 CPUtime=0.17 cores=4,6
/proc/12194/task/12201/stat : 12201 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 548638558 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12203] ppid=12192 vsize=241268 CPUtime=0 cores=4,6
/proc/12194/task/12203/stat : 12203 (mono) S 12192 12194 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 548638558 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032219569 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 241268

[startup+50.7009 s]
/proc/loadavg: 3.91 3.98 3.91 5/222 12624
/proc/meminfo: memFree=16061736/32951124 swapFree=67111528/67111528
[pid=12194] ppid=12192 vsize=241268 CPUtime=51.22 cores=4,6
/proc/12194/stat : 12194 (mono) R 12192 12194 11570 0 -1 4202496 39984 0 0 0 5115 7 0 0 18 0 9 0 548638557 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 1099276591 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/12194/statm: 60317 32860 1035 742 0 52888 0
[pid=12194/tid=12195] ppid=12192 vsize=241268 CPUtime=0.09 cores=4,6
/proc/12194/task/12195/stat : 12195 (mono) S 12192 12194 11570 0 -1 4202560 4 0 0 0 9 0 0 0 15 0 9 0 548638558 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12196] ppid=12192 vsize=241268 CPUtime=0.11 cores=4,6
/proc/12194/task/12196/stat : 12196 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 9 0 548638558 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12197] ppid=12192 vsize=241268 CPUtime=0.13 cores=4,6
/proc/12194/task/12197/stat : 12197 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 548638558 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12198] ppid=12192 vsize=241268 CPUtime=0.12 cores=4,6
/proc/12194/task/12198/stat : 12198 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 12 0 0 0 15 0 9 0 548638558 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12199] ppid=12192 vsize=241268 CPUtime=0.11 cores=4,6
/proc/12194/task/12199/stat : 12199 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 11 0 0 0 16 0 9 0 548638558 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12200] ppid=12192 vsize=241268 CPUtime=0.11 cores=4,6
/proc/12194/task/12200/stat : 12200 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 11 0 0 0 16 0 9 0 548638558 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12201] ppid=12192 vsize=241268 CPUtime=0.17 cores=4,6
/proc/12194/task/12201/stat : 12201 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 548638558 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12203] ppid=12192 vsize=241268 CPUtime=0 cores=4,6
/proc/12194/task/12203/stat : 12203 (mono) S 12192 12194 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 548638558 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032219569 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 241268

[startup+50.8009 s]
/proc/loadavg: 3.91 3.98 3.91 5/222 12624
/proc/meminfo: memFree=16061736/32951124 swapFree=67111528/67111528
[pid=12194] ppid=12192 vsize=241268 CPUtime=51.32 cores=4,6
/proc/12194/stat : 12194 (mono) R 12192 12194 11570 0 -1 4202496 39984 0 0 0 5125 7 0 0 18 0 9 0 548638557 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 1099276405 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/12194/statm: 60317 32860 1035 742 0 52888 0
[pid=12194/tid=12195] ppid=12192 vsize=241268 CPUtime=0.09 cores=4,6
/proc/12194/task/12195/stat : 12195 (mono) S 12192 12194 11570 0 -1 4202560 4 0 0 0 9 0 0 0 15 0 9 0 548638558 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12196] ppid=12192 vsize=241268 CPUtime=0.11 cores=4,6
/proc/12194/task/12196/stat : 12196 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 9 0 548638558 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12197] ppid=12192 vsize=241268 CPUtime=0.13 cores=4,6
/proc/12194/task/12197/stat : 12197 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 548638558 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12198] ppid=12192 vsize=241268 CPUtime=0.12 cores=4,6
/proc/12194/task/12198/stat : 12198 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 12 0 0 0 15 0 9 0 548638558 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12199] ppid=12192 vsize=241268 CPUtime=0.11 cores=4,6
/proc/12194/task/12199/stat : 12199 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 11 0 0 0 16 0 9 0 548638558 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 4 0 0 0
[pid=12194/tid=12200] ppid=12192 vsize=241268 CPUtime=0.11 cores=4,6
/proc/12194/task/12200/stat : 12200 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 11 0 0 0 16 0 9 0 548638558 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12201] ppid=12192 vsize=241268 CPUtime=0.17 cores=4,6
/proc/12194/task/12201/stat : 12201 (mono) S 12192 12194 11570 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 548638558 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032211865 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
[pid=12194/tid=12203] ppid=12192 vsize=241268 CPUtime=0 cores=4,6
/proc/12194/task/12203/stat : 12203 (mono) S 12192 12194 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 548638558 247058432 32860 33554432000 4194304 7232020 140736047025408 18446744073709551615 260032219569 0 0 4096 545260780 18446604453907998592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.32
Current children cumulated vsize (KiB) 241268

Child status: 0
Real time (s): 50.8374
CPU time (s): 51.3642
CPU user time (s): 51.2842
CPU system time (s): 0.079987
CPU usage (%): 101.036
Max. virtual memory (cumulated for all children) (KiB): 241268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.2842
system time used= 0.079987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40114
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= 4580
involuntary context switches= 865

runsolver used 0.093985 second user time and 0.19197 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.385941
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 3266833

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
