Trace number 3705587

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 NameAnswerobjective functionCPU timeWall clock time
wbo 1.7? 1800 1800.02

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null10mast_rapportOE2.0_TMAX180_K192_cod2.opb
MD5SUM6aef9ca2bb094f9e5aa00d5eeeaa5070
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-3088
Best CPU time to get the best result obtained on this benchmark1800.85
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 1605
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 189008
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 189008
Number of bits of the biggest sum of numbers18
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |   wbo:                    1.7 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3705587-1338160488.opb.
0.00/0.00	c Instance file HOME/instance-3705587-1338160488.opb
0.00/0.00	c File size is 28233204 bytes.
2.89/2.96	c Cost Offset: -189008
2.89/2.96	c Highest Coefficient sum: 67331
2.89/2.96	c ============================[ Problem Statistics ]=============================
2.89/2.96	c |                                                                             |
2.89/2.96	c |  Parsing time:          2.96         s                                      |
2.89/2.96	c |  Number Variables:      400896                                              |
2.89/2.96	c |  Number Clauses:        400785                                              |
2.89/2.96	c |  Number Cardinality:    1977                                                |
2.89/2.96	c |  Number PB Constraints: 1                                                   |
2.89/2.96	c |                                                                             |
3.20/3.24	c |  Problem Type:          Optimization                                        |
3.20/3.24	c |  Objective Function:    PB Constraint                                       |
3.20/3.24	c |                                                                             |
3.20/3.24	c ============================[ Search Statistics ]==============================
3.20/3.24	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
3.20/3.24	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
3.20/3.24	c ===============================================================================
3.69/3.72	c | 3.72      | 0  | -189007      lb |  0                0                0.00  |
4.09/4.14	c | 4.14      | 0  | -189006      lb |  0                0                0.00  |
4.49/4.53	c | 4.53      | 0  | -189004      lb |  0                0                0.00  |
4.89/4.91	c | 4.91      | 0  | -189000      lb |  0                0                0.00  |
5.19/5.28	c | 5.29      | 0  | -188992      lb |  0                0                0.00  |
5.59/5.67	c | 5.67      | 0  | -188976      lb |  0                0                0.00  |
5.99/6.05	c | 6.05      | 0  | -188944      lb |  0                0                0.00  |
6.38/6.44	c | 6.44      | 0  | -188880      lb |  0                0                0.00  |
6.79/6.83	c | 6.83      | 0  | -188752      lb |  0                0                0.00  |
7.19/7.22	c | 7.22      | 0  | -188496      lb |  0                0                0.00  |
7.59/7.61	c | 7.61      | 0  | -187984      lb |  0                0                0.00  |
8.29/8.38	c | 8.38      | 0  | -187983      lb |  0                0                0.00  |
9.19/9.24	c | 9.24      | 0  | -187982      lb |  0                0                0.00  |
9.99/10.05	c | 10.06     | 0  | -187981      lb |  0                0                0.00  |
10.79/10.84	c | 10.84     | 0  | -187980      lb |  0                0                0.00  |
11.69/11.78	c | 11.79     | 0  | -187979      lb |  0                0                0.00  |
12.59/12.64	c | 12.64     | 0  | -187978      lb |  0                0                0.00  |
13.48/13.59	c | 13.59     | 0  | -187977      lb |  0                0                0.00  |
18.69/18.71	c | 18.71     | 0  | -187976      lb |  0                0                0.00  |
19.69/19.74	c | 19.75     | 0  | -187975      lb |  0                0                0.00  |
20.59/20.63	c | 20.64     | 0  | -187974      lb |  0                0                0.00  |
21.49/21.55	c | 21.55     | 0  | -187973      lb |  0                0                0.00  |
22.99/23.10	c | 23.10     | 0  | -187972      lb |  0                0                0.00  |
24.10/24.17	c | 24.18     | 0  | -187971      lb |  0                0                0.00  |
25.09/25.10	c | 25.10     | 0  | -187970      lb |  0                0                0.00  |
25.89/25.95	c | 25.96     | 0  | -187969      lb |  0                0                0.00  |
26.79/26.87	c | 26.87     | 0  | -187968      lb |  0                0                0.00  |
27.69/27.74	c | 27.74     | 0  | -187967      lb |  0                0                0.00  |
28.59/28.63	c | 28.64     | 0  | -187966      lb |  0                0                0.00  |
29.48/29.54	c | 29.54     | 0  | -187965      lb |  0                0                0.00  |
30.38/30.43	c | 30.43     | 0  | -187964      lb |  0                0                0.00  |
31.39/31.46	c | 31.46     | 0  | -187963      lb |  0                0                0.00  |
32.38/32.41	c | 32.41     | 0  | -187962      lb |  0                0                0.00  |
33.38/33.40	c | 33.40     | 0  | -187961      lb |  0                0                0.00  |
34.39/34.49	c | 34.49     | 0  | -187960      lb |  0                0                0.00  |
35.39/35.48	c | 35.48     | 0  | -187959      lb |  0                0                0.00  |
36.39/36.44	c | 36.44     | 0  | -187958      lb |  0                0                0.00  |
37.19/37.28	c | 37.28     | 0  | -187957      lb |  0                0                0.00  |
38.39/38.50	c | 38.50     | 0  | -187956      lb |  0                0                0.00  |
39.39/39.41	c | 39.42     | 0  | -187955      lb |  0                0                0.00  |
40.99/41.02	c | 41.02     | 0  | -187954      lb |  0                0                0.00  |
432.54/432.70	c | 432.71    | 0  | -187953      lb |  0                0                0.00  |
435.95/436.18	c | 436.18    | 0  | -187952      lb |  0                0                0.00  |
437.85/438.06	c | 438.06    | 0  | -187951      lb |  0                0                0.00  |
441.65/441.80	c | 441.80    | 0  | -187950      lb |  0                0                0.00  |
442.35/442.51	c | 442.51    | 0  | -187949      lb |  0                0                0.00  |
443.25/443.44	c | 443.44    | 0  | -187948      lb |  0                0                0.00  |
444.05/444.25	c | 444.25    | 0  | -187944      lb |  0                0                0.00  |
446.05/446.23	c | 446.24    | 0  | -187943      lb |  0                0                0.00  |
447.05/447.21	c | 447.21    | 0  | -187913      lb |  0                0                0.00  |
449.55/449.72	c | 449.72    | 0  | -187912      lb |  0                0                0.00  |
450.85/451.07	c | 451.07    | 0  | -187911      lb |  0                0                0.00  |
452.15/452.33	c | 452.34    | 0  | -187909      lb |  0                0                0.00  |
453.45/453.65	c | 453.65    | 0  | -187908      lb |  0                0                0.00  |
454.45/454.65	c | 454.65    | 0  | -187907      lb |  0                0                0.00  |
457.45/457.67	c | 457.67    | 0  | -187906      lb |  0                0                0.00  |
458.75/458.99	c | 458.99    | 0  | -187905      lb |  0                0                0.00  |
460.45/460.66	c | 460.67    | 0  | -187837      lb |  0                0                0.00  |
461.65/461.84	c | 461.84    | 0  | -187826      lb |  0                0                0.00  |
463.95/464.14	c | 464.14    | 0  | -187825      lb |  0                0                0.00  |
465.25/465.49	c | 465.50    | 0  | -187824      lb |  0                0                0.00  |
466.85/467.04	c | 467.05    | 0  | -187823      lb |  0                0                0.00  |
467.94/468.18	c | 468.19    | 0  | -187822      lb |  0                0                0.00  |
469.64/469.87	c | 469.88    | 0  | -187821      lb |  0                0                0.00  |
470.55/470.73	c | 470.73    | 0  | -187820      lb |  0                0                0.00  |
471.34/471.55	c | 471.56    | 0  | -187819      lb |  0                0                0.00  |
483.34/483.50	c | 483.51    | 0  | -187818      lb |  0                0                0.00  |
484.04/484.28	c | 484.28    | 0  | -187817      lb |  0                0                0.00  |
484.85/485.06	c | 485.07    | 0  | -187816      lb |  0                0                0.00  |
523.44/523.63	c | 523.63    | 0  | -187815      lb |  0                0                0.00  |
524.24/524.43	c | 524.44    | 0  | -187814      lb |  0                0                0.00  |
524.94/525.18	c | 525.19    | 0  | -187813      lb |  0                0                0.00  |
525.94/526.11	c | 526.11    | 0  | -187800      lb |  0                0                0.00  |
526.93/527.12	c | 527.12    | 0  | -187688      lb |  0                0                0.00  |
527.63/527.90	c | 527.90    | 0  | -187687      lb |  0                0                0.00  |
528.63/528.85	c | 528.85    | 0  | -187686      lb |  0                0                0.00  |
529.43/529.63	c | 529.63    | 0  | -187470      lb |  0                0                0.00  |
530.23/530.41	c | 530.42    | 0  | -187463      lb |  0                0                0.00  |
531.83/532.04	c | 532.04    | 0  | -187462      lb |  0                0                0.00  |
532.73/532.94	c | 532.95    | 0  | -187461      lb |  0                0                0.00  |
533.63/533.85	c | 533.85    | 0  | -187460      lb |  0                0                0.00  |
534.53/534.70	c | 534.71    | 0  | -187459      lb |  0                0                0.00  |
535.23/535.49	c | 535.50    | 0  | -187458      lb |  0                0                0.00  |
536.03/536.20	c | 536.20    | 0  | -187457      lb |  0                0                0.00  |
536.73/536.98	c | 536.99    | 0  | -187456      lb |  0                0                0.00  |
537.53/537.75	c | 537.75    | 0  | -187455      lb |  0                0                0.00  |
538.23/538.46	c | 538.47    | 0  | -187454      lb |  0                0                0.00  |
539.03/539.25	c | 539.26    | 0  | -187453      lb |  0                0                0.00  |
539.84/540.06	c | 540.06    | 0  | -187452      lb |  0                0                0.00  |
541.33/541.57	c | 541.58    | 0  | -187451      lb |  0                0                0.00  |
542.14/542.32	c | 542.32    | 0  | -187450      lb |  0                0                0.00  |
542.93/543.15	c | 543.16    | 0  | -187449      lb |  0                0                0.00  |
543.73/543.91	c | 543.92    | 0  | -187448      lb |  0                0                0.00  |
544.43/544.67	c | 544.68    | 0  | -187447      lb |  0                0                0.00  |
545.23/545.49	c | 545.50    | 0  | -187446      lb |  0                0                0.00  |
546.13/546.30	c | 546.30    | 0  | -187445      lb |  0                0                0.00  |
546.93/547.13	c | 547.14    | 0  | -187444      lb |  0                0                0.00  |
547.73/547.97	c | 547.97    | 0  | -187443      lb |  0                0                0.00  |
548.63/548.87	c | 548.87    | 0  | -187442      lb |  0                0                0.00  |
549.53/549.76	c | 549.76    | 0  | -187441      lb |  0                0                0.00  |
550.33/550.58	c | 550.58    | 0  | -187439      lb |  0                0                0.00  |
551.23/551.41	c | 551.41    | 0  | -187438      lb |  0                0                0.00  |
552.04/552.25	c | 552.26    | 0  | -187437      lb |  0                0                0.00  |
552.93/553.19	c | 553.19    | 0  | -187436      lb |  0                0                0.00  |
553.83/554.05	c | 554.05    | 0  | -187434      lb |  0                0                0.00  |
554.73/554.92	c | 554.92    | 0  | -187430      lb |  0                0                0.00  |
555.63/555.82	c | 555.82    | 0  | -187429      lb |  0                0                0.00  |
556.53/556.71	c | 556.72    | 0  | -187428      lb |  0                0                0.00  |
557.33/557.53	c | 557.53    | 0  | -187427      lb |  0                0                0.00  |
558.03/558.26	c | 558.26    | 0  | -187426      lb |  0                0                0.00  |
559.13/559.31	c | 559.32    | 0  | -187425      lb |  0                0                0.00  |
559.83/560.08	c | 560.08    | 0  | -187424      lb |  0                0                0.00  |
560.53/560.79	c | 560.79    | 0  | -187423      lb |  0                0                0.00  |
561.43/561.60	c | 561.61    | 0  | -187422      lb |  0                0                0.00  |
562.13/562.33	c | 562.34    | 0  | -187421      lb |  0                0                0.00  |
562.93/563.18	c | 563.19    | 0  | -187420      lb |  0                0                0.00  |
563.93/564.14	c | 564.14    | 0  | -187417      lb |  0                0                0.00  |
564.73/564.92	c | 564.92    | 0  | -187416      lb |  0                0                0.00  |
565.53/565.77	c | 565.77    | 0  | -187415      lb |  0                0                0.00  |
566.33/566.54	c | 566.54    | 0  | -187414      lb |  0                0                0.00  |
567.13/567.31	c | 567.31    | 0  | -187413      lb |  0                0                0.00  |
568.13/568.37	c | 568.37    | 0  | -187412      lb |  0                0                0.00  |
569.03/569.27	c | 569.28    | 0  | -187411      lb |  0                0                0.00  |
570.13/570.33	c | 570.33    | 0  | -187410      lb |  0                0                0.00  |
571.23/571.42	c | 571.42    | 0  | -187409      lb |  0                0                0.00  |
572.33/572.58	c | 572.59    | 0  | -187399      lb |  0                0                0.00  |
573.42/573.62	c | 573.62    | 0  | -187398      lb |  0                0                0.00  |
574.52/574.75	c | 574.75    | 0  | -187397      lb |  0                0                0.00  |
575.62/575.88	c | 575.88    | 0  | -187396      lb |  0                0                0.00  |
576.82/577.01	c | 577.01    | 0  | -187395      lb |  0                0                0.00  |
577.92/578.18	c | 578.19    | 0  | -187394      lb |  0                0                0.00  |
579.12/579.32	c | 579.32    | 0  | -187393      lb |  0                0                0.00  |
580.22/580.45	c | 580.45    | 0  | -187392      lb |  0                0                0.00  |
581.32/581.59	c | 581.59    | 0  | -187391      lb |  0                0                0.00  |
582.52/582.72	c | 582.72    | 0  | -187390      lb |  0                0                0.00  |
584.02/584.21	c | 584.22    | 0  | -187389      lb |  0                0                0.00  |
584.93/585.17	c | 585.18    | 0  | -187388      lb |  0                0                0.00  |
585.92/586.14	c | 586.14    | 0  | -187381      lb |  0                0                0.00  |
586.83/587.06	c | 587.06    | 0  | -187380      lb |  0                0                0.00  |
588.33/588.59	c | 588.60    | 0  | -187379      lb |  0                0                0.00  |
592.03/592.30	c | 592.30    | 0  | -187378      lb |  0                0                0.00  |
595.73/595.93	c | 595.94    | 0  | -187377      lb |  0                0                0.00  |
599.23/599.49	c | 599.50    | 0  | -187376      lb |  0                0                0.00  |
600.22/600.48	c | 600.48    | 0  | -187375      lb |  0                0                0.00  |
601.53/601.75	c | 601.76    | 0  | -187374      lb |  0                0                0.00  |
603.22/603.49	c | 603.49    | 0  | -187373      lb |  0                0                0.00  |
604.42/604.60	c | 604.60    | 0  | -187372      lb |  0                0                0.00  |
605.52/605.73	c | 605.74    | 0  | -187371      lb |  0                0                0.00  |
607.32/607.51	c | 607.51    | 0  | -187370      lb |  0                0                0.00  |
608.52/608.74	c | 608.74    | 0  | -187369      lb |  0                0                0.00  |
610.22/610.49	c | 610.50    | 0  | -187368      lb |  0                0                0.00  |
612.02/612.21	c | 612.22    | 0  | -187367      lb |  0                0                0.00  |
614.02/614.21	c | 614.21    | 0  | -187366      lb |  0                0                0.00  |
615.12/615.36	c | 615.36    | 0  | -187365      lb |  0                0                0.00  |
616.02/616.24	c | 616.24    | 0  | -187356      lb |  0                0                0.00  |
617.22/617.49	c | 617.49    | 0  | -187355      lb |  0                0                0.00  |
618.32/618.55	c | 618.55    | 0  | -187354      lb |  0                0                0.00  |
643.61/643.87	c | 643.87    | 0  | -187353      lb |  0                0                0.00  |
646.21/646.42	c | 646.42    | 0  | -187352      lb |  0                0                0.00  |
649.52/649.78	c | 649.79    | 0  | -187351      lb |  0                0                0.00  |
650.52/650.77	c | 650.78    | 0  | -187350      lb |  0                0                0.00  |
651.71/651.96	c | 651.96    | 0  | -187349      lb |  0                0                0.00  |
654.41/654.68	c | 654.68    | 0  | -187348      lb |  0                0                0.00  |
708.00/708.30	c | 708.30    | 0  | -187347      lb |  0                0                0.00  |
709.10/709.33	c | 709.33    | 0  | -187346      lb |  0                0                0.00  |
805.39/805.66	c | 805.67    | 0  | -187345      lb |  0                0                0.00  |
819.89/820.14	c | 820.15    | 0  | -187344      lb |  0                0                0.00  |
935.87/936.19	c | 936.20    | 0  | -187343      lb |  0                0                0.00  |
949.67/949.90	c | 949.90    | 0  | -187342      lb |  0                0                0.00  |
988.36/988.62	c | 988.63    | 0  | -187341      lb |  0                0                0.00  |
989.46/989.70	c | 989.70    | 0  | -187340      lb |  0                0                0.00  |
990.36/990.66	c | 990.66    | 0  | -187339      lb |  0                0                0.00  |
991.36/991.61	c | 991.62    | 0  | -187335      lb |  0                0                0.00  |
992.36/992.65	c | 992.65    | 0  | -187333      lb |  0                0                0.00  |
993.76/994.07	c | 994.08    | 0  | -187332      lb |  0                0                0.00  |
996.16/996.46	c | 996.47    | 0  | -187331      lb |  0                0                0.00  |
997.17/997.46	c | 997.46    | 0  | -187326      lb |  0                0                0.00  |
998.26/998.55	c | 998.55    | 0  | -187325      lb |  0                0                0.00  |
999.67/999.91	c | 999.92    | 0  | -187323      lb |  0                0                0.00  |
1001.17/1001.45	c | 1001.45   | 0  | -187321      lb |  0                0                0.00  |
1003.36/1003.63	c | 1003.63   | 0  | -187320      lb |  0                0                0.00  |
1004.36/1004.64	c | 1004.64   | 0  | -187319      lb |  0                0                0.00  |
1005.27/1005.59	c | 1005.59   | 0  | -187318      lb |  0                0                0.00  |
1006.37/1006.62	c | 1006.62   | 0  | -187317      lb |  0                0                0.00  |
1007.76/1008.01	c | 1008.02   | 0  | -187312      lb |  0                0                0.00  |
1009.36/1009.63	c | 1009.63   | 0  | -187307      lb |  0                0                0.00  |
1011.06/1011.32	c | 1011.32   | 0  | -187306      lb |  0                0                0.00  |
1012.66/1012.93	c | 1012.94   | 0  | -187303      lb |  0                0                0.00  |
1014.16/1014.43	c | 1014.43   | 0  | -187302      lb |  0                0                0.00  |
1016.06/1016.35	c | 1016.35   | 0  | -187301      lb |  0                0                0.00  |
1017.85/1018.14	c | 1018.14   | 0  | -187298      lb |  0                0                0.00  |
1019.76/1020.06	c | 1020.07   | 0  | -187295      lb |  0                0                0.00  |
1021.46/1021.72	c | 1021.72   | 0  | -187294      lb |  0                0                0.00  |
1023.35/1023.66	c | 1023.66   | 0  | -187293      lb |  0                0                0.00  |
1025.16/1025.45	c | 1025.46   | 0  | -187292      lb |  0                0                0.00  |
1026.96/1027.21	c | 1027.21   | 0  | -187281      lb |  0                0                0.00  |
1028.46/1028.73	c | 1028.73   | 0  | -187267      lb |  0                0                0.00  |
1030.26/1030.50	c | 1030.50   | 0  | -187266      lb |  0                0                0.00  |
1031.86/1032.14	c | 1032.15   | 0  | -187264      lb |  0                0                0.00  |
1033.66/1033.91	c | 1033.91   | 0  | -187263      lb |  0                0                0.00  |
1035.55/1035.85	c | 1035.85   | 0  | -187262      lb |  0                0                0.00  |
1039.16/1039.46	c | 1039.47   | 0  | -187261      lb |  0                0                0.00  |
1042.06/1042.38	c | 1042.39   | 0  | -187260      lb |  0                0                0.00  |
1044.26/1044.52	c | 1044.52   | 0  | -187259      lb |  0                0                0.00  |
1046.46/1046.73	c | 1046.73   | 0  | -187258      lb |  0                0                0.00  |
1048.36/1048.61	c | 1048.61   | 0  | -187257      lb |  0                0                0.00  |
1050.65/1050.99	c | 1050.99   | 0  | -187256      lb |  0                0                0.00  |
1053.35/1053.63	c | 1053.63   | 0  | -187255      lb |  0                0                0.00  |
1064.65/1064.91	c | 1064.91   | 0  | -187254      lb |  0                0                0.00  |
1085.45/1085.79	c | 1085.79   | 0  | -187253      lb |  0                0                0.00  |
1098.94/1099.26	c | 1099.27   | 0  | -187252      lb |  0                0                0.00  |
1176.82/1177.10	c | 1177.11   | 0  | -187251      lb |  0                0                0.00  |
1179.22/1179.53	c | 1179.53   | 0  | -187250      lb |  0                0                0.00  |
1180.72/1181.07	c | 1181.08   | 0  | -187249      lb |  0                0                0.00  |
1181.72/1182.02	c | 1182.02   | 0  | -187245      lb |  0                0                0.00  |
1234.29/1234.68	c | 1234.68   | 0  | -187244      lb |  0                0                0.00  |
1237.20/1237.59	c | 1237.59   | 0  | -187243      lb |  0                0                0.00  |
1253.98/1254.35	c | 1254.36   | 0  | -187239      lb |  0                0                0.00  |
1271.78/1272.17	c | 1272.17   | 0  | -187238      lb |  0                0                0.00  |
1273.38/1273.79	c | 1273.79   | 0  | -187237      lb |  0                0                0.00  |
1275.69/1276.07	c | 1276.07   | 0  | -187236      lb |  0                0                0.00  |
1289.89/1290.30	c | 1290.30   | 0  | -187235      lb |  0                0                0.00  |
1313.47/1313.84	c | 1313.84   | 0  | -187234      lb |  0                0                0.00  |
1413.86/1414.26	c | 1414.26   | 0  | -187233      lb |  0                0                0.00  |
1416.46/1416.80	c | 1416.81   | 0  | -187232      lb |  0                0                0.00  |
1752.21/1752.61	c | 1752.61   | 0  | -187231      lb |  0                0                0.00  |
1753.21/1753.62	c | 1753.63   | 0  | -187215      lb |  0                0                0.00  |
1757.50/1757.98	c | 1757.99   | 0  | -187214      lb |  0                0                0.00  |
1760.00/1760.42	c | 1760.42   | 0  | -187213      lb |  0                0                0.00  |
1765.81/1766.27	c | 1766.28   | 0  | -187212      lb |  0                0                0.00  |
1768.01/1768.42	c | 1768.42   | 0  | -187211      lb |  0                0                0.00  |
1772.11/1772.59	c | 1772.60   | 0  | -187210      lb |  0                0                0.00  |
1773.70/1774.10	c | 1774.11   | 0  | -187209      lb |  0                0                0.00  |
1775.90/1776.37	c | 1776.38   | 0  | -187179      lb |  0                0                0.00  |
1777.90/1778.31	c | 1778.31   | 0  | -187178      lb |  0                0                0.00  |
1799.60/1800.00	c ===============================================================================
1799.60/1800.00	c Wall Clock Time: 1800.01 s
1799.60/1800.00	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

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-3705587-1338160488/watcher-3705587-1338160488 -o /tmp/evaluation-result-3705587-1338160488/solver-3705587-1338160488 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705587-1338160488.opb 

running on 4 cores: 0,2,4,6

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.00 2.00 3/170 22798
/proc/meminfo: memFree=30383528/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=31820 CPUtime=0 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) R 22796 22798 22647 0 -1 4202496 572 0 0 0 0 0 0 0 20 0 1 0 282175830 32583680 525 33554432000 4194304 5963574 140734763384272 140735685550680 4394942 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 7955 526 173 432 0 627 0

[startup+0.0295741 s]
/proc/loadavg: 2.00 2.00 2.00 3/170 22798
/proc/meminfo: memFree=30383528/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=35128 CPUtime=0.02 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) R 22796 22798 22647 0 -1 4202496 1330 0 0 0 2 0 0 0 20 0 1 0 282175830 35971072 1282 33554432000 4194304 5963574 140734763384272 140734763382344 5116200 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 8782 1282 238 432 0 1454 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 35128

[startup+0.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/170 22798
/proc/meminfo: memFree=30383528/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=41980 CPUtime=0.09 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) R 22796 22798 22647 0 -1 4202496 3160 0 0 0 9 0 0 0 20 0 1 0 282175830 42987520 2998 33554432000 4194304 5963574 140734763384272 140734763382344 5159371 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 10495 2999 451 432 0 3167 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41980

[startup+0.300223 s]
/proc/loadavg: 2.00 2.00 2.00 3/170 22798
/proc/meminfo: memFree=30383528/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=53008 CPUtime=0.29 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) R 22796 22798 22647 0 -1 4202496 6808 0 0 0 28 1 0 0 20 0 1 0 282175830 54280192 6509 33554432000 4194304 5963574 140734763384272 140734763382344 4336681 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 13252 6509 1036 432 0 5924 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53008

[startup+0.700222 s]
/proc/loadavg: 2.00 2.00 2.00 3/170 22798
/proc/meminfo: memFree=30383528/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=85340 CPUtime=0.69 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) R 22796 22798 22647 0 -1 4202496 15658 0 0 0 66 3 0 0 20 0 1 0 282175830 87388160 14701 33554432000 4194304 5963574 140734763384272 140734763382936 4338756 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 21335 14701 2179 432 0 14007 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85340

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22808
/proc/meminfo: memFree=30241432/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=144092 CPUtime=1.49 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) R 22796 22798 22647 0 -1 4202496 30378 0 0 0 143 6 0 0 20 0 1 0 282175830 147550208 29899 33554432000 4194304 5963574 140734763384272 140734763382616 5155354 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 36023 29899 4085 432 0 28695 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 144092

[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22808
/proc/meminfo: memFree=30112292/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=293128 CPUtime=3.09 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 64544 0 0 0 297 12 0 0 20 0 2 0 282175830 300163072 63755 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 73282 63755 177 432 0 72847 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 293128

[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22810
/proc/meminfo: memFree=29400332/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=565648 CPUtime=6.28 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 112101 0 0 0 605 23 0 0 20 0 2 0 282175830 579223552 126071 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 141412 126071 194 432 0 140977 0
[pid=22798/tid=22809] ppid=22796 vsize=565648 CPUtime=3.32 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 64866 0 0 0 317 15 0 0 20 0 2 0 282176126 579223552 126071 33554432000 4194304 5963574 140734763384272 139860774938968 5129994 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 565648

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22810
/proc/meminfo: memFree=29352572/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=565648 CPUtime=12.69 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 119283 0 0 0 1243 26 0 0 20 0 2 0 282175830 579223552 128446 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 141412 128446 197 432 0 140977 0
[pid=22798/tid=22809] ppid=22796 vsize=565648 CPUtime=9.72 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 72048 0 0 0 954 18 0 0 20 0 2 0 282176126 579223552 128446 33554432000 4194304 5963574 140734763384272 139860774939032 5138270 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 565648

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22811
/proc/meminfo: memFree=29306384/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=631184 CPUtime=25.49 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 125081 0 0 0 2520 29 0 0 20 0 2 0 282175830 646332416 137291 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 157796 137291 197 432 0 157361 0
[pid=22798/tid=22809] ppid=22796 vsize=631184 CPUtime=22.53 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 77846 0 0 0 2232 21 0 0 20 0 2 0 282176126 646332416 137291 33554432000 4194304 5963574 140734763384272 139860774939160 5141661 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 631184

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22811
/proc/meminfo: memFree=29272340/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=631184 CPUtime=51.08 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 133849 0 0 0 5075 33 0 0 20 0 2 0 282175830 646332416 144518 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 157796 144518 197 432 0 157361 0
[pid=22798/tid=22809] ppid=22796 vsize=631184 CPUtime=48.12 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 86614 0 0 0 4787 25 0 0 20 0 2 0 282176126 646332416 144518 33554432000 4194304 5963574 140734763384272 139860774938968 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 631184

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22811
/proc/meminfo: memFree=29221232/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=631184 CPUtime=102.28 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 133852 0 0 0 10195 33 0 0 20 0 2 0 282175830 646332416 145248 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 157796 145248 197 432 0 157361 0
[pid=22798/tid=22809] ppid=22796 vsize=631184 CPUtime=99.33 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 86617 0 0 0 9907 26 0 0 20 0 2 0 282176126 646332416 145248 33554432000 4194304 5963574 140734763384272 139860774938968 4403126 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 631184

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22811
/proc/meminfo: memFree=29192232/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=631184 CPUtime=162.26 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 133859 0 0 0 16193 33 0 0 20 0 2 0 282175830 646332416 145248 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 157796 145248 197 432 0 157361 0
[pid=22798/tid=22809] ppid=22796 vsize=631184 CPUtime=159.32 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 86624 0 0 0 15905 27 0 0 20 0 2 0 282176126 646332416 145248 33554432000 4194304 5963574 140734763384272 139860774938968 4388706 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 631184

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22811
/proc/meminfo: memFree=29151368/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=631184 CPUtime=222.23 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 133873 0 0 0 22190 33 0 0 20 0 2 0 282175830 646332416 145740 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 157796 145740 197 432 0 157361 0
[pid=22798/tid=22809] ppid=22796 vsize=631184 CPUtime=219.31 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 86638 0 0 0 21903 28 0 0 20 0 2 0 282176126 646332416 145740 33554432000 4194304 5963574 140734763384272 139860774938968 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 631184

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22812
/proc/meminfo: memFree=29008568/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=696720 CPUtime=282.18 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 135441 0 0 0 28183 35 0 0 20 0 2 0 282175830 713441280 147267 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 174180 147267 197 432 0 173745 0
[pid=22798/tid=22809] ppid=22796 vsize=696720 CPUtime=279.27 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 88206 0 0 0 27896 31 0 0 20 0 2 0 282176126 713441280 147267 33554432000 4194304 5963574 140734763384272 139860774938424 4388386 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 696720

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22815
/proc/meminfo: memFree=28937272/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=696720 CPUtime=342.16 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 142745 0 0 0 34176 40 0 0 20 0 2 0 282175830 713441280 154659 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 174180 154659 197 432 0 173745 0
[pid=22798/tid=22809] ppid=22796 vsize=696720 CPUtime=339.27 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 95510 0 0 0 33890 37 0 0 20 0 2 0 282176126 713441280 154659 33554432000 4194304 5963574 140734763384272 139860774938424 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 696720

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22815
/proc/meminfo: memFree=28787864/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=696720 CPUtime=402.15 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 149105 0 0 0 40173 42 0 0 20 0 2 0 282175830 713441280 161016 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 174180 161016 197 432 0 173745 0
[pid=22798/tid=22809] ppid=22796 vsize=696720 CPUtime=399.27 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 101870 0 0 0 39887 40 0 0 20 0 2 0 282176126 713441280 161016 33554432000 4194304 5963574 140734763384272 139860774938424 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 696720

[startup+462.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 22815
/proc/meminfo: memFree=28626912/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=893328 CPUtime=462.15 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 168826 0 0 0 46167 48 0 0 20 0 2 0 282175830 914767872 196369 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 223332 196369 197 432 0 222897 0
[pid=22798/tid=22809] ppid=22796 vsize=893328 CPUtime=459.27 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 121591 0 0 0 45881 46 0 0 20 0 2 0 282176126 914767872 196369 33554432000 4194304 5963574 140734763384272 139860774939160 5121566 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0

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

/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 165911 0 0 0 129853 76 0 0 20 0 2 0 282176126 1133015040 252835 33554432000 4194304 5963574 140734763384272 139860774939160 4390488 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1106460

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 22822
/proc/meminfo: memFree=27440260/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=1106460 CPUtime=1361.96 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 213736 0 0 0 136131 65 0 0 20 0 2 0 282175830 1133015040 255980 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 276615 255980 197 432 0 276180 0
[pid=22798/tid=22809] ppid=22796 vsize=1106460 CPUtime=1359.28 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 166501 0 0 0 135851 77 0 0 20 0 2 0 282176126 1133015040 255980 33554432000 4194304 5963574 140734763384272 139860774938968 4403084 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1106460

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22822
/proc/meminfo: memFree=27425736/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=1106460 CPUtime=1421.96 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 213736 0 0 0 142131 65 0 0 20 0 2 0 282175830 1133015040 252186 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 276615 252186 197 432 0 276180 0
[pid=22798/tid=22809] ppid=22796 vsize=1106460 CPUtime=1419.29 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 166501 0 0 0 141851 78 0 0 20 0 2 0 282176126 1133015040 252186 33554432000 4194304 5963574 140734763384272 139860774939464 4399451 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1106460

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22822
/proc/meminfo: memFree=27364304/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=1106460 CPUtime=1481.94 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 213736 0 0 0 148129 65 0 0 20 0 2 0 282175830 1133015040 252186 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 276615 252186 197 432 0 276180 0
[pid=22798/tid=22809] ppid=22796 vsize=1106460 CPUtime=1479.29 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 166501 0 0 0 147850 79 0 0 20 0 2 0 282176126 1133015040 252186 33554432000 4194304 5963574 140734763384272 139860774939464 4392399 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1106460

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22826
/proc/meminfo: memFree=27331096/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=1106460 CPUtime=1541.94 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 213736 0 0 0 154129 65 0 0 20 0 2 0 282175830 1133015040 252186 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 276615 252186 197 432 0 276180 0
[pid=22798/tid=22809] ppid=22796 vsize=1106460 CPUtime=1539.29 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 166501 0 0 0 153849 80 0 0 20 0 2 0 282176126 1133015040 252186 33554432000 4194304 5963574 140734763384272 139860774939464 4399511 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1106460

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22826
/proc/meminfo: memFree=27276188/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=1106460 CPUtime=1601.93 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 213736 0 0 0 160128 65 0 0 20 0 2 0 282175830 1133015040 252186 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 276615 252186 197 432 0 276180 0
[pid=22798/tid=22809] ppid=22796 vsize=1106460 CPUtime=1599.3 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 166501 0 0 0 159849 81 0 0 20 0 2 0 282176126 1133015040 252186 33554432000 4194304 5963574 140734763384272 139860774939464 4392243 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1106460

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22826
/proc/meminfo: memFree=27216160/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=1106460 CPUtime=1661.92 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 213736 0 0 0 166126 66 0 0 20 0 2 0 282175830 1133015040 252186 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 276615 252186 197 432 0 276180 0
[pid=22798/tid=22809] ppid=22796 vsize=1106460 CPUtime=1659.3 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 166501 0 0 0 165847 83 0 0 20 0 2 0 282176126 1133015040 252186 33554432000 4194304 5963574 140734763384272 139860774939464 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1106460

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22826
/proc/meminfo: memFree=27146824/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=1106460 CPUtime=1721.92 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 213736 0 0 0 172126 66 0 0 20 0 2 0 282175830 1133015040 252186 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 276615 252186 197 432 0 276180 0
[pid=22798/tid=22809] ppid=22796 vsize=1106460 CPUtime=1719.3 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 166501 0 0 0 171846 84 0 0 20 0 2 0 282176126 1133015040 252186 33554432000 4194304 5963574 140734763384272 139860774939464 4387487 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1106460

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22826
/proc/meminfo: memFree=27023260/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=1171996 CPUtime=1781.9 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 224400 0 0 0 178122 68 0 0 20 0 2 0 282175830 1200123904 263237 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 292999 263237 197 432 0 292564 0
[pid=22798/tid=22809] ppid=22796 vsize=1171996 CPUtime=1779.31 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 177165 0 0 0 177844 87 0 0 20 0 2 0 282176126 1200123904 263237 33554432000 4194304 5963574 140734763384272 139860774939464 4392454 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1171996

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

[startup+1791.91 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22826
/proc/meminfo: memFree=27023132/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=1171996 CPUtime=1791.51 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 224400 0 0 0 179083 68 0 0 20 0 2 0 282175830 1200123904 263237 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 292999 263237 197 432 0 292564 0
[pid=22798/tid=22809] ppid=22796 vsize=1171996 CPUtime=1788.91 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 177165 0 0 0 178804 87 0 0 20 0 2 0 282176126 1200123904 263237 33554432000 4194304 5963574 140734763384272 139860774939464 4390395 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (KiB) 1171996

[startup+1795.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22826
/proc/meminfo: memFree=27039016/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=1171996 CPUtime=1794.71 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 224400 0 0 0 179403 68 0 0 20 0 2 0 282175830 1200123904 263237 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 292999 263237 197 432 0 292564 0
[pid=22798/tid=22809] ppid=22796 vsize=1171996 CPUtime=1792.11 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 177165 0 0 0 179124 87 0 0 20 0 2 0 282176126 1200123904 263237 33554432000 4194304 5963574 140734763384272 139860774939464 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.71
Current children cumulated vsize (KiB) 1171996

[startup+1798.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22826
/proc/meminfo: memFree=27055584/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=1171996 CPUtime=1797.9 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 224400 0 0 0 179722 68 0 0 20 0 2 0 282175830 1200123904 263237 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 292999 263237 197 432 0 292564 0
[pid=22798/tid=22809] ppid=22796 vsize=1171996 CPUtime=1795.31 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 177165 0 0 0 179444 87 0 0 20 0 2 0 282176126 1200123904 263237 33554432000 4194304 5963574 140734763384272 139860774939464 4392399 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 1171996

[startup+1799.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22826
/proc/meminfo: memFree=27055584/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=1171996 CPUtime=1798.7 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 224400 0 0 0 179802 68 0 0 20 0 2 0 282175830 1200123904 263237 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 292999 263237 197 432 0 292564 0
[pid=22798/tid=22809] ppid=22796 vsize=1171996 CPUtime=1796.11 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 177165 0 0 0 179524 87 0 0 20 0 2 0 282176126 1200123904 263237 33554432000 4194304 5963574 140734763384272 139860774939464 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.7
Current children cumulated vsize (KiB) 1171996

[startup+1799.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22826
/proc/meminfo: memFree=27051488/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=1171996 CPUtime=1799.11 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 224400 0 0 0 179843 68 0 0 20 0 2 0 282175830 1200123904 263237 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 292999 263237 197 432 0 292564 0
[pid=22798/tid=22809] ppid=22796 vsize=1171996 CPUtime=1796.51 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 177165 0 0 0 179564 87 0 0 20 0 2 0 282176126 1200123904 263237 33554432000 4194304 5963574 140734763384272 139860774939464 4403111 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.11
Current children cumulated vsize (KiB) 1171996

[startup+1799.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22826
/proc/meminfo: memFree=27051488/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=1171996 CPUtime=1799.5 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 224400 0 0 0 179882 68 0 0 20 0 2 0 282175830 1200123904 263237 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 292999 263237 197 432 0 292564 0
[pid=22798/tid=22809] ppid=22796 vsize=1171996 CPUtime=1796.91 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 177165 0 0 0 179604 87 0 0 20 0 2 0 282176126 1200123904 263237 33554432000 4194304 5963574 140734763384272 139860774939464 4392259 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 1171996

[startup+1800 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22826
/proc/meminfo: memFree=27051488/32873844 swapFree=7108/7108
[pid=22798] ppid=22796 vsize=1171996 CPUtime=1799.6 cores=0,2,4,6
/proc/22798/stat : 22798 (wbo1.7) S 22796 22798 22647 0 -1 4202496 224400 0 0 0 179892 68 0 0 20 0 2 0 282175830 1200123904 263237 33554432000 4194304 5963574 140734763384272 140734763383792 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22798/statm: 292999 263237 197 432 0 292564 0
[pid=22798/tid=22809] ppid=22796 vsize=1171996 CPUtime=1797.01 cores=0,2,4,6
/proc/22798/task/22809/stat : 22809 (wbo1.7) R 22796 22798 22647 0 -1 4202560 177165 0 0 0 179614 87 0 0 20 0 2 0 282176126 1200123904 263237 33554432000 4194304 5963574 140734763384272 139860774939464 4387487 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.6
Current children cumulated vsize (KiB) 1171996

Child status: 255
Real time (s): 1800.02
CPU time (s): 1800
CPU user time (s): 1799.02
CPU system time (s): 0.978851
CPU usage (%): 99.999
Max. virtual memory (cumulated for all children) (KiB): 1171996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 0.978851
maximum resident set size= 1084000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224400
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= 125
involuntary context switches= 1938

runsolver used 6.46402 second user time and 20.9468 second system time

The end

Launcher Data 

Begin job on node111 at 2012-05-28 01:14:49
IDJOB=3705587
IDBENCH=90903
IDSOLVER=2283
FILE ID=node111/3705587-1338160488
RUNJOBID= node111-1338158687-22663
PBS_JOBID= 14624545
Free space on /tmp= 71628 MiB

SOLVER NAME= wbo 1.7
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null10mast_rapportOE2.0_TMAX180_K192_cod2.opb
COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705587-1338160488/watcher-3705587-1338160488 -o /tmp/evaluation-result-3705587-1338160488/solver-3705587-1338160488 -C 1800 -W 1900 -M 15500  wbo1.7 -file-format=opb HOME/instance-3705587-1338160488.opb

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

MD5SUM BENCH= 6aef9ca2bb094f9e5aa00d5eeeaa5070
RANDOM SEED=192887540

node111.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.152
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	: 5332.30
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.152
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.152
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.152
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.152
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.152
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.152
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.91
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.152
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30389372 kB
Buffers:          501476 kB
Cached:          1123784 kB
SwapCached:         1668 kB
Active:           721304 kB
Inactive:         914416 kB
Active(anon):       2192 kB
Inactive(anon):     9132 kB
Active(file):     719112 kB
Inactive(file):   905284 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67105320 kB
Dirty:             60488 kB
Writeback:             0 kB
AnonPages:         14828 kB
Mapped:            13676 kB
Shmem:                 8 kB
Slab:             709216 kB
SReclaimable:     151328 kB
SUnreclaim:       557888 kB
KernelStack:        1440 kB
PageTables:         3720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     102920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71616 MiB
End job on node111 at 2012-05-28 01:44:49