Trace number 2655747

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.4bOPT-79 116.581 116.621

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-9000opt.opb
MD5SUM3178a50232316e72958589cc9e9cd436
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-79
Best CPU time to get the best result obtained on this benchmark7.61884
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2025
Total number of constraints30187
Number of constraints which are clauses30187
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 constraint3
Number of terms in the objective function 135
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 364
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 364
Number of bits of the biggest sum of numbers9
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-2655747-1276687090.opb.
0.00/0.00	c Instance file HOME/instance-2655747-1276687090.opb
0.00/0.00	c File size is 999203 bytes.
0.09/0.14	c Highest Coefficient sum: 4
0.09/0.14	c ============================[ Problem Statistics ]=============================
0.09/0.14	c |                                                                             |
0.09/0.14	c |  Parsing time:          0.14         s                                      |
0.09/0.14	c |  Number Variables:      2025                                                |
0.09/0.14	c |  Number Clauses:        30187                                               |
0.09/0.14	c |  Number Cardinality:    0                                                   |
0.09/0.14	c |  Number PB Constraints: 0                                                   |
0.09/0.19	c ============================[ Search Statistics ]==============================
0.09/0.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.19	c ===============================================================================
0.09/0.19	c |         0 |    1994    30218    89391 |    10062        0    nan |  0.000 % |
0.19/0.20	c ===============================================================================
0.19/0.20	c New solution: 364
0.19/0.20	o 364
0.19/0.20	c Elapsed CPU time: 0.188971 s	Remaining CPU time: 179.811 s
0.19/0.20	c ===============================================================================
0.19/0.20	c |         0 |    1994    30219    89526 |    10073        0    nan |  0.000 % |
0.19/0.20	c ===============================================================================
0.19/0.20	c New solution: 361
0.19/0.20	o 361
0.19/0.20	c Elapsed CPU time: 0.19197 s	Remaining CPU time: 179.808 s
0.19/0.20	c ===============================================================================
0.19/0.20	c |         0 |    1994    30220    89661 |    10073        0    nan |  0.000 % |
0.19/0.21	c ===============================================================================
0.19/0.21	c New solution: 360
0.19/0.21	o 360
0.19/0.21	c Elapsed CPU time: 0.19697 s	Remaining CPU time: 179.803 s
0.19/0.21	c ===============================================================================
0.19/0.21	c |         0 |    1994    30221    89796 |    10073        0    nan |  0.000 % |
0.19/0.21	c ===============================================================================
0.19/0.21	c New solution: 357
0.19/0.21	o 357
0.19/0.21	c Elapsed CPU time: 0.200969 s	Remaining CPU time: 179.799 s
0.19/0.21	c ===============================================================================
0.19/0.21	c |         0 |    1994    30222    89931 |    10074        0    nan |  0.000 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c New solution: 356
0.19/0.22	o 356
0.19/0.22	c Elapsed CPU time: 0.205968 s	Remaining CPU time: 179.794 s
0.19/0.22	c ===============================================================================
0.19/0.22	c |         3 |    1994    30223    90066 |    10074        3    134 |  0.000 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: 355
0.19/0.23	o 355
0.19/0.23	c Elapsed CPU time: 0.212967 s	Remaining CPU time: 179.787 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |         3 |    1994    30224    90201 |    10074        3    134 |  0.000 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: 354
0.19/0.23	o 354
0.19/0.23	c Elapsed CPU time: 0.217966 s	Remaining CPU time: 179.782 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |         3 |    1994    30225    90336 |    10075        3    134 |  0.000 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: 353
0.19/0.24	o 353
0.19/0.24	c Elapsed CPU time: 0.221966 s	Remaining CPU time: 179.778 s
0.19/0.24	c ===============================================================================
0.19/0.24	c |         3 |    1994    30226    90471 |    10075        3    134 |  0.000 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: 352
0.19/0.24	o 352
0.19/0.24	c Elapsed CPU time: 0.227965 s	Remaining CPU time: 179.772 s
0.19/0.25	c ===============================================================================
0.19/0.25	c |         3 |    1994    30227    90606 |    10075        3    134 |  0.000 % |
0.19/0.25	c ===============================================================================
0.19/0.25	c New solution: 351
0.19/0.25	o 351
0.19/0.25	c Elapsed CPU time: 0.233964 s	Remaining CPU time: 179.766 s
0.19/0.25	c ===============================================================================
0.19/0.25	c |         3 |    1994    30228    90741 |    10076        3    134 |  0.000 % |
0.19/0.26	c ===============================================================================
0.19/0.26	c New solution: 350
0.19/0.26	o 350
0.19/0.26	c Elapsed CPU time: 0.236963 s	Remaining CPU time: 179.763 s
0.19/0.26	c ===============================================================================
0.19/0.26	c |         4 |    1994    30229    90876 |    10076        4    133 |  0.000 % |
0.19/0.26	c ===============================================================================
0.19/0.26	c New solution: 348
0.19/0.26	o 348
0.19/0.26	c Elapsed CPU time: 0.243962 s	Remaining CPU time: 179.756 s
0.19/0.26	c ===============================================================================
0.19/0.26	c |         5 |    1994    30230    91011 |    10076        5    132 |  0.000 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: 347
0.19/0.27	o 347
0.19/0.27	c Elapsed CPU time: 0.246962 s	Remaining CPU time: 179.753 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |         5 |    1994    30231    91146 |    10077        5    132 |  0.000 % |
0.19/0.28	c ===============================================================================
0.19/0.28	c New solution: 346
0.19/0.28	o 346
0.19/0.28	c Elapsed CPU time: 0.252961 s	Remaining CPU time: 179.747 s
0.19/0.28	c ===============================================================================
0.19/0.28	c |         8 |    1994    30232    91281 |    10077        8    131 |  0.000 % |
0.19/0.28	c ===============================================================================
0.19/0.28	c New solution: 345
0.19/0.28	o 345
0.19/0.28	c Elapsed CPU time: 0.25896 s	Remaining CPU time: 179.741 s
0.19/0.28	c ===============================================================================
0.19/0.28	c |         9 |    1994    30233    91416 |    10077        9    130 |  0.000 % |
0.19/0.29	c ===============================================================================
0.19/0.29	c New solution: 344
0.19/0.29	o 344
0.19/0.29	c Elapsed CPU time: 0.26196 s	Remaining CPU time: 179.738 s
0.19/0.29	c ===============================================================================
0.19/0.29	c |         9 |    1994    30234    91551 |    10078        9    130 |  0.000 % |
0.19/0.30	c ===============================================================================
0.19/0.30	c New solution: 342
0.19/0.30	o 342
0.19/0.30	c Elapsed CPU time: 0.267959 s	Remaining CPU time: 179.732 s
0.19/0.30	c ===============================================================================
0.19/0.30	c |         9 |    1994    30235    91686 |    10078        9    130 |  0.000 % |
0.29/0.30	c ===============================================================================
0.29/0.30	c New solution: 341
0.29/0.30	o 341
0.29/0.30	c Elapsed CPU time: 0.271958 s	Remaining CPU time: 179.728 s
0.29/0.30	c ===============================================================================
0.29/0.30	c |        10 |    1994    30236    91821 |    10078       10    130 |  0.000 % |
0.29/0.31	c ===============================================================================
0.29/0.31	c New solution: 340
0.29/0.31	o 340
0.29/0.31	c Elapsed CPU time: 0.277957 s	Remaining CPU time: 179.722 s
0.29/0.31	c ===============================================================================
0.29/0.31	c |        11 |    1994    30237    91956 |    10079       11    130 |  0.000 % |
0.29/0.32	c ===============================================================================
0.29/0.32	c New solution: 339
0.29/0.32	o 339
0.29/0.32	c Elapsed CPU time: 0.281957 s	Remaining CPU time: 179.718 s
0.29/0.32	c ===============================================================================
0.29/0.32	c |        18 |    1994    30238    92091 |    10079       18    128 |  0.000 % |
0.29/0.32	c ===============================================================================
0.29/0.32	c New solution: 338
0.29/0.32	o 338
0.29/0.32	c Elapsed CPU time: 0.287956 s	Remaining CPU time: 179.712 s
0.29/0.32	c ===============================================================================
0.29/0.32	c |        20 |    1994    30239    92226 |    10079       20    128 |  0.000 % |
0.29/0.33	c ===============================================================================
0.29/0.33	c New solution: 337
0.29/0.33	o 337
0.29/0.33	c Elapsed CPU time: 0.292955 s	Remaining CPU time: 179.707 s
0.29/0.33	c ===============================================================================
0.29/0.33	c |        20 |    1994    30240    92361 |    10080       20    128 |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: 335
0.29/0.34	o 335
0.29/0.34	c Elapsed CPU time: 0.299954 s	Remaining CPU time: 179.7 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |        20 |    1994    30241    92496 |    10080       20    128 |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: 334
0.29/0.34	o 334
0.29/0.34	c Elapsed CPU time: 0.305953 s	Remaining CPU time: 179.694 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |        33 |    1994    30242    92631 |    10080       33    123 |  0.000 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c New solution: 332
0.29/0.35	o 332
0.29/0.35	c Elapsed CPU time: 0.311952 s	Remaining CPU time: 179.688 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |        45 |    1994    30243    92766 |    10081       45    115 |  0.000 % |
0.29/0.36	c ===============================================================================
0.29/0.36	c New solution: 331
0.29/0.36	o 331
0.29/0.36	c Elapsed CPU time: 0.319951 s	Remaining CPU time: 179.68 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |        71 |    1994    30244    92901 |    10081       71    113 |  0.000 % |
0.29/0.36	c ===============================================================================
0.29/0.36	c New solution: 330
0.29/0.36	o 330
0.29/0.36	c Elapsed CPU time: 0.32495 s	Remaining CPU time: 179.675 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |        71 |    1994    30245    93036 |    10081       71    113 |  0.000 % |
0.29/0.38	c ===============================================================================
0.29/0.38	c New solution: 329
0.29/0.38	o 329
0.29/0.38	c Elapsed CPU time: 0.333949 s	Remaining CPU time: 179.666 s
0.29/0.38	c ===============================================================================
0.29/0.38	c |       119 |    1994    30246    93171 |    10082      119    111 |  0.000 % |
0.29/0.38	c ===============================================================================
0.29/0.38	c New solution: 328
0.29/0.38	o 328
0.29/0.38	c Elapsed CPU time: 0.338948 s	Remaining CPU time: 179.661 s
0.29/0.38	c ===============================================================================
0.29/0.38	c |       119 |    1994    30247    93306 |    10082      119    111 |  0.000 % |
0.29/0.39	c ===============================================================================
0.29/0.39	c New solution: 327
0.29/0.39	o 327
0.29/0.39	c Elapsed CPU time: 0.343947 s	Remaining CPU time: 179.656 s
0.29/0.39	c ===============================================================================
0.29/0.39	c |       119 |    1994    30248    93441 |    10082      119    111 |  0.000 % |
0.29/0.40	c ===============================================================================
0.29/0.40	c New solution: 326
0.29/0.40	o 326
0.29/0.40	c Elapsed CPU time: 0.349946 s	Remaining CPU time: 179.65 s
0.29/0.40	c ===============================================================================
0.29/0.40	c |       119 |    1994    30249    93576 |    10083      119    111 |  0.000 % |
0.39/0.40	c |       219 |    1994    30249    93576 |    11091      219    112 |  1.531 % |
0.39/0.41	c ===============================================================================
0.39/0.41	c New solution: 325
0.39/0.41	o 325
0.39/0.41	c Elapsed CPU time: 0.364944 s	Remaining CPU time: 179.635 s
0.39/0.41	c ===============================================================================
0.39/0.41	c |       252 |    1994    30250    93711 |    10083      252    112 |  1.531 % |
0.39/0.42	c ===============================================================================
0.39/0.42	c New solution: 324
0.39/0.42	o 324
0.39/0.42	c Elapsed CPU time: 0.370943 s	Remaining CPU time: 179.629 s
0.39/0.42	c ===============================================================================
0.39/0.42	c |       267 |    1994    30251    93846 |    10083      267    112 |  1.531 % |
0.39/0.43	c ===============================================================================
0.39/0.43	c New solution: 323
0.39/0.43	o 323
0.39/0.43	c Elapsed CPU time: 0.377942 s	Remaining CPU time: 179.622 s
0.39/0.43	c ===============================================================================
0.39/0.43	c |       278 |    1994    30252    93981 |    10084      278    112 |  1.531 % |
0.39/0.43	c ===============================================================================
0.39/0.43	c New solution: 322
0.39/0.43	o 322
0.39/0.43	c Elapsed CPU time: 0.384941 s	Remaining CPU time: 179.615 s
0.39/0.43	c ===============================================================================
0.39/0.43	c |       280 |    1994    30253    94116 |    10084      280    112 |  1.531 % |
0.39/0.45	c |       380 |    1994    30253    94116 |    11092      380    112 |  1.531 % |
0.39/0.45	c ===============================================================================
0.39/0.45	c New solution: 321
0.39/0.45	o 321
0.39/0.45	c Elapsed CPU time: 0.402938 s	Remaining CPU time: 179.597 s
0.39/0.45	c ===============================================================================
0.39/0.45	c |       387 |    1994    30254    94251 |    10084      387    111 |  1.531 % |
0.39/0.46	c ===============================================================================
0.39/0.46	c New solution: 320
0.39/0.46	o 320
0.39/0.46	c Elapsed CPU time: 0.412937 s	Remaining CPU time: 179.587 s
0.39/0.46	c ===============================================================================
0.39/0.46	c |       423 |    1994    30255    94386 |    10085      423    110 |  1.531 % |
0.39/0.47	c ===============================================================================
0.39/0.47	c New solution: 319
0.39/0.47	o 319
0.39/0.47	c Elapsed CPU time: 0.418936 s	Remaining CPU time: 179.581 s
0.39/0.47	c ===============================================================================
0.39/0.47	c |       423 |    1994    30256    94521 |    10085      423    110 |  1.531 % |
0.39/0.48	c |       524 |    1994    30256    94521 |    11093      524    108 |  1.531 % |
0.49/0.50	c |       674 |    1994    30256    94521 |    12203      674    107 |  1.531 % |
0.49/0.51	c ===============================================================================
0.49/0.51	c New solution: 318
0.49/0.51	o 318
0.49/0.51	c Elapsed CPU time: 0.45393 s	Remaining CPU time: 179.546 s
0.49/0.51	c ===============================================================================
0.49/0.51	c |       676 |    1994    30257    94656 |    10085      676    107 |  1.531 % |
0.49/0.51	c ===============================================================================
0.49/0.51	c New solution: 317
0.49/0.51	o 317
0.49/0.51	c Elapsed CPU time: 0.460929 s	Remaining CPU time: 179.539 s
0.49/0.51	c ===============================================================================
0.49/0.51	c |       676 |    1994    30258    94791 |    10086      676    107 |  1.531 % |
0.49/0.53	c |       777 |    1994    30258    94791 |    11094      777    108 |  1.531 % |
0.49/0.55	c |       929 |    1994    30258    94791 |    12204      929    107 |  1.531 % |
0.49/0.56	c ===============================================================================
0.49/0.56	c New solution: 316
0.49/0.56	o 316
0.49/0.56	c Elapsed CPU time: 0.504923 s	Remaining CPU time: 179.495 s
0.49/0.56	c ===============================================================================
0.49/0.56	c |       962 |    1994    30259    94926 |    10086      962    107 |  1.531 % |
0.49/0.57	c ===============================================================================
0.49/0.57	c New solution: 315
0.49/0.57	o 315
0.49/0.57	c Elapsed CPU time: 0.510922 s	Remaining CPU time: 179.489 s
0.49/0.57	c ===============================================================================
0.49/0.57	c |       963 |    1994    30260    95061 |    10086      963    107 |  1.531 % |
0.49/0.57	c ===============================================================================
0.49/0.57	c New solution: 314
0.49/0.57	o 314
0.49/0.57	c Elapsed CPU time: 0.514921 s	Remaining CPU time: 179.485 s
0.49/0.57	c ===============================================================================
0.49/0.57	c |       963 |    1994    30261    95196 |    10087      963    107 |  1.531 % |
0.49/0.59	c |      1065 |    1994    30261    95196 |    11095     1065    107 |  1.531 % |
0.59/0.61	c |      1215 |    1994    30261    95196 |    12205     1215    107 |  1.531 % |
0.59/0.64	c |      1441 |    1994    30261    95196 |    13425     1441    107 |  1.531 % |
0.59/0.67	c ===============================================================================
0.59/0.67	c New solution: 313
0.59/0.67	o 313
0.59/0.67	c Elapsed CPU time: 0.608907 s	Remaining CPU time: 179.391 s
0.59/0.67	c ===============================================================================
0.59/0.67	c |      1584 |    1994    30262    95331 |    10087     1584    108 |  1.531 % |
0.59/0.69	c |      1684 |    1994    30262    95331 |    11096     1684    108 |  1.531 % |
0.69/0.70	c ===============================================================================
0.69/0.70	c New solution: 312
0.69/0.70	o 312
0.69/0.70	c Elapsed CPU time: 0.642902 s	Remaining CPU time: 179.357 s
0.69/0.70	c ===============================================================================
0.69/0.70	c |      1748 |    1994    30263    95466 |    10087     1748    108 |  1.531 % |
0.69/0.71	c ===============================================================================
0.69/0.71	c New solution: 311
0.69/0.71	o 311
0.69/0.71	c Elapsed CPU time: 0.648901 s	Remaining CPU time: 179.351 s
0.69/0.71	c ===============================================================================
0.69/0.71	c |      1751 |    1994    30264    95601 |    10088     1751    108 |  1.531 % |
0.69/0.72	c ===============================================================================
0.69/0.72	c New solution: 310
0.69/0.72	o 310
0.69/0.72	c Elapsed CPU time: 0.6559 s	Remaining CPU time: 179.344 s
0.69/0.72	c ===============================================================================
0.69/0.72	c |      1751 |    1994    30265    95736 |    10088     1751    108 |  1.531 % |
0.69/0.74	c |      1851 |    1994    30265    95736 |    11097     1851    108 |  1.531 % |
0.69/0.76	c |      2001 |    1994    30265    95736 |    12206     2001    108 |  1.531 % |
0.79/0.80	c |      2229 |    1994    30265    95736 |    13427     2229    108 |  1.531 % |
0.79/0.87	c |      2566 |    1994    30265    95736 |    14770     2566    109 |  1.531 % |
0.89/0.92	c ===============================================================================
0.89/0.92	c New solution: 308
0.89/0.92	o 308
0.89/0.92	c Elapsed CPU time: 0.85387 s	Remaining CPU time: 179.146 s
0.89/0.92	c ===============================================================================
0.89/0.92	c |      2905 |    1994    30266    95871 |    10088     2905    109 |  1.531 % |
0.89/0.94	c ===============================================================================
0.89/0.94	c New solution: 306
0.89/0.94	o 306
0.89/0.94	c Elapsed CPU time: 0.870867 s	Remaining CPU time: 179.129 s
0.89/0.94	c ===============================================================================
0.89/0.94	c |      2955 |    1994    30267    96006 |    10089     2955    109 |  1.531 % |
0.89/0.96	c |      3056 |    1994    30267    96006 |    11097     3056    109 |  1.531 % |
0.89/0.98	c |      3209 |    1994    30267    96006 |    12207     3209    109 |  1.531 % |
1.00/1.03	c |      3435 |    1994    30267    96006 |    13428     3435    109 |  1.531 % |
1.10/1.11	c |      3773 |    1994    30267    96006 |    14771     3773    108 |  1.531 % |
1.10/1.14	c ===============================================================================
1.10/1.14	c New solution: 305
1.10/1.14	o 305
1.10/1.14	c Elapsed CPU time: 1.06284 s	Remaining CPU time: 178.937 s
1.10/1.14	c ===============================================================================
1.10/1.14	c |      3921 |    1994    30268    96141 |    10089     3921    108 |  1.531 % |
1.10/1.16	c |      4021 |    1994    30268    96141 |    11098     4021    108 |  1.531 % |
1.10/1.20	c |      4171 |    1994    30268    96141 |    12208     4171    108 |  1.531 % |
1.19/1.25	c |      4396 |    1994    30268    96141 |    13428     4396    108 |  1.531 % |
1.29/1.36	c |      4736 |    1994    30268    96141 |    14771     4736    108 |  1.531 % |
1.39/1.48	c |      5242 |    1994    30268    96141 |    16248     5242    108 |  1.531 % |
1.59/1.67	c |      6003 |    1994    30268    96141 |    17873     6003    108 |  1.531 % |
1.59/1.68	c ===============================================================================
1.59/1.68	c New solution: 304
1.59/1.68	o 304
1.59/1.68	c Elapsed CPU time: 1.59276 s	Remaining CPU time: 178.407 s
1.59/1.68	c ===============================================================================
1.59/1.68	c |      6012 |    1994    30269    96276 |    10089     6012    108 |  1.531 % |
1.69/1.72	c |      6113 |    1994    30269    96276 |    11098     6113    108 |  1.531 % |
1.69/1.75	c ===============================================================================
1.69/1.75	c New solution: 303
1.69/1.75	o 303
1.69/1.75	c Elapsed CPU time: 1.66875 s	Remaining CPU time: 178.331 s
1.69/1.75	c ===============================================================================
1.69/1.75	c |      6169 |    1994    30270    96411 |    10090     6169    108 |  1.531 % |
1.69/1.77	c ===============================================================================
1.69/1.77	c New solution: 301
1.69/1.77	o 301
1.69/1.77	c Elapsed CPU time: 1.68674 s	Remaining CPU time: 178.313 s
1.69/1.77	c ===============================================================================
1.69/1.77	c |      6210 |    1994    30271    96546 |    10090     6210    108 |  1.531 % |
1.79/1.81	c |      6310 |    1994    30271    96546 |    11099     6310    108 |  1.531 % |
1.79/1.85	c |      6460 |    1994    30271    96546 |    12209     6460    108 |  1.531 % |
1.89/1.91	c |      6685 |    1994    30271    96546 |    13430     6685    108 |  1.531 % |
1.99/2.04	c |      7023 |    1994    30271    96546 |    14773     7023    108 |  1.531 % |
2.20/2.24	c |      7530 |    1994    30271    96546 |    16250     7530    107 |  1.531 % |
2.29/2.36	c ===============================================================================
2.29/2.36	c New solution: 300
2.29/2.36	o 300
2.29/2.36	c Elapsed CPU time: 2.26865 s	Remaining CPU time: 177.731 s
2.29/2.36	c ===============================================================================
2.29/2.36	c |      8023 |    1994    30272    96681 |    10090     8023    107 |  1.531 % |
2.29/2.38	c ===============================================================================
2.29/2.38	c New solution: 299
2.29/2.38	o 299
2.29/2.38	c Elapsed CPU time: 2.28465 s	Remaining CPU time: 177.715 s
2.29/2.38	c ===============================================================================
2.29/2.38	c |      8075 |    1994    30273    96816 |    10091     8075    107 |  1.531 % |
2.39/2.41	c |      8177 |    1994    30273    96816 |    11100     8177    107 |  1.531 % |
2.39/2.47	c |      8330 |    1994    30273    96816 |    12210     8330    107 |  1.531 % |
2.49/2.55	c |      8557 |    1994    30273    96816 |    13431     8557    107 |  1.531 % |
2.59/2.69	c |      8897 |    1994    30273    96816 |    14774     8897    107 |  1.531 % |
2.89/2.90	c |      9405 |    1994    30273    96816 |    16251     9405    107 |  1.531 % |
3.09/3.17	c |     10166 |    1994    30273    96816 |    17876    10166    107 |  1.531 % |
3.30/3.36	c ===============================================================================
3.30/3.36	c New solution: 298
3.30/3.36	o 298
3.30/3.36	c Elapsed CPU time: 3.25251 s	Remaining CPU time: 176.747 s
3.30/3.36	c ===============================================================================
3.30/3.36	c |     10593 |    1994    30274    96951 |    10091    10593    107 |  1.531 % |
3.39/3.45	c |     10693 |    1994    30274    96951 |    11100     5397    101 |  1.531 % |
3.39/3.49	c |     10844 |    1994    30274    96951 |    12210     5548    101 |  1.531 % |
3.49/3.56	c |     11069 |    1994    30274    96951 |    13431     5773    102 |  1.531 % |
3.59/3.66	c |     11406 |    1994    30274    96951 |    14774     6110    102 |  1.531 % |
3.69/3.78	c |     11913 |    1994    30274    96951 |    16252     6617    102 |  1.531 % |
3.88/3.96	c |     12672 |    1994    30274    96951 |    17877     7376    102 |  1.531 % |
3.88/3.98	c ===============================================================================
3.88/3.98	c New solution: 297
3.88/3.98	o 297
3.88/3.98	c Elapsed CPU time: 3.86541 s	Remaining CPU time: 176.135 s
3.88/3.98	c ===============================================================================
3.88/3.98	c |     12761 |    1994    30275    97086 |    10091     7465    102 |  1.531 % |
3.99/4.01	c |     12866 |    1994    30275    97086 |    11100     7570    102 |  1.531 % |
3.99/4.03	c ===============================================================================
3.99/4.03	c New solution: 296
3.99/4.03	o 296
3.99/4.03	c Elapsed CPU time: 3.90641 s	Remaining CPU time: 176.094 s
3.99/4.03	c ===============================================================================
3.99/4.03	c |     12902 |    1994    30276    97221 |    10092     7606    102 |  1.531 % |
3.99/4.04	c ===============================================================================
3.99/4.04	c New solution: 295
3.99/4.04	o 295
3.99/4.04	c Elapsed CPU time: 3.9234 s	Remaining CPU time: 176.077 s
3.99/4.04	c ===============================================================================
3.99/4.04	c |     12938 |    1994    30277    97356 |    10092     7642    102 |  1.531 % |
3.99/4.07	c |     13038 |    1994    30277    97356 |    11101     7742    102 |  1.531 % |
4.09/4.13	c |     13188 |    1994    30277    97356 |    12211     7892    102 |  1.531 % |
4.19/4.20	c |     13415 |    1994    30277    97356 |    13432     8119    102 |  1.531 % |
4.30/4.35	c |     13753 |    1994    30277    97356 |    14776     8457    102 |  1.531 % |
4.59/4.62	c |     14262 |    1994    30277    97356 |    16253     8966    102 |  1.531 % |
5.09/5.10	c |     15021 |    1994    30277    97356 |    17879     9725    102 |  1.531 % |
5.29/5.36	c ===============================================================================
5.29/5.36	c New solution: 294
5.29/5.36	o 294
5.29/5.36	c Elapsed CPU time: 5.22621 s	Remaining CPU time: 174.774 s
5.29/5.36	c ===============================================================================
5.29/5.36	c |     15705 |    1994    30278    97491 |    10092    10409    102 |  1.531 % |
5.40/5.46	c |     15805 |    1994    30278    97491 |    11101     5305     97 |  1.531 % |
5.50/5.52	c |     15958 |    1994    30278    97491 |    12212     5458     97 |  1.531 % |
5.50/5.59	c |     16183 |    1994    30278    97491 |    13433     5683     98 |  1.531 % |
5.69/5.74	c |     16521 |    1994    30278    97491 |    14776     6021     98 |  1.531 % |
5.89/5.96	c |     17028 |    1994    30278    97491 |    16254     6528     98 |  1.531 % |
6.18/6.22	c |     17789 |    1994    30278    97491 |    17879     7289     99 |  1.531 % |
6.69/6.77	c |     18930 |    1994    30278    97491 |    19667     8430     99 |  1.531 % |
7.79/7.84	c |     20641 |    1994    30278    97491 |    21634    10141    100 |  1.531 % |
8.89/8.91	c ===============================================================================
8.89/8.91	c New solution: 293
8.89/8.91	o 293
8.89/8.91	c Elapsed CPU time: 8.75767 s	Remaining CPU time: 171.242 s
8.89/8.91	c ===============================================================================
8.89/8.91	c |     22236 |    1994    30279    97626 |    10093    11736    101 |  1.531 % |
8.99/9.02	c |     22337 |    1994    30279    97626 |    11102     5969     96 |  1.531 % |
8.99/9.07	c |     22488 |    1994    30279    97626 |    12212     6120     96 |  1.531 % |
9.09/9.19	c |     22714 |    1994    30279    97626 |    13433     6346     96 |  1.531 % |
9.28/9.37	c |     23053 |    1994    30279    97626 |    14777     6685     97 |  1.531 % |
9.69/9.70	c |     23559 |    1994    30279    97626 |    16254     7191     97 |  1.531 % |
9.99/10.01	c |     24319 |    1994    30279    97626 |    17880     7951     98 |  1.531 % |
10.39/10.48	c |     25458 |    1994    30279    97626 |    19668     9090     99 |  1.531 % |
11.19/11.29	c |     27172 |    1994    30279    97626 |    21635    10804     99 |  1.531 % |
12.79/12.81	c |     29738 |    1994    30279    97626 |    23798    13370    100 |  1.531 % |
14.48/14.52	c ===============================================================================
14.48/14.52	c New solution: 290
14.48/14.52	o 290
14.48/14.52	c Elapsed CPU time: 14.3308 s	Remaining CPU time: 165.669 s
14.48/14.52	c ===============================================================================
14.48/14.52	c |     32158 |    1994    30280    97761 |    10093    15790    101 |  1.531 % |
14.69/14.72	c |     32261 |    1994    30280    97761 |    11102     7998     96 |  1.531 % |
14.69/14.78	c |     32411 |    1994    30280    97761 |    12212     8148     96 |  1.531 % |
14.79/14.87	c |     32639 |    1994    30280    97761 |    13434     8376     97 |  1.531 % |
14.99/15.09	c |     32976 |    1994    30280    97761 |    14777     8713     97 |  1.531 % |
15.39/15.44	c |     33485 |    1994    30280    97761 |    16255     9222     97 |  1.531 % |
15.99/16.00	c |     34245 |    1994    30280    97761 |    17880     9982     97 |  1.531 % |
16.58/16.66	c |     35388 |    1994    30280    97761 |    19669    11125     98 |  1.531 % |
17.39/17.41	c |     37096 |    1994    30280    97761 |    21635    12833     99 |  1.531 % |
19.38/19.48	c |     39661 |    1994    30280    97761 |    23799    15398     99 |  1.531 % |
24.28/24.36	c |     43506 |    1994    30280    97761 |    26179    19243    100 |  1.531 % |
26.89/26.98	c ===============================================================================
26.89/26.98	c New solution: 288
26.89/26.98	o 288
26.89/26.98	c Elapsed CPU time: 26.7109 s	Remaining CPU time: 153.289 s
26.89/26.98	c ===============================================================================
26.89/26.98	c |     45198 |    1994    30281    97896 |    10093    20935    100 |  1.531 % |
27.08/27.16	c |     45298 |    1994    30281    97896 |    11103     5334     87 |  1.531 % |
27.18/27.20	c |     45450 |    1994    30281    97896 |    12213     5486     88 |  1.531 % |
27.18/27.28	c |     45677 |    1994    30281    97896 |    13434     5713     88 |  1.531 % |
27.39/27.41	c |     46014 |    1994    30281    97896 |    14778     6050     89 |  1.531 % |
27.58/27.68	c |     46520 |    1994    30281    97896 |    16255     6556     90 |  1.531 % |
27.99/28.09	c |     47279 |    1994    30281    97896 |    17881     7315     91 |  1.531 % |
28.68/28.70	c |     48422 |    1994    30281    97896 |    19669     8458     92 |  1.531 % |
29.28/29.35	c |     50131 |    1994    30281    97896 |    21636    10167     94 |  1.531 % |
31.18/31.28	c |     52695 |    1994    30281    97896 |    23800    12731     95 |  1.531 % |
34.87/34.91	c |     56542 |    1994    30281    97896 |    26180    16578     97 |  1.531 % |
40.48/40.51	c |     62310 |    1994    30281    97896 |    28798    22346     98 |  1.531 % |
54.17/54.21	c |     70963 |    1994    30281    97896 |    31678    14062     95 |  1.531 % |
72.66/72.74	c |     83937 |    1994    30281    97896 |    34846    27036     98 |  1.531 % |
76.47/76.55	c ===============================================================================
76.47/76.55	c New solution: 287
76.47/76.55	o 287
76.47/76.55	c Elapsed CPU time: 76.0574 s	Remaining CPU time: 103.943 s
76.47/76.55	c ===============================================================================
76.47/76.55	c |     89686 |    1994    30282    98031 |    10094    32785     99 |  1.531 % |
77.57/77.64	c |     89786 |    1994    30282    98031 |    11103     6395     90 |  1.531 % |
77.66/77.70	c |     89938 |    1994    30282    98031 |    12213     6547     90 |  1.531 % |
77.76/77.82	c |     90168 |    1994    30282    98031 |    13435     6777     90 |  1.531 % |
77.86/77.96	c |     90509 |    1994    30282    98031 |    14778     7118     91 |  1.531 % |
78.07/78.19	c |     91015 |    1994    30282    98031 |    16256     7624     92 |  1.531 % |
78.57/78.63	c |     91778 |    1994    30282    98031 |    17882     8387     93 |  1.531 % |
79.36/79.40	c |     92919 |    1994    30282    98031 |    19670     9528     94 |  1.531 % |
80.66/80.72	c |     94627 |    1994    30282    98031 |    21637    11236     94 |  1.531 % |
82.77/82.82	c |     97191 |    1994    30282    98031 |    23801    13800     96 |  1.531 % |
86.96/87.07	c |    101036 |    1994    30282    98031 |    26181    17645     96 |  1.531 % |
92.16/92.25	c |    106804 |    1994    30282    98031 |    28799    23413     97 |  1.531 % |
104.25/104.38	c |    115453 |    1994    30282    98031 |    31679    15548     94 |  1.531 % |
114.55/114.69	c ===============================================================================
114.55/114.69	c New solution: 286
114.55/114.69	o 286
114.55/114.69	c Elapsed CPU time: 114.05 s	Remaining CPU time: 65.9503 s
114.55/114.69	c ===============================================================================
114.55/114.69	c |    123487 |    1994    30283    98166 |    10094    23582     96 |  1.531 % |
114.86/114.92	c ===============================================================================
114.86/114.92	c New solution: 285
114.86/114.92	o 285
114.86/114.92	c Elapsed CPU time: 114.272 s	Remaining CPU time: 65.7284 s
114.86/114.92	c ===============================================================================
114.86/114.92	c |    123487 |    1994    30284    98301 |    10094     5896     82 |  1.531 % |
114.86/114.96	c |    123587 |    1994    30284    98301 |    11104     5996     82 |  1.531 % |
114.96/115.04	c |    123738 |    1994    30284    98301 |    12214     6147     83 |  1.531 % |
115.05/115.15	c |    123967 |    1994    30284    98301 |    13436     6376     83 |  1.531 % |
115.25/115.33	c |    124309 |    1994    30284    98301 |    14779     6718     84 |  1.531 % |
115.55/115.63	c |    124815 |    1994    30284    98301 |    16257     7224     85 |  1.531 % |
116.05/116.14	c |    125574 |    1994    30284    98301 |    17883     7983     86 |  1.531 % |
116.56/116.61	c ===============================================================================
116.56/116.61	c Best Solution: 285
116.56/116.61	s OPTIMUM FOUND
116.56/116.61	c Total CPU time: 115.947 s
116.56/116.61	v -x1 -x2 x3 -x4 x5 -x6 x7 x8 x9 x10 x11 -x12 -x13 -x14 -x15 x16 x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 x26 x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 x82 -x83 x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 x838 -x839 -x840 -x841 -x842 x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 x995 -x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 x1522 -x1523 -x1524 -x1525 x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 x1656 -x1657 -x1658 -x1659 -x1660 x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025

Verifier Data 

OK	-79

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655747-1276687090/watcher-2655747-1276687090 -o /tmp/evaluation-result-2655747-1276687090/solver-2655747-1276687090 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655747-1276687090.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: 0.99 0.98 0.99 3/106 8355
/proc/meminfo: memFree=1748928/2059040 swapFree=4140260/4192956
[pid=8355] ppid=8353 vsize=3812 CPUtime=0
/proc/8355/stat : 8355 (wbo1.4b) R 8353 8355 7710 0 -1 4202496 344 0 0 0 0 0 0 0 25 0 1 0 44310784 3903488 263 1992294400 134512640 135751879 4286888720 18446744073709551615 134613782 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8355/statm: 953 263 143 303 0 404 0

[startup+0.0278529 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 8355
/proc/meminfo: memFree=1748928/2059040 swapFree=4140260/4192956
[pid=8355] ppid=8353 vsize=4128 CPUtime=0.02
/proc/8355/stat : 8355 (wbo1.4b) R 8353 8355 7710 0 -1 4202496 444 0 0 0 2 0 0 0 25 0 1 0 44310784 4227072 363 1992294400 134512640 135751879 4286888720 18446744073709551615 134559738 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8355/statm: 1032 363 177 303 0 483 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4128

[startup+0.100861 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 8355
/proc/meminfo: memFree=1748928/2059040 swapFree=4140260/4192956
[pid=8355] ppid=8353 vsize=4904 CPUtime=0.09
/proc/8355/stat : 8355 (wbo1.4b) R 8353 8355 7710 0 -1 4202496 779 0 0 0 9 0 0 0 25 0 1 0 44310784 5021696 698 1992294400 134512640 135751879 4286888720 18446744073709551615 134564556 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8355/statm: 1226 698 303 303 0 677 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4904

[startup+0.300882 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 8355
/proc/meminfo: memFree=1748928/2059040 swapFree=4140260/4192956
[pid=8355] ppid=8353 vsize=5192 CPUtime=0.29
/proc/8355/stat : 8355 (wbo1.4b) R 8353 8355 7710 0 -1 4202496 1161 0 0 0 26 3 0 0 25 0 1 0 44310784 5316608 836 1992294400 134512640 135751879 4286888720 18446744073709551615 134639033 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8355/statm: 1298 836 146 303 0 993 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5192

[startup+0.700928 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 8355
/proc/meminfo: memFree=1748928/2059040 swapFree=4140260/4192956
[pid=8355] ppid=8353 vsize=5836 CPUtime=0.69
/proc/8355/stat : 8355 (wbo1.4b) R 8353 8355 7710 0 -1 4202496 1341 0 0 0 63 6 0 0 25 0 1 0 44310784 5976064 1016 1992294400 134512640 135751879 4286888720 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8355/statm: 1459 1016 147 303 0 1154 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5836

[startup+1.50102 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 8356
/proc/meminfo: memFree=1744456/2059040 swapFree=4140260/4192956
[pid=8355] ppid=8353 vsize=7904 CPUtime=1.49
/proc/8355/stat : 8355 (wbo1.4b) R 8353 8355 7710 0 -1 4202496 1844 0 0 0 141 8 0 0 25 0 1 0 44310784 8093696 1519 1992294400 134512640 135751879 4286888720 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8355/statm: 1976 1519 147 303 0 1671 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7904

[startup+3.10119 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 8356
/proc/meminfo: memFree=1741976/2059040 swapFree=4140260/4192956
[pid=8355] ppid=8353 vsize=10348 CPUtime=3.09
/proc/8355/stat : 8355 (wbo1.4b) R 8353 8355 7710 0 -1 4202496 2470 0 0 0 299 10 0 0 25 0 1 0 44310784 10596352 2145 1992294400 134512640 135751879 4286888720 18446744073709551615 134616453 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8355/statm: 2587 2145 147 303 0 2282 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10348

[startup+6.30055 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 8356
/proc/meminfo: memFree=1737388/2059040 swapFree=4140260/4192956
[pid=8355] ppid=8353 vsize=14660 CPUtime=6.28
/proc/8355/stat : 8355 (wbo1.4b) R 8353 8355 7710 0 -1 4202496 3541 0 0 0 615 13 0 0 25 0 1 0 44310784 15011840 3216 1992294400 134512640 135751879 4286888720 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8355/statm: 3665 3216 148 303 0 3360 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14660

[startup+12.7003 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 8356
/proc/meminfo: memFree=1730940/2059040 swapFree=4140260/4192956
[pid=8355] ppid=8353 vsize=20772 CPUtime=12.69
/proc/8355/stat : 8355 (wbo1.4b) R 8353 8355 7710 0 -1 4202496 5041 0 0 0 1251 18 0 0 25 0 1 0 44310784 21270528 4716 1992294400 134512640 135751879 4286888720 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8355/statm: 5193 4716 148 303 0 4888 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20772

[startup+25.5007 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 8356
/proc/meminfo: memFree=1722632/2059040 swapFree=4140260/4192956
[pid=8355] ppid=8353 vsize=28448 CPUtime=25.49
/proc/8355/stat : 8355 (wbo1.4b) R 8353 8355 7710 0 -1 4202496 6967 0 0 0 2524 25 0 0 25 0 1 0 44310784 29130752 6642 1992294400 134512640 135751879 4286888720 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8355/statm: 7112 6642 148 303 0 6807 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28448

[startup+51.1015 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 8358
/proc/meminfo: memFree=1710232/2059040 swapFree=4140260/4192956
[pid=8355] ppid=8353 vsize=40980 CPUtime=51.07
/proc/8355/stat : 8355 (wbo1.4b) R 8353 8355 7710 0 -1 4202496 10056 0 0 0 5070 37 0 0 25 0 1 0 44310784 41963520 9731 1992294400 134512640 135751879 4286888720 18446744073709551615 134611087 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8355/statm: 10245 9731 148 303 0 9940 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40980

[startup+102.308 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 8358
/proc/meminfo: memFree=1687540/2059040 swapFree=4140260/4192956
[pid=8355] ppid=8353 vsize=63440 CPUtime=102.26
/proc/8355/stat : 8355 (wbo1.4b) R 8353 8355 7710 0 -1 4202496 15661 0 0 0 10171 55 0 0 25 0 1 0 44310784 64962560 15336 1992294400 134512640 135751879 4286888720 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8355/statm: 15860 15336 148 303 0 15555 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 63440

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

[startup+108.701 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 8360
/proc/meminfo: memFree=1684936/2059040 swapFree=4140260/4192956
[pid=8355] ppid=8353 vsize=66388 CPUtime=108.66
/proc/8355/stat : 8355 (wbo1.4b) R 8353 8355 7710 0 -1 4202496 16403 0 0 0 10808 58 0 0 25 0 1 0 44310784 67981312 16078 1992294400 134512640 135751879 4286888720 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8355/statm: 16597 16078 148 303 0 16292 0
Current children cumulated CPU time (s) 108.66
Current children cumulated vsize (KiB) 66388

[startup+111.901 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 8360
/proc/meminfo: memFree=1683696/2059040 swapFree=4140260/4192956
[pid=8355] ppid=8353 vsize=67676 CPUtime=111.85
/proc/8355/stat : 8355 (wbo1.4b) R 8353 8355 7710 0 -1 4202496 16729 0 0 0 11126 59 0 0 25 0 1 0 44310784 69300224 16404 1992294400 134512640 135751879 4286888720 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8355/statm: 16919 16404 148 303 0 16614 0
Current children cumulated CPU time (s) 111.85
Current children cumulated vsize (KiB) 67676

[startup+115.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 8360
/proc/meminfo: memFree=1682580/2059040 swapFree=4140260/4192956
[pid=8355] ppid=8353 vsize=68704 CPUtime=115.05
/proc/8355/stat : 8355 (wbo1.4b) R 8353 8355 7710 0 -1 4202496 16993 0 0 0 11444 61 0 0 25 0 1 0 44310784 70352896 16668 1992294400 134512640 135751879 4286888720 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8355/statm: 17176 16668 148 303 0 16871 0
Current children cumulated CPU time (s) 115.05
Current children cumulated vsize (KiB) 68704

[startup+115.901 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 8360
/proc/meminfo: memFree=1681960/2059040 swapFree=4140260/4192956
[pid=8355] ppid=8353 vsize=69472 CPUtime=115.85
/proc/8355/stat : 8355 (wbo1.4b) R 8353 8355 7710 0 -1 4202496 17155 0 0 0 11524 61 0 0 25 0 1 0 44310784 71139328 16830 1992294400 134512640 135751879 4286888720 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8355/statm: 17368 16830 148 303 0 17063 0
Current children cumulated CPU time (s) 115.85
Current children cumulated vsize (KiB) 69472

[startup+116.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 8360
/proc/meminfo: memFree=1681960/2059040 swapFree=4140260/4192956
[pid=8355] ppid=8353 vsize=69728 CPUtime=116.25
/proc/8355/stat : 8355 (wbo1.4b) R 8353 8355 7710 0 -1 4202496 17226 0 0 0 11563 62 0 0 25 0 1 0 44310784 71401472 16901 1992294400 134512640 135751879 4286888720 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8355/statm: 17432 16901 148 303 0 17127 0
Current children cumulated CPU time (s) 116.25
Current children cumulated vsize (KiB) 69728

[startup+116.501 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 8360
/proc/meminfo: memFree=1681092/2059040 swapFree=4140260/4192956
[pid=8355] ppid=8353 vsize=69856 CPUtime=116.46
/proc/8355/stat : 8355 (wbo1.4b) R 8353 8355 7710 0 -1 4202496 17269 0 0 0 11584 62 0 0 25 0 1 0 44310784 71532544 16944 1992294400 134512640 135751879 4286888720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8355/statm: 17464 16944 148 303 0 17159 0
Current children cumulated CPU time (s) 116.46
Current children cumulated vsize (KiB) 69856

[startup+116.609 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 8360
/proc/meminfo: memFree=1681092/2059040 swapFree=4140260/4192956
[pid=8355] ppid=8353 vsize=69988 CPUtime=116.56
/proc/8355/stat : 8355 (wbo1.4b) R 8353 8355 7710 0 -1 4202496 17288 0 0 0 11594 62 0 0 25 0 1 0 44310784 71667712 16963 1992294400 134512640 135751879 4286888720 18446744073709551615 134616326 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8355/statm: 17497 16963 148 303 0 17192 0
Current children cumulated CPU time (s) 116.56
Current children cumulated vsize (KiB) 69988

Child status: 0
Real time (s): 116.621
CPU time (s): 116.581
CPU user time (s): 115.948
CPU system time (s): 0.632903
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (KiB): 69988

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

runsolver used 0.201969 second user time and 0.570913 second system time

The end

Launcher Data 

Begin job on node009 at 2010-06-16 13:18:10
IDJOB=2655747
IDBENCH=71836
IDSOLVER=1161
FILE ID=node009/2655747-1276687090
PBS_JOBID= 11172567
Free space on /tmp= 62552 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-9000opt.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655747-1276687090/watcher-2655747-1276687090 -o /tmp/evaluation-result-2655747-1276687090/solver-2655747-1276687090 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655747-1276687090.opb

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

MD5SUM BENCH= 3178a50232316e72958589cc9e9cd436
RANDOM SEED=1869673258

node009.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.199
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.39
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.199
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1749456 kB
Buffers:         84468 kB
Cached:         130160 kB
SwapCached:       6248 kB
Active:         110392 kB
Inactive:       117624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1749456 kB
SwapTotal:     4192956 kB
SwapFree:      4140260 kB
Dirty:            3768 kB
Writeback:           0 kB
AnonPages:       11720 kB
Mapped:          12996 kB
Slab:            59844 kB
PageTables:       4108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180584 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= 62552 MiB
End job on node009 at 2010-06-16 13:20:07