Trace number 2680390

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.4b (fixed)OPT-79 116.828 116.858

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 - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680390-1277460447.opb.
0.00/0.00	c Instance file HOME/instance-2680390-1277460447.opb
0.00/0.00	c File size is 999203 bytes.
0.10/0.16	c Highest Coefficient sum: 4
0.10/0.16	c ============================[ Problem Statistics ]=============================
0.10/0.16	c |                                                                             |
0.10/0.16	c |  Parsing time:          0.16         s                                      |
0.10/0.16	c |  Number Variables:      2025                                                |
0.10/0.16	c |  Number Clauses:        30187                                               |
0.10/0.16	c |  Number Cardinality:    0                                                   |
0.10/0.16	c |  Number PB Constraints: 0                                                   |
0.19/0.21	c ============================[ Search Statistics ]==============================
0.19/0.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.21	c ===============================================================================
0.19/0.21	c |         0 |    1994    30218    89391 |    10062        0    nan |  0.000 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c New solution: 0
0.19/0.22	o 0
0.19/0.22	c Elapsed CPU time: 0.216967 s	Remaining CPU time: 179.783 s
0.19/0.22	c ===============================================================================
0.19/0.22	c |         0 |    1994    30219    89526 |    10073        0    nan |  0.000 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: -3
0.19/0.23	o -3
0.19/0.23	c Elapsed CPU time: 0.220966 s	Remaining CPU time: 179.779 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |         0 |    1994    30220    89661 |    10073        0    nan |  0.000 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: -4
0.19/0.23	o -4
0.19/0.23	c Elapsed CPU time: 0.225965 s	Remaining CPU time: 179.774 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |         0 |    1994    30221    89796 |    10073        0    nan |  0.000 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: -7
0.19/0.24	o -7
0.19/0.24	c Elapsed CPU time: 0.230964 s	Remaining CPU time: 179.769 s
0.19/0.24	c ===============================================================================
0.19/0.24	c |         0 |    1994    30222    89931 |    10074        0    nan |  0.000 % |
0.19/0.25	c ===============================================================================
0.19/0.25	c New solution: -8
0.19/0.25	o -8
0.19/0.25	c Elapsed CPU time: 0.234964 s	Remaining CPU time: 179.765 s
0.19/0.25	c ===============================================================================
0.19/0.25	c |         3 |    1994    30223    90066 |    10074        3    134 |  0.000 % |
0.19/0.25	c ===============================================================================
0.19/0.25	c New solution: -9
0.19/0.25	o -9
0.19/0.25	c Elapsed CPU time: 0.238963 s	Remaining CPU time: 179.761 s
0.19/0.25	c ===============================================================================
0.19/0.25	c |         3 |    1994    30224    90201 |    10074        3    134 |  0.000 % |
0.19/0.26	c ===============================================================================
0.19/0.26	c New solution: -10
0.19/0.26	o -10
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 |         3 |    1994    30225    90336 |    10075        3    134 |  0.000 % |
0.19/0.26	c ===============================================================================
0.19/0.26	c New solution: -11
0.19/0.26	o -11
0.19/0.26	c Elapsed CPU time: 0.247962 s	Remaining CPU time: 179.752 s
0.19/0.26	c ===============================================================================
0.19/0.26	c |         3 |    1994    30226    90471 |    10075        3    134 |  0.000 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: -12
0.19/0.27	o -12
0.19/0.27	c Elapsed CPU time: 0.251961 s	Remaining CPU time: 179.748 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |         3 |    1994    30227    90606 |    10075        3    134 |  0.000 % |
0.19/0.28	c ===============================================================================
0.19/0.28	c New solution: -13
0.19/0.28	o -13
0.19/0.28	c Elapsed CPU time: 0.25796 s	Remaining CPU time: 179.742 s
0.19/0.28	c ===============================================================================
0.19/0.28	c |         3 |    1994    30228    90741 |    10076        3    134 |  0.000 % |
0.19/0.28	c ===============================================================================
0.19/0.28	c New solution: -14
0.19/0.28	o -14
0.19/0.28	c Elapsed CPU time: 0.26296 s	Remaining CPU time: 179.737 s
0.19/0.28	c ===============================================================================
0.19/0.28	c |         4 |    1994    30229    90876 |    10076        4    133 |  0.000 % |
0.19/0.29	c ===============================================================================
0.19/0.29	c New solution: -16
0.19/0.29	o -16
0.19/0.29	c Elapsed CPU time: 0.269958 s	Remaining CPU time: 179.73 s
0.19/0.29	c ===============================================================================
0.19/0.29	c |         5 |    1994    30230    91011 |    10076        5    132 |  0.000 % |
0.29/0.30	c ===============================================================================
0.29/0.30	c New solution: -17
0.29/0.30	o -17
0.29/0.30	c Elapsed CPU time: 0.273958 s	Remaining CPU time: 179.726 s
0.29/0.30	c ===============================================================================
0.29/0.30	c |         5 |    1994    30231    91146 |    10077        5    132 |  0.000 % |
0.29/0.30	c ===============================================================================
0.29/0.30	c New solution: -18
0.29/0.30	o -18
0.29/0.30	c Elapsed CPU time: 0.278957 s	Remaining CPU time: 179.721 s
0.29/0.30	c ===============================================================================
0.29/0.30	c |         8 |    1994    30232    91281 |    10077        8    131 |  0.000 % |
0.29/0.31	c ===============================================================================
0.29/0.31	c New solution: -19
0.29/0.31	o -19
0.29/0.31	c Elapsed CPU time: 0.282956 s	Remaining CPU time: 179.717 s
0.29/0.31	c ===============================================================================
0.29/0.31	c |         9 |    1994    30233    91416 |    10077        9    130 |  0.000 % |
0.29/0.32	c ===============================================================================
0.29/0.32	c New solution: -20
0.29/0.32	o -20
0.29/0.32	c Elapsed CPU time: 0.286956 s	Remaining CPU time: 179.713 s
0.29/0.32	c ===============================================================================
0.29/0.32	c |         9 |    1994    30234    91551 |    10078        9    130 |  0.000 % |
0.29/0.32	c ===============================================================================
0.29/0.32	c New solution: -22
0.29/0.32	o -22
0.29/0.32	c Elapsed CPU time: 0.292955 s	Remaining CPU time: 179.707 s
0.29/0.32	c ===============================================================================
0.29/0.32	c |         9 |    1994    30235    91686 |    10078        9    130 |  0.000 % |
0.29/0.33	c ===============================================================================
0.29/0.33	c New solution: -23
0.29/0.33	o -23
0.29/0.33	c Elapsed CPU time: 0.298954 s	Remaining CPU time: 179.701 s
0.29/0.33	c ===============================================================================
0.29/0.33	c |        10 |    1994    30236    91821 |    10078       10    130 |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: -24
0.29/0.34	o -24
0.29/0.34	c Elapsed CPU time: 0.303953 s	Remaining CPU time: 179.696 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |        11 |    1994    30237    91956 |    10079       11    130 |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: -25
0.29/0.34	o -25
0.29/0.34	c Elapsed CPU time: 0.309952 s	Remaining CPU time: 179.69 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |        18 |    1994    30238    92091 |    10079       18    128 |  0.000 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c New solution: -26
0.29/0.35	o -26
0.29/0.35	c Elapsed CPU time: 0.315951 s	Remaining CPU time: 179.684 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |        20 |    1994    30239    92226 |    10079       20    128 |  0.000 % |
0.29/0.36	c ===============================================================================
0.29/0.36	c New solution: -27
0.29/0.36	o -27
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 |        20 |    1994    30240    92361 |    10080       20    128 |  0.000 % |
0.29/0.36	c ===============================================================================
0.29/0.36	c New solution: -29
0.29/0.36	o -29
0.29/0.36	c Elapsed CPU time: 0.32695 s	Remaining CPU time: 179.673 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |        20 |    1994    30241    92496 |    10080       20    128 |  0.000 % |
0.29/0.37	c ===============================================================================
0.29/0.37	c New solution: -30
0.29/0.37	o -30
0.29/0.37	c Elapsed CPU time: 0.332949 s	Remaining CPU time: 179.667 s
0.29/0.37	c ===============================================================================
0.29/0.37	c |        33 |    1994    30242    92631 |    10080       33    123 |  0.000 % |
0.29/0.38	c ===============================================================================
0.29/0.38	c New solution: -32
0.29/0.38	o -32
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 |        45 |    1994    30243    92766 |    10081       45    115 |  0.000 % |
0.29/0.38	c ===============================================================================
0.29/0.38	c New solution: -33
0.29/0.38	o -33
0.29/0.38	c Elapsed CPU time: 0.346947 s	Remaining CPU time: 179.653 s
0.29/0.38	c ===============================================================================
0.29/0.38	c |        71 |    1994    30244    92901 |    10081       71    113 |  0.000 % |
0.29/0.39	c ===============================================================================
0.29/0.39	c New solution: -34
0.29/0.39	o -34
0.29/0.39	c Elapsed CPU time: 0.350946 s	Remaining CPU time: 179.649 s
0.29/0.39	c ===============================================================================
0.29/0.39	c |        71 |    1994    30245    93036 |    10081       71    113 |  0.000 % |
0.39/0.40	c ===============================================================================
0.39/0.40	c New solution: -35
0.39/0.40	o -35
0.39/0.40	c Elapsed CPU time: 0.358945 s	Remaining CPU time: 179.641 s
0.39/0.40	c ===============================================================================
0.39/0.40	c |       119 |    1994    30246    93171 |    10082      119    111 |  0.000 % |
0.39/0.41	c ===============================================================================
0.39/0.41	c New solution: -36
0.39/0.41	o -36
0.39/0.41	c Elapsed CPU time: 0.365944 s	Remaining CPU time: 179.634 s
0.39/0.41	c ===============================================================================
0.39/0.41	c |       119 |    1994    30247    93306 |    10082      119    111 |  0.000 % |
0.39/0.41	c ===============================================================================
0.39/0.41	c New solution: -37
0.39/0.41	o -37
0.39/0.41	c Elapsed CPU time: 0.371943 s	Remaining CPU time: 179.628 s
0.39/0.41	c ===============================================================================
0.39/0.41	c |       119 |    1994    30248    93441 |    10082      119    111 |  0.000 % |
0.39/0.42	c ===============================================================================
0.39/0.42	c New solution: -38
0.39/0.42	o -38
0.39/0.42	c Elapsed CPU time: 0.375942 s	Remaining CPU time: 179.624 s
0.39/0.42	c ===============================================================================
0.39/0.42	c |       119 |    1994    30249    93576 |    10083      119    111 |  0.000 % |
0.39/0.43	c |       219 |    1994    30249    93576 |    11091      219    112 |  1.531 % |
0.39/0.44	c ===============================================================================
0.39/0.44	c New solution: -39
0.39/0.44	o -39
0.39/0.44	c Elapsed CPU time: 0.39194 s	Remaining CPU time: 179.608 s
0.39/0.44	c ===============================================================================
0.39/0.44	c |       252 |    1994    30250    93711 |    10083      252    112 |  1.531 % |
0.39/0.44	c ===============================================================================
0.39/0.45	c New solution: -40
0.39/0.45	o -40
0.39/0.45	c Elapsed CPU time: 0.397939 s	Remaining CPU time: 179.602 s
0.39/0.45	c ===============================================================================
0.39/0.45	c |       267 |    1994    30251    93846 |    10083      267    112 |  1.531 % |
0.39/0.45	c ===============================================================================
0.39/0.45	c New solution: -41
0.39/0.45	o -41
0.39/0.45	c Elapsed CPU time: 0.404938 s	Remaining CPU time: 179.595 s
0.39/0.45	c ===============================================================================
0.39/0.45	c |       278 |    1994    30252    93981 |    10084      278    112 |  1.531 % |
0.39/0.46	c ===============================================================================
0.39/0.46	c New solution: -42
0.39/0.46	o -42
0.39/0.46	c Elapsed CPU time: 0.410937 s	Remaining CPU time: 179.589 s
0.39/0.46	c ===============================================================================
0.39/0.46	c |       280 |    1994    30253    94116 |    10084      280    112 |  1.531 % |
0.39/0.47	c |       380 |    1994    30253    94116 |    11092      380    112 |  1.531 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c New solution: -43
0.39/0.48	o -43
0.39/0.48	c Elapsed CPU time: 0.427934 s	Remaining CPU time: 179.572 s
0.39/0.48	c ===============================================================================
0.39/0.48	c |       387 |    1994    30254    94251 |    10084      387    111 |  1.531 % |
0.39/0.49	c ===============================================================================
0.39/0.49	c New solution: -44
0.39/0.49	o -44
0.39/0.49	c Elapsed CPU time: 0.438933 s	Remaining CPU time: 179.561 s
0.39/0.49	c ===============================================================================
0.39/0.49	c |       423 |    1994    30255    94386 |    10085      423    110 |  1.531 % |
0.39/0.50	c ===============================================================================
0.39/0.50	c New solution: -45
0.39/0.50	o -45
0.39/0.50	c Elapsed CPU time: 0.444932 s	Remaining CPU time: 179.555 s
0.39/0.50	c ===============================================================================
0.39/0.50	c |       423 |    1994    30256    94521 |    10085      423    110 |  1.531 % |
0.49/0.51	c |       524 |    1994    30256    94521 |    11093      524    108 |  1.531 % |
0.49/0.53	c |       674 |    1994    30256    94521 |    12203      674    107 |  1.531 % |
0.49/0.53	c ===============================================================================
0.49/0.53	c New solution: -46
0.49/0.53	o -46
0.49/0.53	c Elapsed CPU time: 0.479927 s	Remaining CPU time: 179.52 s
0.49/0.53	c ===============================================================================
0.49/0.53	c |       676 |    1994    30257    94656 |    10085      676    107 |  1.531 % |
0.49/0.54	c ===============================================================================
0.49/0.54	c New solution: -47
0.49/0.54	o -47
0.49/0.54	c Elapsed CPU time: 0.485926 s	Remaining CPU time: 179.514 s
0.49/0.54	c ===============================================================================
0.49/0.54	c |       676 |    1994    30258    94791 |    10086      676    107 |  1.531 % |
0.49/0.55	c |       777 |    1994    30258    94791 |    11094      777    108 |  1.531 % |
0.49/0.57	c |       929 |    1994    30258    94791 |    12204      929    107 |  1.531 % |
0.49/0.58	c ===============================================================================
0.49/0.58	c New solution: -48
0.49/0.58	o -48
0.49/0.58	c Elapsed CPU time: 0.526919 s	Remaining CPU time: 179.473 s
0.49/0.58	c ===============================================================================
0.49/0.58	c |       962 |    1994    30259    94926 |    10086      962    107 |  1.531 % |
0.49/0.59	c ===============================================================================
0.49/0.59	c New solution: -49
0.49/0.59	o -49
0.49/0.59	c Elapsed CPU time: 0.534918 s	Remaining CPU time: 179.465 s
0.49/0.59	c ===============================================================================
0.49/0.59	c |       963 |    1994    30260    95061 |    10086      963    107 |  1.531 % |
0.59/0.60	c ===============================================================================
0.59/0.60	c New solution: -50
0.59/0.60	o -50
0.59/0.60	c Elapsed CPU time: 0.541917 s	Remaining CPU time: 179.458 s
0.59/0.60	c ===============================================================================
0.59/0.60	c |       963 |    1994    30261    95196 |    10087      963    107 |  1.531 % |
0.59/0.61	c |      1065 |    1994    30261    95196 |    11095     1065    107 |  1.531 % |
0.59/0.63	c |      1215 |    1994    30261    95196 |    12205     1215    107 |  1.531 % |
0.59/0.67	c |      1441 |    1994    30261    95196 |    13425     1441    107 |  1.531 % |
0.59/0.70	c ===============================================================================
0.59/0.70	c New solution: -51
0.59/0.70	o -51
0.59/0.70	c Elapsed CPU time: 0.636903 s	Remaining CPU time: 179.363 s
0.59/0.70	c ===============================================================================
0.59/0.70	c |      1584 |    1994    30262    95331 |    10087     1584    108 |  1.531 % |
0.69/0.71	c |      1684 |    1994    30262    95331 |    11096     1684    108 |  1.531 % |
0.69/0.73	c ===============================================================================
0.69/0.73	c New solution: -52
0.69/0.73	o -52
0.69/0.73	c Elapsed CPU time: 0.670898 s	Remaining CPU time: 179.329 s
0.69/0.73	c ===============================================================================
0.69/0.73	c |      1748 |    1994    30263    95466 |    10087     1748    108 |  1.531 % |
0.69/0.74	c ===============================================================================
0.69/0.74	c New solution: -53
0.69/0.74	o -53
0.69/0.74	c Elapsed CPU time: 0.678896 s	Remaining CPU time: 179.321 s
0.69/0.74	c ===============================================================================
0.69/0.74	c |      1751 |    1994    30264    95601 |    10088     1751    108 |  1.531 % |
0.69/0.75	c ===============================================================================
0.69/0.75	c New solution: -54
0.69/0.75	o -54
0.69/0.75	c Elapsed CPU time: 0.684895 s	Remaining CPU time: 179.315 s
0.69/0.75	c ===============================================================================
0.69/0.75	c |      1751 |    1994    30265    95736 |    10088     1751    108 |  1.531 % |
0.69/0.76	c |      1851 |    1994    30265    95736 |    11097     1851    108 |  1.531 % |
0.69/0.79	c |      2001 |    1994    30265    95736 |    12206     2001    108 |  1.531 % |
0.79/0.83	c |      2229 |    1994    30265    95736 |    13427     2229    108 |  1.531 % |
0.79/0.89	c |      2566 |    1994    30265    95736 |    14770     2566    109 |  1.531 % |
0.89/0.95	c ===============================================================================
0.89/0.95	c New solution: -56
0.89/0.95	o -56
0.89/0.95	c Elapsed CPU time: 0.882865 s	Remaining CPU time: 179.117 s
0.89/0.95	c ===============================================================================
0.89/0.95	c |      2905 |    1994    30266    95871 |    10088     2905    109 |  1.531 % |
0.89/0.97	c ===============================================================================
0.89/0.97	c New solution: -58
0.89/0.97	o -58
0.89/0.97	c Elapsed CPU time: 0.897863 s	Remaining CPU time: 179.102 s
0.89/0.97	c ===============================================================================
0.89/0.97	c |      2955 |    1994    30267    96006 |    10089     2955    109 |  1.531 % |
0.89/0.98	c |      3056 |    1994    30267    96006 |    11097     3056    109 |  1.531 % |
1.00/1.01	c |      3209 |    1994    30267    96006 |    12207     3209    109 |  1.531 % |
1.00/1.06	c |      3435 |    1994    30267    96006 |    13428     3435    109 |  1.531 % |
1.10/1.14	c |      3773 |    1994    30267    96006 |    14771     3773    108 |  1.531 % |
1.10/1.17	c ===============================================================================
1.10/1.17	c New solution: -59
1.10/1.17	o -59
1.10/1.17	c Elapsed CPU time: 1.09483 s	Remaining CPU time: 178.905 s
1.10/1.17	c ===============================================================================
1.10/1.17	c |      3921 |    1994    30268    96141 |    10089     3921    108 |  1.531 % |
1.10/1.19	c |      4021 |    1994    30268    96141 |    11098     4021    108 |  1.531 % |
1.19/1.23	c |      4171 |    1994    30268    96141 |    12208     4171    108 |  1.531 % |
1.19/1.28	c |      4396 |    1994    30268    96141 |    13428     4396    108 |  1.531 % |
1.29/1.40	c |      4736 |    1994    30268    96141 |    14771     4736    108 |  1.531 % |
1.49/1.51	c |      5242 |    1994    30268    96141 |    16248     5242    108 |  1.531 % |
1.69/1.70	c |      6003 |    1994    30268    96141 |    17873     6003    108 |  1.531 % |
1.69/1.71	c ===============================================================================
1.69/1.71	c New solution: -60
1.69/1.71	o -60
1.69/1.71	c Elapsed CPU time: 1.62475 s	Remaining CPU time: 178.375 s
1.69/1.71	c ===============================================================================
1.69/1.71	c |      6012 |    1994    30269    96276 |    10089     6012    108 |  1.531 % |
1.69/1.76	c |      6113 |    1994    30269    96276 |    11098     6113    108 |  1.531 % |
1.69/1.79	c ===============================================================================
1.69/1.79	c New solution: -61
1.69/1.79	o -61
1.69/1.79	c Elapsed CPU time: 1.70174 s	Remaining CPU time: 178.298 s
1.69/1.79	c ===============================================================================
1.69/1.79	c |      6169 |    1994    30270    96411 |    10090     6169    108 |  1.531 % |
1.79/1.80	c ===============================================================================
1.79/1.80	c New solution: -63
1.79/1.80	o -63
1.79/1.80	c Elapsed CPU time: 1.71974 s	Remaining CPU time: 178.28 s
1.79/1.80	c ===============================================================================
1.79/1.80	c |      6210 |    1994    30271    96546 |    10090     6210    108 |  1.531 % |
1.79/1.84	c |      6310 |    1994    30271    96546 |    11099     6310    108 |  1.531 % |
1.79/1.88	c |      6460 |    1994    30271    96546 |    12209     6460    108 |  1.531 % |
1.89/1.94	c |      6685 |    1994    30271    96546 |    13430     6685    108 |  1.531 % |
1.99/2.07	c |      7023 |    1994    30271    96546 |    14773     7023    108 |  1.531 % |
2.19/2.28	c |      7530 |    1994    30271    96546 |    16250     7530    107 |  1.531 % |
2.39/2.40	c ===============================================================================
2.39/2.40	c New solution: -64
2.39/2.40	o -64
2.39/2.40	c Elapsed CPU time: 2.30765 s	Remaining CPU time: 177.692 s
2.39/2.40	c ===============================================================================
2.39/2.40	c |      8023 |    1994    30272    96681 |    10090     8023    107 |  1.531 % |
2.39/2.42	c ===============================================================================
2.39/2.42	c New solution: -65
2.39/2.42	o -65
2.39/2.42	c Elapsed CPU time: 2.32665 s	Remaining CPU time: 177.673 s
2.39/2.42	c ===============================================================================
2.39/2.42	c |      8075 |    1994    30273    96816 |    10091     8075    107 |  1.531 % |
2.39/2.45	c |      8177 |    1994    30273    96816 |    11100     8177    107 |  1.531 % |
2.49/2.51	c |      8330 |    1994    30273    96816 |    12210     8330    107 |  1.531 % |
2.49/2.59	c |      8557 |    1994    30273    96816 |    13431     8557    107 |  1.531 % |
2.69/2.73	c |      8897 |    1994    30273    96816 |    14774     8897    107 |  1.531 % |
2.89/2.94	c |      9405 |    1994    30273    96816 |    16251     9405    107 |  1.531 % |
3.20/3.21	c |     10166 |    1994    30273    96816 |    17876    10166    107 |  1.531 % |
3.39/3.40	c ===============================================================================
3.39/3.40	c New solution: -66
3.39/3.40	o -66
3.39/3.40	c Elapsed CPU time: 3.2945 s	Remaining CPU time: 176.706 s
3.39/3.40	c ===============================================================================
3.39/3.40	c |     10593 |    1994    30274    96951 |    10091    10593    107 |  1.531 % |
3.39/3.47	c |     10693 |    1994    30274    96951 |    11100     5397    101 |  1.531 % |
3.49/3.52	c |     10844 |    1994    30274    96951 |    12210     5548    101 |  1.531 % |
3.49/3.58	c |     11069 |    1994    30274    96951 |    13431     5773    102 |  1.531 % |
3.59/3.68	c |     11406 |    1994    30274    96951 |    14774     6110    102 |  1.531 % |
3.79/3.80	c |     11913 |    1994    30274    96951 |    16252     6617    102 |  1.531 % |
3.89/3.98	c |     12672 |    1994    30274    96951 |    17877     7376    102 |  1.531 % |
3.99/4.01	c ===============================================================================
3.99/4.01	c New solution: -67
3.99/4.01	o -67
3.99/4.01	c Elapsed CPU time: 3.88941 s	Remaining CPU time: 176.111 s
3.99/4.01	c ===============================================================================
3.99/4.01	c |     12761 |    1994    30275    97086 |    10091     7465    102 |  1.531 % |
3.99/4.03	c |     12866 |    1994    30275    97086 |    11100     7570    102 |  1.531 % |
3.99/4.05	c ===============================================================================
3.99/4.05	c New solution: -68
3.99/4.05	o -68
3.99/4.05	c Elapsed CPU time: 3.9304 s	Remaining CPU time: 176.07 s
3.99/4.05	c ===============================================================================
3.99/4.05	c |     12902 |    1994    30276    97221 |    10092     7606    102 |  1.531 % |
3.99/4.07	c ===============================================================================
3.99/4.07	c New solution: -69
3.99/4.07	o -69
3.99/4.07	c Elapsed CPU time: 3.9464 s	Remaining CPU time: 176.054 s
3.99/4.07	c ===============================================================================
3.99/4.07	c |     12938 |    1994    30277    97356 |    10092     7642    102 |  1.531 % |
3.99/4.09	c |     13038 |    1994    30277    97356 |    11101     7742    102 |  1.531 % |
4.09/4.15	c |     13188 |    1994    30277    97356 |    12211     7892    102 |  1.531 % |
4.19/4.22	c |     13415 |    1994    30277    97356 |    13432     8119    102 |  1.531 % |
4.30/4.38	c |     13753 |    1994    30277    97356 |    14776     8457    102 |  1.531 % |
4.59/4.65	c |     14262 |    1994    30277    97356 |    16253     8966    102 |  1.531 % |
5.08/5.13	c |     15021 |    1994    30277    97356 |    17879     9725    102 |  1.531 % |
5.29/5.39	c ===============================================================================
5.29/5.39	c New solution: -70
5.29/5.39	o -70
5.29/5.39	c Elapsed CPU time: 5.2542 s	Remaining CPU time: 174.746 s
5.29/5.39	c ===============================================================================
5.29/5.39	c |     15705 |    1994    30278    97491 |    10092    10409    102 |  1.531 % |
5.39/5.46	c |     15805 |    1994    30278    97491 |    11101     5305     97 |  1.531 % |
5.49/5.52	c |     15958 |    1994    30278    97491 |    12212     5458     97 |  1.531 % |
5.49/5.59	c |     16183 |    1994    30278    97491 |    13433     5683     98 |  1.531 % |
5.68/5.75	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.19/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.85	c |     20641 |    1994    30278    97491 |    21634    10141    100 |  1.531 % |
8.89/8.92	c ===============================================================================
8.89/8.92	c New solution: -71
8.89/8.92	o -71
8.89/8.92	c Elapsed CPU time: 8.75667 s	Remaining CPU time: 171.243 s
8.89/8.92	c ===============================================================================
8.89/8.92	c |     22236 |    1994    30279    97626 |    10093    11736    101 |  1.531 % |
8.99/9.00	c |     22337 |    1994    30279    97626 |    11102     5969     96 |  1.531 % |
8.99/9.05	c |     22488 |    1994    30279    97626 |    12212     6120     96 |  1.531 % |
9.09/9.17	c |     22714 |    1994    30279    97626 |    13433     6346     96 |  1.531 % |
9.29/9.36	c |     23053 |    1994    30279    97626 |    14777     6685     97 |  1.531 % |
9.59/9.69	c |     23559 |    1994    30279    97626 |    16254     7191     97 |  1.531 % |
9.99/10.00	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.28/11.30	c |     27172 |    1994    30279    97626 |    21635    10804     99 |  1.531 % |
12.79/12.83	c |     29738 |    1994    30279    97626 |    23798    13370    100 |  1.531 % |
14.48/14.56	c ===============================================================================
14.48/14.56	c New solution: -74
14.48/14.56	o -74
14.48/14.56	c Elapsed CPU time: 14.3588 s	Remaining CPU time: 165.641 s
14.48/14.56	c ===============================================================================
14.48/14.56	c |     32158 |    1994    30280    97761 |    10093    15790    101 |  1.531 % |
14.68/14.70	c |     32261 |    1994    30280    97761 |    11102     7998     96 |  1.531 % |
14.68/14.76	c |     32411 |    1994    30280    97761 |    12212     8148     96 |  1.531 % |
14.78/14.85	c |     32639 |    1994    30280    97761 |    13434     8376     97 |  1.531 % |
14.98/15.07	c |     32976 |    1994    30280    97761 |    14777     8713     97 |  1.531 % |
15.40/15.43	c |     33485 |    1994    30280    97761 |    16255     9222     97 |  1.531 % |
15.88/15.99	c |     34245 |    1994    30280    97761 |    17880     9982     97 |  1.531 % |
16.59/16.66	c |     35388 |    1994    30280    97761 |    19669    11125     98 |  1.531 % |
17.38/17.41	c |     37096 |    1994    30280    97761 |    21635    12833     99 |  1.531 % |
19.49/19.50	c |     39661 |    1994    30280    97761 |    23799    15398     99 |  1.531 % |
24.38/24.43	c |     43506 |    1994    30280    97761 |    26179    19243    100 |  1.531 % |
26.99/27.06	c ===============================================================================
26.99/27.06	c New solution: -76
26.99/27.06	o -76
26.99/27.06	c Elapsed CPU time: 26.7979 s	Remaining CPU time: 153.202 s
26.99/27.06	c ===============================================================================
26.99/27.06	c |     45198 |    1994    30281    97896 |    10093    20935    100 |  1.531 % |
27.18/27.21	c |     45298 |    1994    30281    97896 |    11103     5334     87 |  1.531 % |
27.18/27.25	c |     45450 |    1994    30281    97896 |    12213     5486     88 |  1.531 % |
27.28/27.33	c |     45677 |    1994    30281    97896 |    13434     5713     88 |  1.531 % |
27.39/27.45	c |     46014 |    1994    30281    97896 |    14778     6050     89 |  1.531 % |
27.68/27.72	c |     46520 |    1994    30281    97896 |    16255     6556     90 |  1.531 % |
28.08/28.14	c |     47279 |    1994    30281    97896 |    17881     7315     91 |  1.531 % |
28.68/28.75	c |     48422 |    1994    30281    97896 |    19669     8458     92 |  1.531 % |
29.39/29.40	c |     50131 |    1994    30281    97896 |    21636    10167     94 |  1.531 % |
31.28/31.35	c |     52695 |    1994    30281    97896 |    23800    12731     95 |  1.531 % |
34.98/35.02	c |     56542 |    1994    30281    97896 |    26180    16578     97 |  1.531 % |
40.59/40.66	c |     62310 |    1994    30281    97896 |    28798    22346     98 |  1.531 % |
54.38/54.41	c |     70963 |    1994    30281    97896 |    31678    14062     95 |  1.531 % |
73.07/73.12	c |     83937 |    1994    30281    97896 |    34846    27036     98 |  1.531 % |
76.88/76.96	c ===============================================================================
76.88/76.96	c New solution: -77
76.88/76.96	o -77
76.88/76.96	c Elapsed CPU time: 76.4814 s	Remaining CPU time: 103.519 s
76.88/76.96	c ===============================================================================
76.88/76.96	c |     89686 |    1994    30282    98031 |    10094    32785     99 |  1.531 % |
77.57/77.66	c |     89786 |    1994    30282    98031 |    11103     6395     90 |  1.531 % |
77.67/77.72	c |     89938 |    1994    30282    98031 |    12213     6547     90 |  1.531 % |
77.77/77.83	c |     90168 |    1994    30282    98031 |    13435     6777     90 |  1.531 % |
77.87/77.98	c |     90509 |    1994    30282    98031 |    14778     7118     91 |  1.531 % |
78.17/78.21	c |     91015 |    1994    30282    98031 |    16256     7624     92 |  1.531 % |
78.57/78.65	c |     91778 |    1994    30282    98031 |    17882     8387     93 |  1.531 % |
79.37/79.43	c |     92919 |    1994    30282    98031 |    19670     9528     94 |  1.531 % |
80.67/80.74	c |     94627 |    1994    30282    98031 |    21637    11236     94 |  1.531 % |
82.77/82.85	c |     97191 |    1994    30282    98031 |    23801    13800     96 |  1.531 % |
87.07/87.13	c |    101036 |    1994    30282    98031 |    26181    17645     96 |  1.531 % |
92.28/92.34	c |    106804 |    1994    30282    98031 |    28799    23413     97 |  1.531 % |
104.48/104.54	c |    115453 |    1994    30282    98031 |    31679    15548     94 |  1.531 % |
114.86/114.97	c ===============================================================================
114.86/114.97	c New solution: -78
114.86/114.97	o -78
114.86/114.97	c Elapsed CPU time: 114.32 s	Remaining CPU time: 65.6804 s
114.86/114.97	c ===============================================================================
114.86/114.97	c |    123487 |    1994    30283    98166 |    10094    23582     96 |  1.531 % |
115.06/115.12	c ===============================================================================
115.06/115.12	c New solution: -79
115.06/115.12	o -79
115.06/115.12	c Elapsed CPU time: 114.473 s	Remaining CPU time: 65.5274 s
115.06/115.12	c ===============================================================================
115.06/115.12	c |    123487 |    1994    30284    98301 |    10094     5896     82 |  1.531 % |
115.06/115.16	c |    123587 |    1994    30284    98301 |    11104     5996     82 |  1.531 % |
115.16/115.25	c |    123738 |    1994    30284    98301 |    12214     6147     83 |  1.531 % |
115.26/115.37	c |    123967 |    1994    30284    98301 |    13436     6376     83 |  1.531 % |
115.47/115.55	c |    124309 |    1994    30284    98301 |    14779     6718     84 |  1.531 % |
115.76/115.85	c |    124815 |    1994    30284    98301 |    16257     7224     85 |  1.531 % |
116.26/116.37	c |    125574 |    1994    30284    98301 |    17883     7983     86 |  1.531 % |
116.76/116.84	c ===============================================================================
116.76/116.84	c Best Solution: 285
116.76/116.84	s OPTIMUM FOUND
116.76/116.84	c Total CPU time: 116.187 s
116.76/116.85	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-2680390-1277460447/watcher-2680390-1277460447 -o /tmp/evaluation-result-2680390-1277460447/solver-2680390-1277460447 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680390-1277460447.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 0.96 3/106 21291
/proc/meminfo: memFree=1853968/2059040 swapFree=4139948/4192956
[pid=21291] ppid=21289 vsize=3808 CPUtime=0
/proc/21291/stat : 21291 (wbo1.4b) R 21289 21291 20778 0 -1 4202496 328 0 0 0 0 0 0 0 20 0 1 0 119701077 3899392 247 1992294400 134512640 135752675 4287743136 18446744073709551615 134609613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21291/statm: 952 248 138 303 0 403 0

[startup+0.0192741 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 21291
/proc/meminfo: memFree=1853968/2059040 swapFree=4139948/4192956
[pid=21291] ppid=21289 vsize=3972 CPUtime=0.01
/proc/21291/stat : 21291 (wbo1.4b) R 21289 21291 20778 0 -1 4202496 386 0 0 0 1 0 0 0 20 0 1 0 119701077 4067328 305 1992294400 134512640 135752675 4287743136 18446744073709551615 134561414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21291/statm: 993 305 155 303 0 444 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3972

[startup+0.101282 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 21291
/proc/meminfo: memFree=1853968/2059040 swapFree=4139948/4192956
[pid=21291] ppid=21289 vsize=4900 CPUtime=0.1
/proc/21291/stat : 21291 (wbo1.4b) R 21289 21291 20778 0 -1 4202496 730 0 0 0 10 0 0 0 20 0 1 0 119701077 5017600 649 1992294400 134512640 135752675 4287743136 18446744073709551615 134565586 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21291/statm: 1225 649 277 303 0 676 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 4900

[startup+0.301301 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 21291
/proc/meminfo: memFree=1853968/2059040 swapFree=4139948/4192956
[pid=21291] ppid=21289 vsize=5188 CPUtime=0.29
/proc/21291/stat : 21291 (wbo1.4b) R 21289 21291 20778 0 -1 4202496 1157 0 0 0 27 2 0 0 20 0 1 0 119701077 5312512 832 1992294400 134512640 135752675 4287743136 18446744073709551615 134599103 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21291/statm: 1297 832 144 303 0 992 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5188

[startup+0.701339 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 21291
/proc/meminfo: memFree=1853968/2059040 swapFree=4139948/4192956
[pid=21291] ppid=21289 vsize=5832 CPUtime=0.69
/proc/21291/stat : 21291 (wbo1.4b) R 21289 21291 20778 0 -1 4202496 1317 0 0 0 63 6 0 0 21 0 1 0 119701077 5971968 992 1992294400 134512640 135752675 4287743136 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21291/statm: 1458 992 145 303 0 1153 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5832

[startup+1.50141 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 21292
/proc/meminfo: memFree=1849496/2059040 swapFree=4139948/4192956
[pid=21291] ppid=21289 vsize=7768 CPUtime=1.49
/proc/21291/stat : 21291 (wbo1.4b) R 21289 21291 20778 0 -1 4202496 1818 0 0 0 141 8 0 0 23 0 1 0 119701077 7954432 1493 1992294400 134512640 135752675 4287743136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21291/statm: 1942 1493 145 303 0 1637 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7768

[startup+3.10157 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 21292
/proc/meminfo: memFree=1847140/2059040 swapFree=4139948/4192956
[pid=21291] ppid=21289 vsize=10344 CPUtime=3.09
/proc/21291/stat : 21291 (wbo1.4b) R 21289 21291 20778 0 -1 4202496 2450 0 0 0 299 10 0 0 25 0 1 0 119701077 10592256 2125 1992294400 134512640 135752675 4287743136 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21291/statm: 2586 2125 145 303 0 2281 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10344

[startup+6.30088 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 21292
/proc/meminfo: memFree=1842304/2059040 swapFree=4139948/4192956
[pid=21291] ppid=21289 vsize=14656 CPUtime=6.29
/proc/21291/stat : 21291 (wbo1.4b) R 21289 21291 20778 0 -1 4202496 3537 0 0 0 615 14 0 0 25 0 1 0 119701077 15007744 3212 1992294400 134512640 135752675 4287743136 18446744073709551615 134518726 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21291/statm: 3664 3212 145 303 0 3359 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14656

[startup+12.7005 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 21292
/proc/meminfo: memFree=1835732/2059040 swapFree=4139948/4192956
[pid=21291] ppid=21289 vsize=20640 CPUtime=12.69
/proc/21291/stat : 21291 (wbo1.4b) R 21289 21291 20778 0 -1 4202496 5033 0 0 0 1250 19 0 0 25 0 1 0 119701077 21135360 4708 1992294400 134512640 135752675 4287743136 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21291/statm: 5160 4708 145 303 0 4855 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20640

[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 21292
/proc/meminfo: memFree=1827424/2059040 swapFree=4139948/4192956
[pid=21291] ppid=21289 vsize=28444 CPUtime=25.48
/proc/21291/stat : 21291 (wbo1.4b) R 21289 21291 20778 0 -1 4202496 6957 0 0 0 2523 25 0 0 25 0 1 0 119701077 29126656 6632 1992294400 134512640 135752675 4287743136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21291/statm: 7111 6632 145 303 0 6806 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28444

[startup+51.1048 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 21294
/proc/meminfo: memFree=1815148/2059040 swapFree=4139948/4192956
[pid=21291] ppid=21289 vsize=40848 CPUtime=51.08
/proc/21291/stat : 21291 (wbo1.4b) R 21289 21291 20778 0 -1 4202496 10040 0 0 0 5073 35 0 0 25 0 1 0 119701077 41828352 9715 1992294400 134512640 135752675 4287743136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21291/statm: 10212 9715 145 303 0 9907 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 40848

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 21294
/proc/meminfo: memFree=1792456/2059040 swapFree=4139948/4192956
[pid=21291] ppid=21289 vsize=63308 CPUtime=102.27
/proc/21291/stat : 21291 (wbo1.4b) R 21289 21291 20778 0 -1 4202496 15644 0 0 0 10171 56 0 0 25 0 1 0 119701077 64827392 15319 1992294400 134512640 135752675 4287743136 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21291/statm: 15827 15319 145 303 0 15522 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 63308

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

[startup+108.701 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 21294
/proc/meminfo: memFree=1789976/2059040 swapFree=4139948/4192956
[pid=21291] ppid=21289 vsize=66256 CPUtime=108.66
/proc/21291/stat : 21291 (wbo1.4b) R 21289 21291 20778 0 -1 4202496 16377 0 0 0 10807 59 0 0 25 0 1 0 119701077 67846144 16052 1992294400 134512640 135752675 4287743136 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21291/statm: 16564 16052 145 303 0 16259 0
Current children cumulated CPU time (s) 108.66
Current children cumulated vsize (KiB) 66256

[startup+111.901 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 21294
/proc/meminfo: memFree=1788612/2059040 swapFree=4139948/4192956
[pid=21291] ppid=21289 vsize=67544 CPUtime=111.86
/proc/21291/stat : 21291 (wbo1.4b) R 21289 21291 20778 0 -1 4202496 16691 0 0 0 11126 60 0 0 25 0 1 0 119701077 69165056 16366 1992294400 134512640 135752675 4287743136 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21291/statm: 16886 16367 145 303 0 16581 0
Current children cumulated CPU time (s) 111.86
Current children cumulated vsize (KiB) 67544

[startup+115.1 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 21294
/proc/meminfo: memFree=1787496/2059040 swapFree=4139948/4192956
[pid=21291] ppid=21289 vsize=68568 CPUtime=115.06
/proc/21291/stat : 21291 (wbo1.4b) R 21289 21291 20778 0 -1 4202496 16944 0 0 0 11444 62 0 0 25 0 1 0 119701077 70213632 16619 1992294400 134512640 135752675 4287743136 18446744073709551615 134603238 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21291/statm: 17142 16619 145 303 0 16837 0
Current children cumulated CPU time (s) 115.06
Current children cumulated vsize (KiB) 68568

[startup+115.9 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 21294
/proc/meminfo: memFree=1787000/2059040 swapFree=4139948/4192956
[pid=21291] ppid=21289 vsize=69212 CPUtime=115.86
/proc/21291/stat : 21291 (wbo1.4b) R 21289 21291 20778 0 -1 4202496 17109 0 0 0 11524 62 0 0 25 0 1 0 119701077 70873088 16784 1992294400 134512640 135752675 4287743136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21291/statm: 17303 16784 145 303 0 16998 0
Current children cumulated CPU time (s) 115.86
Current children cumulated vsize (KiB) 69212

[startup+116.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 21294
/proc/meminfo: memFree=1787000/2059040 swapFree=4139948/4192956
[pid=21291] ppid=21289 vsize=69468 CPUtime=116.26
/proc/21291/stat : 21291 (wbo1.4b) R 21289 21291 20778 0 -1 4202496 17177 0 0 0 11564 62 0 0 25 0 1 0 119701077 71135232 16852 1992294400 134512640 135752675 4287743136 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21291/statm: 17367 16852 145 303 0 17062 0
Current children cumulated CPU time (s) 116.26
Current children cumulated vsize (KiB) 69468

[startup+116.7 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 21294
/proc/meminfo: memFree=1786132/2059040 swapFree=4139948/4192956
[pid=21291] ppid=21289 vsize=69852 CPUtime=116.66
/proc/21291/stat : 21291 (wbo1.4b) R 21289 21291 20778 0 -1 4202496 17258 0 0 0 11604 62 0 0 25 0 1 0 119701077 71528448 16933 1992294400 134512640 135752675 4287743136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21291/statm: 17463 16933 145 303 0 17158 0
Current children cumulated CPU time (s) 116.66
Current children cumulated vsize (KiB) 69852

[startup+116.8 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 21294
/proc/meminfo: memFree=1786132/2059040 swapFree=4139948/4192956
[pid=21291] ppid=21289 vsize=69852 CPUtime=116.76
/proc/21291/stat : 21291 (wbo1.4b) R 21289 21291 20778 0 -1 4202496 17275 0 0 0 11613 63 0 0 25 0 1 0 119701077 71528448 16950 1992294400 134512640 135752675 4287743136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21291/statm: 17463 16950 145 303 0 17158 0
Current children cumulated CPU time (s) 116.76
Current children cumulated vsize (KiB) 69852

Child status: 0
Real time (s): 116.858
CPU time (s): 116.828
CPU user time (s): 116.188
CPU system time (s): 0.639902
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 69852

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

runsolver used 0.199969 second user time and 0.568913 second system time

The end

Launcher Data 

Begin job on node018 at 2010-06-25 12:07:27
IDJOB=2680390
IDBENCH=71836
IDSOLVER=1190
FILE ID=node018/2680390-1277460447
PBS_JOBID= 11188141
Free space on /tmp= 62488 MiB

SOLVER NAME= wbo 1.4b (fixed)
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-2680390-1277460447/watcher-2680390-1277460447 -o /tmp/evaluation-result-2680390-1277460447/solver-2680390-1277460447 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680390-1277460447.opb

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

MD5SUM BENCH= 3178a50232316e72958589cc9e9cd436
RANDOM SEED=786188696

node018.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.248
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.49
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.248
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.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1854372 kB
Buffers:         27716 kB
Cached:          69844 kB
SwapCached:       5476 kB
Active:          62980 kB
Inactive:        48108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1854372 kB
SwapTotal:     4192956 kB
SwapFree:      4139948 kB
Dirty:            3644 kB
Writeback:           0 kB
AnonPages:       12124 kB
Mapped:          11860 kB
Slab:            71544 kB
PageTables:       4216 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182848 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= 62488 MiB
End job on node018 at 2010-06-25 12:09:24