Trace number 2655751

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4bOPT-70 102.29 102.326

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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2655751-1276687604.opb.
0.00/0.00	c Instance file HOME/instance-2655751-1276687604.opb
0.00/0.00	c File size is 1025005 bytes.
0.09/0.14	c Highest Coefficient sum: 4
0.09/0.14	c ============================[ Problem Statistics ]=============================
0.09/0.14	c |                                                                             |
0.09/0.14	c |  Parsing time:          0.14         s                                      |
0.09/0.14	c |  Number Variables:      2025                                                |
0.09/0.14	c |  Number Clauses:        30912                                               |
0.09/0.14	c |  Number Cardinality:    0                                                   |
0.09/0.14	c |  Number PB Constraints: 0                                                   |
0.09/0.19	c ============================[ Search Statistics ]==============================
0.09/0.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.19	c ===============================================================================
0.09/0.19	c |         0 |    1999    30938    91566 |    10304        0    nan |  0.000 % |
0.19/0.20	c ===============================================================================
0.19/0.20	c New solution: 317
0.19/0.20	o 317
0.19/0.20	c Elapsed CPU time: 0.199969 s	Remaining CPU time: 179.8 s
0.19/0.20	c ===============================================================================
0.19/0.20	c |         0 |    1999    30939    91701 |    10313        0    nan |  0.000 % |
0.19/0.20	c ===============================================================================
0.19/0.20	c New solution: 314
0.19/0.20	o 314
0.19/0.20	c Elapsed CPU time: 0.200969 s	Remaining CPU time: 179.799 s
0.19/0.20	c ===============================================================================
0.19/0.20	c |         0 |    1999    30940    91836 |    10313        0    nan |  0.000 % |
0.19/0.21	c ===============================================================================
0.19/0.21	c New solution: 313
0.19/0.21	o 313
0.19/0.21	c Elapsed CPU time: 0.207968 s	Remaining CPU time: 179.792 s
0.19/0.21	c ===============================================================================
0.19/0.21	c |         0 |    1999    30941    91971 |    10313        0    nan |  0.000 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c New solution: 312
0.19/0.22	o 312
0.19/0.22	c Elapsed CPU time: 0.212967 s	Remaining CPU time: 179.787 s
0.19/0.22	c ===============================================================================
0.19/0.22	c |         2 |    1999    30942    92106 |    10314        2    134 |  0.000 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c New solution: 311
0.19/0.22	o 311
0.19/0.22	c Elapsed CPU time: 0.219966 s	Remaining CPU time: 179.78 s
0.19/0.22	c ===============================================================================
0.19/0.22	c |         2 |    1999    30943    92241 |    10314        2    134 |  0.000 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: 310
0.19/0.23	o 310
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 |         2 |    1999    30944    92376 |    10314        2    134 |  0.000 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: 309
0.19/0.24	o 309
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 |         4 |    1999    30945    92511 |    10315        4    133 |  0.000 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: 308
0.19/0.24	o 308
0.19/0.24	c Elapsed CPU time: 0.234964 s	Remaining CPU time: 179.765 s
0.19/0.24	c ===============================================================================
0.19/0.24	c |         6 |    1999    30946    92646 |    10315        6    132 |  0.000 % |
0.19/0.25	c ===============================================================================
0.19/0.25	c New solution: 307
0.19/0.25	o 307
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 |         6 |    1999    30947    92781 |    10315        6    132 |  0.000 % |
0.19/0.25	c ===============================================================================
0.19/0.25	c New solution: 306
0.19/0.25	o 306
0.19/0.25	c Elapsed CPU time: 0.245962 s	Remaining CPU time: 179.754 s
0.19/0.25	c ===============================================================================
0.19/0.25	c |         8 |    1999    30948    92916 |    10316        8    132 |  0.000 % |
0.19/0.26	c ===============================================================================
0.19/0.26	c New solution: 305
0.19/0.26	o 305
0.19/0.26	c Elapsed CPU time: 0.250961 s	Remaining CPU time: 179.749 s
0.19/0.26	c ===============================================================================
0.19/0.26	c |         9 |    1999    30949    93051 |    10316        9    131 |  0.000 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: 304
0.19/0.27	o 304
0.19/0.27	c Elapsed CPU time: 0.255961 s	Remaining CPU time: 179.744 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |         9 |    1999    30950    93186 |    10316        9    131 |  0.000 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: 303
0.19/0.27	o 303
0.19/0.27	c Elapsed CPU time: 0.26196 s	Remaining CPU time: 179.738 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |        13 |    1999    30951    93321 |    10317       13    130 |  0.000 % |
0.19/0.28	c ===============================================================================
0.19/0.28	c New solution: 302
0.19/0.28	o 302
0.19/0.28	c Elapsed CPU time: 0.266959 s	Remaining CPU time: 179.733 s
0.19/0.28	c ===============================================================================
0.19/0.28	c |        26 |    1999    30952    93456 |    10317       26    118 |  0.000 % |
0.19/0.29	c ===============================================================================
0.19/0.29	c New solution: 301
0.19/0.29	o 301
0.19/0.29	c Elapsed CPU time: 0.272958 s	Remaining CPU time: 179.727 s
0.19/0.29	c ===============================================================================
0.19/0.29	c |        26 |    1999    30953    93591 |    10317       26    118 |  0.000 % |
0.19/0.30	c ===============================================================================
0.19/0.30	c New solution: 300
0.19/0.30	o 300
0.19/0.30	c Elapsed CPU time: 0.277957 s	Remaining CPU time: 179.722 s
0.19/0.30	c ===============================================================================
0.19/0.30	c |        39 |    1999    30954    93726 |    10318       39    114 |  0.000 % |
0.29/0.31	c ===============================================================================
0.29/0.31	c New solution: 299
0.29/0.31	o 299
0.29/0.31	c Elapsed CPU time: 0.283956 s	Remaining CPU time: 179.716 s
0.29/0.31	c ===============================================================================
0.29/0.31	c |        65 |    1999    30955    93861 |    10318       65    109 |  0.000 % |
0.29/0.31	c ===============================================================================
0.29/0.31	c New solution: 298
0.29/0.31	o 298
0.29/0.31	c Elapsed CPU time: 0.288956 s	Remaining CPU time: 179.711 s
0.29/0.31	c ===============================================================================
0.29/0.31	c |        71 |    1999    30956    93996 |    10318       71    109 |  0.000 % |
0.29/0.32	c ===============================================================================
0.29/0.32	c New solution: 297
0.29/0.32	o 297
0.29/0.32	c Elapsed CPU time: 0.296954 s	Remaining CPU time: 179.703 s
0.29/0.32	c ===============================================================================
0.29/0.32	c |        81 |    1999    30957    94131 |    10319       81    109 |  0.000 % |
0.29/0.33	c ===============================================================================
0.29/0.33	c New solution: 296
0.29/0.33	o 296
0.29/0.33	c Elapsed CPU time: 0.301954 s	Remaining CPU time: 179.698 s
0.29/0.33	c ===============================================================================
0.29/0.33	c |        81 |    1999    30958    94266 |    10319       81    109 |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: 295
0.29/0.34	o 295
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 |       107 |    1999    30959    94401 |    10319      107    110 |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: 294
0.29/0.34	o 294
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 |       122 |    1999    30960    94536 |    10320      122    109 |  0.000 % |
0.29/0.35	c |       223 |    1999    30960    94536 |    11352      223    111 |  1.284 % |
0.29/0.36	c ===============================================================================
0.29/0.36	c New solution: 293
0.29/0.36	o 293
0.29/0.36	c Elapsed CPU time: 0.331949 s	Remaining CPU time: 179.668 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |       263 |    1999    30961    94671 |    10320      263    111 |  1.284 % |
0.29/0.37	c ===============================================================================
0.29/0.37	c New solution: 292
0.29/0.37	o 292
0.29/0.37	c Elapsed CPU time: 0.342947 s	Remaining CPU time: 179.657 s
0.29/0.37	c ===============================================================================
0.29/0.37	c |       286 |    1999    30962    94806 |    10320      286    112 |  1.284 % |
0.29/0.39	c ===============================================================================
0.29/0.39	c New solution: 291
0.29/0.39	o 291
0.29/0.39	c Elapsed CPU time: 0.361944 s	Remaining CPU time: 179.638 s
0.29/0.39	c ===============================================================================
0.29/0.39	c |       380 |    1999    30963    94941 |    10321      380    111 |  1.284 % |
0.39/0.40	c ===============================================================================
0.39/0.40	c New solution: 290
0.39/0.40	o 290
0.39/0.40	c Elapsed CPU time: 0.363944 s	Remaining CPU time: 179.636 s
0.39/0.40	c ===============================================================================
0.39/0.40	c |       381 |    1999    30964    95076 |    10321      381    111 |  1.284 % |
0.39/0.40	c ===============================================================================
0.39/0.40	c New solution: 289
0.39/0.40	o 289
0.39/0.40	c Elapsed CPU time: 0.370943 s	Remaining CPU time: 179.629 s
0.39/0.40	c ===============================================================================
0.39/0.40	c |       381 |    1999    30965    95211 |    10321      381    111 |  1.284 % |
0.39/0.42	c ===============================================================================
0.39/0.42	c New solution: 288
0.39/0.42	o 288
0.39/0.42	c Elapsed CPU time: 0.380942 s	Remaining CPU time: 179.619 s
0.39/0.42	c ===============================================================================
0.39/0.42	c |       413 |    1999    30966    95346 |    10322      413    111 |  1.284 % |
0.39/0.43	c ===============================================================================
0.39/0.43	c New solution: 287
0.39/0.43	o 287
0.39/0.43	c Elapsed CPU time: 0.39394 s	Remaining CPU time: 179.606 s
0.39/0.43	c ===============================================================================
0.39/0.43	c |       483 |    1999    30967    95481 |    10322      483    110 |  1.284 % |
0.39/0.44	c ===============================================================================
0.39/0.44	c New solution: 286
0.39/0.44	o 286
0.39/0.44	c Elapsed CPU time: 0.402938 s	Remaining CPU time: 179.597 s
0.39/0.44	c ===============================================================================
0.39/0.44	c |       507 |    1999    30968    95616 |    10322      507    110 |  1.284 % |
0.39/0.45	c ===============================================================================
0.39/0.45	c New solution: 285
0.39/0.45	o 285
0.39/0.45	c Elapsed CPU time: 0.407937 s	Remaining CPU time: 179.592 s
0.39/0.45	c ===============================================================================
0.39/0.45	c |       510 |    1999    30969    95751 |    10323      510    110 |  1.284 % |
0.39/0.45	c ===============================================================================
0.39/0.45	c New solution: 284
0.39/0.45	o 284
0.39/0.45	c Elapsed CPU time: 0.411937 s	Remaining CPU time: 179.588 s
0.39/0.45	c ===============================================================================
0.39/0.45	c |       510 |    1999    30970    95886 |    10323      510    110 |  1.284 % |
0.39/0.47	c |       611 |    1999    30970    95886 |    11355      611    110 |  1.284 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c New solution: 283
0.39/0.48	o 283
0.39/0.48	c Elapsed CPU time: 0.438933 s	Remaining CPU time: 179.561 s
0.39/0.48	c ===============================================================================
0.39/0.48	c |       679 |    1999    30971    96021 |    10323      679    110 |  1.284 % |
0.49/0.50	c ===============================================================================
0.49/0.50	c New solution: 282
0.49/0.50	o 282
0.49/0.50	c Elapsed CPU time: 0.45493 s	Remaining CPU time: 179.545 s
0.49/0.50	c ===============================================================================
0.49/0.50	c |       764 |    1999    30972    96156 |    10324      764    109 |  1.284 % |
0.49/0.50	c ===============================================================================
0.49/0.50	c New solution: 281
0.49/0.50	o 281
0.49/0.50	c Elapsed CPU time: 0.461929 s	Remaining CPU time: 179.538 s
0.49/0.50	c ===============================================================================
0.49/0.50	c |       778 |    1999    30973    96291 |    10324      778    109 |  1.284 % |
0.49/0.51	c ===============================================================================
0.49/0.51	c New solution: 280
0.49/0.51	o 280
0.49/0.51	c Elapsed CPU time: 0.465929 s	Remaining CPU time: 179.534 s
0.49/0.51	c ===============================================================================
0.49/0.51	c |       778 |    1999    30974    96426 |    10324      778    109 |  1.284 % |
0.49/0.53	c |       879 |    1999    30974    96426 |    11357      879    108 |  1.284 % |
0.49/0.55	c |      1031 |    1999    30974    96426 |    12492     1031    108 |  1.284 % |
0.49/0.58	c |      1258 |    1999    30974    96426 |    13742     1258    107 |  1.284 % |
0.59/0.65	c |      1595 |    1999    30974    96426 |    15116     1595    108 |  1.284 % |
0.69/0.74	c |      2101 |    1999    30974    96426 |    16627     2101    108 |  1.284 % |
0.69/0.79	c ===============================================================================
0.69/0.79	c New solution: 279
0.69/0.79	o 279
0.69/0.79	c Elapsed CPU time: 0.744886 s	Remaining CPU time: 179.255 s
0.69/0.79	c ===============================================================================
0.69/0.79	c |      2291 |    1999    30975    96561 |    10325     2291    108 |  1.284 % |
0.79/0.82	c |      2394 |    1999    30975    96561 |    11357     2394    108 |  1.284 % |
0.79/0.86	c ===============================================================================
0.79/0.86	c New solution: 278
0.79/0.86	o 278
0.79/0.86	c Elapsed CPU time: 0.804877 s	Remaining CPU time: 179.195 s
0.79/0.86	c ===============================================================================
0.79/0.86	c |      2493 |    1999    30976    96696 |    10325     2493    108 |  1.284 % |
0.79/0.89	c |      2595 |    1999    30976    96696 |    11357     2595    108 |  1.284 % |
0.89/0.94	c |      2745 |    1999    30976    96696 |    12493     2745    108 |  1.284 % |
1.00/1.00	c |      2972 |    1999    30976    96696 |    13743     2972    108 |  1.284 % |
1.00/1.02	c ===============================================================================
1.00/1.02	c New solution: 277
1.00/1.02	o 277
1.00/1.02	c Elapsed CPU time: 0.966853 s	Remaining CPU time: 179.033 s
1.00/1.02	c ===============================================================================
1.00/1.02	c |      3032 |    1999    30977    96831 |    10325     3032    108 |  1.284 % |
1.00/1.05	c |      3133 |    1999    30977    96831 |    11358     3133    109 |  1.284 % |
1.00/1.09	c |      3284 |    1999    30977    96831 |    12494     3284    109 |  1.284 % |
1.10/1.16	c |      3510 |    1999    30977    96831 |    13743     3510    109 |  1.284 % |
1.29/1.30	c |      3848 |    1999    30977    96831 |    15117     3848    108 |  1.284 % |
1.39/1.49	c |      4355 |    1999    30977    96831 |    16629     4355    109 |  1.284 % |
1.49/1.59	c ===============================================================================
1.49/1.59	c New solution: 276
1.49/1.59	o 276
1.49/1.59	c Elapsed CPU time: 1.53677 s	Remaining CPU time: 178.463 s
1.49/1.59	c ===============================================================================
1.49/1.59	c |      4687 |    1999    30978    96966 |    10326     4687    109 |  1.284 % |
1.59/1.65	c |      4789 |    1999    30978    96966 |    11358     4789    109 |  1.284 % |
1.69/1.72	c |      4939 |    1999    30978    96966 |    12494     4939    109 |  1.284 % |
1.79/1.80	c |      5165 |    1999    30978    96966 |    13743     5165    109 |  1.284 % |
1.89/1.91	c |      5503 |    1999    30978    96966 |    15118     5503    108 |  1.284 % |
2.10/2.16	c |      6009 |    1999    30978    96966 |    16630     6009    109 |  1.284 % |
2.49/2.54	c |      6769 |    1999    30978    96966 |    18293     6769    109 |  1.284 % |
2.59/2.63	c ===============================================================================
2.59/2.63	c New solution: 275
2.59/2.63	o 275
2.59/2.63	c Elapsed CPU time: 2.56561 s	Remaining CPU time: 177.434 s
2.59/2.63	c ===============================================================================
2.59/2.63	c |      7206 |    1999    30979    97101 |    10326     7206    109 |  1.284 % |
2.59/2.64	c ===============================================================================
2.59/2.64	c New solution: 274
2.59/2.64	o 274
2.59/2.64	c Elapsed CPU time: 2.57461 s	Remaining CPU time: 177.425 s
2.59/2.64	c ===============================================================================
2.59/2.64	c |      7206 |    1999    30980    97236 |    10326     7206    109 |  1.284 % |
2.59/2.66	c ===============================================================================
2.59/2.66	c New solution: 273
2.59/2.66	o 273
2.59/2.66	c Elapsed CPU time: 2.59361 s	Remaining CPU time: 177.406 s
2.59/2.66	c ===============================================================================
2.59/2.66	c |      7249 |    1999    30981    97371 |    10327     7249    109 |  1.284 % |
2.59/2.68	c |      7349 |    1999    30981    97371 |    11359     7349    109 |  1.284 % |
2.69/2.72	c |      7500 |    1999    30981    97371 |    12495     7500    109 |  1.284 % |
2.79/2.83	c |      7725 |    1999    30981    97371 |    13745     7725    109 |  1.284 % |
2.89/2.99	c ===============================================================================
2.89/2.99	c New solution: 272
2.89/2.99	o 272
2.89/2.99	c Elapsed CPU time: 2.92656 s	Remaining CPU time: 177.073 s
2.89/2.99	c ===============================================================================
2.89/2.99	c |      8002 |    1999    30982    97506 |    10327     8002    109 |  1.284 % |
2.99/3.00	c ===============================================================================
2.99/3.00	c New solution: 271
2.99/3.00	o 271
2.99/3.00	c Elapsed CPU time: 2.93555 s	Remaining CPU time: 177.064 s
2.99/3.00	c ===============================================================================
2.99/3.00	c |      8009 |    1999    30983    97641 |    10327     8009    109 |  1.284 % |
2.99/3.01	c ===============================================================================
2.99/3.01	c New solution: 269
2.99/3.01	o 269
2.99/3.01	c Elapsed CPU time: 2.94255 s	Remaining CPU time: 177.057 s
2.99/3.01	c ===============================================================================
2.99/3.01	c |      8009 |    1999    30984    97776 |    10328     8009    109 |  1.284 % |
2.99/3.05	c |      8109 |    1999    30984    97776 |    11360     8109    109 |  1.284 % |
3.09/3.12	c |      8259 |    1999    30984    97776 |    12496     8259    109 |  1.284 % |
3.20/3.23	c |      8485 |    1999    30984    97776 |    13746     8485    109 |  1.284 % |
3.39/3.40	c |      8825 |    1999    30984    97776 |    15121     8825    109 |  1.284 % |
3.59/3.69	c |      9334 |    1999    30984    97776 |    16633     9334    109 |  1.284 % |
4.09/4.19	c |     10094 |    1999    30984    97776 |    18296    10094    109 |  1.284 % |
4.79/4.84	c ===============================================================================
4.79/4.84	c New solution: 268
4.79/4.84	o 268
4.79/4.84	c Elapsed CPU time: 4.75628 s	Remaining CPU time: 175.244 s
4.79/4.84	c ===============================================================================
4.79/4.84	c |     10976 |    1999    30985    97911 |    10328    10976    108 |  1.284 % |
4.89/4.93	c ===============================================================================
4.89/4.93	c New solution: 267
4.89/4.93	o 267
4.89/4.93	c Elapsed CPU time: 4.85126 s	Remaining CPU time: 175.149 s
4.89/4.93	c ===============================================================================
4.89/4.93	c |     10976 |    1999    30986    98046 |    10328     5488    103 |  1.284 % |
4.89/4.98	c |     11080 |    1999    30986    98046 |    11361     5592    103 |  1.284 % |
4.99/5.04	c |     11231 |    1999    30986    98046 |    12497     5743    103 |  1.284 % |
5.09/5.15	c |     11461 |    1999    30986    98046 |    13747     5973    103 |  1.284 % |
5.29/5.34	c |     11798 |    1999    30986    98046 |    15122     6310    103 |  1.284 % |
5.59/5.66	c |     12309 |    1999    30986    98046 |    16634     6821    103 |  1.284 % |
6.09/6.10	c |     13068 |    1999    30986    98046 |    18297     7580    103 |  1.284 % |
6.79/6.82	c |     14207 |    1999    30986    98046 |    20127     8719    103 |  1.284 % |
7.70/7.72	c |     15915 |    1999    30986    98046 |    22140    10427    103 |  1.284 % |
8.70/8.76	c |     18477 |    1999    30986    98046 |    24354    12989    104 |  1.284 % |
10.49/10.57	c ===============================================================================
10.49/10.57	c New solution: 266
10.49/10.57	o 266
10.49/10.57	c Elapsed CPU time: 10.4424 s	Remaining CPU time: 169.558 s
10.49/10.57	c ===============================================================================
10.49/10.57	c |     20436 |    1999    30987    98181 |    10329    14948    104 |  1.284 % |
10.69/10.71	c ===============================================================================
10.69/10.71	c New solution: 265
10.69/10.71	o 265
10.69/10.71	c Elapsed CPU time: 10.5864 s	Remaining CPU time: 169.414 s
10.69/10.71	c ===============================================================================
10.69/10.71	c |     20436 |    1999    30988    98316 |    10329     7474     99 |  1.284 % |
10.69/10.72	c ===============================================================================
10.69/10.72	c New solution: 264
10.69/10.72	o 264
10.69/10.72	c Elapsed CPU time: 10.5934 s	Remaining CPU time: 169.407 s
10.69/10.72	c ===============================================================================
10.69/10.72	c |     20436 |    1999    30989    98451 |    10329     7474     99 |  1.284 % |
10.69/10.76	c |     20536 |    1999    30989    98451 |    11362     7574     99 |  1.284 % |
10.79/10.80	c ===============================================================================
10.79/10.80	c New solution: 263
10.79/10.80	o 263
10.79/10.80	c Elapsed CPU time: 10.6694 s	Remaining CPU time: 169.331 s
10.79/10.80	c ===============================================================================
10.79/10.80	c |     20653 |    1999    30990    98586 |    10330     7691     99 |  1.284 % |
10.79/10.84	c |     20753 |    1999    30990    98586 |    11363     7791     99 |  1.284 % |
10.79/10.90	c |     20903 |    1999    30990    98586 |    12499     7941     99 |  1.284 % |
10.90/10.97	c |     21129 |    1999    30990    98586 |    13749     8167    100 |  1.284 % |
11.09/11.16	c |     21468 |    1999    30990    98586 |    15124     8506    100 |  1.284 % |
11.29/11.39	c |     21978 |    1999    30990    98586 |    16636     9016    100 |  1.284 % |
11.39/11.41	c ===============================================================================
11.39/11.41	c New solution: 262
11.39/11.41	o 262
11.39/11.41	c Elapsed CPU time: 11.2723 s	Remaining CPU time: 168.728 s
11.39/11.41	c ===============================================================================
11.39/11.41	c |     22023 |    1999    30991    98721 |    10330     9061    100 |  1.284 % |
11.39/11.46	c ===============================================================================
11.39/11.46	c New solution: 261
11.39/11.46	o 261
11.39/11.46	c Elapsed CPU time: 11.3233 s	Remaining CPU time: 168.677 s
11.39/11.46	c ===============================================================================
11.39/11.46	c |     22114 |    1999    30992    98856 |    10330     9152    100 |  1.284 % |
11.39/11.48	c ===============================================================================
11.39/11.48	c New solution: 259
11.39/11.48	o 259
11.39/11.48	c Elapsed CPU time: 11.3343 s	Remaining CPU time: 168.666 s
11.39/11.48	c ===============================================================================
11.39/11.48	c |     22128 |    1999    30993    98991 |    10331     9166    100 |  1.284 % |
11.39/11.49	c ===============================================================================
11.39/11.49	c New solution: 258
11.39/11.49	o 258
11.39/11.49	c Elapsed CPU time: 11.3413 s	Remaining CPU time: 168.659 s
11.39/11.49	c ===============================================================================
11.39/11.49	c |     22128 |    1999    30994    99126 |    10331     9166    100 |  1.284 % |
11.49/11.51	c ===============================================================================
11.49/11.51	c New solution: 256
11.49/11.51	o 256
11.49/11.51	c Elapsed CPU time: 11.3683 s	Remaining CPU time: 168.632 s
11.49/11.51	c ===============================================================================
11.49/11.51	c |     22160 |    1999    30995    99261 |    10331     9198    100 |  1.284 % |
11.49/11.58	c |     22262 |    1999    30995    99261 |    11364     9300    100 |  1.284 % |
11.69/11.74	c |     22415 |    1999    30995    99261 |    12501     9453    100 |  1.284 % |
11.89/11.96	c |     22645 |    1999    30995    99261 |    13751     9683    100 |  1.284 % |
12.09/12.16	c |     22983 |    1999    30995    99261 |    15126    10021    100 |  1.284 % |
12.39/12.47	c |     23490 |    1999    30995    99261 |    16639    10528    100 |  1.284 % |
12.79/12.88	c |     24249 |    1999    30995    99261 |    18303    11287    100 |  1.284 % |
13.59/13.69	c |     25388 |    1999    30995    99261 |    20133    12426    100 |  1.284 % |
14.99/15.07	c |     27096 |    1999    30995    99261 |    22146    14134    100 |  1.284 % |
17.79/17.87	c |     29661 |    1999    30995    99261 |    24361    16699    100 |  1.284 % |
21.99/22.05	c |     33506 |    1999    30995    99261 |    26797    20544    101 |  1.284 % |
30.39/30.43	c |     39275 |    1999    30995    99261 |    29477    26313    100 |  1.284 % |
38.08/38.16	c ===============================================================================
38.08/38.16	c New solution: 254
38.08/38.16	o 254
38.08/38.16	c Elapsed CPU time: 37.8852 s	Remaining CPU time: 142.115 s
38.08/38.16	c ===============================================================================
38.08/38.16	c |     47602 |    1999    30996    99396 |    10332    16786     98 |  1.284 % |
38.39/38.43	c |     47703 |    1999    30996    99396 |    11365     8494     96 |  1.284 % |
38.39/38.48	c |     47853 |    1999    30996    99396 |    12501     8644     96 |  1.284 % |
38.49/38.55	c |     48078 |    1999    30996    99396 |    13751     8869     96 |  1.284 % |
38.68/38.70	c |     48418 |    1999    30996    99396 |    15127     9209     96 |  1.284 % |
38.88/38.97	c |     48925 |    1999    30996    99396 |    16639     9716     97 |  1.284 % |
39.28/39.39	c |     49685 |    1999    30996    99396 |    18303    10476     97 |  1.284 % |
39.88/39.99	c |     50824 |    1999    30996    99396 |    20134    11615     98 |  1.284 % |
40.78/40.86	c |     52535 |    1999    30996    99396 |    22147    13326     98 |  1.284 % |
42.28/42.35	c ===============================================================================
42.28/42.35	c New solution: 253
42.28/42.35	o 253
42.28/42.35	c Elapsed CPU time: 42.0376 s	Remaining CPU time: 137.962 s
42.28/42.35	c ===============================================================================
42.28/42.35	c |     54421 |    1999    30997    99531 |    10332    15212     99 |  1.284 % |
42.48/42.58	c |     54521 |    1999    30997    99531 |    11365     7706     93 |  1.284 % |
42.67/42.71	c |     54677 |    1999    30997    99531 |    12502     7862     93 |  1.284 % |
42.78/42.85	c |     54902 |    1999    30997    99531 |    13752     8087     94 |  1.284 % |
43.08/43.12	c |     55239 |    1999    30997    99531 |    15127     8424     94 |  1.284 % |
43.48/43.50	c |     55745 |    1999    30997    99531 |    16640     8930     94 |  1.284 % |
43.99/44.07	c |     56506 |    1999    30997    99531 |    18304     9691     94 |  1.284 % |
44.87/44.92	c |     57647 |    1999    30997    99531 |    20134    10832     95 |  1.284 % |
45.88/45.92	c |     59356 |    1999    30997    99531 |    22148    12541     96 |  1.284 % |
47.98/48.02	c |     61918 |    1999    30997    99531 |    24363    15103     97 |  1.284 % |
49.88/49.95	c ===============================================================================
49.88/49.95	c New solution: 251
49.88/49.95	o 251
49.88/49.95	c Elapsed CPU time: 49.5985 s	Remaining CPU time: 130.402 s
49.88/49.95	c ===============================================================================
49.88/49.95	c |     64099 |    1999    30998    99666 |    10332    17284     98 |  1.284 % |
49.98/50.07	c ===============================================================================
49.98/50.07	c New solution: 250
49.98/50.07	o 250
49.98/50.07	c Elapsed CPU time: 49.7174 s	Remaining CPU time: 130.283 s
49.98/50.07	c ===============================================================================
49.98/50.07	c |     64099 |    1999    30999    99801 |    10333     8642     92 |  1.284 % |
50.08/50.11	c |     64203 |    1999    30999    99801 |    11366     8746     92 |  1.284 % |
50.08/50.19	c |     64356 |    1999    30999    99801 |    12502     8899     93 |  1.284 % |
50.28/50.33	c |     64585 |    1999    30999    99801 |    13753     9128     93 |  1.284 % |
50.48/50.55	c |     64922 |    1999    30999    99801 |    15128     9465     93 |  1.284 % |
50.88/50.92	c |     65435 |    1999    30999    99801 |    16641     9978     93 |  1.284 % |
50.88/50.98	c ===============================================================================
50.88/50.98	c New solution: 248
50.88/50.98	o 248
50.88/50.98	c Elapsed CPU time: 50.6203 s	Remaining CPU time: 129.38 s
50.88/50.98	c ===============================================================================
50.88/50.98	c |     65524 |    1999    31000    99936 |    10333    10067     93 |  1.284 % |
50.98/51.02	c |     65624 |    1999    31000    99936 |    11366    10167     93 |  1.284 % |
51.08/51.17	c |     65776 |    1999    31000    99936 |    12503    10319     93 |  1.284 % |
51.28/51.32	c |     66001 |    1999    31000    99936 |    13753    10544     93 |  1.284 % |
51.48/51.59	c |     66340 |    1999    31000    99936 |    15129    10883     94 |  1.284 % |
51.98/52.06	c |     66846 |    1999    31000    99936 |    16641    11389     94 |  1.284 % |
52.58/52.69	c |     67605 |    1999    31000    99936 |    18306    12148     94 |  1.284 % |
53.58/53.64	c |     68745 |    1999    31000    99936 |    20136    13288     94 |  1.284 % |
54.77/54.80	c |     70455 |    1999    31000    99936 |    22150    14998     95 |  1.284 % |
57.87/57.98	c |     73018 |    1999    31000    99936 |    24365    17561     96 |  1.284 % |
63.37/63.49	c |     76862 |    1999    31000    99936 |    26802    21405     96 |  1.284 % |
70.56/70.67	c ===============================================================================
70.56/70.67	c New solution: 247
70.56/70.67	o 247
70.56/70.67	c Elapsed CPU time: 70.2143 s	Remaining CPU time: 109.786 s
70.56/70.67	c ===============================================================================
70.56/70.67	c |     80922 |    1999    31001   100071 |    10333    25465     96 |  1.284 % |
70.86/70.96	c |     81022 |    1999    31001   100071 |    11367     6050     85 |  1.284 % |
70.97/71.00	c |     81173 |    1999    31001   100071 |    12503     6201     85 |  1.284 % |
70.97/71.07	c |     81398 |    1999    31001   100071 |    13754     6426     86 |  1.284 % |
71.07/71.18	c |     81738 |    1999    31001   100071 |    15129     6766     86 |  1.284 % |
71.37/71.42	c |     82245 |    1999    31001   100071 |    16642     7273     87 |  1.284 % |
71.86/71.95	c |     83004 |    1999    31001   100071 |    18306     8032     88 |  1.284 % |
72.77/72.88	c |     84143 |    1999    31001   100071 |    20137     9171     89 |  1.284 % |
74.16/74.26	c |     85853 |    1999    31001   100071 |    22151    10881     90 |  1.284 % |
76.46/76.51	c |     88415 |    1999    31001   100071 |    24366    13443     91 |  1.284 % |
80.66/80.79	c |     92260 |    1999    31001   100071 |    26802    17288     93 |  1.284 % |
86.46/86.59	c |     98026 |    1999    31001   100071 |    29483    23054     94 |  1.284 % |
101.75/101.89	c |    106676 |    1993    31001   100071 |    32431    20950     92 |  1.581 % |
102.27/102.31	c ===============================================================================
102.27/102.31	c Best Solution: 247
102.27/102.31	s OPTIMUM FOUND
102.27/102.31	c Total CPU time: 101.742 s
102.27/102.31	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-2655751-1276687604/watcher-2655751-1276687604 -o /tmp/evaluation-result-2655751-1276687604/solver-2655751-1276687604 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655751-1276687604.opb 

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


[startup+0 s]
/proc/loadavg: 0.93 1.00 0.99 3/106 8681
/proc/meminfo: memFree=1729960/2059040 swapFree=4140468/4192956
[pid=8681] ppid=8679 vsize=3848 CPUtime=0
/proc/8681/stat : 8681 (wbo1.4b) R 8679 8681 7974 0 -1 4202496 350 0 0 0 0 0 0 0 18 0 1 0 44364133 3940352 268 1992294400 134512640 135751879 4286889344 18446744073709551615 134557907 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8681/statm: 962 268 144 303 0 406 0

[startup+0.059386 s]
/proc/loadavg: 0.93 1.00 0.99 3/106 8681
/proc/meminfo: memFree=1729960/2059040 swapFree=4140468/4192956
[pid=8681] ppid=8679 vsize=4456 CPUtime=0.05
/proc/8681/stat : 8681 (wbo1.4b) R 8679 8681 7974 0 -1 4202496 601 0 0 0 5 0 0 0 20 0 1 0 44364133 4562944 519 1992294400 134512640 135751879 4286889344 18446744073709551615 134557907 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8681/statm: 1114 519 233 303 0 558 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4456

[startup+0.10139 s]
/proc/loadavg: 0.93 1.00 0.99 3/106 8681
/proc/meminfo: memFree=1729960/2059040 swapFree=4140468/4192956
[pid=8681] ppid=8679 vsize=4940 CPUtime=0.09
/proc/8681/stat : 8681 (wbo1.4b) R 8679 8681 7974 0 -1 4202496 787 0 0 0 9 0 0 0 20 0 1 0 44364133 5058560 705 1992294400 134512640 135751879 4286889344 18446744073709551615 135379926 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8681/statm: 1235 705 306 303 0 679 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4940

[startup+0.301413 s]
/proc/loadavg: 0.93 1.00 0.99 3/106 8681
/proc/meminfo: memFree=1729960/2059040 swapFree=4140468/4192956
[pid=8681] ppid=8679 vsize=5224 CPUtime=0.29
/proc/8681/stat : 8681 (wbo1.4b) R 8679 8681 7974 0 -1 4202496 1180 0 0 0 27 2 0 0 20 0 1 0 44364133 5349376 847 1992294400 134512640 135751879 4286889344 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8681/statm: 1306 847 146 303 0 1001 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5224

[startup+0.701457 s]
/proc/loadavg: 0.93 1.00 0.99 3/106 8681
/proc/meminfo: memFree=1729960/2059040 swapFree=4140468/4192956
[pid=8681] ppid=8679 vsize=6000 CPUtime=0.69
/proc/8681/stat : 8681 (wbo1.4b) R 8679 8681 7974 0 -1 4202496 1374 0 0 0 64 5 0 0 20 0 1 0 44364133 6144000 1041 1992294400 134512640 135751879 4286889344 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8681/statm: 1500 1041 147 303 0 1195 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6000

[startup+1.50055 s]
/proc/loadavg: 0.94 1.00 0.99 2/107 8682
/proc/meminfo: memFree=1725860/2059040 swapFree=4140468/4192956
[pid=8681] ppid=8679 vsize=7300 CPUtime=1.49
/proc/8681/stat : 8681 (wbo1.4b) R 8679 8681 7974 0 -1 4202496 1723 0 0 0 143 6 0 0 23 0 1 0 44364133 7475200 1390 1992294400 134512640 135751879 4286889344 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8681/statm: 1825 1390 147 303 0 1520 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7300

[startup+3.10072 s]
/proc/loadavg: 0.94 1.00 0.99 2/107 8682
/proc/meminfo: memFree=1724000/2059040 swapFree=4140468/4192956
[pid=8681] ppid=8679 vsize=9632 CPUtime=3.09
/proc/8681/stat : 8681 (wbo1.4b) R 8679 8681 7974 0 -1 4202496 2299 0 0 0 302 7 0 0 25 0 1 0 44364133 9863168 1966 1992294400 134512640 135751879 4286889344 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8681/statm: 2408 1966 147 303 0 2103 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9632

[startup+6.30108 s]
/proc/loadavg: 0.94 1.00 0.99 2/107 8682
/proc/meminfo: memFree=1720528/2059040 swapFree=4140468/4192956
[pid=8681] ppid=8679 vsize=12376 CPUtime=6.29
/proc/8681/stat : 8681 (wbo1.4b) R 8679 8681 7974 0 -1 4202496 2986 0 0 0 620 9 0 0 25 0 1 0 44364133 12673024 2653 1992294400 134512640 135751879 4286889344 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8681/statm: 3094 2653 148 303 0 2789 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12376

[startup+12.7008 s]
/proc/loadavg: 0.94 1.00 0.99 2/107 8682
/proc/meminfo: memFree=1714700/2059040 swapFree=4140468/4192956
[pid=8681] ppid=8679 vsize=18084 CPUtime=12.69
/proc/8681/stat : 8681 (wbo1.4b) R 8679 8681 7974 0 -1 4202496 4402 0 0 0 1254 15 0 0 25 0 1 0 44364133 18518016 4069 1992294400 134512640 135751879 4286889344 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8681/statm: 4521 4069 148 303 0 4216 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18084

[startup+25.5012 s]
/proc/loadavg: 0.95 1.00 0.99 2/107 8682
/proc/meminfo: memFree=1708004/2059040 swapFree=4140468/4192956
[pid=8681] ppid=8679 vsize=24524 CPUtime=25.49
/proc/8681/stat : 8681 (wbo1.4b) R 8679 8681 7974 0 -1 4202496 5973 0 0 0 2527 22 0 0 25 0 1 0 44364133 25112576 5640 1992294400 134512640 135751879 4286889344 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8681/statm: 6131 5640 148 303 0 5826 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24524

[startup+51.101 s]
/proc/loadavg: 0.97 1.00 0.99 2/107 8684
/proc/meminfo: memFree=1692876/2059040 swapFree=4140468/4192956
[pid=8681] ppid=8679 vsize=40056 CPUtime=51.08
/proc/8681/stat : 8681 (wbo1.4b) R 8679 8681 7974 0 -1 4202496 9842 0 0 0 5073 35 0 0 25 0 1 0 44364133 41017344 9509 1992294400 134512640 135751879 4286889344 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8681/statm: 10014 9509 148 303 0 9709 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 40056

[startup+102.309 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 8684
/proc/meminfo: memFree=1672292/2059040 swapFree=4140468/4192956
[pid=8681] ppid=8679 vsize=60148 CPUtime=102.27
/proc/8681/stat : 8681 (wbo1.4b) R 8679 8681 7974 0 -1 4202496 14832 0 0 0 10173 54 0 0 25 0 1 0 44364133 61591552 14499 1992294400 134512640 135751879 4286889344 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8681/statm: 15037 14499 148 303 0 14732 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 60148

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

Child status: 0
Real time (s): 102.326
CPU time (s): 102.29
CPU user time (s): 101.743
CPU system time (s): 0.547916
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 60148

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

runsolver used 0.164974 second user time and 0.509922 second system time

The end

Launcher Data 

Begin job on node005 at 2010-06-16 13:26:44
IDJOB=2655751
IDBENCH=71840
IDSOLVER=1161
FILE ID=node005/2655751-1276687604
PBS_JOBID= 11172568
Free space on /tmp= 62564 MiB

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

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

MD5SUM BENCH= b413d11d214e81d6bb556d5c8775428f
RANDOM SEED=308297002

node005.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.246
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.246
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1730612 kB
Buffers:         99200 kB
Cached:         133544 kB
SwapCached:       6352 kB
Active:          92820 kB
Inactive:       153692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1730612 kB
SwapTotal:     4192956 kB
SwapFree:      4140468 kB
Dirty:            3748 kB
Writeback:           0 kB
AnonPages:       11692 kB
Mapped:          13096 kB
Slab:            60080 kB
PageTables:       3976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181336 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= 62564 MiB
End job on node005 at 2010-06-16 13:28:27