Trace number 3727888

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.72? 1799.64 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.72 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3727888-1338672910.opb.
0.00/0.00	c Instance file HOME/instance-3727888-1338672910.opb
0.00/0.00	c File size is 28233204 bytes.
2.89/2.94	c Cost Offset: -189008
2.89/2.94	c Highest Coefficient sum: 67331
2.89/2.94	c ============================[ Problem Statistics ]=============================
2.89/2.94	c |                                                                             |
2.89/2.94	c |  Parsing time:          2.94         s                                      |
2.89/2.94	c |  Number Variables:      400896                                              |
2.89/2.94	c |  Number Clauses:        400785                                              |
2.89/2.94	c |  Number Cardinality:    1977                                                |
2.89/2.94	c |  Number PB Constraints: 1                                                   |
2.89/2.94	c |                                                                             |
3.19/3.22	c |  Problem Type:          Optimization                                        |
3.19/3.22	c |  Objective Function:    PB Constraint                                       |
3.19/3.22	c |                                                                             |
3.19/3.22	c ============================[ Search Statistics ]==============================
3.19/3.22	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
3.19/3.22	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
3.19/3.22	c ===============================================================================
3.59/3.69	c | 3.69      | 0  | -189007      lb |  0                0                0.00  |
4.09/4.10	c | 4.11      | 0  | -189006      lb |  0                0                0.00  |
4.40/4.49	c | 4.49      | 0  | -189004      lb |  0                0                0.00  |
4.79/4.87	c | 4.87      | 0  | -189000      lb |  0                0                0.00  |
5.19/5.24	c | 5.25      | 0  | -188992      lb |  0                0                0.00  |
5.59/5.63	c | 5.63      | 0  | -188976      lb |  0                0                0.00  |
5.99/6.00	c | 6.00      | 0  | -188944      lb |  0                0                0.00  |
6.29/6.39	c | 6.39      | 0  | -188880      lb |  0                0                0.00  |
6.69/6.78	c | 6.78      | 0  | -188752      lb |  0                0                0.00  |
7.09/7.17	c | 7.17      | 0  | -188496      lb |  0                0                0.00  |
7.48/7.57	c | 7.57      | 0  | -187984      lb |  0                0                0.00  |
8.28/8.34	c | 8.34      | 0  | -187983      lb |  0                0                0.00  |
9.19/9.20	c | 9.20      | 0  | -187982      lb |  0                0                0.00  |
9.99/10.01	c | 10.02     | 0  | -187981      lb |  0                0                0.00  |
10.78/10.80	c | 10.80     | 0  | -187980      lb |  0                0                0.00  |
11.68/11.75	c | 11.76     | 0  | -187979      lb |  0                0                0.00  |
12.59/12.60	c | 12.61     | 0  | -187978      lb |  0                0                0.00  |
13.49/13.55	c | 13.56     | 0  | -187977      lb |  0                0                0.00  |
18.59/18.68	c | 18.68     | 0  | -187976      lb |  0                0                0.00  |
19.69/19.71	c | 19.72     | 0  | -187975      lb |  0                0                0.00  |
20.58/20.61	c | 20.61     | 0  | -187974      lb |  0                0                0.00  |
21.48/21.53	c | 21.53     | 0  | -187973      lb |  0                0                0.00  |
22.99/23.08	c | 23.08     | 0  | -187972      lb |  0                0                0.00  |
24.10/24.16	c | 24.16     | 0  | -187971      lb |  0                0                0.00  |
24.99/25.09	c | 25.09     | 0  | -187970      lb |  0                0                0.00  |
25.88/25.95	c | 25.95     | 0  | -187969      lb |  0                0                0.00  |
26.78/26.87	c | 26.87     | 0  | -187968      lb |  0                0                0.00  |
27.68/27.74	c | 27.74     | 0  | -187967      lb |  0                0                0.00  |
28.59/28.63	c | 28.63     | 0  | -187966      lb |  0                0                0.00  |
29.49/29.54	c | 29.54     | 0  | -187965      lb |  0                0                0.00  |
30.39/30.43	c | 30.44     | 0  | -187964      lb |  0                0                0.00  |
31.38/31.46	c | 31.46     | 0  | -187963      lb |  0                0                0.00  |
32.39/32.41	c | 32.41     | 0  | -187962      lb |  0                0                0.00  |
33.39/33.40	c | 33.40     | 0  | -187961      lb |  0                0                0.00  |
34.48/34.50	c | 34.50     | 0  | -187960      lb |  0                0                0.00  |
35.38/35.49	c | 35.49     | 0  | -187959      lb |  0                0                0.00  |
36.38/36.45	c | 36.45     | 0  | -187958      lb |  0                0                0.00  |
37.18/37.29	c | 37.30     | 0  | -187957      lb |  0                0                0.00  |
38.49/38.51	c | 38.52     | 0  | -187956      lb |  0                0                0.00  |
39.38/39.43	c | 39.44     | 0  | -187955      lb |  0                0                0.00  |
40.98/41.05	c | 41.05     | 0  | -187954      lb |  0                0                0.00  |
432.27/432.48	c | 432.49    | 0  | -187953      lb |  0                0                0.00  |
435.77/435.96	c | 435.96    | 0  | -187952      lb |  0                0                0.00  |
437.68/437.84	c | 437.84    | 0  | -187951      lb |  0                0                0.00  |
441.37/441.57	c | 441.58    | 0  | -187950      lb |  0                0                0.00  |
442.08/442.29	c | 442.29    | 0  | -187949      lb |  0                0                0.00  |
443.08/443.22	c | 443.22    | 0  | -187948      lb |  0                0                0.00  |
443.87/444.02	c | 444.03    | 0  | -187944      lb |  0                0                0.00  |
445.87/446.00	c | 446.00    | 0  | -187943      lb |  0                0                0.00  |
446.77/446.96	c | 446.96    | 0  | -187913      lb |  0                0                0.00  |
449.27/449.44	c | 449.45    | 0  | -187912      lb |  0                0                0.00  |
450.57/450.79	c | 450.79    | 0  | -187911      lb |  0                0                0.00  |
451.88/452.05	c | 452.05    | 0  | -187909      lb |  0                0                0.00  |
453.17/453.36	c | 453.37    | 0  | -187908      lb |  0                0                0.00  |
454.18/454.36	c | 454.37    | 0  | -187907      lb |  0                0                0.00  |
457.17/457.38	c | 457.38    | 0  | -187906      lb |  0                0                0.00  |
458.48/458.69	c | 458.69    | 0  | -187905      lb |  0                0                0.00  |
460.17/460.36	c | 460.36    | 0  | -187837      lb |  0                0                0.00  |
461.37/461.54	c | 461.54    | 0  | -187826      lb |  0                0                0.00  |
463.67/463.83	c | 463.83    | 0  | -187825      lb |  0                0                0.00  |
464.97/465.18	c | 465.19    | 0  | -187824      lb |  0                0                0.00  |
466.57/466.71	c | 466.71    | 0  | -187823      lb |  0                0                0.00  |
467.67/467.84	c | 467.84    | 0  | -187822      lb |  0                0                0.00  |
469.37/469.50	c | 469.50    | 0  | -187821      lb |  0                0                0.00  |
470.17/470.35	c | 470.36    | 0  | -187820      lb |  0                0                0.00  |
470.97/471.18	c | 471.18    | 0  | -187819      lb |  0                0                0.00  |
482.87/483.07	c | 483.07    | 0  | -187818      lb |  0                0                0.00  |
483.67/483.85	c | 483.85    | 0  | -187817      lb |  0                0                0.00  |
484.47/484.63	c | 484.64    | 0  | -187816      lb |  0                0                0.00  |
522.66/522.84	c | 522.85    | 0  | -187815      lb |  0                0                0.00  |
523.47/523.64	c | 523.64    | 0  | -187814      lb |  0                0                0.00  |
524.16/524.38	c | 524.38    | 0  | -187813      lb |  0                0                0.00  |
525.06/525.29	c | 525.29    | 0  | -187800      lb |  0                0                0.00  |
526.06/526.28	c | 526.29    | 0  | -187688      lb |  0                0                0.00  |
526.86/527.05	c | 527.05    | 0  | -187687      lb |  0                0                0.00  |
527.77/527.98	c | 527.98    | 0  | -187686      lb |  0                0                0.00  |
528.56/528.75	c | 528.76    | 0  | -187470      lb |  0                0                0.00  |
529.36/529.53	c | 529.54    | 0  | -187463      lb |  0                0                0.00  |
530.96/531.14	c | 531.15    | 0  | -187462      lb |  0                0                0.00  |
531.86/532.04	c | 532.05    | 0  | -187461      lb |  0                0                0.00  |
532.76/532.94	c | 532.94    | 0  | -187460      lb |  0                0                0.00  |
533.56/533.80	c | 533.80    | 0  | -187459      lb |  0                0                0.00  |
534.37/534.58	c | 534.58    | 0  | -187458      lb |  0                0                0.00  |
535.06/535.28	c | 535.28    | 0  | -187457      lb |  0                0                0.00  |
535.86/536.05	c | 536.06    | 0  | -187456      lb |  0                0                0.00  |
536.67/536.81	c | 536.81    | 0  | -187455      lb |  0                0                0.00  |
537.36/537.51	c | 537.51    | 0  | -187454      lb |  0                0                0.00  |
538.06/538.28	c | 538.28    | 0  | -187453      lb |  0                0                0.00  |
538.86/539.07	c | 539.07    | 0  | -187452      lb |  0                0                0.00  |
540.36/540.58	c | 540.58    | 0  | -187451      lb |  0                0                0.00  |
541.16/541.32	c | 541.33    | 0  | -187450      lb |  0                0                0.00  |
541.96/542.16	c | 542.16    | 0  | -187449      lb |  0                0                0.00  |
542.76/542.91	c | 542.92    | 0  | -187448      lb |  0                0                0.00  |
543.46/543.67	c | 543.67    | 0  | -187447      lb |  0                0                0.00  |
544.26/544.49	c | 544.50    | 0  | -187446      lb |  0                0                0.00  |
545.16/545.30	c | 545.30    | 0  | -187445      lb |  0                0                0.00  |
545.96/546.13	c | 546.13    | 0  | -187444      lb |  0                0                0.00  |
546.76/546.96	c | 546.96    | 0  | -187443      lb |  0                0                0.00  |
547.66/547.86	c | 547.86    | 0  | -187442      lb |  0                0                0.00  |
548.56/548.75	c | 548.75    | 0  | -187441      lb |  0                0                0.00  |
549.36/549.57	c | 549.57    | 0  | -187439      lb |  0                0                0.00  |
550.16/550.39	c | 550.39    | 0  | -187438      lb |  0                0                0.00  |
551.06/551.23	c | 551.24    | 0  | -187437      lb |  0                0                0.00  |
551.96/552.16	c | 552.17    | 0  | -187436      lb |  0                0                0.00  |
552.86/553.02	c | 553.03    | 0  | -187434      lb |  0                0                0.00  |
553.65/553.89	c | 553.89    | 0  | -187430      lb |  0                0                0.00  |
554.55/554.79	c | 554.80    | 0  | -187429      lb |  0                0                0.00  |
555.45/555.68	c | 555.69    | 0  | -187428      lb |  0                0                0.00  |
556.25/556.50	c | 556.50    | 0  | -187427      lb |  0                0                0.00  |
557.05/557.22	c | 557.23    | 0  | -187426      lb |  0                0                0.00  |
558.05/558.27	c | 558.28    | 0  | -187425      lb |  0                0                0.00  |
558.85/559.04	c | 559.04    | 0  | -187424      lb |  0                0                0.00  |
559.55/559.75	c | 559.75    | 0  | -187423      lb |  0                0                0.00  |
560.35/560.56	c | 560.57    | 0  | -187422      lb |  0                0                0.00  |
561.05/561.29	c | 561.29    | 0  | -187421      lb |  0                0                0.00  |
561.96/562.13	c | 562.13    | 0  | -187420      lb |  0                0                0.00  |
562.85/563.08	c | 563.09    | 0  | -187417      lb |  0                0                0.00  |
563.65/563.86	c | 563.86    | 0  | -187416      lb |  0                0                0.00  |
564.55/564.71	c | 564.71    | 0  | -187415      lb |  0                0                0.00  |
565.26/565.47	c | 565.47    | 0  | -187414      lb |  0                0                0.00  |
566.05/566.25	c | 566.25    | 0  | -187413      lb |  0                0                0.00  |
567.15/567.30	c | 567.31    | 0  | -187412      lb |  0                0                0.00  |
568.05/568.20	c | 568.21    | 0  | -187411      lb |  0                0                0.00  |
569.05/569.26	c | 569.26    | 0  | -187410      lb |  0                0                0.00  |
570.15/570.34	c | 570.34    | 0  | -187409      lb |  0                0                0.00  |
571.25/571.50	c | 571.50    | 0  | -187399      lb |  0                0                0.00  |
572.35/572.53	c | 572.53    | 0  | -187398      lb |  0                0                0.00  |
573.45/573.65	c | 573.65    | 0  | -187397      lb |  0                0                0.00  |
574.55/574.78	c | 574.78    | 0  | -187396      lb |  0                0                0.00  |
575.75/575.90	c | 575.90    | 0  | -187395      lb |  0                0                0.00  |
576.85/577.07	c | 577.08    | 0  | -187394      lb |  0                0                0.00  |
578.05/578.20	c | 578.20    | 0  | -187393      lb |  0                0                0.00  |
579.15/579.33	c | 579.33    | 0  | -187392      lb |  0                0                0.00  |
580.25/580.45	c | 580.45    | 0  | -187391      lb |  0                0                0.00  |
581.35/581.57	c | 581.57    | 0  | -187390      lb |  0                0                0.00  |
582.85/583.05	c | 583.06    | 0  | -187389      lb |  0                0                0.00  |
583.85/584.01	c | 584.02    | 0  | -187388      lb |  0                0                0.00  |
584.75/584.98	c | 584.98    | 0  | -187381      lb |  0                0                0.00  |
585.75/585.90	c | 585.90    | 0  | -187380      lb |  0                0                0.00  |
587.25/587.43	c | 587.43    | 0  | -187379      lb |  0                0                0.00  |
590.95/591.11	c | 591.12    | 0  | -187378      lb |  0                0                0.00  |
594.55/594.73	c | 594.74    | 0  | -187377      lb |  0                0                0.00  |
598.05/598.28	c | 598.28    | 0  | -187376      lb |  0                0                0.00  |
599.05/599.27	c | 599.27    | 0  | -187375      lb |  0                0                0.00  |
600.36/600.54	c | 600.55    | 0  | -187374      lb |  0                0                0.00  |
602.05/602.27	c | 602.27    | 0  | -187373      lb |  0                0                0.00  |
603.15/603.37	c | 603.38    | 0  | -187372      lb |  0                0                0.00  |
604.35/604.50	c | 604.51    | 0  | -187371      lb |  0                0                0.00  |
606.05/606.27	c | 606.27    | 0  | -187370      lb |  0                0                0.00  |
607.35/607.50	c | 607.50    | 0  | -187369      lb |  0                0                0.00  |
609.05/609.25	c | 609.26    | 0  | -187368      lb |  0                0                0.00  |
610.74/610.98	c | 610.98    | 0  | -187367      lb |  0                0                0.00  |
612.74/612.96	c | 612.96    | 0  | -187366      lb |  0                0                0.00  |
613.95/614.10	c | 614.11    | 0  | -187365      lb |  0                0                0.00  |
614.75/614.98	c | 614.98    | 0  | -187356      lb |  0                0                0.00  |
616.04/616.23	c | 616.23    | 0  | -187355      lb |  0                0                0.00  |
617.04/617.29	c | 617.29    | 0  | -187354      lb |  0                0                0.00  |
642.25/642.42	c | 642.43    | 0  | -187353      lb |  0                0                0.00  |
644.74/644.97	c | 644.97    | 0  | -187352      lb |  0                0                0.00  |
648.14/648.34	c | 648.35    | 0  | -187351      lb |  0                0                0.00  |
649.14/649.33	c | 649.33    | 0  | -187350      lb |  0                0                0.00  |
650.34/650.51	c | 650.52    | 0  | -187349      lb |  0                0                0.00  |
653.03/653.22	c | 653.22    | 0  | -187348      lb |  0                0                0.00  |
706.33/706.52	c | 706.52    | 0  | -187347      lb |  0                0                0.00  |
707.33/707.54	c | 707.54    | 0  | -187346      lb |  0                0                0.00  |
803.31/803.50	c | 803.51    | 0  | -187345      lb |  0                0                0.00  |
817.71/817.93	c | 817.93    | 0  | -187344      lb |  0                0                0.00  |
932.28/932.50	c | 932.50    | 0  | -187343      lb |  0                0                0.00  |
945.78/946.04	c | 946.05    | 0  | -187342      lb |  0                0                0.00  |
983.67/983.95	c | 983.95    | 0  | -187341      lb |  0                0                0.00  |
984.77/985.01	c | 985.02    | 0  | -187340      lb |  0                0                0.00  |
985.66/985.97	c | 985.97    | 0  | -187339      lb |  0                0                0.00  |
986.67/986.92	c | 986.92    | 0  | -187335      lb |  0                0                0.00  |
987.66/987.95	c | 987.95    | 0  | -187333      lb |  0                0                0.00  |
989.06/989.36	c | 989.36    | 0  | -187332      lb |  0                0                0.00  |
991.47/991.72	c | 991.73    | 0  | -187331      lb |  0                0                0.00  |
992.46/992.71	c | 992.72    | 0  | -187326      lb |  0                0                0.00  |
993.46/993.79	c | 993.80    | 0  | -187325      lb |  0                0                0.00  |
994.87/995.15	c | 995.15    | 0  | -187323      lb |  0                0                0.00  |
996.37/996.67	c | 996.67    | 0  | -187321      lb |  0                0                0.00  |
998.57/998.82	c | 998.82    | 0  | -187320      lb |  0                0                0.00  |
999.56/999.82	c | 999.82    | 0  | -187319      lb |  0                0                0.00  |
1000.46/1000.76	c | 1000.76   | 0  | -187318      lb |  0                0                0.00  |
1001.46/1001.77	c | 1001.77   | 0  | -187317      lb |  0                0                0.00  |
1002.87/1003.14	c | 1003.14   | 0  | -187312      lb |  0                0                0.00  |
1004.46/1004.73	c | 1004.73   | 0  | -187307      lb |  0                0                0.00  |
1006.06/1006.38	c | 1006.39   | 0  | -187306      lb |  0                0                0.00  |
1007.66/1007.98	c | 1007.98   | 0  | -187303      lb |  0                0                0.00  |
1009.16/1009.47	c | 1009.48   | 0  | -187302      lb |  0                0                0.00  |
1011.06/1011.37	c | 1011.37   | 0  | -187301      lb |  0                0                0.00  |
1012.87/1013.15	c | 1013.15   | 0  | -187298      lb |  0                0                0.00  |
1014.76/1015.06	c | 1015.06   | 0  | -187295      lb |  0                0                0.00  |
1016.46/1016.71	c | 1016.71   | 0  | -187294      lb |  0                0                0.00  |
1018.36/1018.63	c | 1018.63   | 0  | -187293      lb |  0                0                0.00  |
1020.16/1020.40	c | 1020.41   | 0  | -187292      lb |  0                0                0.00  |
1021.86/1022.15	c | 1022.15   | 0  | -187281      lb |  0                0                0.00  |
1023.36/1023.66	c | 1023.67   | 0  | -187267      lb |  0                0                0.00  |
1025.16/1025.41	c | 1025.41   | 0  | -187266      lb |  0                0                0.00  |
1026.76/1027.05	c | 1027.05   | 0  | -187264      lb |  0                0                0.00  |
1028.55/1028.80	c | 1028.80   | 0  | -187263      lb |  0                0                0.00  |
1030.46/1030.73	c | 1030.73   | 0  | -187262      lb |  0                0                0.00  |
1033.95/1034.29	c | 1034.29   | 0  | -187261      lb |  0                0                0.00  |
1036.86/1037.18	c | 1037.19   | 0  | -187260      lb |  0                0                0.00  |
1039.06/1039.31	c | 1039.31   | 0  | -187259      lb |  0                0                0.00  |
1041.26/1041.50	c | 1041.50   | 0  | -187258      lb |  0                0                0.00  |
1043.06/1043.37	c | 1043.37   | 0  | -187257      lb |  0                0                0.00  |
1045.45/1045.72	c | 1045.72   | 0  | -187256      lb |  0                0                0.00  |
1048.06/1048.34	c | 1048.34   | 0  | -187255      lb |  0                0                0.00  |
1059.15/1059.49	c | 1059.49   | 0  | -187254      lb |  0                0                0.00  |
1079.85/1080.16	c | 1080.16   | 0  | -187253      lb |  0                0                0.00  |
1093.25/1093.51	c | 1093.52   | 0  | -187252      lb |  0                0                0.00  |
1170.04/1170.32	c | 1170.32   | 0  | -187251      lb |  0                0                0.00  |
1172.43/1172.73	c | 1172.73   | 0  | -187250      lb |  0                0                0.00  |
1173.93/1174.27	c | 1174.28   | 0  | -187249      lb |  0                0                0.00  |
1174.93/1175.21	c | 1175.22   | 0  | -187245      lb |  0                0                0.00  |
1227.53/1227.88	c | 1227.88   | 0  | -187244      lb |  0                0                0.00  |
1230.43/1230.79	c | 1230.80   | 0  | -187243      lb |  0                0                0.00  |
1247.33/1247.66	c | 1247.66   | 0  | -187239      lb |  0                0                0.00  |
1265.02/1265.38	c | 1265.38   | 0  | -187238      lb |  0                0                0.00  |
1266.62/1266.99	c | 1267.00   | 0  | -187237      lb |  0                0                0.00  |
1268.93/1269.28	c | 1269.28   | 0  | -187236      lb |  0                0                0.00  |
1283.12/1283.48	c | 1283.48   | 0  | -187235      lb |  0                0                0.00  |
1306.62/1306.93	c | 1306.94   | 0  | -187234      lb |  0                0                0.00  |
1406.61/1406.98	c | 1406.99   | 0  | -187233      lb |  0                0                0.00  |
1409.20/1409.53	c | 1409.53   | 0  | -187232      lb |  0                0                0.00  |
1744.15/1744.55	c | 1744.55   | 0  | -187231      lb |  0                0                0.00  |
1745.15/1745.56	c | 1745.57   | 0  | -187215      lb |  0                0                0.00  |
1749.55/1749.91	c | 1749.91   | 0  | -187214      lb |  0                0                0.00  |
1751.96/1752.34	c | 1752.34   | 0  | -187213      lb |  0                0                0.00  |
1757.75/1758.16	c | 1758.17   | 0  | -187212      lb |  0                0                0.00  |
1759.95/1760.30	c | 1760.30   | 0  | -187211      lb |  0                0                0.00  |
1764.05/1764.46	c | 1764.46   | 0  | -187210      lb |  0                0                0.00  |
1765.54/1765.96	c | 1765.96   | 0  | -187209      lb |  0                0                0.00  |
1767.84/1768.23	c | 1768.23   | 0  | -187179      lb |  0                0                0.00  |
1769.75/1770.15	c | 1770.16   | 0  | -187178      lb |  0                0                0.00  |
1799.64/1800.00	c ===============================================================================
1799.64/1800.00	c Wall Clock Time: 1800.00 s
1799.64/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-3727888-1338672910/watcher-3727888-1338672910 -o /tmp/evaluation-result-3727888-1338672910/solver-3727888-1338672910 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727888-1338672910.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 1.94 2/175 6087
/proc/meminfo: memFree=29191744/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=31824 CPUtime=0 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) R 6085 6087 5748 0 -1 4202496 572 0 0 0 0 0 0 0 20 0 1 0 333415867 32587776 524 33554432000 4194304 5964350 140734337116000 140737036499080 4395569 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 7956 524 171 433 0 627 0

[startup+0.08723 s]
/proc/loadavg: 2.00 2.00 1.94 2/175 6087
/proc/meminfo: memFree=29191744/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=40124 CPUtime=0.08 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) R 6085 6087 5748 0 -1 4202496 2869 0 0 0 8 0 0 0 20 0 1 0 333415867 41086976 2772 33554432000 4194304 5964350 140734337116000 140734337114056 4339276 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 10031 2773 424 433 0 2702 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 40124

[startup+0.100274 s]
/proc/loadavg: 2.00 2.00 1.94 2/175 6087
/proc/meminfo: memFree=29191744/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=42120 CPUtime=0.09 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) R 6085 6087 5748 0 -1 4202496 3237 0 0 0 9 0 0 0 20 0 1 0 333415867 43130880 3075 33554432000 4194304 5964350 140734337116000 140734337114056 4394718 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 10530 3075 462 433 0 3201 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42120

[startup+0.300233 s]
/proc/loadavg: 2.00 2.00 1.94 2/175 6087
/proc/meminfo: memFree=29191744/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=53276 CPUtime=0.29 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) R 6085 6087 5748 0 -1 4202496 6888 0 0 0 28 1 0 0 20 0 1 0 333415867 54554624 6589 33554432000 4194304 5964350 140734337116000 140734337114056 5156122 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 13319 6594 1053 433 0 5990 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53276

[startup+0.70023 s]
/proc/loadavg: 2.00 2.00 1.94 2/175 6087
/proc/meminfo: memFree=29191744/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=85608 CPUtime=0.69 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) R 6085 6087 5748 0 -1 4202496 15776 0 0 0 67 2 0 0 20 0 1 0 333415867 87662592 14819 33554432000 4194304 5964350 140734337116000 140734337114344 5136410 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 21402 14819 2193 433 0 14073 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85608

[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 6098
/proc/meminfo: memFree=29068548/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=144096 CPUtime=1.49 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) R 6085 6087 5748 0 -1 4202496 30180 0 0 0 144 5 0 0 20 0 1 0 333415867 147554304 30212 33554432000 4194304 5964350 140734337116000 140734337114104 5156122 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 36024 30212 4081 433 0 28695 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 144096

[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 6098
/proc/meminfo: memFree=28930324/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=293132 CPUtime=3.09 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 65078 0 0 0 297 12 0 0 20 0 2 0 333415867 300167168 64289 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 73283 64289 177 433 0 72847 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 293132

[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 6100
/proc/meminfo: memFree=28216788/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=565652 CPUtime=6.29 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 112396 0 0 0 606 23 0 0 20 0 2 0 333415867 579227648 126196 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 141413 126196 193 433 0 140977 0
[pid=6087/tid=6099] ppid=6085 vsize=565652 CPUtime=3.33 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 65227 0 0 0 319 14 0 0 20 0 2 0 333416161 579227648 126196 33554432000 4194304 5964350 140734337116000 140257570122264 4375179 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 565652

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 6100
/proc/meminfo: memFree=28159924/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=565652 CPUtime=12.69 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 119579 0 0 0 1244 25 0 0 20 0 2 0 333415867 579227648 128572 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 141413 128572 197 433 0 140977 0
[pid=6087/tid=6099] ppid=6085 vsize=565652 CPUtime=9.71 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 72410 0 0 0 955 16 0 0 20 0 2 0 333416161 579227648 128572 33554432000 4194304 5964350 140734337116000 140257570122136 5139086 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 565652

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 6100
/proc/meminfo: memFree=28098120/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=631188 CPUtime=25.49 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 125377 0 0 0 2522 27 0 0 20 0 2 0 333415867 646336512 137417 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 157797 137417 197 433 0 157361 0
[pid=6087/tid=6099] ppid=6085 vsize=631188 CPUtime=22.48 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 78208 0 0 0 2230 18 0 0 20 0 2 0 333416161 646336512 137417 33554432000 4194304 5964350 140734337116000 140257570122264 5122344 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 631188

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 6100
/proc/meminfo: memFree=28067296/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=631188 CPUtime=51.08 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 134146 0 0 0 5077 31 0 0 20 0 2 0 333415867 646336512 144540 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 157797 144540 197 433 0 157361 0
[pid=6087/tid=6099] ppid=6085 vsize=631188 CPUtime=48.02 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 86977 0 0 0 4779 23 0 0 20 0 2 0 333416161 646336512 144540 33554432000 4194304 5964350 140734337116000 140257570122072 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 631188

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 6100
/proc/meminfo: memFree=28062348/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=631188 CPUtime=102.27 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 134148 0 0 0 10196 31 0 0 20 0 2 0 333415867 646336512 145060 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 157797 145060 197 433 0 157361 0
[pid=6087/tid=6099] ppid=6085 vsize=631188 CPUtime=99.09 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 86979 0 0 0 9885 24 0 0 20 0 2 0 333416161 646336512 145060 33554432000 4194304 5964350 140734337116000 140257570122072 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 631188

[startup+162.3 s]
/proc/loadavg: 2.13 2.03 1.95 3/181 6101
/proc/meminfo: memFree=28056440/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=631188 CPUtime=162.26 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 134152 0 0 0 16195 31 0 0 20 0 2 0 333415867 646336512 145552 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 157797 145552 197 433 0 157361 0
[pid=6087/tid=6099] ppid=6085 vsize=631188 CPUtime=158.93 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 86983 0 0 0 15868 25 0 0 20 0 2 0 333416161 646336512 145552 33554432000 4194304 5964350 140734337116000 140257570122072 4389005 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 631188

[startup+222.3 s]
/proc/loadavg: 2.21 2.07 1.96 3/181 6101
/proc/meminfo: memFree=28017240/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=631188 CPUtime=222.24 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 134171 0 0 0 22192 32 0 0 20 0 2 0 333415867 646336512 145552 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 157797 145552 197 433 0 157361 0
[pid=6087/tid=6099] ppid=6085 vsize=631188 CPUtime=218.76 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 87002 0 0 0 21850 26 0 0 20 0 2 0 333416161 646336512 145552 33554432000 4194304 5964350 140734337116000 140257570122072 4403576 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 631188

[startup+282.3 s]
/proc/loadavg: 2.11 2.07 1.97 3/181 6101
/proc/meminfo: memFree=27981004/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=696724 CPUtime=282.21 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 135742 0 0 0 28188 33 0 0 20 0 2 0 333415867 713445376 147091 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 174181 147091 197 433 0 173745 0
[pid=6087/tid=6099] ppid=6085 vsize=696724 CPUtime=278.58 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 88573 0 0 0 27830 28 0 0 20 0 2 0 333416161 713445376 147091 33554432000 4194304 5964350 140734337116000 140257570121768 4399962 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 696724

[startup+342.3 s]
/proc/loadavg: 2.04 2.05 1.97 3/182 6104
/proc/meminfo: memFree=27938800/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=696724 CPUtime=342.18 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 143042 0 0 0 34181 37 0 0 20 0 2 0 333415867 713445376 154475 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 174181 154475 197 433 0 173745 0
[pid=6087/tid=6099] ppid=6085 vsize=696724 CPUtime=338.42 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 95873 0 0 0 33808 34 0 0 20 0 2 0 333416161 713445376 154475 33554432000 4194304 5964350 140734337116000 140257570121528 4392783 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 696724

[startup+402.3 s]
/proc/loadavg: 2.04 2.05 1.97 3/181 6104
/proc/meminfo: memFree=27925124/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=696724 CPUtime=402.18 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 149408 0 0 0 40176 42 0 0 20 0 2 0 333415867 713445376 160838 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 174181 160838 197 433 0 173745 0
[pid=6087/tid=6099] ppid=6085 vsize=696724 CPUtime=398.27 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 102239 0 0 0 39788 39 0 0 20 0 2 0 333416161 713445376 160838 33554432000 4194304 5964350 140734337116000 140257570121528 4399958 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 696724

[startup+462.3 s]
/proc/loadavg: 2.01 2.04 1.97 3/181 6105
/proc/meminfo: memFree=27765148/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=893332 CPUtime=462.17 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 169122 0 0 0 46171 46 0 0 20 0 2 0 333415867 914771968 196184 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 223333 196184 197 433 0 222897 0
[pid=6087/tid=6099] ppid=6085 vsize=893332 CPUtime=458.11 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 121953 0 0 0 45768 43 0 0 20 0 2 0 333416161 914771968 196184 33554432000 4194304 5964350 140734337116000 140257570122264 4409131 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0

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


[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/181 6122
/proc/meminfo: memFree=27431728/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=1106464 CPUtime=1422 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 215915 0 0 0 142134 66 0 0 20 0 2 0 333415867 1133019136 251831 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 276616 251831 197 433 0 276180 0
[pid=6087/tid=6099] ppid=6085 vsize=1106464 CPUtime=1415.64 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 168746 0 0 0 141486 78 0 0 20 0 2 0 333416161 1133019136 251831 33554432000 4194304 5964350 140734337116000 140257570122568 4392783 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 1106464

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/181 6122
/proc/meminfo: memFree=27431604/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=1106464 CPUtime=1481.99 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 215915 0 0 0 148133 66 0 0 20 0 2 0 333415867 1133019136 251831 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 276616 251831 197 433 0 276180 0
[pid=6087/tid=6099] ppid=6085 vsize=1106464 CPUtime=1475.48 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 168746 0 0 0 147469 79 0 0 20 0 2 0 333416161 1133019136 251831 33554432000 4194304 5964350 140734337116000 140257570122568 4409170 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 1106464

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/182 6125
/proc/meminfo: memFree=27431844/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=1106464 CPUtime=1541.98 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 215915 0 0 0 154132 66 0 0 20 0 2 0 333415867 1133019136 251831 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 276616 251831 197 433 0 276180 0
[pid=6087/tid=6099] ppid=6085 vsize=1106464 CPUtime=1535.33 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 168746 0 0 0 153453 80 0 0 20 0 2 0 333416161 1133019136 251831 33554432000 4194304 5964350 140734337116000 140257570122568 4389080 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1106464

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/182 6148
/proc/meminfo: memFree=27431968/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=1106464 CPUtime=1601.97 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 215915 0 0 0 160131 66 0 0 20 0 2 0 333415867 1133019136 251831 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 276616 251831 197 433 0 276180 0
[pid=6087/tid=6099] ppid=6085 vsize=1106464 CPUtime=1595.18 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 168746 0 0 0 159437 81 0 0 20 0 2 0 333416161 1133019136 251831 33554432000 4194304 5964350 140734337116000 140257570122568 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 1106464

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/181 6149
/proc/meminfo: memFree=27431976/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=1106464 CPUtime=1661.96 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 215915 0 0 0 166130 66 0 0 20 0 2 0 333415867 1133019136 251831 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 276616 251831 197 433 0 276180 0
[pid=6087/tid=6099] ppid=6085 vsize=1106464 CPUtime=1655.02 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 168746 0 0 0 165420 82 0 0 20 0 2 0 333416161 1133019136 251831 33554432000 4194304 5964350 140734337116000 140257570122568 4389052 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 1106464

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 6149
/proc/meminfo: memFree=27431728/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=1106464 CPUtime=1721.95 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 215915 0 0 0 172129 66 0 0 20 0 2 0 333415867 1133019136 251831 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 276616 251831 197 433 0 276180 0
[pid=6087/tid=6099] ppid=6085 vsize=1106464 CPUtime=1714.87 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 168746 0 0 0 171404 83 0 0 20 0 2 0 333416161 1133019136 251831 33554432000 4194304 5964350 140734337116000 140257570122568 4392749 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 1106464

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 6149
/proc/meminfo: memFree=27388140/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=1172000 CPUtime=1781.95 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 226579 0 0 0 178125 70 0 0 20 0 2 0 333415867 1200128000 262882 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 293000 262882 197 433 0 292564 0
[pid=6087/tid=6099] ppid=6085 vsize=1172000 CPUtime=1774.72 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 179410 0 0 0 177385 87 0 0 20 0 2 0 333416161 1200128000 262882 33554432000 4194304 5964350 140734337116000 140257570122568 4389090 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 1172000

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

[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 6149
/proc/meminfo: memFree=27388140/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=1172000 CPUtime=1791.55 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 226579 0 0 0 179085 70 0 0 20 0 2 0 333415867 1200128000 262882 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 293000 262882 197 433 0 292564 0
[pid=6087/tid=6099] ppid=6085 vsize=1172000 CPUtime=1784.3 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 179410 0 0 0 178342 88 0 0 20 0 2 0 333416161 1200128000 262882 33554432000 4194304 5964350 140734337116000 140257570122568 4399747 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 1172000

[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 6149
/proc/meminfo: memFree=27388140/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=1172000 CPUtime=1794.75 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 226579 0 0 0 179405 70 0 0 20 0 2 0 333415867 1200128000 262882 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 293000 262882 197 433 0 292564 0
[pid=6087/tid=6099] ppid=6085 vsize=1172000 CPUtime=1787.49 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 179410 0 0 0 178661 88 0 0 20 0 2 0 333416161 1200128000 262882 33554432000 4194304 5964350 140734337116000 140257570122568 4403544 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 1172000

[startup+1798.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 6149
/proc/meminfo: memFree=27386960/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=1172000 CPUtime=1797.94 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 226579 0 0 0 179724 70 0 0 20 0 2 0 333415867 1200128000 263150 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 293000 263150 197 433 0 292564 0
[pid=6087/tid=6099] ppid=6085 vsize=1172000 CPUtime=1790.68 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 179410 0 0 0 178980 88 0 0 20 0 2 0 333416161 1200128000 263150 33554432000 4194304 5964350 140734337116000 140257570122568 4392681 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 1172000

[startup+1799.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 6149
/proc/meminfo: memFree=27386960/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=1172000 CPUtime=1798.74 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 226579 0 0 0 179804 70 0 0 20 0 2 0 333415867 1200128000 263150 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 293000 263150 197 433 0 292564 0
[pid=6087/tid=6099] ppid=6085 vsize=1172000 CPUtime=1791.47 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 179410 0 0 0 179059 88 0 0 20 0 2 0 333416161 1200128000 263150 33554432000 4194304 5964350 140734337116000 140257570122568 4403420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.74
Current children cumulated vsize (KiB) 1172000

[startup+1799.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 6149
/proc/meminfo: memFree=27386960/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=1172000 CPUtime=1799.15 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 226579 0 0 0 179845 70 0 0 20 0 2 0 333415867 1200128000 263150 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 293000 263150 197 433 0 292564 0
[pid=6087/tid=6099] ppid=6085 vsize=1172000 CPUtime=1791.88 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 179410 0 0 0 179100 88 0 0 20 0 2 0 333416161 1200128000 263150 33554432000 4194304 5964350 140734337116000 140257570122568 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.15
Current children cumulated vsize (KiB) 1172000

[startup+1799.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 6149
/proc/meminfo: memFree=27386960/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=1172000 CPUtime=1799.54 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 226579 0 0 0 179884 70 0 0 20 0 2 0 333415867 1200128000 263150 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 293000 263150 197 433 0 292564 0
[pid=6087/tid=6099] ppid=6085 vsize=1172000 CPUtime=1792.27 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 179410 0 0 0 179139 88 0 0 20 0 2 0 333416161 1200128000 263150 33554432000 4194304 5964350 140734337116000 140257570122568 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (KiB) 1172000

[startup+1800 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 6149
/proc/meminfo: memFree=27386960/32873844 swapFree=7620/7620
[pid=6087] ppid=6085 vsize=1172000 CPUtime=1799.64 cores=0,2,4,6
/proc/6087/stat : 6087 (wbo1.72) S 6085 6087 5748 0 -1 4202496 226579 0 0 0 179894 70 0 0 20 0 2 0 333415867 1200128000 263150 33554432000 4194304 5964350 140734337116000 140734337115520 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6087/statm: 293000 263150 197 433 0 292564 0
[pid=6087/tid=6099] ppid=6085 vsize=1172000 CPUtime=1792.37 cores=0,2,4,6
/proc/6087/task/6099/stat : 6099 (wbo1.72) R 6085 6087 5748 0 -1 4202560 179410 0 0 0 179149 88 0 0 20 0 2 0 333416161 1200128000 263150 33554432000 4194304 5964350 140734337116000 140257570122568 4392802 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.64
Current children cumulated vsize (KiB) 1172000

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6087 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=363215
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=989849
# CPU time returned by wait4() is 1795.35
# while last known CPU time is 1799.64
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.02
CPU time (s): 1799.64
CPU user time (s): 1798.94
CPU system time (s): 0.7
CPU usage (%): 99.9791
Max. virtual memory (cumulated for all children) (KiB): 1172000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.36
system time used= 0.989849
maximum resident set size= 1082580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 226581
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= 116
involuntary context switches= 1877

runsolver used 2.77158 second user time and 7.2419 second system time

The end

Launcher Data 

Begin job on node135 at 2012-06-02 23:35:11
IDJOB=3727888
IDBENCH=90903
IDSOLVER=2313
FILE ID=node135/3727888-1338672910
RUNJOBID= node135-1338669309-5860
PBS_JOBID= 14636508
Free space on /tmp= 70956 MiB

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

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

MD5SUM BENCH= 6aef9ca2bb094f9e5aa00d5eeeaa5070
RANDOM SEED=420132886

node135.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.820
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.64
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.820
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	: 5332.57
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.820
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	: 5332.55
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.820
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	: 5332.55
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.820
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	: 5332.54
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.820
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	: 5332.55
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.820
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	: 5238.35
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.820
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29193504 kB
Buffers:          344756 kB
Cached:          2479464 kB
SwapCached:         1676 kB
Active:          1149760 kB
Inactive:        1689876 kB
Active(anon):       5976 kB
Inactive(anon):    12048 kB
Active(file):    1143784 kB
Inactive(file):  1677828 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105796 kB
Dirty:             33004 kB
Writeback:             0 kB
AnonPages:         17260 kB
Mapped:            10004 kB
Shmem:               132 kB
Slab:             700060 kB
SReclaimable:     141976 kB
SUnreclaim:       558084 kB
KernelStack:        1504 kB
PageTables:         3864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     108504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 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= 70916 MiB
End job on node135 at 2012-06-03 00:05:11