Trace number 3711842

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
toysat 2012-05-17OPTIMUM 93.4968 93.5213

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/driver/
normalized-driverlogs03_wcsp.wbo
MD5SUM2a7b9b233224ce80aa11a515af30e7d3
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1177
Best CPU time to get the best result obtained on this benchmark8.17276
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables862
Total number of constraints14841
Number of soft constraints14606
Number of constraints which are clauses14606
Number of constraints which are cardinality constraints (but not clauses)235
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint8
Top cost 43257
Min constraint cost 1
Max constraint cost 43257
Sum of constraints costs 614810168
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 9
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

24.98/25.02	c 2012-05-28T17:06:59+0200
24.98/25.02	c arch = x86_64
24.98/25.02	c os = linux
24.98/25.02	c compiler = ghc 7.4
24.98/25.02	c packages:
24.98/25.02	c   OptDir-0.0.1
24.98/25.02	c   array-0.4.0.0
24.98/25.02	c   base-4.5.0.0
24.98/25.02	c   bytestring-0.9.2.1
24.98/25.02	c   containers-0.4.2.1
24.98/25.02	c   deepseq-1.3.0.0
24.98/25.02	c   mtl-2.1.1
24.98/25.02	c   old_locale-1.0.0.4
24.98/25.02	c   parse_dimacs-1.2
24.98/25.02	c   parsec-3.1.2
24.98/25.02	c   queue-0.1.2
24.98/25.02	c   stm-2.3
24.98/25.02	c   time-1.4
24.98/25.02	c command line = ["--wbo","HOME/instance-3711842-1338217619.wbo"]
24.98/25.02	c #vars 862
24.98/25.02	c #constraints 14841
24.98/25.02	c Solving starts ...
25.08/25.12	c solving time = 0.091s
25.08/25.12	c #decision = 513
25.08/25.12	c #conflict = 7
25.08/25.12	c #restart = 0
25.08/25.12	o 2459
25.08/25.12	c Solving starts ...
25.08/25.15	c solving time = 0.033s
25.08/25.15	c #decision = 860
25.08/25.15	c #conflict = 8
25.08/25.15	c #restart = 0
25.08/25.15	o 2443
25.08/25.15	c Solving starts ...
25.08/25.19	c solving time = 0.030s
25.08/25.19	c #decision = 1108
25.08/25.19	c #conflict = 9
25.08/25.19	c #restart = 0
25.08/25.19	o 2427
25.08/25.19	c Solving starts ...
25.19/25.24	c solving time = 0.054s
25.19/25.24	c #decision = 1363
25.19/25.24	c #conflict = 10
25.19/25.24	c #restart = 0
25.19/25.24	o 2411
25.19/25.25	c Solving starts ...
25.19/25.28	c solving time = 0.028s
25.19/25.28	c #decision = 1605
25.19/25.28	c #conflict = 11
25.19/25.28	c #restart = 0
25.19/25.28	o 2395
25.19/25.28	c Solving starts ...
25.29/25.31	c solving time = 0.029s
25.29/25.31	c #decision = 1849
25.29/25.31	c #conflict = 12
25.29/25.31	c #restart = 0
25.29/25.31	o 2379
25.29/25.31	c Solving starts ...
25.29/25.34	c solving time = 0.029s
25.29/25.34	c #decision = 2109
25.29/25.34	c #conflict = 13
25.29/25.34	c #restart = 0
25.29/25.34	o 2363
25.29/25.34	c Solving starts ...
25.48/25.50	c solving time = 0.156s
25.48/25.50	c #decision = 2839
25.48/25.50	c #conflict = 43
25.48/25.50	c #restart = 0
25.48/25.50	o 2067
25.48/25.50	c Solving starts ...
26.89/26.97	c solving time = 1.470s
26.89/26.97	c #decision = 3980
26.89/26.97	c #conflict = 398
26.89/26.97	c #restart = 2
26.89/26.97	o 2066
26.89/26.97	c Solving starts ...
29.29/29.39	c solving time = 2.417s
29.29/29.39	c #decision = 4277
29.29/29.39	c #conflict = 465
29.29/29.39	c #restart = 2
29.29/29.39	o 2065
29.29/29.40	c Solving starts ...
38.88/38.97	c solving time = 9.577s
38.88/38.97	c #decision = 8515
38.88/38.97	c #conflict = 2000
38.88/38.97	c #restart = 7
38.88/38.98	o 2047
38.88/38.98	c Solving starts ...
38.98/39.04	c solving time = 0.066s
38.98/39.04	c #decision = 8551
38.98/39.04	c #conflict = 2000
38.98/39.04	c #restart = 7
38.98/39.05	o 2046
38.98/39.05	c Solving starts ...
39.08/39.10	c solving time = 0.052s
39.08/39.10	c #decision = 8591
39.08/39.10	c #conflict = 2003
39.08/39.10	c #restart = 7
39.08/39.10	o 2045
39.08/39.10	c Solving starts ...
39.08/39.14	c solving time = 0.038s
39.08/39.14	c #decision = 8797
39.08/39.14	c #conflict = 2003
39.08/39.14	c #restart = 7
39.08/39.14	o 1949
39.08/39.14	c Solving starts ...
39.08/39.18	c solving time = 0.036s
39.08/39.18	c #decision = 8828
39.08/39.18	c #conflict = 2003
39.08/39.18	c #restart = 7
39.08/39.18	o 1948
39.08/39.18	c Solving starts ...
39.18/39.24	c solving time = 0.060s
39.18/39.24	c #decision = 9030
39.18/39.24	c #conflict = 2003
39.18/39.24	c #restart = 7
39.18/39.24	o 1852
39.18/39.25	c Solving starts ...
39.18/39.28	c solving time = 0.036s
39.18/39.28	c #decision = 9054
39.18/39.28	c #conflict = 2003
39.18/39.28	c #restart = 7
39.18/39.28	o 1851
39.18/39.29	c Solving starts ...
39.79/39.82	c solving time = 0.533s
39.79/39.82	c #decision = 9555
39.79/39.82	c #conflict = 2098
39.79/39.82	c #restart = 7
39.79/39.82	o 1835
39.79/39.82	c Solving starts ...
39.79/39.87	c solving time = 0.044s
39.79/39.87	c #decision = 9660
39.79/39.87	c #conflict = 2100
39.79/39.87	c #restart = 7
39.79/39.87	o 1819
39.79/39.87	c Solving starts ...
39.99/40.03	c solving time = 0.164s
39.99/40.03	c #decision = 9808
39.99/40.03	c #conflict = 2111
39.99/40.03	c #restart = 7
39.99/40.03	o 1803
39.99/40.03	c Solving starts ...
40.49/40.60	c solving time = 0.562s
40.49/40.60	c #decision = 10059
40.49/40.60	c #conflict = 2209
40.49/40.60	c #restart = 7
40.49/40.60	o 1787
40.49/40.60	c Solving starts ...
40.59/40.67	c solving time = 0.066s
40.59/40.67	c #decision = 10156
40.59/40.67	c #conflict = 2211
40.59/40.67	c #restart = 7
40.59/40.67	o 1771
40.59/40.67	c Solving starts ...
44.58/44.65	c solving time = 3.978s
44.58/44.65	c #decision = 11433
44.58/44.65	c #conflict = 2856
44.58/44.65	c #restart = 10
44.58/44.65	o 1770
44.58/44.65	c Solving starts ...
44.58/44.68	c solving time = 0.028s
44.58/44.68	c #decision = 11446
44.58/44.68	c #conflict = 2856
44.58/44.68	c #restart = 10
44.58/44.68	o 1769
44.58/44.68	c Solving starts ...
56.78/56.83	c solving time = 12.142s
56.78/56.83	c #decision = 15858
56.78/56.83	c #conflict = 4697
56.78/56.83	c #restart = 15
56.78/56.83	o 1541
56.78/56.83	c Solving starts ...
56.88/56.90	c solving time = 0.067s
56.88/56.90	c #decision = 15902
56.88/56.90	c #conflict = 4697
56.88/56.90	c #restart = 15
56.88/56.90	o 1540
56.88/56.90	c Solving starts ...
56.88/56.94	c solving time = 0.037s
56.88/56.94	c #decision = 15945
56.88/56.94	c #conflict = 4697
56.88/56.94	c #restart = 15
56.88/56.94	o 1539
56.88/56.94	c Solving starts ...
56.88/56.99	c solving time = 0.043s
56.88/56.99	c #decision = 16065
56.88/56.99	c #conflict = 4698
56.88/56.99	c #restart = 15
56.88/56.99	o 1523
56.88/56.99	c Solving starts ...
56.98/57.03	c solving time = 0.042s
56.98/57.03	c #decision = 16168
56.98/57.03	c #conflict = 4699
56.98/57.03	c #restart = 15
56.98/57.03	o 1507
56.98/57.03	c Solving starts ...
56.98/57.10	c solving time = 0.065s
56.98/57.10	c #decision = 16269
56.98/57.10	c #conflict = 4702
56.98/57.10	c #restart = 15
56.98/57.10	o 1491
56.98/57.10	c Solving starts ...
57.19/57.22	c solving time = 0.112s
57.19/57.22	c #decision = 16365
57.19/57.22	c #conflict = 4705
57.19/57.22	c #restart = 15
57.19/57.22	o 1475
57.19/57.22	c Solving starts ...
58.29/58.31	c solving time = 1.091s
58.29/58.31	c #decision = 16931
58.29/58.31	c #conflict = 4898
58.29/58.31	c #restart = 16
58.29/58.31	o 1474
58.29/58.31	c Solving starts ...
58.29/58.34	c solving time = 0.028s
58.29/58.34	c #decision = 16943
58.29/58.34	c #conflict = 4898
58.29/58.34	c #restart = 16
58.29/58.34	o 1473
58.29/58.34	c Solving starts ...
81.18/81.30	c solving time = 22.950s
81.18/81.30	c #decision = 27889
81.18/81.30	c #conflict = 9603
81.18/81.30	c #restart = 23
81.18/81.30	o 1229
81.28/81.30	c Solving starts ...
81.28/81.34	c solving time = 0.040s
81.28/81.34	c #decision = 27916
81.28/81.34	c #conflict = 9603
81.28/81.34	c #restart = 23
81.28/81.35	o 1228
81.28/81.35	c Solving starts ...
81.38/81.42	c solving time = 0.070s
81.38/81.42	c #decision = 27941
81.38/81.42	c #conflict = 9603
81.38/81.42	c #restart = 23
81.38/81.42	o 1227
81.38/81.42	c Solving starts ...
81.38/81.46	c solving time = 0.042s
81.38/81.46	c #decision = 28056
81.38/81.46	c #conflict = 9605
81.38/81.46	c #restart = 23
81.38/81.46	o 1211
81.38/81.46	c Solving starts ...
81.47/81.51	c solving time = 0.042s
81.47/81.51	c #decision = 28172
81.47/81.51	c #conflict = 9607
81.47/81.51	c #restart = 23
81.47/81.51	o 1195
81.47/81.51	c Solving starts ...
81.57/81.64	c solving time = 0.128s
81.57/81.64	c #decision = 28232
81.57/81.64	c #conflict = 9629
81.57/81.64	c #restart = 23
81.57/81.64	o 1194
81.57/81.64	c Solving starts ...
81.67/81.72	c solving time = 0.072s
81.67/81.72	c #decision = 28254
81.67/81.72	c #conflict = 9631
81.67/81.72	c #restart = 23
81.67/81.72	o 1193
81.67/81.72	c Solving starts ...
81.77/81.85	c solving time = 0.133s
81.77/81.85	c #decision = 28433
81.77/81.85	c #conflict = 9656
81.77/81.85	c #restart = 23
81.77/81.85	o 1179
81.77/81.85	c Solving starts ...
81.87/81.97	c solving time = 0.113s
81.87/81.97	c #decision = 28458
81.87/81.97	c #conflict = 9660
81.87/81.97	c #restart = 23
81.87/81.97	o 1178
81.87/81.97	c Solving starts ...
81.97/82.00	c solving time = 0.030s
81.97/82.00	c #decision = 28469
81.97/82.00	c #conflict = 9660
81.97/82.00	c #restart = 23
81.97/82.00	o 1177
81.97/82.00	c Solving starts ...
93.47/93.51	c solving time = 11.499s
93.47/93.51	c #decision = 33551
93.47/93.51	c #conflict = 11751
93.47/93.51	c #restart = 29
93.47/93.51	s OPTIMUM FOUND
93.47/93.51	v -x1 x2 -x3 -x4 x5 -x6 x7 -x8 -x9 x10
93.47/93.51	v -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 x20
93.47/93.51	v -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 x29 -x30
93.47/93.51	v -x31 -x32 x33 -x34 -x35 -x36 -x37 x38 -x39 -x40
93.47/93.51	v -x41 -x42 x43 -x44 -x45 -x46 -x47 x48 -x49 -x50
93.47/93.51	v -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 x60
93.47/93.51	v -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 x70
93.47/93.51	v -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 x79 -x80
93.47/93.51	v -x81 -x82 -x83 x84 -x85 -x86 -x87 x88 -x89 -x90
93.47/93.51	v -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 x99 -x100
93.47/93.51	v -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110
93.47/93.51	v x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 x120
93.47/93.51	v -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130
93.47/93.51	v -x131 -x132 x133 -x134 -x135 -x136 x137 -x138 -x139 x140
93.47/93.51	v -x141 -x142 x143 -x144 -x145 x146 -x147 -x148 x149 -x150
93.47/93.51	v -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 x159 -x160
93.47/93.51	v -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 x170
93.47/93.51	v -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180
93.47/93.51	v -x181 -x182 x183 -x184 -x185 x186 -x187 -x188 -x189 -x190
93.47/93.51	v x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 x199 -x200
93.47/93.51	v -x201 -x202 -x203 x204 -x205 -x206 -x207 x208 -x209 -x210
93.47/93.51	v -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 x219 -x220
93.47/93.51	v -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230
93.47/93.51	v -x231 x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240
93.47/93.51	v -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 x250
93.47/93.51	v -x251 -x252 -x253 x254 -x255 -x256 -x257 x258 -x259 -x260
93.47/93.51	v -x261 -x262 x263 -x264 -x265 -x266 x267 -x268 -x269 -x270
93.47/93.51	v x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280
93.47/93.51	v -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 x289 -x290
93.47/93.51	v -x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300
93.47/93.51	v -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 x309 -x310
93.47/93.51	v -x311 -x312 -x313 -x314 x315 -x316 x317 -x318 x319 -x320
93.47/93.51	v x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330
93.47/93.51	v x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x340
93.47/93.51	v x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x350
93.47/93.51	v x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360
93.47/93.51	v -x361 x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370
93.47/93.51	v -x371 x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 x380
93.47/93.51	v -x381 -x382 x383 -x384 x385 -x386 -x387 x388 -x389 -x390
93.47/93.51	v -x391 -x392 x393 -x394 -x395 -x396 x397 -x398 -x399 -x400
93.47/93.51	v x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410
93.47/93.51	v -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
93.47/93.51	v x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 x430
93.47/93.51	v -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 x440
93.47/93.51	v -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 x449 -x450
93.47/93.51	v -x451 -x452 x453 -x454 -x455 -x456 -x457 x458 -x459 -x460
93.47/93.51	v -x461 x462 -x463 -x464 x465 -x466 -x467 x468 -x469 -x470
93.47/93.51	v -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480
93.47/93.51	v -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490
93.47/93.51	v -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 x499 -x500
93.47/93.51	v -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510
93.47/93.51	v x511 -x512 x513 -x514 x515 -x516 x517 -x518 x519 -x520
93.47/93.51	v x521 -x522 x523 -x524 x525 -x526 x527 -x528 x529 -x530
93.47/93.51	v x531 -x532 x533 -x534 x535 -x536 x537 -x538 -x539 x540
93.47/93.51	v -x541 -x542 x543 -x544 -x545 -x546 x547 -x548 -x549 x550
93.47/93.51	v -x551 -x552 -x553 -x554 x555 -x556 -x557 x558 x559 -x560
93.47/93.51	v -x561 x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570
93.47/93.51	v x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 x579 -x580
93.47/93.51	v -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 x589 -x590
93.47/93.51	v -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 x600
93.47/93.51	v -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 x609 -x610
93.47/93.51	v -x611 -x612 -x613 x614 -x615 -x616 -x617 x618 -x619 -x620
93.47/93.51	v -x621 x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630
93.47/93.51	v x631 -x632 -x633 x634 -x635 -x636 x637 -x638 -x639 -x640
93.47/93.51	v x641 -x642 -x643 -x644 x645 x646 -x647 -x648 -x649 -x650
93.47/93.51	v -x651 x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 x660
93.47/93.51	v -x661 -x662 -x663 -x664 x665 -x666 x667 -x668 x669 -x670
93.47/93.51	v x671 -x672 x673 -x674 x675 -x676 x677 -x678 -x679 x680
93.47/93.51	v -x681 x682 -x683 x684 -x685 x686 -x687 x688 -x689 x690
93.47/93.51	v -x691 x692 -x693 -x694 x695 -x696 -x697 x698 -x699 x700
93.47/93.51	v -x701 -x702 -x703 -x704 x705 -x706 x707 -x708 -x709 -x710
93.47/93.51	v x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 x719 -x720
93.47/93.51	v -x721 -x722 x723 -x724 -x725 -x726 -x727 x728 -x729 x730
93.47/93.51	v -x731 -x732 -x733 x734 -x735 -x736 -x737 -x738 x739 -x740
93.47/93.51	v x741 -x742 -x743 -x744 x745 -x746 x747 -x748 x749 -x750
93.47/93.51	v x751 x752 -x753 -x754 -x755 -x756 x757 -x758 -x759 -x760
93.47/93.51	v x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 x770
93.47/93.51	v -x771 x772 -x773 x774 -x775 -x776 x777 x778 -x779 x780
93.47/93.51	v -x781 x782 -x783 x784 -x785 x786 -x787 x788 -x789 -x790
93.47/93.51	v x791 -x792 -x793 -x794 x795 -x796 x797 -x798 -x799 x800
93.47/93.51	v -x801 -x802 -x803 -x804 x805 x806 -x807 -x808 -x809 x810
93.47/93.51	v -x811 x812 -x813 x814 -x815 x816 x817 -x818 -x819 -x820
93.47/93.51	v x821 x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x830
93.47/93.51	v x831 -x832 x833 -x834 x835 -x836 -x837 x838 x839 -x840
93.47/93.51	v -x841 x842 x843 -x844 -x845 x846 -x847 x848 -x849 x850
93.47/93.51	v -x851 x852 -x853 x854 x855 -x856 -x857 x858 x859 -x860
93.47/93.51	v x861 -x862
93.47/93.51	c total time = 93.492s

Verifier Data 

OK	1177

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3711842-1338217619/watcher-3711842-1338217619 -o /tmp/evaluation-result-3711842-1338217619/solver-3711842-1338217619 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3711842-1338217619.wbo 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 25059
/proc/meminfo: memFree=27973964/32873844 swapFree=7620/7620
[pid=25059] ppid=25057 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/25059/stat : 25059 (toysat) R 25057 25059 20029 0 -1 4202496 814 0 0 0 0 0 0 0 20 0 1 0 287890405 6356992 736 33554432000 4194304 8973514 140736908206208 140736908205704 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25059/statm: 1552 736 423 1167 0 333 0

[startup+0.055145 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 25059
/proc/meminfo: memFree=27973964/32873844 swapFree=7620/7620
[pid=25059] ppid=25057 vsize=9280 CPUtime=0.05 cores=1,3,5,7
/proc/25059/stat : 25059 (toysat) R 25057 25059 20029 0 -1 4202496 1566 0 0 0 5 0 0 0 20 0 1 0 287890405 9502720 1488 33554432000 4194304 8973514 140736908206208 140736908205704 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25059/statm: 2320 1488 428 1167 0 1101 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9280

[startup+0.100295 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 25059
/proc/meminfo: memFree=27973964/32873844 swapFree=7620/7620
[pid=25059] ppid=25057 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/25059/stat : 25059 (toysat) R 25057 25059 20029 0 -1 4202496 2365 0 0 0 9 0 0 0 20 0 1 0 287890405 12648448 2287 33554432000 4194304 8973514 140736908206208 140736908205704 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25059/statm: 3088 2287 428 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.300313 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 25059
/proc/meminfo: memFree=27973964/32873844 swapFree=7620/7620
[pid=25059] ppid=25057 vsize=26688 CPUtime=0.29 cores=1,3,5,7
/proc/25059/stat : 25059 (toysat) R 25057 25059 20029 0 -1 4202496 5946 0 0 0 28 1 0 0 20 0 1 0 287890405 27328512 5868 33554432000 4194304 8973514 140736908206208 140736908205704 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25059/statm: 6672 5868 438 1167 0 5453 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26688

[startup+0.70023 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 25059
/proc/meminfo: memFree=27973964/32873844 swapFree=7620/7620
[pid=25059] ppid=25057 vsize=38976 CPUtime=0.69 cores=1,3,5,7
/proc/25059/stat : 25059 (toysat) R 25057 25059 20029 0 -1 4202496 9044 0 0 0 67 2 0 0 20 0 1 0 287890405 39911424 8966 33554432000 4194304 8973514 140736908206208 140736908205704 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25059/statm: 9744 8966 445 1167 0 8525 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38976

[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25060
/proc/meminfo: memFree=27939864/32873844 swapFree=7620/7620
[pid=25059] ppid=25057 vsize=38976 CPUtime=1.48 cores=1,3,5,7
/proc/25059/stat : 25059 (toysat) R 25057 25059 20029 0 -1 4202496 9044 0 0 0 146 2 0 0 20 0 1 0 287890405 39911424 8966 33554432000 4194304 8973514 140736908206208 140736908205704 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25059/statm: 9744 8966 445 1167 0 8525 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 38976

[startup+3.10023 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25060
/proc/meminfo: memFree=27939368/32873844 swapFree=7620/7620
[pid=25059] ppid=25057 vsize=43072 CPUtime=3.09 cores=1,3,5,7
/proc/25059/stat : 25059 (toysat) R 25057 25059 20029 0 -1 4202496 10068 0 0 0 306 3 0 0 20 0 1 0 287890405 44105728 9990 33554432000 4194304 8973514 140736908206208 140736908205704 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25059/statm: 10768 9990 445 1167 0 9549 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43072

[startup+6.30031 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25060
/proc/meminfo: memFree=27929264/32873844 swapFree=7620/7620
[pid=25059] ppid=25057 vsize=50240 CPUtime=6.28 cores=1,3,5,7
/proc/25059/stat : 25059 (toysat) R 25057 25059 20029 0 -1 4202496 11860 0 0 0 624 4 0 0 20 0 1 0 287890405 51445760 11782 33554432000 4194304 8973514 140736908206208 140736908205704 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25059/statm: 12560 11782 445 1167 0 11341 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 50240

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25060
/proc/meminfo: memFree=27927668/32873844 swapFree=7620/7620
[pid=25059] ppid=25057 vsize=51264 CPUtime=12.69 cores=1,3,5,7
/proc/25059/stat : 25059 (toysat) R 25057 25059 20029 0 -1 4202496 12116 0 0 0 1262 7 0 0 20 0 1 0 287890405 52494336 12038 33554432000 4194304 8973514 140736908206208 140736908205704 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25059/statm: 12816 12038 445 1167 0 11597 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51264

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25060
/proc/meminfo: memFree=27924940/32873844 swapFree=7620/7620
[pid=25059] ppid=25057 vsize=55360 CPUtime=25.48 cores=1,3,5,7
/proc/25059/stat : 25059 (toysat) R 25057 25059 20029 0 -1 4202496 13164 0 0 0 2537 11 0 0 20 0 1 0 287890405 56688640 13086 33554432000 4194304 8973514 140736908206208 140736908189304 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25059/statm: 13840 13086 469 1167 0 12621 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 55360

[startup+51.1003 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 25060
/proc/meminfo: memFree=27908820/32873844 swapFree=7620/7620
[pid=25059] ppid=25057 vsize=63552 CPUtime=51.08 cores=1,3,5,7
/proc/25059/stat : 25059 (toysat) R 25057 25059 20029 0 -1 4202496 15212 0 0 0 5086 22 0 0 20 0 1 0 287890405 65077248 15134 33554432000 4194304 8973514 140736908206208 140736908204160 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25059/statm: 15888 15134 469 1167 0 14669 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 63552

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

[startup+76.7003 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 25060
/proc/meminfo: memFree=27899572/32873844 swapFree=7620/7620
[pid=25059] ppid=25057 vsize=71744 CPUtime=76.67 cores=1,3,5,7
/proc/25059/stat : 25059 (toysat) R 25057 25059 20029 0 -1 4202496 17260 0 0 0 7636 31 0 0 20 0 1 0 287890405 73465856 17182 33554432000 4194304 8973514 140736908206208 140736908205704 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25059/statm: 17936 17182 469 1167 0 16717 0
Current children cumulated CPU time (s) 76.67
Current children cumulated vsize (KiB) 71744

[startup+83.1003 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 25060
/proc/meminfo: memFree=27895216/32873844 swapFree=7620/7620
[pid=25059] ppid=25057 vsize=74816 CPUtime=83.08 cores=1,3,5,7
/proc/25059/stat : 25059 (toysat) R 25057 25059 20029 0 -1 4202496 18030 0 0 0 8273 35 0 0 20 0 1 0 287890405 76611584 17955 33554432000 4194304 8973514 140736908206208 140736908205704 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25059/statm: 18704 17955 469 1167 0 17485 0
Current children cumulated CPU time (s) 83.08
Current children cumulated vsize (KiB) 74816

[startup+89.5004 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 25060
/proc/meminfo: memFree=27892472/32873844 swapFree=7620/7620
[pid=25059] ppid=25057 vsize=75840 CPUtime=89.46 cores=1,3,5,7
/proc/25059/stat : 25059 (toysat) R 25057 25059 20029 0 -1 4202496 18293 0 0 0 8908 38 0 0 20 0 1 0 287890405 77660160 18211 33554432000 4194304 8973514 140736908206208 140736908188224 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25059/statm: 18960 18211 469 1167 0 17741 0
Current children cumulated CPU time (s) 89.46
Current children cumulated vsize (KiB) 75840

[startup+91.1003 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 25060
/proc/meminfo: memFree=27891232/32873844 swapFree=7620/7620
[pid=25059] ppid=25057 vsize=76864 CPUtime=91.07 cores=1,3,5,7
/proc/25059/stat : 25059 (toysat) R 25057 25059 20029 0 -1 4202496 18549 0 0 0 9068 39 0 0 20 0 1 0 287890405 78708736 18467 33554432000 4194304 8973514 140736908206208 140736908205704 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25059/statm: 19216 18467 469 1167 0 17997 0
Current children cumulated CPU time (s) 91.07
Current children cumulated vsize (KiB) 76864

[startup+92.7004 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 25060
/proc/meminfo: memFree=27889372/32873844 swapFree=7620/7620
[pid=25059] ppid=25057 vsize=76864 CPUtime=92.67 cores=1,3,5,7
/proc/25059/stat : 25059 (toysat) R 25057 25059 20029 0 -1 4202496 18549 0 0 0 9227 40 0 0 20 0 1 0 287890405 78708736 18467 33554432000 4194304 8973514 140736908206208 140736908205704 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25059/statm: 19216 18467 469 1167 0 17997 0
Current children cumulated CPU time (s) 92.67
Current children cumulated vsize (KiB) 76864

[startup+93.1003 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 25060
/proc/meminfo: memFree=27889372/32873844 swapFree=7620/7620
[pid=25059] ppid=25057 vsize=77888 CPUtime=93.06 cores=1,3,5,7
/proc/25059/stat : 25059 (toysat) R 25057 25059 20029 0 -1 4202496 18569 0 0 0 9266 40 0 0 20 0 1 0 287890405 79757312 18487 33554432000 4194304 8973514 140736908206208 140736908205704 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25059/statm: 19472 18487 469 1167 0 18253 0
Current children cumulated CPU time (s) 93.06
Current children cumulated vsize (KiB) 77888

[startup+93.507 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 25060
/proc/meminfo: memFree=27888008/32873844 swapFree=7620/7620
[pid=25059] ppid=25057 vsize=77888 CPUtime=93.47 cores=1,3,5,7
/proc/25059/stat : 25059 (toysat) R 25057 25059 20029 0 -1 4202496 18805 0 0 0 9307 40 0 0 20 0 1 0 287890405 79757312 18723 33554432000 4194304 8973514 140736908206208 140736908205704 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25059/statm: 19472 18723 469 1167 0 18253 0
Current children cumulated CPU time (s) 93.47
Current children cumulated vsize (KiB) 77888

Child status: 0
Real time (s): 93.5213
CPU time (s): 93.4968
CPU user time (s): 93.0829
CPU system time (s): 0.413937
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 77888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 93.0828
system time used= 0.413937
maximum resident set size= 74908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18809
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= 108

runsolver used 0.122981 second user time and 0.481926 second system time

The end

Launcher Data 

Begin job on node107 at 2012-05-28 17:06:59
IDJOB=3711842
IDBENCH=79460
IDSOLVER=2291
FILE ID=node107/3711842-1338217619
RUNJOBID= node107-1338193582-20046
PBS_JOBID= 14624587
Free space on /tmp= 71552 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/driver/normalized-driverlogs03_wcsp.wbo
COMMAND LINE= HOME/toysat --wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711842-1338217619/watcher-3711842-1338217619 -o /tmp/evaluation-result-3711842-1338217619/solver-3711842-1338217619 -C 1800 -W 1900 -M 15500  HOME/toysat --wbo HOME/instance-3711842-1338217619.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 2a7b9b233224ce80aa11a515af30e7d3
RANDOM SEED=858504804

node107.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27974872 kB
Buffers:          437792 kB
Cached:          3462488 kB
SwapCached:            0 kB
Active:          1070528 kB
Inactive:        2966632 kB
Active(anon):     138964 kB
Inactive(anon):        0 kB
Active(file):     931564 kB
Inactive(file):  2966632 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7776 kB
Writeback:             0 kB
AnonPages:        219572 kB
Mapped:            16108 kB
Shmem:               200 kB
Slab:             715952 kB
SReclaimable:     158476 kB
SUnreclaim:       557476 kB
KernelStack:        1480 kB
PageTables:         4164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     250512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71548 MiB
End job on node107 at 2012-05-28 17:08:32