Trace number 3494472

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 2011-04-07? (MO) 1466.2 1466.16

General information on the benchmark

NameSAT02/industrial/biere/
dinphil/dp09u08.shuffled.cnf
MD5SUM6b942b91b984614b2486ef59f1f9cebb
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables5475
Number of clauses16207
Sum of the clauses size38163
Maximum clause length9
Minimum clause length1
Number of clauses of size 118
Number of clauses of size 210428
Number of clauses of size 35760
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51

Solver Data 

100.49/100.53	c WARNING: for repeatability, setting FPU to use double precision
100.49/100.53	c iter 1 time 4.43033 not-muc 8844 unknown 7363 muc 0
100.49/100.53	c iter 2 time 4.47432 not-muc 8844 unknown 7362 muc 1
100.49/100.53	c iter 3 time 4.51131 not-muc 8844 unknown 7361 muc 2
100.49/100.53	c iter 4 time 8.48371 not-muc 9794 unknown 6411 muc 2
100.49/100.53	c iter 5 time 11.3513 not-muc 10339 unknown 5866 muc 2
100.49/100.53	c iter 6 time 11.4353 not-muc 10339 unknown 5865 muc 3
100.49/100.53	c iter 7 time 13.9849 not-muc 10598 unknown 5606 muc 3
100.49/100.53	c iter 8 time 14.0919 not-muc 10598 unknown 5605 muc 4
100.49/100.53	c iter 9 time 17.2634 not-muc 10637 unknown 5566 muc 4
100.49/100.53	c iter 10 time 17.3294 not-muc 10637 unknown 5565 muc 5
100.49/100.53	c iter 11 time 17.3784 not-muc 10637 unknown 5564 muc 6
100.49/100.53	c iter 12 time 20.2059 not-muc 10715 unknown 5486 muc 6
100.49/100.53	c iter 13 time 22.9145 not-muc 10913 unknown 5288 muc 6
100.49/100.53	c iter 14 time 25.5181 not-muc 11070 unknown 5131 muc 6
100.49/100.53	c iter 15 time 28.4487 not-muc 11173 unknown 5028 muc 6
100.49/100.53	c iter 16 time 31.8552 not-muc 11196 unknown 5005 muc 6
100.49/100.53	c iter 17 time 33.4129 not-muc 11320 unknown 4881 muc 6
100.49/100.53	c iter 18 time 36.0415 not-muc 11381 unknown 4820 muc 6
100.49/100.53	c iter 19 time 36.1725 not-muc 11381 unknown 4819 muc 7
100.49/100.53	c iter 20 time 36.3195 not-muc 11381 unknown 4818 muc 8
100.49/100.53	c iter 21 time 38.4881 not-muc 11397 unknown 4802 muc 8
100.49/100.53	c iter 22 time 40.1319 not-muc 11471 unknown 4728 muc 8
100.49/100.53	c iter 23 time 40.1969 not-muc 11471 unknown 4727 muc 9
100.49/100.53	c iter 24 time 40.2279 not-muc 11471 unknown 4726 muc 10
100.49/100.53	c iter 25 time 40.2479 not-muc 11471 unknown 4725 muc 11
100.49/100.53	c iter 26 time 41.8756 not-muc 11508 unknown 4688 muc 11
100.49/100.53	c iter 27 time 41.9376 not-muc 11508 unknown 4687 muc 12
100.49/100.53	c iter 28 time 42.9735 not-muc 11613 unknown 4582 muc 12
100.49/100.53	c iter 29 time 43.0375 not-muc 11613 unknown 4581 muc 13
100.49/100.53	c iter 30 time 44.2113 not-muc 11731 unknown 4463 muc 13
100.49/100.53	c iter 31 time 46.5689 not-muc 11754 unknown 4440 muc 13
100.49/100.53	c iter 32 time 46.6499 not-muc 11754 unknown 4439 muc 14
100.49/100.53	c iter 33 time 46.6879 not-muc 11754 unknown 4438 muc 15
100.49/100.53	c iter 34 time 49.3845 not-muc 11783 unknown 4409 muc 15
100.49/100.53	c iter 35 time 52.1461 not-muc 11816 unknown 4376 muc 15
100.49/100.53	c iter 36 time 52.2551 not-muc 11816 unknown 4375 muc 16
100.49/100.53	c iter 37 time 52.2801 not-muc 11816 unknown 4374 muc 17
100.49/100.53	c iter 38 time 56.7354 not-muc 11850 unknown 4340 muc 17
100.49/100.53	c iter 39 time 56.8004 not-muc 11850 unknown 4339 muc 18
100.49/100.53	c iter 40 time 56.8354 not-muc 11850 unknown 4338 muc 19
100.49/100.53	c iter 41 time 59.476 not-muc 11863 unknown 4325 muc 19
100.49/100.53	c iter 42 time 59.5399 not-muc 11863 unknown 4324 muc 20
100.49/100.53	c iter 43 time 61.0127 not-muc 11869 unknown 4318 muc 20
100.49/100.53	c iter 44 time 61.0867 not-muc 11869 unknown 4317 muc 21
100.49/100.53	c iter 45 time 61.1047 not-muc 11869 unknown 4316 muc 22
100.49/100.53	c iter 46 time 63.5843 not-muc 11948 unknown 4237 muc 22
100.49/100.53	c iter 47 time 63.6513 not-muc 11948 unknown 4236 muc 23
100.49/100.53	c iter 48 time 63.6733 not-muc 11948 unknown 4235 muc 24
100.49/100.53	c iter 49 time 66.014 not-muc 11963 unknown 4220 muc 24
100.49/100.53	c iter 50 time 66.065 not-muc 11963 unknown 4219 muc 25
100.49/100.53	c iter 51 time 68.2026 not-muc 11977 unknown 4205 muc 25
100.49/100.53	c iter 52 time 68.2836 not-muc 11977 unknown 4204 muc 26
100.49/100.53	c iter 53 time 70.6083 not-muc 11986 unknown 4195 muc 26
100.49/100.53	c iter 54 time 73.0569 not-muc 12054 unknown 4127 muc 26
100.49/100.53	c iter 55 time 74.9256 not-muc 12059 unknown 4122 muc 26
100.49/100.53	c iter 56 time 78.3781 not-muc 12071 unknown 4110 muc 26
100.49/100.53	c iter 57 time 78.4851 not-muc 12071 unknown 4109 muc 27
100.49/100.53	c iter 58 time 78.5941 not-muc 12071 unknown 4108 muc 28
100.49/100.53	c iter 59 time 78.65 not-muc 12071 unknown 4107 muc 29
100.49/100.53	c iter 60 time 78.69 not-muc 12071 unknown 4106 muc 30
100.49/100.53	c iter 61 time 81.0117 not-muc 12082 unknown 4095 muc 30
100.49/100.53	c iter 62 time 81.1117 not-muc 12082 unknown 4094 muc 31
100.49/100.53	c iter 63 time 81.1337 not-muc 12082 unknown 4093 muc 32
100.49/100.53	c iter 64 time 81.1537 not-muc 12082 unknown 4092 muc 33
100.49/100.53	c iter 65 time 86.2969 not-muc 12108 unknown 4066 muc 33
100.49/100.53	c iter 66 time 90.4203 not-muc 12122 unknown 4052 muc 33
100.49/100.53	c iter 67 time 90.5262 not-muc 12122 unknown 4051 muc 34
100.49/100.53	c iter 68 time 90.5612 not-muc 12122 unknown 4050 muc 35
100.49/100.53	c iter 69 time 95.2795 not-muc 12142 unknown 4030 muc 35
100.49/100.53	c iter 70 time 97.7951 not-muc 12179 unknown 3993 muc 35
100.49/100.53	c iter 71 time 100.214 not-muc 12236 unknown 3936 muc 35
100.49/100.53	c iter 72 time 100.31 not-muc 12236 unknown 3935 muc 36
195.20/195.29	c iter 73 time 100.354 not-muc 12236 unknown 3934 muc 37
195.20/195.29	c iter 74 time 100.467 not-muc 12236 unknown 3933 muc 38
195.20/195.29	c iter 75 time 103.924 not-muc 12248 unknown 3921 muc 38
195.20/195.29	c iter 76 time 106.477 not-muc 12270 unknown 3899 muc 38
195.20/195.29	c iter 77 time 110.764 not-muc 12280 unknown 3889 muc 38
195.20/195.29	c iter 78 time 110.868 not-muc 12280 unknown 3888 muc 39
195.20/195.29	c iter 79 time 113.003 not-muc 12294 unknown 3874 muc 39
195.20/195.29	c iter 80 time 113.119 not-muc 12294 unknown 3873 muc 40
195.20/195.29	c iter 81 time 113.193 not-muc 12294 unknown 3872 muc 41
195.20/195.29	c iter 82 time 113.221 not-muc 12294 unknown 3871 muc 42
195.20/195.29	c iter 83 time 113.308 not-muc 12294 unknown 3870 muc 43
195.20/195.29	c iter 84 time 117.429 not-muc 12298 unknown 3866 muc 43
195.20/195.29	c iter 85 time 117.561 not-muc 12298 unknown 3865 muc 44
195.20/195.29	c iter 86 time 117.644 not-muc 12298 unknown 3864 muc 45
195.20/195.29	c iter 87 time 117.763 not-muc 12298 unknown 3863 muc 46
195.20/195.29	c iter 88 time 117.835 not-muc 12298 unknown 3862 muc 47
195.20/195.29	c iter 89 time 117.903 not-muc 12298 unknown 3861 muc 48
195.20/195.29	c iter 90 time 121.232 not-muc 12310 unknown 3849 muc 48
195.20/195.29	c iter 91 time 124.333 not-muc 12311 unknown 3848 muc 48
195.20/195.29	c iter 92 time 124.439 not-muc 12311 unknown 3847 muc 49
195.20/195.29	c iter 93 time 127.886 not-muc 12333 unknown 3825 muc 49
195.20/195.29	c iter 94 time 128.143 not-muc 12333 unknown 3824 muc 50
195.20/195.29	c iter 95 time 128.217 not-muc 12333 unknown 3823 muc 51
195.20/195.29	c iter 96 time 131.451 not-muc 12356 unknown 3800 muc 51
195.20/195.29	c iter 97 time 131.578 not-muc 12356 unknown 3799 muc 52
195.20/195.29	c iter 98 time 137.026 not-muc 12385 unknown 3770 muc 52
195.20/195.29	c iter 99 time 139.623 not-muc 12422 unknown 3733 muc 52
195.20/195.29	c iter 100 time 139.722 not-muc 12422 unknown 3732 muc 53
195.20/195.29	c iter 101 time 143.075 not-muc 12436 unknown 3718 muc 53
195.20/195.29	c iter 102 time 143.257 not-muc 12436 unknown 3717 muc 54
195.20/195.29	c iter 103 time 146.379 not-muc 12460 unknown 3693 muc 54
195.20/195.29	c iter 104 time 146.477 not-muc 12460 unknown 3692 muc 55
195.20/195.29	c iter 105 time 146.552 not-muc 12460 unknown 3691 muc 56
195.20/195.29	c iter 106 time 146.59 not-muc 12460 unknown 3690 muc 57
195.20/195.29	c iter 107 time 146.661 not-muc 12460 unknown 3689 muc 58
195.20/195.29	c iter 108 time 146.699 not-muc 12460 unknown 3688 muc 59
195.20/195.29	c iter 109 time 150.5 not-muc 12478 unknown 3670 muc 59
195.20/195.29	c iter 110 time 153.65 not-muc 12506 unknown 3642 muc 59
195.20/195.29	c iter 111 time 153.782 not-muc 12506 unknown 3641 muc 60
195.20/195.29	c iter 112 time 153.843 not-muc 12506 unknown 3640 muc 61
195.20/195.29	c iter 113 time 157.721 not-muc 12525 unknown 3621 muc 61
195.20/195.29	c iter 114 time 157.88 not-muc 12525 unknown 3620 muc 62
195.20/195.29	c iter 115 time 157.965 not-muc 12525 unknown 3619 muc 63
195.20/195.29	c iter 116 time 158.027 not-muc 12525 unknown 3618 muc 64
195.20/195.29	c iter 117 time 158.289 not-muc 12525 unknown 3617 muc 65
195.20/195.29	c iter 118 time 158.5 not-muc 12525 unknown 3616 muc 66
195.20/195.29	c iter 119 time 158.591 not-muc 12525 unknown 3615 muc 67
195.20/195.29	c iter 120 time 161.451 not-muc 12527 unknown 3613 muc 67
195.20/195.29	c iter 121 time 161.589 not-muc 12527 unknown 3612 muc 68
195.20/195.29	c iter 122 time 161.649 not-muc 12527 unknown 3611 muc 69
195.20/195.29	c iter 123 time 161.685 not-muc 12527 unknown 3610 muc 70
195.20/195.29	c iter 124 time 161.731 not-muc 12527 unknown 3609 muc 71
195.20/195.29	c iter 125 time 161.75 not-muc 12527 unknown 3608 muc 72
195.20/195.29	c iter 126 time 161.771 not-muc 12527 unknown 3607 muc 73
195.20/195.29	c iter 127 time 164.762 not-muc 12544 unknown 3590 muc 73
195.20/195.29	c iter 128 time 170.129 not-muc 12552 unknown 3582 muc 73
195.20/195.29	c iter 129 time 176.413 not-muc 12559 unknown 3575 muc 73
195.20/195.29	c iter 130 time 176.546 not-muc 12559 unknown 3574 muc 74
195.20/195.29	c iter 131 time 176.607 not-muc 12559 unknown 3573 muc 75
195.20/195.29	c iter 132 time 176.654 not-muc 12559 unknown 3572 muc 76
195.20/195.29	c iter 133 time 183.35 not-muc 12574 unknown 3557 muc 76
195.20/195.29	c iter 134 time 183.51 not-muc 12574 unknown 3556 muc 77
195.20/195.29	c iter 135 time 183.79 not-muc 12574 unknown 3555 muc 78
195.20/195.29	c iter 136 time 187.822 not-muc 12588 unknown 3541 muc 78
195.20/195.29	c iter 137 time 188.018 not-muc 12588 unknown 3540 muc 79
195.20/195.29	c iter 138 time 194.406 not-muc 12589 unknown 3539 muc 79
195.20/195.29	c iter 139 time 194.561 not-muc 12589 unknown 3538 muc 80
195.20/195.29	c iter 140 time 194.609 not-muc 12589 unknown 3537 muc 81
195.20/195.29	c iter 141 time 194.686 not-muc 12589 unknown 3536 muc 82
195.20/195.29	c iter 142 time 194.792 not-muc 12589 unknown 3535 muc 83
195.20/195.29	c iter 143 time 194.887 not-muc 12589 unknown 3534 muc 84
282.80/282.81	c iter 144 time 194.956 not-muc 12589 unknown 3533 muc 85
282.80/282.81	c iter 145 time 203.009 not-muc 12620 unknown 3502 muc 85
282.80/282.81	c iter 146 time 208.011 not-muc 12624 unknown 3498 muc 85
282.80/282.81	c iter 147 time 208.151 not-muc 12624 unknown 3497 muc 86
282.80/282.81	c iter 148 time 208.224 not-muc 12624 unknown 3496 muc 87
282.80/282.81	c iter 149 time 212.597 not-muc 12626 unknown 3494 muc 87
282.80/282.81	c iter 150 time 212.717 not-muc 12626 unknown 3493 muc 88
282.80/282.81	c iter 151 time 212.783 not-muc 12626 unknown 3492 muc 89
282.80/282.81	c iter 152 time 212.825 not-muc 12626 unknown 3491 muc 90
282.80/282.81	c iter 153 time 212.872 not-muc 12626 unknown 3490 muc 91
282.80/282.81	c iter 154 time 212.908 not-muc 12626 unknown 3489 muc 92
282.80/282.81	c iter 155 time 213.347 not-muc 12626 unknown 3488 muc 93
282.80/282.81	c iter 156 time 213.439 not-muc 12626 unknown 3487 muc 94
282.80/282.81	c iter 157 time 213.479 not-muc 12626 unknown 3486 muc 95
282.80/282.81	c iter 158 time 213.519 not-muc 12626 unknown 3485 muc 96
282.80/282.81	c iter 159 time 213.599 not-muc 12626 unknown 3484 muc 97
282.80/282.81	c iter 160 time 213.634 not-muc 12626 unknown 3483 muc 98
282.80/282.81	c iter 161 time 213.689 not-muc 12626 unknown 3482 muc 99
282.80/282.81	c iter 162 time 213.84 not-muc 12626 unknown 3481 muc 100
282.80/282.81	c iter 163 time 213.91 not-muc 12626 unknown 3480 muc 101
282.80/282.81	c iter 164 time 213.96 not-muc 12626 unknown 3479 muc 102
282.80/282.81	c iter 165 time 214.059 not-muc 12626 unknown 3478 muc 103
282.80/282.81	c iter 166 time 214.097 not-muc 12626 unknown 3477 muc 104
282.80/282.81	c iter 167 time 214.145 not-muc 12626 unknown 3476 muc 105
282.80/282.81	c iter 168 time 214.187 not-muc 12626 unknown 3475 muc 106
282.80/282.81	c iter 169 time 214.262 not-muc 12626 unknown 3474 muc 107
282.80/282.81	c iter 170 time 214.311 not-muc 12626 unknown 3473 muc 108
282.80/282.81	c iter 171 time 214.355 not-muc 12626 unknown 3472 muc 109
282.80/282.81	c iter 172 time 219.494 not-muc 12648 unknown 3450 muc 109
282.80/282.81	c iter 173 time 219.626 not-muc 12648 unknown 3449 muc 110
282.80/282.81	c iter 174 time 219.779 not-muc 12648 unknown 3448 muc 111
282.80/282.81	c iter 175 time 223.415 not-muc 12650 unknown 3446 muc 111
282.80/282.81	c iter 176 time 223.58 not-muc 12650 unknown 3445 muc 112
282.80/282.81	c iter 177 time 223.63 not-muc 12650 unknown 3444 muc 113
282.80/282.81	c iter 178 time 223.743 not-muc 12650 unknown 3443 muc 114
282.80/282.81	c iter 179 time 227.867 not-muc 12657 unknown 3436 muc 114
282.80/282.81	c iter 180 time 228.003 not-muc 12657 unknown 3435 muc 115
282.80/282.81	c iter 181 time 228.072 not-muc 12657 unknown 3434 muc 116
282.80/282.81	c iter 182 time 228.112 not-muc 12657 unknown 3433 muc 117
282.80/282.81	c iter 183 time 228.184 not-muc 12657 unknown 3432 muc 118
282.80/282.81	c iter 184 time 228.242 not-muc 12657 unknown 3431 muc 119
282.80/282.81	c iter 185 time 228.289 not-muc 12657 unknown 3430 muc 120
282.80/282.81	c iter 186 time 228.347 not-muc 12657 unknown 3429 muc 121
282.80/282.81	c iter 187 time 228.446 not-muc 12657 unknown 3428 muc 122
282.80/282.81	c iter 188 time 228.515 not-muc 12657 unknown 3427 muc 123
282.80/282.81	c iter 189 time 235.397 not-muc 12668 unknown 3416 muc 123
282.80/282.81	c iter 190 time 235.525 not-muc 12668 unknown 3415 muc 124
282.80/282.81	c iter 191 time 235.548 not-muc 12668 unknown 3414 muc 125
282.80/282.81	c iter 192 time 245.053 not-muc 12674 unknown 3408 muc 125
282.80/282.81	c iter 193 time 245.188 not-muc 12674 unknown 3407 muc 126
282.80/282.81	c iter 194 time 245.318 not-muc 12674 unknown 3406 muc 127
282.80/282.81	c iter 195 time 245.358 not-muc 12674 unknown 3405 muc 128
282.80/282.81	c iter 196 time 245.464 not-muc 12674 unknown 3404 muc 129
282.80/282.81	c iter 197 time 245.534 not-muc 12674 unknown 3403 muc 130
282.80/282.81	c iter 198 time 245.631 not-muc 12674 unknown 3402 muc 131
282.80/282.81	c iter 199 time 251.057 not-muc 12675 unknown 3401 muc 131
282.80/282.81	c iter 200 time 255.317 not-muc 12691 unknown 3385 muc 131
282.80/282.81	c iter 201 time 259.851 not-muc 12697 unknown 3379 muc 131
282.80/282.81	c iter 202 time 260.036 not-muc 12697 unknown 3378 muc 132
282.80/282.81	c iter 203 time 260.083 not-muc 12697 unknown 3377 muc 133
282.80/282.81	c iter 204 time 260.121 not-muc 12697 unknown 3376 muc 134
282.80/282.81	c iter 205 time 265.882 not-muc 12710 unknown 3363 muc 134
282.80/282.81	c iter 206 time 266.051 not-muc 12710 unknown 3362 muc 135
282.80/282.81	c iter 207 time 266.111 not-muc 12710 unknown 3361 muc 136
282.80/282.81	c iter 208 time 266.146 not-muc 12710 unknown 3360 muc 137
282.80/282.81	c iter 209 time 270.999 not-muc 12722 unknown 3348 muc 137
282.80/282.81	c iter 210 time 276.103 not-muc 12733 unknown 3337 muc 137
282.80/282.81	c iter 211 time 282.067 not-muc 12741 unknown 3329 muc 137
282.80/282.81	c iter 212 time 282.202 not-muc 12741 unknown 3328 muc 138
282.80/282.81	c iter 213 time 282.235 not-muc 12741 unknown 3327 muc 139
344.40/344.46	c iter 214 time 282.303 not-muc 12741 unknown 3326 muc 140
344.40/344.46	c iter 215 time 282.379 not-muc 12741 unknown 3325 muc 141
344.40/344.46	c iter 216 time 282.442 not-muc 12741 unknown 3324 muc 142
344.40/344.46	c iter 217 time 286.999 not-muc 12747 unknown 3318 muc 142
344.40/344.46	c iter 218 time 287.108 not-muc 12747 unknown 3317 muc 143
344.40/344.46	c iter 219 time 287.218 not-muc 12747 unknown 3316 muc 144
344.40/344.46	c iter 220 time 287.327 not-muc 12747 unknown 3315 muc 145
344.40/344.46	c iter 221 time 287.461 not-muc 12747 unknown 3314 muc 146
344.40/344.46	c iter 222 time 287.524 not-muc 12747 unknown 3313 muc 147
344.40/344.46	c iter 223 time 287.566 not-muc 12747 unknown 3312 muc 148
344.40/344.46	c iter 224 time 287.764 not-muc 12747 unknown 3311 muc 149
344.40/344.46	c iter 225 time 287.808 not-muc 12747 unknown 3310 muc 150
344.40/344.46	c iter 226 time 287.851 not-muc 12747 unknown 3309 muc 151
344.40/344.46	c iter 227 time 287.918 not-muc 12747 unknown 3308 muc 152
344.40/344.46	c iter 228 time 287.949 not-muc 12747 unknown 3307 muc 153
344.40/344.46	c iter 229 time 287.996 not-muc 12747 unknown 3306 muc 154
344.40/344.46	c iter 230 time 288.109 not-muc 12747 unknown 3305 muc 155
344.40/344.46	c iter 231 time 288.146 not-muc 12747 unknown 3304 muc 156
344.40/344.46	c iter 232 time 288.214 not-muc 12747 unknown 3303 muc 157
344.40/344.46	c iter 233 time 288.324 not-muc 12747 unknown 3302 muc 158
344.40/344.46	c iter 234 time 288.362 not-muc 12747 unknown 3301 muc 159
344.40/344.46	c iter 235 time 288.441 not-muc 12747 unknown 3300 muc 160
344.40/344.46	c iter 236 time 293.84 not-muc 12756 unknown 3291 muc 160
344.40/344.46	c iter 237 time 293.994 not-muc 12756 unknown 3290 muc 161
344.40/344.46	c iter 238 time 294.053 not-muc 12756 unknown 3289 muc 162
344.40/344.46	c iter 239 time 294.1 not-muc 12756 unknown 3288 muc 163
344.40/344.46	c iter 240 time 294.146 not-muc 12756 unknown 3287 muc 164
344.40/344.46	c iter 241 time 294.228 not-muc 12756 unknown 3286 muc 165
344.40/344.46	c iter 242 time 294.29 not-muc 12756 unknown 3285 muc 166
344.40/344.46	c iter 243 time 294.342 not-muc 12756 unknown 3284 muc 167
344.40/344.46	c iter 244 time 294.394 not-muc 12756 unknown 3283 muc 168
344.40/344.46	c iter 245 time 294.46 not-muc 12756 unknown 3282 muc 169
344.40/344.46	c iter 246 time 294.559 not-muc 12756 unknown 3281 muc 170
344.40/344.46	c iter 247 time 294.622 not-muc 12756 unknown 3280 muc 171
344.40/344.46	c iter 248 time 294.643 not-muc 12756 unknown 3279 muc 172
344.40/344.46	c iter 249 time 294.675 not-muc 12756 unknown 3278 muc 173
344.40/344.46	c iter 250 time 294.715 not-muc 12756 unknown 3277 muc 174
344.40/344.46	c iter 251 time 300.278 not-muc 12757 unknown 3276 muc 174
344.40/344.46	c iter 252 time 300.458 not-muc 12757 unknown 3275 muc 175
344.40/344.46	c iter 253 time 300.574 not-muc 12757 unknown 3274 muc 176
344.40/344.46	c iter 254 time 300.632 not-muc 12757 unknown 3273 muc 177
344.40/344.46	c iter 255 time 300.674 not-muc 12757 unknown 3272 muc 178
344.40/344.46	c iter 256 time 300.764 not-muc 12757 unknown 3271 muc 179
344.40/344.46	c iter 257 time 300.824 not-muc 12757 unknown 3270 muc 180
344.40/344.46	c iter 258 time 305.188 not-muc 12762 unknown 3265 muc 180
344.40/344.46	c iter 259 time 305.322 not-muc 12762 unknown 3264 muc 181
344.40/344.46	c iter 260 time 305.375 not-muc 12762 unknown 3263 muc 182
344.40/344.46	c iter 261 time 305.538 not-muc 12762 unknown 3262 muc 183
344.40/344.46	c iter 262 time 305.639 not-muc 12762 unknown 3261 muc 184
344.40/344.46	c iter 263 time 305.708 not-muc 12762 unknown 3260 muc 185
344.40/344.46	c iter 264 time 305.843 not-muc 12762 unknown 3259 muc 186
344.40/344.46	c iter 265 time 310.758 not-muc 12764 unknown 3257 muc 186
344.40/344.46	c iter 266 time 310.909 not-muc 12764 unknown 3256 muc 187
344.40/344.46	c iter 267 time 310.963 not-muc 12764 unknown 3255 muc 188
344.40/344.46	c iter 268 time 311.006 not-muc 12764 unknown 3254 muc 189
344.40/344.46	c iter 269 time 317.627 not-muc 12785 unknown 3233 muc 189
344.40/344.46	c iter 270 time 317.754 not-muc 12785 unknown 3232 muc 190
344.40/344.46	c iter 271 time 317.839 not-muc 12785 unknown 3231 muc 191
344.40/344.46	c iter 272 time 326.588 not-muc 12800 unknown 3216 muc 191
344.40/344.46	c iter 273 time 326.792 not-muc 12800 unknown 3215 muc 192
344.40/344.46	c iter 274 time 331.501 not-muc 12813 unknown 3202 muc 192
344.40/344.46	c iter 275 time 331.713 not-muc 12813 unknown 3201 muc 193
344.40/344.46	c iter 276 time 331.774 not-muc 12813 unknown 3200 muc 194
344.40/344.46	c iter 277 time 331.878 not-muc 12813 unknown 3199 muc 195
344.40/344.46	c iter 278 time 331.971 not-muc 12813 unknown 3198 muc 196
344.40/344.46	c iter 279 time 332.055 not-muc 12813 unknown 3197 muc 197
344.40/344.46	c iter 280 time 332.098 not-muc 12813 unknown 3196 muc 198
344.40/344.46	c iter 281 time 332.345 not-muc 12813 unknown 3195 muc 199
344.40/344.46	c iter 282 time 339.188 not-muc 12817 unknown 3191 muc 199
344.40/344.46	c iter 283 time 343.786 not-muc 12818 unknown 3190 muc 199
446.90/446.98	c iter 284 time 343.903 not-muc 12818 unknown 3189 muc 200
446.90/446.98	c iter 285 time 343.967 not-muc 12818 unknown 3188 muc 201
446.90/446.98	c iter 286 time 344.013 not-muc 12818 unknown 3187 muc 202
446.90/446.98	c iter 287 time 344.06 not-muc 12818 unknown 3186 muc 203
446.90/446.98	c iter 288 time 344.214 not-muc 12818 unknown 3185 muc 204
446.90/446.98	c iter 289 time 354.36 not-muc 12820 unknown 3183 muc 204
446.90/446.98	c iter 290 time 354.477 not-muc 12820 unknown 3182 muc 205
446.90/446.98	c iter 291 time 354.506 not-muc 12820 unknown 3181 muc 206
446.90/446.98	c iter 292 time 354.529 not-muc 12820 unknown 3180 muc 207
446.90/446.98	c iter 293 time 354.562 not-muc 12820 unknown 3179 muc 208
446.90/446.98	c iter 294 time 354.627 not-muc 12820 unknown 3178 muc 209
446.90/446.98	c iter 295 time 354.661 not-muc 12820 unknown 3177 muc 210
446.90/446.98	c iter 296 time 362.57 not-muc 12821 unknown 3176 muc 210
446.90/446.98	c iter 297 time 362.802 not-muc 12821 unknown 3175 muc 211
446.90/446.98	c iter 298 time 362.877 not-muc 12821 unknown 3174 muc 212
446.90/446.98	c iter 299 time 362.948 not-muc 12821 unknown 3173 muc 213
446.90/446.98	c iter 300 time 363.035 not-muc 12821 unknown 3172 muc 214
446.90/446.98	c iter 301 time 363.159 not-muc 12821 unknown 3171 muc 215
446.90/446.98	c iter 302 time 363.274 not-muc 12821 unknown 3170 muc 216
446.90/446.98	c iter 303 time 363.349 not-muc 12821 unknown 3169 muc 217
446.90/446.98	c iter 304 time 363.423 not-muc 12821 unknown 3168 muc 218
446.90/446.98	c iter 305 time 363.519 not-muc 12821 unknown 3167 muc 219
446.90/446.98	c iter 306 time 363.608 not-muc 12821 unknown 3166 muc 220
446.90/446.98	c iter 307 time 363.676 not-muc 12821 unknown 3165 muc 221
446.90/446.98	c iter 308 time 385.341 not-muc 12828 unknown 3158 muc 221
446.90/446.98	c iter 309 time 385.642 not-muc 12828 unknown 3157 muc 222
446.90/446.98	c iter 310 time 385.706 not-muc 12828 unknown 3156 muc 223
446.90/446.98	c iter 311 time 388.784 not-muc 12832 unknown 3152 muc 223
446.90/446.98	c iter 312 time 388.935 not-muc 12832 unknown 3151 muc 224
446.90/446.98	c iter 313 time 389.002 not-muc 12832 unknown 3150 muc 225
446.90/446.98	c iter 314 time 397.565 not-muc 12837 unknown 3145 muc 225
446.90/446.98	c iter 315 time 397.73 not-muc 12837 unknown 3144 muc 226
446.90/446.98	c iter 316 time 403.398 not-muc 12843 unknown 3138 muc 226
446.90/446.98	c iter 317 time 403.661 not-muc 12843 unknown 3137 muc 227
446.90/446.98	c iter 318 time 403.726 not-muc 12843 unknown 3136 muc 228
446.90/446.98	c iter 319 time 403.788 not-muc 12843 unknown 3135 muc 229
446.90/446.98	c iter 320 time 403.886 not-muc 12843 unknown 3134 muc 230
446.90/446.98	c iter 321 time 403.95 not-muc 12843 unknown 3133 muc 231
446.90/446.98	c iter 322 time 404.079 not-muc 12843 unknown 3132 muc 232
446.90/446.98	c iter 323 time 413.644 not-muc 12846 unknown 3129 muc 232
446.90/446.98	c iter 324 time 414 not-muc 12846 unknown 3128 muc 233
446.90/446.98	c iter 325 time 414.123 not-muc 12846 unknown 3127 muc 234
446.90/446.98	c iter 326 time 414.232 not-muc 12846 unknown 3126 muc 235
446.90/446.98	c iter 327 time 414.293 not-muc 12846 unknown 3125 muc 236
446.90/446.98	c iter 328 time 414.339 not-muc 12846 unknown 3124 muc 237
446.90/446.98	c iter 329 time 414.407 not-muc 12846 unknown 3123 muc 238
446.90/446.98	c iter 330 time 414.479 not-muc 12846 unknown 3122 muc 239
446.90/446.98	c iter 331 time 414.602 not-muc 12846 unknown 3121 muc 240
446.90/446.98	c iter 332 time 414.667 not-muc 12846 unknown 3120 muc 241
446.90/446.98	c iter 333 time 414.847 not-muc 12846 unknown 3119 muc 242
446.90/446.98	c iter 334 time 414.915 not-muc 12846 unknown 3118 muc 243
446.90/446.98	c iter 335 time 415.075 not-muc 12846 unknown 3117 muc 244
446.90/446.98	c iter 336 time 415.149 not-muc 12846 unknown 3116 muc 245
446.90/446.98	c iter 337 time 424.676 not-muc 12853 unknown 3109 muc 245
446.90/446.98	c iter 338 time 424.878 not-muc 12853 unknown 3108 muc 246
446.90/446.98	c iter 339 time 424.918 not-muc 12853 unknown 3107 muc 247
446.90/446.98	c iter 340 time 424.994 not-muc 12853 unknown 3106 muc 248
446.90/446.98	c iter 341 time 432.947 not-muc 12857 unknown 3102 muc 248
446.90/446.98	c iter 342 time 433.091 not-muc 12857 unknown 3101 muc 249
446.90/446.98	c iter 343 time 438.949 not-muc 12863 unknown 3095 muc 249
446.90/446.98	c iter 344 time 439.211 not-muc 12863 unknown 3094 muc 250
446.90/446.98	c iter 345 time 439.283 not-muc 12863 unknown 3093 muc 251
446.90/446.98	c iter 346 time 445.385 not-muc 12867 unknown 3089 muc 251
446.90/446.98	c iter 347 time 445.648 not-muc 12867 unknown 3088 muc 252
446.90/446.98	c iter 348 time 445.802 not-muc 12867 unknown 3087 muc 253
446.90/446.98	c iter 349 time 445.907 not-muc 12867 unknown 3086 muc 254
446.90/446.98	c iter 350 time 445.974 not-muc 12867 unknown 3085 muc 255
446.90/446.98	c iter 351 time 446.052 not-muc 12867 unknown 3084 muc 256
446.90/446.98	c iter 352 time 446.11 not-muc 12867 unknown 3083 muc 257
569.90/569.99	c iter 353 time 446.198 not-muc 12867 unknown 3082 muc 258
569.90/569.99	c iter 354 time 451.158 not-muc 12870 unknown 3079 muc 258
569.90/569.99	c iter 355 time 451.346 not-muc 12870 unknown 3078 muc 259
569.90/569.99	c iter 356 time 451.429 not-muc 12870 unknown 3077 muc 260
569.90/569.99	c iter 357 time 468.028 not-muc 12873 unknown 3074 muc 260
569.90/569.99	c iter 358 time 468.193 not-muc 12873 unknown 3073 muc 261
569.90/569.99	c iter 359 time 476.207 not-muc 12879 unknown 3067 muc 261
569.90/569.99	c iter 360 time 476.475 not-muc 12879 unknown 3066 muc 262
569.90/569.99	c iter 361 time 476.589 not-muc 12879 unknown 3065 muc 263
569.90/569.99	c iter 362 time 476.65 not-muc 12879 unknown 3064 muc 264
569.90/569.99	c iter 363 time 476.736 not-muc 12879 unknown 3063 muc 265
569.90/569.99	c iter 364 time 476.936 not-muc 12879 unknown 3062 muc 266
569.90/569.99	c iter 365 time 477.094 not-muc 12879 unknown 3061 muc 267
569.90/569.99	c iter 366 time 477.172 not-muc 12879 unknown 3060 muc 268
569.90/569.99	c iter 367 time 477.244 not-muc 12879 unknown 3059 muc 269
569.90/569.99	c iter 368 time 477.329 not-muc 12879 unknown 3058 muc 270
569.90/569.99	c iter 369 time 477.41 not-muc 12879 unknown 3057 muc 271
569.90/569.99	c iter 370 time 477.583 not-muc 12879 unknown 3056 muc 272
569.90/569.99	c iter 371 time 477.679 not-muc 12879 unknown 3055 muc 273
569.90/569.99	c iter 372 time 477.909 not-muc 12879 unknown 3054 muc 274
569.90/569.99	c iter 373 time 477.967 not-muc 12879 unknown 3053 muc 275
569.90/569.99	c iter 374 time 478.029 not-muc 12879 unknown 3052 muc 276
569.90/569.99	c iter 375 time 478.118 not-muc 12879 unknown 3051 muc 277
569.90/569.99	c iter 376 time 478.178 not-muc 12879 unknown 3050 muc 278
569.90/569.99	c iter 377 time 478.239 not-muc 12879 unknown 3049 muc 279
569.90/569.99	c iter 378 time 478.297 not-muc 12879 unknown 3048 muc 280
569.90/569.99	c iter 379 time 481.55 not-muc 12898 unknown 3029 muc 280
569.90/569.99	c iter 380 time 481.678 not-muc 12898 unknown 3028 muc 281
569.90/569.99	c iter 381 time 481.749 not-muc 12898 unknown 3027 muc 282
569.90/569.99	c iter 382 time 481.887 not-muc 12898 unknown 3026 muc 283
569.90/569.99	c iter 383 time 481.973 not-muc 12898 unknown 3025 muc 284
569.90/569.99	c iter 384 time 482.034 not-muc 12898 unknown 3024 muc 285
569.90/569.99	c iter 385 time 482.105 not-muc 12898 unknown 3023 muc 286
569.90/569.99	c iter 386 time 482.178 not-muc 12898 unknown 3022 muc 287
569.90/569.99	c iter 387 time 493.757 not-muc 12899 unknown 3021 muc 287
569.90/569.99	c iter 388 time 494.036 not-muc 12899 unknown 3020 muc 288
569.90/569.99	c iter 389 time 494.111 not-muc 12899 unknown 3019 muc 289
569.90/569.99	c iter 390 time 494.182 not-muc 12899 unknown 3018 muc 290
569.90/569.99	c iter 391 time 494.267 not-muc 12899 unknown 3017 muc 291
569.90/569.99	c iter 392 time 494.343 not-muc 12899 unknown 3016 muc 292
569.90/569.99	c iter 393 time 494.407 not-muc 12899 unknown 3015 muc 293
569.90/569.99	c iter 394 time 504.548 not-muc 12906 unknown 3008 muc 293
569.90/569.99	c iter 395 time 504.793 not-muc 12906 unknown 3007 muc 294
569.90/569.99	c iter 396 time 504.949 not-muc 12906 unknown 3006 muc 295
569.90/569.99	c iter 397 time 505.095 not-muc 12906 unknown 3005 muc 296
569.90/569.99	c iter 398 time 505.24 not-muc 12906 unknown 3004 muc 297
569.90/569.99	c iter 399 time 505.42 not-muc 12906 unknown 3003 muc 298
569.90/569.99	c iter 400 time 505.58 not-muc 12906 unknown 3002 muc 299
569.90/569.99	c iter 401 time 505.77 not-muc 12906 unknown 3001 muc 300
569.90/569.99	c iter 402 time 506.001 not-muc 12906 unknown 3000 muc 301
569.90/569.99	c iter 403 time 506.119 not-muc 12906 unknown 2999 muc 302
569.90/569.99	c iter 404 time 515.302 not-muc 12909 unknown 2996 muc 302
569.90/569.99	c iter 405 time 524.037 not-muc 12912 unknown 2993 muc 302
569.90/569.99	c iter 406 time 530.901 not-muc 12913 unknown 2992 muc 302
569.90/569.99	c iter 407 time 531.157 not-muc 12913 unknown 2991 muc 303
569.90/569.99	c iter 408 time 531.246 not-muc 12913 unknown 2990 muc 304
569.90/569.99	c iter 409 time 531.372 not-muc 12913 unknown 2989 muc 305
569.90/569.99	c iter 410 time 531.477 not-muc 12913 unknown 2988 muc 306
569.90/569.99	c iter 411 time 531.583 not-muc 12913 unknown 2987 muc 307
569.90/569.99	c iter 412 time 531.667 not-muc 12913 unknown 2986 muc 308
569.90/569.99	c iter 413 time 531.766 not-muc 12913 unknown 2985 muc 309
569.90/569.99	c iter 414 time 532.301 not-muc 12913 unknown 2984 muc 310
569.90/569.99	c iter 415 time 540.531 not-muc 12916 unknown 2981 muc 310
569.90/569.99	c iter 416 time 547.347 not-muc 12917 unknown 2980 muc 310
569.90/569.99	c iter 417 time 547.506 not-muc 12917 unknown 2979 muc 311
569.90/569.99	c iter 418 time 558.07 not-muc 12919 unknown 2977 muc 311
569.90/569.99	c iter 419 time 568.416 not-muc 12924 unknown 2972 muc 311
569.90/569.99	c iter 420 time 568.536 not-muc 12924 unknown 2971 muc 312
569.90/569.99	c iter 421 time 568.574 not-muc 12924 unknown 2970 muc 313
569.90/569.99	c iter 422 time 568.9 not-muc 12924 unknown 2969 muc 314
695.70/695.78	c iter 423 time 568.986 not-muc 12924 unknown 2968 muc 315
695.70/695.78	c iter 424 time 569.024 not-muc 12924 unknown 2967 muc 316
695.70/695.78	c iter 425 time 569.073 not-muc 12924 unknown 2966 muc 317
695.70/695.78	c iter 426 time 578.202 not-muc 12925 unknown 2965 muc 317
695.70/695.78	c iter 427 time 578.411 not-muc 12925 unknown 2964 muc 318
695.70/695.78	c iter 428 time 578.496 not-muc 12925 unknown 2963 muc 319
695.70/695.78	c iter 429 time 578.654 not-muc 12925 unknown 2962 muc 320
695.70/695.78	c iter 430 time 578.73 not-muc 12925 unknown 2961 muc 321
695.70/695.78	c iter 431 time 578.812 not-muc 12925 unknown 2960 muc 322
695.70/695.78	c iter 432 time 578.954 not-muc 12925 unknown 2959 muc 323
695.70/695.78	c iter 433 time 579.185 not-muc 12925 unknown 2958 muc 324
695.70/695.78	c iter 434 time 592.069 not-muc 12926 unknown 2957 muc 324
695.70/695.78	c iter 435 time 592.331 not-muc 12926 unknown 2956 muc 325
695.70/695.78	c iter 436 time 602.637 not-muc 12928 unknown 2954 muc 325
695.70/695.78	c iter 437 time 602.983 not-muc 12928 unknown 2953 muc 326
695.70/695.78	c iter 438 time 603.129 not-muc 12928 unknown 2952 muc 327
695.70/695.78	c iter 439 time 603.207 not-muc 12928 unknown 2951 muc 328
695.70/695.78	c iter 440 time 603.281 not-muc 12928 unknown 2950 muc 329
695.70/695.78	c iter 441 time 603.357 not-muc 12928 unknown 2949 muc 330
695.70/695.78	c iter 442 time 603.415 not-muc 12928 unknown 2948 muc 331
695.70/695.78	c iter 443 time 610.635 not-muc 12933 unknown 2943 muc 331
695.70/695.78	c iter 444 time 610.821 not-muc 12933 unknown 2942 muc 332
695.70/695.78	c iter 445 time 610.85 not-muc 12933 unknown 2941 muc 333
695.70/695.78	c iter 446 time 610.869 not-muc 12933 unknown 2940 muc 334
695.70/695.78	c iter 447 time 610.916 not-muc 12933 unknown 2939 muc 335
695.70/695.78	c iter 448 time 611.071 not-muc 12933 unknown 2938 muc 336
695.70/695.78	c iter 449 time 611.11 not-muc 12933 unknown 2937 muc 337
695.70/695.78	c iter 450 time 611.217 not-muc 12933 unknown 2936 muc 338
695.70/695.78	c iter 451 time 611.251 not-muc 12933 unknown 2935 muc 339
695.70/695.78	c iter 452 time 611.371 not-muc 12933 unknown 2934 muc 340
695.70/695.78	c iter 453 time 611.437 not-muc 12933 unknown 2933 muc 341
695.70/695.78	c iter 454 time 611.473 not-muc 12933 unknown 2932 muc 342
695.70/695.78	c iter 455 time 611.53 not-muc 12933 unknown 2931 muc 343
695.70/695.78	c iter 456 time 611.588 not-muc 12933 unknown 2930 muc 344
695.70/695.78	c iter 457 time 611.64 not-muc 12933 unknown 2929 muc 345
695.70/695.78	c iter 458 time 612.121 not-muc 12933 unknown 2928 muc 346
695.70/695.78	c iter 459 time 612.162 not-muc 12933 unknown 2927 muc 347
695.70/695.78	c iter 460 time 627.671 not-muc 12934 unknown 2926 muc 347
695.70/695.78	c iter 461 time 627.79 not-muc 12934 unknown 2925 muc 348
695.70/695.78	c iter 462 time 628.029 not-muc 12934 unknown 2924 muc 349
695.70/695.78	c iter 463 time 628.168 not-muc 12934 unknown 2923 muc 350
695.70/695.78	c iter 464 time 628.437 not-muc 12934 unknown 2922 muc 351
695.70/695.78	c iter 465 time 628.686 not-muc 12934 unknown 2921 muc 352
695.70/695.78	c iter 466 time 628.8 not-muc 12934 unknown 2920 muc 353
695.70/695.78	c iter 467 time 628.926 not-muc 12934 unknown 2919 muc 354
695.70/695.78	c iter 468 time 639.233 not-muc 12936 unknown 2917 muc 354
695.70/695.78	c iter 469 time 639.599 not-muc 12936 unknown 2916 muc 355
695.70/695.78	c iter 470 time 639.788 not-muc 12936 unknown 2915 muc 356
695.70/695.78	c iter 471 time 647.661 not-muc 12937 unknown 2914 muc 356
695.70/695.78	c iter 472 time 648.075 not-muc 12937 unknown 2913 muc 357
695.70/695.78	c iter 473 time 648.115 not-muc 12937 unknown 2912 muc 358
695.70/695.78	c iter 474 time 648.149 not-muc 12937 unknown 2911 muc 359
695.70/695.78	c iter 475 time 662.606 not-muc 12942 unknown 2906 muc 359
695.70/695.78	c iter 476 time 662.838 not-muc 12942 unknown 2905 muc 360
695.70/695.78	c iter 477 time 673.356 not-muc 12943 unknown 2904 muc 360
695.70/695.78	c iter 478 time 673.579 not-muc 12943 unknown 2903 muc 361
695.70/695.78	c iter 479 time 673.652 not-muc 12943 unknown 2902 muc 362
695.70/695.78	c iter 480 time 673.775 not-muc 12943 unknown 2901 muc 363
695.70/695.78	c iter 481 time 673.893 not-muc 12943 unknown 2900 muc 364
695.70/695.78	c iter 482 time 673.972 not-muc 12943 unknown 2899 muc 365
695.70/695.78	c iter 483 time 682.623 not-muc 12945 unknown 2897 muc 365
695.70/695.78	c iter 484 time 689.275 not-muc 12947 unknown 2895 muc 365
695.70/695.78	c iter 485 time 689.433 not-muc 12947 unknown 2894 muc 366
695.70/695.78	c iter 486 time 693.985 not-muc 12951 unknown 2890 muc 366
695.70/695.78	c iter 487 time 694.141 not-muc 12951 unknown 2889 muc 367
695.70/695.78	c iter 488 time 694.214 not-muc 12951 unknown 2888 muc 368
695.70/695.78	c iter 489 time 694.332 not-muc 12951 unknown 2887 muc 369
695.70/695.78	c iter 490 time 694.374 not-muc 12951 unknown 2886 muc 370
695.70/695.78	c iter 491 time 694.442 not-muc 12951 unknown 2885 muc 371
851.60/851.69	c iter 492 time 694.537 not-muc 12951 unknown 2884 muc 372
851.60/851.69	c iter 493 time 701.452 not-muc 12952 unknown 2883 muc 372
851.60/851.69	c iter 494 time 701.664 not-muc 12952 unknown 2882 muc 373
851.60/851.69	c iter 495 time 701.746 not-muc 12952 unknown 2881 muc 374
851.60/851.69	c iter 496 time 701.999 not-muc 12952 unknown 2880 muc 375
851.60/851.69	c iter 497 time 702.166 not-muc 12952 unknown 2879 muc 376
851.60/851.69	c iter 498 time 702.33 not-muc 12952 unknown 2878 muc 377
851.60/851.69	c iter 499 time 702.406 not-muc 12952 unknown 2877 muc 378
851.60/851.69	c iter 500 time 702.528 not-muc 12952 unknown 2876 muc 379
851.60/851.69	c iter 501 time 702.716 not-muc 12952 unknown 2875 muc 380
851.60/851.69	c iter 502 time 702.866 not-muc 12952 unknown 2874 muc 381
851.60/851.69	c iter 503 time 702.942 not-muc 12952 unknown 2873 muc 382
851.60/851.69	c iter 504 time 703.044 not-muc 12952 unknown 2872 muc 383
851.60/851.69	c iter 505 time 703.163 not-muc 12952 unknown 2871 muc 384
851.60/851.69	c iter 506 time 714.322 not-muc 12953 unknown 2870 muc 384
851.60/851.69	c iter 507 time 714.614 not-muc 12953 unknown 2869 muc 385
851.60/851.69	c iter 508 time 714.697 not-muc 12953 unknown 2868 muc 386
851.60/851.69	c iter 509 time 714.842 not-muc 12953 unknown 2867 muc 387
851.60/851.69	c iter 510 time 728.259 not-muc 12954 unknown 2866 muc 387
851.60/851.69	c iter 511 time 728.538 not-muc 12954 unknown 2865 muc 388
851.60/851.69	c iter 512 time 728.744 not-muc 12954 unknown 2864 muc 389
851.60/851.69	c iter 513 time 728.926 not-muc 12954 unknown 2863 muc 390
851.60/851.69	c iter 514 time 729.032 not-muc 12954 unknown 2862 muc 391
851.60/851.69	c iter 515 time 729.258 not-muc 12954 unknown 2861 muc 392
851.60/851.69	c iter 516 time 729.326 not-muc 12954 unknown 2860 muc 393
851.60/851.69	c iter 517 time 736.983 not-muc 12959 unknown 2855 muc 393
851.60/851.69	c iter 518 time 737.274 not-muc 12959 unknown 2854 muc 394
851.60/851.69	c iter 519 time 737.466 not-muc 12959 unknown 2853 muc 395
851.60/851.69	c iter 520 time 737.65 not-muc 12959 unknown 2852 muc 396
851.60/851.69	c iter 521 time 737.737 not-muc 12959 unknown 2851 muc 397
851.60/851.69	c iter 522 time 737.869 not-muc 12959 unknown 2850 muc 398
851.60/851.69	c iter 523 time 744.559 not-muc 12963 unknown 2846 muc 398
851.60/851.69	c iter 524 time 744.747 not-muc 12963 unknown 2845 muc 399
851.60/851.69	c iter 525 time 744.797 not-muc 12963 unknown 2844 muc 400
851.60/851.69	c iter 526 time 752.912 not-muc 12965 unknown 2842 muc 400
851.60/851.69	c iter 527 time 777.904 not-muc 12968 unknown 2839 muc 400
851.60/851.69	c iter 528 time 778.16 not-muc 12968 unknown 2838 muc 401
851.60/851.69	c iter 529 time 778.277 not-muc 12968 unknown 2837 muc 402
851.60/851.69	c iter 530 time 778.668 not-muc 12968 unknown 2836 muc 403
851.60/851.69	c iter 531 time 778.745 not-muc 12968 unknown 2835 muc 404
851.60/851.69	c iter 532 time 778.952 not-muc 12968 unknown 2834 muc 405
851.60/851.69	c iter 533 time 779.018 not-muc 12968 unknown 2833 muc 406
851.60/851.69	c iter 534 time 779.107 not-muc 12968 unknown 2832 muc 407
851.60/851.69	c iter 535 time 779.369 not-muc 12968 unknown 2831 muc 408
851.60/851.69	c iter 536 time 779.437 not-muc 12968 unknown 2830 muc 409
851.60/851.69	c iter 537 time 779.625 not-muc 12968 unknown 2829 muc 410
851.60/851.69	c iter 538 time 788.432 not-muc 12971 unknown 2826 muc 410
851.60/851.69	c iter 539 time 811.436 not-muc 12972 unknown 2825 muc 410
851.60/851.69	c iter 540 time 823.745 not-muc 12975 unknown 2822 muc 410
851.60/851.69	c iter 541 time 824.274 not-muc 12975 unknown 2821 muc 411
851.60/851.69	c iter 542 time 824.461 not-muc 12975 unknown 2820 muc 412
851.60/851.69	c iter 543 time 824.543 not-muc 12975 unknown 2819 muc 413
851.60/851.69	c iter 544 time 839.169 not-muc 12981 unknown 2813 muc 413
851.60/851.69	c iter 545 time 847.137 not-muc 12996 unknown 2798 muc 413
851.60/851.69	c iter 546 time 847.42 not-muc 12996 unknown 2797 muc 414
851.60/851.69	c iter 547 time 847.53 not-muc 12996 unknown 2796 muc 415
851.60/851.69	c iter 548 time 847.608 not-muc 12996 unknown 2795 muc 416
851.60/851.69	c iter 549 time 847.768 not-muc 12996 unknown 2794 muc 417
851.60/851.69	c iter 550 time 847.876 not-muc 12996 unknown 2793 muc 418
851.60/851.69	c iter 551 time 847.956 not-muc 12996 unknown 2792 muc 419
851.60/851.69	c iter 552 time 848.264 not-muc 12996 unknown 2791 muc 420
851.60/851.69	c iter 553 time 848.349 not-muc 12996 unknown 2790 muc 421
851.60/851.69	c iter 554 time 848.861 not-muc 12996 unknown 2789 muc 422
851.60/851.69	c iter 555 time 848.944 not-muc 12996 unknown 2788 muc 423
851.60/851.69	c iter 556 time 849.283 not-muc 12996 unknown 2787 muc 424
851.60/851.69	c iter 557 time 849.414 not-muc 12996 unknown 2786 muc 425
851.60/851.69	c iter 558 time 849.535 not-muc 12996 unknown 2785 muc 426
851.60/851.69	c iter 559 time 849.798 not-muc 12996 unknown 2784 muc 427
851.60/851.69	c iter 560 time 849.956 not-muc 12996 unknown 2783 muc 428
851.60/851.69	c iter 561 time 850.07 not-muc 12996 unknown 2782 muc 429
960.61/960.62	c iter 562 time 850.153 not-muc 12996 unknown 2781 muc 430
960.61/960.62	c iter 563 time 850.364 not-muc 12996 unknown 2780 muc 431
960.61/960.62	c iter 564 time 850.457 not-muc 12996 unknown 2779 muc 432
960.61/960.62	c iter 565 time 850.705 not-muc 12996 unknown 2778 muc 433
960.61/960.62	c iter 566 time 850.814 not-muc 12996 unknown 2777 muc 434
960.61/960.62	c iter 567 time 851.01 not-muc 12996 unknown 2776 muc 435
960.61/960.62	c iter 568 time 851.126 not-muc 12996 unknown 2775 muc 436
960.61/960.62	c iter 569 time 851.208 not-muc 12996 unknown 2774 muc 437
960.61/960.62	c iter 570 time 851.302 not-muc 12996 unknown 2773 muc 438
960.61/960.62	c iter 571 time 851.469 not-muc 12996 unknown 2772 muc 439
960.61/960.62	c iter 572 time 851.558 not-muc 12996 unknown 2771 muc 440
960.61/960.62	c iter 573 time 851.752 not-muc 12996 unknown 2770 muc 441
960.61/960.62	c iter 574 time 851.828 not-muc 12996 unknown 2769 muc 442
960.61/960.62	c iter 575 time 851.931 not-muc 12996 unknown 2768 muc 443
960.61/960.62	c iter 576 time 852.013 not-muc 12996 unknown 2767 muc 444
960.61/960.62	c iter 577 time 852.078 not-muc 12996 unknown 2766 muc 445
960.61/960.62	c iter 578 time 852.159 not-muc 12996 unknown 2765 muc 446
960.61/960.62	c iter 579 time 864.443 not-muc 12998 unknown 2763 muc 446
960.61/960.62	c iter 580 time 864.698 not-muc 12998 unknown 2762 muc 447
960.61/960.62	c iter 581 time 864.803 not-muc 12998 unknown 2761 muc 448
960.61/960.62	c iter 582 time 874.471 not-muc 12999 unknown 2760 muc 448
960.61/960.62	c iter 583 time 874.735 not-muc 12999 unknown 2759 muc 449
960.61/960.62	c iter 584 time 874.869 not-muc 12999 unknown 2758 muc 450
960.61/960.62	c iter 585 time 875.089 not-muc 12999 unknown 2757 muc 451
960.61/960.62	c iter 586 time 885.859 not-muc 13002 unknown 2754 muc 451
960.61/960.62	c iter 587 time 901.453 not-muc 13004 unknown 2752 muc 451
960.61/960.62	c iter 588 time 901.933 not-muc 13004 unknown 2751 muc 452
960.61/960.62	c iter 589 time 902.28 not-muc 13004 unknown 2750 muc 453
960.61/960.62	c iter 590 time 918.478 not-muc 13007 unknown 2747 muc 453
960.61/960.62	c iter 591 time 918.794 not-muc 13007 unknown 2746 muc 454
960.61/960.62	c iter 592 time 918.985 not-muc 13007 unknown 2745 muc 455
960.61/960.62	c iter 593 time 930.164 not-muc 13009 unknown 2743 muc 455
960.61/960.62	c iter 594 time 940.762 not-muc 13010 unknown 2742 muc 455
960.61/960.62	c iter 595 time 941.096 not-muc 13010 unknown 2741 muc 456
960.61/960.62	c iter 596 time 953.578 not-muc 13011 unknown 2740 muc 456
960.61/960.62	c iter 597 time 953.859 not-muc 13011 unknown 2739 muc 457
960.61/960.62	c iter 598 time 954.014 not-muc 13011 unknown 2738 muc 458
960.61/960.62	c iter 599 time 954.156 not-muc 13011 unknown 2737 muc 459
960.61/960.62	c iter 600 time 954.251 not-muc 13011 unknown 2736 muc 460
960.61/960.62	c iter 601 time 954.378 not-muc 13011 unknown 2735 muc 461
960.61/960.62	c iter 602 time 954.477 not-muc 13011 unknown 2734 muc 462
960.61/960.62	c iter 603 time 954.571 not-muc 13011 unknown 2733 muc 463
960.61/960.62	c iter 604 time 954.72 not-muc 13011 unknown 2732 muc 464
960.61/960.62	c iter 605 time 954.814 not-muc 13011 unknown 2731 muc 465
960.61/960.62	c iter 606 time 954.947 not-muc 13011 unknown 2730 muc 466
960.61/960.62	c iter 607 time 955.03 not-muc 13011 unknown 2729 muc 467
960.61/960.62	c iter 608 time 955.276 not-muc 13011 unknown 2728 muc 468
960.61/960.62	c iter 609 time 955.359 not-muc 13011 unknown 2727 muc 469
960.61/960.62	c iter 610 time 955.572 not-muc 13011 unknown 2726 muc 470
960.61/960.62	c iter 611 time 956.011 not-muc 13011 unknown 2725 muc 471
960.61/960.62	c iter 612 time 956.093 not-muc 13011 unknown 2724 muc 472
960.61/960.62	c iter 613 time 956.241 not-muc 13011 unknown 2723 muc 473
960.61/960.62	c iter 614 time 956.341 not-muc 13011 unknown 2722 muc 474
960.61/960.62	c iter 615 time 956.561 not-muc 13011 unknown 2721 muc 475
960.61/960.62	c iter 616 time 956.662 not-muc 13011 unknown 2720 muc 476
960.61/960.62	c iter 617 time 956.768 not-muc 13011 unknown 2719 muc 477
960.61/960.62	c iter 618 time 956.86 not-muc 13011 unknown 2718 muc 478
960.61/960.62	c iter 619 time 956.957 not-muc 13011 unknown 2717 muc 479
960.61/960.62	c iter 620 time 957.037 not-muc 13011 unknown 2716 muc 480
960.61/960.62	c iter 621 time 957.141 not-muc 13011 unknown 2715 muc 481
960.61/960.62	c iter 622 time 957.226 not-muc 13011 unknown 2714 muc 482
960.61/960.62	c iter 623 time 957.373 not-muc 13011 unknown 2713 muc 483
960.61/960.62	c iter 624 time 957.528 not-muc 13011 unknown 2712 muc 484
960.61/960.62	c iter 625 time 957.62 not-muc 13011 unknown 2711 muc 485
960.61/960.62	c iter 626 time 957.695 not-muc 13011 unknown 2710 muc 486
960.61/960.62	c iter 627 time 958.463 not-muc 13011 unknown 2709 muc 487
960.61/960.62	c iter 628 time 958.563 not-muc 13011 unknown 2708 muc 488
960.61/960.62	c iter 629 time 958.673 not-muc 13011 unknown 2707 muc 489
960.61/960.62	c iter 630 time 958.793 not-muc 13011 unknown 2706 muc 490
1237.62/1237.64	c iter 631 time 971.706 not-muc 13013 unknown 2704 muc 490
1237.62/1237.64	c iter 632 time 971.963 not-muc 13013 unknown 2703 muc 491
1237.62/1237.64	c iter 633 time 982.939 not-muc 13014 unknown 2702 muc 491
1237.62/1237.64	c iter 634 time 994.702 not-muc 13016 unknown 2700 muc 491
1237.62/1237.64	c iter 635 time 994.955 not-muc 13016 unknown 2699 muc 492
1237.62/1237.64	c iter 636 time 995.156 not-muc 13016 unknown 2698 muc 493
1237.62/1237.64	c iter 637 time 995.256 not-muc 13016 unknown 2697 muc 494
1237.62/1237.64	c iter 638 time 995.33 not-muc 13016 unknown 2696 muc 495
1237.62/1237.64	c iter 639 time 995.45 not-muc 13016 unknown 2695 muc 496
1237.62/1237.64	c iter 640 time 995.631 not-muc 13016 unknown 2694 muc 497
1237.62/1237.64	c iter 641 time 1009.23 not-muc 13022 unknown 2688 muc 497
1237.62/1237.64	c iter 642 time 1009.53 not-muc 13022 unknown 2687 muc 498
1237.62/1237.64	c iter 643 time 1009.67 not-muc 13022 unknown 2686 muc 499
1237.62/1237.64	c iter 644 time 1009.8 not-muc 13022 unknown 2685 muc 500
1237.62/1237.64	c iter 645 time 1009.87 not-muc 13022 unknown 2684 muc 501
1237.62/1237.64	c iter 646 time 1009.95 not-muc 13022 unknown 2683 muc 502
1237.62/1237.64	c iter 647 time 1010.11 not-muc 13022 unknown 2682 muc 503
1237.62/1237.64	c iter 648 time 1010.33 not-muc 13022 unknown 2681 muc 504
1237.62/1237.64	c iter 649 time 1010.51 not-muc 13022 unknown 2680 muc 505
1237.62/1237.64	c iter 650 time 1010.63 not-muc 13022 unknown 2679 muc 506
1237.62/1237.64	c iter 651 time 1010.81 not-muc 13022 unknown 2678 muc 507
1237.62/1237.64	c iter 652 time 1010.89 not-muc 13022 unknown 2677 muc 508
1237.62/1237.64	c iter 653 time 1011.12 not-muc 13022 unknown 2676 muc 509
1237.62/1237.64	c iter 654 time 1011.23 not-muc 13022 unknown 2675 muc 510
1237.62/1237.64	c iter 655 time 1011.34 not-muc 13022 unknown 2674 muc 511
1237.62/1237.64	c iter 656 time 1011.44 not-muc 13022 unknown 2673 muc 512
1237.62/1237.64	c iter 657 time 1021.53 not-muc 13036 unknown 2659 muc 512
1237.62/1237.64	c iter 658 time 1022.08 not-muc 13036 unknown 2658 muc 513
1237.62/1237.64	c iter 659 time 1022.15 not-muc 13036 unknown 2657 muc 514
1237.62/1237.64	c iter 660 time 1022.22 not-muc 13036 unknown 2656 muc 515
1237.62/1237.64	c iter 661 time 1022.32 not-muc 13036 unknown 2655 muc 516
1237.62/1237.64	c iter 662 time 1022.5 not-muc 13036 unknown 2654 muc 517
1237.62/1237.64	c iter 663 time 1022.77 not-muc 13036 unknown 2653 muc 518
1237.62/1237.64	c iter 664 time 1023.07 not-muc 13036 unknown 2652 muc 519
1237.62/1237.64	c iter 665 time 1023.16 not-muc 13036 unknown 2651 muc 520
1237.62/1237.64	c iter 666 time 1023.24 not-muc 13036 unknown 2650 muc 521
1237.62/1237.64	c iter 667 time 1033.63 not-muc 13041 unknown 2645 muc 521
1237.62/1237.64	c iter 668 time 1033.94 not-muc 13041 unknown 2644 muc 522
1237.62/1237.64	c iter 669 time 1046.16 not-muc 13046 unknown 2639 muc 522
1237.62/1237.64	c iter 670 time 1046.41 not-muc 13046 unknown 2638 muc 523
1237.62/1237.64	c iter 671 time 1046.52 not-muc 13046 unknown 2637 muc 524
1237.62/1237.64	c iter 672 time 1046.65 not-muc 13046 unknown 2636 muc 525
1237.62/1237.64	c iter 673 time 1046.75 not-muc 13046 unknown 2635 muc 526
1237.62/1237.64	c iter 674 time 1060.31 not-muc 13048 unknown 2633 muc 526
1237.62/1237.64	c iter 675 time 1060.61 not-muc 13048 unknown 2632 muc 527
1237.62/1237.64	c iter 676 time 1060.69 not-muc 13048 unknown 2631 muc 528
1237.62/1237.64	c iter 677 time 1060.84 not-muc 13048 unknown 2630 muc 529
1237.62/1237.64	c iter 678 time 1060.97 not-muc 13048 unknown 2629 muc 530
1237.62/1237.64	c iter 679 time 1061.06 not-muc 13048 unknown 2628 muc 531
1237.62/1237.64	c iter 680 time 1061.15 not-muc 13048 unknown 2627 muc 532
1237.62/1237.64	c iter 681 time 1061.45 not-muc 13048 unknown 2626 muc 533
1237.62/1237.64	c iter 682 time 1061.59 not-muc 13048 unknown 2625 muc 534
1237.62/1237.64	c iter 683 time 1061.7 not-muc 13048 unknown 2624 muc 535
1237.62/1237.64	c iter 684 time 1061.82 not-muc 13048 unknown 2623 muc 536
1237.62/1237.64	c iter 685 time 1061.98 not-muc 13048 unknown 2622 muc 537
1237.62/1237.64	c iter 686 time 1120.15 not-muc 13050 unknown 2620 muc 537
1237.62/1237.64	c iter 687 time 1120.4 not-muc 13050 unknown 2619 muc 538
1237.62/1237.64	c iter 688 time 1120.42 not-muc 13050 unknown 2618 muc 539
1237.62/1237.64	c iter 689 time 1148.45 not-muc 13052 unknown 2616 muc 539
1237.62/1237.64	c iter 690 time 1148.83 not-muc 13052 unknown 2615 muc 540
1237.62/1237.64	c iter 691 time 1148.99 not-muc 13052 unknown 2614 muc 541
1237.62/1237.64	c iter 692 time 1149.14 not-muc 13052 unknown 2613 muc 542
1237.62/1237.64	c iter 693 time 1149.41 not-muc 13052 unknown 2612 muc 543
1237.62/1237.64	c iter 694 time 1149.68 not-muc 13052 unknown 2611 muc 544
1237.62/1237.64	c iter 695 time 1209.14 not-muc 13054 unknown 2609 muc 544
1237.62/1237.64	c iter 696 time 1209.56 not-muc 13054 unknown 2608 muc 545
1237.62/1237.64	c iter 697 time 1209.78 not-muc 13054 unknown 2607 muc 546
1237.62/1237.64	c iter 698 time 1234.66 not-muc 13055 unknown 2606 muc 546
1237.62/1237.64	c iter 699 time 1235.13 not-muc 13055 unknown 2605 muc 547
1237.62/1237.64	c iter 700 time 1235.32

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

running on 2 cores: 0,2

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.03 4.01 3.33 4/189 14989
/proc/meminfo: memFree=28671740/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=24804 CPUtime=0 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 657 0 0 0 0 0 0 0 25 0 1 0 892029394 25399296 599 33554432000 4194304 4337479 140736309871712 18446744073709551615 4321406 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 6201 600 220 35 0 2824 0

[startup+0.0486241 s]
/proc/loadavg: 4.03 4.01 3.33 4/189 14989
/proc/meminfo: memFree=28671740/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=20708 CPUtime=0.04 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 1141 0 0 0 4 0 0 0 25 0 1 0 892029394 21204992 960 33554432000 4194304 4337479 140736309871712 18446744073709551615 4278650 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 5177 960 243 35 0 1800 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 20708

[startup+0.100615 s]
/proc/loadavg: 4.03 4.01 3.33 4/189 14989
/proc/meminfo: memFree=28671740/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=21332 CPUtime=0.09 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 1213 0 0 0 9 0 0 0 25 0 1 0 892029394 21843968 1031 33554432000 4194304 4337479 140736309871712 18446744073709551615 4303143 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 5333 1031 243 35 0 1956 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21332

[startup+0.300578 s]
/proc/loadavg: 4.03 4.01 3.33 4/189 14989
/proc/meminfo: memFree=28671740/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=22764 CPUtime=0.29 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 1866 0 0 0 29 0 0 0 25 0 1 0 892029394 23310336 1680 33554432000 4194304 4337479 140736309871712 18446744073709551615 4303143 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 5691 1680 243 35 0 2314 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22764

[startup+0.700501 s]
/proc/loadavg: 4.03 4.01 3.33 4/189 14989
/proc/meminfo: memFree=28671740/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=25440 CPUtime=0.69 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 2864 0 0 0 69 0 0 0 25 0 1 0 892029394 26050560 2674 33554432000 4194304 4337479 140736309871712 18446744073709551615 4303184 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 6360 2674 244 35 0 2983 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25440

[startup+1.50032 s]
/proc/loadavg: 4.03 4.01 3.34 5/190 14990
/proc/meminfo: memFree=28655636/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=33412 CPUtime=1.49 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 4793 0 0 0 148 1 0 0 25 0 1 0 892029394 34213888 4577 33554432000 4194304 4337479 140736309871712 18446744073709551615 4303249 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 8353 4577 244 35 0 4976 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33412

[startup+3.10105 s]
/proc/loadavg: 4.03 4.01 3.34 5/190 14990
/proc/meminfo: memFree=28638896/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=52244 CPUtime=3.09 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 8098 0 0 0 308 1 0 0 25 0 1 0 892029394 53497856 7862 33554432000 4194304 4337479 140736309871712 18446744073709551615 4303415 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 13061 7862 244 35 0 9684 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52244

[startup+6.30044 s]
/proc/loadavg: 4.03 4.01 3.34 5/190 14990
/proc/meminfo: memFree=28597588/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=77876 CPUtime=6.29 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 14818 0 0 0 626 3 0 0 25 0 1 0 892029394 79745024 14506 33554432000 4194304 4337479 140736309871712 18446744073709551615 4258524 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 19469 14506 264 35 0 16092 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 77876

[startup+12.7002 s]
/proc/loadavg: 4.03 4.01 3.34 5/190 14990
/proc/meminfo: memFree=28531624/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=126932 CPUtime=12.69 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 24763 0 0 0 1264 5 0 0 25 0 1 0 892029394 129978368 24265 33554432000 4194304 4337479 140736309871712 18446744073709551615 4303235 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 31733 24265 265 35 0 28356 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 126932

[startup+25.5008 s]
/proc/loadavg: 4.02 4.01 3.35 5/190 14990
/proc/meminfo: memFree=28426960/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=191276 CPUtime=25.49 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 40583 0 0 0 2540 9 0 0 25 0 1 0 892029394 195866624 39641 33554432000 4194304 4337479 140736309871712 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 47819 39641 265 35 0 44442 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 191276

[startup+51.101 s]
/proc/loadavg: 4.01 4.00 3.37 5/190 14991
/proc/meminfo: memFree=28217736/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=327320 CPUtime=51.09 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 72257 0 0 0 5096 13 0 0 25 0 1 0 892029394 335175680 71154 33554432000 4194304 4337479 140736309871712 18446744073709551615 4303143 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 81830 71154 265 35 0 78453 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 327320

[startup+102.306 s]
/proc/loadavg: 4.00 4.00 3.40 5/190 14992
/proc/meminfo: memFree=27784424/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=602960 CPUtime=102.29 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 136156 0 0 0 10207 22 0 0 25 0 1 0 892029394 617431040 135042 33554432000 4194304 4337479 140736309871712 18446744073709551615 4303356 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 150740 135042 265 35 0 147363 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 602960

[startup+162.301 s]
/proc/loadavg: 4.00 4.00 3.44 5/190 14994
/proc/meminfo: memFree=27261804/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=959056 CPUtime=162.3 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 219914 0 0 0 16196 34 0 0 25 0 1 0 892029394 982073344 218800 33554432000 4194304 4337479 140736309871712 18446744073709551615 4278666 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 239764 218800 265 35 0 236387 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 959056

[startup+222.301 s]
/proc/loadavg: 4.00 4.00 3.47 5/190 15005
/proc/meminfo: memFree=26783812/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=1307272 CPUtime=222.29 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 298022 0 0 0 22184 45 0 0 25 0 1 0 892029394 1338646528 296908 33554432000 4194304 4337479 140736309871712 18446744073709551615 4303204 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 326818 296908 265 35 0 323441 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1307272

[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.50 5/190 15006
/proc/meminfo: memFree=26319364/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=1676876 CPUtime=282.3 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 379133 0 0 0 28172 58 0 0 25 0 1 0 892029394 1717121024 376929 33554432000 4194304 4337479 140736309871712 18446744073709551615 4278552 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 419219 376929 265 35 0 415842 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1676876

[startup+342.301 s]
/proc/loadavg: 4.00 4.00 3.53 5/190 15086
/proc/meminfo: memFree=26155496/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=1945708 CPUtime=342.3 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 444823 0 0 0 34162 68 0 0 25 0 1 0 892029394 1992404992 442619 33554432000 4194304 4337479 140736309871712 18446744073709551615 4280261 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 486427 442619 265 35 0 483050 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1945708

[startup+402.301 s]
/proc/loadavg: 4.00 4.00 3.55 5/190 15088
/proc/meminfo: memFree=25560828/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=2323132 CPUtime=402.3 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 532617 0 0 0 40150 80 0 0 25 0 1 0 892029394 2378887168 530413 33554432000 4194304 4337479 140736309871712 18446744073709551615 4303503 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 580783 530414 265 35 0 577406 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2323132

[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.58 5/190 15242
/proc/meminfo: memFree=25056304/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=2663144 CPUtime=462.3 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 607904 0 0 0 46139 91 0 0 25 0 1 0 892029394 2727059456 605700 33554432000 4194304 4337479 140736309871712 18446744073709551615 4303184 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 665786 605700 265 35 0 662409 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2663144

[startup+522.301 s]
/proc/loadavg: 4.04 4.01 3.61 5/190 15358
/proc/meminfo: memFree=24714188/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=2957044 CPUtime=522.31 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 677129 0 0 0 52128 103 0 0 25 0 1 0 892029394 3028013056 674925 33554432000 4194304 4337479 140736309871712 18446744073709551615 4303744 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 739261 674925 265 35 0 735884 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2957044

[startup+582.301 s]
/proc/loadavg: 4.01 4.01 3.63 5/190 15397
/proc/meminfo: memFree=24252576/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=3246844 CPUtime=582.3 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 749869 0 0 0 58118 112 0 0 25 0 1 0 892029394 3324768256 745744 33554432000 4194304 4337479 140736309871712 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 811711 745744 265 35 0 808334 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 3246844

[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.65 5/190 15399
/proc/meminfo: memFree=23786608/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=3648540 CPUtime=642.31 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 826476 0 0 0 64107 124 0 0 25 0 1 0 892029394 3736104960 822351 33554432000 4194304 4337479 140736309871712 18446744073709551615 4320694 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 912135 822351 265 35 0 908758 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 3648540

[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.67 5/190 15438
/proc/meminfo: memFree=23391492/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=3955884 CPUtime=702.3 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 900370 0 0 0 70093 137 0 0 25 0 1 0 892029394 4050825216 894143 33554432000 4194304 4337479 140736309871712 18446744073709551615 4288532 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 988971 894143 265 35 0 985594 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 3955884

[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.68 5/190 15478
/proc/meminfo: memFree=22912928/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=4234752 CPUtime=762.31 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 969780 0 0 0 76084 147 0 0 25 0 1 0 892029394 4336386048 963553 33554432000 4194304 4337479 140736309871712 18446744073709551615 4303211 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 1058688 963553 265 35 0 1055311 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 4234752

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.70 5/190 15480
/proc/meminfo: memFree=22463960/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=4517724 CPUtime=822.31 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 1043042 0 0 0 82072 159 0 0 25 0 1 0 892029394 4626149376 1036815 33554432000 4194304 4337479 140736309871712 18446744073709551615 4282104 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 1129431 1036815 265 35 0 1126054 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 4517724

[startup+882.301 s]
/proc/loadavg: 3.65 3.92 3.69 4/184 15505
/proc/meminfo: memFree=23171244/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=4810952 CPUtime=882.31 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 1108944 0 0 0 88061 170 0 0 25 0 1 0 892029394 4926414848 1102717 33554432000 4194304 4337479 140736309871712 18446744073709551615 4303211 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 1202738 1102717 265 35 0 1199361 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 4810952

[startup+942.301 s]
/proc/loadavg: 3.30 3.76 3.65 4/184 15507
/proc/meminfo: memFree=22721440/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=5231700 CPUtime=942.31 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 1184894 0 0 0 94050 181 0 0 25 0 1 0 892029394 5357260800 1175653 33554432000 4194304 4337479 140736309871712 18446744073709551615 4288804 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 1307925 1175653 265 35 0 1304548 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 5231700

[startup+1002.3 s]
/proc/loadavg: 3.11 3.62 3.61 4/184 15508
/proc/meminfo: memFree=22314928/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=5503400 CPUtime=1002.31 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 1250894 0 0 0 100038 193 0 0 25 0 1 0 892029394 5635481600 1241653 33554432000 4194304 4337479 140736309871712 18446744073709551615 4258694 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 1375850 1241653 265 35 0 1372473 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 5503400

[startup+1062.3 s]
/proc/loadavg: 2.41 3.32 3.50 3/178 15534
/proc/meminfo: memFree=21976116/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=5798676 CPUtime=1062.31 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 1326997 0 0 0 106027 204 0 0 25 0 1 0 892029394 5937844224 1310404 33554432000 4194304 4337479 140736309871712 18446744073709551615 212435673050 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 1449669 1310404 265 35 0 1446292 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 5798676

[startup+1122.3 s]
/proc/loadavg: 2.15 3.08 3.41 3/178 15536
/proc/meminfo: memFree=21595524/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=6025264 CPUtime=1122.31 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 1386299 0 0 0 112017 214 0 0 25 0 1 0 892029394 6169870336 1369706 33554432000 4194304 4337479 140736309871712 18446744073709551615 4259919 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 1506316 1369706 265 35 0 1502939 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 6025264

[startup+1182.3 s]
/proc/loadavg: 2.05 2.88 3.32 3/178 15537
/proc/meminfo: memFree=21147100/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=6380880 CPUtime=1182.32 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 1467538 0 0 0 118006 226 0 0 25 0 1 0 892029394 6534021120 1450945 33554432000 4194304 4337479 140736309871712 18446744073709551615 4303461 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 1595220 1450945 265 35 0 1591843 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 6380880

[startup+1242.3 s]
/proc/loadavg: 2.02 2.72 3.23 3/178 15539
/proc/meminfo: memFree=20760920/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=6583884 CPUtime=1242.31 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 1526199 0 0 0 123996 235 0 0 25 0 1 0 892029394 6741897216 1509606 33554432000 4194304 4337479 140736309871712 18446744073709551615 4282003 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 1645971 1509606 265 35 0 1642594 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 6583884

[startup+1302.3 s]
/proc/loadavg: 1.48 2.44 3.10 2/172 15565
/proc/meminfo: memFree=25172624/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=6842252 CPUtime=1302.32 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 1594911 0 0 0 129986 246 0 0 25 0 1 0 892029394 7006466048 1578318 33554432000 4194304 4337479 140736309871712 18446744073709551615 4278524 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 1710563 1578318 265 35 0 1707186 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 6842252

[startup+1362.3 s]
/proc/loadavg: 1.17 2.18 2.97 2/172 15567
/proc/meminfo: memFree=24930296/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=7149840 CPUtime=1362.32 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 1655722 0 0 0 135975 257 0 0 25 0 1 0 892029394 7321436160 1639129 33554432000 4194304 4337479 140736309871712 18446744073709551615 4304539 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 1787460 1639129 265 35 0 1784083 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 7149840

[startup+1422.31 s]
/proc/loadavg: 1.06 1.96 2.84 2/172 15569
/proc/meminfo: memFree=24658448/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=7494208 CPUtime=1422.33 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 1723317 0 0 0 141966 267 0 0 25 0 1 0 892029394 7674068992 1706724 33554432000 4194304 4337479 140736309871712 18446744073709551615 4303107 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 1873552 1706724 265 35 0 1870175 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 7494208



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1465.8 s]
/proc/loadavg: 1.03 1.82 2.75 2/172 15570
/proc/meminfo: memFree=24482820/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=7873108 CPUtime=1465.83 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4202496 1767085 0 0 0 146308 275 0 0 25 0 1 0 892029394 8062062592 1750492 33554432000 4194304 4337479 140736309871712 18446744073709551615 4303474 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/14989/statm: 1968277 1750492 267 35 0 1964900 0
Current children cumulated CPU time (s) 1465.83
Current children cumulated vsize (KiB) 7873108

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

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

[startup+1466 s]
/proc/loadavg: 1.03 1.82 2.75 2/172 15570
/proc/meminfo: memFree=24482820/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=0 CPUtime=1466.03 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4203524 1767086 0 0 0 146308 295 0 0 25 0 1 0 892029394 0 0 33554432000 0 0 0 0 0 0 0 4096 8388610 18446744073709551615 0 0 17 0 0 0 0
/proc/14989/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1466.03
Current children cumulated vsize (KiB) 0

[startup+1466.1 s]
/proc/loadavg: 1.03 1.82 2.75 2/172 15570
/proc/meminfo: memFree=24482820/32951124 swapFree=67050520/67111528
[pid=14989] ppid=14987 vsize=0 CPUtime=1466.13 cores=0,2
/proc/14989/stat : 14989 (hmuc) R 14987 14989 14141 0 -1 4203524 1767086 0 0 0 146308 305 0 0 25 0 1 0 892029394 0 0 33554432000 0 0 0 0 0 0 0 4096 8388610 18446744073709551615 0 0 17 0 0 0 0
/proc/14989/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1466.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1466.16
CPU time (s): 1466.2
CPU user time (s): 1463.08
CPU system time (s): 3.11553
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 7873108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1463.08
system time used= 3.11553
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1767086
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= 9
involuntary context switches= 17007

runsolver used 2.36964 second user time and 5.16821 second system time

The end

Launcher Data 

Begin job on node102 at 2011-06-11 16:57:50
IDJOB=3494472
IDBENCH=88072
IDSOLVER=1985
FILE ID=node102/3494472-1307804270
RUNJOBID= node102-1307802577-14160
PBS_JOBID= 13551074
Free space on /tmp= 74140 MiB

SOLVER NAME= Haifa-MUC 2011-04-07
BENCH NAME= SAT02/industrial/biere/dinphil/dp09u08.shuffled.cnf
COMMAND LINE= HOME/hmuc BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494472-1307804270/watcher-3494472-1307804270 -o /tmp/evaluation-result-3494472-1307804270/solver-3494472-1307804270 -C 1800 -W 1850 -M 7680  HOME/hmuc HOME/instance-3494472-1307804270.cnf

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

MD5SUM BENCH= 6b942b91b984614b2486ef59f1f9cebb
RANDOM SEED=2119874462

node102.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.828
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.65
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.828
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	: 5226.15
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.828
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.82
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.828
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.828
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.82
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.828
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.75
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.828
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.828
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:      28672284 kB
Buffers:        292348 kB
Cached:         910064 kB
SwapCached:      25172 kB
Active:        3351568 kB
Inactive:       714196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28672284 kB
SwapTotal:    67111528 kB
SwapFree:     67050520 kB
Dirty:            1188 kB
Writeback:           4 kB
AnonPages:     2860644 kB
Mapped:           9728 kB
Slab:           141936 kB
PageTables:      11016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  3220888 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74140 MiB
End job on node102 at 2011-06-11 17:22:18