Trace number 3493955

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.06 1800.21

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F15.cnf
MD5SUM2f0f06d695c1977edc3fba0ba8753984
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark496.525
Satisfiable
(Un)Satisfiability was proved
Number of variables4740
Number of clauses37893
Sum of the clauses size149173
Maximum clause length28
Minimum clause length1
Number of clauses of size 112
Number of clauses of size 212041
Number of clauses of size 38998
Number of clauses of size 43795
Number of clauses of size 55970
Number of clauses of size over 57077

Solver Data 

47.59/47.68	c WARNING: for repeatability, setting FPU to use double precision
47.59/47.68	c iter 1 time 7.53085 not-muc 32075 unknown 5818 muc 0
47.59/47.68	c iter 2 time 7.62884 not-muc 32075 unknown 5817 muc 1
47.59/47.68	c iter 3 time 10.2414 not-muc 32589 unknown 5303 muc 1
47.59/47.68	c iter 4 time 12.5481 not-muc 32857 unknown 5035 muc 1
47.59/47.68	c iter 5 time 12.839 not-muc 32883 unknown 5009 muc 1
47.59/47.68	c iter 6 time 12.867 not-muc 32884 unknown 5008 muc 1
47.59/47.68	c iter 7 time 13.155 not-muc 32887 unknown 5005 muc 1
47.59/47.68	c iter 8 time 13.341 not-muc 32895 unknown 4997 muc 1
47.59/47.68	c iter 9 time 13.398 not-muc 32899 unknown 4993 muc 1
47.59/47.68	c iter 10 time 13.4789 not-muc 32901 unknown 4991 muc 1
47.59/47.68	c iter 11 time 14.1678 not-muc 32915 unknown 4977 muc 1
47.59/47.68	c iter 12 time 15.7326 not-muc 33042 unknown 4850 muc 1
47.59/47.68	c iter 13 time 16.5535 not-muc 33102 unknown 4790 muc 1
47.59/47.68	c iter 14 time 16.5875 not-muc 33102 unknown 4789 muc 2
47.59/47.68	c iter 15 time 17.1764 not-muc 33128 unknown 4763 muc 2
47.59/47.68	c iter 16 time 17.2964 not-muc 33133 unknown 4758 muc 2
47.59/47.68	c iter 17 time 17.6083 not-muc 33139 unknown 4752 muc 2
47.59/47.68	c iter 18 time 19.1681 not-muc 33226 unknown 4665 muc 2
47.59/47.68	c iter 19 time 19.726 not-muc 33241 unknown 4650 muc 2
47.59/47.68	c iter 20 time 19.833 not-muc 33244 unknown 4647 muc 2
47.59/47.68	c iter 21 time 19.935 not-muc 33247 unknown 4644 muc 2
47.59/47.68	c iter 22 time 19.99 not-muc 33249 unknown 4642 muc 2
47.59/47.68	c iter 23 time 20.1599 not-muc 33251 unknown 4640 muc 2
47.59/47.68	c iter 24 time 20.3259 not-muc 33256 unknown 4635 muc 2
47.59/47.68	c iter 25 time 20.7508 not-muc 33260 unknown 4631 muc 2
47.59/47.68	c iter 26 time 20.9318 not-muc 33262 unknown 4629 muc 2
47.59/47.68	c iter 27 time 22.3396 not-muc 33318 unknown 4573 muc 2
47.59/47.68	c iter 28 time 22.8985 not-muc 33337 unknown 4554 muc 2
47.59/47.68	c iter 29 time 23.4394 not-muc 33343 unknown 4548 muc 2
47.59/47.68	c iter 30 time 23.6234 not-muc 33346 unknown 4545 muc 2
47.59/47.68	c iter 31 time 23.8004 not-muc 33347 unknown 4544 muc 2
47.59/47.68	c iter 32 time 24.0563 not-muc 33347 unknown 4543 muc 3
47.59/47.68	c iter 33 time 24.5183 not-muc 33353 unknown 4537 muc 3
47.59/47.68	c iter 34 time 26.477 not-muc 33384 unknown 4506 muc 3
47.59/47.68	c iter 35 time 26.634 not-muc 33385 unknown 4505 muc 3
47.59/47.68	c iter 36 time 27.6138 not-muc 33388 unknown 4502 muc 3
47.59/47.68	c iter 37 time 27.6928 not-muc 33388 unknown 4501 muc 4
47.59/47.68	c iter 38 time 29.5615 not-muc 33419 unknown 4470 muc 4
47.59/47.68	c iter 39 time 30.4064 not-muc 33425 unknown 4464 muc 4
47.59/47.68	c iter 40 time 30.4094 not-muc 33425 unknown 4463 muc 5
47.59/47.68	c iter 41 time 30.7293 not-muc 33427 unknown 4461 muc 5
47.59/47.68	c iter 42 time 30.7353 not-muc 33427 unknown 4460 muc 6
47.59/47.68	c iter 43 time 30.7513 not-muc 33427 unknown 4459 muc 7
47.59/47.68	c iter 44 time 31.0533 not-muc 33443 unknown 4443 muc 7
47.59/47.68	c iter 45 time 31.0743 not-muc 33443 unknown 4442 muc 8
47.59/47.68	c iter 46 time 32.769 not-muc 33459 unknown 4426 muc 8
47.59/47.68	c iter 47 time 32.794 not-muc 33459 unknown 4425 muc 9
47.59/47.68	c iter 48 time 33.5729 not-muc 33466 unknown 4418 muc 9
47.59/47.68	c iter 49 time 33.5979 not-muc 33466 unknown 4417 muc 10
47.59/47.68	c iter 50 time 33.7129 not-muc 33469 unknown 4414 muc 10
47.59/47.68	c iter 51 time 33.9458 not-muc 33472 unknown 4411 muc 10
47.59/47.68	c iter 52 time 34.0228 not-muc 33472 unknown 4410 muc 11
47.59/47.68	c iter 53 time 34.1888 not-muc 33473 unknown 4409 muc 11
47.59/47.68	c iter 54 time 34.2088 not-muc 33473 unknown 4408 muc 12
47.59/47.68	c iter 55 time 36.2205 not-muc 33493 unknown 4388 muc 12
47.59/47.68	c iter 56 time 36.9444 not-muc 33498 unknown 4383 muc 12
47.59/47.68	c iter 57 time 37.3483 not-muc 33498 unknown 4382 muc 13
47.59/47.68	c iter 58 time 39.313 not-muc 33503 unknown 4377 muc 13
47.59/47.68	c iter 59 time 39.8679 not-muc 33503 unknown 4376 muc 14
47.59/47.68	c iter 60 time 40.5988 not-muc 33512 unknown 4367 muc 14
47.59/47.68	c iter 61 time 40.6138 not-muc 33512 unknown 4366 muc 15
47.59/47.68	c iter 62 time 40.6618 not-muc 33512 unknown 4365 muc 16
47.59/47.68	c iter 63 time 40.9738 not-muc 33512 unknown 4364 muc 17
47.59/47.68	c iter 64 time 41.1577 not-muc 33512 unknown 4363 muc 18
47.59/47.68	c iter 65 time 42.9475 not-muc 33517 unknown 4358 muc 18
47.59/47.68	c iter 66 time 43.0485 not-muc 33517 unknown 4357 muc 19
47.59/47.68	c iter 67 time 43.2874 not-muc 33517 unknown 4356 muc 20
47.59/47.68	c iter 68 time 44.0563 not-muc 33521 unknown 4352 muc 20
47.59/47.68	c iter 69 time 44.0973 not-muc 33521 unknown 4351 muc 21
47.59/47.68	c iter 70 time 46.104 not-muc 33527 unknown 4345 muc 21
47.59/47.68	c iter 71 time 46.133 not-muc 33527 unknown 4344 muc 22
47.59/47.68	c iter 72 time 47.1298 not-muc 33538 unknown 4333 muc 22
80.09/80.15	c iter 73 time 47.2168 not-muc 33538 unknown 4332 muc 23
80.09/80.15	c iter 74 time 48.8826 not-muc 33547 unknown 4323 muc 23
80.09/80.15	c iter 75 time 48.9166 not-muc 33547 unknown 4322 muc 24
80.09/80.15	c iter 76 time 49.1355 not-muc 33547 unknown 4321 muc 25
80.09/80.15	c iter 77 time 49.5985 not-muc 33548 unknown 4320 muc 25
80.09/80.15	c iter 78 time 50.4793 not-muc 33551 unknown 4317 muc 25
80.09/80.15	c iter 79 time 52.1631 not-muc 33562 unknown 4306 muc 25
80.09/80.15	c iter 80 time 52.649 not-muc 33565 unknown 4303 muc 25
80.09/80.15	c iter 81 time 53.4899 not-muc 33567 unknown 4301 muc 25
80.09/80.15	c iter 82 time 53.7688 not-muc 33573 unknown 4295 muc 25
80.09/80.15	c iter 83 time 55.2906 not-muc 33580 unknown 4288 muc 25
80.09/80.15	c iter 84 time 55.9985 not-muc 33582 unknown 4286 muc 25
80.09/80.15	c iter 85 time 56.4774 not-muc 33584 unknown 4284 muc 25
80.09/80.15	c iter 86 time 56.7194 not-muc 33586 unknown 4282 muc 25
80.09/80.15	c iter 87 time 58.2981 not-muc 33591 unknown 4277 muc 25
80.09/80.15	c iter 88 time 58.7441 not-muc 33594 unknown 4274 muc 25
80.09/80.15	c iter 89 time 58.941 not-muc 33596 unknown 4272 muc 25
80.09/80.15	c iter 90 time 59.006 not-muc 33598 unknown 4270 muc 25
80.09/80.15	c iter 91 time 59.287 not-muc 33603 unknown 4265 muc 25
80.09/80.15	c iter 92 time 59.381 not-muc 33606 unknown 4262 muc 25
80.09/80.15	c iter 93 time 59.423 not-muc 33608 unknown 4260 muc 25
80.09/80.15	c iter 94 time 59.8359 not-muc 33611 unknown 4257 muc 25
80.09/80.15	c iter 95 time 59.9439 not-muc 33612 unknown 4256 muc 25
80.09/80.15	c iter 96 time 61.6706 not-muc 33613 unknown 4255 muc 25
80.09/80.15	c iter 97 time 62.4835 not-muc 33615 unknown 4253 muc 25
80.09/80.15	c iter 98 time 62.7505 not-muc 33618 unknown 4250 muc 25
80.09/80.15	c iter 99 time 62.9754 not-muc 33619 unknown 4249 muc 25
80.09/80.15	c iter 100 time 63.1774 not-muc 33622 unknown 4246 muc 25
80.09/80.15	c iter 101 time 64.9661 not-muc 33623 unknown 4245 muc 25
80.09/80.15	c iter 102 time 65.934 not-muc 33629 unknown 4239 muc 25
80.09/80.15	c iter 103 time 68.1886 not-muc 33631 unknown 4237 muc 25
80.09/80.15	c iter 104 time 68.9345 not-muc 33632 unknown 4236 muc 25
80.09/80.15	c iter 105 time 68.9935 not-muc 33633 unknown 4235 muc 25
80.09/80.15	c iter 106 time 69.5734 not-muc 33636 unknown 4232 muc 25
80.09/80.15	c iter 107 time 69.6624 not-muc 33637 unknown 4231 muc 25
80.09/80.15	c iter 108 time 69.6804 not-muc 33637 unknown 4230 muc 26
80.09/80.15	c iter 109 time 69.7994 not-muc 33637 unknown 4229 muc 27
80.09/80.15	c iter 110 time 70.6273 not-muc 33637 unknown 4228 muc 28
80.09/80.15	c iter 111 time 70.6503 not-muc 33637 unknown 4227 muc 29
80.09/80.15	c iter 112 time 70.6993 not-muc 33637 unknown 4226 muc 30
80.09/80.15	c iter 113 time 70.7023 not-muc 33637 unknown 4225 muc 31
80.09/80.15	c iter 114 time 70.7053 not-muc 33637 unknown 4224 muc 32
80.09/80.15	c iter 115 time 72.099 not-muc 33639 unknown 4222 muc 32
80.09/80.15	c iter 116 time 72.379 not-muc 33639 unknown 4221 muc 33
80.09/80.15	c iter 117 time 72.383 not-muc 33639 unknown 4220 muc 34
80.09/80.15	c iter 118 time 72.387 not-muc 33639 unknown 4219 muc 35
80.09/80.15	c iter 119 time 72.391 not-muc 33639 unknown 4218 muc 36
80.09/80.15	c iter 120 time 72.395 not-muc 33639 unknown 4217 muc 37
80.09/80.15	c iter 121 time 73.1849 not-muc 33642 unknown 4214 muc 37
80.09/80.15	c iter 122 time 74.9196 not-muc 33646 unknown 4210 muc 37
80.09/80.15	c iter 123 time 74.9286 not-muc 33646 unknown 4209 muc 38
80.09/80.15	c iter 124 time 75.7605 not-muc 33648 unknown 4207 muc 38
80.09/80.15	c iter 125 time 76.1604 not-muc 33649 unknown 4206 muc 38
80.09/80.15	c iter 126 time 76.1854 not-muc 33649 unknown 4205 muc 39
80.09/80.15	c iter 127 time 76.1994 not-muc 33649 unknown 4204 muc 40
80.09/80.15	c iter 128 time 76.4064 not-muc 33649 unknown 4203 muc 41
80.09/80.15	c iter 129 time 77.9052 not-muc 33655 unknown 4197 muc 41
80.09/80.15	c iter 130 time 77.9451 not-muc 33655 unknown 4196 muc 42
80.09/80.15	c iter 131 time 77.9561 not-muc 33655 unknown 4195 muc 43
80.09/80.15	c iter 132 time 78.1251 not-muc 33655 unknown 4194 muc 44
80.09/80.15	c iter 133 time 78.1311 not-muc 33655 unknown 4193 muc 45
80.09/80.15	c iter 134 time 78.1401 not-muc 33655 unknown 4192 muc 46
80.09/80.15	c iter 135 time 78.716 not-muc 33680 unknown 4167 muc 46
80.09/80.15	c iter 136 time 78.789 not-muc 33680 unknown 4166 muc 47
80.09/80.15	c iter 137 time 78.889 not-muc 33680 unknown 4165 muc 48
80.09/80.15	c iter 138 time 78.929 not-muc 33680 unknown 4164 muc 49
80.09/80.15	c iter 139 time 78.961 not-muc 33680 unknown 4163 muc 50
80.09/80.15	c iter 140 time 79.3099 not-muc 33682 unknown 4161 muc 50
80.09/80.15	c iter 141 time 79.3189 not-muc 33682 unknown 4160 muc 51
80.09/80.15	c iter 142 time 79.3239 not-muc 33682 unknown 4159 muc 52
80.09/80.15	c iter 143 time 79.3489 not-muc 33682 unknown 4158 muc 53
80.09/80.15	c iter 144 time 79.3689 not-muc 33682 unknown 4157 muc 54
109.99/110.03	c iter 145 time 79.9418 not-muc 33682 unknown 4156 muc 55
109.99/110.03	c iter 146 time 81.3746 not-muc 33688 unknown 4150 muc 55
109.99/110.03	c iter 147 time 81.5556 not-muc 33688 unknown 4149 muc 56
109.99/110.03	c iter 148 time 81.7476 not-muc 33688 unknown 4148 muc 57
109.99/110.03	c iter 149 time 81.7526 not-muc 33688 unknown 4147 muc 58
109.99/110.03	c iter 150 time 81.7566 not-muc 33688 unknown 4146 muc 59
109.99/110.03	c iter 151 time 82.5105 not-muc 33690 unknown 4144 muc 59
109.99/110.03	c iter 152 time 82.6404 not-muc 33690 unknown 4143 muc 60
109.99/110.03	c iter 153 time 84.2872 not-muc 33695 unknown 4138 muc 60
109.99/110.03	c iter 154 time 84.2912 not-muc 33695 unknown 4137 muc 61
109.99/110.03	c iter 155 time 85.0391 not-muc 33697 unknown 4135 muc 61
109.99/110.03	c iter 156 time 85.427 not-muc 33698 unknown 4134 muc 61
109.99/110.03	c iter 157 time 85.81 not-muc 33699 unknown 4133 muc 61
109.99/110.03	c iter 158 time 87.6417 not-muc 33701 unknown 4131 muc 61
109.99/110.03	c iter 159 time 87.7667 not-muc 33701 unknown 4130 muc 62
109.99/110.03	c iter 160 time 88.3066 not-muc 33707 unknown 4124 muc 62
109.99/110.03	c iter 161 time 88.3126 not-muc 33707 unknown 4123 muc 63
109.99/110.03	c iter 162 time 88.5255 not-muc 33708 unknown 4122 muc 63
109.99/110.03	c iter 163 time 88.8105 not-muc 33710 unknown 4120 muc 63
109.99/110.03	c iter 164 time 90.3113 not-muc 33713 unknown 4117 muc 63
109.99/110.03	c iter 165 time 90.3543 not-muc 33713 unknown 4116 muc 64
109.99/110.03	c iter 166 time 90.9072 not-muc 33714 unknown 4115 muc 64
109.99/110.03	c iter 167 time 90.9142 not-muc 33714 unknown 4114 muc 65
109.99/110.03	c iter 168 time 90.9492 not-muc 33714 unknown 4113 muc 66
109.99/110.03	c iter 169 time 90.9522 not-muc 33714 unknown 4112 muc 67
109.99/110.03	c iter 170 time 91.0972 not-muc 33715 unknown 4111 muc 67
109.99/110.03	c iter 171 time 91.1021 not-muc 33715 unknown 4110 muc 68
109.99/110.03	c iter 172 time 91.2381 not-muc 33716 unknown 4109 muc 68
109.99/110.03	c iter 173 time 91.2421 not-muc 33716 unknown 4108 muc 69
109.99/110.03	c iter 174 time 91.5011 not-muc 33717 unknown 4107 muc 69
109.99/110.03	c iter 175 time 91.7041 not-muc 33718 unknown 4106 muc 69
109.99/110.03	c iter 176 time 91.859 not-muc 33719 unknown 4105 muc 69
109.99/110.03	c iter 177 time 91.929 not-muc 33719 unknown 4104 muc 70
109.99/110.03	c iter 178 time 92.074 not-muc 33720 unknown 4103 muc 70
109.99/110.03	c iter 179 time 92.112 not-muc 33720 unknown 4102 muc 71
109.99/110.03	c iter 180 time 92.15 not-muc 33720 unknown 4101 muc 72
109.99/110.03	c iter 181 time 92.298 not-muc 33721 unknown 4100 muc 72
109.99/110.03	c iter 182 time 92.42 not-muc 33721 unknown 4099 muc 73
109.99/110.03	c iter 183 time 94.6576 not-muc 33724 unknown 4096 muc 73
109.99/110.03	c iter 184 time 94.7106 not-muc 33724 unknown 4095 muc 74
109.99/110.03	c iter 185 time 95.8834 not-muc 33726 unknown 4093 muc 74
109.99/110.03	c iter 186 time 97.4142 not-muc 33734 unknown 4085 muc 74
109.99/110.03	c iter 187 time 97.4192 not-muc 33734 unknown 4084 muc 75
109.99/110.03	c iter 188 time 97.5262 not-muc 33734 unknown 4083 muc 76
109.99/110.03	c iter 189 time 97.8671 not-muc 33736 unknown 4081 muc 76
109.99/110.03	c iter 190 time 98.3021 not-muc 33737 unknown 4080 muc 76
109.99/110.03	c iter 191 time 98.361 not-muc 33737 unknown 4079 muc 77
109.99/110.03	c iter 192 time 98.557 not-muc 33738 unknown 4078 muc 77
109.99/110.03	c iter 193 time 98.663 not-muc 33738 unknown 4077 muc 78
109.99/110.03	c iter 194 time 98.824 not-muc 33739 unknown 4076 muc 78
109.99/110.03	c iter 195 time 98.949 not-muc 33740 unknown 4075 muc 78
109.99/110.03	c iter 196 time 100.401 not-muc 33742 unknown 4073 muc 78
109.99/110.03	c iter 197 time 100.481 not-muc 33742 unknown 4072 muc 79
109.99/110.03	c iter 198 time 101.298 not-muc 33743 unknown 4071 muc 79
109.99/110.03	c iter 199 time 101.833 not-muc 33745 unknown 4069 muc 79
109.99/110.03	c iter 200 time 102.086 not-muc 33746 unknown 4068 muc 79
109.99/110.03	c iter 201 time 102.257 not-muc 33747 unknown 4067 muc 79
109.99/110.03	c iter 202 time 102.266 not-muc 33747 unknown 4066 muc 80
109.99/110.03	c iter 203 time 102.278 not-muc 33747 unknown 4065 muc 81
109.99/110.03	c iter 204 time 104.088 not-muc 33750 unknown 4062 muc 81
109.99/110.03	c iter 205 time 104.853 not-muc 33751 unknown 4061 muc 81
109.99/110.03	c iter 206 time 107.311 not-muc 33778 unknown 4034 muc 81
109.99/110.03	c iter 207 time 107.323 not-muc 33778 unknown 4033 muc 82
109.99/110.03	c iter 208 time 107.424 not-muc 33778 unknown 4032 muc 83
109.99/110.03	c iter 209 time 107.539 not-muc 33778 unknown 4031 muc 84
109.99/110.03	c iter 210 time 107.868 not-muc 33778 unknown 4030 muc 85
109.99/110.03	c iter 211 time 108.246 not-muc 33778 unknown 4029 muc 86
109.99/110.03	c iter 212 time 108.751 not-muc 33778 unknown 4028 muc 87
109.99/110.03	c iter 213 time 108.915 not-muc 33778 unknown 4027 muc 88
109.99/110.03	c iter 214 time 108.935 not-muc 33778 unknown 4026 muc 89
109.99/110.03	c iter 215 time 108.952 not-muc 33778 unknown 4025 muc 90
177.77/177.86	c iter 216 time 108.996 not-muc 33778 unknown 4024 muc 91
177.77/177.86	c iter 217 time 110.503 not-muc 33780 unknown 4022 muc 91
177.77/177.86	c iter 218 time 110.586 not-muc 33780 unknown 4021 muc 92
177.77/177.86	c iter 219 time 110.654 not-muc 33780 unknown 4020 muc 93
177.77/177.86	c iter 220 time 111.349 not-muc 33782 unknown 4018 muc 93
177.77/177.86	c iter 221 time 111.354 not-muc 33782 unknown 4017 muc 94
177.77/177.86	c iter 222 time 111.374 not-muc 33782 unknown 4016 muc 95
177.77/177.86	c iter 223 time 111.573 not-muc 33783 unknown 4015 muc 95
177.77/177.86	c iter 224 time 111.592 not-muc 33783 unknown 4014 muc 96
177.77/177.86	c iter 225 time 111.603 not-muc 33783 unknown 4013 muc 97
177.77/177.86	c iter 226 time 113.689 not-muc 33784 unknown 4012 muc 97
177.77/177.86	c iter 227 time 113.885 not-muc 33784 unknown 4011 muc 98
177.77/177.86	c iter 228 time 113.972 not-muc 33784 unknown 4010 muc 99
177.77/177.86	c iter 229 time 114.356 not-muc 33784 unknown 4009 muc 100
177.77/177.86	c iter 230 time 114.573 not-muc 33784 unknown 4008 muc 101
177.77/177.86	c iter 231 time 114.692 not-muc 33786 unknown 4006 muc 101
177.77/177.86	c iter 232 time 114.786 not-muc 33786 unknown 4005 muc 102
177.77/177.86	c iter 233 time 115.04 not-muc 33786 unknown 4004 muc 103
177.77/177.86	c iter 234 time 117.21 not-muc 33787 unknown 4003 muc 103
177.77/177.86	c iter 235 time 117.224 not-muc 33787 unknown 4002 muc 104
177.77/177.86	c iter 236 time 117.374 not-muc 33787 unknown 4001 muc 105
177.77/177.86	c iter 237 time 117.493 not-muc 33787 unknown 4000 muc 106
177.77/177.86	c iter 238 time 117.972 not-muc 33788 unknown 3999 muc 106
177.77/177.86	c iter 239 time 118.014 not-muc 33788 unknown 3998 muc 107
177.77/177.86	c iter 240 time 119.797 not-muc 33812 unknown 3974 muc 107
177.77/177.86	c iter 241 time 119.832 not-muc 33812 unknown 3973 muc 108
177.77/177.86	c iter 242 time 120.324 not-muc 33813 unknown 3972 muc 108
177.77/177.86	c iter 243 time 120.671 not-muc 33814 unknown 3971 muc 108
177.77/177.86	c iter 244 time 120.785 not-muc 33814 unknown 3970 muc 109
177.77/177.86	c iter 245 time 121.248 not-muc 33816 unknown 3968 muc 109
177.77/177.86	c iter 246 time 121.267 not-muc 33816 unknown 3967 muc 110
177.77/177.86	c iter 247 time 123.208 not-muc 33821 unknown 3962 muc 110
177.77/177.86	c iter 248 time 124.015 not-muc 33822 unknown 3961 muc 110
177.77/177.86	c iter 249 time 125.854 not-muc 33826 unknown 3957 muc 110
177.77/177.86	c iter 250 time 126.8 not-muc 33828 unknown 3955 muc 110
177.77/177.86	c iter 251 time 128.761 not-muc 33831 unknown 3952 muc 110
177.77/177.86	c iter 252 time 129.608 not-muc 33833 unknown 3950 muc 110
177.77/177.86	c iter 253 time 131.474 not-muc 33843 unknown 3940 muc 110
177.77/177.86	c iter 254 time 132.148 not-muc 33844 unknown 3939 muc 110
177.77/177.86	c iter 255 time 134.993 not-muc 33848 unknown 3935 muc 110
177.77/177.86	c iter 256 time 137.499 not-muc 33850 unknown 3933 muc 110
177.77/177.86	c iter 257 time 138.019 not-muc 33851 unknown 3932 muc 110
177.77/177.86	c iter 258 time 140.807 not-muc 33854 unknown 3929 muc 110
177.77/177.86	c iter 259 time 143.321 not-muc 33856 unknown 3927 muc 110
177.77/177.86	c iter 260 time 146.068 not-muc 33857 unknown 3926 muc 110
177.77/177.86	c iter 261 time 146.484 not-muc 33858 unknown 3925 muc 110
177.77/177.86	c iter 262 time 146.926 not-muc 33859 unknown 3924 muc 110
177.77/177.86	c iter 263 time 147.066 not-muc 33860 unknown 3923 muc 110
177.77/177.86	c iter 264 time 149.004 not-muc 33862 unknown 3921 muc 110
177.77/177.86	c iter 265 time 149.089 not-muc 33865 unknown 3918 muc 110
177.77/177.86	c iter 266 time 149.127 not-muc 33866 unknown 3917 muc 110
177.77/177.86	c iter 267 time 149.79 not-muc 33868 unknown 3915 muc 110
177.77/177.86	c iter 268 time 149.835 not-muc 33868 unknown 3914 muc 111
177.77/177.86	c iter 269 time 149.837 not-muc 33868 unknown 3913 muc 112
177.77/177.86	c iter 270 time 152.733 not-muc 33869 unknown 3912 muc 112
177.77/177.86	c iter 271 time 155.415 not-muc 33870 unknown 3911 muc 112
177.77/177.86	c iter 272 time 158.033 not-muc 33872 unknown 3909 muc 112
177.77/177.86	c iter 273 time 161.042 not-muc 33874 unknown 3907 muc 112
177.77/177.86	c iter 274 time 163.86 not-muc 33875 unknown 3906 muc 112
177.77/177.86	c iter 275 time 167.133 not-muc 33876 unknown 3905 muc 112
177.77/177.86	c iter 276 time 167.369 not-muc 33876 unknown 3904 muc 113
177.77/177.86	c iter 277 time 167.841 not-muc 33876 unknown 3903 muc 114
177.77/177.86	c iter 278 time 168.108 not-muc 33876 unknown 3902 muc 115
177.77/177.86	c iter 279 time 170.229 not-muc 33878 unknown 3900 muc 115
177.77/177.86	c iter 280 time 170.335 not-muc 33878 unknown 3899 muc 116
177.77/177.86	c iter 281 time 173.007 not-muc 33879 unknown 3898 muc 116
177.77/177.86	c iter 282 time 175.603 not-muc 33880 unknown 3897 muc 116
177.77/177.86	c iter 283 time 176.088 not-muc 33880 unknown 3896 muc 117
177.77/177.86	c iter 284 time 176.104 not-muc 33880 unknown 3895 muc 118
177.77/177.86	c iter 285 time 176.109 not-muc 33880 unknown 3894 muc 119
307.27/307.33	c iter 286 time 176.117 not-muc 33880 unknown 3893 muc 120
307.27/307.33	c iter 287 time 176.124 not-muc 33880 unknown 3892 muc 121
307.27/307.33	c iter 288 time 178.411 not-muc 33882 unknown 3890 muc 121
307.27/307.33	c iter 289 time 178.624 not-muc 33882 unknown 3889 muc 122
307.27/307.33	c iter 290 time 178.629 not-muc 33882 unknown 3888 muc 123
307.27/307.33	c iter 291 time 179.183 not-muc 33882 unknown 3887 muc 124
307.27/307.33	c iter 292 time 179.421 not-muc 33882 unknown 3886 muc 125
307.27/307.33	c iter 293 time 181.112 not-muc 33884 unknown 3884 muc 125
307.27/307.33	c iter 294 time 183.874 not-muc 33885 unknown 3883 muc 125
307.27/307.33	c iter 295 time 184.726 not-muc 33886 unknown 3882 muc 125
307.27/307.33	c iter 296 time 186.497 not-muc 33888 unknown 3880 muc 125
307.27/307.33	c iter 297 time 189.947 not-muc 33889 unknown 3879 muc 125
307.27/307.33	c iter 298 time 192.39 not-muc 33891 unknown 3877 muc 125
307.27/307.33	c iter 299 time 193.258 not-muc 33892 unknown 3876 muc 125
307.27/307.33	c iter 300 time 193.432 not-muc 33892 unknown 3875 muc 126
307.27/307.33	c iter 301 time 195.39 not-muc 33894 unknown 3873 muc 126
307.27/307.33	c iter 302 time 195.416 not-muc 33894 unknown 3872 muc 127
307.27/307.33	c iter 303 time 198.501 not-muc 33895 unknown 3871 muc 127
307.27/307.33	c iter 304 time 199.236 not-muc 33896 unknown 3870 muc 127
307.27/307.33	c iter 305 time 201.172 not-muc 33897 unknown 3869 muc 127
307.27/307.33	c iter 306 time 201.904 not-muc 33898 unknown 3868 muc 127
307.27/307.33	c iter 307 time 203.926 not-muc 33899 unknown 3867 muc 127
307.27/307.33	c iter 308 time 204.788 not-muc 33901 unknown 3865 muc 127
307.27/307.33	c iter 309 time 205.342 not-muc 33901 unknown 3864 muc 128
307.27/307.33	c iter 310 time 206.739 not-muc 33903 unknown 3862 muc 128
307.27/307.33	c iter 311 time 207.507 not-muc 33905 unknown 3860 muc 128
307.27/307.33	c iter 312 time 209.653 not-muc 33907 unknown 3858 muc 128
307.27/307.33	c iter 313 time 212.285 not-muc 33912 unknown 3853 muc 128
307.27/307.33	c iter 314 time 215.481 not-muc 33913 unknown 3852 muc 128
307.27/307.33	c iter 315 time 217.857 not-muc 33916 unknown 3849 muc 128
307.27/307.33	c iter 316 time 218.695 not-muc 33917 unknown 3848 muc 128
307.27/307.33	c iter 317 time 221.094 not-muc 33920 unknown 3845 muc 128
307.27/307.33	c iter 318 time 221.129 not-muc 33920 unknown 3844 muc 129
307.27/307.33	c iter 319 time 221.679 not-muc 33920 unknown 3843 muc 130
307.27/307.33	c iter 320 time 223.617 not-muc 33922 unknown 3841 muc 130
307.27/307.33	c iter 321 time 223.65 not-muc 33922 unknown 3840 muc 131
307.27/307.33	c iter 322 time 226.439 not-muc 33923 unknown 3839 muc 131
307.27/307.33	c iter 323 time 229.055 not-muc 33925 unknown 3837 muc 131
307.27/307.33	c iter 324 time 231.845 not-muc 33926 unknown 3836 muc 131
307.27/307.33	c iter 325 time 235.427 not-muc 33928 unknown 3834 muc 131
307.27/307.33	c iter 326 time 235.583 not-muc 33928 unknown 3833 muc 132
307.27/307.33	c iter 327 time 237.87 not-muc 33930 unknown 3831 muc 132
307.27/307.33	c iter 328 time 241.148 not-muc 33931 unknown 3830 muc 132
307.27/307.33	c iter 329 time 244.229 not-muc 33934 unknown 3827 muc 132
307.27/307.33	c iter 330 time 246.297 not-muc 33936 unknown 3825 muc 132
307.27/307.33	c iter 331 time 249.076 not-muc 33959 unknown 3802 muc 132
307.27/307.33	c iter 332 time 249.372 not-muc 33960 unknown 3801 muc 132
307.27/307.33	c iter 333 time 251.857 not-muc 33961 unknown 3800 muc 132
307.27/307.33	c iter 334 time 254.517 not-muc 33962 unknown 3799 muc 132
307.27/307.33	c iter 335 time 257.649 not-muc 33963 unknown 3798 muc 132
307.27/307.33	c iter 336 time 260.017 not-muc 33966 unknown 3795 muc 132
307.27/307.33	c iter 337 time 263.048 not-muc 33968 unknown 3793 muc 132
307.27/307.33	c iter 338 time 265.467 not-muc 33969 unknown 3792 muc 132
307.27/307.33	c iter 339 time 265.493 not-muc 33969 unknown 3791 muc 133
307.27/307.33	c iter 340 time 268.997 not-muc 33970 unknown 3790 muc 133
307.27/307.33	c iter 341 time 271.875 not-muc 33973 unknown 3787 muc 133
307.27/307.33	c iter 342 time 274.547 not-muc 33975 unknown 3785 muc 133
307.27/307.33	c iter 343 time 277.275 not-muc 33976 unknown 3784 muc 133
307.27/307.33	c iter 344 time 279.476 not-muc 33977 unknown 3783 muc 133
307.27/307.33	c iter 345 time 282.521 not-muc 33977 unknown 3782 muc 134
307.27/307.33	c iter 346 time 284.725 not-muc 33979 unknown 3780 muc 134
307.27/307.33	c iter 347 time 287.871 not-muc 33988 unknown 3771 muc 134
307.27/307.33	c iter 348 time 290.593 not-muc 33990 unknown 3769 muc 134
307.27/307.33	c iter 349 time 293.554 not-muc 33991 unknown 3768 muc 134
307.27/307.33	c iter 350 time 293.573 not-muc 33991 unknown 3767 muc 135
307.27/307.33	c iter 351 time 293.594 not-muc 33991 unknown 3766 muc 136
307.27/307.33	c iter 352 time 298.811 not-muc 33992 unknown 3765 muc 136
307.27/307.33	c iter 353 time 301.286 not-muc 33994 unknown 3763 muc 136
307.27/307.33	c iter 354 time 304.278 not-muc 33996 unknown 3761 muc 136
1238.49/1238.62	c iter 355 time 304.354 not-muc 33996 unknown 3760 muc 137
1238.49/1238.62	c iter 356 time 306.716 not-muc 33997 unknown 3759 muc 137
1238.49/1238.62	c iter 357 time 309.008 not-muc 33999 unknown 3757 muc 137
1238.49/1238.62	c iter 358 time 311.773 not-muc 34000 unknown 3756 muc 137
1238.49/1238.62	c iter 359 time 316.671 not-muc 34003 unknown 3753 muc 137
1238.49/1238.62	c iter 360 time 320.313 not-muc 34004 unknown 3752 muc 137
1238.49/1238.62	c iter 361 time 323.303 not-muc 34005 unknown 3751 muc 137
1238.49/1238.62	c iter 362 time 326.224 not-muc 34007 unknown 3749 muc 137
1238.49/1238.62	c iter 363 time 326.285 not-muc 34007 unknown 3748 muc 138
1238.49/1238.62	c iter 364 time 328.91 not-muc 34008 unknown 3747 muc 138
1238.49/1238.62	c iter 365 time 331.666 not-muc 34009 unknown 3746 muc 138
1238.49/1238.62	c iter 366 time 340.095 not-muc 34010 unknown 3745 muc 138
1238.49/1238.62	c iter 367 time 345.404 not-muc 34011 unknown 3744 muc 138
1238.49/1238.62	c iter 368 time 348.405 not-muc 34012 unknown 3743 muc 138
1238.49/1238.62	c iter 369 time 353.82 not-muc 34014 unknown 3741 muc 138
1238.49/1238.62	c iter 370 time 362.172 not-muc 34016 unknown 3739 muc 138
1238.49/1238.62	c iter 371 time 364.966 not-muc 34017 unknown 3738 muc 138
1238.49/1238.62	c iter 372 time 365.167 not-muc 34017 unknown 3737 muc 139
1238.49/1238.62	c iter 373 time 370.408 not-muc 34019 unknown 3735 muc 139
1238.49/1238.62	c iter 374 time 370.428 not-muc 34019 unknown 3734 muc 140
1238.49/1238.62	c iter 375 time 388.043 not-muc 34020 unknown 3733 muc 140
1238.49/1238.62	c iter 376 time 388.222 not-muc 34020 unknown 3732 muc 141
1238.49/1238.62	c iter 377 time 396.466 not-muc 34022 unknown 3730 muc 141
1238.49/1238.62	c iter 378 time 405.046 not-muc 34023 unknown 3729 muc 141
1238.49/1238.62	c iter 379 time 410.264 not-muc 34024 unknown 3728 muc 141
1238.49/1238.62	c iter 380 time 410.355 not-muc 34024 unknown 3727 muc 142
1238.49/1238.62	c iter 381 time 418.872 not-muc 34025 unknown 3726 muc 142
1238.49/1238.62	c iter 382 time 438.322 not-muc 34026 unknown 3725 muc 142
1238.49/1238.62	c iter 383 time 439.07 not-muc 34026 unknown 3724 muc 143
1238.49/1238.62	c iter 384 time 446.793 not-muc 34027 unknown 3723 muc 143
1238.49/1238.62	c iter 385 time 455.558 not-muc 34028 unknown 3722 muc 143
1238.49/1238.62	c iter 386 time 463.924 not-muc 34029 unknown 3721 muc 143
1238.49/1238.62	c iter 387 time 472.412 not-muc 34031 unknown 3719 muc 143
1238.49/1238.62	c iter 388 time 491.61 not-muc 34032 unknown 3718 muc 143
1238.49/1238.62	c iter 389 time 491.628 not-muc 34032 unknown 3717 muc 144
1238.49/1238.62	c iter 390 time 510.152 not-muc 34033 unknown 3716 muc 144
1238.49/1238.62	c iter 391 time 519.362 not-muc 34034 unknown 3715 muc 144
1238.49/1238.62	c iter 392 time 538.456 not-muc 34035 unknown 3714 muc 144
1238.49/1238.62	c iter 393 time 547.616 not-muc 34037 unknown 3712 muc 144
1238.49/1238.62	c iter 394 time 550.16 not-muc 34037 unknown 3711 muc 145
1238.49/1238.62	c iter 395 time 555.132 not-muc 34038 unknown 3710 muc 145
1238.49/1238.62	c iter 396 time 589.838 not-muc 34040 unknown 3708 muc 145
1238.49/1238.62	c iter 397 time 626.604 not-muc 34043 unknown 3705 muc 145
1238.49/1238.62	c iter 398 time 662.438 not-muc 34044 unknown 3704 muc 145
1238.49/1238.62	c iter 399 time 681.174 not-muc 34047 unknown 3701 muc 145
1238.49/1238.62	c iter 400 time 698.976 not-muc 34050 unknown 3698 muc 145
1238.49/1238.62	c iter 401 time 735.107 not-muc 34051 unknown 3697 muc 145
1238.49/1238.62	c iter 402 time 774.611 not-muc 34053 unknown 3695 muc 145
1238.49/1238.62	c iter 403 time 784.073 not-muc 34054 unknown 3694 muc 145
1238.49/1238.62	c iter 404 time 802.868 not-muc 34055 unknown 3693 muc 145
1238.49/1238.62	c iter 405 time 804.069 not-muc 34055 unknown 3692 muc 146
1238.49/1238.62	c iter 406 time 840.091 not-muc 34057 unknown 3690 muc 146
1238.49/1238.62	c iter 407 time 871.289 not-muc 34058 unknown 3689 muc 146
1238.49/1238.62	c iter 408 time 879.563 not-muc 34059 unknown 3688 muc 146
1238.49/1238.62	c iter 409 time 916.884 not-muc 34062 unknown 3685 muc 146
1238.49/1238.62	c iter 410 time 935.183 not-muc 34063 unknown 3684 muc 146
1238.49/1238.62	c iter 411 time 973.133 not-muc 34064 unknown 3683 muc 146
1238.49/1238.62	c iter 412 time 991.375 not-muc 34065 unknown 3682 muc 146
1238.49/1238.62	c iter 413 time 1008.41 not-muc 34066 unknown 3681 muc 146
1238.49/1238.62	c iter 414 time 1044.74 not-muc 34067 unknown 3680 muc 146
1238.49/1238.62	c iter 415 time 1072.62 not-muc 34068 unknown 3679 muc 146
1238.49/1238.62	c iter 416 time 1072.72 not-muc 34068 unknown 3678 muc 147
1238.49/1238.62	c iter 417 time 1107.55 not-muc 34069 unknown 3677 muc 147
1238.49/1238.62	c iter 418 time 1107.7 not-muc 34069 unknown 3676 muc 148
1238.49/1238.62	c iter 419 time 1143.8 not-muc 34071 unknown 3674 muc 148
1238.49/1238.62	c iter 420 time 1162.2 not-muc 34072 unknown 3673 muc 148
1238.49/1238.62	c iter 421 time 1162.95 not-muc 34072 unknown 3672 muc 149
1238.49/1238.62	c iter 422 time 1196.35 not-muc 34073 unknown 3671 muc 149
1238.49/1238.62	c iter 423 time 1196.37 not-muc 34073 unknown 3670 muc 150
1238.49/1238.62	c iter

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-3493955-1307803727/watcher-3493955-1307803727 -o /tmp/evaluation-result-3493955-1307803727/solver-3493955-1307803727 -C 1800 -W 1850 -M 7680 HOME/hmuc-a HOME/instance-3493955-1307803727.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.00 3.89 2.95 5/189 24178
/proc/meminfo: memFree=30720860/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=22756 CPUtime=0 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 1094 0 0 0 0 0 0 0 25 0 1 0 872788339 23302144 1012 33554432000 4194304 4311632 140736323133968 18446744073709551615 4295345 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 5689 1018 216 29 0 2318 0

[startup+0.060191 s]
/proc/loadavg: 4.00 3.89 2.95 5/189 24178
/proc/meminfo: memFree=30720860/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=27528 CPUtime=0.05 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 2639 0 0 0 5 0 0 0 25 0 1 0 872788339 28188672 2521 33554432000 4194304 4311632 140736323133968 18446744073709551615 270338041665 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 6882 2521 225 29 0 3511 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27528

[startup+0.101179 s]
/proc/loadavg: 4.00 3.89 2.95 5/189 24178
/proc/meminfo: memFree=30720860/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=23996 CPUtime=0.09 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 3201 0 0 0 9 0 0 0 25 0 1 0 872788339 24571904 2466 33554432000 4194304 4311632 140736323133968 18446744073709551615 4264705 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 5999 2467 244 29 0 2628 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23996

[startup+0.301143 s]
/proc/loadavg: 4.00 3.89 2.95 5/189 24178
/proc/meminfo: memFree=30720860/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=26700 CPUtime=0.29 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 3749 0 0 0 29 0 0 0 25 0 1 0 872788339 27340800 3012 33554432000 4194304 4311632 140736323133968 18446744073709551615 4264210 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 6675 3013 245 29 0 3304 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26700

[startup+0.701077 s]
/proc/loadavg: 4.00 3.89 2.95 5/189 24178
/proc/meminfo: memFree=30720860/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=33840 CPUtime=0.69 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 5422 0 0 0 69 0 0 0 25 0 1 0 872788339 34652160 4676 33554432000 4194304 4311632 140736323133968 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 8460 4676 245 29 0 5089 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33840

[startup+1.5009 s]
/proc/loadavg: 4.00 3.89 2.95 5/190 24179
/proc/meminfo: memFree=30693328/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=52696 CPUtime=1.49 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 10190 0 0 0 148 1 0 0 25 0 1 0 872788339 53960704 9439 33554432000 4194304 4311632 140736323133968 18446744073709551615 4286188 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 13174 9439 245 29 0 9803 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52696

[startup+3.10059 s]
/proc/loadavg: 4.00 3.89 2.95 5/190 24179
/proc/meminfo: memFree=30669140/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=102696 CPUtime=3.09 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 21475 0 0 0 306 3 0 0 25 0 1 0 872788339 105160704 20716 33554432000 4194304 4311632 140736323133968 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 25674 20716 245 29 0 22303 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 102696

[startup+6.30095 s]
/proc/loadavg: 4.00 3.89 2.96 5/190 24179
/proc/meminfo: memFree=30572636/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=234584 CPUtime=6.29 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 42648 0 0 0 623 6 0 0 25 0 1 0 872788339 240214016 41880 33554432000 4194304 4311632 140736323133968 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 58646 41884 245 29 0 55275 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 234584

[startup+12.7007 s]
/proc/loadavg: 4.00 3.89 2.96 5/190 24179
/proc/meminfo: memFree=30676208/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=103664 CPUtime=12.68 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 86999 0 0 0 1257 11 0 0 25 0 1 0 872788339 106151936 15233 33554432000 4194304 4311632 140736323133968 18446744073709551615 4264705 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 25916 15233 263 29 0 22545 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 103664

[startup+25.5011 s]
/proc/loadavg: 4.00 3.90 2.98 5/190 24180
/proc/meminfo: memFree=30713504/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=54160 CPUtime=25.48 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 174139 0 0 0 2523 25 0 0 25 0 1 0 872788339 55459840 8508 33554432000 4194304 4311632 140736323133968 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 13540 8508 263 29 0 10169 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 54160

[startup+51.101 s]
/proc/loadavg: 4.00 3.90 3.01 5/190 24180
/proc/meminfo: memFree=30629528/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=35712 CPUtime=51.09 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 348284 0 0 0 5059 50 0 0 25 0 1 0 872788339 36569088 5277 33554432000 4194304 4311632 140736323133968 18446744073709551615 4286196 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 8928 5277 263 29 0 5557 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 35712

[startup+102.307 s]
/proc/loadavg: 4.00 3.92 3.05 5/190 24182
/proc/meminfo: memFree=30641484/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=109508 CPUtime=102.29 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 693802 0 0 0 10131 98 0 0 25 0 1 0 872788339 112136192 20232 33554432000 4194304 4311632 140736323133968 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 27377 20232 263 29 0 24006 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 109508

[startup+162.301 s]
/proc/loadavg: 4.00 3.93 3.11 5/190 24183
/proc/meminfo: memFree=30675892/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=113024 CPUtime=162.28 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 1097293 0 0 0 16070 158 0 0 25 0 1 0 872788339 115736576 17790 33554432000 4194304 4311632 140736323133968 18446744073709551615 4264208 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 28256 17790 263 29 0 24885 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 113024

[startup+222.301 s]
/proc/loadavg: 4.00 3.94 3.16 5/190 24185
/proc/meminfo: memFree=30648012/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=82204 CPUtime=222.27 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 1499006 0 0 0 22009 218 0 0 25 0 1 0 872788339 84176896 14775 33554432000 4194304 4311632 140736323133968 18446744073709551615 4264235 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 20551 14775 263 29 0 17180 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 82204

[startup+282.301 s]
/proc/loadavg: 4.00 3.95 3.21 5/190 24187
/proc/meminfo: memFree=30633932/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=113024 CPUtime=282.27 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 1890869 0 0 0 27950 277 0 0 25 0 1 0 872788339 115736576 19071 33554432000 4194304 4311632 140736323133968 18446744073709551615 4261513 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 28256 19071 263 29 0 24885 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 113024

[startup+342.3 s]
/proc/loadavg: 4.00 3.95 3.26 5/190 24188
/proc/meminfo: memFree=30698704/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=82204 CPUtime=342.26 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 2287082 0 0 0 33886 340 0 0 25 0 1 0 872788339 84176896 13155 33554432000 4194304 4311632 140736323133968 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 20551 13155 263 29 0 17180 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 82204

[startup+402.3 s]
/proc/loadavg: 4.00 3.96 3.30 5/190 24190
/proc/meminfo: memFree=30712272/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=113024 CPUtime=402.25 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 2670374 0 0 0 39829 396 0 0 25 0 1 0 872788339 115736576 17185 33554432000 4194304 4311632 140736323133968 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 28256 17185 263 29 0 24885 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 113024

[startup+462.3 s]
/proc/loadavg: 4.00 3.96 3.34 5/190 24191
/proc/meminfo: memFree=30689752/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=113024 CPUtime=462.25 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 3044620 0 0 0 45771 454 0 0 25 0 1 0 872788339 115736576 19491 33554432000 4194304 4311632 140736323133968 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 28256 19491 263 29 0 24885 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 113024

[startup+522.301 s]
/proc/loadavg: 4.00 3.97 3.38 5/190 24193
/proc/meminfo: memFree=30702472/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=82204 CPUtime=522.24 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 3423157 0 0 0 51714 510 0 0 25 0 1 0 872788339 84176896 15378 33554432000 4194304 4311632 140736323133968 18446744073709551615 4264235 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 20551 15378 263 29 0 17180 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 82204

[startup+582.301 s]
/proc/loadavg: 4.00 3.97 3.42 5/190 24195
/proc/meminfo: memFree=30668536/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=47040 CPUtime=582.23 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 3791493 0 0 0 57657 566 0 0 25 0 1 0 872788339 48168960 7234 33554432000 4194304 4311632 140736323133968 18446744073709551615 4264659 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 11760 7234 263 29 0 8389 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 47040

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 4.00 3.97 3.54 5/190 24327
/proc/meminfo: memFree=31187924/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=116040 CPUtime=822.22 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 5243989 0 0 0 81430 792 0 0 25 0 1 0 872788339 118824960 22012 33554432000 4194304 4311632 140736323133968 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 29010 22012 263 29 0 25639 0
Current children cumulated CPU time (s) 822.22
Current children cumulated vsize (KiB) 116040

[startup+882.301 s]
/proc/loadavg: 4.07 3.99 3.57 5/190 24329
/proc/meminfo: memFree=31188516/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=116040 CPUtime=882.21 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 5603320 0 0 0 87372 849 0 0 25 0 1 0 872788339 118824960 18594 33554432000 4194304 4311632 140736323133968 18446744073709551615 4264643 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 29010 18594 263 29 0 25639 0
Current children cumulated CPU time (s) 882.21
Current children cumulated vsize (KiB) 116040

[startup+942.301 s]
/proc/loadavg: 4.02 3.99 3.59 5/190 24368
/proc/meminfo: memFree=31224780/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=85220 CPUtime=942.21 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 5966541 0 0 0 93317 904 0 0 25 0 1 0 872788339 87265280 14023 33554432000 4194304 4311632 140736323133968 18446744073709551615 4264258 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 21305 14023 263 29 0 17934 0
Current children cumulated CPU time (s) 942.21
Current children cumulated vsize (KiB) 85220

[startup+1002.3 s]
/proc/loadavg: 4.05 4.00 3.62 5/190 24446
/proc/meminfo: memFree=31218732/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=54576 CPUtime=1002.21 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 6326550 0 0 0 99261 960 0 0 25 0 1 0 872788339 55885824 8824 33554432000 4194304 4311632 140736323133968 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 13644 8824 263 29 0 10273 0
Current children cumulated CPU time (s) 1002.21
Current children cumulated vsize (KiB) 54576

[startup+1062.3 s]
/proc/loadavg: 4.02 4.00 3.64 5/190 24447
/proc/meminfo: memFree=31196560/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=85220 CPUtime=1062.2 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 6683686 0 0 0 105203 1017 0 0 25 0 1 0 872788339 87265280 17018 33554432000 4194304 4311632 140736323133968 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 21305 17018 263 29 0 17934 0
Current children cumulated CPU time (s) 1062.2
Current children cumulated vsize (KiB) 85220

[startup+1122.3 s]
/proc/loadavg: 4.00 4.00 3.66 5/190 24449
/proc/meminfo: memFree=31184968/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=85220 CPUtime=1122.19 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 7041585 0 0 0 111143 1076 0 0 25 0 1 0 872788339 87265280 16450 33554432000 4194304 4311632 140736323133968 18446744073709551615 4264447 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 21305 16450 263 29 0 17934 0
Current children cumulated CPU time (s) 1122.19
Current children cumulated vsize (KiB) 85220

[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 3.68 4/184 24475
/proc/meminfo: memFree=31208324/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=54576 CPUtime=1182.19 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 7399924 0 0 0 117086 1133 0 0 25 0 1 0 872788339 55885824 10212 33554432000 4194304 4311632 140736323133968 18446744073709551615 4264702 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 13644 10212 263 29 0 10273 0
Current children cumulated CPU time (s) 1182.19
Current children cumulated vsize (KiB) 54576

[startup+1242.3 s]
/proc/loadavg: 2.80 3.66 3.58 3/178 24500
/proc/meminfo: memFree=31255888/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=47396 CPUtime=1242.18 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 7763019 0 0 0 123030 1188 0 0 25 0 1 0 872788339 48533504 7597 33554432000 4194304 4311632 140736323133968 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 11849 7597 263 29 0 8478 0
Current children cumulated CPU time (s) 1242.18
Current children cumulated vsize (KiB) 47396

[startup+1302.3 s]
/proc/loadavg: 2.01 3.29 3.46 2/172 24526
/proc/meminfo: memFree=31317308/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=85220 CPUtime=1302.19 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 8119971 0 0 0 128973 1246 0 0 25 0 1 0 872788339 87265280 16908 33554432000 4194304 4311632 140736323133968 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 21305 16908 263 29 0 17934 0
Current children cumulated CPU time (s) 1302.19
Current children cumulated vsize (KiB) 85220

[startup+1362.3 s]
/proc/loadavg: 1.37 2.87 3.30 2/172 24527
/proc/meminfo: memFree=31344680/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=85220 CPUtime=1362.17 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 8472073 0 0 0 134910 1307 0 0 25 0 1 0 872788339 87265280 13601 33554432000 4194304 4311632 140736323133968 18446744073709551615 4264416 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 21305 13601 263 29 0 17934 0
Current children cumulated CPU time (s) 1362.17
Current children cumulated vsize (KiB) 85220

[startup+1422.31 s]
/proc/loadavg: 1.13 2.53 3.15 2/172 24529
/proc/meminfo: memFree=31358032/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=47396 CPUtime=1422.18 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 8825566 0 0 0 140851 1367 0 0 25 0 1 0 872788339 48533504 7444 33554432000 4194304 4311632 140736323133968 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 11849 7444 263 29 0 8478 0
Current children cumulated CPU time (s) 1422.18
Current children cumulated vsize (KiB) 47396

[startup+1482.3 s]
/proc/loadavg: 1.05 2.25 3.02 2/172 24531
/proc/meminfo: memFree=31316588/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=42976 CPUtime=1482.16 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 9174785 0 0 0 146791 1425 0 0 25 0 1 0 872788339 44007424 7000 33554432000 4194304 4311632 140736323133968 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 10744 7000 263 29 0 7373 0
Current children cumulated CPU time (s) 1482.16
Current children cumulated vsize (KiB) 42976

[startup+1542.3 s]
/proc/loadavg: 1.02 2.02 2.89 2/172 24532
/proc/meminfo: memFree=31314576/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=116040 CPUtime=1542.16 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 9524148 0 0 0 152731 1485 0 0 25 0 1 0 872788339 118824960 18789 33554432000 4194304 4311632 140736323133968 18446744073709551615 4271934 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 29010 18790 263 29 0 25639 0
Current children cumulated CPU time (s) 1542.16
Current children cumulated vsize (KiB) 116040

[startup+1602.3 s]
/proc/loadavg: 1.00 1.83 2.77 2/172 24534
/proc/meminfo: memFree=31309212/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=54576 CPUtime=1602.16 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 9869962 0 0 0 158676 1540 0 0 25 0 1 0 872788339 55885824 9955 33554432000 4194304 4311632 140736323133968 18446744073709551615 4271568 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 13644 9957 263 29 0 10273 0
Current children cumulated CPU time (s) 1602.16
Current children cumulated vsize (KiB) 54576

[startup+1662.3 s]
/proc/loadavg: 1.00 1.68 2.65 2/172 24535
/proc/meminfo: memFree=31349364/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=66252 CPUtime=1662.15 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 10219558 0 0 0 164618 1597 0 0 25 0 1 0 872788339 67842048 10706 33554432000 4194304 4311632 140736323133968 18446744073709551615 4264235 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 16563 10706 263 29 0 13192 0
Current children cumulated CPU time (s) 1662.15
Current children cumulated vsize (KiB) 66252

[startup+1722.3 s]
/proc/loadavg: 1.00 1.55 2.55 2/172 24537
/proc/meminfo: memFree=31346980/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=85220 CPUtime=1722.15 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 10568136 0 0 0 170560 1655 0 0 25 0 1 0 872788339 87265280 13924 33554432000 4194304 4311632 140736323133968 18446744073709551615 4271580 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 21305 13924 263 29 0 17934 0
Current children cumulated CPU time (s) 1722.15
Current children cumulated vsize (KiB) 85220

[startup+1782.3 s]
/proc/loadavg: 1.00 1.45 2.45 2/172 24539
/proc/meminfo: memFree=31347072/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=66252 CPUtime=1782.14 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 10919161 0 0 0 176500 1714 0 0 25 0 1 0 872788339 67842048 11694 33554432000 4194304 4311632 140736323133968 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 16563 11694 263 29 0 13192 0
Current children cumulated CPU time (s) 1782.14
Current children cumulated vsize (KiB) 66252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.2 s]
/proc/loadavg: 1.00 1.42 2.42 2/172 24539
/proc/meminfo: memFree=31312836/32951124 swapFree=67055520/67111528
[pid=24178] ppid=24176 vsize=116040 CPUtime=1800.05 cores=0,2
/proc/24178/stat : 24178 (hmuc-a) R 24176 24178 23230 0 -1 4202496 11024249 0 0 0 178273 1732 0 0 25 0 1 0 872788339 118824960 18005 33554432000 4194304 4311632 140736323133968 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24178/statm: 29010 18005 263 29 0 25639 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 116040

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.21
CPU time (s): 1800.06
CPU user time (s): 1782.73
CPU system time (s): 17.3284
CPU usage (%): 99.9916
Max. virtual memory (cumulated for all children) (KiB): 235140

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

runsolver used 3.00754 second user time and 6.25805 second system time

The end

Launcher Data 

Begin job on node143 at 2011-06-11 16:48:47
IDJOB=3493955
IDBENCH=83435
IDSOLVER=1983
FILE ID=node143/3493955-1307803727
RUNJOBID= node143-1307802726-23941
PBS_JOBID= 13551005
Free space on /tmp= 74040 MiB

SOLVER NAME= Haifa-MUC-A 2011-04-07
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F15.cnf
COMMAND LINE= HOME/hmuc-a BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493955-1307803727/watcher-3493955-1307803727 -o /tmp/evaluation-result-3493955-1307803727/solver-3493955-1307803727 -C 1800 -W 1850 -M 7680  HOME/hmuc-a HOME/instance-3493955-1307803727.cnf

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

MD5SUM BENCH= 2f0f06d695c1977edc3fba0ba8753984
RANDOM SEED=298248375

node143.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.846
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.69
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.846
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.846
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.74
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.846
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.83
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.846
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.75
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.846
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.83
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.846
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.74
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.846
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30721404 kB
Buffers:        143440 kB
Cached:        1287180 kB
SwapCached:       8636 kB
Active:         993264 kB
Inactive:      1074104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30721404 kB
SwapTotal:    67111528 kB
SwapFree:     67055520 kB
Dirty:            1344 kB
Writeback:           0 kB
AnonPages:      635300 kB
Mapped:          13960 kB
Slab:            94492 kB
PageTables:       6972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   973116 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= 74084 MiB
End job on node143 at 2011-06-11 17:18:49