Trace number 2693773

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.48 1800.46

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j301_4-unsat--soft-33-100-0.wbo
MD5SUM55bc063057ce6e5238203b79e8fa6b9b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark0.049991
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3844
Total number of constraints11854
Number of soft constraints7954
Number of constraints which are clauses11610
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints244
Minimum length of a constraint1
Maximum length of a constraint13
Top cost 399620
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 399619
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 99
Number of bits of the biggest sum of numbers7
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-2693773-1277916454.wbo>
0.09/0.12	c original problem has 19752 variables (11798 bin, 0 int, 0 impl, 7954 cont) and 19809 constraints
0.09/0.12	c problem read
0.09/0.12	c presolving settings loaded
0.09/0.12	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.29/0.36	c presolving:
0.39/0.40	c (round 1) 176 del vars, 498 del conss, 95 chg bounds, 59 chg sides, 60 chg coeffs, 0 upgd conss, 26946 impls, 0 clqs
0.39/0.43	c (round 2) 495 del vars, 1260 del conss, 134 chg bounds, 59 chg sides, 60 chg coeffs, 0 upgd conss, 26978 impls, 0 clqs
0.39/0.45	c (round 3) 1098 del vars, 1770 del conss, 150 chg bounds, 59 chg sides, 60 chg coeffs, 0 upgd conss, 27012 impls, 0 clqs
0.39/0.46	c (round 4) 1560 del vars, 1941 del conss, 156 chg bounds, 59 chg sides, 60 chg coeffs, 0 upgd conss, 27012 impls, 0 clqs
0.39/0.47	c (round 5) 1710 del vars, 2003 del conss, 156 chg bounds, 59 chg sides, 60 chg coeffs, 0 upgd conss, 27012 impls, 0 clqs
0.39/0.49	c (round 6) 1770 del vars, 2009 del conss, 7389 chg bounds, 59 chg sides, 60 chg coeffs, 0 upgd conss, 27012 impls, 0 clqs
0.49/0.55	c (round 7) 1776 del vars, 2009 del conss, 7389 chg bounds, 59 chg sides, 60 chg coeffs, 3517 upgd conss, 27012 impls, 0 clqs
1.79/1.88	c    (1.6s) probing: 1000/10743 (9.3%) - 0 fixings, 0 aggregations, 1885 implications, 0 bound changes
2.99/3.03	c    (2.8s) probing: 2000/10743 (18.6%) - 0 fixings, 0 aggregations, 2130 implications, 0 bound changes
2.99/3.03	c    (2.8s) probing: 2001/10743 (18.6%) - 0 fixings, 0 aggregations, 2131 implications, 0 bound changes
2.99/3.03	c    (2.8s) probing aborted: 2000/2000 successive useless probings
2.99/3.03	c presolving (8 rounds):
2.99/3.03	c  1776 deleted vars, 2009 deleted constraints, 7389 tightened bounds, 0 added holes, 59 changed sides, 63 changed coefficients
2.99/3.03	c  32877 implications, 132 cliques
2.99/3.03	c presolved problem has 17976 variables (10743 bin, 0 int, 0 impl, 7233 cont) and 17800 constraints
2.99/3.03	c    7233 constraints of type <indicator>
2.99/3.03	c     183 constraints of type <varbound>
2.99/3.03	c      50 constraints of type <knapsack>
2.99/3.03	c    7050 constraints of type <linear>
2.99/3.03	c    3284 constraints of type <logicor>
2.99/3.03	c transformed objective value is always integral (scale: 1)
2.99/3.03	c Presolving Time: 2.73
2.99/3.03	c - non default parameters ----------------------------------------------------------------------
2.99/3.03	c # SCIP version 1.2.1.2
2.99/3.03	c 
2.99/3.03	c # frequency for displaying node information lines
2.99/3.03	c # [type: int, range: [-1,2147483647], default: 100]
2.99/3.03	c display/freq = 10000
2.99/3.03	c 
2.99/3.03	c # maximal time in seconds to run
2.99/3.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.99/3.03	c limits/time = 1799.89
2.99/3.03	c 
2.99/3.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.99/3.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.99/3.03	c limits/memory = 3420
2.99/3.03	c 
2.99/3.03	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.99/3.03	c # [type: int, range: [-1,2147483647], default: 1]
2.99/3.03	c lp/solvefreq = -1
2.99/3.03	c 
2.99/3.03	c # should presolving try to simplify inequalities
2.99/3.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.03	c constraints/linear/simplifyinequalities = TRUE
2.99/3.03	c 
2.99/3.03	c # should presolving try to simplify knapsacks
2.99/3.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.03	c constraints/knapsack/simplifyinequalities = TRUE
2.99/3.03	c 
2.99/3.03	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.99/3.03	c # [type: int, range: [-1,2147483647], default: -1]
2.99/3.03	c separating/rapidlearning/freq = 0
2.99/3.03	c 
2.99/3.03	c -----------------------------------------------------------------------------------------------
2.99/3.03	c start solving
2.99/3.03	c 
2.99/3.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.99/3.07	c   2.8s|     1 |     2 |     0 |     - |  61M|   0 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
54.49/54.59	c  53.7s| 10000 | 10001 |     0 |   0.0 |  69M|  81 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
104.58/104.67	c   103s| 20000 | 20001 |     0 |   0.0 |  77M|  87 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
153.69/153.73	c   152s| 30000 | 30001 |     0 |   0.0 |  84M|  99 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
202.98/203.06	c   200s| 40000 | 40001 |     0 |   0.0 |  91M|  99 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
251.19/251.27	c   248s| 50000 | 50001 |     0 |   0.0 |  98M| 117 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
299.09/299.20	c   295s| 60000 | 60001 |     0 |   0.0 | 104M| 117 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
346.20/346.22	c   342s| 70000 | 70001 |     0 |   0.0 | 111M| 117 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
392.90/392.91	c   388s| 80000 | 80001 |     0 |   0.0 | 117M| 129 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
439.59/439.66	c   434s| 90000 | 90001 |     0 |   0.0 | 123M| 129 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
486.39/486.40	c   480s|100000 |100001 |     0 |   0.0 | 129M| 129 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
533.19/533.23	c   527s|110000 |110001 |     0 |   0.0 | 136M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
579.90/579.96	c   573s|120000 |120001 |     0 |   0.0 | 142M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
627.30/627.30	c   620s|130000 |130001 |     0 |   0.0 | 149M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
674.49/674.56	c   667s|140000 |140001 |     0 |   0.0 | 155M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
721.40/721.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
721.40/721.47	c   713s|150000 |150001 |     0 |   0.0 | 161M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
768.10/768.17	c   759s|160000 |160001 |     0 |   0.0 | 167M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
814.80/814.82	c   805s|170000 |170001 |     0 |   0.0 | 173M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
861.10/861.11	c   851s|180000 |180001 |     0 |   0.0 | 179M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
907.41/907.44	c   897s|190000 |190001 |     0 |   0.0 | 186M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
953.80/953.83	c   943s|200000 |200001 |     0 |   0.0 | 192M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1000.91/1000.97	c   989s|210000 |210001 |     0 |   0.0 | 198M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1047.90/1047.93	c  1036s|220000 |220001 |     0 |   0.0 | 205M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1095.51/1095.50	c  1083s|230000 |230001 |     0 |   0.0 | 211M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1142.30/1142.31	c  1129s|240000 |240001 |     0 |   0.0 | 217M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1188.91/1188.98	c  1175s|250000 |250001 |     0 |   0.0 | 223M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1235.51/1235.53	c  1221s|260000 |260001 |     0 |   0.0 | 230M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1282.00/1282.01	c  1267s|270000 |270001 |     0 |   0.0 | 236M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1328.31/1328.35	c  1313s|280000 |280001 |     0 |   0.0 | 242M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1374.81/1374.83	c  1359s|290000 |290001 |     0 |   0.0 | 248M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1421.21/1421.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1421.21/1421.28	c  1405s|300000 |300001 |     0 |   0.0 | 254M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1467.61/1467.61	c  1451s|310000 |310001 |     0 |   0.0 | 260M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1513.81/1513.85	c  1496s|320000 |320001 |     0 |   0.0 | 266M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1560.11/1560.17	c  1542s|330000 |330001 |     0 |   0.0 | 272M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1606.31/1606.37	c  1588s|340000 |340001 |     0 |   0.0 | 279M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1652.72/1652.70	c  1634s|350000 |350001 |     0 |   0.0 | 285M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1698.91/1698.96	c  1680s|360000 |360001 |     0 |   0.0 | 291M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1745.22/1745.23	c  1725s|370000 |370001 |     0 |   0.0 | 297M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1791.41/1791.44	c  1771s|380000 |380001 |     0 |   0.0 | 303M| 139 |   - |  17k|  17k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1800.02/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00	c 
1800.02/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.00	c Solving Time (sec) : 1779.44
1800.02/1800.00	c Solving Nodes      : 381864
1800.02/1800.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.02/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.02/1800.00	c Gap                : infinite
1800.02/1800.00	s UNKNOWN
1800.02/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.00	c Solving Time       :    1779.44
1800.02/1800.00	c Original Problem   :
1800.02/1800.00	c   Problem name     : HOME/instance-2693773-1277916454.wbo
1800.02/1800.00	c   Variables        : 19752 (11798 binary, 0 integer, 0 implicit integer, 7954 continuous)
1800.02/1800.00	c   Constraints      : 19809 initial, 19809 maximal
1800.02/1800.00	c Presolved Problem  :
1800.02/1800.00	c   Problem name     : t_HOME/instance-2693773-1277916454.wbo
1800.02/1800.00	c   Variables        : 17976 (10743 binary, 0 integer, 0 implicit integer, 7233 continuous)
1800.02/1800.00	c   Constraints      : 17800 initial, 17800 maximal
1800.02/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.00	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.02/1800.00	c   dualfix          :       0.01       1521          0          0          0          0          0          0          0
1800.02/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.00	c   implics          :       0.02          0          0          0          0          0          0          0          0
1800.02/1800.00	c   probing          :       2.40          0          0          0          0          0          0          0          0
1800.02/1800.00	c   indicator        :       0.02          0          0          0          0          0        721          0          0
1800.02/1800.00	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.00	c   knapsack         :       0.00          0          0          0          0          0          0          0          3
1800.02/1800.00	c   linear           :       0.08        156         99          0       7389          0       1288         59         60
1800.02/1800.00	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.02/1800.00	c   root node        :          -          0          -          -          0          -          -          -          -
1800.02/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.00	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.02/1800.00	c   indicator        :       7233          0    1171772          0     381864          0     274658          0          0          0
1800.02/1800.00	c   varbound         :        183          0    1171772          0     381864          0     216436          0          0          0
1800.02/1800.00	c   knapsack         :         50          0    1171772          0     381864          0      16690          0          0          0
1800.02/1800.00	c   linear           :       7050          0    1171772          0     381864          0      43185          0          0          0
1800.02/1800.00	c   logicor          :       3284          0     848711          0     381864          0    1178238          0          0          0
1800.02/1800.00	c   countsols        :          0          0          0          0     381864          0          0          0          0          0
1800.02/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.00	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.00	c   indicator        :     448.36       0.00     130.93       0.00     317.43
1800.02/1800.00	c   varbound         :       3.99       0.00       3.92       0.00       0.07
1800.02/1800.00	c   knapsack         :       9.66       0.00       1.54       0.00       8.12
1800.02/1800.00	c   linear           :     130.25       0.00     129.71       0.00       0.54
1800.02/1800.00	c   logicor          :     266.64       0.00       5.60       0.00     261.04
1800.02/1800.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.00	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.00	c   vbounds          :      21.55     377730          0      15501
1800.02/1800.00	c   rootredcost      :       0.01          0          0          0
1800.02/1800.00	c   pseudoobj        :     212.90    1166990          0          0
1800.02/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.00	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.02/1800.00	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.02/1800.00	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.02/1800.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.02/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.00	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.02/1800.00	c   redcost          :       0.00          0          0          0          0          0
1800.02/1800.00	c   impliedbounds    :       0.00          0          0          0          0          0
1800.02/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.00	c   gomory           :       0.00          0          0          0          0          0
1800.02/1800.00	c   strongcg         :       0.00          0          0          0          0          0
1800.02/1800.00	c   cmir             :       0.00          0          0          0          0          0
1800.02/1800.00	c   flowcover        :       0.00          0          0          0          0          0
1800.02/1800.00	c   clique           :       0.00          0          0          0          0          0
1800.02/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.00	c   mcf              :       0.00          0          0          0          0          0
1800.02/1800.00	c   rapidlearning    :       0.00          0          0          0          0          0
1800.02/1800.00	c Pricers            :       Time      Calls       Vars
1800.02/1800.00	c   problem variables:       0.00          0          0
1800.02/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.00	c   relpscost        :       0.00          0          0          0          0          0          0
1800.02/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.00	c   inference        :     660.88     381864          0          0          0          0     763728
1800.02/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.00	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.00	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.00	c   LP solutions     :       0.00          -          0
1800.02/1800.00	c   pseudo solutions :       0.00          -          0
1800.02/1800.00	c   oneopt           :       0.01          0          0
1800.02/1800.00	c   trivial          :       0.19          2          0
1800.02/1800.00	c   simplerounding   :       0.00          0          0
1800.02/1800.00	c   zirounding       :       0.00          0          0
1800.02/1800.00	c   rounding         :       0.00          0          0
1800.02/1800.00	c   shifting         :       0.00          0          0
1800.02/1800.00	c   intshifting      :       0.00          0          0
1800.02/1800.00	c   twoopt           :       0.00          0          0
1800.02/1800.00	c   fixandinfer      :       0.00          0          0
1800.02/1800.00	c   feaspump         :       0.00          0          0
1800.02/1800.00	c   coefdiving       :       0.00          0          0
1800.02/1800.00	c   pscostdiving     :       0.00          0          0
1800.02/1800.00	c   fracdiving       :       0.00          0          0
1800.02/1800.00	c   veclendiving     :       0.00          0          0
1800.02/1800.00	c   intdiving        :       0.00          0          0
1800.02/1800.00	c   actconsdiving    :       0.00          0          0
1800.02/1800.00	c   objpscostdiving  :       0.00          0          0
1800.02/1800.00	c   rootsoldiving    :       0.00          0          0
1800.02/1800.00	c   linesearchdiving :       0.00          0          0
1800.02/1800.00	c   guideddiving     :       0.00          0          0
1800.02/1800.00	c   octane           :       0.00          0          0
1800.02/1800.00	c   rens             :       0.00          0          0
1800.02/1800.00	c   rins             :       0.00          0          0
1800.02/1800.00	c   localbranching   :       0.00          0          0
1800.02/1800.00	c   mutation         :       0.00          0          0
1800.02/1800.00	c   crossover        :       0.00          0          0
1800.02/1800.00	c   dins             :       0.00          0          0
1800.02/1800.00	c   undercover       :       0.00          0          0
1800.02/1800.00	c   nlp              :       0.09          0          0
1800.02/1800.00	c   trysol           :       0.00          1          0
1800.02/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.01	c   primal LP        :       0.00          0          0       0.00          -
1800.02/1800.01	c   dual LP          :       0.00          0          0       0.00          -
1800.02/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.02/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.01	c   diving/probing LP:       0.00          0          0       0.00          -
1800.02/1800.01	c   strong branching :       0.00          0          0       0.00          -
1800.02/1800.01	c     (at root node) :          -          0          0       0.00          -
1800.02/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.01	c B&B Tree           :
1800.02/1800.01	c   number of runs   :          1
1800.02/1800.01	c   nodes            :     381864
1800.02/1800.01	c   nodes (total)    :     381864
1800.02/1800.01	c   nodes left       :     381865
1800.02/1800.01	c   max depth        :        139
1800.02/1800.01	c   max depth (total):        139
1800.02/1800.01	c   backtracks       :       5593 (1.5%)
1800.02/1800.01	c   delayed cutoffs  :          0
1800.02/1800.01	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.02/1800.01	c   avg switch length:       2.61
1800.02/1800.01	c   switching time   :      12.68
1800.02/1800.01	c Solution           :
1800.02/1800.01	c   Solutions found  :          0 (0 improvements)
1800.02/1800.01	c   Primal Bound     :          -
1800.02/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.02/1800.01	c   Gap              :   infinite
1800.02/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.02/1800.01	c   Root Iterations  :          0
1800.41/1800.46	c Time complete: 1800.47.

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-2693773-1277916454/watcher-2693773-1277916454 -o /tmp/evaluation-result-2693773-1277916454/solver-2693773-1277916454 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693773-1277916454.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.96 2.00 2.00 3/178 12906
/proc/meminfo: memFree=31371208/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=8608 CPUtime=0
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 1649 0 0 0 0 0 0 0 21 0 1 0 132941749 8814592 1571 4089446400 4194304 7136930 140737222666240 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12906/statm: 2152 1571 275 719 0 1431 0

[startup+0.0491019 s]
/proc/loadavg: 1.96 2.00 2.00 3/178 12906
/proc/meminfo: memFree=31371208/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=20032 CPUtime=0.03
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 4515 0 0 0 3 0 0 0 21 0 1 0 132941749 20512768 4437 4089446400 4194304 7136930 140737222666240 18446744073709551615 6176941 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12906/statm: 5008 4437 275 719 0 4287 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 20032

[startup+0.101092 s]
/proc/loadavg: 1.96 2.00 2.00 3/178 12906
/proc/meminfo: memFree=31371208/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=31456 CPUtime=0.09
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 7172 0 0 0 8 1 0 0 21 0 1 0 132941749 32210944 7094 4089446400 4194304 7136930 140737222666240 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12906/statm: 7864 7127 275 719 0 7143 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31456

[startup+0.301059 s]
/proc/loadavg: 1.96 2.00 2.00 3/178 12906
/proc/meminfo: memFree=31371208/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=79588 CPUtime=0.29
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 19083 0 0 0 27 2 0 0 21 0 1 0 132941749 81498112 18615 4089446400 4194304 7136930 140737222666240 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12906/statm: 19897 18615 323 719 0 19176 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 79588

[startup+0.700993 s]
/proc/loadavg: 1.96 2.00 2.00 3/178 12906
/proc/meminfo: memFree=31371208/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=86552 CPUtime=0.69
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 24814 0 0 0 59 10 0 0 22 0 1 0 132941749 88629248 20521 4089446400 4194304 7136930 140737222666240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12906/statm: 21638 20521 393 719 0 20917 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86552

[startup+1.50086 s]
/proc/loadavg: 1.96 2.00 2.00 3/179 12907
/proc/meminfo: memFree=31290536/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=87068 CPUtime=1.49
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 24943 0 0 0 138 11 0 0 25 0 1 0 132941749 89157632 20649 4089446400 4194304 7136930 140737222666240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12906/statm: 21767 20649 392 719 0 21046 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87068

[startup+3.10059 s]
/proc/loadavg: 1.96 2.00 2.00 3/179 12907
/proc/meminfo: memFree=31289792/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=90456 CPUtime=3.09
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 25836 0 0 0 294 15 0 0 25 0 1 0 132941749 92626944 21354 4089446400 4194304 7136930 140737222666240 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12906/statm: 22614 21354 410 719 0 21893 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90456

[startup+6.30105 s]
/proc/loadavg: 1.96 2.00 2.00 3/179 12907
/proc/meminfo: memFree=31286880/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=91176 CPUtime=6.29
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 26002 0 0 0 611 18 0 0 25 0 1 0 132941749 93364224 21518 4089446400 4194304 7136930 140737222666240 18446744073709551615 4960011 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12906/statm: 22794 21518 408 719 0 22073 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91176

[startup+12.701 s]
/proc/loadavg: 1.96 2.00 2.00 3/179 12907
/proc/meminfo: memFree=31285020/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=92452 CPUtime=12.69
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 26326 0 0 0 1243 26 0 0 25 0 1 0 132941749 94670848 21842 4089446400 4194304 7136930 140737222666240 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12906/statm: 23113 21842 408 719 0 22392 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 92452

[startup+25.5008 s]
/proc/loadavg: 1.97 2.00 2.00 3/179 12909
/proc/meminfo: memFree=31282084/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=95256 CPUtime=25.5
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 27033 0 0 0 2509 41 0 0 25 0 1 0 132941749 97542144 22549 4089446400 4194304 7136930 140737222666240 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12906/statm: 23814 22549 408 719 0 23093 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 95256

[startup+51.1005 s]
/proc/loadavg: 1.98 2.00 2.00 3/179 12909
/proc/meminfo: memFree=31275360/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=99680 CPUtime=51.09
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 28174 0 0 0 5036 73 0 0 25 0 1 0 132941749 102072320 23690 4089446400 4194304 7136930 140737222666240 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12906/statm: 24920 23690 408 719 0 24199 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 99680

[startup+102.307 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 12911
/proc/meminfo: memFree=31257968/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=108776 CPUtime=102.29
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 30471 0 0 0 10097 132 0 0 25 0 1 0 132941749 111386624 25987 4089446400 4194304 7136930 140737222666240 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 27194 25987 408 719 0 26473 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 108776

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 12911
/proc/meminfo: memFree=31238704/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=120380 CPUtime=162.29
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 33433 0 0 0 16021 208 0 0 25 0 1 0 132941749 123269120 28949 4089446400 4194304 7136930 140737222666240 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 30095 28949 408 719 0 29374 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 120380

[startup+222.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 12913
/proc/meminfo: memFree=31225000/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=126616 CPUtime=222.29
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 35022 0 0 0 21948 281 0 0 25 0 1 0 132941749 129654784 30538 4089446400 4194304 7136930 140737222666240 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 31654 30538 408 719 0 30933 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 126616

[startup+282.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 12915
/proc/meminfo: memFree=31204244/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=137384 CPUtime=282.29
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 37754 0 0 0 27875 354 0 0 25 0 1 0 132941749 140681216 33270 4089446400 4194304 7136930 140737222666240 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 34346 33270 408 719 0 33625 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 137384

[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 12917
/proc/meminfo: memFree=31191556/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=147144 CPUtime=342.29
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 39755 0 0 0 33810 419 0 0 25 0 1 0 132941749 150675456 35271 4089446400 4194304 7136930 140737222666240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 36786 35271 408 719 0 36065 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 147144

[startup+402.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 12919
/proc/meminfo: memFree=31173780/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=155340 CPUtime=402.29
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 41847 0 0 0 39740 489 0 0 25 0 1 0 132941749 159068160 37363 4089446400 4194304 7136930 140737222666240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 38835 37363 408 719 0 38114 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 155340

[startup+462.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 12919
/proc/meminfo: memFree=31156012/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=162052 CPUtime=462.29
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 43590 0 0 0 45676 553 0 0 25 0 1 0 132941749 165941248 39106 4089446400 4194304 7136930 140737222666240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 40513 39106 408 719 0 39792 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 162052

[startup+522.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 12921
/proc/meminfo: memFree=31139480/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=169572 CPUtime=522.3
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 45522 0 0 0 51610 620 0 0 25 0 1 0 132941749 173641728 41038 4089446400 4194304 7136930 140737222666240 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 42393 41038 408 719 0 41672 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 169572

[startup+582.301 s]
/proc/loadavg: 2.07 2.01 2.00 3/179 12923
/proc/meminfo: memFree=31124824/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=177028 CPUtime=582.3
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 47434 0 0 0 57544 686 0 0 25 0 1 0 132941749 181276672 42950 4089446400 4194304 7136930 140737222666240 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 44257 42950 408 719 0 43536 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 177028

[startup+642.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12953
/proc/meminfo: memFree=31232556/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=188380 CPUtime=642.3
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 50302 0 0 0 63476 754 0 0 25 0 1 0 132941749 192901120 45818 4089446400 4194304 7136930 140737222666240 18446744073709551615 4436510 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 47095 45818 408 719 0 46374 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 188380

[startup+702.301 s]

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

[startup+942.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12970
/proc/meminfo: memFree=31125508/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=232304 CPUtime=942.3
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 60530 0 0 0 93145 1085 0 0 25 0 1 0 132941749 237879296 56046 4089446400 4194304 7136930 140737222666240 18446744073709551615 4827005 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 58076 56046 408 719 0 57355 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 232304

[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12972
/proc/meminfo: memFree=31105508/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=239492 CPUtime=1002.31
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 62377 0 0 0 99080 1151 0 0 25 0 1 0 132941749 245239808 57893 4089446400 4194304 7136930 140737222666240 18446744073709551615 4696962 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 59873 57893 408 719 0 59152 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 239492

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12972
/proc/meminfo: memFree=31089600/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=246992 CPUtime=1062.3
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 64301 0 0 0 105009 1221 0 0 25 0 1 0 132941749 252919808 59817 4089446400 4194304 7136930 140737222666240 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 61748 59817 408 719 0 61027 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 246992

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12974
/proc/meminfo: memFree=31071964/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=255408 CPUtime=1122.31
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 66447 0 0 0 110945 1286 0 0 25 0 1 0 132941749 261537792 61963 4089446400 4194304 7136930 140737222666240 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 63852 61963 408 719 0 63131 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 255408

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12976
/proc/meminfo: memFree=31053328/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=263800 CPUtime=1182.31
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 68569 0 0 0 116876 1355 0 0 25 0 1 0 132941749 270131200 64085 4089446400 4194304 7136930 140737222666240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 65950 64085 408 719 0 65229 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 263800

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 12978
/proc/meminfo: memFree=31033568/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=269476 CPUtime=1242.31
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 70071 0 0 0 122808 1423 0 0 25 0 1 0 132941749 275943424 65587 4089446400 4194304 7136930 140737222666240 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 67369 65587 408 719 0 66648 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 269476

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12980
/proc/meminfo: memFree=31012560/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=281340 CPUtime=1302.31
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 73055 0 0 0 128743 1488 0 0 25 0 1 0 132941749 288092160 68571 4089446400 4194304 7136930 140737222666240 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 70335 68571 408 719 0 69614 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 281340

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12980
/proc/meminfo: memFree=30996408/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=288984 CPUtime=1362.31
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 75032 0 0 0 134676 1555 0 0 25 0 1 0 132941749 295919616 70548 4089446400 4194304 7136930 140737222666240 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 72246 70548 408 719 0 71525 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 288984

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12982
/proc/meminfo: memFree=30979504/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=295952 CPUtime=1422.32
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 76828 0 0 0 140612 1620 0 0 25 0 1 0 132941749 303054848 72344 4089446400 4194304 7136930 140737222666240 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 73988 72344 408 719 0 73267 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 295952

[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 12984
/proc/meminfo: memFree=30956664/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=308552 CPUtime=1482.31
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 80032 0 0 0 146540 1691 0 0 25 0 1 0 132941749 315957248 75548 4089446400 4194304 7136930 140737222666240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 77138 75548 408 719 0 76417 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 308552

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 12986
/proc/meminfo: memFree=30942504/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=312560 CPUtime=1542.31
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 81087 0 0 0 152470 1761 0 0 25 0 1 0 132941749 320061440 76603 4089446400 4194304 7136930 140737222666240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 78140 76603 408 719 0 77419 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 312560

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12988
/proc/meminfo: memFree=30927452/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=318516 CPUtime=1602.31
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 82605 0 0 0 158402 1829 0 0 25 0 1 0 132941749 326160384 78121 4089446400 4194304 7136930 140737222666240 18446744073709551615 4643027 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 79629 78121 408 719 0 78908 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 318516

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12988
/proc/meminfo: memFree=30907956/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=327052 CPUtime=1662.31
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 84788 0 0 0 164334 1897 0 0 25 0 1 0 132941749 334901248 80304 4089446400 4194304 7136930 140737222666240 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 81763 80304 408 719 0 81042 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 327052

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12990
/proc/meminfo: memFree=30890324/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=334920 CPUtime=1722.31
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 86817 0 0 0 170268 1963 0 0 25 0 1 0 132941749 342958080 82333 4089446400 4194304 7136930 140737222666240 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 83730 82333 408 719 0 83009 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 334920

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12992
/proc/meminfo: memFree=30867584/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=340472 CPUtime=1782.32
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 88257 0 0 0 176203 2029 0 0 25 0 1 0 132941749 348643328 83773 4089446400 4194304 7136930 140737222666240 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 85118 83773 408 719 0 84397 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 340472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12992
/proc/meminfo: memFree=30862492/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=343308 CPUtime=1800.02
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 88979 0 0 0 177953 2049 0 0 25 0 1 0 132941749 351547392 84495 4089446400 4194304 7136930 140737222666240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12906/statm: 85827 84495 408 719 0 85106 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 343308

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.00 2.00 2.00 3/179 12992
/proc/meminfo: memFree=30862492/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=333292 CPUtime=1800.22
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 88986 0 0 0 177973 2049 0 0 25 0 1 0 132941749 341291008 82033 4089446400 4194304 7136930 140737222666240 18446744073709551615 6166167 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/12906/statm: 83323 82033 415 719 0 82602 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 333292

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12992
/proc/meminfo: memFree=30862492/32950928 swapFree=67111528/67111528
[pid=12906] ppid=12904 vsize=184928 CPUtime=1800.41
/proc/12906/stat : 12906 (pbscip.linux.x8) R 12904 12906 12498 0 -1 4202496 88986 0 0 0 177992 2049 0 0 25 0 1 0 132941749 189366272 44950 4089446400 4194304 7136930 140737222666240 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/12906/statm: 46232 44950 415 719 0 45511 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (KiB) 184928

Child status: 0
Real time (s): 1800.46
CPU time (s): 1800.48
CPU user time (s): 1779.98
CPU system time (s): 20.5059
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 343308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.98
system time used= 20.5059
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88993
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= 4
involuntary context switches= 2096

runsolver used 2.83757 second user time and 5.84811 second system time

The end

Launcher Data 

Begin job on node126 at 2010-06-30 18:47:34
IDJOB=2693773
IDBENCH=79071
IDSOLVER=1206
FILE ID=node126/2693773-1277916454
PBS_JOBID= 11197300
Free space on /tmp= 74188 MiB

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

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

MD5SUM BENCH= 55bc063057ce6e5238203b79e8fa6b9b
RANDOM SEED=2095090301

node126.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.835
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.67
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.835
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.83
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.835
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.835
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.83
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.835
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.72
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.835
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.835
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.835
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31371736 kB
Buffers:        198084 kB
Cached:         925524 kB
SwapCached:          0 kB
Active:         778024 kB
Inactive:       658816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31371736 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3572 kB
Writeback:           0 kB
AnonPages:      313376 kB
Mapped:          16136 kB
Slab:            77960 kB
PageTables:       5708 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   465140 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= 74184 MiB
End job on node126 at 2010-06-30 19:17:36