Trace number 2693765

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 NameAnswerCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1801.01 1800.95

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j309_10-unsat--soft-66-100-0.wbo
MD5SUMf8e585aed580dee910146256b9cb9d64
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.172973
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5456
Total number of constraints17015
Number of soft constraints5692
Number of constraints which are clauses16667
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints348
Minimum length of a constraint1
Maximum length of a constraint26
Top cost 285936
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 285935
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 177
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2693765-1277916320.wbo>
0.09/0.16	c original problem has 16840 variables (11148 bin, 0 int, 0 impl, 5692 cont) and 22708 constraints
0.09/0.16	c problem read
0.09/0.16	c presolving settings loaded
0.09/0.16	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.29/0.33	c presolving:
0.39/0.44	c (round 1) 532 del vars, 1431 del conss, 313 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 186970 impls, 0 clqs
0.39/0.49	c (round 2) 1348 del vars, 4035 del conss, 667 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 190940 impls, 0 clqs
0.48/0.54	c (round 3) 2655 del vars, 6228 del conss, 865 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 192635 impls, 0 clqs
0.48/0.58	c (round 4) 4038 del vars, 7493 del conss, 970 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 193254 impls, 0 clqs
0.58/0.60	c (round 5) 4888 del vars, 8145 del conss, 1037 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 193632 impls, 0 clqs
0.58/0.62	c (round 6) 5363 del vars, 8589 del conss, 1088 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 193884 impls, 0 clqs
0.58/0.63	c (round 7) 5656 del vars, 8881 del conss, 1121 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 193922 impls, 0 clqs
0.58/0.64	c (round 8) 5847 del vars, 9021 del conss, 1128 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 193950 impls, 0 clqs
0.58/0.65	c (round 9) 5947 del vars, 9072 del conss, 1128 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 193950 impls, 0 clqs
0.58/0.66	c (round 10) 5991 del vars, 9086 del conss, 1128 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 193950 impls, 0 clqs
0.58/0.67	c (round 11) 6004 del vars, 9092 del conss, 1128 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 193950 impls, 0 clqs
0.58/0.69	c (round 12) 6009 del vars, 9095 del conss, 4745 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 193950 impls, 0 clqs
0.69/0.76	c (round 13) 6012 del vars, 9095 del conss, 4745 chg bounds, 0 chg sides, 0 chg coeffs, 6577 upgd conss, 193950 impls, 0 clqs
2.79/2.89	c    (2.6s) probing: 1000/7211 (13.9%) - 24 fixings, 1 aggregations, 46893 implications, 2 bound changes
4.09/4.10	c    (3.8s) probing: 2000/7211 (27.7%) - 24 fixings, 5 aggregations, 54197 implications, 2 bound changes
4.99/5.08	c    (4.8s) probing: 3000/7211 (41.6%) - 24 fixings, 5 aggregations, 56717 implications, 2 bound changes
5.59/5.64	c    (5.4s) probing: 3685/7211 (51.1%) - 24 fixings, 5 aggregations, 56975 implications, 2 bound changes
5.59/5.64	c    (5.4s) probing aborted: 100/100 successive totally useless probings
5.59/5.64	c (round 14) 6041 del vars, 9095 del conss, 4747 chg bounds, 0 chg sides, 8 chg coeffs, 6577 upgd conss, 403041 impls, 532 clqs
5.59/5.67	c (round 15) 6041 del vars, 9164 del conss, 4747 chg bounds, 2 chg sides, 90 chg coeffs, 6577 upgd conss, 403041 impls, 535 clqs
5.69/5.70	c (round 16) 6067 del vars, 9192 del conss, 4747 chg bounds, 10 chg sides, 173 chg coeffs, 6577 upgd conss, 403049 impls, 582 clqs
5.69/5.73	c (round 17) 6095 del vars, 9196 del conss, 4759 chg bounds, 10 chg sides, 192 chg coeffs, 6577 upgd conss, 403049 impls, 598 clqs
5.69/5.77	c (round 18) 6099 del vars, 9196 del conss, 4759 chg bounds, 10 chg sides, 200 chg coeffs, 6583 upgd conss, 403049 impls, 599 clqs
5.79/5.81	c    (5.5s) probing: 3695/7211 (51.2%) - 24 fixings, 5 aggregations, 56975 implications, 2 bound changes
5.79/5.81	c    (5.5s) probing aborted: 100/100 successive totally useless probings
5.79/5.81	c presolving (19 rounds):
5.79/5.81	c  6099 deleted vars, 9196 deleted constraints, 4759 tightened bounds, 0 added holes, 10 changed sides, 201 changed coefficients
5.79/5.81	c  403049 implications, 599 cliques
5.79/5.81	c presolved problem has 10741 variables (7152 bin, 0 int, 0 impl, 3589 cont) and 13522 constraints
5.79/5.81	c    3589 constraints of type <indicator>
5.79/5.81	c     196 constraints of type <varbound>
5.79/5.81	c     237 constraints of type <knapsack>
5.79/5.81	c      10 constraints of type <setppc>
5.79/5.81	c    3393 constraints of type <linear>
5.79/5.81	c    6097 constraints of type <logicor>
5.79/5.81	c transformed objective value is always integral (scale: 1)
5.79/5.81	c Presolving Time: 5.47
5.79/5.81	c - non default parameters ----------------------------------------------------------------------
5.79/5.81	c # SCIP version 1.2.1.2
5.79/5.81	c 
5.79/5.81	c # frequency for displaying node information lines
5.79/5.81	c # [type: int, range: [-1,2147483647], default: 100]
5.79/5.81	c display/freq = 10000
5.79/5.81	c 
5.79/5.81	c # maximal time in seconds to run
5.79/5.81	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.79/5.81	c limits/time = 1799.85
5.79/5.81	c 
5.79/5.81	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.79/5.81	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.79/5.81	c limits/memory = 3420
5.79/5.81	c 
5.79/5.81	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
5.79/5.81	c # [type: int, range: [-1,2147483647], default: 1]
5.79/5.81	c lp/solvefreq = -1
5.79/5.81	c 
5.79/5.81	c # should presolving try to simplify inequalities
5.79/5.81	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.79/5.81	c constraints/linear/simplifyinequalities = TRUE
5.79/5.81	c 
5.79/5.81	c # should presolving try to simplify knapsacks
5.79/5.81	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.79/5.81	c constraints/knapsack/simplifyinequalities = TRUE
5.79/5.81	c 
5.79/5.81	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.79/5.81	c # [type: int, range: [-1,2147483647], default: -1]
5.79/5.81	c separating/rapidlearning/freq = 0
5.79/5.81	c 
5.79/5.81	c -----------------------------------------------------------------------------------------------
5.79/5.81	c start solving
5.79/5.81	c 
5.79/5.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.79/5.83	c   5.5s|     1 |     2 |     0 |     - |  61M|   0 |   - |  10k|  13k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
38.59/38.61	c  38.0s| 10000 |  9997 |     0 |   0.0 |  76M| 101 |   - |  10k|  13k|   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
69.59/69.62	c  68.8s| 20000 | 19995 |     0 |   0.0 |  89M| 101 |   - |  10k|  13k|   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
98.49/98.59	c  97.5s| 30000 | 29993 |     0 |   0.0 | 101M| 101 |   - |  10k|  13k|   0 |   0 |   0 |   5 |   0 | 0.000000e+00 |      --      |    Inf 
127.99/128.05	c   127s| 40000 | 39993 |     0 |   0.0 | 113M| 105 |   - |  10k|  13k|   0 |   0 |   0 |   5 |   0 | 0.000000e+00 |      --      |    Inf 
158.09/158.19	c   157s| 50000 | 49993 |     0 |   0.0 | 125M| 105 |   - |  10k|  13k|   0 |   0 |   0 |   5 |   0 | 0.000000e+00 |      --      |    Inf 
187.30/187.38	c   186s| 60000 | 59991 |     0 |   0.0 | 136M| 105 |   - |  10k|  13k|   0 |   0 |   0 |   6 |   0 | 0.000000e+00 |      --      |    Inf 
215.90/215.90	c   214s| 70000 | 69991 |     0 |   0.0 | 147M| 107 |   - |  10k|  13k|   0 |   0 |   0 |   6 |   0 | 0.000000e+00 |      --      |    Inf 
244.10/244.12	c   242s| 80000 | 79991 |     0 |   0.0 | 158M| 107 |   - |  10k|  13k|   0 |   0 |   0 |   6 |   0 | 0.000000e+00 |      --      |    Inf 
271.60/271.69	c   269s| 90000 | 89991 |     0 |   0.0 | 168M| 107 |   - |  10k|  13k|   0 |   0 |   0 |   6 |   0 | 0.000000e+00 |      --      |    Inf 
298.30/298.38	c   296s|100000 | 99989 |     0 |   0.0 | 177M| 107 |   - |  10k|  13k|   0 |   0 |   0 |   8 |   0 | 0.000000e+00 |      --      |    Inf 
328.30/328.32	c   325s|110000 |109989 |     0 |   0.0 | 189M| 107 |   - |  10k|  13k|   0 |   0 |   0 |   8 |   0 | 0.000000e+00 |      --      |    Inf 
358.80/358.88	c   356s|120000 |119989 |     0 |   0.0 | 202M| 107 |   - |  10k|  13k|   0 |   0 |   0 |   8 |   0 | 0.000000e+00 |      --      |    Inf 
388.31/388.33	c   385s|130000 |129989 |     0 |   0.0 | 213M| 107 |   - |  10k|  13k|   0 |   0 |   0 |   8 |   0 | 0.000000e+00 |      --      |    Inf 
417.10/417.15	c   413s|140000 |139989 |     0 |   0.0 | 225M| 107 |   - |  10k|  13k|   0 |   0 |   0 |   8 |   0 | 0.000000e+00 |      --      |    Inf 
445.31/445.39	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
445.31/445.39	c   441s|150000 |149989 |     0 |   0.0 | 235M| 107 |   - |  10k|  13k|   0 |   0 |   0 |   8 |   0 | 0.000000e+00 |      --      |    Inf 
473.20/473.28	c   469s|160000 |159989 |     0 |   0.0 | 246M| 107 |   - |  10k|  13k|   0 |   0 |   0 |   8 |   0 | 0.000000e+00 |      --      |    Inf 
500.90/500.92	c   496s|170000 |169989 |     0 |   0.0 | 256M| 107 |   - |  10k|  13k|   0 |   0 |   0 |   8 |   0 | 0.000000e+00 |      --      |    Inf 
527.31/527.31	c   522s|180000 |179989 |     0 |   0.0 | 266M| 107 |   - |  10k|  13k|   0 |   0 |   0 |   8 |   0 | 0.000000e+00 |      --      |    Inf 
552.01/552.09	c   547s|190000 |189989 |     0 |   0.0 | 276M| 107 |   - |  10k|  13k|   0 |   0 |   0 |   8 |   0 | 0.000000e+00 |      --      |    Inf 
576.71/576.70	c   571s|200000 |199989 |     0 |   0.0 | 286M| 107 |   - |  10k|  13k|   0 |   0 |   0 |   8 |   0 | 0.000000e+00 |      --      |    Inf 
601.12/601.10	c   596s|210000 |209987 |     0 |   0.0 | 296M| 107 |   - |  10k|  13k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
625.02/625.01	c   619s|220000 |219987 |     0 |   0.0 | 306M| 107 |   - |  10k|  13k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
648.51/648.56	c   643s|230000 |229987 |     0 |   0.0 | 315M| 109 |   - |  10k|  13k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
671.61/671.62	c   665s|240000 |239987 |     0 |   0.0 | 324M| 113 |   - |  10k|  13k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
694.62/694.60	c   688s|250000 |249979 |     0 |   0.0 | 333M| 119 |   - |  10k|  13k|   0 |   0 |   0 |  14 |   0 | 0.000000e+00 |      --      |    Inf 
716.82/716.85	c   710s|260000 |259976 |     0 |   0.0 | 342M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
739.62/739.63	c   733s|270000 |269970 |     0 |   0.0 | 351M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  17 |   0 | 0.000000e+00 |      --      |    Inf 
765.71/765.79	c   759s|280000 |279970 |     0 |   0.0 | 363M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  17 |   0 | 0.000000e+00 |      --      |    Inf 
793.22/793.24	c   786s|290000 |289970 |     0 |   0.0 | 375M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  17 |   0 | 0.000000e+00 |      --      |    Inf 
819.82/819.87	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
819.82/819.87	c   812s|300000 |299970 |     0 |   0.0 | 387M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  17 |   0 | 0.000000e+00 |      --      |    Inf 
845.62/845.68	c   838s|310000 |309968 |     0 |   0.0 | 399M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  18 |   0 | 0.000000e+00 |      --      |    Inf 
871.02/871.08	c   863s|320000 |319968 |     0 |   0.0 | 409M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  18 |   0 | 0.000000e+00 |      --      |    Inf 
896.02/896.09	c   888s|330000 |329964 |     0 |   0.0 | 420M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  24 |   0 | 0.000000e+00 |      --      |    Inf 
920.82/920.86	c   912s|340000 |339960 |     0 |   0.0 | 430M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  30 |   0 | 0.000000e+00 |      --      |    Inf 
945.63/945.63	c   937s|350000 |349960 |     0 |   0.0 | 440M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  30 |   0 | 0.000000e+00 |      --      |    Inf 
970.32/970.39	c   962s|360000 |359960 |     0 |   0.0 | 450M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  30 |   0 | 0.000000e+00 |      --      |    Inf 
995.12/995.18	c   986s|370000 |369960 |     0 |   0.0 | 460M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  30 |   0 | 0.000000e+00 |      --      |    Inf 
1019.93/1019.91	c  1011s|380000 |379960 |     0 |   0.0 | 471M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  30 |   0 | 0.000000e+00 |      --      |    Inf 
1044.43/1044.45	c  1035s|390000 |389960 |     0 |   0.0 | 481M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  30 |   0 | 0.000000e+00 |      --      |    Inf 
1068.73/1068.74	c  1059s|400000 |399960 |     0 |   0.0 | 490M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  30 |   0 | 0.000000e+00 |      --      |    Inf 
1093.44/1093.41	c  1083s|410000 |409960 |     0 |   0.0 | 500M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  30 |   0 | 0.000000e+00 |      --      |    Inf 
1118.02/1118.03	c  1108s|420000 |419960 |     0 |   0.0 | 510M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  30 |   0 | 0.000000e+00 |      --      |    Inf 
1142.02/1142.02	c  1132s|430000 |429960 |     0 |   0.0 | 520M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  30 |   0 | 0.000000e+00 |      --      |    Inf 
1166.13/1166.13	c  1155s|440000 |439960 |     0 |   0.0 | 530M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  30 |   0 | 0.000000e+00 |      --      |    Inf 
1190.24/1190.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1190.24/1190.27	c  1179s|450000 |449960 |     0 |   0.0 | 539M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  30 |   0 | 0.000000e+00 |      --      |    Inf 
1214.23/1214.21	c  1203s|460000 |459960 |     0 |   0.0 | 549M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  30 |   0 | 0.000000e+00 |      --      |    Inf 
1238.33/1238.34	c  1227s|470000 |469960 |     0 |   0.0 | 559M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  30 |   0 | 0.000000e+00 |      --      |    Inf 
1262.23/1262.29	c  1251s|480000 |479960 |     0 |   0.0 | 568M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  30 |   0 | 0.000000e+00 |      --      |    Inf 
1286.24/1286.22	c  1274s|490000 |489958 |     0 |   0.0 | 578M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  30 |   0 | 0.000000e+00 |      --      |    Inf 
1310.43/1310.41	c  1298s|500000 |499958 |     0 |   0.0 | 588M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  30 |   0 | 0.000000e+00 |      --      |    Inf 
1334.53/1334.50	c  1322s|510000 |509958 |     0 |   0.0 | 597M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  30 |   0 | 0.000000e+00 |      --      |    Inf 
1358.64/1358.62	c  1346s|520000 |519956 |     0 |   0.0 | 607M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  30 |   0 | 0.000000e+00 |      --      |    Inf 
1382.24/1382.27	c  1370s|530000 |529954 |     0 |   0.0 | 617M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  31 |   0 | 0.000000e+00 |      --      |    Inf 
1405.34/1405.38	c  1392s|540000 |539952 |     0 |   0.0 | 626M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  31 |   0 | 0.000000e+00 |      --      |    Inf 
1428.34/1428.33	c  1415s|550000 |549952 |     0 |   0.0 | 635M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  31 |   0 | 0.000000e+00 |      --      |    Inf 
1451.24/1451.29	c  1438s|560000 |559952 |     0 |   0.0 | 644M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  31 |   0 | 0.000000e+00 |      --      |    Inf 
1474.04/1474.09	c  1461s|570000 |569948 |     0 |   0.0 | 653M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  32 |   0 | 0.000000e+00 |      --      |    Inf 
1496.84/1496.80	c  1483s|580000 |579948 |     0 |   0.0 | 662M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  32 |   0 | 0.000000e+00 |      --      |    Inf 
1519.44/1519.45	c  1505s|590000 |589948 |     0 |   0.0 | 671M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  32 |   0 | 0.000000e+00 |      --      |    Inf 
1541.64/1541.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1541.64/1541.69	c  1528s|600000 |599946 |     0 |   0.0 | 681M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  33 |   0 | 0.000000e+00 |      --      |    Inf 
1564.15/1564.16	c  1550s|610000 |609946 |     0 |   0.0 | 690M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  33 |   0 | 0.000000e+00 |      --      |    Inf 
1586.64/1586.61	c  1572s|620000 |619946 |     0 |   0.0 | 699M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  33 |   0 | 0.000000e+00 |      --      |    Inf 
1609.14/1609.11	c  1594s|630000 |629946 |     0 |   0.0 | 708M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  33 |   0 | 0.000000e+00 |      --      |    Inf 
1631.54/1631.53	c  1616s|640000 |639946 |     0 |   0.0 | 717M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  33 |   0 | 0.000000e+00 |      --      |    Inf 
1653.95/1653.91	c  1639s|650000 |649938 |     0 |   0.0 | 726M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  33 |   0 | 0.000000e+00 |      --      |    Inf 
1676.45/1676.42	c  1661s|660000 |659938 |     0 |   0.0 | 735M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  33 |   0 | 0.000000e+00 |      --      |    Inf 
1698.65/1698.64	c  1683s|670000 |669932 |     0 |   0.0 | 744M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  34 |   0 | 0.000000e+00 |      --      |    Inf 
1721.05/1721.08	c  1705s|680000 |679932 |     0 |   0.0 | 753M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  34 |   0 | 0.000000e+00 |      --      |    Inf 
1743.25/1743.29	c  1727s|690000 |689929 |     0 |   0.0 | 762M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  34 |   0 | 0.000000e+00 |      --      |    Inf 
1765.56/1765.57	c  1749s|700000 |699929 |     0 |   0.0 | 771M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  34 |   0 | 0.000000e+00 |      --      |    Inf 
1787.95/1787.97	c  1772s|710000 |709928 |     0 |   0.0 | 780M| 127 |   - |  10k|  13k|   0 |   0 |   0 |  34 |   0 | 0.000000e+00 |      --      |    Inf 
1800.06/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00	c 
1800.06/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.00	c Solving Time (sec) : 1783.49
1800.06/1800.00	c Solving Nodes      : 715451
1800.06/1800.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.06/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.06/1800.00	c Gap                : infinite
1800.06/1800.00	s UNKNOWN
1800.06/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.00	c Solving Time       :    1783.49
1800.06/1800.00	c Original Problem   :
1800.06/1800.00	c   Problem name     : HOME/instance-2693765-1277916320.wbo
1800.06/1800.00	c   Variables        : 16840 (11148 binary, 0 integer, 0 implicit integer, 5692 continuous)
1800.06/1800.00	c   Constraints      : 22708 initial, 22708 maximal
1800.06/1800.00	c Presolved Problem  :
1800.06/1800.00	c   Problem name     : t_HOME/instance-2693765-1277916320.wbo
1800.06/1800.00	c   Variables        : 10741 (7152 binary, 0 integer, 0 implicit integer, 3589 continuous)
1800.06/1800.00	c   Constraints      : 13522 initial, 13546 maximal
1800.06/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.00	c   trivial          :       0.01         21          0          0          0          0          0          0          0
1800.06/1800.00	c   dualfix          :       0.01       4460          0          0          0          0          0          0          0
1800.06/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.00	c   implics          :       0.02          0          0          0          0          0          0          0          0
1800.06/1800.00	c   probing          :       4.80         24          5          0          2          0          0          0          0
1800.06/1800.00	c   indicator        :       0.07          0          0          0          0          0       2103          0          0
1800.06/1800.00	c   varbound         :       0.02          0          0          0          0          0          8          0          0
1800.06/1800.00	c   knapsack         :       0.04          0          0          0          0          0          0         10        201
1800.06/1800.00	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.00	c   linear           :       0.31       1108        481          0       4757          0       7040          0          0
1800.06/1800.00	c   logicor          :       0.07          0          0          0          0          0         45          0          0
1800.06/1800.00	c   root node        :          -          0          -          -          0          -          -          -          -
1800.06/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.00	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.06/1800.00	c   indicator        :       3589          0    3317116          0     715417          0     580402          0          0          0
1800.06/1800.00	c   varbound         :        196          0    3317116          0     715417          0     332655          0          0          0
1800.06/1800.00	c   knapsack         :        237          0    3317116          0     715417          1    1473444          0          0          0
1800.06/1800.00	c   setppc           :         10          0    3302619          0     715417          0       2060          0          0          0
1800.06/1800.00	c   linear           :       3393          0    3317115          0     715417          0     197810          0          0          0
1800.06/1800.00	c   logicor          :       6097+         0    2894821          0     715417         33    6493642          0          0          0
1800.06/1800.00	c   countsols        :          0          0          0          0     715417          0          0          0          0          0
1800.06/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.00	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.00	c   indicator        :     362.86       0.00     142.70       0.00     220.16
1800.06/1800.00	c   varbound         :       8.76       0.00       8.36       0.00       0.40
1800.06/1800.00	c   knapsack         :      22.60       0.00      20.77       0.00       1.83
1800.06/1800.00	c   setppc           :       2.99       0.00       1.44       0.00       1.55
1800.06/1800.00	c   linear           :      99.33       0.00      97.77       0.00       1.56
1800.06/1800.00	c   logicor          :     372.46       0.00      21.38       0.00     351.08
1800.06/1800.00	c   countsols        :       0.17       0.00       0.00       0.00       0.17
1800.06/1800.00	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.00	c   vbounds          :      66.32    1149866          0      45087
1800.06/1800.00	c   rootredcost      :       0.92          0          0          0
1800.06/1800.00	c   pseudoobj        :     271.98    3302600          0          0
1800.06/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.00	c   propagation      :       0.00         34         22         32        4.2          3        2.3          -
1800.06/1800.00	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.00	c   applied globally :          -          -          -         34        4.0          -          -          -
1800.06/1800.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.00	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.06/1800.00	c   redcost          :       0.00          0          0          0          0          0
1800.06/1800.00	c   impliedbounds    :       0.00          0          0          0          0          0
1800.06/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.00	c   gomory           :       0.00          0          0          0          0          0
1800.06/1800.00	c   strongcg         :       0.00          0          0          0          0          0
1800.06/1800.00	c   cmir             :       0.00          0          0          0          0          0
1800.06/1800.00	c   flowcover        :       0.00          0          0          0          0          0
1800.06/1800.00	c   clique           :       0.00          0          0          0          0          0
1800.06/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.00	c   mcf              :       0.00          0          0          0          0          0
1800.06/1800.00	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.00	c Pricers            :       Time      Calls       Vars
1800.06/1800.00	c   problem variables:       0.00          0          0
1800.06/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.00	c   relpscost        :       0.00          0          0          0          0          0          0
1800.06/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.00	c   inference        :     508.36     715417          0          0          0          0    1430834
1800.06/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.00	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.00	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.00	c   LP solutions     :       0.00          -          0
1800.06/1800.00	c   pseudo solutions :       0.00          -          0
1800.06/1800.00	c   oneopt           :       0.20          0          0
1800.06/1800.00	c   trivial          :       0.10          2          0
1800.06/1800.00	c   simplerounding   :       0.00          0          0
1800.06/1800.00	c   zirounding       :       0.00          0          0
1800.06/1800.00	c   rounding         :       0.00          0          0
1800.06/1800.00	c   shifting         :       0.00          0          0
1800.06/1800.00	c   intshifting      :       0.00          0          0
1800.06/1800.00	c   twoopt           :       0.00          0          0
1800.06/1800.00	c   fixandinfer      :       0.00          0          0
1800.06/1800.00	c   feaspump         :       0.00          0          0
1800.06/1800.00	c   coefdiving       :       0.00          0          0
1800.06/1800.00	c   pscostdiving     :       0.00          0          0
1800.06/1800.00	c   fracdiving       :       0.00          0          0
1800.06/1800.00	c   veclendiving     :       0.00          0          0
1800.06/1800.00	c   intdiving        :       0.00          0          0
1800.06/1800.00	c   actconsdiving    :       0.00          0          0
1800.06/1800.00	c   objpscostdiving  :       0.00          0          0
1800.06/1800.00	c   rootsoldiving    :       0.00          0          0
1800.06/1800.00	c   linesearchdiving :       0.00          0          0
1800.06/1800.00	c   guideddiving     :       0.00          0          0
1800.06/1800.00	c   octane           :       0.00          0          0
1800.06/1800.00	c   rens             :       0.00          0          0
1800.06/1800.00	c   rins             :       0.00          0          0
1800.06/1800.00	c   localbranching   :       0.00          0          0
1800.06/1800.00	c   mutation         :       0.00          0          0
1800.06/1800.00	c   crossover        :       0.00          0          0
1800.06/1800.00	c   dins             :       0.00          0          0
1800.06/1800.00	c   undercover       :       0.00          0          0
1800.06/1800.00	c   nlp              :       0.25          0          0
1800.06/1800.00	c   trysol           :       0.16          1          0
1800.06/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.00	c   primal LP        :       0.00          0          0       0.00          -
1800.06/1800.00	c   dual LP          :       0.00          0          0       0.00          -
1800.06/1800.00	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.00	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.00	c   diving/probing LP:       0.00          0          0       0.00          -
1800.06/1800.00	c   strong branching :       0.00          0          0       0.00          -
1800.06/1800.00	c     (at root node) :          -          0          0       0.00          -
1800.06/1800.00	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.00	c B&B Tree           :
1800.06/1800.00	c   number of runs   :          1
1800.06/1800.00	c   nodes            :     715451
1800.06/1800.00	c   nodes (total)    :     715451
1800.06/1800.00	c   nodes left       :     715379
1800.06/1800.00	c   max depth        :        127
1800.06/1800.00	c   max depth (total):        127
1800.06/1800.00	c   backtracks       :      11035 (1.5%)
1800.06/1800.00	c   delayed cutoffs  :          5
1800.06/1800.00	c   repropagations   :        364 (103 domain reductions, 0 cutoffs)
1800.06/1800.00	c   avg switch length:       2.73
1800.06/1800.00	c   switching time   :      37.17
1800.06/1800.00	c Solution           :
1800.06/1800.00	c   Solutions found  :          0 (0 improvements)
1800.06/1800.00	c   Primal Bound     :          -
1800.06/1800.00	c   Dual Bound       : +0.00000000000000e+00
1800.06/1800.00	c   Gap              :   infinite
1800.06/1800.00	c   Root Dual Bound  : +0.00000000000000e+00
1800.06/1800.00	c   Root Iterations  :          0
1800.95/1800.94	c Time complete: 1801.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693765-1277916320/watcher-2693765-1277916320 -o /tmp/evaluation-result-2693765-1277916320/solver-2693765-1277916320 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693765-1277916320.wbo -t 1800 -m 3800 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.99 2.00 4/178 4755
/proc/meminfo: memFree=29174640/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=8160 CPUtime=0
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 1544 0 0 0 0 0 0 0 25 0 1 0 133060350 8355840 1466 4089446400 4194304 7136930 140737468803248 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4755/statm: 2040 1466 275 719 0 1319 0

[startup+0.057439 s]
/proc/loadavg: 1.92 1.99 2.00 4/178 4755
/proc/meminfo: memFree=29174640/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=18760 CPUtime=0.05
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 4166 0 0 0 5 0 0 0 25 0 1 0 133060350 19210240 4088 4089446400 4194304 7136930 140737468803248 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4755/statm: 4690 4088 275 719 0 3969 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18760

[startup+0.101168 s]
/proc/loadavg: 1.92 1.99 2.00 4/178 4755
/proc/meminfo: memFree=29174640/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=25512 CPUtime=0.09
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 5886 0 0 0 9 0 0 0 25 0 1 0 133060350 26124288 5808 4089446400 4194304 7136930 140737468803248 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4755/statm: 6378 5808 275 719 0 5657 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25512

[startup+0.300395 s]
/proc/loadavg: 1.92 1.99 2.00 4/178 4755
/proc/meminfo: memFree=29174640/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=74572 CPUtime=0.29
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 17970 0 0 0 28 1 0 0 25 0 1 0 133060350 76361728 17483 4089446400 4194304 7136930 140737468803248 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4755/statm: 18643 17483 332 719 0 17922 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 74572

[startup+0.70033 s]
/proc/loadavg: 1.92 1.99 2.00 4/178 4755
/proc/meminfo: memFree=29174640/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=82228 CPUtime=0.69
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 23425 0 0 0 64 5 0 0 25 0 1 0 133060350 84201472 19501 4089446400 4194304 7136930 140737468803248 18446744073709551615 4961403 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4755/statm: 20557 19501 367 719 0 19836 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 82228

[startup+1.50017 s]
/proc/loadavg: 1.92 1.99 2.00 3/179 4756
/proc/meminfo: memFree=29091428/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=89540 CPUtime=1.49
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 27188 0 0 0 142 7 0 0 25 0 1 0 133060350 91688960 21318 4089446400 4194304 7136930 140737468803248 18446744073709551615 4827005 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4755/statm: 22385 21318 400 719 0 21664 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 89540

[startup+3.10088 s]
/proc/loadavg: 1.92 1.99 2.00 3/179 4757
/proc/meminfo: memFree=29085848/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=94552 CPUtime=3.09
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 28439 0 0 0 299 10 0 0 25 0 1 0 133060350 96821248 22569 4089446400 4194304 7136930 140737468803248 18446744073709551615 4827013 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4755/statm: 23638 22569 406 719 0 22917 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 94552

[startup+6.30027 s]
/proc/loadavg: 1.93 1.99 2.00 3/179 4757
/proc/meminfo: memFree=29079216/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=97320 CPUtime=6.29
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 34258 0 0 0 615 14 0 0 25 0 1 0 133060350 99655680 23177 4089446400 4194304 7136930 140737468803248 18446744073709551615 4697388 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4755/statm: 24330 23177 420 719 0 23609 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 97320

[startup+12.7011 s]
/proc/loadavg: 1.93 1.99 2.00 3/179 4757
/proc/meminfo: memFree=29068560/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=101016 CPUtime=12.69
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 35161 0 0 0 1249 20 0 0 25 0 1 0 133060350 103440384 24080 4089446400 4194304 7136930 140737468803248 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4755/statm: 25254 24080 424 719 0 24533 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 101016

[startup+25.5007 s]
/proc/loadavg: 1.95 1.99 2.00 3/179 4757
/proc/meminfo: memFree=29048064/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=108984 CPUtime=25.49
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 37156 0 0 0 2518 31 0 0 25 0 1 0 133060350 111599616 26075 4089446400 4194304 7136930 140737468803248 18446744073709551615 4827005 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4755/statm: 27246 26075 424 719 0 26525 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 108984

[startup+51.101 s]
/proc/loadavg: 1.97 1.99 2.00 3/179 4758
/proc/meminfo: memFree=29007916/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=121396 CPUtime=51.09
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 40224 0 0 0 5058 51 0 0 25 0 1 0 133060350 124309504 29143 4089446400 4194304 7136930 140737468803248 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4755/statm: 30349 29143 424 719 0 29628 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 121396

[startup+102.306 s]
/proc/loadavg: 1.98 1.99 2.00 3/179 4759
/proc/meminfo: memFree=28937200/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=148500 CPUtime=102.3
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 46966 0 0 0 10135 95 0 0 25 0 1 0 133060350 152064000 35885 4089446400 4194304 7136930 140737468803248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4755/statm: 37125 35885 424 719 0 36404 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 148500

[startup+162.3 s]
/proc/loadavg: 2.09 2.01 2.01 3/179 4761
/proc/meminfo: memFree=28798884/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=180532 CPUtime=162.3
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 54961 0 0 0 16082 148 0 0 25 0 1 0 133060350 184864768 43880 4089446400 4194304 7136930 140737468803248 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4755/statm: 45133 43880 424 719 0 44412 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 180532

[startup+222.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 4762
/proc/meminfo: memFree=28643460/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=207376 CPUtime=222.29
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 61228 0 0 0 22033 196 0 0 25 0 1 0 133060350 212353024 50147 4089446400 4194304 7136930 140737468803248 18446744073709551615 5511915 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4755/statm: 51844 50147 424 719 0 51123 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 207376

[startup+282.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 4764
/proc/meminfo: memFree=28445872/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=234528 CPUtime=282.3
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 68056 0 0 0 27976 254 0 0 25 0 1 0 133060350 240156672 56975 4089446400 4194304 7136930 140737468803248 18446744073709551615 4834703 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4755/statm: 58632 56975 424 719 0 57911 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 234528

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4766
/proc/meminfo: memFree=28271352/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=261136 CPUtime=342.3
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 74657 0 0 0 33925 305 0 0 25 0 1 0 133060350 267403264 63576 4089446400 4194304 7136930 140737468803248 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4755/statm: 65284 63576 424 719 0 64563 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 261136

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4767
/proc/meminfo: memFree=28037432/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=285068 CPUtime=402.3
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 80697 0 0 0 39873 357 0 0 25 0 1 0 133060350 291909632 69616 4089446400 4194304 7136930 140737468803248 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4755/statm: 71267 69616 424 719 0 70546 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 285068

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4769
/proc/meminfo: memFree=27786156/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=316224 CPUtime=462.31
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 88519 0 0 0 45821 410 0 0 25 0 1 0 133060350 323813376 77438 4089446400 4194304 7136930 140737468803248 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4755/statm: 79056 77438 424 719 0 78335 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 316224

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 5014
/proc/meminfo: memFree=31189976/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=336204 CPUtime=522.31
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 93577 0 0 0 51764 467 0 0 25 0 1 0 133060350 344272896 82496 4089446400 4194304 7136930 140737468803248 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/4755/statm: 84051 82496 424 719 0 83330 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 336204

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 5016
/proc/meminfo: memFree=31132476/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=367136 CPUtime=582.31
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 100396 0 0 0 57711 520 0 0 25 0 1 0 133060350 375947264 89315 4089446400 4194304 7136930 140737468803248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/4755/statm: 91784 89315 424 719 0 91063 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 367136

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5018
/proc/meminfo: memFree=31114452/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=386020 CPUtime=642.32
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 105144 0 0 0 63656 576 0 0 25 0 1 0 133060350 395284480 94063 4089446400 4194304 7136930 140737468803248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/4755/statm: 96505 94063 424 719 0 95784 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 386020

[startup+702.301 s]

################
# More data... #
################

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 5036
/proc/meminfo: memFree=30942316/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=545948 CPUtime=1002.33
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 145284 0 0 0 99325 908 0 0 25 0 1 0 133060350 559050752 134203 4089446400 4194304 7136930 140737468803248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/4755/statm: 136487 134203 424 719 0 135766 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 545948

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 5038
/proc/meminfo: memFree=30913620/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=574128 CPUtime=1062.33
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 152364 0 0 0 105271 962 0 0 25 0 1 0 133060350 587907072 141283 4089446400 4194304 7136930 140737468803248 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/4755/statm: 143532 141283 424 719 0 142811 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 574128

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5039
/proc/meminfo: memFree=30891272/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=596956 CPUtime=1122.33
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 158095 0 0 0 111216 1017 0 0 25 0 1 0 133060350 611282944 147014 4089446400 4194304 7136930 140737468803248 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/4755/statm: 149239 147014 424 719 0 148518 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 596956

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5041
/proc/meminfo: memFree=30860724/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=627716 CPUtime=1182.33
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 165825 0 0 0 117161 1072 0 0 25 0 1 0 133060350 642781184 154744 4089446400 4194304 7136930 140737468803248 18446744073709551615 4407896 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/4755/statm: 156929 154744 424 719 0 156208 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 627716

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 4/179 5043
/proc/meminfo: memFree=30826960/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=655184 CPUtime=1242.33
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 170794 0 0 0 123107 1126 0 0 25 0 1 0 133060350 670908416 159713 4089446400 4194304 7136930 140737468803248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/4755/statm: 163796 159713 424 719 0 163075 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 655184

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 4/179 5044
/proc/meminfo: memFree=30795800/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=680896 CPUtime=1302.34
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 177319 0 0 0 129052 1182 0 0 25 0 1 0 133060350 697237504 166238 4089446400 4194304 7136930 140737468803248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/4755/statm: 170224 166238 424 719 0 169503 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 680896

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 5046
/proc/meminfo: memFree=30764268/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=704576 CPUtime=1362.33
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 183264 0 0 0 134994 1239 0 0 25 0 1 0 133060350 721485824 172183 4089446400 4194304 7136930 140737468803248 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/4755/statm: 176144 172183 424 719 0 175423 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 704576

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5047
/proc/meminfo: memFree=30731620/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=729228 CPUtime=1422.35
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 189467 0 0 0 140936 1299 0 0 25 0 1 0 133060350 746729472 178386 4089446400 4194304 7136930 140737468803248 18446744073709551615 4642107 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/4755/statm: 182307 178386 424 719 0 181586 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 729228

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5052
/proc/meminfo: memFree=30704644/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=746868 CPUtime=1482.34
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 193961 0 0 0 146883 1351 0 0 25 0 1 0 133060350 764792832 182880 4089446400 4194304 7136930 140737468803248 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/4755/statm: 186717 182880 424 719 0 185996 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 746868

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 5054
/proc/meminfo: memFree=30660560/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=775936 CPUtime=1542.34
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 201203 0 0 0 152826 1408 0 0 25 0 1 0 133060350 794558464 190122 4089446400 4194304 7136930 140737468803248 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/4755/statm: 193984 190122 424 719 0 193263 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 775936

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 5055
/proc/meminfo: memFree=30619100/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=805536 CPUtime=1602.34
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 208703 0 0 0 158770 1464 0 0 25 0 1 0 133060350 824868864 197622 4089446400 4194304 7136930 140737468803248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/4755/statm: 201384 197622 424 719 0 200663 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 805536

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 5057
/proc/meminfo: memFree=30588428/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=829276 CPUtime=1662.35
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 214688 0 0 0 164715 1520 0 0 25 0 1 0 133060350 849178624 203607 4089446400 4194304 7136930 140737468803248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/4755/statm: 207319 203607 424 719 0 206598 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 829276

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 5058
/proc/meminfo: memFree=30555052/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=846452 CPUtime=1722.35
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 218998 0 0 0 170664 1571 0 0 25 0 1 0 133060350 866766848 207917 4089446400 4194304 7136930 140737468803248 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/4755/statm: 211613 207917 424 719 0 210892 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 846452

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 4/179 5060
/proc/meminfo: memFree=30505304/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=874316 CPUtime=1782.35
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 225975 0 0 0 176610 1625 0 0 25 0 1 0 133060350 895299584 214894 4089446400 4194304 7136930 140737468803248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/4755/statm: 218579 214894 424 719 0 217858 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 874316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 5060
/proc/meminfo: memFree=30491276/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=881888 CPUtime=1800.06
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 227842 0 0 0 178364 1642 0 0 25 0 1 0 133060350 903053312 216761 4089446400 4194304 7136930 140737468803248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/4755/statm: 220472 216761 424 719 0 219751 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 881888

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.6 s]
/proc/loadavg: 2.03 2.01 2.00 4/180 5061
/proc/meminfo: memFree=30512720/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=859248 CPUtime=1800.66
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 227847 0 0 0 178424 1642 0 0 25 0 1 0 133060350 879869952 211106 4089446400 4194304 7136930 140737468803248 18446744073709551615 4615545 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/4755/statm: 214812 211106 429 719 0 214091 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (KiB) 859248

[startup+1800.8 s]
/proc/loadavg: 2.03 2.01 2.00 4/180 5061
/proc/meminfo: memFree=30512720/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=792648 CPUtime=1800.85
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 227847 0 0 0 178443 1642 0 0 25 0 1 0 133060350 811671552 194456 4089446400 4194304 7136930 140737468803248 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/4755/statm: 198162 194456 429 719 0 197441 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 792648

[startup+1800.9 s]
/proc/loadavg: 2.03 2.01 2.00 4/180 5061
/proc/meminfo: memFree=30512720/32951124 swapFree=67111528/67111528
[pid=4755] ppid=4753 vsize=527436 CPUtime=1800.95
/proc/4755/stat : 4755 (pbscip.linux.x8) R 4753 4755 3929 0 -1 4202496 227847 0 0 0 178452 1643 0 0 25 0 1 0 133060350 540094464 128173 4089446400 4194304 7136930 140737468803248 18446744073709551615 5953578 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/4755/statm: 131859 128173 429 719 0 131138 0
Current children cumulated CPU time (s) 1800.95
Current children cumulated vsize (KiB) 527436

Child status: 0
Real time (s): 1800.95
CPU time (s): 1801.01
CPU user time (s): 1784.55
CPU system time (s): 16.4595
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 881888

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

runsolver used 2.6566 second user time and 5.86411 second system time

The end

Launcher Data 

Begin job on node111 at 2010-06-30 18:45:20
IDJOB=2693765
IDBENCH=79068
IDSOLVER=1206
FILE ID=node111/2693765-1277916320
PBS_JOBID= 11197312
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j309_10-unsat--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693765-1277916320/watcher-2693765-1277916320 -o /tmp/evaluation-result-2693765-1277916320/solver-2693765-1277916320 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693765-1277916320.wbo -t 1800 -m 3800

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

MD5SUM BENCH= f8e585aed580dee910146256b9cb9d64
RANDOM SEED=1560252539

node111.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29175168 kB
Buffers:        203488 kB
Cached:         795888 kB
SwapCached:          0 kB
Active:        3040684 kB
Inactive:       590680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29175168 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3572 kB
Writeback:           0 kB
AnonPages:     2632608 kB
Mapped:          15084 kB
Slab:            77136 kB
PageTables:       9784 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2776976 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74200 MiB
End job on node111 at 2010-06-30 19:15:22