Trace number 2693817

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.65 1800.61

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_10-unsat--soft-66-100-0.wbo
MD5SUM257e79f814ec2395c606dee738edc728
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark3518
Best CPU time to get the best result obtained on this benchmark1800.25
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables9638
Total number of constraints30220
Number of soft constraints10314
Number of constraints which are clauses29908
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints312
Minimum length of a constraint1
Maximum length of a constraint38
Top cost 520266
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 520265
Biggest number in a constraint 20
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 254
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-2693817-1277917158.wbo>
0.19/0.26	c original problem has 30266 variables (19952 bin, 0 int, 0 impl, 10314 cont) and 40535 constraints
0.19/0.26	c problem read
0.19/0.26	c presolving settings loaded
0.19/0.26	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.59/0.67	c presolving:
0.79/0.87	c (round 1) 824 del vars, 2340 del conss, 470 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 370570 impls, 0 clqs
0.89/0.99	c (round 2) 2259 del vars, 7079 del conss, 1091 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 378555 impls, 0 clqs
1.10/1.12	c (round 3) 4856 del vars, 11088 del conss, 1546 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 383442 impls, 0 clqs
1.19/1.21	c (round 4) 7635 del vars, 14038 del conss, 1911 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 385851 impls, 0 clqs
1.19/1.29	c (round 5) 9570 del vars, 16362 del conss, 2193 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 387637 impls, 0 clqs
1.29/1.34	c (round 6) 11027 del vars, 17844 del conss, 2350 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 388541 impls, 0 clqs
1.29/1.38	c (round 7) 12024 del vars, 18889 del conss, 2466 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 389180 impls, 0 clqs
1.39/1.41	c (round 8) 12672 del vars, 19572 del conss, 2517 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 389631 impls, 0 clqs
1.39/1.43	c (round 9) 13131 del vars, 19905 del conss, 2552 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 389889 impls, 0 clqs
1.39/1.44	c (round 10) 13375 del vars, 20203 del conss, 2572 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 390044 impls, 0 clqs
1.39/1.46	c (round 11) 13523 del vars, 20338 del conss, 2582 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 390058 impls, 0 clqs
1.39/1.47	c (round 12) 13622 del vars, 20467 del conss, 2592 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 390100 impls, 0 clqs
1.39/1.49	c (round 13) 13709 del vars, 20594 del conss, 2605 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 391619 impls, 0 clqs
1.49/1.50	c (round 14) 13789 del vars, 20653 del conss, 2606 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 391631 impls, 0 clqs
1.49/1.51	c (round 15) 13839 del vars, 20717 del conss, 2607 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 391631 impls, 0 clqs
1.49/1.52	c (round 16) 13873 del vars, 20735 del conss, 2607 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 391631 impls, 0 clqs
1.49/1.55	c (round 17) 13890 del vars, 20736 del conss, 8063 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 391631 impls, 0 clqs
1.59/1.66	c (round 18) 13891 del vars, 20736 del conss, 8063 chg bounds, 0 chg sides, 0 chg coeffs, 9408 upgd conss, 391631 impls, 0 clqs
4.09/4.11	c    (3.5s) probing: 1000/10919 (9.2%) - 0 fixings, 0 aggregations, 37989 implications, 0 bound changes
5.59/5.60	c    (5.0s) probing: 2000/10919 (18.3%) - 0 fixings, 1 aggregations, 42257 implications, 0 bound changes
6.79/6.87	c    (6.2s) probing: 3000/10919 (27.5%) - 0 fixings, 1 aggregations, 44133 implications, 0 bound changes
7.09/7.16	c    (6.5s) probing: 3243/10919 (29.7%) - 0 fixings, 1 aggregations, 44488 implications, 0 bound changes
7.09/7.16	c    (6.5s) probing aborted: 2000/2000 successive useless probings
7.09/7.16	c presolving (19 rounds):
7.09/7.16	c  13892 deleted vars, 20736 deleted constraints, 8063 tightened bounds, 0 added holes, 0 changed sides, 7 changed coefficients
7.09/7.16	c  577387 implications, 128 cliques
7.09/7.16	c presolved problem has 16374 variables (10918 bin, 0 int, 0 impl, 5456 cont) and 19799 constraints
7.09/7.16	c    5456 constraints of type <indicator>
7.09/7.16	c     521 constraints of type <varbound>
7.09/7.16	c     197 constraints of type <knapsack>
7.09/7.16	c    4935 constraints of type <linear>
7.09/7.16	c    8690 constraints of type <logicor>
7.09/7.16	c transformed objective value is always integral (scale: 1)
7.09/7.16	c Presolving Time: 6.43
7.09/7.16	c - non default parameters ----------------------------------------------------------------------
7.09/7.16	c # SCIP version 1.2.1.2
7.09/7.16	c 
7.09/7.16	c # frequency for displaying node information lines
7.09/7.16	c # [type: int, range: [-1,2147483647], default: 100]
7.09/7.16	c display/freq = 10000
7.09/7.16	c 
7.09/7.16	c # maximal time in seconds to run
7.09/7.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.09/7.16	c limits/time = 1799.75
7.09/7.16	c 
7.09/7.16	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.09/7.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.09/7.16	c limits/memory = 3420
7.09/7.16	c 
7.09/7.16	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
7.09/7.16	c # [type: int, range: [-1,2147483647], default: 1]
7.09/7.16	c lp/solvefreq = -1
7.09/7.16	c 
7.09/7.16	c # should presolving try to simplify inequalities
7.09/7.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.09/7.16	c constraints/linear/simplifyinequalities = TRUE
7.09/7.16	c 
7.09/7.16	c # should presolving try to simplify knapsacks
7.09/7.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.09/7.16	c constraints/knapsack/simplifyinequalities = TRUE
7.09/7.16	c 
7.09/7.16	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
7.09/7.16	c # [type: int, range: [-1,2147483647], default: -1]
7.09/7.16	c separating/rapidlearning/freq = 0
7.09/7.16	c 
7.09/7.16	c -----------------------------------------------------------------------------------------------
7.09/7.16	c start solving
7.09/7.16	c 
7.19/7.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.19/7.20	c   6.5s|     1 |     2 |     0 |     - | 100M|   0 |   - |  16k|  19k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
73.89/73.97	c  72.3s| 10000 |  9991 |     0 |   0.0 | 120M|  67 |   - |  16k|  19k|   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
139.09/139.15	c   137s| 20000 | 19989 |     0 |   0.0 | 139M|  67 |   - |  16k|  19k|   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
206.09/206.12	c   203s| 30000 | 29989 |     0 |   0.0 | 157M|  69 |   - |  16k|  19k|   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
272.89/272.95	c   268s| 40000 | 39989 |     0 |   0.0 | 172M|  85 |   - |  16k|  19k|   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
334.20/334.22	c   329s| 50000 | 49983 |     0 |   0.0 | 187M| 107 |   - |  16k|  19k|   0 |   0 |   0 |  17 |   0 | 0.000000e+00 |      --      |    Inf 
395.19/395.20	c   389s| 60000 | 59983 |     0 |   0.0 | 204M| 107 |   - |  16k|  19k|   0 |   0 |   0 |  17 |   0 | 0.000000e+00 |      --      |    Inf 
456.29/456.39	c   449s| 70000 | 69981 |     0 |   0.0 | 220M| 107 |   - |  16k|  19k|   0 |   0 |   0 |  18 |   0 | 0.000000e+00 |      --      |    Inf 
517.40/517.41	c   509s| 80000 | 79981 |     0 |   0.0 | 236M| 107 |   - |  16k|  19k|   0 |   0 |   0 |  18 |   0 | 0.000000e+00 |      --      |    Inf 
578.40/578.45	c   569s| 90000 | 89981 |     0 |   0.0 | 252M| 107 |   - |  16k|  19k|   0 |   0 |   0 |  18 |   0 | 0.000000e+00 |      --      |    Inf 
639.61/639.66	c   629s|100000 | 99981 |     0 |   0.0 | 268M| 107 |   - |  16k|  19k|   0 |   0 |   0 |  18 |   0 | 0.000000e+00 |      --      |    Inf 
700.90/700.95	c   689s|110000 |109981 |     0 |   0.0 | 283M| 107 |   - |  16k|  19k|   0 |   0 |   0 |  18 |   0 | 0.000000e+00 |      --      |    Inf 
761.51/761.53	c   749s|120000 |119981 |     0 |   0.0 | 298M| 107 |   - |  16k|  19k|   0 |   0 |   0 |  18 |   0 | 0.000000e+00 |      --      |    Inf 
823.50/823.52	c   810s|130000 |129981 |     0 |   0.0 | 314M| 107 |   - |  16k|  19k|   0 |   0 |   0 |  18 |   0 | 0.000000e+00 |      --      |    Inf 
885.91/885.92	c   871s|140000 |139981 |     0 |   0.0 | 328M| 107 |   - |  16k|  19k|   0 |   0 |   0 |  18 |   0 | 0.000000e+00 |      --      |    Inf 
947.70/947.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
947.70/947.71	c   932s|150000 |149981 |     0 |   0.0 | 344M| 107 |   - |  16k|  19k|   0 |   0 |   0 |  18 |   0 | 0.000000e+00 |      --      |    Inf 
1009.21/1009.25	c   993s|160000 |159981 |     0 |   0.0 | 359M| 107 |   - |  16k|  19k|   0 |   0 |   0 |  18 |   0 | 0.000000e+00 |      --      |    Inf 
1072.11/1072.19	c  1055s|170000 |169981 |     0 |   0.0 | 374M| 107 |   - |  16k|  19k|   0 |   0 |   0 |  18 |   0 | 0.000000e+00 |      --      |    Inf 
1135.12/1135.12	c  1117s|180000 |179981 |     0 |   0.0 | 389M| 107 |   - |  16k|  19k|   0 |   0 |   0 |  18 |   0 | 0.000000e+00 |      --      |    Inf 
1197.41/1197.46	c  1178s|190000 |189981 |     0 |   0.0 | 403M| 107 |   - |  16k|  19k|   0 |   0 |   0 |  18 |   0 | 0.000000e+00 |      --      |    Inf 
1259.92/1259.93	c  1240s|200000 |199981 |     0 |   0.0 | 417M| 107 |   - |  16k|  19k|   0 |   0 |   0 |  18 |   0 | 0.000000e+00 |      --      |    Inf 
1322.13/1322.13	c  1301s|210000 |209981 |     0 |   0.0 | 431M| 107 |   - |  16k|  19k|   0 |   0 |   0 |  18 |   0 | 0.000000e+00 |      --      |    Inf 
1384.62/1384.65	c  1362s|220000 |219981 |     0 |   0.0 | 445M| 107 |   - |  16k|  19k|   0 |   0 |   0 |  18 |   0 | 0.000000e+00 |      --      |    Inf 
1446.62/1446.64	c  1424s|230000 |229981 |     0 |   0.0 | 458M| 107 |   - |  16k|  19k|   0 |   0 |   0 |  18 |   0 | 0.000000e+00 |      --      |    Inf 
1508.73/1508.77	c  1485s|240000 |239981 |     0 |   0.0 | 472M| 107 |   - |  16k|  19k|   0 |   0 |   0 |  18 |   0 | 0.000000e+00 |      --      |    Inf 
1571.22/1571.25	c  1546s|250000 |249981 |     0 |   0.0 | 485M| 107 |   - |  16k|  19k|   0 |   0 |   0 |  18 |   0 | 0.000000e+00 |      --      |    Inf 
1633.72/1633.73	c  1608s|260000 |259979 |     0 |   0.0 | 498M| 107 |   - |  16k|  19k|   0 |   0 |   0 |  20 |   0 | 0.000000e+00 |      --      |    Inf 
1692.93/1692.92	c  1666s|270000 |269979 |     0 |   0.0 | 513M| 107 |   - |  16k|  19k|   0 |   0 |   0 |  20 |   0 | 0.000000e+00 |      --      |    Inf 
1754.83/1754.87	c  1728s|280000 |279979 |     0 |   0.0 | 526M| 107 |   - |  16k|  19k|   0 |   0 |   0 |  20 |   0 | 0.000000e+00 |      --      |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.00	c Solving Time (sec) : 1772.05
1800.04/1800.00	c Solving Nodes      : 287294
1800.04/1800.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite
1800.04/1800.00	s UNKNOWN
1800.04/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.00	c Solving Time       :    1772.05
1800.04/1800.00	c Original Problem   :
1800.04/1800.00	c   Problem name     : HOME/instance-2693817-1277917158.wbo
1800.04/1800.00	c   Variables        : 30266 (19952 binary, 0 integer, 0 implicit integer, 10314 continuous)
1800.04/1800.00	c   Constraints      : 40535 initial, 40535 maximal
1800.04/1800.00	c Presolved Problem  :
1800.04/1800.00	c   Problem name     : t_HOME/instance-2693817-1277917158.wbo
1800.04/1800.00	c   Variables        : 16374 (10918 binary, 0 integer, 0 implicit integer, 5456 continuous)
1800.04/1800.00	c   Constraints      : 19799 initial, 19810 maximal
1800.04/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.00	c   trivial          :       0.03         68          0          0          0          0          0          0          0
1800.04/1800.00	c   dualfix          :       0.02      10286          0          0          0          0          0          0          0
1800.04/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.00	c   implics          :       0.04          0          0          0          0          0          0          0          0
1800.04/1800.00	c   probing          :       5.32          0          1          0          0          0          0          0          0
1800.04/1800.00	c   indicator        :       0.22          0          0          0          0          0       4858          0          0
1800.04/1800.00	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.00	c   knapsack         :       0.01          0          0          0          0          0          0          0          7
1800.04/1800.00	c   linear           :       0.44       2539        998          0       8063          0      15878          0          0
1800.04/1800.00	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.00	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.00	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c   indicator        :       5456          0    2005552          0     287283          0     282492          0          0          0
1800.04/1800.00	c   varbound         :        521          0    2005552          0     287283          0      86666          0          0          0
1800.04/1800.00	c   knapsack         :        197          0    2005552          0     287283          1     719890          0          0          0
1800.04/1800.00	c   linear           :       4935          0    2005551          0     287283          0     128626          0          0          0
1800.04/1800.00	c   logicor          :       8690+         0    1835961          0     287283         10    4935222          0          0          0
1800.04/1800.00	c   countsols        :          0          0          0          0     287283          0          0          0          0          0
1800.04/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.00	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.00	c   indicator        :     340.84       0.00     147.23       0.00     193.61
1800.04/1800.00	c   varbound         :      13.53       0.00      13.51       0.00       0.02
1800.04/1800.00	c   knapsack         :      15.64       0.00      10.89       0.00       4.75
1800.04/1800.00	c   linear           :     122.09       0.00     121.54       0.00       0.55
1800.04/1800.00	c   logicor          :     400.99       0.00      16.56       0.00     384.43
1800.04/1800.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.00	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.00	c   vbounds          :      72.18     721327          0      69157
1800.04/1800.00	c   rootredcost      :       0.01          0          0          0
1800.04/1800.00	c   pseudoobj        :     258.75    1992459          0          0
1800.04/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.00	c   propagation      :       0.00         11         11         15        5.4          5        4.0          -
1800.04/1800.00	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.00	c   applied globally :          -          -          -         20        5.0          -          -          -
1800.04/1800.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.00	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.04/1800.00	c   redcost          :       0.00          0          0          0          0          0
1800.04/1800.00	c   impliedbounds    :       0.00          0          0          0          0          0
1800.04/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.00	c   gomory           :       0.00          0          0          0          0          0
1800.04/1800.00	c   strongcg         :       0.00          0          0          0          0          0
1800.04/1800.00	c   cmir             :       0.00          0          0          0          0          0
1800.04/1800.00	c   flowcover        :       0.00          0          0          0          0          0
1800.04/1800.00	c   clique           :       0.00          0          0          0          0          0
1800.04/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.00	c   mcf              :       0.00          0          0          0          0          0
1800.04/1800.00	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.00	c Pricers            :       Time      Calls       Vars
1800.04/1800.00	c   problem variables:       0.00          0          0
1800.04/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.00	c   relpscost        :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   inference        :     510.49     287283          0          0          0          0     574566
1800.04/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.00	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.00	c   LP solutions     :       0.00          -          0
1800.04/1800.00	c   pseudo solutions :       0.00          -          0
1800.04/1800.00	c   oneopt           :       0.03          0          0
1800.04/1800.00	c   trivial          :       0.29          2          0
1800.04/1800.00	c   simplerounding   :       0.00          0          0
1800.04/1800.00	c   zirounding       :       0.00          0          0
1800.04/1800.00	c   rounding         :       0.00          0          0
1800.04/1800.00	c   shifting         :       0.00          0          0
1800.04/1800.00	c   intshifting      :       0.00          0          0
1800.04/1800.00	c   twoopt           :       0.00          0          0
1800.04/1800.00	c   fixandinfer      :       0.00          0          0
1800.04/1800.00	c   feaspump         :       0.00          0          0
1800.04/1800.00	c   coefdiving       :       0.00          0          0
1800.04/1800.00	c   pscostdiving     :       0.00          0          0
1800.04/1800.00	c   fracdiving       :       0.00          0          0
1800.04/1800.00	c   veclendiving     :       0.00          0          0
1800.04/1800.00	c   intdiving        :       0.00          0          0
1800.04/1800.00	c   actconsdiving    :       0.00          0          0
1800.04/1800.00	c   objpscostdiving  :       0.00          0          0
1800.04/1800.00	c   rootsoldiving    :       0.00          0          0
1800.04/1800.00	c   linesearchdiving :       0.00          0          0
1800.04/1800.00	c   guideddiving     :       0.00          0          0
1800.04/1800.00	c   octane           :       0.00          0          0
1800.04/1800.00	c   rens             :       0.00          0          0
1800.04/1800.00	c   rins             :       0.00          0          0
1800.04/1800.00	c   localbranching   :       0.00          0          0
1800.04/1800.00	c   mutation         :       0.00          0          0
1800.04/1800.00	c   crossover        :       0.00          0          0
1800.04/1800.00	c   dins             :       0.00          0          0
1800.04/1800.00	c   undercover       :       0.00          0          0
1800.04/1800.00	c   nlp              :       0.19          0          0
1800.04/1800.00	c   trysol           :       0.00          1          0
1800.04/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.00	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.00	c   dual LP          :       0.00          0          0       0.00          -
1800.04/1800.00	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.00	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.00	c   diving/probing LP:       0.00          0          0       0.00          -
1800.04/1800.00	c   strong branching :       0.00          0          0       0.00          -
1800.04/1800.00	c     (at root node) :          -          0          0       0.00          -
1800.04/1800.00	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.00	c B&B Tree           :
1800.04/1800.00	c   number of runs   :          1
1800.04/1800.00	c   nodes            :     287294
1800.04/1800.00	c   nodes (total)    :     287294
1800.04/1800.00	c   nodes left       :     287273
1800.04/1800.00	c   max depth        :        107
1800.04/1800.00	c   max depth (total):        107
1800.04/1800.00	c   backtracks       :       5067 (1.8%)
1800.04/1800.00	c   delayed cutoffs  :          0
1800.04/1800.00	c   repropagations   :        198 (98 domain reductions, 0 cutoffs)
1800.04/1800.00	c   avg switch length:       2.49
1800.04/1800.00	c   switching time   :      24.49
1800.04/1800.00	c Solution           :
1800.04/1800.00	c   Solutions found  :          0 (0 improvements)
1800.04/1800.00	c   Primal Bound     :          -
1800.04/1800.00	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.00	c   Gap              :   infinite
1800.04/1800.00	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.00	c   Root Iterations  :          0
1800.63/1800.60	c Time complete: 1800.63.

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-2693817-1277917158/watcher-2693817-1277917158 -o /tmp/evaluation-result-2693817-1277917158/solver-2693817-1277917158 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693817-1277917158.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.95 2.01 2.00 3/182 14659
/proc/meminfo: memFree=31039760/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=8300 CPUtime=0
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 1553 0 0 0 0 0 0 0 22 0 1 0 133011994 8499200 1476 4089446400 4194304 7136930 140733373414464 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14659/statm: 2075 1476 275 719 0 1354 0

[startup+0.0988419 s]
/proc/loadavg: 1.95 2.01 2.00 3/182 14659
/proc/meminfo: memFree=31039760/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=26764 CPUtime=0.08
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 6193 0 0 0 8 0 0 0 22 0 1 0 133011994 27406336 6116 4089446400 4194304 7136930 140733373414464 18446744073709551615 6326773 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14659/statm: 6691 6116 275 719 0 5970 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26764

[startup+0.100834 s]
/proc/loadavg: 1.95 2.01 2.00 3/182 14659
/proc/meminfo: memFree=31039760/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=26764 CPUtime=0.09
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 6194 0 0 0 9 0 0 0 22 0 1 0 133011994 27406336 6117 4089446400 4194304 7136930 140733373414464 18446744073709551615 6303940 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14659/statm: 6691 6117 275 719 0 5970 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26764

[startup+0.300804 s]
/proc/loadavg: 1.95 2.01 2.00 3/182 14659
/proc/meminfo: memFree=31039760/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=79748 CPUtime=0.29
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 19729 0 0 0 27 2 0 0 22 0 1 0 133011994 81661952 19262 4089446400 4194304 7136930 140733373414464 18446744073709551615 4668100 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14659/statm: 19937 19269 289 719 0 19216 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 79748

[startup+0.700735 s]
/proc/loadavg: 1.95 2.01 2.00 3/182 14659
/proc/meminfo: memFree=31039760/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=124212 CPUtime=0.69
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 30099 0 0 0 65 4 0 0 24 0 1 0 133011994 127193088 29632 4089446400 4194304 7136930 140733373414464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14659/statm: 31053 29632 346 719 0 30332 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 124212

[startup+1.50059 s]
/proc/loadavg: 1.95 2.01 2.00 3/183 14660
/proc/meminfo: memFree=30909924/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=138288 CPUtime=1.49
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 36921 0 0 0 130 19 0 0 25 0 1 0 133011994 141606912 33113 4089446400 4194304 7136930 140733373414464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14659/statm: 34572 33113 351 719 0 33851 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 138288

[startup+3.10031 s]
/proc/loadavg: 1.95 2.01 2.00 3/183 14660
/proc/meminfo: memFree=30904716/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=146688 CPUtime=3.09
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 42582 0 0 0 279 30 0 0 25 0 1 0 133011994 150208512 35243 4089446400 4194304 7136930 140733373414464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14659/statm: 36672 35243 390 719 0 35951 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 146688

[startup+6.30074 s]
/proc/loadavg: 1.96 2.01 2.00 3/183 14660
/proc/meminfo: memFree=30902220/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=147980 CPUtime=6.29
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 42917 0 0 0 591 38 0 0 25 0 1 0 133011994 151531520 35578 4089446400 4194304 7136930 140733373414464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14659/statm: 36995 35578 396 719 0 36274 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 147980

[startup+12.7006 s]
/proc/loadavg: 1.96 2.01 2.00 3/183 14660
/proc/meminfo: memFree=30897780/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=152896 CPUtime=12.69
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 44378 0 0 0 1220 49 0 0 25 0 1 0 133011994 156565504 36632 4089446400 4194304 7136930 140733373414464 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14659/statm: 38224 36632 406 719 0 37503 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 152896

[startup+25.5003 s]
/proc/loadavg: 1.97 2.00 2.00 3/183 14661
/proc/meminfo: memFree=30894720/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=157364 CPUtime=25.49
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 45473 0 0 0 2484 65 0 0 25 0 1 0 133011994 161140736 37727 4089446400 4194304 7136930 140733373414464 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14659/statm: 39341 37727 410 719 0 38620 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 157364

[startup+51.1008 s]
/proc/loadavg: 1.98 2.00 2.00 3/183 14662
/proc/meminfo: memFree=30887624/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=165176 CPUtime=51.09
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 47398 0 0 0 5005 104 0 0 25 0 1 0 133011994 169140224 39652 4089446400 4194304 7136930 140733373414464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14659/statm: 41294 39652 410 719 0 40573 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 165176

[startup+102.307 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 14663
/proc/meminfo: memFree=30862556/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=187988 CPUtime=102.29
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 53034 0 0 0 10048 181 0 0 25 0 1 0 133011994 192499712 45288 4089446400 4194304 7136930 140733373414464 18446744073709551615 5511684 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14659/statm: 46997 45288 410 719 0 46276 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 187988

[startup+162.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 14673
/proc/meminfo: memFree=30846920/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=204648 CPUtime=162.29
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 57170 0 0 0 15957 272 0 0 25 0 1 0 133011994 209559552 49424 4089446400 4194304 7136930 140733373414464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14659/statm: 51162 49424 410 719 0 50441 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 204648

[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 14675
/proc/meminfo: memFree=30818876/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=225260 CPUtime=222.29
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 62352 0 0 0 21870 359 0 0 25 0 1 0 133011994 230666240 54606 4089446400 4194304 7136930 140733373414464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14659/statm: 56315 54606 410 719 0 55594 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 225260

[startup+282.301 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 14677
/proc/meminfo: memFree=30807432/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=237316 CPUtime=282.29
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 65379 0 0 0 27782 447 0 0 25 0 1 0 133011994 243011584 57633 4089446400 4194304 7136930 140733373414464 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14659/statm: 59329 57633 410 719 0 58608 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 237316

[startup+342.301 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 14679
/proc/meminfo: memFree=30785084/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=255348 CPUtime=342.29
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 69894 0 0 0 33686 543 0 0 25 0 1 0 133011994 261476352 62148 4089446400 4194304 7136930 140733373414464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14659/statm: 63837 62148 410 719 0 63116 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 255348

[startup+402.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/183 14680
/proc/meminfo: memFree=30768408/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=274240 CPUtime=402.3
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 74578 0 0 0 39589 641 0 0 25 0 1 0 133011994 280821760 66832 4089446400 4194304 7136930 140733373414464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14659/statm: 68560 66832 410 719 0 67839 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 274240

[startup+462.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 14681
/proc/meminfo: memFree=30732548/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=299076 CPUtime=462.3
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 80275 0 0 0 45485 745 0 0 25 0 1 0 133011994 306253824 72529 4089446400 4194304 7136930 140733373414464 18446744073709551615 5507212 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14659/statm: 74769 72529 410 719 0 74048 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 299076

[startup+522.301 s]
/proc/loadavg: 2.15 2.07 2.01 3/183 14683
/proc/meminfo: memFree=30709928/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=313140 CPUtime=522.3
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 83845 0 0 0 51383 847 0 0 25 0 1 0 133011994 320655360 76099 4089446400 4194304 7136930 140733373414464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14659/statm: 78285 76099 410 719 0 77564 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 313140

[startup+582.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/183 14685
/proc/meminfo: memFree=30673560/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=333204 CPUtime=582.3
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 88885 0 0 0 57283 947 0 0 25 0 1 0 133011994 341200896 81139 4089446400 4194304 7136930 140733373414464 18446744073709551615 5506768 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14659/statm: 83301 81139 410 719 0 82580 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 333204

[startup+642.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 14687
/proc/meminfo: memFree=30632860/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=354080 CPUtime=642.31
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 94008 0 0 0 63187 1044 0 0 25 0 1 0 133011994 362577920 86262 4089446400 4194304 7136930 140733373414464 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14659/statm: 88520 86262 410 719 0 87799 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 354080

[startup+702.301 s]

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

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14695
/proc/meminfo: memFree=30480280/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=431284 CPUtime=942.31
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 113372 0 0 0 92707 1524 0 0 25 0 1 0 133011994 441634816 105626 4089446400 4194304 7136930 140733373414464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14659/statm: 107821 105626 410 719 0 107100 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 431284

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14696
/proc/meminfo: memFree=30458800/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=445888 CPUtime=1002.31
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 117050 0 0 0 98613 1618 0 0 25 0 1 0 133011994 456589312 109304 4089446400 4194304 7136930 140733373414464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14659/statm: 111472 109304 410 719 0 110751 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 445888

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14697
/proc/meminfo: memFree=30435708/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=459996 CPUtime=1062.32
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 120575 0 0 0 104523 1709 0 0 25 0 1 0 133011994 471035904 112829 4089446400 4194304 7136930 140733373414464 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14659/statm: 114999 112829 410 719 0 114278 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 459996

[startup+1122.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/183 14699
/proc/meminfo: memFree=30412868/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=473004 CPUtime=1122.32
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 123762 0 0 0 110431 1801 0 0 25 0 1 0 133011994 484356096 116016 4089446400 4194304 7136930 140733373414464 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14659/statm: 118251 116016 410 719 0 117530 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 473004

[startup+1182.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 14701
/proc/meminfo: memFree=30399444/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=484540 CPUtime=1182.31
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 126671 0 0 0 116338 1893 0 0 25 0 1 0 133011994 496168960 118925 4089446400 4194304 7136930 140733373414464 18446744073709551615 5892349 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14659/statm: 121135 118925 410 719 0 120414 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 484540

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14703
/proc/meminfo: memFree=30381560/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=498592 CPUtime=1242.32
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 129231 0 0 0 122245 1987 0 0 25 0 1 0 133011994 510558208 121485 4089446400 4194304 7136930 140733373414464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14659/statm: 124648 121485 410 719 0 123927 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 498592

[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 14704
/proc/meminfo: memFree=30352012/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=514492 CPUtime=1302.33
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 133219 0 0 0 128157 2076 0 0 25 0 1 0 133011994 526839808 125473 4089446400 4194304 7136930 140733373414464 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14659/statm: 128623 125473 410 719 0 127902 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 514492

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/201 14778
/proc/meminfo: memFree=30494512/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=533884 CPUtime=1362.31
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 138080 0 0 0 134063 2168 0 0 25 0 1 0 133011994 546697216 130334 4089446400 4194304 7136930 140733373414464 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14659/statm: 133471 130334 410 719 0 132750 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 533884

[startup+1422.31 s]
/proc/loadavg: 2.04 2.03 2.00 3/201 14780
/proc/meminfo: memFree=30453088/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=546588 CPUtime=1422.32
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 141315 0 0 0 139979 2253 0 0 25 0 1 0 133011994 559706112 133569 4089446400 4194304 7136930 140733373414464 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14659/statm: 136647 133569 410 719 0 135926 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 546588

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/201 14782
/proc/meminfo: memFree=30415836/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=559020 CPUtime=1482.32
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 144448 0 0 0 145898 2334 0 0 25 0 1 0 133011994 572436480 136702 4089446400 4194304 7136930 140733373414464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14659/statm: 139755 136702 410 719 0 139034 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 559020

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/201 14784
/proc/meminfo: memFree=30380076/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=569872 CPUtime=1542.32
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 147176 0 0 0 151817 2415 0 0 25 0 1 0 133011994 583548928 139430 4089446400 4194304 7136930 140733373414464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14659/statm: 142468 139430 410 719 0 141747 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 569872

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/201 14785
/proc/meminfo: memFree=30318036/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=585064 CPUtime=1602.33
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 150953 0 0 0 157733 2500 0 0 25 0 1 0 133011994 599105536 143207 4089446400 4194304 7136930 140733373414464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14659/statm: 146266 143207 410 719 0 145545 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 585064

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/201 14786
/proc/meminfo: memFree=30307332/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=595564 CPUtime=1662.32
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 153551 0 0 0 163644 2588 0 0 25 0 1 0 133011994 609857536 145805 4089446400 4194304 7136930 140733373414464 18446744073709551615 4697135 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14659/statm: 148891 145805 410 719 0 148170 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 595564

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/201 14788
/proc/meminfo: memFree=30296244/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=606280 CPUtime=1722.32
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 156301 0 0 0 169563 2669 0 0 25 0 1 0 133011994 620830720 148555 4089446400 4194304 7136930 140733373414464 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14659/statm: 151570 148555 410 719 0 150849 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 606280

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/201 14790
/proc/meminfo: memFree=30278584/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=623544 CPUtime=1782.33
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 160606 0 0 0 175481 2752 0 0 25 0 1 0 133011994 638509056 152860 4089446400 4194304 7136930 140733373414464 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14659/statm: 155886 152860 410 719 0 155165 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 623544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/201 14790
/proc/meminfo: memFree=30271620/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=630556 CPUtime=1800.04
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 162348 0 0 0 177229 2775 0 0 25 0 1 0 133011994 645689344 154602 4089446400 4194304 7136930 140733373414464 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14659/statm: 157639 154602 410 719 0 156918 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 630556

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.01 2.01 2.00 3/201 14790
/proc/meminfo: memFree=30271620/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=630556 CPUtime=1800.23
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 162354 0 0 0 177248 2775 0 0 18 0 1 0 133011994 645689344 154608 4089446400 4194304 7136930 140733373414464 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14659/statm: 157639 154608 416 719 0 156918 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 630556

[startup+1800.6 s]
/proc/loadavg: 2.01 2.01 2.00 3/202 14791
/proc/meminfo: memFree=30834076/32951124 swapFree=67111528/67111528
[pid=14659] ppid=14657 vsize=25040 CPUtime=1800.63
/proc/14659/stat : 14659 (pbscip.linux.x8) R 14657 14659 14634 0 -1 4202496 162361 0 0 0 177286 2777 0 0 18 0 1 0 133011994 25640960 5930 4089446400 4194304 7136930 140733373414464 18446744073709551615 6325239 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14659/statm: 6260 5930 423 719 0 5539 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (KiB) 25040

Child status: 0
Real time (s): 1800.61
CPU time (s): 1800.65
CPU user time (s): 1772.87
CPU system time (s): 27.7778
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 630556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1772.87
system time used= 27.7778
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162361
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= 2
involuntary context switches= 1968

runsolver used 2.83057 second user time and 7.00693 second system time

The end

Launcher Data 

Begin job on node132 at 2010-06-30 18:59:18
IDJOB=2693817
IDBENCH=79085
IDSOLVER=1206
FILE ID=node132/2693817-1277917158
PBS_JOBID= 11197348
Free space on /tmp= 74132 MiB

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

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

MD5SUM BENCH= 257e79f814ec2395c606dee738edc728
RANDOM SEED=996272042

node132.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.810
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.62
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.810
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.810
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.82
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.810
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.75
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.810
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.810
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.810
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.75
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.810
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31040660 kB
Buffers:        199340 kB
Cached:        1222536 kB
SwapCached:          0 kB
Active:         888772 kB
Inactive:       875200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31040660 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3968 kB
Writeback:           0 kB
AnonPages:      342080 kB
Mapped:          17420 kB
Slab:            82312 kB
PageTables:       5400 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   514760 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74128 MiB
End job on node132 at 2010-06-30 19:29:21