Trace number 3493894

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Haifa-MUC-A 2011-04-07? (TO) 1800.07 1800.41

General information on the benchmark

NameSAT02/industrial/goldberg/rand_net/
rand_net70-25-1.shuffled.cnf
MD5SUMfc5eda6a382f2564a3ed19c84f82e9c0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark525.373
Satisfiable
(Un)Satisfiability was proved
Number of variables3500
Number of clauses10361
Sum of the clauses size24430
Maximum clause length70
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 26720
Number of clauses of size 33640
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51

Solver Data 

144.92/145.27	c WARNING: for repeatability, setting FPU to use double precision
144.92/145.27	c iter 1 time 30.2704 not-muc 951 unknown 9410 muc 0
144.92/145.27	c iter 2 time 30.5214 not-muc 951 unknown 9409 muc 1
144.92/145.27	c iter 3 time 30.6013 not-muc 951 unknown 9408 muc 2
144.92/145.27	c iter 4 time 32.1281 not-muc 951 unknown 9407 muc 3
144.92/145.27	c iter 5 time 32.4401 not-muc 951 unknown 9406 muc 4
144.92/145.27	c iter 6 time 32.4551 not-muc 951 unknown 9405 muc 5
144.92/145.27	c iter 7 time 32.665 not-muc 951 unknown 9404 muc 6
144.92/145.27	c iter 8 time 32.845 not-muc 951 unknown 9403 muc 7
144.92/145.27	c iter 9 time 33.204 not-muc 951 unknown 9402 muc 8
144.92/145.27	c iter 10 time 33.2969 not-muc 951 unknown 9401 muc 9
144.92/145.27	c iter 11 time 33.3449 not-muc 951 unknown 9400 muc 10
144.92/145.27	c iter 12 time 33.3499 not-muc 951 unknown 9399 muc 11
144.92/145.27	c iter 13 time 34.0328 not-muc 951 unknown 9398 muc 12
144.92/145.27	c iter 14 time 36.5214 not-muc 951 unknown 9397 muc 13
144.92/145.27	c iter 15 time 36.8654 not-muc 951 unknown 9396 muc 14
144.92/145.27	c iter 16 time 36.9924 not-muc 951 unknown 9395 muc 15
144.92/145.27	c iter 17 time 36.9994 not-muc 951 unknown 9394 muc 16
144.92/145.27	c iter 18 time 37.6953 not-muc 951 unknown 9393 muc 17
144.92/145.27	c iter 19 time 37.7223 not-muc 951 unknown 9392 muc 18
144.92/145.27	c iter 20 time 41.5247 not-muc 951 unknown 9391 muc 19
144.92/145.27	c iter 21 time 41.5657 not-muc 951 unknown 9390 muc 20
144.92/145.27	c iter 22 time 41.5787 not-muc 951 unknown 9389 muc 21
144.92/145.27	c iter 23 time 41.6027 not-muc 951 unknown 9388 muc 22
144.92/145.27	c iter 24 time 41.7786 not-muc 951 unknown 9387 muc 23
144.92/145.27	c iter 25 time 42.2556 not-muc 951 unknown 9386 muc 24
144.92/145.27	c iter 26 time 42.2836 not-muc 951 unknown 9385 muc 25
144.92/145.27	c iter 27 time 42.3946 not-muc 951 unknown 9384 muc 26
144.92/145.27	c iter 28 time 43.4754 not-muc 951 unknown 9383 muc 27
144.92/145.27	c iter 29 time 43.6064 not-muc 951 unknown 9382 muc 28
144.92/145.27	c iter 30 time 43.6154 not-muc 951 unknown 9381 muc 29
144.92/145.27	c iter 31 time 74.0167 not-muc 1238 unknown 9094 muc 29
144.92/145.27	c iter 32 time 74.0627 not-muc 1238 unknown 9093 muc 30
144.92/145.27	c iter 33 time 74.0757 not-muc 1238 unknown 9092 muc 31
144.92/145.27	c iter 34 time 74.0857 not-muc 1238 unknown 9091 muc 32
144.92/145.27	c iter 35 time 74.0977 not-muc 1238 unknown 9090 muc 33
144.92/145.27	c iter 36 time 74.1237 not-muc 1238 unknown 9089 muc 34
144.92/145.27	c iter 37 time 74.1427 not-muc 1238 unknown 9088 muc 35
144.92/145.27	c iter 38 time 74.1547 not-muc 1238 unknown 9087 muc 36
144.92/145.27	c iter 39 time 74.2617 not-muc 1238 unknown 9086 muc 37
144.92/145.27	c iter 40 time 74.3027 not-muc 1238 unknown 9085 muc 38
144.92/145.27	c iter 41 time 74.6866 not-muc 1238 unknown 9084 muc 39
144.92/145.27	c iter 42 time 74.6956 not-muc 1238 unknown 9083 muc 40
144.92/145.27	c iter 43 time 75.1166 not-muc 1238 unknown 9082 muc 41
144.92/145.27	c iter 44 time 75.3685 not-muc 1238 unknown 9081 muc 42
144.92/145.27	c iter 45 time 76.4414 not-muc 1238 unknown 9080 muc 43
144.92/145.27	c iter 46 time 76.4464 not-muc 1238 unknown 9079 muc 44
144.92/145.27	c iter 47 time 77.8462 not-muc 1238 unknown 9078 muc 45
144.92/145.27	c iter 48 time 77.8592 not-muc 1238 unknown 9077 muc 46
144.92/145.27	c iter 49 time 77.8862 not-muc 1238 unknown 9076 muc 47
144.92/145.27	c iter 50 time 77.8962 not-muc 1238 unknown 9075 muc 48
144.92/145.27	c iter 51 time 78.5961 not-muc 1238 unknown 9074 muc 49
144.92/145.27	c iter 52 time 107.495 not-muc 1357 unknown 8955 muc 49
144.92/145.27	c iter 53 time 107.554 not-muc 1357 unknown 8954 muc 50
144.92/145.27	c iter 54 time 107.56 not-muc 1357 unknown 8953 muc 51
144.92/145.27	c iter 55 time 107.954 not-muc 1357 unknown 8952 muc 52
144.92/145.27	c iter 56 time 139.256 not-muc 1414 unknown 8895 muc 52
144.92/145.27	c iter 57 time 139.33 not-muc 1414 unknown 8894 muc 53
144.92/145.27	c iter 58 time 139.702 not-muc 1414 unknown 8893 muc 54
144.92/145.27	c iter 59 time 139.936 not-muc 1414 unknown 8892 muc 55
144.92/145.27	c iter 60 time 140.112 not-muc 1414 unknown 8891 muc 56
144.92/145.27	c iter 61 time 140.718 not-muc 1414 unknown 8890 muc 57
144.92/145.27	c iter 62 time 143.014 not-muc 1414 unknown 8889 muc 58
144.92/145.27	c iter 63 time 143.019 not-muc 1414 unknown 8888 muc 59
144.92/145.27	c iter 64 time 143.107 not-muc 1414 unknown 8887 muc 60
144.92/145.27	c iter 65 time 143.141 not-muc 1414 unknown 8886 muc 61
144.92/145.27	c iter 66 time 143.145 not-muc 1414 unknown 8885 muc 62
144.92/145.27	c iter 67 time 143.149 not-muc 1414 unknown 8884 muc 63
144.92/145.27	c iter 68 time 143.258 not-muc 1414 unknown 8883 muc 64
144.92/145.27	c iter 69 time 143.285 not-muc 1414 unknown 8882 muc 65
144.92/145.27	c iter 70 time 143.29 not-muc 1414 unknown 8881 muc 66
144.92/145.27	c iter 71 time 143.367 not-muc 1414 unknown 8880 muc 67
144.92/145.27	c iter 72 time 143.528 not-muc 1414 unknown 8879 muc 68
144.92/145.27	c iter 73 time 143.855 not-muc 1414 unknown 8878 muc 69
441.36/441.78	c iter 74 time 176.663 not-muc 1465 unknown 8827 muc 69
441.36/441.78	c iter 75 time 176.73 not-muc 1465 unknown 8826 muc 70
441.36/441.78	c iter 76 time 177.397 not-muc 1465 unknown 8825 muc 71
441.36/441.78	c iter 77 time 177.555 not-muc 1465 unknown 8824 muc 72
441.36/441.78	c iter 78 time 177.667 not-muc 1465 unknown 8823 muc 73
441.36/441.78	c iter 79 time 177.697 not-muc 1465 unknown 8822 muc 74
441.36/441.78	c iter 80 time 177.705 not-muc 1465 unknown 8821 muc 75
441.36/441.78	c iter 81 time 177.773 not-muc 1465 unknown 8820 muc 76
441.36/441.78	c iter 82 time 177.885 not-muc 1465 unknown 8819 muc 77
441.36/441.78	c iter 83 time 177.992 not-muc 1465 unknown 8818 muc 78
441.36/441.78	c iter 84 time 179.347 not-muc 1465 unknown 8817 muc 79
441.36/441.78	c iter 85 time 179.383 not-muc 1465 unknown 8816 muc 80
441.36/441.78	c iter 86 time 179.415 not-muc 1465 unknown 8815 muc 81
441.36/441.78	c iter 87 time 179.446 not-muc 1465 unknown 8814 muc 82
441.36/441.78	c iter 88 time 214.396 not-muc 1498 unknown 8781 muc 82
441.36/441.78	c iter 89 time 214.48 not-muc 1498 unknown 8780 muc 83
441.36/441.78	c iter 90 time 214.489 not-muc 1498 unknown 8779 muc 84
441.36/441.78	c iter 91 time 214.533 not-muc 1498 unknown 8778 muc 85
441.36/441.78	c iter 92 time 215.26 not-muc 1498 unknown 8777 muc 86
441.36/441.78	c iter 93 time 215.283 not-muc 1498 unknown 8776 muc 87
441.36/441.78	c iter 94 time 215.664 not-muc 1498 unknown 8775 muc 88
441.36/441.78	c iter 95 time 215.688 not-muc 1498 unknown 8774 muc 89
441.36/441.78	c iter 96 time 243.03 not-muc 1516 unknown 8756 muc 89
441.36/441.78	c iter 97 time 243.188 not-muc 1516 unknown 8755 muc 90
441.36/441.78	c iter 98 time 243.201 not-muc 1516 unknown 8754 muc 91
441.36/441.78	c iter 99 time 243.207 not-muc 1516 unknown 8753 muc 92
441.36/441.78	c iter 100 time 273.022 not-muc 1548 unknown 8721 muc 92
441.36/441.78	c iter 101 time 273.107 not-muc 1548 unknown 8720 muc 93
441.36/441.78	c iter 102 time 273.115 not-muc 1548 unknown 8719 muc 94
441.36/441.78	c iter 103 time 273.18 not-muc 1548 unknown 8718 muc 95
441.36/441.78	c iter 104 time 273.187 not-muc 1548 unknown 8717 muc 96
441.36/441.78	c iter 105 time 273.19 not-muc 1548 unknown 8716 muc 97
441.36/441.78	c iter 106 time 305.984 not-muc 1589 unknown 8675 muc 97
441.36/441.78	c iter 107 time 306.915 not-muc 1589 unknown 8674 muc 98
441.36/441.78	c iter 108 time 307.237 not-muc 1589 unknown 8673 muc 99
441.36/441.78	c iter 109 time 307.253 not-muc 1589 unknown 8672 muc 100
441.36/441.78	c iter 110 time 307.256 not-muc 1589 unknown 8671 muc 101
441.36/441.78	c iter 111 time 307.259 not-muc 1589 unknown 8670 muc 102
441.36/441.78	c iter 112 time 307.264 not-muc 1589 unknown 8669 muc 103
441.36/441.78	c iter 113 time 307.314 not-muc 1589 unknown 8668 muc 104
441.36/441.78	c iter 114 time 307.432 not-muc 1589 unknown 8667 muc 105
441.36/441.78	c iter 115 time 307.449 not-muc 1589 unknown 8666 muc 106
441.36/441.78	c iter 116 time 307.836 not-muc 1589 unknown 8665 muc 107
441.36/441.78	c iter 117 time 307.855 not-muc 1589 unknown 8664 muc 108
441.36/441.78	c iter 118 time 339.272 not-muc 1602 unknown 8651 muc 108
441.36/441.78	c iter 119 time 339.322 not-muc 1602 unknown 8650 muc 109
441.36/441.78	c iter 120 time 339.343 not-muc 1602 unknown 8649 muc 110
441.36/441.78	c iter 121 time 339.346 not-muc 1602 unknown 8648 muc 111
441.36/441.78	c iter 122 time 341.094 not-muc 1602 unknown 8647 muc 112
441.36/441.78	c iter 123 time 341.819 not-muc 1602 unknown 8646 muc 113
441.36/441.78	c iter 124 time 341.914 not-muc 1602 unknown 8645 muc 114
441.36/441.78	c iter 125 time 341.939 not-muc 1602 unknown 8644 muc 115
441.36/441.78	c iter 126 time 342.019 not-muc 1602 unknown 8643 muc 116
441.36/441.78	c iter 127 time 342.035 not-muc 1602 unknown 8642 muc 117
441.36/441.78	c iter 128 time 342.805 not-muc 1602 unknown 8641 muc 118
441.36/441.78	c iter 129 time 375.79 not-muc 1614 unknown 8629 muc 118
441.36/441.78	c iter 130 time 375.916 not-muc 1614 unknown 8628 muc 119
441.36/441.78	c iter 131 time 376.044 not-muc 1614 unknown 8627 muc 120
441.36/441.78	c iter 132 time 376.395 not-muc 1614 unknown 8626 muc 121
441.36/441.78	c iter 133 time 377.024 not-muc 1614 unknown 8625 muc 122
441.36/441.78	c iter 134 time 377.03 not-muc 1614 unknown 8624 muc 123
441.36/441.78	c iter 135 time 377.148 not-muc 1614 unknown 8623 muc 124
441.36/441.78	c iter 136 time 404.551 not-muc 1625 unknown 8612 muc 124
441.36/441.78	c iter 137 time 404.626 not-muc 1625 unknown 8611 muc 125
441.36/441.78	c iter 138 time 404.643 not-muc 1625 unknown 8610 muc 126
441.36/441.78	c iter 139 time 404.657 not-muc 1625 unknown 8609 muc 127
441.36/441.78	c iter 140 time 405.082 not-muc 1625 unknown 8608 muc 128
441.36/441.78	c iter 141 time 405.111 not-muc 1625 unknown 8607 muc 129
441.36/441.78	c iter 142 time 437.499 not-muc 1642 unknown 8590 muc 129
441.36/441.78	c iter 143 time 437.679 not-muc 1642 unknown 8589 muc 130
441.36/441.78	c iter 144 time 437.706 not-muc 1642 unknown 8588 muc 131
441.36/441.78	c iter 145 time 437.714 not-muc 1642 unknown 8587 muc 132
643.92/644.35	c iter 146 time 450.955 not-muc 1665 unknown 8564 muc 132
643.92/644.35	c iter 147 time 451.058 not-muc 1665 unknown 8563 muc 133
643.92/644.35	c iter 148 time 453.49 not-muc 1665 unknown 8562 muc 134
643.92/644.35	c iter 149 time 453.495 not-muc 1665 unknown 8561 muc 135
643.92/644.35	c iter 150 time 453.689 not-muc 1665 unknown 8560 muc 136
643.92/644.35	c iter 151 time 458.441 not-muc 1665 unknown 8559 muc 137
643.92/644.35	c iter 152 time 458.515 not-muc 1665 unknown 8558 muc 138
643.92/644.35	c iter 153 time 458.925 not-muc 1665 unknown 8557 muc 139
643.92/644.35	c iter 154 time 458.935 not-muc 1665 unknown 8556 muc 140
643.92/644.35	c iter 155 time 459.627 not-muc 1665 unknown 8555 muc 141
643.92/644.35	c iter 156 time 459.64 not-muc 1665 unknown 8554 muc 142
643.92/644.35	c iter 157 time 459.809 not-muc 1665 unknown 8553 muc 143
643.92/644.35	c iter 158 time 459.815 not-muc 1665 unknown 8552 muc 144
643.92/644.35	c iter 159 time 460.582 not-muc 1665 unknown 8551 muc 145
643.92/644.35	c iter 160 time 460.594 not-muc 1665 unknown 8550 muc 146
643.92/644.35	c iter 161 time 460.65 not-muc 1665 unknown 8549 muc 147
643.92/644.35	c iter 162 time 461.102 not-muc 1665 unknown 8548 muc 148
643.92/644.35	c iter 163 time 493.524 not-muc 1670 unknown 8543 muc 148
643.92/644.35	c iter 164 time 493.573 not-muc 1670 unknown 8542 muc 149
643.92/644.35	c iter 165 time 493.606 not-muc 1670 unknown 8541 muc 150
643.92/644.35	c iter 166 time 495.662 not-muc 1670 unknown 8540 muc 151
643.92/644.35	c iter 167 time 495.668 not-muc 1670 unknown 8539 muc 152
643.92/644.35	c iter 168 time 498.785 not-muc 1670 unknown 8538 muc 153
643.92/644.35	c iter 169 time 498.816 not-muc 1670 unknown 8537 muc 154
643.92/644.35	c iter 170 time 498.837 not-muc 1670 unknown 8536 muc 155
643.92/644.35	c iter 171 time 500.837 not-muc 1670 unknown 8535 muc 156
643.92/644.35	c iter 172 time 502.469 not-muc 1670 unknown 8534 muc 157
643.92/644.35	c iter 173 time 502.729 not-muc 1670 unknown 8533 muc 158
643.92/644.35	c iter 174 time 504.09 not-muc 1670 unknown 8532 muc 159
643.92/644.35	c iter 175 time 504.11 not-muc 1670 unknown 8531 muc 160
643.92/644.35	c iter 176 time 504.127 not-muc 1670 unknown 8530 muc 161
643.92/644.35	c iter 177 time 504.146 not-muc 1670 unknown 8529 muc 162
643.92/644.35	c iter 178 time 531.638 not-muc 1674 unknown 8525 muc 162
643.92/644.35	c iter 179 time 532.024 not-muc 1674 unknown 8524 muc 163
643.92/644.35	c iter 180 time 532.146 not-muc 1674 unknown 8523 muc 164
643.92/644.35	c iter 181 time 533.277 not-muc 1674 unknown 8522 muc 165
643.92/644.35	c iter 182 time 533.289 not-muc 1674 unknown 8521 muc 166
643.92/644.35	c iter 183 time 533.321 not-muc 1674 unknown 8520 muc 167
643.92/644.35	c iter 184 time 533.498 not-muc 1674 unknown 8519 muc 168
643.92/644.35	c iter 185 time 564.484 not-muc 1683 unknown 8510 muc 168
643.92/644.35	c iter 186 time 564.551 not-muc 1683 unknown 8509 muc 169
643.92/644.35	c iter 187 time 565.617 not-muc 1683 unknown 8508 muc 170
643.92/644.35	c iter 188 time 566.257 not-muc 1683 unknown 8507 muc 171
643.92/644.35	c iter 189 time 566.282 not-muc 1683 unknown 8506 muc 172
643.92/644.35	c iter 190 time 566.77 not-muc 1683 unknown 8505 muc 173
643.92/644.35	c iter 191 time 566.79 not-muc 1683 unknown 8504 muc 174
643.92/644.35	c iter 192 time 566.889 not-muc 1683 unknown 8503 muc 175
643.92/644.35	c iter 193 time 566.925 not-muc 1683 unknown 8502 muc 176
643.92/644.35	c iter 194 time 566.981 not-muc 1683 unknown 8501 muc 177
643.92/644.35	c iter 195 time 567.127 not-muc 1683 unknown 8500 muc 178
643.92/644.35	c iter 196 time 567.168 not-muc 1683 unknown 8499 muc 179
643.92/644.35	c iter 197 time 567.283 not-muc 1683 unknown 8498 muc 180
643.92/644.35	c iter 198 time 598.506 not-muc 1696 unknown 8485 muc 180
643.92/644.35	c iter 199 time 598.605 not-muc 1696 unknown 8484 muc 181
643.92/644.35	c iter 200 time 598.63 not-muc 1696 unknown 8483 muc 182
643.92/644.35	c iter 201 time 598.641 not-muc 1696 unknown 8482 muc 183
643.92/644.35	c iter 202 time 599.226 not-muc 1696 unknown 8481 muc 184
643.92/644.35	c iter 203 time 599.262 not-muc 1696 unknown 8480 muc 185
643.92/644.35	c iter 204 time 599.267 not-muc 1696 unknown 8479 muc 186
643.92/644.35	c iter 205 time 599.502 not-muc 1696 unknown 8478 muc 187
643.92/644.35	c iter 206 time 605.006 not-muc 1696 unknown 8477 muc 188
643.92/644.35	c iter 207 time 635.758 not-muc 1712 unknown 8461 muc 188
643.92/644.35	c iter 208 time 635.862 not-muc 1712 unknown 8460 muc 189
643.92/644.35	c iter 209 time 635.879 not-muc 1712 unknown 8459 muc 190
643.92/644.35	c iter 210 time 636.907 not-muc 1712 unknown 8458 muc 191
643.92/644.35	c iter 211 time 636.943 not-muc 1712 unknown 8457 muc 192
643.92/644.35	c iter 212 time 637.159 not-muc 1712 unknown 8456 muc 193
643.92/644.35	c iter 213 time 637.164 not-muc 1712 unknown 8455 muc 194
643.92/644.35	c iter 214 time 638.646 not-muc 1712 unknown 8454 muc 195
643.92/644.35	c iter 215 time 638.654 not-muc 1712 unknown 8453 muc 196
643.92/644.35	c iter 216 time 638.658 not-muc 1712 unknown 8452 muc 197
870.73/871.16	c iter 217 time 639.819 not-muc 1712 unknown 8451 muc 198
870.73/871.16	c iter 218 time 639.854 not-muc 1712 unknown 8450 muc 199
870.73/871.16	c iter 219 time 671.16 not-muc 1718 unknown 8444 muc 199
870.73/871.16	c iter 220 time 671.232 not-muc 1718 unknown 8443 muc 200
870.73/871.16	c iter 221 time 671.238 not-muc 1718 unknown 8442 muc 201
870.73/871.16	c iter 222 time 671.327 not-muc 1718 unknown 8441 muc 202
870.73/871.16	c iter 223 time 701.859 not-muc 1725 unknown 8434 muc 202
870.73/871.16	c iter 224 time 702.049 not-muc 1725 unknown 8433 muc 203
870.73/871.16	c iter 225 time 702.352 not-muc 1725 unknown 8432 muc 204
870.73/871.16	c iter 226 time 702.391 not-muc 1725 unknown 8431 muc 205
870.73/871.16	c iter 227 time 702.441 not-muc 1725 unknown 8430 muc 206
870.73/871.16	c iter 228 time 734.085 not-muc 1730 unknown 8425 muc 206
870.73/871.16	c iter 229 time 734.128 not-muc 1730 unknown 8424 muc 207
870.73/871.16	c iter 230 time 734.286 not-muc 1730 unknown 8423 muc 208
870.73/871.16	c iter 231 time 735.328 not-muc 1730 unknown 8422 muc 209
870.73/871.16	c iter 232 time 737.17 not-muc 1730 unknown 8421 muc 210
870.73/871.16	c iter 233 time 737.829 not-muc 1730 unknown 8420 muc 211
870.73/871.16	c iter 234 time 737.854 not-muc 1730 unknown 8419 muc 212
870.73/871.16	c iter 235 time 737.903 not-muc 1730 unknown 8418 muc 213
870.73/871.16	c iter 236 time 737.909 not-muc 1730 unknown 8417 muc 214
870.73/871.16	c iter 237 time 737.912 not-muc 1730 unknown 8416 muc 215
870.73/871.16	c iter 238 time 738.702 not-muc 1730 unknown 8415 muc 216
870.73/871.16	c iter 239 time 738.917 not-muc 1730 unknown 8414 muc 217
870.73/871.16	c iter 240 time 739.722 not-muc 1730 unknown 8413 muc 218
870.73/871.16	c iter 241 time 739.728 not-muc 1730 unknown 8412 muc 219
870.73/871.16	c iter 242 time 739.733 not-muc 1730 unknown 8411 muc 220
870.73/871.16	c iter 243 time 740.038 not-muc 1730 unknown 8410 muc 221
870.73/871.16	c iter 244 time 740.07 not-muc 1730 unknown 8409 muc 222
870.73/871.16	c iter 245 time 740.08 not-muc 1730 unknown 8408 muc 223
870.73/871.16	c iter 246 time 740.167 not-muc 1730 unknown 8407 muc 224
870.73/871.16	c iter 247 time 740.17 not-muc 1730 unknown 8406 muc 225
870.73/871.16	c iter 248 time 740.204 not-muc 1730 unknown 8405 muc 226
870.73/871.16	c iter 249 time 769.905 not-muc 1737 unknown 8398 muc 226
870.73/871.16	c iter 250 time 769.943 not-muc 1737 unknown 8397 muc 227
870.73/871.16	c iter 251 time 769.99 not-muc 1737 unknown 8396 muc 228
870.73/871.16	c iter 252 time 769.994 not-muc 1737 unknown 8395 muc 229
870.73/871.16	c iter 253 time 770.017 not-muc 1737 unknown 8394 muc 230
870.73/871.16	c iter 254 time 770.033 not-muc 1737 unknown 8393 muc 231
870.73/871.16	c iter 255 time 770.082 not-muc 1737 unknown 8392 muc 232
870.73/871.16	c iter 256 time 770.1 not-muc 1737 unknown 8391 muc 233
870.73/871.16	c iter 257 time 770.131 not-muc 1737 unknown 8390 muc 234
870.73/871.16	c iter 258 time 800.085 not-muc 1745 unknown 8382 muc 234
870.73/871.16	c iter 259 time 800.126 not-muc 1745 unknown 8381 muc 235
870.73/871.16	c iter 260 time 800.136 not-muc 1745 unknown 8380 muc 236
870.73/871.16	c iter 261 time 800.771 not-muc 1745 unknown 8379 muc 237
870.73/871.16	c iter 262 time 800.785 not-muc 1745 unknown 8378 muc 238
870.73/871.16	c iter 263 time 800.793 not-muc 1745 unknown 8377 muc 239
870.73/871.16	c iter 264 time 800.817 not-muc 1745 unknown 8376 muc 240
870.73/871.16	c iter 265 time 800.835 not-muc 1745 unknown 8375 muc 241
870.73/871.16	c iter 266 time 800.857 not-muc 1745 unknown 8374 muc 242
870.73/871.16	c iter 267 time 800.862 not-muc 1745 unknown 8373 muc 243
870.73/871.16	c iter 268 time 801.025 not-muc 1745 unknown 8372 muc 244
870.73/871.16	c iter 269 time 801.065 not-muc 1745 unknown 8371 muc 245
870.73/871.16	c iter 270 time 801.093 not-muc 1745 unknown 8370 muc 246
870.73/871.16	c iter 271 time 801.1 not-muc 1745 unknown 8369 muc 247
870.73/871.16	c iter 272 time 801.506 not-muc 1745 unknown 8368 muc 248
870.73/871.16	c iter 273 time 801.559 not-muc 1745 unknown 8367 muc 249
870.73/871.16	c iter 274 time 830.273 not-muc 1756 unknown 8356 muc 249
870.73/871.16	c iter 275 time 830.37 not-muc 1756 unknown 8355 muc 250
870.73/871.16	c iter 276 time 831.077 not-muc 1756 unknown 8354 muc 251
870.73/871.16	c iter 277 time 860.5 not-muc 1765 unknown 8345 muc 251
870.73/871.16	c iter 278 time 860.542 not-muc 1765 unknown 8344 muc 252
870.73/871.16	c iter 279 time 860.69 not-muc 1765 unknown 8343 muc 253
870.73/871.16	c iter 280 time 860.725 not-muc 1765 unknown 8342 muc 254
870.73/871.16	c iter 281 time 860.738 not-muc 1765 unknown 8341 muc 255
870.73/871.16	c iter 282 time 860.742 not-muc 1765 unknown 8340 muc 256
870.73/871.16	c iter 283 time 863.484 not-muc 1765 unknown 8339 muc 257
870.73/871.16	c iter 284 time 863.492 not-muc 1765 unknown 8338 muc 258
870.73/871.16	c iter 285 time 863.495 not-muc 1765 unknown 8337 muc 259
870.73/871.16	c iter 286 time 863.561 not-muc 1765 unknown 8336 muc 260
870.73/871.16	c iter 287 time 863.624 not-muc 1765 unknown 8335 muc 261
976.34/976.78	c iter 288 time 866.559 not-muc 1765 unknown 8334 muc 262
976.34/976.78	c iter 289 time 866.615 not-muc 1765 unknown 8333 muc 263
976.34/976.78	c iter 290 time 866.637 not-muc 1765 unknown 8332 muc 264
976.34/976.78	c iter 291 time 866.66 not-muc 1765 unknown 8331 muc 265
976.34/976.78	c iter 292 time 866.739 not-muc 1765 unknown 8330 muc 266
976.34/976.78	c iter 293 time 868.101 not-muc 1765 unknown 8329 muc 267
976.34/976.78	c iter 294 time 897.32 not-muc 1777 unknown 8317 muc 267
976.34/976.78	c iter 295 time 897.388 not-muc 1777 unknown 8316 muc 268
976.34/976.78	c iter 296 time 897.466 not-muc 1777 unknown 8315 muc 269
976.34/976.78	c iter 297 time 897.471 not-muc 1777 unknown 8314 muc 270
976.34/976.78	c iter 298 time 897.705 not-muc 1777 unknown 8313 muc 271
976.34/976.78	c iter 299 time 898.225 not-muc 1777 unknown 8312 muc 272
976.34/976.78	c iter 300 time 898.23 not-muc 1777 unknown 8311 muc 273
976.34/976.78	c iter 301 time 898.409 not-muc 1777 unknown 8310 muc 274
976.34/976.78	c iter 302 time 898.412 not-muc 1777 unknown 8309 muc 275
976.34/976.78	c iter 303 time 898.758 not-muc 1777 unknown 8308 muc 276
976.34/976.78	c iter 304 time 898.775 not-muc 1777 unknown 8307 muc 277
976.34/976.78	c iter 305 time 898.787 not-muc 1777 unknown 8306 muc 278
976.34/976.78	c iter 306 time 900.03 not-muc 1777 unknown 8305 muc 279
976.34/976.78	c iter 307 time 900.044 not-muc 1777 unknown 8304 muc 280
976.34/976.78	c iter 308 time 900.638 not-muc 1777 unknown 8303 muc 281
976.34/976.78	c iter 309 time 900.67 not-muc 1777 unknown 8302 muc 282
976.34/976.78	c iter 310 time 900.755 not-muc 1777 unknown 8301 muc 283
976.34/976.78	c iter 311 time 900.869 not-muc 1777 unknown 8300 muc 284
976.34/976.78	c iter 312 time 900.872 not-muc 1777 unknown 8299 muc 285
976.34/976.78	c iter 313 time 901.076 not-muc 1777 unknown 8298 muc 286
976.34/976.78	c iter 314 time 901.109 not-muc 1777 unknown 8297 muc 287
976.34/976.78	c iter 315 time 901.398 not-muc 1777 unknown 8296 muc 288
976.34/976.78	c iter 316 time 901.984 not-muc 1777 unknown 8295 muc 289
976.34/976.78	c iter 317 time 902.149 not-muc 1777 unknown 8294 muc 290
976.34/976.78	c iter 318 time 902.302 not-muc 1777 unknown 8293 muc 291
976.34/976.78	c iter 319 time 902.305 not-muc 1777 unknown 8292 muc 292
976.34/976.78	c iter 320 time 902.31 not-muc 1777 unknown 8291 muc 293
976.34/976.78	c iter 321 time 902.98 not-muc 1777 unknown 8290 muc 294
976.34/976.78	c iter 322 time 903.009 not-muc 1777 unknown 8289 muc 295
976.34/976.78	c iter 323 time 903.062 not-muc 1777 unknown 8288 muc 296
976.34/976.78	c iter 324 time 903.068 not-muc 1777 unknown 8287 muc 297
976.34/976.78	c iter 325 time 932.29 not-muc 1779 unknown 8285 muc 297
976.34/976.78	c iter 326 time 933.367 not-muc 1779 unknown 8284 muc 298
976.34/976.78	c iter 327 time 933.721 not-muc 1779 unknown 8283 muc 299
976.34/976.78	c iter 328 time 934.684 not-muc 1779 unknown 8282 muc 300
976.34/976.78	c iter 329 time 934.694 not-muc 1779 unknown 8281 muc 301
976.34/976.78	c iter 330 time 934.702 not-muc 1779 unknown 8280 muc 302
976.34/976.78	c iter 331 time 934.751 not-muc 1779 unknown 8279 muc 303
976.34/976.78	c iter 332 time 934.789 not-muc 1779 unknown 8278 muc 304
976.34/976.78	c iter 333 time 934.792 not-muc 1779 unknown 8277 muc 305
976.34/976.78	c iter 334 time 934.796 not-muc 1779 unknown 8276 muc 306
976.34/976.78	c iter 335 time 934.811 not-muc 1779 unknown 8275 muc 307
976.34/976.78	c iter 336 time 935.985 not-muc 1779 unknown 8274 muc 308
976.34/976.78	c iter 337 time 936.01 not-muc 1779 unknown 8273 muc 309
976.34/976.78	c iter 338 time 936.019 not-muc 1779 unknown 8272 muc 310
976.34/976.78	c iter 339 time 936.386 not-muc 1779 unknown 8271 muc 311
976.34/976.78	c iter 340 time 936.392 not-muc 1779 unknown 8270 muc 312
976.34/976.78	c iter 341 time 936.402 not-muc 1779 unknown 8269 muc 313
976.34/976.78	c iter 342 time 965.637 not-muc 1785 unknown 8263 muc 313
976.34/976.78	c iter 343 time 965.711 not-muc 1785 unknown 8262 muc 314
976.34/976.78	c iter 344 time 966.183 not-muc 1785 unknown 8261 muc 315
976.34/976.78	c iter 345 time 966.219 not-muc 1785 unknown 8260 muc 316
976.34/976.78	c iter 346 time 966.253 not-muc 1785 unknown 8259 muc 317
976.34/976.78	c iter 347 time 966.702 not-muc 1785 unknown 8258 muc 318
976.34/976.78	c iter 348 time 966.996 not-muc 1785 unknown 8257 muc 319
976.34/976.78	c iter 349 time 967.015 not-muc 1785 unknown 8256 muc 320
976.34/976.78	c iter 350 time 967.199 not-muc 1785 unknown 8255 muc 321
976.34/976.78	c iter 351 time 967.616 not-muc 1785 unknown 8254 muc 322
976.34/976.78	c iter 352 time 967.991 not-muc 1785 unknown 8253 muc 323
976.34/976.78	c iter 353 time 967.995 not-muc 1785 unknown 8252 muc 324
976.34/976.78	c iter 354 time 968.389 not-muc 1785 unknown 8251 muc 325
976.34/976.78	c iter 355 time 968.421 not-muc 1785 unknown 8250 muc 326
976.34/976.78	c iter 356 time 968.425 not-muc 1785 unknown 8249 muc 327
976.34/976.78	c iter 357 time 968.444 not-muc 1785 unknown 8248 muc 328
976.34/976.78	c iter 358 time 968.465 not-muc 1785 unknown 8247 muc 329
1215.44/1215.84	c iter 359 time 968.578 not-muc 1785 unknown 8246 muc 330
1215.44/1215.84	c iter 360 time 968.581 not-muc 1785 unknown 8245 muc 331
1215.44/1215.84	c iter 361 time 968.752 not-muc 1785 unknown 8244 muc 332
1215.44/1215.84	c iter 362 time 968.757 not-muc 1785 unknown 8243 muc 333
1215.44/1215.84	c iter 363 time 968.776 not-muc 1785 unknown 8242 muc 334
1215.44/1215.84	c iter 364 time 968.808 not-muc 1785 unknown 8241 muc 335
1215.44/1215.84	c iter 365 time 968.888 not-muc 1785 unknown 8240 muc 336
1215.44/1215.84	c iter 366 time 998.343 not-muc 1789 unknown 8236 muc 336
1215.44/1215.84	c iter 367 time 998.403 not-muc 1789 unknown 8235 muc 337
1215.44/1215.84	c iter 368 time 1008.03 not-muc 1789 unknown 8234 muc 338
1215.44/1215.84	c iter 369 time 1008.07 not-muc 1789 unknown 8233 muc 339
1215.44/1215.84	c iter 370 time 1008.47 not-muc 1789 unknown 8232 muc 340
1215.44/1215.84	c iter 371 time 1008.49 not-muc 1789 unknown 8231 muc 341
1215.44/1215.84	c iter 372 time 1009.73 not-muc 1789 unknown 8230 muc 342
1215.44/1215.84	c iter 373 time 1009.75 not-muc 1789 unknown 8229 muc 343
1215.44/1215.84	c iter 374 time 1009.82 not-muc 1789 unknown 8228 muc 344
1215.44/1215.84	c iter 375 time 1038.63 not-muc 1791 unknown 8226 muc 344
1215.44/1215.84	c iter 376 time 1038.73 not-muc 1791 unknown 8225 muc 345
1215.44/1215.84	c iter 377 time 1038.73 not-muc 1791 unknown 8224 muc 346
1215.44/1215.84	c iter 378 time 1039.11 not-muc 1791 unknown 8223 muc 347
1215.44/1215.84	c iter 379 time 1039.22 not-muc 1791 unknown 8222 muc 348
1215.44/1215.84	c iter 380 time 1039.23 not-muc 1791 unknown 8221 muc 349
1215.44/1215.84	c iter 381 time 1039.26 not-muc 1791 unknown 8220 muc 350
1215.44/1215.84	c iter 382 time 1039.26 not-muc 1791 unknown 8219 muc 351
1215.44/1215.84	c iter 383 time 1039.32 not-muc 1791 unknown 8218 muc 352
1215.44/1215.84	c iter 384 time 1040.72 not-muc 1791 unknown 8217 muc 353
1215.44/1215.84	c iter 385 time 1071.52 not-muc 1792 unknown 8216 muc 353
1215.44/1215.84	c iter 386 time 1071.58 not-muc 1792 unknown 8215 muc 354
1215.44/1215.84	c iter 387 time 1071.58 not-muc 1792 unknown 8214 muc 355
1215.44/1215.84	c iter 388 time 1071.59 not-muc 1792 unknown 8213 muc 356
1215.44/1215.84	c iter 389 time 1071.62 not-muc 1792 unknown 8212 muc 357
1215.44/1215.84	c iter 390 time 1071.83 not-muc 1792 unknown 8211 muc 358
1215.44/1215.84	c iter 391 time 1071.9 not-muc 1792 unknown 8210 muc 359
1215.44/1215.84	c iter 392 time 1072.79 not-muc 1792 unknown 8209 muc 360
1215.44/1215.84	c iter 393 time 1072.93 not-muc 1792 unknown 8208 muc 361
1215.44/1215.84	c iter 394 time 1073.02 not-muc 1792 unknown 8207 muc 362
1215.44/1215.84	c iter 395 time 1073.03 not-muc 1792 unknown 8206 muc 363
1215.44/1215.84	c iter 396 time 1073.14 not-muc 1792 unknown 8205 muc 364
1215.44/1215.84	c iter 397 time 1073.9 not-muc 1792 unknown 8204 muc 365
1215.44/1215.84	c iter 398 time 1073.99 not-muc 1792 unknown 8203 muc 366
1215.44/1215.84	c iter 399 time 1074.3 not-muc 1792 unknown 8202 muc 367
1215.44/1215.84	c iter 400 time 1079.53 not-muc 1792 unknown 8201 muc 368
1215.44/1215.84	c iter 401 time 1079.54 not-muc 1792 unknown 8200 muc 369
1215.44/1215.84	c iter 402 time 1079.72 not-muc 1792 unknown 8199 muc 370
1215.44/1215.84	c iter 403 time 1079.92 not-muc 1792 unknown 8198 muc 371
1215.44/1215.84	c iter 404 time 1079.92 not-muc 1792 unknown 8197 muc 372
1215.44/1215.84	c iter 405 time 1110.93 not-muc 1796 unknown 8193 muc 372
1215.44/1215.84	c iter 406 time 1110.97 not-muc 1796 unknown 8192 muc 373
1215.44/1215.84	c iter 407 time 1111.16 not-muc 1796 unknown 8191 muc 374
1215.44/1215.84	c iter 408 time 1111.35 not-muc 1796 unknown 8190 muc 375
1215.44/1215.84	c iter 409 time 1111.37 not-muc 1796 unknown 8189 muc 376
1215.44/1215.84	c iter 410 time 1111.7 not-muc 1796 unknown 8188 muc 377
1215.44/1215.84	c iter 411 time 1111.78 not-muc 1796 unknown 8187 muc 378
1215.44/1215.84	c iter 412 time 1111.79 not-muc 1796 unknown 8186 muc 379
1215.44/1215.84	c iter 413 time 1111.79 not-muc 1796 unknown 8185 muc 380
1215.44/1215.84	c iter 414 time 1141.36 not-muc 1797 unknown 8184 muc 380
1215.44/1215.84	c iter 415 time 1169.99 not-muc 1799 unknown 8182 muc 380
1215.44/1215.84	c iter 416 time 1170.23 not-muc 1799 unknown 8181 muc 381
1215.44/1215.84	c iter 417 time 1170.37 not-muc 1799 unknown 8180 muc 382
1215.44/1215.84	c iter 418 time 1172.61 not-muc 1799 unknown 8179 muc 383
1215.44/1215.84	c iter 419 time 1172.61 not-muc 1799 unknown 8178 muc 384
1215.44/1215.84	c iter 420 time 1172.66 not-muc 1799 unknown 8177 muc 385
1215.44/1215.84	c iter 421 time 1175 not-muc 1799 unknown 8176 muc 386
1215.44/1215.84	c iter 422 time 1175.06 not-muc 1799 unknown 8175 muc 387
1215.44/1215.84	c iter 423 time 1175.07 not-muc 1799 unknown 8174 muc 388
1215.44/1215.84	c iter 424 time 1175.22 not-muc 1799 unknown 8173 muc 389
1215.44/1215.84	c iter 425 time 1175.25 not-muc 1799 unknown 8172 muc 390
1215.44/1215.84	c iter 426 time 1205.59 not-muc 1802 unknown 8169 muc 390
1215.44/1215.84	c iter 427 time 1205.66 not-muc 1802 unknown 8168 muc 391
1215.44/1215.84	c iter 428 time 1205.66 not-muc 1802 unknown 8167 muc 392
1480.34/1480.70	c iter 429 time 1208.22 not-muc 1802 unknown 8166 muc 393
1480.34/1480.70	c iter 430 time 1209.17 not-muc 1802 unknown 8165 muc 394
1480.34/1480.70	c iter 431 time 1209.21 not-muc 1802 unknown 8164 muc 395
1480.34/1480.70	c iter 432 time 1209.23 not-muc 1802 unknown 8163 muc 396
1480.34/1480.70	c iter 433 time 1209.26 not-muc 1802 unknown 8162 muc 397
1480.34/1480.70	c iter 434 time 1209.26 not-muc 1802 unknown 8161 muc 398
1480.34/1480.70	c iter 435 time 1209.26 not-muc 1802 unknown 8160 muc 399
1480.34/1480.70	c iter 436 time 1209.28 not-muc 1802 unknown 8159 muc 400
1480.34/1480.70	c iter 437 time 1209.32 not-muc 1802 unknown 8158 muc 401
1480.34/1480.70	c iter 438 time 1210.12 not-muc 1802 unknown 8157 muc 402
1480.34/1480.70	c iter 439 time 1210.14 not-muc 1802 unknown 8156 muc 403
1480.34/1480.70	c iter 440 time 1210.15 not-muc 1802 unknown 8155 muc 404
1480.34/1480.70	c iter 441 time 1239.21 not-muc 1807 unknown 8150 muc 404
1480.34/1480.70	c iter 442 time 1239.27 not-muc 1807 unknown 8149 muc 405
1480.34/1480.70	c iter 443 time 1239.27 not-muc 1807 unknown 8148 muc 406
1480.34/1480.70	c iter 444 time 1239.37 not-muc 1807 unknown 8147 muc 407
1480.34/1480.70	c iter 445 time 1268.88 not-muc 1809 unknown 8145 muc 407
1480.34/1480.70	c iter 446 time 1298.47 not-muc 1813 unknown 8141 muc 407
1480.34/1480.70	c iter 447 time 1298.51 not-muc 1813 unknown 8140 muc 408
1480.34/1480.70	c iter 448 time 1298.52 not-muc 1813 unknown 8139 muc 409
1480.34/1480.70	c iter 449 time 1298.53 not-muc 1813 unknown 8138 muc 410
1480.34/1480.70	c iter 450 time 1298.91 not-muc 1813 unknown 8137 muc 411
1480.34/1480.70	c iter 451 time 1299.95 not-muc 1813 unknown 8136 muc 412
1480.34/1480.70	c iter 452 time 1300.27 not-muc 1813 unknown 8135 muc 413
1480.34/1480.70	c iter 453 time 1300.29 not-muc 1813 unknown 8134 muc 414
1480.34/1480.70	c iter 454 time 1300.29 not-muc 1813 unknown 8133 muc 415
1480.34/1480.70	c iter 455 time 1300.63 not-muc 1813 unknown 8132 muc 416
1480.34/1480.70	c iter 456 time 1300.73 not-muc 1813 unknown 8131 muc 417
1480.34/1480.70	c iter 457 time 1300.77 not-muc 1813 unknown 8130 muc 418
1480.34/1480.70	c iter 458 time 1301.36 not-muc 1813 unknown 8129 muc 419
1480.34/1480.70	c iter 459 time 1305.41 not-muc 1813 unknown 8128 muc 420
1480.34/1480.70	c iter 460 time 1305.59 not-muc 1813 unknown 8127 muc 421
1480.34/1480.70	c iter 461 time 1335.51 not-muc 1817 unknown 8123 muc 421
1480.34/1480.70	c iter 462 time 1363.42 not-muc 1820 unknown 8120 muc 421
1480.34/1480.70	c iter 463 time 1363.5 not-muc 1820 unknown 8119 muc 422
1480.34/1480.70	c iter 464 time 1363.52 not-muc 1820 unknown 8118 muc 423
1480.34/1480.70	c iter 465 time 1363.63 not-muc 1820 unknown 8117 muc 424
1480.34/1480.70	c iter 466 time 1366.81 not-muc 1820 unknown 8116 muc 425
1480.34/1480.70	c iter 467 time 1367.04 not-muc 1820 unknown 8115 muc 426
1480.34/1480.70	c iter 468 time 1367.05 not-muc 1820 unknown 8114 muc 427
1480.34/1480.70	c iter 469 time 1367.46 not-muc 1820 unknown 8113 muc 428
1480.34/1480.70	c iter 470 time 1368.26 not-muc 1820 unknown 8112 muc 429
1480.34/1480.70	c iter 471 time 1368.28 not-muc 1820 unknown 8111 muc 430
1480.34/1480.70	c iter 472 time 1368.32 not-muc 1820 unknown 8110 muc 431
1480.34/1480.70	c iter 473 time 1368.33 not-muc 1820 unknown 8109 muc 432
1480.34/1480.70	c iter 474 time 1368.36 not-muc 1820 unknown 8108 muc 433
1480.34/1480.70	c iter 475 time 1368.36 not-muc 1820 unknown 8107 muc 434
1480.34/1480.70	c iter 476 time 1368.38 not-muc 1820 unknown 8106 muc 435
1480.34/1480.70	c iter 477 time 1369.85 not-muc 1820 unknown 8105 muc 436
1480.34/1480.70	c iter 478 time 1370.45 not-muc 1820 unknown 8104 muc 437
1480.34/1480.70	c iter 479 time 1371.03 not-muc 1820 unknown 8103 muc 438
1480.34/1480.70	c iter 480 time 1399.43 not-muc 1826 unknown 8097 muc 438
1480.34/1480.70	c iter 481 time 1429.17 not-muc 1830 unknown 8093 muc 438
1480.34/1480.70	c iter 482 time 1429.21 not-muc 1830 unknown 8092 muc 439
1480.34/1480.70	c iter 483 time 1429.24 not-muc 1830 unknown 8091 muc 440
1480.34/1480.70	c iter 484 time 1429.42 not-muc 1830 unknown 8090 muc 441
1480.34/1480.70	c iter 485 time 1429.79 not-muc 1830 unknown 8089 muc 442
1480.34/1480.70	c iter 486 time 1429.9 not-muc 1830 unknown 8088 muc 443
1480.34/1480.70	c iter 487 time 1429.92 not-muc 1830 unknown 8087 muc 444
1480.34/1480.70	c iter 488 time 1429.92 not-muc 1830 unknown 8086 muc 445
1480.34/1480.70	c iter 489 time 1430.26 not-muc 1830 unknown 8085 muc 446
1480.34/1480.70	c iter 490 time 1431.46 not-muc 1830 unknown 8084 muc 447
1480.34/1480.70	c iter 491 time 1432.77 not-muc 1830 unknown 8083 muc 448
1480.34/1480.70	c iter 492 time 1433.12 not-muc 1830 unknown 8082 muc 449
1480.34/1480.70	c iter 493 time 1433.12 not-muc 1830 unknown 8081 muc 450
1480.34/1480.70	c iter 494 time 1433.13 not-muc 1830 unknown 8080 muc 451
1480.34/1480.70	c iter 495 time 1433.19 not-muc 1830 unknown 8079 muc 452
1480.34/1480.70	c iter 496 time 1463.3 not-muc 1838 unknown 8071 muc 452
1480.34/1480.70	c iter 497 time 1463.52 not-muc 1838 unknown 8070 muc 453
1480.34/1480.70	c iter 498 time 1466.23 not-muc 1838 unknown 8069 muc 454
1480.34/1480.70	c iter 499 time 1468.47 not-muc 1838 unknown 8068 muc 455
1625.45/1625.85	c iter 500 time 1468.69 not-muc 1838 unknown 8067 muc 456
1625.45/1625.85	c iter 501 time 1468.7 not-muc 1838 unknown 8066 muc 457
1625.45/1625.85	c iter 502 time 1468.93 not-muc 1838 unknown 8065 muc 458
1625.45/1625.85	c iter 503 time 1468.94 not-muc 1838 unknown 8064 muc 459
1625.45/1625.85	c iter 504 time 1469.61 not-muc 1838 unknown 8063 muc 460
1625.45/1625.85	c iter 505 time 1469.63 not-muc 1838 unknown 8062 muc 461
1625.45/1625.85	c iter 506 time 1470.54 not-muc 1838 unknown 8061 muc 462
1625.45/1625.85	c iter 507 time 1470.64 not-muc 1838 unknown 8060 muc 463
1625.45/1625.85	c iter 508 time 1471.1 not-muc 1838 unknown 8059 muc 464
1625.45/1625.85	c iter 509 time 1471.17 not-muc 1838 unknown 8058 muc 465
1625.45/1625.85	c iter 510 time 1478.72 not-muc 1838 unknown 8057 muc 466
1625.45/1625.85	c iter 511 time 1478.76 not-muc 1838 unknown 8056 muc 467
1625.45/1625.85	c iter 512 time 1479.11 not-muc 1838 unknown 8055 muc 468
1625.45/1625.85	c iter 513 time 1479.12 not-muc 1838 unknown 8054 muc 469
1625.45/1625.85	c iter 514 time 1479.4 not-muc 1838 unknown 8053 muc 470
1625.45/1625.85	c iter 515 time 1480.23 not-muc 1838 unknown 8052 muc 471
1625.45/1625.85	c iter 516 time 1480.33 not-muc 1838 unknown 8051 muc 472
1625.45/1625.85	c iter 517 time 1510.74 not-muc 1839 unknown 8050 muc 472
1625.45/1625.85	c iter 518 time 1510.78 not-muc 1839 unknown 8049 muc 473
1625.45/1625.85	c iter 519 time 1510.79 not-muc 1839 unknown 8048 muc 474
1625.45/1625.85	c iter 520 time 1510.79 not-muc 1839 unknown 8047 muc 475
1625.45/1625.85	c iter 521 time 1510.93 not-muc 1839 unknown 8046 muc 476
1625.45/1625.85	c iter 522 time 1510.99 not-muc 1839 unknown 8045 muc 477
1625.45/1625.85	c iter 523 time 1511.2 not-muc 1839 unknown 8044 muc 478
1625.45/1625.85	c iter 524 time 1511.21 not-muc 1839 unknown 8043 muc 479
1625.45/1625.85	c iter 525 time 1511.58 not-muc 1839 unknown 8042 muc 480
1625.45/1625.85	c iter 526 time 1511.64 not-muc 1839 unknown 8041 muc 481
1625.45/1625.85	c iter 527 time 1511.76 not-muc 1839 unknown 8040 muc 482
1625.45/1625.85	c iter 528 time 1512.16 not-muc 1839 unknown 8039 muc 483
1625.45/1625.85	c iter 529 time 1542.13 not-muc 1842 unknown 8036 muc 483
1625.45/1625.85	c iter 530 time 1542.29 not-muc 1842 unknown 8035 muc 484
1625.45/1625.85	c iter 531 time 1542.54 not-muc 1842 unknown 8034 muc 485
1625.45/1625.85	c iter 532 time 1542.68 not-muc 1842 unknown 8033 muc 486
1625.45/1625.85	c iter 533 time 1542.71 not-muc 1842 unknown 8032 muc 487
1625.45/1625.85	c iter 534 time 1542.75 not-muc 1842 unknown 8031 muc 488
1625.45/1625.85	c iter 535 time 1542.91 not-muc 1842 unknown 8030 muc 489
1625.45/1625.85	c iter 536 time 1542.94 not-muc 1842 unknown 8029 muc 490
1625.45/1625.85	c iter 537 time 1543.05 not-muc 1842 unknown 8028 muc 491
1625.45/1625.85	c iter 538 time 1543.06 not-muc 1842 unknown 8027 muc 492
1625.45/1625.85	c iter 539 time 1544.99 not-muc 1842 unknown 8026 muc 493
1625.45/1625.85	c iter 540 time 1545.02 not-muc 1842 unknown 8025 muc 494
1625.45/1625.85	c iter 541 time 1548.31 not-muc 1842 unknown 8024 muc 495
1625.45/1625.85	c iter 542 time 1580.1 not-muc 1845 unknown 8021 muc 495
1625.45/1625.85	c iter 543 time 1580.62 not-muc 1845 unknown 8020 muc 496
1625.45/1625.85	c iter 544 time 1580.65 not-muc 1845 unknown 8019 muc 497
1625.45/1625.85	c iter 545 time 1580.66 not-muc 1845 unknown 8018 muc 498
1625.45/1625.85	c iter 546 time 1581.06 not-muc 1845 unknown 8017 muc 499
1625.45/1625.85	c iter 547 time 1581.07 not-muc 1845 unknown 8016 muc 500
1625.45/1625.85	c iter 548 time 1581.42 not-muc 1845 unknown 8015 muc 501
1625.45/1625.85	c iter 549 time 1581.53 not-muc 1845 unknown 8014 muc 502
1625.45/1625.85	c iter 550 time 1581.53 not-muc 1845 unknown 8013 muc 503
1625.45/1625.85	c iter 551 time 1581.56 not-muc 1845 unknown 8012 muc 504
1625.45/1625.85	c iter 552 time 1581.87 not-muc 1845 unknown 8011 muc 505
1625.45/1625.85	c iter 553 time 1610.68 not-muc 1850 unknown 8006 muc 505
1625.45/1625.85	c iter 554 time 1610.99 not-muc 1850 unknown 8005 muc 506
1625.45/1625.85	c iter 555 time 1611.14 not-muc 1850 unknown 8004 muc 507
1625.45/1625.85	c iter 556 time 1611.15 not-muc 1850 unknown 8003 muc 508
1625.45/1625.85	c iter 557 time 1611.43 not-muc 1850 unknown 8002 muc 509
1625.45/1625.85	c iter 558 time 1611.47 not-muc 1850 unknown 8001 muc 510
1625.45/1625.85	c iter 559 time 1611.47 not-muc 1850 unknown 8000 muc 511
1625.45/1625.85	c iter 560 time 1611.5 not-muc 1850 unknown 7999 muc 512
1625.45/1625.85	c iter 561 time 1611.55 not-muc 1850 unknown 7998 muc 513
1625.45/1625.85	c iter 562 time 1611.56 not-muc 1850 unknown 7997 muc 514
1625.45/1625.85	c iter 563 time 1612.14 not-muc 1850 unknown 7996 muc 515
1625.45/1625.85	c iter 564 time 1612.15 not-muc 1850 unknown 7995 muc 516
1625.45/1625.85	c iter 565 time 1612.38 not-muc 1850 unknown 7994 muc 517
1625.45/1625.85	c iter 566 time 1612.43 not-muc 1850 unknown 7993 muc 518
1625.45/1625.85	c iter 567 time 1612.44 not-muc 1850 unknown 7992 muc 519
1625.45/1625.85	c iter 568 time 1612.44 not-muc 1850 unknown 7991 muc 520
1625.45/1625.85	c iter 569 time 1612.48 not-muc 1850 unknown 7990 muc 521
1625.45/1625.85	c iter 570 time 1

Verifier Data 

ERROR: Unexpected answer ! (UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3493894-1307804218/watcher-3493894-1307804218 -o /tmp/evaluation-result-3493894-1307804218/solver-3493894-1307804218 -C 1800 -W 1850 -M 7680 HOME/hmuc-a HOME/instance-3493894-1307804218.cnf 

running on 2 cores: 4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 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: 4.02 4.00 3.37 5/190 5791
/proc/meminfo: memFree=30539872/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=20708 CPUtime=0 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 663 0 0 0 0 0 0 0 25 0 1 0 892019917 21204992 605 33554432000 4194304 4311632 140734755858272 18446744073709551615 232335589561 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 5177 617 216 29 0 1806 0

[startup+0.083646 s]
/proc/loadavg: 4.02 4.00 3.37 5/190 5791
/proc/meminfo: memFree=30539872/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=19420 CPUtime=0.07 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 1524 0 0 0 7 0 0 0 25 0 1 0 892019917 19886080 1262 33554432000 4194304 4311632 140734755858272 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 4855 1262 245 29 0 1484 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19420

[startup+0.100633 s]
/proc/loadavg: 4.02 4.00 3.37 5/190 5791
/proc/meminfo: memFree=30539872/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=19420 CPUtime=0.09 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 1608 0 0 0 9 0 0 0 25 0 1 0 892019917 19886080 1346 33554432000 4194304 4311632 140734755858272 18446744073709551615 4264186 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 4855 1346 245 29 0 1484 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19420

[startup+0.300614 s]
/proc/loadavg: 4.02 4.00 3.37 5/190 5791
/proc/meminfo: memFree=30539872/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=23788 CPUtime=0.29 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 2696 0 0 0 29 0 0 0 25 0 1 0 892019917 24358912 2434 33554432000 4194304 4311632 140734755858272 18446744073709551615 4262765 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 5947 2435 245 29 0 2576 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23788

[startup+0.700541 s]
/proc/loadavg: 4.02 4.00 3.37 5/190 5791
/proc/meminfo: memFree=30539872/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=42464 CPUtime=0.69 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 7460 0 0 0 68 1 0 0 25 0 1 0 892019917 43483136 7198 33554432000 4194304 4311632 140734755858272 18446744073709551615 4286219 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 10616 7198 247 29 0 7245 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42464

[startup+1.5004 s]
/proc/loadavg: 4.02 4.00 3.37 6/191 5792
/proc/meminfo: memFree=30529344/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=65780 CPUtime=1.48 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 12296 0 0 0 147 1 0 0 25 0 1 0 892019917 67358720 6856 33554432000 4194304 4311632 140734755858272 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 16445 6856 246 29 0 13074 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 65780

[startup+3.10105 s]
/proc/loadavg: 4.02 4.00 3.37 5/191 5792
/proc/meminfo: memFree=30504792/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=65780 CPUtime=3.09 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 30778 0 0 0 305 4 0 0 25 0 1 0 892019917 67358720 8567 33554432000 4194304 4311632 140734755858272 18446744073709551615 4259434 0 0 4096 8388610 0 0 0 17 6 0 0 0
/proc/5791/statm: 16445 8567 246 29 0 13074 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65780

[startup+6.30047 s]
/proc/loadavg: 4.02 4.00 3.38 5/191 5792
/proc/meminfo: memFree=30461268/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=65780 CPUtime=6.28 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 52420 0 0 0 622 6 0 0 25 0 1 0 892019917 67358720 11443 33554432000 4194304 4311632 140734755858272 18446744073709551615 4264235 0 0 4096 8388610 0 0 0 17 6 0 0 0
/proc/5791/statm: 16445 11443 248 29 0 13074 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 65780

[startup+12.7003 s]
/proc/loadavg: 4.02 4.00 3.38 5/191 5792
/proc/meminfo: memFree=30484684/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=115468 CPUtime=12.67 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 108802 0 0 0 1254 13 0 0 25 0 1 0 892019917 118239232 20465 33554432000 4194304 4311632 140734755858272 18446744073709551615 232335589845 0 0 4096 8388610 0 0 0 17 6 0 0 0
/proc/5791/statm: 28867 20465 246 29 0 25496 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 115468

[startup+25.5011 s]
/proc/loadavg: 4.01 4.00 3.39 5/191 5793
/proc/meminfo: memFree=30444980/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=66148 CPUtime=25.43 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 216214 0 0 0 2518 25 0 0 25 0 1 0 892019917 67735552 13318 33554432000 4194304 4311632 140734755858272 18446744073709551615 4264149 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 16537 13318 246 29 0 13166 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 66148

[startup+51.1005 s]
/proc/loadavg: 4.01 4.00 3.40 5/191 5793
/proc/meminfo: memFree=30451764/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=66148 CPUtime=50.97 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 300164 0 0 0 5062 35 0 0 25 0 1 0 892019917 67735552 13336 33554432000 4194304 4311632 140734755858272 18446744073709551615 4273025 0 0 4096 8388610 0 0 0 17 6 0 0 0
/proc/5791/statm: 16537 13336 264 29 0 13166 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 66148

[startup+102.306 s]
/proc/loadavg: 4.00 4.00 3.43 5/191 5795
/proc/meminfo: memFree=30476260/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=66148 CPUtime=102.08 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 673515 0 0 0 10130 78 0 0 25 0 1 0 892019917 67735552 13336 33554432000 4194304 4311632 140734755858272 18446744073709551615 4271785 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 16537 13336 264 29 0 13166 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 66148

[startup+162.301 s]
/proc/loadavg: 4.08 4.02 3.47 5/191 5796
/proc/meminfo: memFree=30469856/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=66148 CPUtime=161.99 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 1076195 0 0 0 16072 127 0 0 25 0 1 0 892019917 67735552 13337 33554432000 4194304 4311632 140734755858272 18446744073709551615 4264447 0 0 4096 8388610 0 0 0 17 6 0 0 0
/proc/5791/statm: 16537 13337 264 29 0 13166 0
Current children cumulated CPU time (s) 161.99
Current children cumulated vsize (KiB) 66148

[startup+222.301 s]
/proc/loadavg: 4.03 4.01 3.50 5/191 5798
/proc/meminfo: memFree=30465912/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=66148 CPUtime=221.96 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 1481507 0 0 0 22017 179 0 0 25 0 1 0 892019917 67735552 13337 33554432000 4194304 4311632 140734755858272 18446744073709551615 4264186 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 16537 13337 264 29 0 13166 0
Current children cumulated CPU time (s) 221.96
Current children cumulated vsize (KiB) 66148

[startup+282.3 s]
/proc/loadavg: 4.06 4.02 3.53 5/191 5808
/proc/meminfo: memFree=30423916/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=66148 CPUtime=281.95 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 1899578 0 0 0 27964 231 0 0 25 0 1 0 892019917 67735552 13337 33554432000 4194304 4311632 140734755858272 18446744073709551615 4272336 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 16537 13337 264 29 0 13166 0
Current children cumulated CPU time (s) 281.95
Current children cumulated vsize (KiB) 66148

[startup+342.301 s]
/proc/loadavg: 4.09 4.03 3.56 5/191 5810
/proc/meminfo: memFree=30405636/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=146288 CPUtime=341.95 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 2362912 0 0 0 33907 288 0 0 25 0 1 0 892019917 149798912 27089 33554432000 4194304 4311632 140734755858272 18446744073709551615 4264208 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 36572 27089 264 29 0 33201 0
Current children cumulated CPU time (s) 341.95
Current children cumulated vsize (KiB) 146288

[startup+402.301 s]
/proc/loadavg: 4.09 4.04 3.59 5/191 5812
/proc/meminfo: memFree=30606572/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=66148 CPUtime=401.96 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 2741817 0 0 0 39860 336 0 0 25 0 1 0 892019917 67735552 13337 33554432000 4194304 4311632 140734755858272 18446744073709551615 4272562 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 16537 13337 264 29 0 13166 0
Current children cumulated CPU time (s) 401.96
Current children cumulated vsize (KiB) 66148

[startup+462.3 s]
/proc/loadavg: 4.11 4.04 3.62 5/191 5933
/proc/meminfo: memFree=31123356/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=115468 CPUtime=461.95 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 3127502 0 0 0 45810 385 0 0 25 0 1 0 892019917 118239232 22564 33554432000 4194304 4311632 140734755858272 18446744073709551615 4260432 0 0 4096 8388610 0 0 0 17 6 0 0 0
/proc/5791/statm: 28867 22564 264 29 0 25496 0
Current children cumulated CPU time (s) 461.95
Current children cumulated vsize (KiB) 115468

[startup+522.301 s]
/proc/loadavg: 4.04 4.03 3.64 5/191 5935
/proc/meminfo: memFree=31081296/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=66148 CPUtime=521.92 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 3459337 0 0 0 51766 426 0 0 25 0 1 0 892019917 67735552 13337 33554432000 4194304 4311632 140734755858272 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 16537 13337 264 29 0 13166 0
Current children cumulated CPU time (s) 521.92
Current children cumulated vsize (KiB) 66148

[startup+582.301 s]
/proc/loadavg: 4.01 4.03 3.66 5/191 5936
/proc/meminfo: memFree=31123048/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=66148 CPUtime=581.92 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 3847278 0 0 0 57715 477 0 0 25 0 1 0 892019917 67735552 13337 33554432000 4194304 4311632 140734755858272 18446744073709551615 4286188 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 16537 13337 264 29 0 13166 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 66148

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 4.11 4.07 3.76 5/191 5943
/proc/meminfo: memFree=31123116/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=66148 CPUtime=821.93 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 5496827 0 0 0 81517 676 0 0 25 0 1 0 892019917 67735552 13337 33554432000 4194304 4311632 140734755858272 18446744073709551615 4272336 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 16537 13337 264 29 0 13166 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 66148

[startup+882.301 s]
/proc/loadavg: 4.04 4.06 3.77 5/191 5944
/proc/meminfo: memFree=31123320/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=66148 CPUtime=881.93 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 5890270 0 0 0 87473 720 0 0 25 0 1 0 892019917 67735552 13337 33554432000 4194304 4311632 140734755858272 18446744073709551615 4264246 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 16537 13337 264 29 0 13166 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 66148

[startup+942.301 s]
/proc/loadavg: 4.09 4.06 3.78 5/191 5946
/proc/meminfo: memFree=31120420/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=66148 CPUtime=941.93 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 6295103 0 0 0 93425 768 0 0 25 0 1 0 892019917 67735552 13337 33554432000 4194304 4311632 140734755858272 18446744073709551615 4272991 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 16537 13337 264 29 0 13166 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 66148

[startup+1002.3 s]
/proc/loadavg: 4.03 4.05 3.80 5/191 5948
/proc/meminfo: memFree=31086028/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=115468 CPUtime=1001.93 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 6707560 0 0 0 99377 816 0 0 25 0 1 0 892019917 118239232 24459 33554432000 4194304 4311632 140734755858272 18446744073709551615 4259369 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 28867 24460 264 29 0 25496 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 115468

[startup+1062.3 s]
/proc/loadavg: 3.83 4.00 3.80 4/185 5973
/proc/meminfo: memFree=31157036/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=146288 CPUtime=1061.93 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 7073133 0 0 0 105329 864 0 0 25 0 1 0 892019917 149798912 28126 33554432000 4194304 4311632 140734755858272 18446744073709551615 4264186 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 36572 28126 264 29 0 33201 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 146288

[startup+1122.3 s]
/proc/loadavg: 3.30 3.82 3.74 4/185 5975
/proc/meminfo: memFree=31156072/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=66148 CPUtime=1121.93 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 7455031 0 0 0 111282 911 0 0 25 0 1 0 892019917 67735552 13337 33554432000 4194304 4311632 140734755858272 18446744073709551615 4264355 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 16537 13337 264 29 0 13166 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 66148

[startup+1182.3 s]
/proc/loadavg: 3.11 3.67 3.70 4/185 5976
/proc/meminfo: memFree=31188152/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=66148 CPUtime=1181.93 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 7855470 0 0 0 117233 960 0 0 25 0 1 0 892019917 67735552 13337 33554432000 4194304 4311632 140734755858272 18446744073709551615 4286219 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 16537 13337 264 29 0 13166 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 66148

[startup+1242.3 s]
/proc/loadavg: 3.04 3.54 3.65 4/185 5978
/proc/meminfo: memFree=31187864/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=115468 CPUtime=1241.94 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 8202710 0 0 0 123195 999 0 0 25 0 1 0 892019917 118239232 22307 33554432000 4194304 4311632 140734755858272 18446744073709551615 4264235 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 28867 22307 264 29 0 25496 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 115468

[startup+1302.3 s]
/proc/loadavg: 3.01 3.44 3.61 4/185 5980
/proc/meminfo: memFree=31128412/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=146288 CPUtime=1301.94 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 8612611 0 0 0 129145 1049 0 0 25 0 1 0 892019917 149798912 28363 33554432000 4194304 4311632 140734755858272 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 36572 28363 264 29 0 33201 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 146288

[startup+1362.3 s]
/proc/loadavg: 3.05 3.37 3.57 4/185 5981
/proc/meminfo: memFree=31157016/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=66148 CPUtime=1361.94 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 8995765 0 0 0 135100 1094 0 0 25 0 1 0 892019917 67735552 13337 33554432000 4194304 4311632 140734755858272 18446744073709551615 4286219 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 16537 13337 264 29 0 13166 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 66148

[startup+1422.31 s]
/proc/loadavg: 3.02 3.30 3.53 4/185 5983
/proc/meminfo: memFree=31144068/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=115468 CPUtime=1421.94 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 9386874 0 0 0 141052 1142 0 0 25 0 1 0 892019917 118239232 25237 33554432000 4194304 4311632 140734755858272 18446744073709551615 4264447 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 28867 25239 264 29 0 25496 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 115468

[startup+1482.3 s]
/proc/loadavg: 3.05 3.26 3.50 4/185 5984
/proc/meminfo: memFree=31188048/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=66148 CPUtime=1481.94 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 9756139 0 0 0 147006 1188 0 0 25 0 1 0 892019917 67735552 13337 33554432000 4194304 4311632 140734755858272 18446744073709551615 4264632 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 16537 13337 264 29 0 13166 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 66148

[startup+1542.3 s]
/proc/loadavg: 3.06 3.22 3.47 4/185 5986
/proc/meminfo: memFree=31188132/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=66148 CPUtime=1541.94 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 10109328 0 0 0 152963 1231 0 0 25 0 1 0 892019917 67735552 13337 33554432000 4194304 4311632 140734755858272 18446744073709551615 4272534 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 16537 13337 264 29 0 13166 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 66148

[startup+1602.3 s]
/proc/loadavg: 3.08 3.20 3.44 4/185 5988
/proc/meminfo: memFree=31188176/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=66148 CPUtime=1601.95 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 10500659 0 0 0 158914 1281 0 0 25 0 1 0 892019917 67735552 13337 33554432000 4194304 4311632 140734755858272 18446744073709551615 4260450 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 16537 13337 264 29 0 13166 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 66148

[startup+1662.3 s]
/proc/loadavg: 3.03 3.16 3.41 4/185 5989
/proc/meminfo: memFree=31151284/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=115468 CPUtime=1661.95 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 10919060 0 0 0 164863 1332 0 0 25 0 1 0 892019917 118239232 24784 33554432000 4194304 4311632 140734755858272 18446744073709551615 4264186 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 28867 24784 264 29 0 25496 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 115468

[startup+1722.3 s]
/proc/loadavg: 3.01 3.13 3.39 4/185 5991
/proc/meminfo: memFree=31187700/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=66148 CPUtime=1721.95 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 11330651 0 0 0 170814 1381 0 0 25 0 1 0 892019917 67735552 13337 33554432000 4194304 4311632 140734755858272 18446744073709551615 4273159 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 16537 13337 264 29 0 13166 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 66148

[startup+1782.3 s]
/proc/loadavg: 3.00 3.10 3.36 4/185 5992
/proc/meminfo: memFree=31187528/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=66148 CPUtime=1781.95 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 11728359 0 0 0 176767 1428 0 0 25 0 1 0 892019917 67735552 13337 33554432000 4194304 4311632 140734755858272 18446744073709551615 4260418 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 16537 13337 264 29 0 13166 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 66148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 3.00 3.09 3.35 4/185 5993
/proc/meminfo: memFree=31156256/32951124 swapFree=67063272/67111528
[pid=5791] ppid=5789 vsize=115468 CPUtime=1800.05 cores=4,6
/proc/5791/stat : 5791 (hmuc-a) R 5789 5791 6290 0 -1 4202496 11839042 0 0 0 178563 1442 0 0 25 0 1 0 892019917 118239232 21301 33554432000 4194304 4311632 140734755858272 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/5791/statm: 28867 21301 264 29 0 25496 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 115468

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1785.64
CPU system time (s): 14.4328
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 196376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.64
system time used= 14.4328
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11839043
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= 10
involuntary context switches= 31669

runsolver used 3.04054 second user time and 6.78797 second system time

The end

Launcher Data 

Begin job on node132 at 2011-06-11 16:56:58
IDJOB=3493894
IDBENCH=87997
IDSOLVER=1983
FILE ID=node132/3493894-1307804218
RUNJOBID= node132-1307802845-5583
PBS_JOBID= 13551016
Free space on /tmp= 74052 MiB

SOLVER NAME= Haifa-MUC-A 2011-04-07
BENCH NAME= SAT02/industrial/goldberg/rand_net/rand_net70-25-1.shuffled.cnf
COMMAND LINE= HOME/hmuc-a BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493894-1307804218/watcher-3493894-1307804218 -o /tmp/evaluation-result-3493894-1307804218/solver-3493894-1307804218 -C 1800 -W 1850 -M 7680  HOME/hmuc-a HOME/instance-3493894-1307804218.cnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= fc5eda6a382f2564a3ed19c84f82e9c0
RANDOM SEED=151889720

node132.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30540416 kB
Buffers:        289188 kB
Cached:        1110844 kB
SwapCached:       9968 kB
Active:        1417684 kB
Inactive:       784156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30540416 kB
SwapTotal:    67111528 kB
SwapFree:     67063272 kB
Dirty:             996 kB
Writeback:           0 kB
AnonPages:      799868 kB
Mapped:           9908 kB
Slab:           143108 kB
PageTables:       6560 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1112744 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74096 MiB
End job on node132 at 2011-06-11 17:27:00