Trace number 2655949

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.4bWrong Opt.-18 180.65 180.709

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb
MD5SUM7262f9f4ab1a3ada75b3b140acf97f7d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-35
Best CPU time to get the best result obtained on this benchmark1789.94
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41605
Number of constraints which are clauses41605
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 760
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 760
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 760
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2655949-1276492929.opb.
0.00/0.00	c Instance file HOME/instance-2655949-1276492929.opb
0.00/0.00	c File size is 993315 bytes.
0.10/0.13	c Highest Coefficient sum: 3
0.10/0.13	c ============================[ Problem Statistics ]=============================
0.10/0.13	c |                                                                             |
0.10/0.13	c |  Parsing time:          0.13         s                                      |
0.10/0.13	c |  Number Variables:      760                                                 |
0.10/0.13	c |  Number Clauses:        41605                                               |
0.10/0.13	c |  Number Cardinality:    0                                                   |
0.10/0.13	c |  Number PB Constraints: 0                                                   |
0.19/0.22	c ============================[ Search Statistics ]==============================
0.19/0.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.22	c ===============================================================================
0.19/0.22	c |         0 |     760    41605    83210 |    13868        0    nan |  0.000 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: 760
0.19/0.23	o 760
0.19/0.23	c Elapsed CPU time: 0.230964 s	Remaining CPU time: 179.769 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |         0 |     760    41606    83970 |    13868        0    nan |  0.000 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: 759
0.19/0.24	o 759
0.19/0.24	c Elapsed CPU time: 0.232964 s	Remaining CPU time: 179.767 s
0.19/0.24	c ===============================================================================
0.19/0.24	c |         0 |     760    41607    84730 |    13869        0    nan |  0.000 % |
0.19/0.25	c ===============================================================================
0.19/0.25	c New solution: 758
0.19/0.25	o 758
0.19/0.25	c Elapsed CPU time: 0.241963 s	Remaining CPU time: 179.758 s
0.19/0.25	c ===============================================================================
0.19/0.25	c |        12 |     760    41608    85490 |    13869       12    752 |  0.000 % |
0.19/0.28	c |       119 |     760    41608    85490 |    15256      119    752 |  0.000 % |
0.19/0.29	c ===============================================================================
0.19/0.29	c New solution: 757
0.19/0.29	o 757
0.19/0.29	c Elapsed CPU time: 0.281957 s	Remaining CPU time: 179.718 s
0.19/0.29	c ===============================================================================
0.19/0.29	c |       125 |     760    41609    86250 |    13869      125    752 |  0.000 % |
0.29/0.30	c ===============================================================================
0.29/0.30	c New solution: 756
0.29/0.30	o 756
0.29/0.30	c Elapsed CPU time: 0.293955 s	Remaining CPU time: 179.706 s
0.29/0.30	c ===============================================================================
0.29/0.30	c |       158 |     760    41610    87010 |    13870      158    752 |  0.000 % |
0.29/0.33	c |       259 |     760    41610    87010 |    15257      259    752 |  0.000 % |
0.29/0.36	c |       409 |     760    41610    87010 |    16782      409    752 |  0.000 % |
0.29/0.36	c ===============================================================================
0.29/0.36	c New solution: 755
0.29/0.36	o 755
0.29/0.36	c Elapsed CPU time: 0.351946 s	Remaining CPU time: 179.648 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |       410 |     760    41611    87770 |    13870      410    752 |  0.000 % |
0.29/0.39	c |       510 |     760    41611    87770 |    15257      510    752 |  0.000 % |
0.39/0.41	c ===============================================================================
0.39/0.41	c New solution: 754
0.39/0.41	o 754
0.39/0.41	c Elapsed CPU time: 0.399939 s	Remaining CPU time: 179.6 s
0.39/0.41	c ===============================================================================
0.39/0.41	c |       604 |     760    41612    88530 |    13870      604    752 |  0.000 % |
0.39/0.44	c |       708 |     760    41612    88530 |    15257      708    752 |  0.000 % |
0.39/0.48	c |       859 |     760    41612    88530 |    16783      859    752 |  0.000 % |
0.39/0.49	c ===============================================================================
0.39/0.49	c New solution: 753
0.39/0.49	o 753
0.39/0.49	c Elapsed CPU time: 0.475927 s	Remaining CPU time: 179.524 s
0.39/0.49	c ===============================================================================
0.39/0.49	c |       861 |     760    41613    89290 |    13871      861    752 |  0.000 % |
0.49/0.52	c |       963 |     760    41613    89290 |    15258      963    751 |  0.000 % |
0.49/0.56	c ===============================================================================
0.49/0.56	c New solution: 752
0.49/0.56	o 752
0.49/0.56	c Elapsed CPU time: 0.534918 s	Remaining CPU time: 179.465 s
0.49/0.56	c ===============================================================================
0.49/0.56	c |      1060 |     760    41614    90050 |    13871     1060    751 |  0.000 % |
0.59/0.60	c |      1161 |     760    41614    90050 |    15258     1161    751 |  0.000 % |
0.59/0.65	c |      1314 |     760    41614    90050 |    16784     1314    751 |  0.000 % |
0.59/0.68	c ===============================================================================
0.59/0.68	c New solution: 751
0.59/0.68	o 751
0.59/0.68	c Elapsed CPU time: 0.6569 s	Remaining CPU time: 179.343 s
0.59/0.68	c ===============================================================================
0.59/0.68	c |      1383 |     760    41615    90810 |    13871     1383    750 |  0.000 % |
0.69/0.73	c |      1488 |     760    41615    90810 |    15258     1488    750 |  0.000 % |
0.79/0.80	c |      1638 |     760    41615    90810 |    16784     1638    750 |  0.000 % |
0.89/0.90	c |      1864 |     760    41615    90810 |    18463     1864    750 |  0.000 % |
0.99/1.02	c |      2201 |     760    41615    90810 |    20309     2201    749 |  0.000 % |
0.99/1.04	c ===============================================================================
0.99/1.04	c New solution: 750
0.99/1.04	o 750
0.99/1.04	c Elapsed CPU time: 1.00685 s	Remaining CPU time: 178.993 s
0.99/1.04	c ===============================================================================
0.99/1.04	c |      2224 |     760    41616    91570 |    13872     2224    749 |  0.000 % |
0.99/1.08	c |      2324 |     760    41616    91570 |    15259     2324    749 |  0.000 % |
1.09/1.16	c |      2476 |     760    41616    91570 |    16785     2476    749 |  0.000 % |
1.19/1.27	c |      2703 |     760    41616    91570 |    18463     2703    749 |  0.000 % |
1.39/1.41	c |      3042 |     760    41616    91570 |    20309     3042    748 |  0.000 % |
1.39/1.49	c ===============================================================================
1.39/1.49	c New solution: 749
1.39/1.49	o 749
1.39/1.49	c Elapsed CPU time: 1.44578 s	Remaining CPU time: 178.554 s
1.39/1.49	c ===============================================================================
1.39/1.49	c |      3154 |     760    41617    92330 |    13872     3154    748 |  0.000 % |
1.49/1.56	c |      3255 |     760    41617    92330 |    15259     3255    748 |  0.000 % |
1.59/1.67	c |      3408 |     760    41617    92330 |    16785     3408    748 |  0.000 % |
1.79/1.83	c |      3633 |     760    41617    92330 |    18464     3633    748 |  0.000 % |
1.99/2.08	c |      3970 |     760    41617    92330 |    20310     3970    748 |  0.000 % |
2.39/2.43	c |      4479 |     760    41617    92330 |    22341     4479    747 |  0.000 % |
2.79/2.89	c |      5242 |     760    41617    92330 |    24575     5242    747 |  0.000 % |
3.49/3.55	c |      6381 |     760    41617    92330 |    27033     6381    747 |  0.000 % |
3.69/3.75	c ===============================================================================
3.69/3.75	c New solution: 748
3.69/3.75	o 748
3.69/3.75	c Elapsed CPU time: 3.68244 s	Remaining CPU time: 176.318 s
3.69/3.75	c ===============================================================================
3.69/3.75	c |      6561 |     760    41618    93090 |    13872     6561    747 |  0.000 % |
3.79/3.84	c |      6661 |     760    41618    93090 |    15259     6661    747 |  0.000 % |
3.99/4.03	c |      6813 |     760    41618    93090 |    16785     6813    747 |  0.000 % |
4.09/4.11	c ===============================================================================
4.09/4.11	c New solution: 747
4.09/4.11	o 747
4.09/4.11	c Elapsed CPU time: 4.03439 s	Remaining CPU time: 175.966 s
4.09/4.11	c ===============================================================================
4.09/4.11	c |      6885 |     760    41619    93850 |    13873     6885    747 |  0.000 % |
4.19/4.21	c |      6987 |     760    41619    93850 |    15260     6987    747 |  0.000 % |
4.29/4.38	c ===============================================================================
4.29/4.38	c New solution: 746
4.29/4.38	o 746
4.29/4.38	c Elapsed CPU time: 4.30534 s	Remaining CPU time: 175.695 s
4.29/4.38	c ===============================================================================
4.29/4.38	c |      7135 |     760    41620    94610 |    13873     7135    747 |  0.000 % |
4.49/4.53	c |      7235 |     760    41620    94610 |    15260     7235    746 |  0.000 % |
4.69/4.76	c |      7387 |     760    41620    94610 |    16786     7387    746 |  0.000 % |
4.99/5.05	c |      7613 |     760    41620    94610 |    18465     7613    746 |  0.000 % |
5.39/5.47	c |      7951 |     760    41620    94610 |    20311     7951    746 |  0.000 % |
5.49/5.58	c ===============================================================================
5.49/5.58	c New solution: 745
5.49/5.58	o 745
5.49/5.58	c Elapsed CPU time: 5.49316 s	Remaining CPU time: 174.507 s
5.49/5.58	c ===============================================================================
5.49/5.58	c |      8040 |     760    41621    95370 |    13873     8040    746 |  0.000 % |
5.59/5.69	c |      8141 |     760    41621    95370 |    15261     8141    746 |  0.000 % |
5.89/5.97	c |      8291 |     760    41621    95370 |    16787     8291    746 |  0.000 % |
6.19/6.21	c |      8517 |     760    41621    95370 |    18465     8517    746 |  0.000 % |
6.60/6.64	c |      8854 |     760    41621    95370 |    20312     8854    746 |  0.000 % |
7.29/7.33	c |      9363 |     760    41621    95370 |    22343     9363    745 |  0.000 % |
8.49/8.53	c |     10123 |     760    41621    95370 |    24578    10123    745 |  0.000 % |
10.29/10.35	c |     11262 |     760    41621    95370 |    27035    11262    745 |  0.000 % |
11.99/12.09	c |     12970 |     760    41621    95370 |    29739    12970    744 |  0.000 % |
16.28/16.33	c |     15534 |     760    41621    95370 |    32713    15534    744 |  0.000 % |
20.18/20.22	c ===============================================================================
20.18/20.22	c New solution: 744
20.18/20.22	o 744
20.18/20.22	c Elapsed CPU time: 20.051 s	Remaining CPU time: 159.949 s
20.18/20.22	c ===============================================================================
20.18/20.22	c |     17097 |     760    41622    96130 |    13874    17097    744 |  0.000 % |
20.58/20.62	c |     17198 |     760    41622    96130 |    15261     8650    742 |  0.000 % |
20.99/21.09	c |     17349 |     760    41622    96130 |    16787     8801    742 |  0.000 % |
21.28/21.39	c |     17574 |     760    41622    96130 |    18466     9026    742 |  0.000 % |
22.09/22.11	c |     17912 |     760    41622    96130 |    20312     9364    742 |  0.000 % |
23.19/23.25	c ===============================================================================
23.19/23.25	c New solution: 743
23.19/23.25	o 743
23.19/23.25	c Elapsed CPU time: 23.0715 s	Remaining CPU time: 156.929 s
23.19/23.25	c ===============================================================================
23.19/23.25	c |     18407 |     760    41623    96890 |    13874     9859    742 |  0.000 % |
23.38/23.41	c ===============================================================================
23.38/23.41	c New solution: 742
23.38/23.41	o 742
23.38/23.41	c Elapsed CPU time: 23.2265 s	Remaining CPU time: 156.774 s
23.38/23.41	c ===============================================================================
23.38/23.41	c |     18449 |     760    41624    97650 |    13874     9901    742 |  0.000 % |
23.58/23.69	c |     18549 |     760    41624    97650 |    15262    10001    742 |  0.000 % |
23.99/24.05	c |     18700 |     760    41624    97650 |    16788    10152    742 |  0.000 % |
24.69/24.73	c |     18928 |     760    41624    97650 |    18467    10380    742 |  0.000 % |
25.48/25.50	c |     19268 |     760    41624    97650 |    20313    10720    741 |  0.000 % |
26.68/26.78	c |     19774 |     760    41624    97650 |    22345    11226    741 |  0.000 % |
28.78/28.86	c |     20535 |     760    41624    97650 |    24579    11987    741 |  0.000 % |
32.28/32.35	c |     21676 |     760    41624    97650 |    27037    13128    741 |  0.000 % |
37.48/37.59	c |     23384 |     760    41624    97650 |    29741    14836    741 |  0.000 % |
45.08/45.12	c |     25947 |     760    41624    97650 |    32715    17399    740 |  0.000 % |
57.37/57.43	c |     29794 |     760    41624    97650 |    35987    21246    740 |  0.000 % |
80.87/80.92	c |     35561 |     760    41624    97650 |    39586    27013    740 |  0.000 % |
106.46/106.52	c |     44210 |     760    41624    97650 |    43544    35662    740 |  0.000 % |
180.53/180.61	c There are 0 assigned variables. 0 in cost function.
180.53/180.69	c core #1
180.53/180.69	c #cores: 1
180.53/180.69	c Final Weight: 742
180.53/180.69	o 742
180.53/180.69	s OPTIMUM FOUND
180.53/180.69	v -x760 -x759 -x758 -x757 -x756 x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 x480 -x479 -x478 -x477 -x476 -x475 x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
180.53/180.69	c Total CPU time: 180.084 s

Verifier Data 

OK	-18

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655949-1276492929/watcher-2655949-1276492929 -o /tmp/evaluation-result-2655949-1276492929/solver-2655949-1276492929 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655949-1276492929.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.07 3/106 30124
/proc/meminfo: memFree=1802888/2059040 swapFree=4136716/4192956
[pid=30124] ppid=30122 vsize=3684 CPUtime=0
/proc/30124/stat : 30124 (wbo1.4b) R 30122 30124 29765 0 -1 4202496 313 0 0 0 0 0 0 0 22 0 1 0 24894453 3772416 231 1992294400 134512640 135751879 4287988304 18446744073709551615 135225271 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30124/statm: 921 231 146 303 0 373 0

[startup+0.10605 s]
/proc/loadavg: 1.00 1.00 1.07 3/106 30124
/proc/meminfo: memFree=1802888/2059040 swapFree=4136716/4192956
[pid=30124] ppid=30122 vsize=5120 CPUtime=0.1
/proc/30124/stat : 30124 (wbo1.4b) R 30122 30124 29765 0 -1 4202496 843 0 0 0 10 0 0 0 22 0 1 0 24894453 5242880 761 1992294400 134512640 135751879 4287988304 18446744073709551615 135119055 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30124/statm: 1280 761 323 303 0 732 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5120

[startup+0.202067 s]
/proc/loadavg: 1.00 1.00 1.07 3/106 30124
/proc/meminfo: memFree=1802888/2059040 swapFree=4136716/4192956
[pid=30124] ppid=30122 vsize=7532 CPUtime=0.19
/proc/30124/stat : 30124 (wbo1.4b) R 30122 30124 29765 0 -1 4202496 1758 0 0 0 19 0 0 0 22 0 1 0 24894453 7712768 1401 1992294400 134512640 135751879 4287988304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30124/statm: 1883 1401 144 303 0 1578 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7532

[startup+0.302085 s]
/proc/loadavg: 1.00 1.00 1.07 3/106 30124
/proc/meminfo: memFree=1802888/2059040 swapFree=4136716/4192956
[pid=30124] ppid=30122 vsize=7532 CPUtime=0.29
/proc/30124/stat : 30124 (wbo1.4b) R 30122 30124 29765 0 -1 4202496 1761 0 0 0 28 1 0 0 22 0 1 0 24894453 7712768 1404 1992294400 134512640 135751879 4287988304 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30124/statm: 1883 1404 147 303 0 1578 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7532

[startup+0.701157 s]
/proc/loadavg: 1.00 1.00 1.07 3/106 30124
/proc/meminfo: memFree=1802888/2059040 swapFree=4136716/4192956
[pid=30124] ppid=30122 vsize=9448 CPUtime=0.69
/proc/30124/stat : 30124 (wbo1.4b) R 30122 30124 29765 0 -1 4202496 2231 0 0 0 66 3 0 0 24 0 1 0 24894453 9674752 1874 1992294400 134512640 135751879 4287988304 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30124/statm: 2362 1874 147 303 0 2057 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9448

[startup+1.5013 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 30125
/proc/meminfo: memFree=1792712/2059040 swapFree=4136716/4192956
[pid=30124] ppid=30122 vsize=14828 CPUtime=1.49
/proc/30124/stat : 30124 (wbo1.4b) R 30122 30124 29765 0 -1 4202496 3584 0 0 0 145 4 0 0 25 0 1 0 24894453 15183872 3227 1992294400 134512640 135751879 4287988304 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30124/statm: 3707 3227 147 303 0 3402 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14828

[startup+3.10159 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 30125
/proc/meminfo: memFree=1787008/2059040 swapFree=4136716/4192956
[pid=30124] ppid=30122 vsize=22016 CPUtime=3.09
/proc/30124/stat : 30124 (wbo1.4b) R 30122 30124 29765 0 -1 4202496 5381 0 0 0 303 6 0 0 25 0 1 0 24894453 22544384 5024 1992294400 134512640 135751879 4287988304 18446744073709551615 134606538 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30124/statm: 5504 5024 147 303 0 5199 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22016

[startup+6.30116 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 30125
/proc/meminfo: memFree=1775228/2059040 swapFree=4136716/4192956
[pid=30124] ppid=30122 vsize=31480 CPUtime=6.29
/proc/30124/stat : 30124 (wbo1.4b) R 30122 30124 29765 0 -1 4202496 7748 0 0 0 620 9 0 0 25 0 1 0 24894453 32235520 7391 1992294400 134512640 135751879 4287988304 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30124/statm: 7870 7391 147 303 0 7565 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31480

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 30125
/proc/meminfo: memFree=1759728/2059040 swapFree=4136716/4192956
[pid=30124] ppid=30122 vsize=45996 CPUtime=12.68
/proc/30124/stat : 30124 (wbo1.4b) R 30122 30124 29765 0 -1 4202496 11364 0 0 0 1256 12 0 0 25 0 1 0 24894453 47099904 11007 1992294400 134512640 135751879 4287988304 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30124/statm: 11499 11008 147 303 0 11194 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 45996

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 30125
/proc/meminfo: memFree=1740632/2059040 swapFree=4136716/4192956
[pid=30124] ppid=30122 vsize=64300 CPUtime=25.48
/proc/30124/stat : 30124 (wbo1.4b) R 30122 30124 29765 0 -1 4202496 15922 0 0 0 2530 18 0 0 25 0 1 0 24894453 65843200 15565 1992294400 134512640 135751879 4287988304 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30124/statm: 16075 15565 148 303 0 15770 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64300

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 30125
/proc/meminfo: memFree=1713972/2059040 swapFree=4136716/4192956
[pid=30124] ppid=30122 vsize=91052 CPUtime=51.07
/proc/30124/stat : 30124 (wbo1.4b) R 30122 30124 29765 0 -1 4202496 22607 0 0 0 5080 27 0 0 25 0 1 0 24894453 93237248 22250 1992294400 134512640 135751879 4287988304 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30124/statm: 22763 22250 148 303 0 22458 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 91052

[startup+102.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 30127
/proc/meminfo: memFree=1674416/2059040 swapFree=4136716/4192956
[pid=30124] ppid=30122 vsize=130284 CPUtime=102.27
/proc/30124/stat : 30124 (wbo1.4b) R 30122 30124 29765 0 -1 4202496 32380 0 0 0 10186 41 0 0 25 0 1 0 24894453 133410816 32023 1992294400 134512640 135751879 4287988304 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30124/statm: 32571 32023 148 303 0 32266 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 130284

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 30129
/proc/meminfo: memFree=1639448/2059040 swapFree=4136716/4192956
[pid=30124] ppid=30122 vsize=165500 CPUtime=162.24
/proc/30124/stat : 30124 (wbo1.4b) R 30122 30124 29765 0 -1 4202496 41090 0 0 0 16172 52 0 0 25 0 1 0 24894453 169472000 40733 1992294400 134512640 135751879 4287988304 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30124/statm: 41375 40733 148 303 0 41070 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 165500

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

[startup+166.401 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 30129
/proc/meminfo: memFree=1638456/2059040 swapFree=4136716/4192956
[pid=30124] ppid=30122 vsize=166396 CPUtime=166.33
/proc/30124/stat : 30124 (wbo1.4b) R 30122 30124 29765 0 -1 4202496 41325 0 0 0 16581 52 0 0 25 0 1 0 24894453 170389504 40968 1992294400 134512640 135751879 4287988304 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30124/statm: 41599 40968 148 303 0 41294 0
Current children cumulated CPU time (s) 166.33
Current children cumulated vsize (KiB) 166396

[startup+172.809 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 30129
/proc/meminfo: memFree=1637092/2059040 swapFree=4136716/4192956
[pid=30124] ppid=30122 vsize=167680 CPUtime=172.74
/proc/30124/stat : 30124 (wbo1.4b) R 30122 30124 29765 0 -1 4202496 41642 0 0 0 17221 53 0 0 25 0 1 0 24894453 171704320 41285 1992294400 134512640 135751879 4287988304 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30124/statm: 41920 41285 148 303 0 41615 0
Current children cumulated CPU time (s) 172.74
Current children cumulated vsize (KiB) 167680

[startup+176.001 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 30129
/proc/meminfo: memFree=1636348/2059040 swapFree=4136716/4192956
[pid=30124] ppid=30122 vsize=168444 CPUtime=175.94
/proc/30124/stat : 30124 (wbo1.4b) R 30122 30124 29765 0 -1 4202496 41833 0 0 0 17541 53 0 0 25 0 1 0 24894453 172486656 41476 1992294400 134512640 135751879 4287988304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30124/statm: 42111 41476 148 303 0 41806 0
Current children cumulated CPU time (s) 175.94
Current children cumulated vsize (KiB) 168444

[startup+179.201 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 30129
/proc/meminfo: memFree=1634860/2059040 swapFree=4136716/4192956
[pid=30124] ppid=30122 vsize=170492 CPUtime=179.13
/proc/30124/stat : 30124 (wbo1.4b) R 30122 30124 29765 0 -1 4202496 42335 0 0 0 17859 54 0 0 25 0 1 0 24894453 174583808 41978 1992294400 134512640 135751879 4287988304 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30124/statm: 42623 41978 148 303 0 42318 0
Current children cumulated CPU time (s) 179.13
Current children cumulated vsize (KiB) 170492

[startup+180.001 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 30129
/proc/meminfo: memFree=1634240/2059040 swapFree=4136716/4192956
[pid=30124] ppid=30122 vsize=170876 CPUtime=179.93
/proc/30124/stat : 30124 (wbo1.4b) R 30122 30124 29765 0 -1 4202496 42432 0 0 0 17939 54 0 0 25 0 1 0 24894453 174977024 42075 1992294400 134512640 135751879 4287988304 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30124/statm: 42719 42075 148 303 0 42414 0
Current children cumulated CPU time (s) 179.93
Current children cumulated vsize (KiB) 170876

[startup+180.401 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 30129
/proc/meminfo: memFree=1633744/2059040 swapFree=4136716/4192956
[pid=30124] ppid=30122 vsize=171132 CPUtime=180.34
/proc/30124/stat : 30124 (wbo1.4b) R 30122 30124 29765 0 -1 4202496 42484 0 0 0 17980 54 0 0 25 0 1 0 24894453 175239168 42127 1992294400 134512640 135751879 4287988304 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30124/statm: 42783 42127 148 303 0 42478 0
Current children cumulated CPU time (s) 180.34
Current children cumulated vsize (KiB) 171132

[startup+180.601 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 30129
/proc/meminfo: memFree=1633744/2059040 swapFree=4136716/4192956
[pid=30124] ppid=30122 vsize=171256 CPUtime=180.53
/proc/30124/stat : 30124 (wbo1.4b) R 30122 30124 29765 0 -1 4202496 42515 0 0 0 17999 54 0 0 25 0 1 0 24894453 175366144 42158 1992294400 134512640 135751879 4287988304 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30124/statm: 42814 42158 148 303 0 42509 0
Current children cumulated CPU time (s) 180.53
Current children cumulated vsize (KiB) 171256

[startup+180.701 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 30129
/proc/meminfo: memFree=1633744/2059040 swapFree=4136716/4192956
[pid=30124] ppid=30122 vsize=0 CPUtime=180.63
/proc/30124/stat : 30124 (wbo1.4b) R 30122 30124 29765 0 -1 4202500 42948 0 0 0 18008 55 0 0 25 0 1 0 24894453 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/30124/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 180.63
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 180.709
CPU time (s): 180.65
CPU user time (s): 180.084
CPU system time (s): 0.565913
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 171256

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

runsolver used 0.294955 second user time and 0.870867 second system time

The end

Launcher Data 

Begin job on node012 at 2010-06-14 07:22:09
IDJOB=2655949
IDBENCH=2244
IDSOLVER=1161
FILE ID=node012/2655949-1276492929
PBS_JOBID= 11173392
Free space on /tmp= 62504 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655949-1276492929/watcher-2655949-1276492929 -o /tmp/evaluation-result-2655949-1276492929/solver-2655949-1276492929 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655949-1276492929.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 7262f9f4ab1a3ada75b3b140acf97f7d
RANDOM SEED=651148137

node012.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.258
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.258
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1803292 kB
Buffers:         69732 kB
Cached:         106680 kB
SwapCached:       9404 kB
Active:         105388 kB
Inactive:        83668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1803292 kB
SwapTotal:     4192956 kB
SwapFree:      4136716 kB
Dirty:            3652 kB
Writeback:           0 kB
AnonPages:       11036 kB
Mapped:           9284 kB
Slab:            44924 kB
PageTables:       4036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180708 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62500 MiB
End job on node012 at 2010-06-14 07:25:10