Trace number 454860

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16SAT (MO)-37 1475.48 1475.91

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_3.opb
MD5SUMe05fbfdce4433b0b2590ec382b530cec
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-71
Best CPU time to get the best result obtained on this benchmark1800.44
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -71
Optimality of the best value was proved NO
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)150588
Sum of products size (including duplicates)301176
Number of different products75294
Sum of products size150588

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/454860-1178032661/instance-454860-1178032661.opb
0.00/0.00	c File size is 2153873 bytes.
0.89/0.95	c Highest Coefficient sum: 2000
0.89/0.95	c Parsing was ok!!
0.89/0.95	c Total parsing time: 0.954 s
1.19/1.21	c Var: 152588 Constr: 304178 151588/2002/150588 Lit: 1060116 Watch. Lit: 907530
1.19/1.21	c Obj. Vars: 1000 (0.65536 % of total variables)
181.23/181.34	c Pre-processing Time: 181.284 s
181.23/181.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.23/181.37	c        0 152588   304178  1060116    3   907530  500000      0      0 181.28
181.23/181.37	c Switching off LPR mode.
181.53/181.65	o -1	181.587
181.93/182.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.93/182.03	c        0 152588   304179  1061116    3   907533  500000      1      0 181.65
181.93/182.03	o -2	181.969
182.33/182.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.33/182.41	c        0 152588   304180  1062116    3   907537  500000      2      0 182.04
182.33/182.41	o -3	182.352
182.63/182.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.63/182.80	c        0 152588   304181  1063116    3   907542  500000      3      0 182.42
182.63/182.80	o -4	182.737
183.03/183.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.03/183.18	c        0 152588   304182  1064116    3   907548  500000      4      0 182.81
183.03/183.18	o -5	183.123
183.43/183.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.43/183.57	c        0 152588   304183  1065116    3   907555  500000      5      0 183.20
183.43/183.57	o -6	183.51
183.83/183.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.83/183.96	c        0 152588   304184  1066116    3   907563  500000      6      0 183.58
183.83/183.96	o -7	183.897
184.23/184.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
184.23/184.34	c        0 152588   304185  1067116    3   907572  500000      7      0 183.97
184.23/184.34	o -8	184.284
184.64/184.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
184.64/184.73	c        0 152588   304186  1068116    3   907582  500000      8      0 184.36
184.64/184.73	o -9	184.672
185.03/185.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
185.03/185.12	c        0 152588   304187  1069116    3   907593  500000      9      0 184.75
185.03/185.12	o -10	185.057
185.43/185.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
185.43/185.50	c        0 152588   304188  1070116    3   907605  500000     10      0 185.13
185.43/185.50	o -11	185.444
185.74/185.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
185.74/185.89	c        0 152588   304189  1071116    3   907618  500000     11      0 185.52
185.74/185.89	o -12	185.832
186.13/186.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
186.13/186.28	c        0 152588   304190  1072116    3   907632  500000     12      0 185.91
186.13/186.28	o -13	186.218
186.53/186.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
186.53/186.67	c        0 152588   304191  1073116    3   907647  500000     13      0 186.30
186.53/186.67	o -14	186.605
186.93/187.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
186.93/187.05	c        0 152588   304192  1074116    3   907663  500000     14      0 186.69
186.93/187.05	o -15	186.993
187.33/187.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
187.33/187.44	c        0 152588   304193  1075116    3   907680  500000     15      0 187.07
187.33/187.44	o -16	187.379
187.72/187.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
187.72/187.83	c        0 152588   304194  1076116    3   907698  500000     16      0 187.46
187.72/187.83	o -17	187.766
188.12/188.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
188.12/188.21	c        0 152588   304195  1077116    3   907717  500000     17      0 187.85
188.12/188.21	o -18	188.154
188.53/188.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
188.53/188.60	c        0 152588   304196  1078116    3   907737  500000     18      0 188.24
188.53/188.60	o -19	188.543
188.83/188.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
188.83/188.99	c        0 152588   304197  1079116    3   907758  500000     19      0 188.63
188.83/188.99	o -20	188.933
189.23/189.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
189.23/189.38	c        0 152588   304198  1080116    3   907780  500000     20      0 189.02
189.23/189.38	o -21	189.323
189.63/189.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
189.63/189.77	c        0 152588   304199  1081116    3   907803  500000     21      0 189.41
189.63/189.77	o -22	189.712
190.03/190.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
190.03/190.16	c        0 152588   304200  1082116    3   907827  500000     22      0 189.80
190.03/190.16	o -23	190.101
190.42/190.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
190.42/190.55	c        0 152588   304201  1083116    3   907852  500000     23      0 190.19
190.42/190.55	o -24	190.49
190.83/190.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
190.83/190.94	c        0 152588   304202  1084116    3   907878  500000     24      0 190.57
190.83/190.94	o -25	190.879
191.23/191.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
191.23/191.33	c        0 152588   304203  1085116    3   907905  500000     25      0 190.96
191.23/191.33	o -26	191.267
191.63/191.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
191.63/191.71	c        0 152588   304204  1086116    3   907933  500000     26      0 191.35
191.63/191.71	o -27	191.654
192.03/192.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
192.03/192.10	c        0 152588   304205  1087116    3   907962  500000     27      0 191.74
192.03/192.10	o -28	192.041
192.33/192.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
192.33/192.49	c        0 152588   304206  1088116    3   907992  500000     28      0 192.13
192.33/192.49	o -29	192.428
192.73/192.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
192.73/192.87	c        0 152588   304207  1089116    3   908023  500000     29      0 192.51
192.73/192.87	o -30	192.813
193.13/193.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
193.13/193.26	c        0 152588   304208  1090116    3   908055  500000     30      0 192.90
193.13/193.26	o -31	193.198
193.54/193.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
193.54/193.64	c        0 152588   304209  1091116    3   908088  500000     31      0 193.28
193.54/193.64	o -32	193.583
193.92/194.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
193.92/194.03	c        0 152588   304210  1092116    3   908122  500000     32      0 193.67
193.92/194.03	o -33	193.968
194.32/194.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
194.32/194.41	c        0 152588   304211  1093116    3   908157  500000     33      0 194.06
194.32/194.41	o -34	194.352
194.63/194.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
194.63/194.80	c        0 152588   304212  1094116    3   908193  500000     34      0 194.44
194.63/194.80	o -35	194.735
195.23/195.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
195.23/195.30	c        0 152588   304213  1095116    3   908230  500000     35      0 194.82
195.23/195.30	o -36	195.241
274.00/274.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
274.00/274.14	c        3 152588   304217  1100543    3   908274  500000     39      0 195.33
274.00/274.14	c      103 152588   304317  1206447    3   908474  550001    139      0 199.19
274.00/274.14	c      353 152588   304567  1491179    4   908974  605002    389      1 206.45
274.00/274.14	c      828 152588   305042  2071633    6   909924  665503    864      3 217.69
274.00/274.14	c     1641 152588   305855  3188083   10   911550  732054   1677      6 236.78
274.00/274.14	c     2961 152588   307175  5129155   16   914190  805260   2997     11 258.52
274.00/274.14	o -37	274.059
1475.17/1475.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1475.17/1475.60	c     5032 152588   309247  7935760   25   918371  500000   5069     18 274.19
1475.17/1475.60	c     5132 152588   309347  8044490   26   918571  550001   5169     18 280.54
1475.17/1475.60	c     5382 152588   309597  8343979   26   919071  605002   5419     18 290.76
1475.17/1475.60	c     5857 152588   310072  8843901   28   920021  665503   5894     19 294.53
1475.17/1475.60	c     6670 152588   310885  9790773   31   921647  732054   6707     21 311.26
1475.17/1475.60	c     7990 152588   312205 11105119   35   924287  805260   8027     24 323.63
1475.17/1475.60	c    10071 152588   314286 13330538   42   928449  885787  10108     29 344.49
1475.17/1475.60	c    13294 152588   317509 16668851   52   934895  974366  13331     36 367.65
1475.17/1475.60	c    18230 152588   322445 21715270   67   944767  500000  18267     45 401.18
1475.17/1475.60	c    25736 152588   329951 29223184   88   959779  550001  25773     60 428.50
1475.17/1475.60	c    37097 152588   341312 41245254  120   982501  605002  37134     70 523.49
1475.17/1475.60	c    54241 152588   358456 59717496  166  1016789  665503  54278     77 701.30
1475.17/1475.60	c    80060 152588   384275 87439936  227  1068427  732054  80097     82 974.76
1475.17/1475.60	c   118892 152588   423107 129079777  305  1146091  805260 118929     85 1391.32
1475.17/1475.60	c Caught signal: 15
1475.17/1475.60	v x1 -x2 x3 -x4 x5 -x6 -x7 x8 x9 -x10 x11 -x12 x13 -x14 x15 x16 -x17 x18 -x19 x20 -x21 x22 -x23 x24 x25 -x26 x27 x28 x29 -x30 -x31 x32
1475.17/1475.60	v x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 x47 -x48 x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 x59
1475.17/1475.60	v -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 x85
1475.17/1475.60	v -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109
1475.17/1475.60	v -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 x126 x127 -x128 -x129 x130 -x131
1475.17/1475.60	v -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152
1475.17/1475.60	v -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173
1475.17/1475.60	v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194
1475.17/1475.60	v -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215
1475.17/1475.60	v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236
1475.17/1475.60	v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257
1475.17/1475.60	v -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278
1475.17/1475.60	v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299
1475.17/1475.60	v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
1475.17/1475.60	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341
1475.17/1475.60	v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362
1475.17/1475.60	v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383
1475.17/1475.60	v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404
1475.17/1475.60	v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425
1475.17/1475.60	v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446
1475.17/1475.60	v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467
1475.17/1475.60	v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488
1475.17/1475.60	v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509
1475.17/1475.60	v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
1475.17/1475.60	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551
1475.17/1475.60	v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572
1475.17/1475.60	v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593
1475.17/1475.60	v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614
1475.17/1475.60	v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635
1475.17/1475.60	v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656
1475.17/1475.60	v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677
1475.17/1475.60	v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698
1475.17/1475.60	v -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719
1475.17/1475.60	v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
1475.17/1475.60	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761
1475.17/1475.60	v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782
1475.17/1475.60	v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803
1475.17/1475.60	v -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824
1475.17/1475.60	v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845
1475.17/1475.60	v -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866
1475.17/1475.60	v -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887
1475.17/1475.60	v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908
1475.17/1475.60	v -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929
1475.17/1475.60	v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
1475.17/1475.60	v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971
1475.17/1475.60	v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992
1475.17/1475.60	v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1747 -x1986 -x1169 -x1441 -x1426 -x1941 -x1073 -x1377 -x1802 -x1265
1475.17/1475.60	v -x1859 -x1925 -x1394 -x1740 -x1603 -x1842 -x1976 -x1202 -x1896 -x1516 -x1143 -x1439 -x1259 -x1274 -x1648 -x1886 -x1938
1475.17/1475.60	v -x1469 -x1799 -x1455 -x1215 -x1137 -x1975 -x1007 -x1562 -x1916 -x1079 -x1291 -x1069 -x1695 -x1149 -x1993 -x1088 -x1889
1475.17/1475.60	v -x1948 -x1282 -x1153 -x1923 -x1483 -x1400 -x1790 -x1625 -x1838 -x1049 -x1898 -x1837 -x1286 -x1187 -x1305 -x1436 -x1036
1475.17/1475.60	v -x1040 -x1043 -x1055 -x1058 -x1078 -x1087 -x1097 -x1151 -x1164 -x1185 -x1203 -x1243 -x1253 -x1276 -x1277 -x1309 -x1324
1475.17/1475.60	v -x1328 -x1333 -x1350 -x1380 -x1482 -x1499 -x1500 -x1509 -x1510 -x1532 -x1534 -x1551 -x1579 -x1757 -x1760 -x1804 -x1864
1475.17/1475.60	v -x1884 -x1001 x1642 x1872 x1572 x1968 x1878 -x1134 -x1883 x1424 x1951 -x1003 -x1924 -x1296 -x1091 x1812 -x1372 x1316 -x1517
1475.17/1475.60	v x1854 -x1067 -x1307 x1478 -x1905 x1707 -x1727 -x1741 -x1992 x1914 x1398 -x1427 -x1907 -x1269 -x1999 x1874 -x1146 -x1484
1475.17/1475.60	v x1806 -x1059 x1809 -x1830 -x1354 -x1899 x1994 -x1622 x1661 -x1817 x1475 -x1728 -x1123 -x1304 -x1984 -x1181 -x1382 -x1724
1475.17/1475.60	v -x1172 -x1295 -x1473 -x1023 -x1063 -x1080 -x1144 -x1159 -x1162 -x1168 -x1191 -x1231 -x1242 -x1257 -x1317 -x1364 x1370
1475.17/1475.60	v -x1391 -x1405 -x1566 -x1578 -x1620 -x1634 -x1676 -x1679 -x1689 -x1710 -x1715 x1729 -x1742 -x1800 -x1834 -x1840 x1929 -x1002
1475.17/1475.60	v -x1950 -x1553 -x1239 -x1431 -x1535 -x1044 -x1945 -x1852 -x1871 -x1299 -x1102 -x1216 -x1246 -x1723 -x1228 -x1414 -x1549
1475.17/1475.60	v -x1955 -x1536 -x1204 -x1290 -x1716 -x1586 -x1014 -x1232 -x1189 -x1785 -x1488 -x1563 -x1271 -x1449 -x1212 -x1311 -x1393
1475.17/1475.60	v -x1416 -x1533 -x1691 -x1869 -x1748 -x1289 -x1944 -x1702 -x1844 -x1590 -x1048 -x1657 -x1985 -x1248 -x1126 -x1022 -x1066
1475.17/1475.60	v -x1084 -x1094 -x1127 -x1142 -x1173 -x1194 -x1229 -x1245 -x1301 -x1399 -x1432 -x1463 -x1490 -x1493 -x1495 -x1571 -x1577
1475.17/1475.60	v -x1608 -x1645 -x1649 -x1674 -x1686 -x1875 -x1926 -x1931 -x1352 -x1704 -x1275 -x1545 -x1714 -x1208 -x1107 -x1851 -x1071
1475.17/1475.60	v -x1789 -x1167 -x1843 -x1858 x1440 -x1241 -x1011 -x1687 -x1456 -x1474 -x1160 -x1192 -x1101 -x1425 -x1064 -x1139 -x1053
1475.17/1475.60	v x1745 -x1783 -x1489 -x1949 -x1376 -x1346 -x1602 -x1823 -x1833 x1989 -x1321 -x1119 -x1183 -x1201 -x1211 -x1335 -x1386 -x1528
1475.17/1475.60	v -x1557 -x1576 -x1580 -x1635 -x1646 -x1683 -x1719 -x1749 -x1793 -x1829 -x1847 -x1860 -x1922 -x1973 -x1004 -x1462 -x1808
1475.17/1475.60	v -x1513 -x1233 -x1928 -x1559 -x1371 -x1778 -x1762 -x1967 -x1705 -x1711 -x1839 -x1596 -x1792 -x1787 -x1323 -x1887 -x1481
1475.17/1475.60	v -x1090 -x1709 -x1283 -x1893 -x1771 -x1932 -x1214 -x1584 -x1498 -x1675 -x1408 -x1045 -x1363 -x1315 -x1226 -x1618 -x1021
1475.17/1475.60	v -x1344 -x1250 -x1176 -x1692 -x1501 -x1958 -x1974 -x1664 -x1047 -x1072 -x1095 -x1100 -x1110 -x1170 -x1180 -x1188 -x1213
1475.17/1475.60	v -x1267 -x1270 -x1272 -x1298 -x1385 -x1389 -x1508 -x1592 -x1593 -x1595 -x1738 -x1752 -x1781 -x1782 -x1822 -x1861 -x1873
1475.17/1475.60	v -x1877 -x1881 -x1927 -x1930 -x1005 -x1700 -x1035 -x1374 -x1920 -x1876 -x1133 -x1190 -x1665 -x1558 -x1081 -x1921 -x1626
1475.17/1475.60	v -x1522 -x1075 -x1575 x1539 -x1319 -x1542 -x1795 -x1846 -x1663 -x1220 -x1406 -x1988 -x1990 -x1281 -x1780 -x1122 -x1444
1475.17/1475.60	v -x1032 -x1334 -x1314 -x1254 -x1939 x1936 -x1340 -x1230 -x1447 -x1024 -x1457 -x1355 -x1082 -x1106 -x1129 -x1145 -x1165
1475.17/1475.60	v -x1261 -x1266 -x1288 -x1353 -x1361 -x1467 x1480 -x1503 -x1512 -x1546 -x1582 -x1615 -x1647 -x1845 -x1882 -x1963 -x1006
1475.17/1475.60	v -x1222 -x1763 -x1430 -x1903 -x1331 -x1338 -x1599 -x1395 -x1010 -x1332 -x1086 -x1236 -x1682 -x1156 -x1037 x1912 -x1502
1475.17/1475.60	v -x1574 -x1485 -x1362 -x1468 -x1387 x1805 x1673 -x1369 -x1623 x1721 -x1157 -x1195 -x1028 -x1825 x1464 -x1515 -x1018 -x1065
1475.17/1475.60	v -x1131 -x1136 -x1138 -x1148 -x1177 -x1184 -x1205 -x1294 -x1357 -x1375 -x1418 -x1420 -x1421 -x1525 -x1543 -x1696 -x1855
1475.17/1475.60	v x1892 -x1937 -x1952 -x1588 -x1777 -x1407 -x1174 -x1284 -x1565 -x1573 -x1759 -x1731 -x1613 -x1555 -x1652 -x1422 -x1628
1475.17/1475.60	v -x1384 -x1606 -x1383 -x1755 -x1060 -x1227 -x1529 -x1050 -x1857 -x1062 -x1904 -x1056 -x1117 -x1125 -x1166 -x1206 -x1219
1475.17/1475.60	v -x1225 -x1256 -x1318 -x1390 -x1411 -x1442 -x1476 -x1514 -x1561 -x1569 -x1619 -x1655 -x1810 -x1868 -x1008 -x1604 -x1772
1475.17/1475.60	v -x1943 -x1497 -x1224 -x1981 -x1601 -x1897 -x1268 -x1235 -x1451 -x1946 -x1240 -x1221 -x1670 -x1465 -x1437 -x1415 -x1784
1475.17/1475.60	v -x1438 -x1505 -x1511 -x1016 -x1017 -x1041 -x1054 -x1070 -x1076 -x1115 -x1116 -x1118 -x1124 -x1198 -x1345 -x1410 -x1459
1475.17/1475.60	v -x1487 -x1492 -x1523 -x1527 -x1733 -x1786 -x1919 -x1954 -x1009 -x1641 -x1306 -x1547 x1150 -x1773 -x1373 -x1961 -x1297
1475.17/1475.60	v -x1856 -x1109 x1775 -x1611 -x1120 -x1113 -x1409 -x1637 -x1617 -x1597 -x1807 -x1486 -x1112 -x1111 -x1313 -x1031 -x1051
1475.17/1475.60	v -x1099 -x1103 -x1128 -x1178 -x1234 -x1258 -x1654 -x1717 -x1813 -x1835 -x1962 -x1970 -x1537 -x1996 -x1947 -x1915 -x1104
1475.17/1475.60	v -x1396 -x1507 -x1816 -x1251 -x1977 -x1548 -x1910 -x1713 -x1743 -x1302 -x1218 -x1089 -x1027 -x1026 -x1098 -x1114 -x1130
1475.17/1475.60	v -x1163 -x1217 -x1285 -x1310 -x1322 -x1402 -x1526 -x1685 -x1699 -x1758 -x1832 -x1336 -x1667 -x1737 -x1038 -x1446 -x1365
1475.17/1475.60	v -x1698 -x1964 -x1940 -x1722 -x1612 -x1518 -x1630 -x1366 -x1403 -x1726 -x1756 -x1706 -x1093 -x1105 -x1209 -x1280 -x1666
1475.17/1475.60	v -x1669 -x1739 -x1012 -x1471 -x1540 -x1521 -x1708 -x1935 -x1585 -x1640 -x1141 -x1901 -x1568 -x1273 -x1154 -x1083 -x1262
1475.17/1475.60	v -x1788 -x1494 -x1381 -x1796 -x1718 -x1794 -x1046 -x1671 -x1356 -x1956 -x1639 -x1096 -x1158 -x1347 -x1388 -x1412 -x1429
1475.17/1475.60	v -x1610 -x1803 -x1849 -x1865 -x1918 -x1942 -x1013 -x1320 -x1413 -x1171 -x1186 -x1325 -x1249 -x1819 -x1879 -x1140 -x1643
1475.17/1475.60	v -x1811 -x1223 -x1631 -x1751 -x1862 -x1997 -x1092 -x1020 -x1152 -x1161 -x1339 -x1367 -x1379 -x1541 -x1761 -x1766 -x1791
1475.17/1475.60	v -x1798 -x1814 -x1030 -x1736 -x1461 -x1638 -x1074 -x1358 -x1895 -x1329 -x1891 -x1598 -x1662 -x1888 -x1175 -x1196 -x1237
1475.17/1475.60	v -x1906 -x1660 -x1279 -x1583 -x1351 -x1108 -x1210 -x1238 -x1312 -x1428 -x1477 -x1629 -x1015 -x1957 -x1077 -x1979 -x1392
1475.17/1475.60	v -x1308 -x1039 -x1909 -x1831 -x1397 -x1570 -x1769 -x1650 -x1019 -x1132 -x1135 -x1182 -x1659 -x1672 -x1688 -x1754 -x1815
1475.17/1475.60	v -x1960 -x1746 -x1349 -x1554 -x1264 -x1042 -x1668 -x1824 -x1303 -x1025 -x1057 -x1247 -x1450 -x1524 -x1556 -x1703 -x1768
1475.17/1475.60	v -x1890 -x1360 -x1797 -x1867 -x1252 -x1750 -x1519 -x1470 -x1443 -x1836 -x1460 -x1147 -x1293 -x1605 -x1627 -x1684 -x1720
1475.17/1475.60	v -x1850 -x1853 -x1917 -x1200 -x1326 -x1933 -x1995 -x1969 -x1744 -x1244 -x1330 -x1417 -x1445 -x1552 -x1693 -x1697 -x1818
1475.17/1475.60	v -x1179 -x1841 -x1591 -x1068 -x1677 -x1419 -x1998 -x1712 -x1255 -x1734 -x1085 -x1911 -x1504 -x1560 -x1609 -x1581 -x1452
1475.17/1475.60	v -x1260 -x1959 -x1991 -x1434 -x1453 -x1544 -x1616 -x1900 -x1454 -x1472 -x1983 -x1953 -x1155 -x1589 -x1826 -x1278 -x1520
1475.17/1475.60	v -x1980 -x1753 -x1866 -x1587 -x1342 -x1880 -x1633 -x1653 -x1982 -x1401 -x1343 -x1594 -x1765 -x1725 -x1632 -x1730 -x1448
1475.17/1475.60	v -x1197 -x1908 -x1033 -x1902 -x1341 -x1828 -x1607 -x1885 -x1034 -x1378 -x1423 -x1694 -x1934 -x1550 -x1368 -x1207 -x1678
1475.17/1475.60	v -x1621 -x1029 -x1300 -x1863 -x1479 -x1121 -x1821 -x1971 -x1701 -x1776 -x1263 -x1348 -x1530 -x1287 -x1531 -x1656 -x1770
1475.17/1475.60	v -x1972 -x1636 -x1801 -x1496 -x1690 -x1199 -x1658 -x1567 -x1506 -x1827 -x1061 -x1491 -x1894 -x1292 -x1614 -x1624 -x1779
1475.17/1475.60	v -x1764 -x1359 -x1564 -x1870 -x1966 -x1052 -x1404 -x1978 -x1820 -x1435 -x1987 -x1913 -x1767 -x1774 -x1337 -x1458 -x1735
1475.17/1475.60	v -x1732 -x1466 -x1651 -x1848 -x1644 -x1600 -x1193 -x1680 -x1433 -x1327 -x1965 -x1681 -x1538 -x2000
1475.17/1475.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1475.17/1475.61	c   55   127409   1579  4748202   431624 138084425 127446     86 1475.18
1475.17/1475.61	c Objective: -37
1475.17/1475.61	s SATISFIABLE
1475.17/1475.61	c Total time: 1475.18 s

Verifier Data (download as text)

OK	-37

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node24/watcher-454860-1178032661 -o ROOT/results/node24/solver-454860-1178032661 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454860-1178032661/instance-454860-1178032661.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.81 1.19 1.17 3/77 6429
/proc/meminfo: memFree=1840184/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=13840 CPUtime=0
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 251184109 14172160 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 3460 335 281 324 0 2003 0

[startup+0.097891 s]
/proc/loadavg: 0.81 1.19 1.17 3/77 6429
/proc/meminfo: memFree=1840184/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=10956 CPUtime=0.09
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 1670 0 0 0 9 0 0 0 18 0 1 0 251184109 11218944 1639 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 2739 1639 345 324 0 1282 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10956

[startup+0.101891 s]
/proc/loadavg: 0.81 1.19 1.17 3/77 6429
/proc/meminfo: memFree=1840184/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=11232 CPUtime=0.09
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 1724 0 0 0 9 0 0 0 18 0 1 0 251184109 11501568 1694 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546132 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 2808 1694 348 324 0 1351 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11232

[startup+0.301912 s]
/proc/loadavg: 0.81 1.19 1.17 3/77 6429
/proc/meminfo: memFree=1840184/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=20872 CPUtime=0.29
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 4341 0 0 0 28 1 0 0 19 0 1 0 251184109 21372928 4143 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 5218 4143 452 324 0 3761 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20872

[startup+0.701955 s]
/proc/loadavg: 0.81 1.19 1.17 3/77 6429
/proc/meminfo: memFree=1840184/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=40312 CPUtime=0.68
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 9660 0 0 0 65 3 0 0 23 0 1 0 251184109 41279488 9207 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 10078 9208 669 324 0 8621 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 40312

[startup+1.50104 s]
/proc/loadavg: 0.81 1.19 1.17 2/78 6430
/proc/meminfo: memFree=1793776/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=85320 CPUtime=1.49
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 21084 0 0 0 141 8 0 0 25 0 1 0 251184109 87367680 20105 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 21330 20105 307 324 0 20399 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85320

[startup+3.10121 s]
/proc/loadavg: 0.82 1.19 1.17 2/78 6430
/proc/meminfo: memFree=1759920/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=85980 CPUtime=3.09
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 21280 0 0 0 301 8 0 0 25 0 1 0 251184109 88043520 20301 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134567820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 21495 20301 307 324 0 20564 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85980

[startup+6.30156 s]
/proc/loadavg: 0.82 1.19 1.17 2/78 6430
/proc/meminfo: memFree=1759672/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=85980 CPUtime=6.29
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 21280 0 0 0 620 9 0 0 25 0 1 0 251184109 88043520 20301 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 21495 20301 307 324 0 20564 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85980

[startup+12.7012 s]
/proc/loadavg: 0.85 1.18 1.17 2/78 6430
/proc/meminfo: memFree=1759752/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=85980 CPUtime=12.69
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 21280 0 0 0 1260 9 0 0 25 0 1 0 251184109 88043520 20301 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550897 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 21495 20301 307 324 0 20564 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 85980

[startup+25.5016 s]
/proc/loadavg: 0.87 1.17 1.17 2/78 6430
/proc/meminfo: memFree=1759816/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=85980 CPUtime=25.48
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 21280 0 0 0 2539 9 0 0 25 0 1 0 251184109 88043520 20301 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3039566 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 21495 20301 307 324 0 20564 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85980

[startup+51.1014 s]
/proc/loadavg: 0.92 1.16 1.16 2/78 6430
/proc/meminfo: memFree=1759816/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=85980 CPUtime=51.06
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 21287 0 0 0 5097 9 0 0 25 0 1 0 251184109 88043520 20308 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3035205 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 21495 20308 307 324 0 20564 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 85980

[startup+102.306 s]
/proc/loadavg: 0.96 1.13 1.15 2/78 6430
/proc/meminfo: memFree=1759880/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=85980 CPUtime=102.25
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 21291 0 0 0 10215 10 0 0 25 0 1 0 251184109 88043520 20312 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3039073 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 21495 20312 307 324 0 20564 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 85980

[startup+162.301 s]
/proc/loadavg: 0.98 1.11 1.14 2/78 6430
/proc/meminfo: memFree=1759880/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=85980 CPUtime=162.23
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 21294 0 0 0 16212 11 0 0 25 0 1 0 251184109 88043520 20315 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3039624 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 21495 20315 307 324 0 20564 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 85980

[startup+222.302 s]
/proc/loadavg: 0.99 1.08 1.13 2/78 6430
/proc/meminfo: memFree=1739656/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=105232 CPUtime=222.22
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 28015 0 0 0 21973 249 0 0 25 0 1 0 251184109 107757568 25407 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 26308 25407 313 324 0 25377 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 105232

[startup+282.301 s]
/proc/loadavg: 0.99 1.07 1.12 2/78 6430
/proc/meminfo: memFree=1666056/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=178812 CPUtime=282.2
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 46455 0 0 0 27948 272 0 0 25 0 1 0 251184109 183103488 43809 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 44703 43809 313 324 0 43772 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 178812

[startup+342.302 s]
/proc/loadavg: 0.99 1.05 1.11 2/78 6430
/proc/meminfo: memFree=1610632/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=233936 CPUtime=342.19
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 60247 0 0 0 33939 280 0 0 25 0 1 0 251184109 239550464 57601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 58484 57601 313 324 0 57553 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 233936

[startup+402.301 s]
/proc/loadavg: 0.99 1.04 1.10 2/78 6430
/proc/meminfo: memFree=1490760/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=355096 CPUtime=402.16
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 90534 0 0 0 39919 297 0 0 25 0 1 0 251184109 363618304 87888 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 88774 87888 313 324 0 87843 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 355096

[startup+462.302 s]
/proc/loadavg: 0.99 1.03 1.09 2/78 6430
/proc/meminfo: memFree=1316808/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=527192 CPUtime=462.15
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 133548 0 0 0 45895 320 0 0 25 0 1 0 251184109 539844608 130902 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 131798 130902 313 324 0 130867 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 527192

[startup+522.301 s]
/proc/loadavg: 0.99 1.02 1.08 2/78 6430
/proc/meminfo: memFree=1245512/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=599428 CPUtime=522.14
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 151617 0 0 0 51882 332 0 0 25 0 1 0 251184109 613814272 148971 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 149857 148971 313 324 0 148926 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 599428

[startup+582.301 s]
/proc/loadavg: 0.99 1.02 1.08 2/78 6430
/proc/meminfo: memFree=1162312/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=681492 CPUtime=582.12
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 172127 0 0 0 57867 345 0 0 25 0 1 0 251184109 697847808 169481 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572183 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 170373 169481 313 324 0 169442 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 681492

[startup+642.302 s]
/proc/loadavg: 0.99 1.01 1.07 2/78 6430
/proc/meminfo: memFree=1079880/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=763516 CPUtime=642.11
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 192643 0 0 0 63853 358 0 0 25 0 1 0 251184109 781840384 189997 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 190879 189997 313 324 0 189948 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 763516

[startup+702.301 s]
/proc/loadavg: 0.99 1.01 1.06 2/78 6430
/proc/meminfo: memFree=1003272/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=842324 CPUtime=702.08
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 212330 0 0 0 69838 370 0 0 25 0 1 0 251184109 862539776 209684 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 210581 209684 313 324 0 209650 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 842324

[startup+762.306 s]
/proc/loadavg: 0.99 1.00 1.06 2/78 6430
/proc/meminfo: memFree=919432/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=924356 CPUtime=762.07
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 232845 0 0 0 75825 382 0 0 25 0 1 0 251184109 946540544 230199 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 231089 230199 313 324 0 230158 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 924356

[startup+822.301 s]
/proc/loadavg: 0.99 1.00 1.05 2/78 6430
/proc/meminfo: memFree=848520/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=994844 CPUtime=822.05
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 250461 0 0 0 81813 392 0 0 25 0 1 0 251184109 1018720256 247815 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 248711 247815 313 324 0 247780 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 994844

[startup+882.302 s]
/proc/loadavg: 0.99 1.00 1.05 2/78 6430
/proc/meminfo: memFree=762184/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=1081080 CPUtime=882.03
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 272022 0 0 0 87798 405 0 0 25 0 1 0 251184109 1107025920 269376 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 270270 269376 313 324 0 269339 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 1081080

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 1.04 2/78 6430
/proc/meminfo: memFree=689672/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=1153920 CPUtime=942.02
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 290243 0 0 0 93786 416 0 0 25 0 1 0 251184109 1181614080 287597 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 288480 287597 313 324 0 287549 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 1153920

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.03 2/78 6430
/proc/meminfo: memFree=611272/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=1231344 CPUtime=1002
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 309601 0 0 0 99774 426 0 0 25 0 1 0 251184109 1260896256 306955 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 307836 306955 313 324 0 306905 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 1231344

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.03 2/78 6430
/proc/meminfo: memFree=533384/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=1309272 CPUtime=1061.98
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 329080 0 0 0 105760 438 0 0 25 0 1 0 251184109 1340694528 326434 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572879 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 327318 326434 313 324 0 326387 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 1309272

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.02 2/78 6430
/proc/meminfo: memFree=457608/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=1384668 CPUtime=1121.97
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 347929 0 0 0 111747 450 0 0 25 0 1 0 251184109 1417900032 345283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572183 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 346167 345283 313 324 0 345236 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 1384668

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.02 2/78 6430
/proc/meminfo: memFree=381064/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=1461444 CPUtime=1181.95
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 367108 0 0 0 117735 460 0 0 25 0 1 0 251184109 1496518656 364462 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 365361 364462 313 324 0 364430 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 1461444

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.01 2/78 6430
/proc/meminfo: memFree=305032/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=1537040 CPUtime=1241.92
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 386023 0 0 0 123721 471 0 0 25 0 1 0 251184109 1573928960 383377 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551271 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 384260 383377 313 324 0 383329 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1537040

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.01 2/78 6430
/proc/meminfo: memFree=231560/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=1610132 CPUtime=1301.92
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 404305 0 0 0 129707 485 0 0 25 0 1 0 251184109 1648775168 401659 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 402533 401659 313 324 0 401602 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1610132

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 6430
/proc/meminfo: memFree=154440/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=1687476 CPUtime=1361.9
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 423641 0 0 0 135693 497 0 0 25 0 1 0 251184109 1727975424 420995 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 421869 420995 313 324 0 420938 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1687476

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 6432
/proc/meminfo: memFree=68168/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=1773184 CPUtime=1421.88
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 445055 0 0 0 141676 512 0 0 25 0 1 0 251184109 1815740416 442409 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 443296 442409 313 324 0 442365 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1773184



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1475.6 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 6432
/proc/meminfo: memFree=15816/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=1843292 CPUtime=1475.17
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194304 462578 0 0 0 146993 524 0 0 25 0 1 0 251184109 1887531008 459932 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 460823 459932 313 324 0 459892 0
Current children cumulated CPU time (s) 1475.17
Current children cumulated vsize (KiB) 1843292

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

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

[startup+1475.8 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 6432
/proc/meminfo: memFree=15816/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=0 CPUtime=1475.36
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194308 462579 0 0 0 146994 542 0 0 25 0 1 0 251184109 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1475.36
Current children cumulated vsize (KiB) 0

[startup+1475.9 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 6432
/proc/meminfo: memFree=15816/2055920 swapFree=4143588/4192956
[pid=6429] ppid=6427 vsize=0 CPUtime=1475.46
/proc/6429/stat : 6429 (bsolo3.0.16) R 6427 6429 6273 0 -1 4194308 462579 0 0 0 146994 552 0 0 25 0 1 0 251184109 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1475.46
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1475.91
CPU time (s): 1475.48
CPU user time (s): 1469.95
CPU system time (s): 5.52916
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 1843292

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

runsolver used 1.17182 second user time and 3.35549 second system time

The end

Launcher Data (download as text)

Begin job on node24 on Tue May  1 15:17:41 UTC 2007

IDJOB= 454860
IDBENCH= 48225
IDSOLVER= 163
FILE ID= node24/454860-1178032661

PBS_JOBID= 4728419

Free space on /tmp= 66556 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_3.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454860-1178032661/instance-454860-1178032661.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node24/watcher-454860-1178032661 -o ROOT/results/node24/solver-454860-1178032661 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454860-1178032661/instance-454860-1178032661.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  e05fbfdce4433b0b2590ec382b530cec

RANDOM SEED= 647664942

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node24.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.238
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.238
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1840656 kB
Buffers:         56916 kB
Cached:          75760 kB
SwapCached:      17060 kB
Active:         112144 kB
Inactive:        43804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1840656 kB
SwapTotal:     4192956 kB
SwapFree:      4143588 kB
Dirty:            8960 kB
Writeback:           0 kB
Mapped:          29952 kB
Slab:            44816 kB
Committed_AS:  6102792 kB
PageTables:       1808 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66556 MiB

End job on node24 on Tue May  1 15:42:19 UTC 2007