Trace number 2693809

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) 1800.72 1800.67

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9048_1-unsat--soft-66-100-0.wbo
MD5SUM6fbf16c6c6628a8e757beb1e2cb2761c
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark0.151976
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables15106
Total number of constraints51743
Number of soft constraints17692
Number of constraints which are clauses51415
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints328
Minimum length of a constraint1
Maximum length of a constraint90
Top cost 882854
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 882853
Biggest number in a constraint 105
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 658
Number of bits of the biggest sum of numbers10
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-2693809-1277917007.wbo>
0.39/0.45	c original problem has 50490 variables (32798 bin, 0 int, 0 impl, 17692 cont) and 69436 constraints
0.39/0.45	c problem read
0.39/0.45	c presolving settings loaded
0.39/0.45	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
1.29/1.38	c presolving:
1.79/1.85	c (round 1) 2260 del vars, 7386 del conss, 1558 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 778266 impls, 0 clqs
2.30/2.30	c (round 2) 6299 del vars, 20111 del conss, 3290 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 797861 impls, 0 clqs
2.69/2.78	c (round 3) 13427 del vars, 31364 del conss, 4425 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 807667 impls, 0 clqs
2.99/3.09	c (round 4) 20614 del vars, 38102 del conss, 5113 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 820827 impls, 0 clqs
3.19/3.27	c (round 5) 25485 del vars, 42460 del conss, 5589 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 824637 impls, 0 clqs
3.30/3.39	c (round 6) 28554 del vars, 45231 del conss, 5910 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 827057 impls, 0 clqs
3.39/3.47	c (round 7) 30489 del vars, 46927 del conss, 6056 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 828215 impls, 0 clqs
3.50/3.52	c (round 8) 31708 del vars, 47827 del conss, 6133 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 828648 impls, 0 clqs
3.50/3.55	c (round 9) 32356 del vars, 48198 del conss, 6154 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 828702 impls, 0 clqs
3.50/3.56	c (round 10) 32635 del vars, 48342 del conss, 6159 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 828724 impls, 0 clqs
3.50/3.58	c (round 11) 32756 del vars, 48393 del conss, 6159 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 828732 impls, 0 clqs
3.50/3.59	c (round 12) 32804 del vars, 48422 del conss, 6159 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 828732 impls, 0 clqs
3.59/3.60	c (round 13) 32827 del vars, 48440 del conss, 6159 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 828732 impls, 0 clqs
3.59/3.62	c (round 14) 32842 del vars, 48448 del conss, 6159 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 828732 impls, 0 clqs
3.59/3.65	c (round 15) 32848 del vars, 48450 del conss, 12191 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 828732 impls, 0 clqs
3.70/3.79	c (round 16) 32850 del vars, 48450 del conss, 12191 chg bounds, 2 chg sides, 3 chg coeffs, 9723 upgd conss, 828732 impls, 0 clqs
3.79/3.85	c (round 17) 32850 del vars, 48451 del conss, 12191 chg bounds, 12 chg sides, 32 chg coeffs, 9723 upgd conss, 829533 impls, 0 clqs
3.79/3.88	c (round 18) 32850 del vars, 48451 del conss, 12191 chg bounds, 19 chg sides, 43 chg coeffs, 9723 upgd conss, 829533 impls, 0 clqs
7.89/7.90	c    (7.3s) probing: 1000/11608 (8.6%) - 0 fixings, 0 aggregations, 62838 implications, 0 bound changes
10.09/10.12	c    (9.5s) probing: 2000/11608 (17.2%) - 0 fixings, 0 aggregations, 70287 implications, 0 bound changes
10.09/10.12	c    (9.5s) probing: 2001/11608 (17.2%) - 0 fixings, 0 aggregations, 70287 implications, 0 bound changes
10.09/10.12	c    (9.5s) probing aborted: 2000/2000 successive useless probings
10.09/10.13	c presolving (19 rounds):
10.09/10.13	c  32850 deleted vars, 48451 deleted constraints, 12191 tightened bounds, 0 added holes, 19 changed sides, 44 changed coefficients
10.09/10.13	c  1150807 implications, 0 cliques
10.09/10.13	c presolved problem has 17640 variables (11608 bin, 0 int, 0 impl, 6032 cont) and 20989 constraints
10.09/10.13	c    6032 constraints of type <indicator>
10.09/10.13	c     801 constraints of type <varbound>
10.09/10.13	c     220 constraints of type <knapsack>
10.09/10.13	c       3 constraints of type <setppc>
10.09/10.13	c    5231 constraints of type <linear>
10.09/10.13	c    8702 constraints of type <logicor>
10.09/10.13	c transformed objective value is always integral (scale: 1)
10.09/10.13	c Presolving Time: 9.32
10.09/10.13	c - non default parameters ----------------------------------------------------------------------
10.09/10.13	c # SCIP version 1.2.1.2
10.09/10.13	c 
10.09/10.13	c # frequency for displaying node information lines
10.09/10.13	c # [type: int, range: [-1,2147483647], default: 100]
10.09/10.13	c display/freq = 10000
10.09/10.13	c 
10.09/10.13	c # maximal time in seconds to run
10.09/10.13	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.09/10.13	c limits/time = 1799.56
10.09/10.13	c 
10.09/10.13	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
10.09/10.13	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.09/10.13	c limits/memory = 3420
10.09/10.13	c 
10.09/10.13	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
10.09/10.13	c # [type: int, range: [-1,2147483647], default: 1]
10.09/10.13	c lp/solvefreq = -1
10.09/10.13	c 
10.09/10.13	c # should presolving try to simplify inequalities
10.09/10.13	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.09/10.13	c constraints/linear/simplifyinequalities = TRUE
10.09/10.13	c 
10.09/10.13	c # should presolving try to simplify knapsacks
10.09/10.13	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.09/10.13	c constraints/knapsack/simplifyinequalities = TRUE
10.09/10.13	c 
10.09/10.13	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
10.09/10.13	c # [type: int, range: [-1,2147483647], default: -1]
10.09/10.13	c separating/rapidlearning/freq = 0
10.09/10.13	c 
10.09/10.13	c -----------------------------------------------------------------------------------------------
10.09/10.13	c start solving
10.09/10.13	c 
10.09/10.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
10.09/10.17	c   9.5s|     1 |     2 |     0 |     - | 160M|   0 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
84.89/84.91	c  83.8s| 10000 | 10001 |     0 |   0.0 | 176M|  85 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
158.58/158.68	c   157s| 20000 | 20001 |     0 |   0.0 | 190M|  99 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
230.49/230.52	c   228s| 30000 | 30001 |     0 |   0.0 | 203M| 105 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
301.19/301.21	c   299s| 40000 | 40001 |     0 |   0.0 | 216M| 113 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
370.50/370.57	c   368s| 50000 | 50001 |     0 |   0.0 | 227M| 119 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
439.59/439.61	c   436s| 60000 | 60001 |     0 |   0.0 | 239M| 119 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
508.00/508.07	c   504s| 70000 | 70001 |     0 |   0.0 | 251M| 123 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
576.00/576.00	c   572s| 80000 | 80001 |     0 |   0.0 | 262M| 127 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
643.90/643.98	c   639s| 90000 | 90001 |     0 |   0.0 | 273M| 127 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
711.30/711.32	c   706s|100000 |100001 |     0 |   0.0 | 284M| 129 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
778.81/778.85	c   773s|110000 |110001 |     0 |   0.0 | 295M| 129 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
846.30/846.37	c   840s|120000 |120001 |     0 |   0.0 | 306M| 129 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
913.30/913.30	c   907s|130000 |130001 |     0 |   0.0 | 316M| 131 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
980.41/980.44	c   974s|140000 |140001 |     0 |   0.0 | 327M| 131 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1047.41/1047.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1047.41/1047.45	c  1040s|150000 |150001 |     0 |   0.0 | 337M| 131 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1114.22/1114.27	c  1107s|160000 |160001 |     0 |   0.0 | 348M| 131 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1181.01/1181.01	c  1173s|170000 |170001 |     0 |   0.0 | 358M| 131 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1247.72/1247.73	c  1239s|180000 |180001 |     0 |   0.0 | 369M| 131 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1314.23/1314.24	c  1305s|190000 |190001 |     0 |   0.0 | 379M| 131 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1380.63/1380.62	c  1371s|200000 |200001 |     0 |   0.0 | 390M| 131 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1446.72/1446.79	c  1437s|210000 |210001 |     0 |   0.0 | 400M| 135 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1513.43/1513.50	c  1504s|220000 |220001 |     0 |   0.0 | 410M| 135 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1579.93/1579.92	c  1570s|230000 |230001 |     0 |   0.0 | 421M| 135 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1646.13/1646.14	c  1635s|240000 |240001 |     0 |   0.0 | 431M| 135 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1712.24/1712.23	c  1701s|250000 |250001 |     0 |   0.0 | 441M| 135 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1778.14/1778.10	c  1767s|260000 |260001 |     0 |   0.0 | 452M| 135 |   - |  17k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.01	c 
1800.05/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.01	c Solving Time (sec) : 1788.40
1800.05/1800.01	c Solving Nodes      : 263384
1800.05/1800.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.05/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.01	c Gap                : infinite
1800.05/1800.01	s UNKNOWN
1800.05/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.01	c Solving Time       :    1788.40
1800.05/1800.01	c Original Problem   :
1800.05/1800.01	c   Problem name     : HOME/instance-2693809-1277917007.wbo
1800.05/1800.01	c   Variables        : 50490 (32798 binary, 0 integer, 0 implicit integer, 17692 continuous)
1800.05/1800.01	c   Constraints      : 69436 initial, 69436 maximal
1800.05/1800.01	c Presolved Problem  :
1800.05/1800.01	c   Problem name     : t_HOME/instance-2693809-1277917007.wbo
1800.05/1800.01	c   Variables        : 17640 (11608 binary, 0 integer, 0 implicit integer, 6032 continuous)
1800.05/1800.01	c   Constraints      : 20989 initial, 20989 maximal
1800.05/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.01	c   trivial          :       0.02        218          0          0          0          0          0          0          0
1800.05/1800.01	c   dualfix          :       0.06      24700          0          0          0          0          0          0          0
1800.05/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   implics          :       0.05          0          0          0          0          0          0          0          0
1800.05/1800.01	c   probing          :       6.15          0          0          0          0          0          0          0          0
1800.05/1800.01	c   indicator        :       0.70          0          0          0          0          0      11660          0          0
1800.05/1800.01	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   knapsack         :       0.04          0          0          0          0          0          0         17         41
1800.05/1800.01	c   setppc           :       0.00          0          0          0          0          0          1          0          0
1800.05/1800.01	c   linear           :       1.46       5958       1974          0      12191          0      36790          2          3
1800.05/1800.01	c   logicor          :       0.04          0          0          0          0          0          0          0          0
1800.05/1800.01	c   root node        :          -          0          -          -          0          -          -          -          -
1800.05/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.01	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.05/1800.01	c   indicator        :       6032          0    1551977          0     263384          0     395477          0          0          0
1800.05/1800.01	c   varbound         :        801          0    1551977          0     263384          0      91627          0          0          0
1800.05/1800.01	c   knapsack         :        220          0    1551977          0     263384          0          0          0          0          0
1800.05/1800.01	c   setppc           :          3          0    1546267          0     262394          0       1153          0          0          0
1800.05/1800.01	c   linear           :       5231          0    1551977          0     263384          0     148204          0          0          0
1800.05/1800.01	c   logicor          :       8702          0    1339867          0     263384          0    3034751          0          0          0
1800.05/1800.01	c   countsols        :          0          0          0          0     263384          0          0          0          0          0
1800.05/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.01	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.01	c   indicator        :     361.03       0.00     145.44       0.00     215.59
1800.05/1800.01	c   varbound         :      16.97       0.00      16.83       0.00       0.14
1800.05/1800.01	c   knapsack         :      97.22       0.00      13.12       0.00      84.10
1800.05/1800.01	c   setppc           :       0.49       0.00       0.34       0.00       0.15
1800.05/1800.01	c   linear           :     107.18       0.00     106.93       0.00       0.25
1800.05/1800.01	c   logicor          :     337.03       0.00      11.72       0.00     325.31
1800.05/1800.01	c   countsols        :       0.08       0.00       0.00       0.00       0.08
1800.05/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.01	c   vbounds          :      68.70     376842          0     155593
1800.05/1800.01	c   rootredcost      :       0.41          0          0          0
1800.05/1800.01	c   pseudoobj        :     244.12    1540542          0          0
1800.05/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.01	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.01	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.01	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.05/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.01	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.05/1800.01	c   redcost          :       0.00          0          0          0          0          0
1800.05/1800.01	c   impliedbounds    :       0.00          0          0          0          0          0
1800.05/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.01	c   gomory           :       0.00          0          0          0          0          0
1800.05/1800.01	c   strongcg         :       0.00          0          0          0          0          0
1800.05/1800.01	c   cmir             :       0.00          0          0          0          0          0
1800.05/1800.01	c   flowcover        :       0.00          0          0          0          0          0
1800.05/1800.01	c   clique           :       0.00          0          0          0          0          0
1800.05/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.01	c   mcf              :       0.00          0          0          0          0          0
1800.05/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.01	c Pricers            :       Time      Calls       Vars
1800.05/1800.01	c   problem variables:       0.00          0          0
1800.05/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.01	c   relpscost        :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   inference        :     521.19     263384          0          0          0          0     526768
1800.05/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.01	c   LP solutions     :       0.00          -          0
1800.05/1800.01	c   pseudo solutions :       0.00          -          0
1800.05/1800.01	c   oneopt           :       0.13          0          0
1800.05/1800.01	c   trivial          :       0.73          2          0
1800.05/1800.01	c   simplerounding   :       0.00          0          0
1800.05/1800.01	c   zirounding       :       0.00          0          0
1800.05/1800.01	c   rounding         :       0.00          0          0
1800.05/1800.01	c   shifting         :       0.00          0          0
1800.05/1800.01	c   intshifting      :       0.00          0          0
1800.05/1800.01	c   twoopt           :       0.00          0          0
1800.05/1800.01	c   fixandinfer      :       0.00          0          0
1800.05/1800.01	c   feaspump         :       0.00          0          0
1800.05/1800.01	c   coefdiving       :       0.00          0          0
1800.05/1800.01	c   pscostdiving     :       0.00          0          0
1800.05/1800.01	c   fracdiving       :       0.00          0          0
1800.05/1800.01	c   veclendiving     :       0.00          0          0
1800.05/1800.01	c   intdiving        :       0.00          0          0
1800.05/1800.01	c   actconsdiving    :       0.00          0          0
1800.05/1800.01	c   objpscostdiving  :       0.00          0          0
1800.05/1800.01	c   rootsoldiving    :       0.00          0          0
1800.05/1800.01	c   linesearchdiving :       0.00          0          0
1800.05/1800.01	c   guideddiving     :       0.00          0          0
1800.05/1800.01	c   octane           :       0.00          0          0
1800.05/1800.01	c   rens             :       0.00          0          0
1800.05/1800.01	c   rins             :       0.00          0          0
1800.05/1800.01	c   localbranching   :       0.00          0          0
1800.05/1800.01	c   mutation         :       0.00          0          0
1800.05/1800.01	c   crossover        :       0.00          0          0
1800.05/1800.01	c   dins             :       0.00          0          0
1800.05/1800.01	c   undercover       :       0.00          0          0
1800.05/1800.01	c   nlp              :       0.22          0          0
1800.05/1800.01	c   trysol           :       0.07          1          0
1800.05/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.01	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.01	c   dual LP          :       0.00          0          0       0.00          -
1800.05/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.01	c   diving/probing LP:       0.00          0          0       0.00          -
1800.05/1800.01	c   strong branching :       0.00          0          0       0.00          -
1800.05/1800.01	c     (at root node) :          -          0          0       0.00          -
1800.05/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.01	c B&B Tree           :
1800.05/1800.01	c   number of runs   :          1
1800.05/1800.01	c   nodes            :     263384
1800.05/1800.01	c   nodes (total)    :     263384
1800.05/1800.01	c   nodes left       :     263385
1800.05/1800.01	c   max depth        :        135
1800.05/1800.01	c   max depth (total):        135
1800.05/1800.01	c   backtracks       :       4068 (1.5%)
1800.05/1800.01	c   delayed cutoffs  :          0
1800.05/1800.01	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.05/1800.01	c   avg switch length:       2.60
1800.05/1800.01	c   switching time   :      14.70
1800.05/1800.01	c Solution           :
1800.05/1800.01	c   Solutions found  :          0 (0 improvements)
1800.05/1800.01	c   Primal Bound     :          -
1800.05/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.01	c   Gap              :   infinite
1800.05/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.01	c   Root Iterations  :          0
1800.64/1800.67	c Time complete: 1800.71.

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-2693809-1277917007/watcher-2693809-1277917007 -o /tmp/evaluation-result-2693809-1277917007/solver-2693809-1277917007 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693809-1277917007.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: 2.00 2.00 1.98 4/178 13900
/proc/meminfo: memFree=30364576/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=8304 CPUtime=0
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 1553 0 0 0 0 0 0 0 21 0 1 0 132846338 8503296 1475 4089446400 4194304 7136930 140736310184672 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13900/statm: 2076 1476 275 719 0 1355 0

[startup+0.057121 s]
/proc/loadavg: 2.00 2.00 1.98 4/178 13900
/proc/meminfo: memFree=30364576/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=20732 CPUtime=0.05
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 4659 0 0 0 5 0 0 0 21 0 1 0 132846338 21229568 4581 4089446400 4194304 7136930 140736310184672 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13900/statm: 5183 4581 275 719 0 4462 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 20732

[startup+0.101116 s]
/proc/loadavg: 2.00 2.00 1.98 4/178 13900
/proc/meminfo: memFree=30364576/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=28948 CPUtime=0.09
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 6710 0 0 0 9 0 0 0 21 0 1 0 132846338 29642752 6632 4089446400 4194304 7136930 140736310184672 18446744073709551615 6434492 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13900/statm: 7237 6632 275 719 0 6516 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28948

[startup+0.30109 s]
/proc/loadavg: 2.00 2.00 1.98 4/178 13900
/proc/meminfo: memFree=30364576/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=58092 CPUtime=0.29
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 14048 0 0 0 28 1 0 0 21 0 1 0 132846338 59486208 13940 4089446400 4194304 7136930 140736310184672 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13900/statm: 14523 13940 275 719 0 13802 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58092

[startup+0.701003 s]
/proc/loadavg: 2.00 2.00 1.98 4/178 13900
/proc/meminfo: memFree=30364576/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=185660 CPUtime=0.69
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 45302 0 0 0 65 4 0 0 22 0 1 0 132846338 190115840 44804 4089446400 4194304 7136930 140736310184672 18446744073709551615 4566767 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 46415 44804 317 719 0 45694 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 185660

[startup+1.50085 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 13901
/proc/meminfo: memFree=30180464/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=202812 CPUtime=1.49
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 49227 0 0 0 144 5 0 0 25 0 1 0 132846338 207679488 48729 4089446400 4194304 7136930 140736310184672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 50703 48729 346 719 0 49982 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 202812

[startup+3.10053 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 13901
/proc/meminfo: memFree=30147232/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=226060 CPUtime=3.09
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 55952 0 0 0 297 12 0 0 25 0 1 0 132846338 231485440 54426 4089446400 4194304 7136930 140736310184672 18446744073709551615 5955544 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 56515 54426 351 719 0 55794 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 226060

[startup+6.30094 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 13901
/proc/meminfo: memFree=30133480/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=236760 CPUtime=6.29
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 65921 0 0 0 610 19 0 0 25 0 1 0 132846338 242442240 57096 4089446400 4194304 7136930 140736310184672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 59190 57096 395 719 0 58469 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 236760

[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 13901
/proc/meminfo: memFree=30123104/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=241424 CPUtime=12.69
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 67296 0 0 0 1245 24 0 0 25 0 1 0 132846338 247218176 58036 4089446400 4194304 7136930 140736310184672 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 60356 58036 411 719 0 59635 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 241424

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 13901
/proc/meminfo: memFree=30107056/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=244980 CPUtime=25.49
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 68192 0 0 0 2518 31 0 0 25 0 1 0 132846338 250859520 58932 4089446400 4194304 7136930 140736310184672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 61245 58932 411 719 0 60524 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 244980

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 13902
/proc/meminfo: memFree=30075116/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=252024 CPUtime=51.09
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 69948 0 0 0 5061 48 0 0 25 0 1 0 132846338 258072576 60688 4089446400 4194304 7136930 140736310184672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 63006 60688 411 719 0 62285 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 252024

[startup+102.308 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 13903
/proc/meminfo: memFree=30016572/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=261776 CPUtime=102.29
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 72408 0 0 0 10149 80 0 0 25 0 1 0 132846338 268058624 63148 4089446400 4194304 7136930 140736310184672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 65444 63148 411 719 0 64723 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 261776

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 13933
/proc/meminfo: memFree=31379300/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=278468 CPUtime=162.28
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 76597 0 0 0 16109 119 0 0 25 0 1 0 132846338 285151232 67337 4089446400 4194304 7136930 140736310184672 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 69617 67337 411 719 0 68896 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 278468

[startup+222.301 s]
/proc/loadavg: 2.04 2.01 1.99 3/179 13935
/proc/meminfo: memFree=31370076/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=286992 CPUtime=222.28
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 78755 0 0 0 22071 157 0 0 25 0 1 0 132846338 293879808 69495 4089446400 4194304 7136930 140736310184672 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 71748 69495 411 719 0 71027 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 286992

[startup+282.301 s]
/proc/loadavg: 2.01 2.01 1.99 3/179 13945
/proc/meminfo: memFree=31355564/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=300960 CPUtime=282.29
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 82282 0 0 0 28032 197 0 0 25 0 1 0 132846338 308183040 73022 4089446400 4194304 7136930 140736310184672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 75240 73022 411 719 0 74519 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 300960

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 13946
/proc/meminfo: memFree=31342752/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=309932 CPUtime=342.29
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 84549 0 0 0 33992 237 0 0 25 0 1 0 132846338 317370368 75289 4089446400 4194304 7136930 140736310184672 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 77483 75289 411 719 0 76762 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 309932

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 13948
/proc/meminfo: memFree=31329924/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=323464 CPUtime=402.3
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 87979 0 0 0 39955 275 0 0 25 0 1 0 132846338 331227136 78719 4089446400 4194304 7136930 140736310184672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 80866 78719 411 719 0 80145 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 323464

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 13950
/proc/meminfo: memFree=31321460/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=330104 CPUtime=462.29
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 89639 0 0 0 45918 311 0 0 25 0 1 0 132846338 338026496 80379 4089446400 4194304 7136930 140736310184672 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 82526 80379 411 719 0 81805 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 330104

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 13952
/proc/meminfo: memFree=31305648/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=346572 CPUtime=522.29
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 93268 0 0 0 51879 350 0 0 25 0 1 0 132846338 354889728 84008 4089446400 4194304 7136930 140736310184672 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 86643 84008 411 719 0 85922 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 346572

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 13953
/proc/meminfo: memFree=31286492/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=354724 CPUtime=582.3
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 95340 0 0 0 57843 387 0 0 25 0 1 0 132846338 363237376 86080 4089446400 4194304 7136930 140736310184672 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 88681 86080 411 719 0 87960 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 354724

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 13955
/proc/meminfo: memFree=31263012/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=361456 CPUtime=642.3
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 97052 0 0 0 63808 422 0 0 25 0 1 0 132846338 370130944 87792 4089446400 4194304 7136930 140736310184672 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 90364 87792 411 719 0 89643 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 361456

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 13962
/proc/meminfo: memFree=31129584/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=409992 CPUtime=942.3
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 109377 0 0 0 93623 607 0 0 25 0 1 0 132846338 419831808 100117 4089446400 4194304 7136930 140736310184672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 102498 100117 411 719 0 101777 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 409992

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 13964
/proc/meminfo: memFree=31100404/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=416992 CPUtime=1002.31
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 111165 0 0 0 99590 641 0 0 25 0 1 0 132846338 426999808 101905 4089446400 4194304 7136930 140736310184672 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 104248 101905 411 719 0 103527 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 416992

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 13966
/proc/meminfo: memFree=31078396/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=426140 CPUtime=1062.31
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 113488 0 0 0 105556 675 0 0 25 0 1 0 132846338 436367360 104228 4089446400 4194304 7136930 140736310184672 18446744073709551615 5507255 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 106535 104228 411 719 0 105814 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 426140

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 13968
/proc/meminfo: memFree=31060368/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=435144 CPUtime=1122.32
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 115773 0 0 0 111515 717 0 0 25 0 1 0 132846338 445587456 106513 4089446400 4194304 7136930 140736310184672 18446744073709551615 4641950 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 108786 106513 411 719 0 108065 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 435144

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 13969
/proc/meminfo: memFree=31046312/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=442608 CPUtime=1182.32
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 117677 0 0 0 117479 753 0 0 25 0 1 0 132846338 453230592 108417 4089446400 4194304 7136930 140736310184672 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 110652 108417 411 719 0 109931 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 442608

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 13970
/proc/meminfo: memFree=31022460/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=451440 CPUtime=1242.32
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 119917 0 0 0 123438 794 0 0 25 0 1 0 132846338 462274560 110657 4089446400 4194304 7136930 140736310184672 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 112860 110657 411 719 0 112139 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 451440

[startup+1302.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 13972
/proc/meminfo: memFree=30985596/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=465424 CPUtime=1302.33
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 123452 0 0 0 129397 836 0 0 25 0 1 0 132846338 476594176 114192 4089446400 4194304 7136930 140736310184672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 116356 114192 411 719 0 115635 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 465424

[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 13974
/proc/meminfo: memFree=30959876/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=477688 CPUtime=1362.32
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 125530 0 0 0 135358 874 0 0 25 0 1 0 132846338 489152512 116270 4089446400 4194304 7136930 140736310184672 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 119422 116270 411 719 0 118701 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 477688

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 13976
/proc/meminfo: memFree=30925704/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=482196 CPUtime=1422.34
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 126692 0 0 0 141326 908 0 0 25 0 1 0 132846338 493768704 117432 4089446400 4194304 7136930 140736310184672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 120549 117432 411 719 0 119828 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 482196

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 13977
/proc/meminfo: memFree=30882012/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=494836 CPUtime=1482.32
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 129886 0 0 0 147289 943 0 0 25 0 1 0 132846338 506712064 120626 4089446400 4194304 7136930 140736310184672 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 123709 120626 411 719 0 122988 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 494836

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13978
/proc/meminfo: memFree=30848360/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=503048 CPUtime=1542.33
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 131977 0 0 0 153257 976 0 0 25 0 1 0 132846338 515121152 122717 4089446400 4194304 7136930 140736310184672 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 125762 122717 411 719 0 125041 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 503048

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13980
/proc/meminfo: memFree=30814980/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=511912 CPUtime=1602.33
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 134226 0 0 0 159224 1009 0 0 25 0 1 0 132846338 524197888 124966 4089446400 4194304 7136930 140736310184672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 127978 124966 411 719 0 127257 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 511912

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13982
/proc/meminfo: memFree=30781312/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=517764 CPUtime=1662.34
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 135724 0 0 0 165188 1046 0 0 25 0 1 0 132846338 530190336 126464 4089446400 4194304 7136930 140736310184672 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13900/statm: 129441 126464 411 719 0 128720 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 517764

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13984
/proc/meminfo: memFree=30739836/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=531460 CPUtime=1722.34
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 139161 0 0 0 171156 1078 0 0 25 0 1 0 132846338 544215040 129901 4089446400 4194304 7136930 140736310184672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13900/statm: 132865 129901 411 719 0 132144 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 531460

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13985
/proc/meminfo: memFree=30707660/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=541720 CPUtime=1782.34
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 141780 0 0 0 177120 1114 0 0 25 0 1 0 132846338 554721280 132520 4089446400 4194304 7136930 140736310184672 18446744073709551615 5507443 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13900/statm: 135430 132520 411 719 0 134709 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 541720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 13986
/proc/meminfo: memFree=30701192/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=546980 CPUtime=1800.05
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 143108 0 0 0 178882 1123 0 0 25 0 1 0 132846338 560107520 133848 4089446400 4194304 7136930 140736310184672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13900/statm: 136745 133848 411 719 0 136024 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 546980

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

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

[startup+1800.2 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 13986
/proc/meminfo: memFree=30701192/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=538912 CPUtime=1800.24
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 143114 0 0 0 178901 1123 0 0 25 0 1 0 132846338 551845888 131934 4089446400 4194304 7136930 140736310184672 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13900/statm: 134728 131934 417 719 0 134007 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 538912

[startup+1800.6 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 13987
/proc/meminfo: memFree=30860648/32950928 swapFree=67111528/67111528
[pid=13900] ppid=13898 vsize=386008 CPUtime=1800.64
/proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 12716 0 -1 4202496 143114 0 0 0 178941 1123 0 0 25 0 1 0 132846338 395272192 93743 4089446400 4194304 7136930 140736310184672 18446744073709551615 4698824 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13900/statm: 96502 93743 417 719 0 95781 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 386008

Child status: 0
Real time (s): 1800.67
CPU time (s): 1800.72
CPU user time (s): 1789.47
CPU system time (s): 11.2523
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 546980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.47
system time used= 11.2523
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143121
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= 3865

runsolver used 2.67359 second user time and 5.77512 second system time

The end

Launcher Data 

Begin job on node127 at 2010-06-30 18:56:47
IDJOB=2693809
IDBENCH=79082
IDSOLVER=1206
FILE ID=node127/2693809-1277917007
PBS_JOBID= 11197273
Free space on /tmp= 74200 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/normalized-j9048_1-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-2693809-1277917007/watcher-2693809-1277917007 -o /tmp/evaluation-result-2693809-1277917007/solver-2693809-1277917007 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693809-1277917007.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 6fbf16c6c6628a8e757beb1e2cb2761c
RANDOM SEED=764616765

node127.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.828
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.65
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.828
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.75
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.828
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.828
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.72
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.828
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.828
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.75
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.828
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.82
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.828
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30365104 kB
Buffers:        204560 kB
Cached:         718892 kB
SwapCached:          0 kB
Active:        1936256 kB
Inactive:       503836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30365104 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6496 kB
Writeback:           0 kB
AnonPages:     1517092 kB
Mapped:          16940 kB
Slab:            78112 kB
PageTables:       8048 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1665104 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= 74196 MiB
End job on node127 at 2010-06-30 19:26:49