Trace number 3494555

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) 1173.93 1173.94

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 

179.19/179.20	c WARNING: for repeatability, setting FPU to use double precision
179.19/179.20	c iter 1 time 1.58076 not-muc 31587 unknown 6306 muc 0
179.19/179.20	c iter 2 time 2.6176 not-muc 32564 unknown 5329 muc 0
179.19/179.20	c iter 3 time 4.37434 not-muc 32706 unknown 5187 muc 0
179.19/179.20	c iter 4 time 6.594 not-muc 32830 unknown 5063 muc 0
179.19/179.20	c iter 5 time 9.26959 not-muc 32986 unknown 4907 muc 0
179.19/179.20	c iter 6 time 12.3571 not-muc 33009 unknown 4884 muc 0
179.19/179.20	c iter 7 time 15.4297 not-muc 33038 unknown 4855 muc 0
179.19/179.20	c iter 8 time 18.4182 not-muc 33062 unknown 4831 muc 0
179.19/179.20	c iter 9 time 20.4459 not-muc 33147 unknown 4746 muc 0
179.19/179.20	c iter 10 time 23.1165 not-muc 33241 unknown 4652 muc 0
179.19/179.20	c iter 11 time 25.6361 not-muc 33315 unknown 4578 muc 0
179.19/179.20	c iter 12 time 28.0287 not-muc 33332 unknown 4561 muc 0
179.19/179.20	c iter 13 time 31.3902 not-muc 33343 unknown 4550 muc 0
179.19/179.20	c iter 14 time 33.6299 not-muc 33359 unknown 4534 muc 0
179.19/179.20	c iter 15 time 35.5336 not-muc 33376 unknown 4517 muc 0
179.19/179.20	c iter 16 time 39.0071 not-muc 33378 unknown 4515 muc 0
179.19/179.20	c iter 17 time 42.0616 not-muc 33393 unknown 4500 muc 0
179.19/179.20	c iter 18 time 46.3999 not-muc 33398 unknown 4495 muc 0
179.19/179.20	c iter 19 time 49.5645 not-muc 33408 unknown 4485 muc 0
179.19/179.20	c iter 20 time 49.9444 not-muc 33408 unknown 4484 muc 1
179.19/179.20	c iter 21 time 49.9704 not-muc 33408 unknown 4483 muc 2
179.19/179.20	c iter 22 time 49.9954 not-muc 33408 unknown 4482 muc 3
179.19/179.20	c iter 23 time 50.1304 not-muc 33408 unknown 4481 muc 4
179.19/179.20	c iter 24 time 50.1544 not-muc 33408 unknown 4480 muc 5
179.19/179.20	c iter 25 time 50.1794 not-muc 33408 unknown 4479 muc 6
179.19/179.20	c iter 26 time 50.2044 not-muc 33408 unknown 4478 muc 7
179.19/179.20	c iter 27 time 50.2294 not-muc 33408 unknown 4477 muc 8
179.19/179.20	c iter 28 time 50.2534 not-muc 33408 unknown 4476 muc 9
179.19/179.20	c iter 29 time 50.2764 not-muc 33408 unknown 4475 muc 10
179.19/179.20	c iter 30 time 50.3084 not-muc 33408 unknown 4474 muc 11
179.19/179.20	c iter 31 time 53.5249 not-muc 33436 unknown 4446 muc 11
179.19/179.20	c iter 32 time 56.6764 not-muc 33476 unknown 4406 muc 11
179.19/179.20	c iter 33 time 60.0909 not-muc 33486 unknown 4396 muc 11
179.19/179.20	c iter 34 time 63.6743 not-muc 33491 unknown 4391 muc 11
179.19/179.20	c iter 35 time 65.874 not-muc 33522 unknown 4360 muc 11
179.19/179.20	c iter 36 time 69.3075 not-muc 33548 unknown 4334 muc 11
179.19/179.20	c iter 37 time 72.7179 not-muc 33558 unknown 4324 muc 11
179.19/179.20	c iter 38 time 75.2426 not-muc 33562 unknown 4320 muc 11
179.19/179.20	c iter 39 time 81.0847 not-muc 33565 unknown 4317 muc 11
179.19/179.20	c iter 40 time 84.6991 not-muc 33569 unknown 4313 muc 11
179.19/179.20	c iter 41 time 89.5154 not-muc 33572 unknown 4310 muc 11
179.19/179.20	c iter 42 time 93.0039 not-muc 33580 unknown 4302 muc 11
179.19/179.20	c iter 43 time 96.6673 not-muc 33605 unknown 4277 muc 11
179.19/179.20	c iter 44 time 103.915 not-muc 33609 unknown 4273 muc 11
179.19/179.20	c iter 45 time 109.551 not-muc 33611 unknown 4271 muc 11
179.19/179.20	c iter 46 time 114.111 not-muc 33616 unknown 4266 muc 11
179.19/179.20	c iter 47 time 117.935 not-muc 33619 unknown 4263 muc 11
179.19/179.20	c iter 48 time 121.447 not-muc 33624 unknown 4258 muc 11
179.19/179.20	c iter 49 time 124.296 not-muc 33629 unknown 4253 muc 11
179.19/179.20	c iter 50 time 129.292 not-muc 33633 unknown 4249 muc 11
179.19/179.20	c iter 51 time 132.688 not-muc 33643 unknown 4239 muc 11
179.19/179.20	c iter 52 time 135.993 not-muc 33644 unknown 4238 muc 11
179.19/179.20	c iter 53 time 139.666 not-muc 33646 unknown 4236 muc 11
179.19/179.20	c iter 54 time 142.939 not-muc 33647 unknown 4235 muc 11
179.19/179.20	c iter 55 time 145.992 not-muc 33649 unknown 4233 muc 11
179.19/179.20	c iter 56 time 149.547 not-muc 33653 unknown 4229 muc 11
179.19/179.20	c iter 57 time 153.062 not-muc 33657 unknown 4225 muc 11
179.19/179.20	c iter 58 time 155.257 not-muc 33659 unknown 4223 muc 11
179.19/179.20	c iter 59 time 157.576 not-muc 33665 unknown 4217 muc 11
179.19/179.20	c iter 60 time 161.001 not-muc 33668 unknown 4214 muc 11
179.19/179.20	c iter 61 time 166.18 not-muc 33675 unknown 4207 muc 11
179.19/179.20	c iter 62 time 169.349 not-muc 33677 unknown 4205 muc 11
179.19/179.20	c iter 63 time 174.297 not-muc 33678 unknown 4204 muc 11
179.19/179.20	c iter 64 time 177.986 not-muc 33679 unknown 4203 muc 11
179.19/179.20	c iter 65 time 178.131 not-muc 33679 unknown 4202 muc 12
179.19/179.20	c iter 66 time 178.166 not-muc 33679 unknown 4201 muc 13
179.19/179.20	c iter 67 time 178.2 not-muc 33679 unknown 4200 muc 14
179.19/179.20	c iter 68 time 178.236 not-muc 33679 unknown 4199 muc 15
179.19/179.20	c iter 69 time 178.27 not-muc 33679 unknown 4198 muc 16
179.19/179.20	c iter 70 time 178.569 not-muc 33679 unknown 4197 muc 17
179.19/179.20	c iter 71 time 178.604 not-muc 33679 unknown 4196 muc 18
179.19/179.20	c iter 72 time 178.696 not-muc 33679 unknown 4195 muc 19
431.29/431.35	c iter 73 time 178.734 not-muc 33679 unknown 4194 muc 20
431.29/431.35	c iter 74 time 182.187 not-muc 33680 unknown 4193 muc 20
431.29/431.35	c iter 75 time 186.181 not-muc 33683 unknown 4190 muc 20
431.29/431.35	c iter 76 time 190.149 not-muc 33684 unknown 4189 muc 20
431.29/431.35	c iter 77 time 193.658 not-muc 33686 unknown 4187 muc 20
431.29/431.35	c iter 78 time 197.224 not-muc 33690 unknown 4183 muc 20
431.29/431.35	c iter 79 time 200.558 not-muc 33692 unknown 4181 muc 20
431.29/431.35	c iter 80 time 203.973 not-muc 33693 unknown 4180 muc 20
431.29/431.35	c iter 81 time 207.582 not-muc 33695 unknown 4178 muc 20
431.29/431.35	c iter 82 time 211.037 not-muc 33696 unknown 4177 muc 20
431.29/431.35	c iter 83 time 214.688 not-muc 33698 unknown 4175 muc 20
431.29/431.35	c iter 84 time 218.12 not-muc 33700 unknown 4173 muc 20
431.29/431.35	c iter 85 time 221.43 not-muc 33701 unknown 4172 muc 20
431.29/431.35	c iter 86 time 226.911 not-muc 33702 unknown 4171 muc 20
431.29/431.35	c iter 87 time 231.634 not-muc 33703 unknown 4170 muc 20
431.29/431.35	c iter 88 time 236.445 not-muc 33704 unknown 4169 muc 20
431.29/431.35	c iter 89 time 240.068 not-muc 33707 unknown 4166 muc 20
431.29/431.35	c iter 90 time 242.991 not-muc 33710 unknown 4163 muc 20
431.29/431.35	c iter 91 time 246.494 not-muc 33711 unknown 4162 muc 20
431.29/431.35	c iter 92 time 249.918 not-muc 33712 unknown 4161 muc 20
431.29/431.35	c iter 93 time 253.21 not-muc 33713 unknown 4160 muc 20
431.29/431.35	c iter 94 time 257.401 not-muc 33714 unknown 4159 muc 20
431.29/431.35	c iter 95 time 262.943 not-muc 33717 unknown 4156 muc 20
431.29/431.35	c iter 96 time 263.385 not-muc 33717 unknown 4155 muc 21
431.29/431.35	c iter 97 time 266.88 not-muc 33719 unknown 4153 muc 21
431.29/431.35	c iter 98 time 270.115 not-muc 33720 unknown 4152 muc 21
431.29/431.35	c iter 99 time 273.595 not-muc 33721 unknown 4151 muc 21
431.29/431.35	c iter 100 time 277.155 not-muc 33724 unknown 4148 muc 21
431.29/431.35	c iter 101 time 277.239 not-muc 33724 unknown 4147 muc 22
431.29/431.35	c iter 102 time 281.895 not-muc 33726 unknown 4145 muc 22
431.29/431.35	c iter 103 time 285.395 not-muc 33728 unknown 4143 muc 22
431.29/431.35	c iter 104 time 288.877 not-muc 33731 unknown 4140 muc 22
431.29/431.35	c iter 105 time 292.427 not-muc 33732 unknown 4139 muc 22
431.29/431.35	c iter 106 time 295.862 not-muc 33733 unknown 4138 muc 22
431.29/431.35	c iter 107 time 299.378 not-muc 33735 unknown 4136 muc 22
431.29/431.35	c iter 108 time 302.344 not-muc 33737 unknown 4134 muc 22
431.29/431.35	c iter 109 time 305.814 not-muc 33739 unknown 4132 muc 22
431.29/431.35	c iter 110 time 309.555 not-muc 33742 unknown 4129 muc 22
431.29/431.35	c iter 111 time 312.792 not-muc 33746 unknown 4125 muc 22
431.29/431.35	c iter 112 time 316.437 not-muc 33749 unknown 4122 muc 22
431.29/431.35	c iter 113 time 319.293 not-muc 33754 unknown 4117 muc 22
431.29/431.35	c iter 114 time 322.886 not-muc 33755 unknown 4116 muc 22
431.29/431.35	c iter 115 time 326.379 not-muc 33763 unknown 4108 muc 22
431.29/431.35	c iter 116 time 331.854 not-muc 33764 unknown 4107 muc 22
431.29/431.35	c iter 117 time 332.034 not-muc 33764 unknown 4106 muc 23
431.29/431.35	c iter 118 time 332.09 not-muc 33764 unknown 4105 muc 24
431.29/431.35	c iter 119 time 337.888 not-muc 33765 unknown 4104 muc 24
431.29/431.35	c iter 120 time 341.56 not-muc 33767 unknown 4102 muc 24
431.29/431.35	c iter 121 time 346.494 not-muc 33773 unknown 4096 muc 24
431.29/431.35	c iter 122 time 350.755 not-muc 33776 unknown 4093 muc 24
431.29/431.35	c iter 123 time 354.511 not-muc 33778 unknown 4091 muc 24
431.29/431.35	c iter 124 time 354.639 not-muc 33778 unknown 4090 muc 25
431.29/431.35	c iter 125 time 358.11 not-muc 33780 unknown 4088 muc 25
431.29/431.35	c iter 126 time 361.617 not-muc 33781 unknown 4087 muc 25
431.29/431.35	c iter 127 time 365.624 not-muc 33783 unknown 4085 muc 25
431.29/431.35	c iter 128 time 370.47 not-muc 33802 unknown 4066 muc 25
431.29/431.35	c iter 129 time 373.798 not-muc 33805 unknown 4063 muc 25
431.29/431.35	c iter 130 time 377.127 not-muc 33806 unknown 4062 muc 25
431.29/431.35	c iter 131 time 380.975 not-muc 33807 unknown 4061 muc 25
431.29/431.35	c iter 132 time 385.203 not-muc 33811 unknown 4057 muc 25
431.29/431.35	c iter 133 time 389.381 not-muc 33812 unknown 4056 muc 25
431.29/431.35	c iter 134 time 393.688 not-muc 33816 unknown 4052 muc 25
431.29/431.35	c iter 135 time 399.19 not-muc 33820 unknown 4048 muc 25
431.29/431.35	c iter 136 time 403.222 not-muc 33821 unknown 4047 muc 25
431.29/431.35	c iter 137 time 408.278 not-muc 33823 unknown 4045 muc 25
431.29/431.35	c iter 138 time 412.054 not-muc 33824 unknown 4044 muc 25
431.29/431.35	c iter 139 time 419.04 not-muc 33826 unknown 4042 muc 25
431.29/431.35	c iter 140 time 422.867 not-muc 33827 unknown 4041 muc 25
431.29/431.35	c iter 141 time 426.139 not-muc 33829 unknown 4039 muc 25
431.29/431.35	c iter 142 time 430.009 not-muc 33834 unknown 4034 muc 25
431.29/431.35	c iter 143 time 430.185 not-muc 33834 unknown 4033 muc 26
631.38/631.49	c iter 144 time 433.968 not-muc 33836 unknown 4031 muc 26
631.38/631.49	c iter 145 time 437.546 not-muc 33837 unknown 4030 muc 26
631.38/631.49	c iter 146 time 441.787 not-muc 33840 unknown 4027 muc 26
631.38/631.49	c iter 147 time 445.334 not-muc 33842 unknown 4025 muc 26
631.38/631.49	c iter 148 time 448.47 not-muc 33844 unknown 4023 muc 26
631.38/631.49	c iter 149 time 452.291 not-muc 33845 unknown 4022 muc 26
631.38/631.49	c iter 150 time 456.196 not-muc 33846 unknown 4021 muc 26
631.38/631.49	c iter 151 time 460.371 not-muc 33848 unknown 4019 muc 26
631.38/631.49	c iter 152 time 465.571 not-muc 33849 unknown 4018 muc 26
631.38/631.49	c iter 153 time 471.254 not-muc 33850 unknown 4017 muc 26
631.38/631.49	c iter 154 time 475.119 not-muc 33851 unknown 4016 muc 26
631.38/631.49	c iter 155 time 478.802 not-muc 33852 unknown 4015 muc 26
631.38/631.49	c iter 156 time 482.329 not-muc 33854 unknown 4013 muc 26
631.38/631.49	c iter 157 time 487.777 not-muc 33857 unknown 4010 muc 26
631.38/631.49	c iter 158 time 492.161 not-muc 33862 unknown 4005 muc 26
631.38/631.49	c iter 159 time 496.14 not-muc 33864 unknown 4003 muc 26
631.38/631.49	c iter 160 time 501.475 not-muc 33866 unknown 4001 muc 26
631.38/631.49	c iter 161 time 505.223 not-muc 33867 unknown 4000 muc 26
631.38/631.49	c iter 162 time 512.302 not-muc 33869 unknown 3998 muc 26
631.38/631.49	c iter 163 time 515.944 not-muc 33870 unknown 3997 muc 26
631.38/631.49	c iter 164 time 519.496 not-muc 33872 unknown 3995 muc 26
631.38/631.49	c iter 165 time 523.254 not-muc 33880 unknown 3987 muc 26
631.38/631.49	c iter 166 time 527.182 not-muc 33891 unknown 3976 muc 26
631.38/631.49	c iter 167 time 531.163 not-muc 33897 unknown 3970 muc 26
631.38/631.49	c iter 168 time 534.778 not-muc 33898 unknown 3969 muc 26
631.38/631.49	c iter 169 time 538.146 not-muc 33899 unknown 3968 muc 26
631.38/631.49	c iter 170 time 541.768 not-muc 33901 unknown 3966 muc 26
631.38/631.49	c iter 171 time 545.148 not-muc 33904 unknown 3963 muc 26
631.38/631.49	c iter 172 time 551.13 not-muc 33906 unknown 3961 muc 26
631.38/631.49	c iter 173 time 554.491 not-muc 33908 unknown 3959 muc 26
631.38/631.49	c iter 174 time 557.927 not-muc 33913 unknown 3954 muc 26
631.38/631.49	c iter 175 time 561.483 not-muc 33914 unknown 3953 muc 26
631.38/631.49	c iter 176 time 563.984 not-muc 33917 unknown 3950 muc 26
631.38/631.49	c iter 177 time 566.76 not-muc 33918 unknown 3949 muc 26
631.38/631.49	c iter 178 time 570.144 not-muc 33923 unknown 3944 muc 26
631.38/631.49	c iter 179 time 576.319 not-muc 33927 unknown 3940 muc 26
631.38/631.49	c iter 180 time 580.425 not-muc 33928 unknown 3939 muc 26
631.38/631.49	c iter 181 time 583.738 not-muc 33930 unknown 3937 muc 26
631.38/631.49	c iter 182 time 584.227 not-muc 33930 unknown 3936 muc 27
631.38/631.49	c iter 183 time 584.306 not-muc 33930 unknown 3935 muc 28
631.38/631.49	c iter 184 time 584.374 not-muc 33930 unknown 3934 muc 29
631.38/631.49	c iter 185 time 584.442 not-muc 33930 unknown 3933 muc 30
631.38/631.49	c iter 186 time 584.517 not-muc 33930 unknown 3932 muc 31
631.38/631.49	c iter 187 time 584.59 not-muc 33930 unknown 3931 muc 32
631.38/631.49	c iter 188 time 584.664 not-muc 33930 unknown 3930 muc 33
631.38/631.49	c iter 189 time 584.736 not-muc 33930 unknown 3929 muc 34
631.38/631.49	c iter 190 time 584.816 not-muc 33930 unknown 3928 muc 35
631.38/631.49	c iter 191 time 585.158 not-muc 33930 unknown 3927 muc 36
631.38/631.49	c iter 192 time 585.819 not-muc 33930 unknown 3926 muc 37
631.38/631.49	c iter 193 time 589.616 not-muc 33934 unknown 3922 muc 37
631.38/631.49	c iter 194 time 593.732 not-muc 33935 unknown 3921 muc 37
631.38/631.49	c iter 195 time 597.625 not-muc 33938 unknown 3918 muc 37
631.38/631.49	c iter 196 time 600.979 not-muc 33942 unknown 3914 muc 37
631.38/631.49	c iter 197 time 601.359 not-muc 33942 unknown 3913 muc 38
631.38/631.49	c iter 198 time 601.401 not-muc 33942 unknown 3912 muc 39
631.38/631.49	c iter 199 time 601.444 not-muc 33942 unknown 3911 muc 40
631.38/631.49	c iter 200 time 601.49 not-muc 33942 unknown 3910 muc 41
631.38/631.49	c iter 201 time 601.539 not-muc 33942 unknown 3909 muc 42
631.38/631.49	c iter 202 time 601.595 not-muc 33942 unknown 3908 muc 43
631.38/631.49	c iter 203 time 601.651 not-muc 33942 unknown 3907 muc 44
631.38/631.49	c iter 204 time 601.714 not-muc 33942 unknown 3906 muc 45
631.38/631.49	c iter 205 time 601.777 not-muc 33942 unknown 3905 muc 46
631.38/631.49	c iter 206 time 601.832 not-muc 33942 unknown 3904 muc 47
631.38/631.49	c iter 207 time 601.942 not-muc 33942 unknown 3903 muc 48
631.38/631.49	c iter 208 time 602.277 not-muc 33942 unknown 3902 muc 49
631.38/631.49	c iter 209 time 610.199 not-muc 33944 unknown 3900 muc 49
631.38/631.49	c iter 210 time 613.943 not-muc 33947 unknown 3897 muc 49
631.38/631.49	c iter 211 time 618.06 not-muc 33949 unknown 3895 muc 49
631.38/631.49	c iter 212 time 621.424 not-muc 33951 unknown 3893 muc 49
631.38/631.49	c iter 213 time 626.097 not-muc 33952 unknown 3892 muc 49
631.38/631.49	c iter 214 time 629.844 not-muc 33955 unknown 3889 muc 49
907.58/907.68	c iter 215 time 637.192 not-muc 33956 unknown 3888 muc 49
907.58/907.68	c iter 216 time 641.02 not-muc 33958 unknown 3886 muc 49
907.58/907.68	c iter 217 time 647.523 not-muc 33959 unknown 3885 muc 49
907.58/907.68	c iter 218 time 653.729 not-muc 33960 unknown 3884 muc 49
907.58/907.68	c iter 219 time 657.746 not-muc 33961 unknown 3883 muc 49
907.58/907.68	c iter 220 time 660.473 not-muc 33962 unknown 3882 muc 49
907.58/907.68	c iter 221 time 664.177 not-muc 33963 unknown 3881 muc 49
907.58/907.68	c iter 222 time 667.782 not-muc 33964 unknown 3880 muc 49
907.58/907.68	c iter 223 time 671.272 not-muc 33965 unknown 3879 muc 49
907.58/907.68	c iter 224 time 677.875 not-muc 33967 unknown 3877 muc 49
907.58/907.68	c iter 225 time 681.271 not-muc 33968 unknown 3876 muc 49
907.58/907.68	c iter 226 time 684.917 not-muc 33969 unknown 3875 muc 49
907.58/907.68	c iter 227 time 692.089 not-muc 33970 unknown 3874 muc 49
907.58/907.68	c iter 228 time 695.284 not-muc 33971 unknown 3873 muc 49
907.58/907.68	c iter 229 time 699.23 not-muc 33972 unknown 3872 muc 49
907.58/907.68	c iter 230 time 702.829 not-muc 33976 unknown 3868 muc 49
907.58/907.68	c iter 231 time 706.227 not-muc 33977 unknown 3867 muc 49
907.58/907.68	c iter 232 time 710.111 not-muc 33979 unknown 3865 muc 49
907.58/907.68	c iter 233 time 714.726 not-muc 33981 unknown 3863 muc 49
907.58/907.68	c iter 234 time 720.168 not-muc 33982 unknown 3862 muc 49
907.58/907.68	c iter 235 time 723.658 not-muc 33984 unknown 3860 muc 49
907.58/907.68	c iter 236 time 727.503 not-muc 33985 unknown 3859 muc 49
907.58/907.68	c iter 237 time 731.047 not-muc 33987 unknown 3857 muc 49
907.58/907.68	c iter 238 time 734.849 not-muc 33988 unknown 3856 muc 49
907.58/907.68	c iter 239 time 738.44 not-muc 33989 unknown 3855 muc 49
907.58/907.68	c iter 240 time 741.58 not-muc 33992 unknown 3852 muc 49
907.58/907.68	c iter 241 time 744.946 not-muc 33993 unknown 3851 muc 49
907.58/907.68	c iter 242 time 748.468 not-muc 33994 unknown 3850 muc 49
907.58/907.68	c iter 243 time 751.847 not-muc 33995 unknown 3849 muc 49
907.58/907.68	c iter 244 time 755.53 not-muc 33997 unknown 3847 muc 49
907.58/907.68	c iter 245 time 758.798 not-muc 33998 unknown 3846 muc 49
907.58/907.68	c iter 246 time 762.171 not-muc 33999 unknown 3845 muc 49
907.58/907.68	c iter 247 time 765.861 not-muc 34000 unknown 3844 muc 49
907.58/907.68	c iter 248 time 770.708 not-muc 34001 unknown 3843 muc 49
907.58/907.68	c iter 249 time 775.148 not-muc 34002 unknown 3842 muc 49
907.58/907.68	c iter 250 time 777.948 not-muc 34003 unknown 3841 muc 49
907.58/907.68	c iter 251 time 781.79 not-muc 34004 unknown 3840 muc 49
907.58/907.68	c iter 252 time 785.494 not-muc 34005 unknown 3839 muc 49
907.58/907.68	c iter 253 time 789.094 not-muc 34006 unknown 3838 muc 49
907.58/907.68	c iter 254 time 794.163 not-muc 34007 unknown 3837 muc 49
907.58/907.68	c iter 255 time 797.725 not-muc 34009 unknown 3835 muc 49
907.58/907.68	c iter 256 time 801.165 not-muc 34012 unknown 3832 muc 49
907.58/907.68	c iter 257 time 803.191 not-muc 34013 unknown 3831 muc 49
907.58/907.68	c iter 258 time 806.451 not-muc 34015 unknown 3829 muc 49
907.58/907.68	c iter 259 time 809.902 not-muc 34016 unknown 3828 muc 49
907.58/907.68	c iter 260 time 814.644 not-muc 34017 unknown 3827 muc 49
907.58/907.68	c iter 261 time 818.41 not-muc 34020 unknown 3824 muc 49
907.58/907.68	c iter 262 time 821.822 not-muc 34024 unknown 3820 muc 49
907.58/907.68	c iter 263 time 825.326 not-muc 34025 unknown 3819 muc 49
907.58/907.68	c iter 264 time 829.614 not-muc 34026 unknown 3818 muc 49
907.58/907.68	c iter 265 time 834.096 not-muc 34029 unknown 3815 muc 49
907.58/907.68	c iter 266 time 840.273 not-muc 34030 unknown 3814 muc 49
907.58/907.68	c iter 267 time 844.213 not-muc 34032 unknown 3812 muc 49
907.58/907.68	c iter 268 time 848.731 not-muc 34035 unknown 3809 muc 49
907.58/907.68	c iter 269 time 852.021 not-muc 34037 unknown 3807 muc 49
907.58/907.68	c iter 270 time 856.014 not-muc 34039 unknown 3805 muc 49
907.58/907.68	c iter 271 time 860.496 not-muc 34040 unknown 3804 muc 49
907.58/907.68	c iter 272 time 864.139 not-muc 34041 unknown 3803 muc 49
907.58/907.68	c iter 273 time 867.404 not-muc 34043 unknown 3801 muc 49
907.58/907.68	c iter 274 time 870.734 not-muc 34044 unknown 3800 muc 49
907.58/907.68	c iter 275 time 873.376 not-muc 34045 unknown 3799 muc 49
907.58/907.68	c iter 276 time 877.046 not-muc 34046 unknown 3798 muc 49
907.58/907.68	c iter 277 time 880.047 not-muc 34047 unknown 3797 muc 49
907.58/907.68	c iter 278 time 883.773 not-muc 34048 unknown 3796 muc 49
907.58/907.68	c iter 279 time 887.198 not-muc 34049 unknown 3795 muc 49
907.58/907.68	c iter 280 time 891.536 not-muc 34050 unknown 3794 muc 49
907.58/907.68	c iter 281 time 895.608 not-muc 34051 unknown 3793 muc 49
907.58/907.68	c iter 282 time 899.367 not-muc 34052 unknown 3792 muc 49
907.58/907.68	c iter 283 time 905.079 not-muc 34053 unknown 3791 muc 49
907.58/907.68	c iter 284 time 905.257 not-muc 34053 unknown 3790 muc 50
907.58/907.68	c iter 285 time 905.336 not-muc 34053 unknown 3789 muc 51
1170.28/1170.40	c iter 286 time 905.409 not-muc 34053 unknown 3788 muc 52
1170.28/1170.40	c iter 287 time 905.514 not-muc 34053 unknown 3787 muc 53
1170.28/1170.40	c iter 288 time 910.162 not-muc 34054 unknown 3786 muc 53
1170.28/1170.40	c iter 289 time 913.969 not-muc 34055 unknown 3785 muc 53
1170.28/1170.40	c iter 290 time 917.551 not-muc 34058 unknown 3782 muc 53
1170.28/1170.40	c iter 291 time 921.078 not-muc 34059 unknown 3781 muc 53
1170.28/1170.40	c iter 292 time 924.765 not-muc 34060 unknown 3780 muc 53
1170.28/1170.40	c iter 293 time 927.312 not-muc 34061 unknown 3779 muc 53
1170.28/1170.40	c iter 294 time 930.606 not-muc 34062 unknown 3778 muc 53
1170.28/1170.40	c iter 295 time 934.194 not-muc 34063 unknown 3777 muc 53
1170.28/1170.40	c iter 296 time 938.088 not-muc 34064 unknown 3776 muc 53
1170.28/1170.40	c iter 297 time 943.049 not-muc 34065 unknown 3775 muc 53
1170.28/1170.40	c iter 298 time 946.479 not-muc 34066 unknown 3774 muc 53
1170.28/1170.40	c iter 299 time 949.958 not-muc 34068 unknown 3772 muc 53
1170.28/1170.40	c iter 300 time 953.351 not-muc 34072 unknown 3768 muc 53
1170.28/1170.40	c iter 301 time 956.869 not-muc 34074 unknown 3766 muc 53
1170.28/1170.40	c iter 302 time 962.597 not-muc 34075 unknown 3765 muc 53
1170.28/1170.40	c iter 303 time 965.871 not-muc 34076 unknown 3764 muc 53
1170.28/1170.40	c iter 304 time 969.464 not-muc 34078 unknown 3762 muc 53
1170.28/1170.40	c iter 305 time 972.702 not-muc 34080 unknown 3760 muc 53
1170.28/1170.40	c iter 306 time 976.182 not-muc 34081 unknown 3759 muc 53
1170.28/1170.40	c iter 307 time 979.811 not-muc 34082 unknown 3758 muc 53
1170.28/1170.40	c iter 308 time 983.285 not-muc 34083 unknown 3757 muc 53
1170.28/1170.40	c iter 309 time 986.993 not-muc 34084 unknown 3756 muc 53
1170.28/1170.40	c iter 310 time 991.066 not-muc 34086 unknown 3754 muc 53
1170.28/1170.40	c iter 311 time 991.348 not-muc 34086 unknown 3753 muc 54
1170.28/1170.40	c iter 312 time 994.677 not-muc 34087 unknown 3752 muc 54
1170.28/1170.40	c iter 313 time 998.489 not-muc 34088 unknown 3751 muc 54
1170.28/1170.40	c iter 314 time 1003.12 not-muc 34089 unknown 3750 muc 54
1170.28/1170.40	c iter 315 time 1009.51 not-muc 34090 unknown 3749 muc 54
1170.28/1170.40	c iter 316 time 1013.45 not-muc 34091 unknown 3748 muc 54
1170.28/1170.40	c iter 317 time 1017.08 not-muc 34092 unknown 3747 muc 54
1170.28/1170.40	c iter 318 time 1020.92 not-muc 34093 unknown 3746 muc 54
1170.28/1170.40	c iter 319 time 1026.04 not-muc 34094 unknown 3745 muc 54
1170.28/1170.40	c iter 320 time 1029.62 not-muc 34095 unknown 3744 muc 54
1170.28/1170.40	c iter 321 time 1034.78 not-muc 34096 unknown 3743 muc 54
1170.28/1170.40	c iter 322 time 1038.42 not-muc 34097 unknown 3742 muc 54
1170.28/1170.40	c iter 323 time 1042.35 not-muc 34098 unknown 3741 muc 54
1170.28/1170.40	c iter 324 time 1045.86 not-muc 34099 unknown 3740 muc 54
1170.28/1170.40	c iter 325 time 1049.09 not-muc 34100 unknown 3739 muc 54
1170.28/1170.40	c iter 326 time 1052.45 not-muc 34101 unknown 3738 muc 54
1170.28/1170.40	c iter 327 time 1059.48 not-muc 34102 unknown 3737 muc 54
1170.28/1170.40	c iter 328 time 1063.27 not-muc 34105 unknown 3734 muc 54
1170.28/1170.40	c iter 329 time 1067.36 not-muc 34106 unknown 3733 muc 54
1170.28/1170.40	c iter 330 time 1071.19 not-muc 34107 unknown 3732 muc 54
1170.28/1170.40	c iter 331 time 1075.03 not-muc 34109 unknown 3730 muc 54
1170.28/1170.40	c iter 332 time 1078.37 not-muc 34110 unknown 3729 muc 54
1170.28/1170.40	c iter 333 time 1081.27 not-muc 34111 unknown 3728 muc 54
1170.28/1170.40	c iter 334 time 1084.43 not-muc 34112 unknown 3727 muc 54
1170.28/1170.40	c iter 335 time 1091.12 not-muc 34115 unknown 3724 muc 54
1170.28/1170.40	c iter 336 time 1093.86 not-muc 34116 unknown 3723 muc 54
1170.28/1170.40	c iter 337 time 1099.19 not-muc 34117 unknown 3722 muc 54
1170.28/1170.40	c iter 338 time 1102.37 not-muc 34119 unknown 3720 muc 54
1170.28/1170.40	c iter 339 time 1109.79 not-muc 34120 unknown 3719 muc 54
1170.28/1170.40	c iter 340 time 1113.63 not-muc 34122 unknown 3717 muc 54
1170.28/1170.40	c iter 341 time 1116.99 not-muc 34123 unknown 3716 muc 54
1170.28/1170.40	c iter 342 time 1121.56 not-muc 34125 unknown 3714 muc 54
1170.28/1170.40	c iter 343 time 1125.07 not-muc 34126 unknown 3713 muc 54
1170.28/1170.40	c iter 344 time 1128.58 not-muc 34127 unknown 3712 muc 54
1170.28/1170.40	c iter 345 time 1132.44 not-muc 34129 unknown 3710 muc 54
1170.28/1170.40	c iter 346 time 1135.93 not-muc 34132 unknown 3707 muc 54
1170.28/1170.40	c iter 347 time 1140.04 not-muc 34134 unknown 3705 muc 54
1170.28/1170.40	c iter 348 time 1144.02 not-muc 34135 unknown 3704 muc 54
1170.28/1170.40	c iter 349 time 1148.71 not-muc 34136 unknown 3703 muc 54
1170.28/1170.40	c iter 350 time 1152.05 not-muc 34137 unknown 3702 muc 54
1170.28/1170.40	c iter 351 time 1155.34 not-muc 34140 unknown 3699 muc 54
1170.28/1170.40	c iter 352 time 1158.15 not-muc 34141 unknown 3698 muc 54
1170.28/1170.40	c iter 353 time 1161.65 not-muc 34142 unknown 3697 muc 54
1170.28/1170.40	c iter 354 time 1165.01 not-muc 34143 unknown 3696 muc 54
1170.28/1170.40	c iter 355 time 1167.48 not-muc 34144 unknown 3695

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

running on 2 cores: 1,3

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: 3.92 3.79 2.46 6/189 16681
/proc/meminfo: memFree=25818044/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=24132 CPUtime=0 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 551 0 0 0 0 0 0 0 25 0 1 0 891950138 24711168 489 33554432000 4194304 4337479 140735869352672 18446744073709551615 4321406 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 6033 489 218 35 0 2656 0

[startup+0.080526 s]
/proc/loadavg: 3.92 3.79 2.46 6/189 16681
/proc/meminfo: memFree=25818044/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=22836 CPUtime=0.07 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 1932 0 0 0 7 0 0 0 25 0 1 0 891950138 23384064 1501 33554432000 4194304 4337479 140735869352672 18446744073709551615 4288841 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 5709 1501 244 35 0 2332 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22836

[startup+0.100526 s]
/proc/loadavg: 3.92 3.79 2.46 6/189 16681
/proc/meminfo: memFree=25818044/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=22836 CPUtime=0.09 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 1991 0 0 0 9 0 0 0 25 0 1 0 891950138 23384064 1559 33554432000 4194304 4337479 140735869352672 18446744073709551615 4310462 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 5709 1559 244 35 0 2332 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22836

[startup+0.300491 s]
/proc/loadavg: 3.92 3.79 2.46 6/189 16681
/proc/meminfo: memFree=25818044/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=25336 CPUtime=0.29 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 2893 0 0 0 29 0 0 0 25 0 1 0 891950138 25944064 2458 33554432000 4194304 4337479 140735869352672 18446744073709551615 4288986 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 6334 2458 245 35 0 2957 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25336

[startup+0.700417 s]
/proc/loadavg: 3.92 3.79 2.46 6/189 16681
/proc/meminfo: memFree=25818044/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=32684 CPUtime=0.69 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 4481 0 0 0 69 0 0 0 25 0 1 0 891950138 33468416 4034 33554432000 4194304 4337479 140735869352672 18446744073709551615 4303184 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 8171 4034 245 35 0 4794 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32684

[startup+1.50029 s]
/proc/loadavg: 3.92 3.79 2.46 5/190 16682
/proc/meminfo: memFree=25788684/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=45316 CPUtime=1.49 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 7197 0 0 0 148 1 0 0 25 0 1 0 891950138 46403584 6736 33554432000 4194304 4337479 140735869352672 18446744073709551615 4258657 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 11329 6736 245 35 0 7952 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45316

[startup+3.10099 s]
/proc/loadavg: 3.92 3.79 2.46 5/190 16683
/proc/meminfo: memFree=25731024/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=60028 CPUtime=3.09 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 12361 0 0 0 308 1 0 0 25 0 1 0 891950138 61468672 10635 33554432000 4194304 4337479 140735869352672 18446744073709551615 4296124 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 15007 10635 265 35 0 11630 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60028

[startup+6.30043 s]
/proc/loadavg: 3.93 3.79 2.47 5/190 16683
/proc/meminfo: memFree=25641644/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=96924 CPUtime=6.29 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 19841 0 0 0 627 2 0 0 25 0 1 0 891950138 99250176 17919 33554432000 4194304 4337479 140735869352672 18446744073709551615 4278612 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 24231 17919 265 35 0 20854 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 96924

[startup+12.7003 s]
/proc/loadavg: 3.93 3.79 2.47 5/190 16683
/proc/meminfo: memFree=25475620/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=146532 CPUtime=12.69 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 34242 0 0 0 1265 4 0 0 25 0 1 0 891950138 150048768 32043 33554432000 4194304 4337479 140735869352672 18446744073709551615 4288532 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 36633 32043 266 35 0 33256 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 146532

[startup+25.501 s]
/proc/loadavg: 3.95 3.80 2.50 5/190 16683
/proc/meminfo: memFree=25095048/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=236172 CPUtime=25.49 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 56440 0 0 0 2542 7 0 0 25 0 1 0 891950138 241840128 53823 33554432000 4194304 4337479 140735869352672 18446744073709551615 4278686 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 59043 53823 266 35 0 55666 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 236172

[startup+51.1005 s]
/proc/loadavg: 3.96 3.82 2.54 5/190 16684
/proc/meminfo: memFree=24090728/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=427972 CPUtime=51.09 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 102947 0 0 0 5095 14 0 0 25 0 1 0 891950138 438243328 99677 33554432000 4194304 4337479 140735869352672 18446744073709551615 4303218 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 106993 99677 266 35 0 103616 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 427972

[startup+102.306 s]
/proc/loadavg: 3.98 3.84 2.61 5/190 16685
/proc/meminfo: memFree=23462836/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=806856 CPUtime=102.3 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 191630 0 0 0 10202 28 0 0 25 0 1 0 891950138 826220544 187733 33554432000 4194304 4337479 140735869352672 18446744073709551615 4289293 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 201714 187733 266 35 0 198337 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 806856

[startup+162.301 s]
/proc/loadavg: 3.99 3.87 2.70 5/190 16687
/proc/meminfo: memFree=22913580/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=1264896 CPUtime=162.29 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 296431 0 0 0 16183 46 0 0 25 0 1 0 891950138 1295253504 292349 33554432000 4194304 4337479 140735869352672 18446744073709551615 4280208 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 316224 292349 266 35 0 312847 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1264896

[startup+222.3 s]
/proc/loadavg: 3.99 3.89 2.77 5/190 16688
/proc/meminfo: memFree=21366484/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=1704176 CPUtime=222.29 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 396858 0 0 0 22168 61 0 0 25 0 1 0 891950138 1745076224 392704 33554432000 4194304 4337479 140735869352672 18446744073709551615 4303698 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 426044 392704 268 35 0 422667 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1704176

[startup+282.301 s]
/proc/loadavg: 3.99 3.91 2.85 5/190 16690
/proc/meminfo: memFree=20744656/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=2128292 CPUtime=282.3 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 491185 0 0 0 28151 79 0 0 25 0 1 0 891950138 2179371008 486996 33554432000 4194304 4337479 140735869352672 18446744073709551615 4288988 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 532073 486996 268 35 0 528696 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 2128292

[startup+342.301 s]
/proc/loadavg: 3.99 3.92 2.92 5/190 16692
/proc/meminfo: memFree=19880196/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=2521940 CPUtime=342.29 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 583551 0 0 0 34135 94 0 0 25 0 1 0 891950138 2582466560 579350 33554432000 4194304 4337479 140735869352672 18446744073709551615 4280388 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 630485 579350 268 35 0 627108 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 2521940

[startup+402.3 s]
/proc/loadavg: 4.03 3.95 2.99 5/190 16693
/proc/meminfo: memFree=19319032/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=2919184 CPUtime=402.29 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 680837 0 0 0 40121 108 0 0 25 0 1 0 891950138 2989244416 676631 33554432000 4194304 4337479 140735869352672 18446744073709551615 4304539 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 729796 676631 268 35 0 726419 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 2919184

[startup+462.301 s]
/proc/loadavg: 4.01 3.95 3.05 5/190 16695
/proc/meminfo: memFree=18834256/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=3369308 CPUtime=462.29 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 771377 0 0 0 46106 123 0 0 25 0 1 0 891950138 3450171392 767168 33554432000 4194304 4337479 140735869352672 18446744073709551615 4258699 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 842327 767168 268 35 0 838950 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 3369308

[startup+522.301 s]
/proc/loadavg: 4.06 3.97 3.11 5/190 16696
/proc/meminfo: memFree=18309928/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=3738560 CPUtime=522.29 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 860997 0 0 0 52090 139 0 0 25 0 1 0 891950138 3828285440 856788 33554432000 4194304 4337479 140735869352672 18446744073709551615 4288747 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 934640 856788 268 35 0 931263 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 3738560

[startup+582.3 s]
/proc/loadavg: 4.02 3.97 3.16 5/190 16698
/proc/meminfo: memFree=17802188/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=4115400 CPUtime=582.28 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 950444 0 0 0 58075 153 0 0 25 0 1 0 891950138 4214169600 946234 33554432000 4194304 4337479 140735869352672 18446744073709551615 4310666 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 1028850 946234 268 35 0 1025473 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 4115400

[startup+642.301 s]
/proc/loadavg: 4.01 3.97 3.21 5/190 16700
/proc/meminfo: memFree=17392384/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=4494164 CPUtime=642.28 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 1026837 0 0 0 64062 166 0 0 25 0 1 0 891950138 4602023936 1018818 33554432000 4194304 4337479 140735869352672 18446744073709551615 4303269 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 1123541 1018818 268 35 0 1120164 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 4494164

[startup+702.301 s]
/proc/loadavg: 4.00 3.97 3.26 5/190 16701
/proc/meminfo: memFree=16939816/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=4866996 CPUtime=702.28 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 1115772 0 0 0 70046 182 0 0 25 0 1 0 891950138 4983803904 1107753 33554432000 4194304 4337479 140735869352672 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 1216749 1107753 268 35 0 1213372 0
Current children cumulated CPU time (s) 702.28
Current children cumulated vsize (KiB) 4866996

[startup+762.306 s]
/proc/loadavg: 4.00 3.97 3.30 5/190 16703
/proc/meminfo: memFree=16430228/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=5277760 CPUtime=762.28 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 1209783 0 0 0 76031 197 0 0 25 0 1 0 891950138 5404426240 1201764 33554432000 4194304 4337479 140735869352672 18446744073709551615 4258699 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 1319440 1201764 268 35 0 1316063 0
Current children cumulated CPU time (s) 762.28
Current children cumulated vsize (KiB) 5277760

[startup+822.301 s]
/proc/loadavg: 4.00 3.97 3.34 5/190 16704
/proc/meminfo: memFree=15990712/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=5690432 CPUtime=822.28 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 1306527 0 0 0 82016 212 0 0 25 0 1 0 891950138 5827002368 1298508 33554432000 4194304 4337479 140735869352672 18446744073709551615 4258657 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 1422608 1298508 268 35 0 1419231 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 5690432

[startup+882.3 s]
/proc/loadavg: 4.00 3.97 3.38 5/190 16706
/proc/meminfo: memFree=15563604/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=6029924 CPUtime=882.28 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 1394335 0 0 0 88002 226 0 0 25 0 1 0 891950138 6174642176 1386316 33554432000 4194304 4337479 140735869352672 18446744073709551615 4272819 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 1507481 1386316 268 35 0 1504104 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 6029924

[startup+942.301 s]
/proc/loadavg: 4.00 3.97 3.42 5/190 16747
/proc/meminfo: memFree=18608240/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=6503128 CPUtime=942.28 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 1480097 0 0 0 93987 241 0 0 25 0 1 0 891950138 6659203072 1472078 33554432000 4194304 4337479 140735869352672 18446744073709551615 4303723 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 1625782 1472078 268 35 0 1622405 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 6503128

[startup+1002.3 s]
/proc/loadavg: 4.00 3.97 3.45 5/190 16833
/proc/meminfo: memFree=18118500/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=6927284 CPUtime=1002.28 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 1572813 0 0 0 99973 255 0 0 25 0 1 0 891950138 7093538816 1564794 33554432000 4194304 4337479 140735869352672 18446744073709551615 4303174 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 1731821 1564794 268 35 0 1728444 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 6927284

[startup+1062.3 s]
/proc/loadavg: 4.00 3.97 3.48 5/190 16835
/proc/meminfo: memFree=17552368/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=7310256 CPUtime=1062.28 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 1663588 0 0 0 105960 268 0 0 25 0 1 0 891950138 7485702144 1655569 33554432000 4194304 4337479 140735869352672 18446744073709551615 4259860 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 1827564 1655569 268 35 0 1824187 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 7310256

[startup+1122.3 s]
/proc/loadavg: 4.00 3.97 3.51 5/190 16874
/proc/meminfo: memFree=17347580/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=7524576 CPUtime=1122.28 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 1732355 0 0 0 111951 277 0 0 25 0 1 0 891950138 7705165824 1720842 33554432000 4194304 4337479 140735869352672 18446744073709551615 4280273 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 1881144 1720842 268 35 0 1877767 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 7524576



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1173.6 s]
/proc/loadavg: 4.05 3.99 3.54 6/190 16879
/proc/meminfo: memFree=16865356/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=7867012 CPUtime=1173.58 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4202496 1811452 0 0 0 117067 291 0 0 25 0 1 0 891950138 8055820288 1799939 33554432000 4194304 4337479 140735869352672 18446744073709551615 4279978 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16681/statm: 1966753 1799939 268 35 0 1963376 0
Current children cumulated CPU time (s) 1173.58
Current children cumulated vsize (KiB) 7867012

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

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

[startup+1173.8 s]
/proc/loadavg: 4.05 3.99 3.54 6/190 16879
/proc/meminfo: memFree=16865356/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=0 CPUtime=1173.77 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4203524 1811452 0 0 0 117067 310 0 0 25 0 1 0 891950138 0 0 33554432000 0 0 0 0 0 0 0 4096 8388610 18446744073709551615 0 0 17 1 0 0 0
/proc/16681/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1173.77
Current children cumulated vsize (KiB) 0

[startup+1173.9 s]
/proc/loadavg: 4.05 3.99 3.54 6/190 16879
/proc/meminfo: memFree=16865356/32951124 swapFree=67050780/67111528
[pid=16681] ppid=16679 vsize=0 CPUtime=1173.87 cores=1,3
/proc/16681/stat : 16681 (hmuc) R 16679 16681 16237 0 -1 4203524 1811452 0 0 0 117067 320 0 0 25 0 1 0 891950138 0 0 33554432000 0 0 0 0 0 0 0 4096 8388610 18446744073709551615 0 0 17 1 0 0 0
/proc/16681/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1173.87
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1173.94
CPU time (s): 1173.93
CPU user time (s): 1170.68
CPU system time (s): 3.24651
CPU usage (%): 99.9986
Max. virtual memory (cumulated for all children) (KiB): 7867012

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

runsolver used 1.83372 second user time and 4.5813 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-11 16:44:34
IDJOB=3494555
IDBENCH=83435
IDSOLVER=1985
FILE ID=node101/3494555-1307803474
RUNJOBID= node101-1307802577-16257
PBS_JOBID= 13551075
Free space on /tmp= 74068 MiB

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

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

MD5SUM BENCH= 2f0f06d695c1977edc3fba0ba8753984
RANDOM SEED=2119874462

node101.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.841
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.68
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.841
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.07
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.841
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.77
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.841
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.841
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.74
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.841
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.841
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.75
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.841
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:      25818712 kB
Buffers:        228276 kB
Cached:         838552 kB
SwapCached:      27776 kB
Active:        6142016 kB
Inactive:       791640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25818712 kB
SwapTotal:    67111528 kB
SwapFree:     67050780 kB
Dirty:            2264 kB
Writeback:           0 kB
AnonPages:     5860904 kB
Mapped:           9608 kB
Slab:           122596 kB
PageTables:      17052 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  6477328 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= 74064 MiB
End job on node101 at 2011-06-11 17:04:09