Trace number 2680394

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-70 101.954 101.989

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-5000opt.opb
MD5SUMb413d11d214e81d6bb556d5c8775428f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-70
Best CPU time to get the best result obtained on this benchmark6.31704
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 constraints30912
Number of constraints which are clauses30912
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 317
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 317
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-2680394-1277460492.opb.
0.00/0.00	c Instance file HOME/instance-2680394-1277460492.opb
0.00/0.00	c File size is 1025005 bytes.
0.09/0.16	c Highest Coefficient sum: 4
0.09/0.16	c ============================[ Problem Statistics ]=============================
0.09/0.16	c |                                                                             |
0.09/0.16	c |  Parsing time:          0.16         s                                      |
0.09/0.16	c |  Number Variables:      2025                                                |
0.09/0.16	c |  Number Clauses:        30912                                               |
0.09/0.16	c |  Number Cardinality:    0                                                   |
0.09/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 |    1999    30938    91566 |    10304        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.214967 s	Remaining CPU time: 179.785 s
0.19/0.22	c ===============================================================================
0.19/0.22	c |         0 |    1999    30939    91701 |    10313        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.218966 s	Remaining CPU time: 179.781 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |         0 |    1999    30940    91836 |    10313        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.224965 s	Remaining CPU time: 179.775 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |         0 |    1999    30941    91971 |    10313        0    nan |  0.000 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: -5
0.19/0.24	o -5
0.19/0.24	c Elapsed CPU time: 0.228965 s	Remaining CPU time: 179.771 s
0.19/0.24	c ===============================================================================
0.19/0.24	c |         2 |    1999    30942    92106 |    10314        2    134 |  0.000 % |
0.19/0.25	c ===============================================================================
0.19/0.25	c New solution: -6
0.19/0.25	o -6
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 |         2 |    1999    30943    92241 |    10314        2    134 |  0.000 % |
0.19/0.25	c ===============================================================================
0.19/0.25	c New solution: -7
0.19/0.25	o -7
0.19/0.25	c Elapsed CPU time: 0.239963 s	Remaining CPU time: 179.76 s
0.19/0.25	c ===============================================================================
0.19/0.25	c |         2 |    1999    30944    92376 |    10314        2    134 |  0.000 % |
0.19/0.26	c ===============================================================================
0.19/0.26	c New solution: -8
0.19/0.26	o -8
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 |         4 |    1999    30945    92511 |    10315        4    133 |  0.000 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: -9
0.19/0.27	o -9
0.19/0.27	c Elapsed CPU time: 0.249962 s	Remaining CPU time: 179.75 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |         6 |    1999    30946    92646 |    10315        6    132 |  0.000 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: -10
0.19/0.27	o -10
0.19/0.27	c Elapsed CPU time: 0.253961 s	Remaining CPU time: 179.746 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |         6 |    1999    30947    92781 |    10315        6    132 |  0.000 % |
0.19/0.28	c ===============================================================================
0.19/0.28	c New solution: -11
0.19/0.28	o -11
0.19/0.28	c Elapsed CPU time: 0.25996 s	Remaining CPU time: 179.74 s
0.19/0.28	c ===============================================================================
0.19/0.28	c |         8 |    1999    30948    92916 |    10316        8    132 |  0.000 % |
0.19/0.29	c ===============================================================================
0.19/0.29	c New solution: -12
0.19/0.29	o -12
0.19/0.29	c Elapsed CPU time: 0.266959 s	Remaining CPU time: 179.733 s
0.19/0.29	c ===============================================================================
0.19/0.29	c |         9 |    1999    30949    93051 |    10316        9    131 |  0.000 % |
0.19/0.29	c ===============================================================================
0.19/0.29	c New solution: -13
0.19/0.29	o -13
0.19/0.29	c Elapsed CPU time: 0.270958 s	Remaining CPU time: 179.729 s
0.19/0.29	c ===============================================================================
0.19/0.29	c |         9 |    1999    30950    93186 |    10316        9    131 |  0.000 % |
0.29/0.30	c ===============================================================================
0.29/0.30	c New solution: -14
0.29/0.30	o -14
0.29/0.30	c Elapsed CPU time: 0.275958 s	Remaining CPU time: 179.724 s
0.29/0.30	c ===============================================================================
0.29/0.30	c |        13 |    1999    30951    93321 |    10317       13    130 |  0.000 % |
0.29/0.31	c ===============================================================================
0.29/0.31	c New solution: -15
0.29/0.31	o -15
0.29/0.31	c Elapsed CPU time: 0.281957 s	Remaining CPU time: 179.718 s
0.29/0.31	c ===============================================================================
0.29/0.31	c |        26 |    1999    30952    93456 |    10317       26    118 |  0.000 % |
0.29/0.31	c ===============================================================================
0.29/0.31	c New solution: -16
0.29/0.31	o -16
0.29/0.31	c Elapsed CPU time: 0.286956 s	Remaining CPU time: 179.713 s
0.29/0.31	c ===============================================================================
0.29/0.31	c |        26 |    1999    30953    93591 |    10317       26    118 |  0.000 % |
0.29/0.32	c ===============================================================================
0.29/0.32	c New solution: -17
0.29/0.32	o -17
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 |        39 |    1999    30954    93726 |    10318       39    114 |  0.000 % |
0.29/0.33	c ===============================================================================
0.29/0.33	c New solution: -18
0.29/0.33	o -18
0.29/0.33	c Elapsed CPU time: 0.300954 s	Remaining CPU time: 179.699 s
0.29/0.33	c ===============================================================================
0.29/0.33	c |        65 |    1999    30955    93861 |    10318       65    109 |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: -19
0.29/0.34	o -19
0.29/0.34	c Elapsed CPU time: 0.306953 s	Remaining CPU time: 179.693 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |        71 |    1999    30956    93996 |    10318       71    109 |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: -20
0.29/0.34	o -20
0.29/0.34	c Elapsed CPU time: 0.313952 s	Remaining CPU time: 179.686 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |        81 |    1999    30957    94131 |    10319       81    109 |  0.000 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c New solution: -21
0.29/0.35	o -21
0.29/0.35	c Elapsed CPU time: 0.317951 s	Remaining CPU time: 179.682 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |        81 |    1999    30958    94266 |    10319       81    109 |  0.000 % |
0.29/0.36	c ===============================================================================
0.29/0.36	c New solution: -22
0.29/0.36	o -22
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 |       107 |    1999    30959    94401 |    10319      107    110 |  0.000 % |
0.29/0.37	c ===============================================================================
0.29/0.37	c New solution: -23
0.29/0.37	o -23
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 |       122 |    1999    30960    94536 |    10320      122    109 |  0.000 % |
0.29/0.38	c |       223 |    1999    30960    94536 |    11352      223    111 |  1.284 % |
0.29/0.39	c ===============================================================================
0.29/0.39	c New solution: -24
0.29/0.39	o -24
0.29/0.39	c Elapsed CPU time: 0.352946 s	Remaining CPU time: 179.647 s
0.29/0.39	c ===============================================================================
0.29/0.39	c |       263 |    1999    30961    94671 |    10320      263    111 |  1.284 % |
0.29/0.40	c ===============================================================================
0.29/0.40	c New solution: -25
0.29/0.40	o -25
0.29/0.40	c Elapsed CPU time: 0.360945 s	Remaining CPU time: 179.639 s
0.29/0.40	c ===============================================================================
0.29/0.40	c |       286 |    1999    30962    94806 |    10320      286    112 |  1.284 % |
0.39/0.42	c ===============================================================================
0.39/0.42	c New solution: -26
0.39/0.42	o -26
0.39/0.42	c Elapsed CPU time: 0.379942 s	Remaining CPU time: 179.62 s
0.39/0.42	c ===============================================================================
0.39/0.42	c |       380 |    1999    30963    94941 |    10321      380    111 |  1.284 % |
0.39/0.42	c ===============================================================================
0.39/0.42	c New solution: -27
0.39/0.42	o -27
0.39/0.42	c Elapsed CPU time: 0.382941 s	Remaining CPU time: 179.617 s
0.39/0.42	c ===============================================================================
0.39/0.42	c |       381 |    1999    30964    95076 |    10321      381    111 |  1.284 % |
0.39/0.43	c ===============================================================================
0.39/0.43	c New solution: -28
0.39/0.43	o -28
0.39/0.43	c Elapsed CPU time: 0.38894 s	Remaining CPU time: 179.611 s
0.39/0.43	c ===============================================================================
0.39/0.43	c |       381 |    1999    30965    95211 |    10321      381    111 |  1.284 % |
0.39/0.44	c ===============================================================================
0.39/0.44	c New solution: -29
0.39/0.44	o -29
0.39/0.44	c Elapsed CPU time: 0.399939 s	Remaining CPU time: 179.6 s
0.39/0.44	c ===============================================================================
0.39/0.44	c |       413 |    1999    30966    95346 |    10322      413    111 |  1.284 % |
0.39/0.45	c ===============================================================================
0.39/0.45	c New solution: -30
0.39/0.45	o -30
0.39/0.45	c Elapsed CPU time: 0.412937 s	Remaining CPU time: 179.587 s
0.39/0.45	c ===============================================================================
0.39/0.45	c |       483 |    1999    30967    95481 |    10322      483    110 |  1.284 % |
0.39/0.46	c ===============================================================================
0.39/0.46	c New solution: -31
0.39/0.46	o -31
0.39/0.46	c Elapsed CPU time: 0.421935 s	Remaining CPU time: 179.578 s
0.39/0.46	c ===============================================================================
0.39/0.46	c |       507 |    1999    30968    95616 |    10322      507    110 |  1.284 % |
0.39/0.47	c ===============================================================================
0.39/0.47	c New solution: -32
0.39/0.47	o -32
0.39/0.47	c Elapsed CPU time: 0.427934 s	Remaining CPU time: 179.572 s
0.39/0.47	c ===============================================================================
0.39/0.47	c |       510 |    1999    30969    95751 |    10323      510    110 |  1.284 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c New solution: -33
0.39/0.48	o -33
0.39/0.48	c Elapsed CPU time: 0.433934 s	Remaining CPU time: 179.566 s
0.39/0.48	c ===============================================================================
0.39/0.48	c |       510 |    1999    30970    95886 |    10323      510    110 |  1.284 % |
0.39/0.49	c |       611 |    1999    30970    95886 |    11355      611    110 |  1.284 % |
0.49/0.51	c ===============================================================================
0.49/0.51	c New solution: -34
0.49/0.51	o -34
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 |       679 |    1999    30971    96021 |    10323      679    110 |  1.284 % |
0.49/0.52	c ===============================================================================
0.49/0.52	c New solution: -35
0.49/0.52	o -35
0.49/0.52	c Elapsed CPU time: 0.477927 s	Remaining CPU time: 179.522 s
0.49/0.52	c ===============================================================================
0.49/0.52	c |       764 |    1999    30972    96156 |    10324      764    109 |  1.284 % |
0.49/0.53	c ===============================================================================
0.49/0.53	c New solution: -36
0.49/0.53	o -36
0.49/0.53	c Elapsed CPU time: 0.485926 s	Remaining CPU time: 179.514 s
0.49/0.53	c ===============================================================================
0.49/0.53	c |       778 |    1999    30973    96291 |    10324      778    109 |  1.284 % |
0.49/0.54	c ===============================================================================
0.49/0.54	c New solution: -37
0.49/0.54	o -37
0.49/0.54	c Elapsed CPU time: 0.490925 s	Remaining CPU time: 179.509 s
0.49/0.54	c ===============================================================================
0.49/0.54	c |       778 |    1999    30974    96426 |    10324      778    109 |  1.284 % |
0.49/0.55	c |       879 |    1999    30974    96426 |    11357      879    108 |  1.284 % |
0.49/0.57	c |      1031 |    1999    30974    96426 |    12492     1031    108 |  1.284 % |
0.59/0.61	c |      1258 |    1999    30974    96426 |    13742     1258    107 |  1.284 % |
0.59/0.68	c |      1595 |    1999    30974    96426 |    15116     1595    108 |  1.284 % |
0.69/0.77	c |      2101 |    1999    30974    96426 |    16627     2101    108 |  1.284 % |
0.79/0.82	c ===============================================================================
0.79/0.82	c New solution: -38
0.79/0.82	o -38
0.79/0.82	c Elapsed CPU time: 0.768883 s	Remaining CPU time: 179.231 s
0.79/0.82	c ===============================================================================
0.79/0.82	c |      2291 |    1999    30975    96561 |    10325     2291    108 |  1.284 % |
0.79/0.85	c |      2394 |    1999    30975    96561 |    11357     2394    108 |  1.284 % |
0.79/0.88	c ===============================================================================
0.79/0.88	c New solution: -39
0.79/0.88	o -39
0.79/0.88	c Elapsed CPU time: 0.829873 s	Remaining CPU time: 179.17 s
0.79/0.88	c ===============================================================================
0.79/0.88	c |      2493 |    1999    30976    96696 |    10325     2493    108 |  1.284 % |
0.89/0.92	c |      2595 |    1999    30976    96696 |    11357     2595    108 |  1.284 % |
0.89/0.97	c |      2745 |    1999    30976    96696 |    12493     2745    108 |  1.284 % |
0.99/1.03	c |      2972 |    1999    30976    96696 |    13743     2972    108 |  1.284 % |
0.99/1.05	c ===============================================================================
0.99/1.05	c New solution: -40
0.99/1.05	o -40
0.99/1.05	c Elapsed CPU time: 0.989849 s	Remaining CPU time: 179.01 s
0.99/1.05	c ===============================================================================
0.99/1.05	c |      3032 |    1999    30977    96831 |    10325     3032    108 |  1.284 % |
0.99/1.08	c |      3133 |    1999    30977    96831 |    11358     3133    109 |  1.284 % |
1.10/1.12	c |      3284 |    1999    30977    96831 |    12494     3284    109 |  1.284 % |
1.10/1.19	c |      3510 |    1999    30977    96831 |    13743     3510    109 |  1.284 % |
1.29/1.33	c |      3848 |    1999    30977    96831 |    15117     3848    108 |  1.284 % |
1.49/1.52	c |      4355 |    1999    30977    96831 |    16629     4355    109 |  1.284 % |
1.59/1.62	c ===============================================================================
1.59/1.62	c New solution: -41
1.59/1.62	o -41
1.59/1.62	c Elapsed CPU time: 1.56176 s	Remaining CPU time: 178.438 s
1.59/1.62	c ===============================================================================
1.59/1.62	c |      4687 |    1999    30978    96966 |    10326     4687    109 |  1.284 % |
1.59/1.68	c |      4789 |    1999    30978    96966 |    11358     4789    109 |  1.284 % |
1.69/1.75	c |      4939 |    1999    30978    96966 |    12494     4939    109 |  1.284 % |
1.79/1.83	c |      5165 |    1999    30978    96966 |    13743     5165    109 |  1.284 % |
1.89/1.94	c |      5503 |    1999    30978    96966 |    15118     5503    108 |  1.284 % |
2.10/2.19	c |      6009 |    1999    30978    96966 |    16630     6009    109 |  1.284 % |
2.49/2.57	c |      6769 |    1999    30978    96966 |    18293     6769    109 |  1.284 % |
2.59/2.67	c ===============================================================================
2.59/2.67	c New solution: -42
2.59/2.67	o -42
2.59/2.67	c Elapsed CPU time: 2.59161 s	Remaining CPU time: 177.408 s
2.59/2.67	c ===============================================================================
2.59/2.67	c |      7206 |    1999    30979    97101 |    10326     7206    109 |  1.284 % |
2.59/2.68	c ===============================================================================
2.59/2.68	c New solution: -43
2.59/2.68	o -43
2.59/2.68	c Elapsed CPU time: 2.5996 s	Remaining CPU time: 177.4 s
2.59/2.68	c ===============================================================================
2.59/2.68	c |      7206 |    1999    30980    97236 |    10326     7206    109 |  1.284 % |
2.69/2.70	c ===============================================================================
2.69/2.70	c New solution: -44
2.69/2.70	o -44
2.69/2.70	c Elapsed CPU time: 2.6186 s	Remaining CPU time: 177.381 s
2.69/2.70	c ===============================================================================
2.69/2.70	c |      7249 |    1999    30981    97371 |    10327     7249    109 |  1.284 % |
2.69/2.72	c |      7349 |    1999    30981    97371 |    11359     7349    109 |  1.284 % |
2.69/2.76	c |      7500 |    1999    30981    97371 |    12495     7500    109 |  1.284 % |
2.79/2.87	c |      7725 |    1999    30981    97371 |    13745     7725    109 |  1.284 % |
2.99/3.03	c ===============================================================================
2.99/3.03	c New solution: -45
2.99/3.03	o -45
2.99/3.03	c Elapsed CPU time: 2.95155 s	Remaining CPU time: 177.048 s
2.99/3.03	c ===============================================================================
2.99/3.03	c |      8002 |    1999    30982    97506 |    10327     8002    109 |  1.284 % |
2.99/3.04	c ===============================================================================
2.99/3.04	c New solution: -46
2.99/3.04	o -46
2.99/3.04	c Elapsed CPU time: 2.96155 s	Remaining CPU time: 177.038 s
2.99/3.04	c ===============================================================================
2.99/3.04	c |      8009 |    1999    30983    97641 |    10327     8009    109 |  1.284 % |
2.99/3.05	c ===============================================================================
2.99/3.05	c New solution: -48
2.99/3.05	o -48
2.99/3.05	c Elapsed CPU time: 2.96955 s	Remaining CPU time: 177.03 s
2.99/3.05	c ===============================================================================
2.99/3.05	c |      8009 |    1999    30984    97776 |    10328     8009    109 |  1.284 % |
2.99/3.09	c |      8109 |    1999    30984    97776 |    11360     8109    109 |  1.284 % |
3.09/3.16	c |      8259 |    1999    30984    97776 |    12496     8259    109 |  1.284 % |
3.19/3.27	c |      8485 |    1999    30984    97776 |    13746     8485    109 |  1.284 % |
3.39/3.44	c |      8825 |    1999    30984    97776 |    15121     8825    109 |  1.284 % |
3.69/3.73	c |      9334 |    1999    30984    97776 |    16633     9334    109 |  1.284 % |
4.19/4.23	c |     10094 |    1999    30984    97776 |    18296    10094    109 |  1.284 % |
4.79/4.88	c ===============================================================================
4.79/4.88	c New solution: -49
4.79/4.88	o -49
4.79/4.88	c Elapsed CPU time: 4.79327 s	Remaining CPU time: 175.207 s
4.79/4.88	c ===============================================================================
4.79/4.88	c |     10976 |    1999    30985    97911 |    10328    10976    108 |  1.284 % |
4.89/4.95	c ===============================================================================
4.89/4.95	c New solution: -50
4.89/4.95	o -50
4.89/4.95	c Elapsed CPU time: 4.86026 s	Remaining CPU time: 175.14 s
4.89/4.95	c ===============================================================================
4.89/4.95	c |     10976 |    1999    30986    98046 |    10328     5488    103 |  1.284 % |
4.89/5.00	c |     11080 |    1999    30986    98046 |    11361     5592    103 |  1.284 % |
4.99/5.06	c |     11231 |    1999    30986    98046 |    12497     5743    103 |  1.284 % |
5.09/5.17	c |     11461 |    1999    30986    98046 |    13747     5973    103 |  1.284 % |
5.29/5.36	c |     11798 |    1999    30986    98046 |    15122     6310    103 |  1.284 % |
5.59/5.68	c |     12309 |    1999    30986    98046 |    16634     6821    103 |  1.284 % |
6.09/6.12	c |     13068 |    1999    30986    98046 |    18297     7580    103 |  1.284 % |
6.79/6.85	c |     14207 |    1999    30986    98046 |    20127     8719    103 |  1.284 % |
7.69/7.76	c |     15915 |    1999    30986    98046 |    22140    10427    103 |  1.284 % |
8.69/8.80	c |     18477 |    1999    30986    98046 |    24354    12989    104 |  1.284 % |
10.58/10.62	c ===============================================================================
10.58/10.62	c New solution: -51
10.58/10.62	o -51
10.58/10.62	c Elapsed CPU time: 10.4954 s	Remaining CPU time: 169.505 s
10.58/10.62	c ===============================================================================
10.58/10.62	c |     20436 |    1999    30987    98181 |    10329    14948    104 |  1.284 % |
10.69/10.73	c ===============================================================================
10.69/10.73	c New solution: -52
10.69/10.73	o -52
10.69/10.73	c Elapsed CPU time: 10.5954 s	Remaining CPU time: 169.405 s
10.69/10.73	c ===============================================================================
10.69/10.73	c |     20436 |    1999    30988    98316 |    10329     7474     99 |  1.284 % |
10.69/10.74	c ===============================================================================
10.69/10.74	c New solution: -53
10.69/10.74	o -53
10.69/10.74	c Elapsed CPU time: 10.6044 s	Remaining CPU time: 169.396 s
10.69/10.74	c ===============================================================================
10.69/10.74	c |     20436 |    1999    30989    98451 |    10329     7474     99 |  1.284 % |
10.69/10.77	c |     20536 |    1999    30989    98451 |    11362     7574     99 |  1.284 % |
10.79/10.81	c ===============================================================================
10.79/10.81	c New solution: -54
10.79/10.81	o -54
10.79/10.81	c Elapsed CPU time: 10.6804 s	Remaining CPU time: 169.32 s
10.79/10.81	c ===============================================================================
10.79/10.81	c |     20653 |    1999    30990    98586 |    10330     7691     99 |  1.284 % |
10.79/10.85	c |     20753 |    1999    30990    98586 |    11363     7791     99 |  1.284 % |
10.89/10.91	c |     20903 |    1999    30990    98586 |    12499     7941     99 |  1.284 % |
10.89/10.99	c |     21129 |    1999    30990    98586 |    13749     8167    100 |  1.284 % |
11.09/11.17	c |     21468 |    1999    30990    98586 |    15124     8506    100 |  1.284 % |
11.39/11.40	c |     21978 |    1999    30990    98586 |    16636     9016    100 |  1.284 % |
11.39/11.43	c ===============================================================================
11.39/11.43	c New solution: -55
11.39/11.43	o -55
11.39/11.43	c Elapsed CPU time: 11.2853 s	Remaining CPU time: 168.715 s
11.39/11.43	c ===============================================================================
11.39/11.43	c |     22023 |    1999    30991    98721 |    10330     9061    100 |  1.284 % |
11.39/11.48	c ===============================================================================
11.39/11.48	c New solution: -56
11.39/11.48	o -56
11.39/11.48	c Elapsed CPU time: 11.3363 s	Remaining CPU time: 168.664 s
11.39/11.48	c ===============================================================================
11.39/11.48	c |     22114 |    1999    30992    98856 |    10330     9152    100 |  1.284 % |
11.39/11.49	c ===============================================================================
11.39/11.49	c New solution: -58
11.39/11.49	o -58
11.39/11.49	c Elapsed CPU time: 11.3483 s	Remaining CPU time: 168.652 s
11.39/11.49	c ===============================================================================
11.39/11.49	c |     22128 |    1999    30993    98991 |    10331     9166    100 |  1.284 % |
11.49/11.50	c ===============================================================================
11.49/11.50	c New solution: -59
11.49/11.50	o -59
11.49/11.50	c Elapsed CPU time: 11.3553 s	Remaining CPU time: 168.645 s
11.49/11.50	c ===============================================================================
11.49/11.50	c |     22128 |    1999    30994    99126 |    10331     9166    100 |  1.284 % |
11.49/11.53	c ===============================================================================
11.49/11.53	c New solution: -61
11.49/11.53	o -61
11.49/11.53	c Elapsed CPU time: 11.3793 s	Remaining CPU time: 168.621 s
11.49/11.53	c ===============================================================================
11.49/11.53	c |     22160 |    1999    30995    99261 |    10331     9198    100 |  1.284 % |
11.58/11.60	c |     22262 |    1999    30995    99261 |    11364     9300    100 |  1.284 % |
11.68/11.76	c |     22415 |    1999    30995    99261 |    12501     9453    100 |  1.284 % |
11.88/11.97	c |     22645 |    1999    30995    99261 |    13751     9683    100 |  1.284 % |
12.09/12.18	c |     22983 |    1999    30995    99261 |    15126    10021    100 |  1.284 % |
12.39/12.48	c |     23490 |    1999    30995    99261 |    16639    10528    100 |  1.284 % |
12.79/12.90	c |     24249 |    1999    30995    99261 |    18303    11287    100 |  1.284 % |
13.68/13.72	c |     25388 |    1999    30995    99261 |    20133    12426    100 |  1.284 % |
15.09/15.11	c |     27096 |    1999    30995    99261 |    22146    14134    100 |  1.284 % |
17.89/17.91	c |     29661 |    1999    30995    99261 |    24361    16699    100 |  1.284 % |
22.08/22.11	c |     33506 |    1999    30995    99261 |    26797    20544    101 |  1.284 % |
30.48/30.51	c |     39275 |    1999    30995    99261 |    29477    26313    100 |  1.284 % |
37.87/37.95	c ===============================================================================
37.87/37.95	c New solution: -63
37.87/37.95	o -63
37.87/37.95	c Elapsed CPU time: 37.6763 s	Remaining CPU time: 142.324 s
37.87/37.95	c ===============================================================================
37.87/37.95	c |     47602 |    1999    30996    99396 |    10332    16786     98 |  1.284 % |
38.08/38.14	c |     47703 |    1999    30996    99396 |    11365     8494     96 |  1.284 % |
38.18/38.20	c |     47853 |    1999    30996    99396 |    12501     8644     96 |  1.284 % |
38.18/38.27	c |     48078 |    1999    30996    99396 |    13751     8869     96 |  1.284 % |
38.38/38.42	c |     48418 |    1999    30996    99396 |    15127     9209     96 |  1.284 % |
38.57/38.68	c |     48925 |    1999    30996    99396 |    16639     9716     97 |  1.284 % |
39.08/39.10	c |     49685 |    1999    30996    99396 |    18303    10476     97 |  1.284 % |
39.67/39.70	c |     50824 |    1999    30996    99396 |    20134    11615     98 |  1.284 % |
40.48/40.56	c |     52535 |    1999    30996    99396 |    22147    13326     98 |  1.284 % |
41.97/42.06	c ===============================================================================
41.97/42.06	c New solution: -64
41.97/42.06	o -64
41.97/42.06	c Elapsed CPU time: 41.7567 s	Remaining CPU time: 138.243 s
41.97/42.06	c ===============================================================================
41.97/42.06	c |     54421 |    1999    30997    99531 |    10332    15212     99 |  1.284 % |
42.17/42.22	c |     54521 |    1999    30997    99531 |    11365     7706     93 |  1.284 % |
42.27/42.35	c |     54677 |    1999    30997    99531 |    12502     7862     93 |  1.284 % |
42.37/42.49	c |     54902 |    1999    30997    99531 |    13752     8087     94 |  1.284 % |
42.67/42.76	c |     55239 |    1999    30997    99531 |    15127     8424     94 |  1.284 % |
43.08/43.14	c |     55745 |    1999    30997    99531 |    16640     8930     94 |  1.284 % |
43.68/43.72	c |     56506 |    1999    30997    99531 |    18304     9691     94 |  1.284 % |
44.47/44.57	c |     57647 |    1999    30997    99531 |    20134    10832     95 |  1.284 % |
45.48/45.57	c |     59356 |    1999    30997    99531 |    22148    12541     96 |  1.284 % |
47.57/47.68	c |     61918 |    1999    30997    99531 |    24363    15103     97 |  1.284 % |
49.57/49.62	c ===============================================================================
49.57/49.62	c New solution: -66
49.57/49.62	o -66
49.57/49.62	c Elapsed CPU time: 49.2825 s	Remaining CPU time: 130.717 s
49.57/49.62	c ===============================================================================
49.57/49.62	c |     64099 |    1999    30998    99666 |    10332    17284     98 |  1.284 % |
49.67/49.70	c ===============================================================================
49.67/49.70	c New solution: -67
49.67/49.70	o -67
49.67/49.70	c Elapsed CPU time: 49.3625 s	Remaining CPU time: 130.638 s
49.67/49.70	c ===============================================================================
49.67/49.70	c |     64099 |    1999    30999    99801 |    10333     8642     92 |  1.284 % |
49.67/49.74	c |     64203 |    1999    30999    99801 |    11366     8746     92 |  1.284 % |
49.77/49.82	c |     64356 |    1999    30999    99801 |    12502     8899     93 |  1.284 % |
49.87/49.96	c |     64585 |    1999    30999    99801 |    13753     9128     93 |  1.284 % |
50.07/50.18	c |     64922 |    1999    30999    99801 |    15128     9465     93 |  1.284 % |
50.48/50.56	c |     65435 |    1999    30999    99801 |    16641     9978     93 |  1.284 % |
50.58/50.62	c ===============================================================================
50.58/50.62	c New solution: -69
50.58/50.62	o -69
50.58/50.62	c Elapsed CPU time: 50.2734 s	Remaining CPU time: 129.727 s
50.58/50.62	c ===============================================================================
50.58/50.62	c |     65524 |    1999    31000    99936 |    10333    10067     93 |  1.284 % |
50.58/50.67	c |     65624 |    1999    31000    99936 |    11366    10167     93 |  1.284 % |
50.77/50.81	c |     65776 |    1999    31000    99936 |    12503    10319     93 |  1.284 % |
50.87/50.97	c |     66001 |    1999    31000    99936 |    13753    10544     93 |  1.284 % |
51.17/51.23	c |     66340 |    1999    31000    99936 |    15129    10883     94 |  1.284 % |
51.68/51.71	c |     66846 |    1999    31000    99936 |    16641    11389     94 |  1.284 % |
52.27/52.35	c |     67605 |    1999    31000    99936 |    18306    12148     94 |  1.284 % |
53.27/53.30	c |     68745 |    1999    31000    99936 |    20136    13288     94 |  1.284 % |
54.37/54.47	c |     70455 |    1999    31000    99936 |    22150    14998     95 |  1.284 % |
57.57/57.69	c |     73018 |    1999    31000    99936 |    24365    17561     96 |  1.284 % |
63.16/63.24	c |     76862 |    1999    31000    99936 |    26802    21405     96 |  1.284 % |
70.37/70.45	c ===============================================================================
70.37/70.45	c New solution: -70
70.37/70.45	o -70
70.37/70.45	c Elapsed CPU time: 70.0264 s	Remaining CPU time: 109.974 s
70.37/70.45	c ===============================================================================
70.37/70.45	c |     80922 |    1999    31001   100071 |    10333    25465     96 |  1.284 % |
70.56/70.66	c |     81022 |    1999    31001   100071 |    11367     6050     85 |  1.284 % |
70.66/70.70	c |     81173 |    1999    31001   100071 |    12503     6201     85 |  1.284 % |
70.66/70.77	c |     81398 |    1999    31001   100071 |    13754     6426     86 |  1.284 % |
70.76/70.88	c |     81738 |    1999    31001   100071 |    15129     6766     86 |  1.284 % |
71.06/71.12	c |     82245 |    1999    31001   100071 |    16642     7273     87 |  1.284 % |
71.57/71.64	c |     83004 |    1999    31001   100071 |    18306     8032     88 |  1.284 % |
72.47/72.57	c |     84143 |    1999    31001   100071 |    20137     9171     89 |  1.284 % |
73.86/73.95	c |     85853 |    1999    31001   100071 |    22151    10881     90 |  1.284 % |
76.17/76.20	c |     88415 |    1999    31001   100071 |    24366    13443     91 |  1.284 % |
80.36/80.49	c |     92260 |    1999    31001   100071 |    26802    17288     93 |  1.284 % |
86.26/86.31	c |     98026 |    1999    31001   100071 |    29483    23054     94 |  1.284 % |
101.45/101.56	c |    106676 |    1993    31001   100071 |    32431    20950     92 |  1.581 % |
101.86/101.98	c ===============================================================================
101.86/101.98	c Best Solution: 247
101.86/101.98	s OPTIMUM FOUND
101.86/101.98	c Total CPU time: 101.416 s
101.86/101.98	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	-70

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680394-1277460492/watcher-2680394-1277460492 -o /tmp/evaluation-result-2680394-1277460492/solver-2680394-1277460492 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680394-1277460492.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.01 0.98 3/106 28145
/proc/meminfo: memFree=1850788/2059040 swapFree=4140192/4192956
[pid=28145] ppid=28143 vsize=3844 CPUtime=0
/proc/28145/stat : 28145 (wbo1.4b) R 28143 28145 27605 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 87342074 3936256 249 1992294400 134512640 135752675 4291214384 18446744073709551615 134609568 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28145/statm: 961 250 138 303 0 405 0

[startup+0.079788 s]
/proc/loadavg: 1.00 1.01 0.98 3/106 28145
/proc/meminfo: memFree=1850788/2059040 swapFree=4140192/4192956
[pid=28145] ppid=28143 vsize=4584 CPUtime=0.07
/proc/28145/stat : 28145 (wbo1.4b) R 28143 28145 27605 0 -1 4202496 640 0 0 0 7 0 0 0 21 0 1 0 87342074 4694016 558 1992294400 134512640 135752675 4291214384 18446744073709551615 135203202 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28145/statm: 1146 558 248 303 0 590 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4584

[startup+0.10179 s]
/proc/loadavg: 1.00 1.01 0.98 3/106 28145
/proc/meminfo: memFree=1850788/2059040 swapFree=4140192/4192956
[pid=28145] ppid=28143 vsize=4936 CPUtime=0.09
/proc/28145/stat : 28145 (wbo1.4b) R 28143 28145 27605 0 -1 4202496 739 0 0 0 9 0 0 0 21 0 1 0 87342074 5054464 657 1992294400 134512640 135752675 4291214384 18446744073709551615 135204681 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28145/statm: 1234 657 282 303 0 678 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4936

[startup+0.301812 s]
/proc/loadavg: 1.00 1.01 0.98 3/106 28145
/proc/meminfo: memFree=1850788/2059040 swapFree=4140192/4192956
[pid=28145] ppid=28143 vsize=5220 CPUtime=0.29
/proc/28145/stat : 28145 (wbo1.4b) R 28143 28145 27605 0 -1 4202496 1178 0 0 0 27 2 0 0 21 0 1 0 87342074 5345280 845 1992294400 134512640 135752675 4291214384 18446744073709551615 134517153 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28145/statm: 1305 845 144 303 0 1000 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5220

[startup+0.701856 s]
/proc/loadavg: 1.00 1.01 0.98 3/106 28145
/proc/meminfo: memFree=1850788/2059040 swapFree=4140192/4192956
[pid=28145] ppid=28143 vsize=5868 CPUtime=0.69
/proc/28145/stat : 28145 (wbo1.4b) R 28143 28145 27605 0 -1 4202496 1349 0 0 0 64 5 0 0 22 0 1 0 87342074 6008832 1016 1992294400 134512640 135752675 4291214384 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28145/statm: 1467 1016 145 303 0 1162 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5868

[startup+1.50094 s]
/proc/loadavg: 1.00 1.01 0.98 2/107 28146
/proc/meminfo: memFree=1846440/2059040 swapFree=4140192/4192956
[pid=28145] ppid=28143 vsize=7296 CPUtime=1.49
/proc/28145/stat : 28145 (wbo1.4b) R 28143 28145 27605 0 -1 4202496 1713 0 0 0 143 6 0 0 25 0 1 0 87342074 7471104 1380 1992294400 134512640 135752675 4291214384 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28145/statm: 1824 1380 145 303 0 1519 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7296

[startup+3.10112 s]
/proc/loadavg: 1.00 1.01 0.98 2/107 28146
/proc/meminfo: memFree=1844580/2059040 swapFree=4140192/4192956
[pid=28145] ppid=28143 vsize=9628 CPUtime=3.09
/proc/28145/stat : 28145 (wbo1.4b) R 28143 28145 27605 0 -1 4202496 2287 0 0 0 301 8 0 0 25 0 1 0 87342074 9859072 1954 1992294400 134512640 135752675 4291214384 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28145/statm: 2407 1954 145 303 0 2102 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9628

[startup+6.30147 s]
/proc/loadavg: 1.00 1.01 0.98 2/107 28148
/proc/meminfo: memFree=1840984/2059040 swapFree=4140192/4192956
[pid=28145] ppid=28143 vsize=12372 CPUtime=6.29
/proc/28145/stat : 28145 (wbo1.4b) R 28143 28145 27605 0 -1 4202496 2980 0 0 0 619 10 0 0 25 0 1 0 87342074 12668928 2647 1992294400 134512640 135752675 4291214384 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28145/statm: 3093 2647 145 303 0 2788 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12372

[startup+12.7012 s]
/proc/loadavg: 1.00 1.01 0.98 2/107 28148
/proc/meminfo: memFree=1835156/2059040 swapFree=4140192/4192956
[pid=28145] ppid=28143 vsize=18080 CPUtime=12.69
/proc/28145/stat : 28145 (wbo1.4b) R 28143 28145 27605 0 -1 4202496 4394 0 0 0 1254 15 0 0 25 0 1 0 87342074 18513920 4061 1992294400 134512640 135752675 4291214384 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28145/statm: 4520 4061 145 303 0 4215 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18080

[startup+25.5016 s]
/proc/loadavg: 1.00 1.01 0.98 2/107 28148
/proc/meminfo: memFree=1828336/2059040 swapFree=4140192/4192956
[pid=28145] ppid=28143 vsize=24520 CPUtime=25.49
/proc/28145/stat : 28145 (wbo1.4b) R 28143 28145 27605 0 -1 4202496 5967 0 0 0 2529 20 0 0 25 0 1 0 87342074 25108480 5634 1992294400 134512640 135752675 4291214384 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28145/statm: 6130 5634 145 303 0 5825 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24520

[startup+51.1014 s]
/proc/loadavg: 1.00 1.01 0.98 2/107 28148
/proc/meminfo: memFree=1812836/2059040 swapFree=4140192/4192956
[pid=28145] ppid=28143 vsize=40312 CPUtime=51.07
/proc/28145/stat : 28145 (wbo1.4b) R 28143 28145 27605 0 -1 4202496 9888 0 0 0 5074 33 0 0 25 0 1 0 87342074 41279488 9555 1992294400 134512640 135752675 4291214384 18446744073709551615 134605512 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28145/statm: 10078 9555 145 303 0 9773 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40312

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

[startup+76.7011 s]
/proc/loadavg: 1.00 1.01 0.98 2/107 28148
/proc/meminfo: memFree=1801924/2059040 swapFree=4140192/4192956
[pid=28145] ppid=28143 vsize=51340 CPUtime=76.67
/proc/28145/stat : 28145 (wbo1.4b) R 28143 28145 27605 0 -1 4202496 12640 0 0 0 7623 44 0 0 25 0 1 0 87342074 52572160 12307 1992294400 134512640 135752675 4291214384 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28145/statm: 12835 12307 145 303 0 12530 0
Current children cumulated CPU time (s) 76.67
Current children cumulated vsize (KiB) 51340

[startup+89.5005 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28150
/proc/meminfo: memFree=1796096/2059040 swapFree=4140192/4192956
[pid=28145] ppid=28143 vsize=56684 CPUtime=89.45
/proc/28145/stat : 28145 (wbo1.4b) R 28143 28145 27605 0 -1 4202496 13979 0 0 0 8897 48 0 0 25 0 1 0 87342074 58044416 13646 1992294400 134512640 135752675 4291214384 18446744073709551615 134612058 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28145/statm: 14171 13646 145 303 0 13866 0
Current children cumulated CPU time (s) 89.45
Current children cumulated vsize (KiB) 56684

[startup+95.9002 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28150
/proc/meminfo: memFree=1794484/2059040 swapFree=4140192/4192956
[pid=28145] ppid=28143 vsize=58352 CPUtime=95.86
/proc/28145/stat : 28145 (wbo1.4b) R 28143 28145 27605 0 -1 4202496 14386 0 0 0 9535 51 0 0 25 0 1 0 87342074 59752448 14053 1992294400 134512640 135752675 4291214384 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28145/statm: 14588 14053 145 303 0 14283 0
Current children cumulated CPU time (s) 95.86
Current children cumulated vsize (KiB) 58352

[startup+99.1006 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28150
/proc/meminfo: memFree=1793616/2059040 swapFree=4140192/4192956
[pid=28145] ppid=28143 vsize=59248 CPUtime=99.06
/proc/28145/stat : 28145 (wbo1.4b) R 28143 28145 27605 0 -1 4202496 14595 0 0 0 9854 52 0 0 25 0 1 0 87342074 60669952 14262 1992294400 134512640 135752675 4291214384 18446744073709551615 134611732 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28145/statm: 14812 14262 145 303 0 14507 0
Current children cumulated CPU time (s) 99.06
Current children cumulated vsize (KiB) 59248

[startup+100.701 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28150
/proc/meminfo: memFree=1793120/2059040 swapFree=4140192/4192956
[pid=28145] ppid=28143 vsize=59888 CPUtime=100.65
/proc/28145/stat : 28145 (wbo1.4b) R 28143 28145 27605 0 -1 4202496 14749 0 0 0 10013 52 0 0 25 0 1 0 87342074 61325312 14416 1992294400 134512640 135752675 4291214384 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28145/statm: 14972 14416 145 303 0 14667 0
Current children cumulated CPU time (s) 100.65
Current children cumulated vsize (KiB) 59888

[startup+101.501 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28150
/proc/meminfo: memFree=1792748/2059040 swapFree=4140192/4192956
[pid=28145] ppid=28143 vsize=60016 CPUtime=101.45
/proc/28145/stat : 28145 (wbo1.4b) R 28143 28145 27605 0 -1 4202496 14804 0 0 0 10093 52 0 0 25 0 1 0 87342074 61456384 14471 1992294400 134512640 135752675 4291214384 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28145/statm: 15004 14471 145 303 0 14699 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 60016

[startup+101.901 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28150
/proc/meminfo: memFree=1792748/2059040 swapFree=4140192/4192956
[pid=28145] ppid=28143 vsize=60144 CPUtime=101.86
/proc/28145/stat : 28145 (wbo1.4b) R 28143 28145 27605 0 -1 4202496 14825 0 0 0 10133 53 0 0 25 0 1 0 87342074 61587456 14492 1992294400 134512640 135752675 4291214384 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28145/statm: 15036 14492 145 303 0 14731 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 60144

Child status: 0
Real time (s): 101.989
CPU time (s): 101.954
CPU user time (s): 101.416
CPU system time (s): 0.538918
CPU usage (%): 99.9661
Max. virtual memory (cumulated for all children) (KiB): 60144

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

runsolver used 0.178972 second user time and 0.484926 second system time

The end

Launcher Data 

Begin job on node037 at 2010-06-25 12:08:12
IDJOB=2680394
IDBENCH=71840
IDSOLVER=1190
FILE ID=node037/2680394-1277460492
PBS_JOBID= 11188129
Free space on /tmp= 62496 MiB

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

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

MD5SUM BENCH= b413d11d214e81d6bb556d5c8775428f
RANDOM SEED=1522078472

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1851192 kB
Buffers:         31944 kB
Cached:          78112 kB
SwapCached:       5520 kB
Active:          38092 kB
Inactive:        84964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1851192 kB
SwapTotal:     4192956 kB
SwapFree:      4140192 kB
Dirty:            3796 kB
Writeback:           0 kB
AnonPages:       11616 kB
Mapped:          11864 kB
Slab:            62868 kB
PageTables:       4132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182160 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= 62492 MiB
End job on node037 at 2010-06-25 12:09:54