Trace number 2683219

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1800.45 1800.92

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randd7b2b4.cudf.paranoid.opb
MD5SUMafde7889f43b30fcc4bad7828bff7cb4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4750
Best CPU time to get the best result obtained on this benchmark2.55061
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5571
Total number of constraints25010
Number of constraints which are clauses24721
Number of constraints which are cardinality constraints (but not clauses)289
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 2066
Biggest coefficient in the objective function 1517
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 837382
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1517
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 837382
Number of bits of the biggest sum of numbers20
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-2683219-1277508292.opb>
0.39/0.43	c original problem has 5571 variables (5571 bin, 0 int, 0 impl, 0 cont) and 25010 constraints
0.39/0.43	c problem read
0.39/0.43	c presolving settings loaded
0.39/0.43	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.49/0.56	c presolving:
0.69/0.72	c (round 1) 588 del vars, 1137 del conss, 15 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 52202 impls, 286 clqs
0.69/0.75	c (round 2) 672 del vars, 1370 del conss, 42 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 59718 impls, 285 clqs
0.69/0.79	c (round 3) 770 del vars, 1832 del conss, 112 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 65148 impls, 280 clqs
0.79/0.85	c (round 4) 1479 del vars, 6361 del conss, 232 chg bounds, 0 chg sides, 4 chg coeffs, 0 upgd conss, 66063 impls, 275 clqs
0.79/0.88	c (round 5) 1540 del vars, 7764 del conss, 241 chg bounds, 6 chg sides, 22 chg coeffs, 0 upgd conss, 66333 impls, 274 clqs
0.89/0.90	c (round 6) 1558 del vars, 7928 del conss, 243 chg bounds, 7 chg sides, 24 chg coeffs, 0 upgd conss, 66463 impls, 274 clqs
0.89/0.92	c (round 7) 1568 del vars, 7946 del conss, 244 chg bounds, 7 chg sides, 24 chg coeffs, 0 upgd conss, 66471 impls, 274 clqs
0.89/0.94	c (round 8) 1569 del vars, 7949 del conss, 244 chg bounds, 7 chg sides, 24 chg coeffs, 0 upgd conss, 66471 impls, 274 clqs
1.09/1.12	c (round 9) 1569 del vars, 9426 del conss, 244 chg bounds, 7 chg sides, 24 chg coeffs, 15548 upgd conss, 66471 impls, 274 clqs
1.09/1.17	c (round 10) 1578 del vars, 9435 del conss, 244 chg bounds, 7 chg sides, 24 chg coeffs, 15548 upgd conss, 66471 impls, 274 clqs
1.20/1.22	c (round 11) 1578 del vars, 9437 del conss, 244 chg bounds, 7 chg sides, 24 chg coeffs, 15573 upgd conss, 66471 impls, 274 clqs
1.20/1.26	c (round 12) 1578 del vars, 9437 del conss, 244 chg bounds, 7 chg sides, 24 chg coeffs, 15575 upgd conss, 66471 impls, 274 clqs
1.39/1.44	c (round 13) 1628 del vars, 9437 del conss, 244 chg bounds, 7 chg sides, 24 chg coeffs, 15575 upgd conss, 76560 impls, 269 clqs
1.39/1.46	c (round 14) 1634 del vars, 9994 del conss, 244 chg bounds, 7 chg sides, 24 chg coeffs, 15575 upgd conss, 76720 impls, 269 clqs
1.49/1.51	c (round 15) 1636 del vars, 9996 del conss, 244 chg bounds, 7 chg sides, 24 chg coeffs, 15575 upgd conss, 76720 impls, 269 clqs
1.69/1.77	c (round 16) 1686 del vars, 9996 del conss, 244 chg bounds, 7 chg sides, 24 chg coeffs, 15575 upgd conss, 85857 impls, 266 clqs
1.69/1.79	c (round 17) 1686 del vars, 10031 del conss, 244 chg bounds, 7 chg sides, 24 chg coeffs, 15575 upgd conss, 85857 impls, 266 clqs
1.79/1.84	c (round 18) 1686 del vars, 10032 del conss, 244 chg bounds, 8 chg sides, 24 chg coeffs, 15575 upgd conss, 85857 impls, 266 clqs
2.09/2.15	c (round 19) 1736 del vars, 10032 del conss, 244 chg bounds, 8 chg sides, 24 chg coeffs, 15575 upgd conss, 87621 impls, 266 clqs
2.09/2.17	c (round 20) 1736 del vars, 10048 del conss, 244 chg bounds, 8 chg sides, 24 chg coeffs, 15575 upgd conss, 87621 impls, 266 clqs
2.39/2.43	c (round 21) 1786 del vars, 10048 del conss, 244 chg bounds, 8 chg sides, 24 chg coeffs, 15575 upgd conss, 90622 impls, 264 clqs
2.39/2.45	c (round 22) 1791 del vars, 10087 del conss, 245 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 90676 impls, 264 clqs
2.39/2.48	c (round 23) 1792 del vars, 10088 del conss, 245 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 90676 impls, 264 clqs
2.49/2.52	c (round 24) 1792 del vars, 10090 del conss, 245 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 90676 impls, 264 clqs
2.59/2.60	c (round 25) 1792 del vars, 10094 del conss, 245 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 90676 impls, 264 clqs
2.59/2.69	c    (1.9s) probing: 1000/3993 (25.0%) - 60 fixings, 158 aggregations, 5487 implications, 0 bound changes
2.69/2.78	c (round 26) 1842 del vars, 10094 del conss, 245 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 92116 impls, 263 clqs
2.79/2.80	c (round 27) 1843 del vars, 10119 del conss, 245 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 92124 impls, 263 clqs
2.99/3.01	c (round 28) 1893 del vars, 10119 del conss, 245 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 93960 impls, 258 clqs
2.99/3.04	c (round 29) 1894 del vars, 10166 del conss, 245 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 93962 impls, 258 clqs
3.19/3.23	c (round 30) 1944 del vars, 10166 del conss, 245 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 95344 impls, 257 clqs
3.19/3.25	c (round 31) 1945 del vars, 10182 del conss, 245 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 95346 impls, 257 clqs
3.40/3.42	c    (2.6s) probing: 2000/3993 (50.1%) - 80 fixings, 313 aggregations, 8467 implications, 0 bound changes
3.40/3.43	c (round 32) 1995 del vars, 10183 del conss, 245 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 96450 impls, 257 clqs
3.40/3.45	c (round 33) 1995 del vars, 10198 del conss, 245 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 96450 impls, 257 clqs
3.59/3.61	c (round 34) 2045 del vars, 10198 del conss, 245 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 97256 impls, 257 clqs
3.59/3.64	c (round 35) 2046 del vars, 10226 del conss, 245 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 97422 impls, 257 clqs
3.69/3.78	c (round 36) 2096 del vars, 10226 del conss, 245 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 98186 impls, 257 clqs
3.79/3.81	c (round 37) 2097 del vars, 10240 del conss, 245 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 98188 impls, 257 clqs
3.89/3.97	c (round 38) 2147 del vars, 10240 del conss, 245 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 98962 impls, 257 clqs
3.89/3.99	c (round 39) 2147 del vars, 10263 del conss, 245 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 98962 impls, 257 clqs
4.09/4.13	c    (3.2s) probing: 3000/3993 (75.1%) - 108 fixings, 473 aggregations, 11432 implications, 0 bound changes
4.09/4.19	c (round 40) 2197 del vars, 10263 del conss, 245 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 101157 impls, 257 clqs
4.19/4.21	c (round 41) 2197 del vars, 10305 del conss, 245 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 101157 impls, 257 clqs
4.50/4.54	c (round 42) 2247 del vars, 10306 del conss, 245 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 107211 impls, 257 clqs
4.50/4.56	c (round 43) 2276 del vars, 10422 del conss, 248 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 107674 impls, 257 clqs
4.50/4.59	c (round 44) 2279 del vars, 10425 del conss, 248 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 107674 impls, 257 clqs
4.59/4.64	c (round 45) 2279 del vars, 10436 del conss, 248 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 107674 impls, 257 clqs
4.79/4.82	c (round 46) 2318 del vars, 10436 del conss, 248 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 111376 impls, 257 clqs
4.79/4.84	c (round 47) 2359 del vars, 10514 del conss, 248 chg bounds, 9 chg sides, 24 chg coeffs, 15575 upgd conss, 111498 impls, 257 clqs
4.79/4.89	c presolving (48 rounds):
4.79/4.89	c  2359 deleted vars, 10514 deleted constraints, 248 tightened bounds, 0 added holes, 9 changed sides, 24 changed coefficients
4.79/4.89	c  111498 implications, 257 cliques
4.79/4.89	c presolved problem has 3212 variables (3212 bin, 0 int, 0 impl, 0 cont) and 14497 constraints
4.79/4.89	c     262 constraints of type <setppc>
4.79/4.89	c   14235 constraints of type <logicor>
4.79/4.89	c transformed objective value is always integral (scale: 1)
4.79/4.89	c Presolving Time: 3.82
4.79/4.89	c - non default parameters ----------------------------------------------------------------------
4.79/4.89	c # SCIP version 1.2.1.2
4.79/4.89	c 
4.79/4.89	c # frequency for displaying node information lines
4.79/4.89	c # [type: int, range: [-1,2147483647], default: 100]
4.79/4.89	c display/freq = 10000
4.79/4.89	c 
4.79/4.89	c # maximal time in seconds to run
4.79/4.89	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.79/4.89	c limits/time = 1799.57
4.79/4.89	c 
4.79/4.89	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.79/4.89	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.79/4.89	c limits/memory = 1620
4.79/4.89	c 
4.79/4.89	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.79/4.89	c # [type: int, range: [-1,2147483647], default: 1]
4.79/4.89	c lp/solvefreq = -1
4.79/4.89	c 
4.79/4.89	c # should presolving try to simplify inequalities
4.79/4.89	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.79/4.89	c constraints/linear/simplifyinequalities = TRUE
4.79/4.89	c 
4.79/4.89	c # should presolving try to simplify knapsacks
4.79/4.89	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.79/4.89	c constraints/knapsack/simplifyinequalities = TRUE
4.79/4.89	c 
4.79/4.89	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.79/4.89	c # [type: int, range: [-1,2147483647], default: -1]
4.79/4.89	c separating/rapidlearning/freq = 0
4.79/4.89	c 
4.79/4.89	c -----------------------------------------------------------------------------------------------
4.79/4.89	c start solving
4.79/4.89	c 
4.89/4.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.89/4.91	c   3.9s|     1 |     2 |     0 |     - |  29M|   0 |   - |3212 |  14k|   0 |   0 |   0 |   0 |   0 | 1.710000e+02 |      --      |    Inf 
100.76/100.85	c  99.5s| 10000 |  9936 |     0 |   0.0 |  35M| 213 |   - |3212 |  14k|   0 |   0 |   0 |  35 |   0 | 3.213000e+03 |      --      |    Inf 
186.44/186.57	c   185s| 20000 | 19920 |     0 |   0.0 |  40M| 213 |   - |3212 |  14k|   0 |   0 |   0 |  44 |   0 | 3.213000e+03 |      --      |    Inf 
270.92/271.09	c   269s| 30000 | 29892 |     0 |   0.0 |  45M| 235 |   - |3212 |  14k|   0 |   0 |   0 |  64 |   0 | 3.213000e+03 |      --      |    Inf 
350.30/350.41	c   348s| 40000 | 39868 |     0 |   0.0 |  49M| 265 |   - |3212 |  14k|   0 |   0 |   0 |  81 |   0 | 3.214000e+03 |      --      |    Inf 
429.28/429.42	c   427s| 50000 | 49816 |     0 |   0.0 |  54M| 273 |   - |3212 |  14k|   0 |   0 |   0 | 115 |   0 | 3.214000e+03 |      --      |    Inf 
511.66/511.80	c   509s| 60000 | 59812 |     0 |   0.0 |  59M| 273 |   - |3212 |  14k|   0 |   0 |   0 | 118 |   0 | 3.214000e+03 |      --      |    Inf 
593.13/593.39	c   590s| 70000 | 69812 |     0 |   0.0 |  64M| 273 |   - |3212 |  14k|   0 |   0 |   0 | 118 |   0 | 3.214000e+03 |      --      |    Inf 
673.71/673.95	c   670s| 80000 | 79812 |     0 |   0.0 |  69M| 273 |   - |3212 |  14k|   0 |   0 |   0 | 118 |   0 | 3.214000e+03 |      --      |    Inf 
752.99/753.25	c   749s| 90000 | 89806 |     0 |   0.0 |  74M| 273 |   - |3212 |  14k|   0 |   0 |   0 | 124 |   0 | 3.214000e+03 |      --      |    Inf 
831.58/831.83	c   828s|100000 | 99802 |     0 |   0.0 |  79M| 273 |   - |3212 |  14k|   0 |   0 |   0 | 126 |   0 | 3.214000e+03 |      --      |    Inf 
908.15/908.40	c   904s|110000 |109798 |     0 |   0.0 |  83M| 273 |   - |3212 |  14k|   0 |   0 |   0 | 128 |   0 | 3.214000e+03 |      --      |    Inf 
982.73/983.06	c   978s|120000 |119788 |     0 |   0.0 |  87M| 273 |   - |3212 |  14k|   0 |   0 |   0 | 133 |   0 | 3.214000e+03 |      --      |    Inf 
1055.72/1056.08	c  1051s|130000 |129774 |     0 |   0.0 |  92M| 273 |   - |3212 |  14k|   0 |   0 |   0 | 140 |   0 | 3.214000e+03 |      --      |    Inf 
1128.00/1128.32	c  1123s|140000 |139770 |     0 |   0.0 |  96M| 273 |   - |3212 |  14k|   0 |   0 |   0 | 142 |   0 | 3.214000e+03 |      --      |    Inf 
1199.78/1200.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1199.78/1200.13	c  1194s|150000 |149766 |     0 |   0.0 | 101M| 273 |   - |3212 |  14k|   0 |   0 |   0 | 146 |   0 | 3.214000e+03 |      --      |    Inf 
1271.16/1271.59	c  1266s|160000 |159766 |     0 |   0.0 | 105M| 273 |   - |3212 |  14k|   0 |   0 |   0 | 146 |   0 | 3.214000e+03 |      --      |    Inf 
1341.04/1341.49	c  1335s|170000 |169766 |     0 |   0.0 | 109M| 273 |   - |3212 |  14k|   0 |   0 |   0 | 146 |   0 | 3.214000e+03 |      --      |    Inf 
1409.52/1409.91	c  1403s|180000 |179764 |     0 |   0.0 | 113M| 273 |   - |3212 |  14k|   0 |   0 |   0 | 147 |   0 | 3.214000e+03 |      --      |    Inf 
1489.30/1489.77	c  1483s|190000 |189754 |     0 |   0.0 | 118M| 273 |   - |3212 |  14k|   0 |   0 |   0 | 156 |   0 | 3.214000e+03 |      --      |    Inf 
1570.98/1571.48	c  1564s|200000 |199750 |     0 |   0.0 | 123M| 273 |   - |3212 |  14k|   0 |   0 |   0 | 160 |   0 | 3.214000e+03 |      --      |    Inf 
1651.26/1651.74	c  1644s|210000 |209744 |     0 |   0.0 | 128M| 273 |   - |3212 |  14k|   0 |   0 |   0 | 163 |   0 | 3.214000e+03 |      --      |    Inf 
1730.54/1731.01	c  1723s|220000 |219741 |     0 |   0.0 | 133M| 273 |   - |3212 |  14k|   0 |   0 |   0 | 164 |   0 | 3.214000e+03 |      --      |    Inf 
1800.03/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.51	c 
1800.03/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.51	c Solving Time (sec) : 1792.51
1800.03/1800.51	c Solving Nodes      : 228837
1800.03/1800.51	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.03/1800.51	c Dual Bound         : +3.21400000000000e+03
1800.03/1800.51	c Gap                : infinite
1800.03/1800.51	s UNKNOWN
1800.03/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.51	c Solving Time       :    1792.51
1800.03/1800.51	c Original Problem   :
1800.03/1800.51	c   Problem name     : HOME/instance-2683219-1277508292.opb
1800.03/1800.51	c   Variables        : 5571 (5571 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51	c   Constraints      : 25010 initial, 25010 maximal
1800.03/1800.51	c Presolved Problem  :
1800.03/1800.51	c   Problem name     : t_HOME/instance-2683219-1277508292.opb
1800.03/1800.51	c   Variables        : 3212 (3212 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51	c   Constraints      : 14497 initial, 14605 maximal
1800.03/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.51	c   trivial          :       0.01         11          0          0          0          0          0          0          0
1800.03/1800.51	c   dualfix          :       0.03        581          0          0          0          0          0          0          0
1800.03/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   implics          :       0.07          0        179          0          0          0          0          0          0
1800.03/1800.51	c   probing          :       2.24        196        493          0          0          0          0          0          0
1800.03/1800.51	c   setppc           :       0.01          0          2          0          0          0         13          2          0
1800.03/1800.51	c   linear           :       0.31        239        658          0        244          0       9435          7         24
1800.03/1800.51	c   logicor          :       1.02          0          0          0          4          0       1066          0          0
1800.03/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.03/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.51	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.03/1800.51	c   setppc           :        262          0     640634          0     228711         44      49515          0          0          0
1800.03/1800.51	c   logicor          :      14235+         0     587682          0     228711        244     906392          0          0          0
1800.03/1800.51	c   countsols        :          0          0          0          0     228711          0          0          0          0          0
1800.03/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.51	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.51	c   setppc           :      33.04       0.00       8.74       0.00      24.30
1800.03/1800.51	c   logicor          :    1407.17       0.00      10.42       0.00    1396.75
1800.03/1800.51	c   countsols        :       0.18       0.00       0.00       0.00       0.18
1800.03/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.51	c   vbounds          :       0.42          2          0          0
1800.03/1800.51	c   rootredcost      :       0.43          0          0          0
1800.03/1800.51	c   pseudoobj        :      72.35     629582          0          0
1800.03/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.51	c   propagation      :       0.00        134        133        164        2.9          6        3.0          -
1800.03/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.03/1800.51	c   applied globally :          -          -          -        165        2.8          -          -          -
1800.03/1800.51	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.51	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.03/1800.51	c   redcost          :       0.00          0          0          0          0          0
1800.03/1800.51	c   impliedbounds    :       0.00          0          0          0          0          0
1800.03/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.51	c   gomory           :       0.00          0          0          0          0          0
1800.03/1800.51	c   strongcg         :       0.00          0          0          0          0          0
1800.03/1800.51	c   cmir             :       0.00          0          0          0          0          0
1800.03/1800.51	c   flowcover        :       0.00          0          0          0          0          0
1800.03/1800.51	c   clique           :       0.00          0          0          0          0          0
1800.03/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.51	c   mcf              :       0.00          0          0          0          0          0
1800.03/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.51	c Pricers            :       Time      Calls       Vars
1800.03/1800.51	c   problem variables:       0.00          0          0
1800.03/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.51	c   relpscost        :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   inference        :     246.32     228711          0          0          0          0     457422
1800.03/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.51	c   LP solutions     :       0.00          -          0
1800.03/1800.51	c   pseudo solutions :       0.00          -          0
1800.03/1800.51	c   oneopt           :       0.14          0          0
1800.03/1800.51	c   trivial          :       0.01          2          0
1800.03/1800.51	c   simplerounding   :       0.00          0          0
1800.03/1800.51	c   zirounding       :       0.00          0          0
1800.03/1800.51	c   rounding         :       0.00          0          0
1800.03/1800.51	c   shifting         :       0.00          0          0
1800.03/1800.51	c   intshifting      :       0.00          0          0
1800.03/1800.51	c   twoopt           :       0.00          0          0
1800.03/1800.51	c   fixandinfer      :       0.00          0          0
1800.03/1800.51	c   feaspump         :       0.00          0          0
1800.03/1800.51	c   coefdiving       :       0.00          0          0
1800.03/1800.51	c   pscostdiving     :       0.00          0          0
1800.03/1800.51	c   fracdiving       :       0.00          0          0
1800.03/1800.51	c   veclendiving     :       0.00          0          0
1800.03/1800.51	c   intdiving        :       0.00          0          0
1800.03/1800.51	c   actconsdiving    :       0.00          0          0
1800.03/1800.51	c   objpscostdiving  :       0.00          0          0
1800.03/1800.51	c   rootsoldiving    :       0.00          0          0
1800.03/1800.51	c   linesearchdiving :       0.00          0          0
1800.03/1800.51	c   guideddiving     :       0.00          0          0
1800.03/1800.51	c   octane           :       0.00          0          0
1800.03/1800.51	c   rens             :       0.00          0          0
1800.03/1800.51	c   rins             :       0.00          0          0
1800.03/1800.51	c   localbranching   :       0.00          0          0
1800.03/1800.51	c   mutation         :       0.00          0          0
1800.03/1800.51	c   crossover        :       0.00          0          0
1800.03/1800.51	c   dins             :       0.00          0          0
1800.03/1800.51	c   undercover       :       0.00          0          0
1800.03/1800.51	c   nlp              :       0.29          0          0
1800.03/1800.51	c   trysol           :       0.11          0          0
1800.03/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.03/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.03/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.03/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.03/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.51	c B&B Tree           :
1800.03/1800.51	c   number of runs   :          1
1800.03/1800.51	c   nodes            :     228837
1800.03/1800.51	c   nodes (total)    :     228837
1800.03/1800.51	c   nodes left       :     228576
1800.03/1800.51	c   max depth        :        273
1800.03/1800.51	c   max depth (total):        273
1800.03/1800.51	c   backtracks       :       1814 (0.8%)
1800.03/1800.51	c   delayed cutoffs  :         10
1800.03/1800.51	c   repropagations   :       7111 (523 domain reductions, 8 cutoffs)
1800.03/1800.51	c   avg switch length:       2.54
1800.03/1800.51	c   switching time   :      11.71
1800.03/1800.51	c Solution           :
1800.03/1800.51	c   Solutions found  :          0 (0 improvements)
1800.03/1800.51	c   Primal Bound     :          -
1800.03/1800.51	c   Dual Bound       : +3.21400000000000e+03
1800.03/1800.51	c   Gap              :   infinite
1800.03/1800.51	c   Root Dual Bound  : +1.71000000000000e+02
1800.03/1800.51	c   Root Iterations  :          0
1800.42/1800.91	c Time complete: 1800.43.

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-2683219-1277508292/watcher-2683219-1277508292 -o /tmp/evaluation-result-2683219-1277508292/solver-2683219-1277508292 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683219-1277508292.opb -t 1800 -m 1800 

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


[startup+0 s]
/proc/loadavg: 1.07 1.02 1.00 2/105 29807
/proc/meminfo: memFree=1855416/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=6584 CPUtime=0
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 937 0 0 0 0 0 0 0 23 0 1 0 92122723 6742016 858 1992294400 4194304 7136930 140735605354096 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29807/statm: 1646 868 254 719 0 925 0

[startup+0.10703 s]
/proc/loadavg: 1.07 1.02 1.00 2/105 29807
/proc/meminfo: memFree=1855416/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=13996 CPUtime=0.1
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 2989 0 0 0 9 1 0 0 25 0 1 0 92122723 14331904 2910 1992294400 4194304 7136930 140735605354096 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29807/statm: 3499 2910 271 719 0 2778 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13996

[startup+0.201042 s]
/proc/loadavg: 1.07 1.02 1.00 2/105 29807
/proc/meminfo: memFree=1855416/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=18296 CPUtime=0.19
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 4075 0 0 0 18 1 0 0 25 0 1 0 92122723 18735104 3996 1992294400 4194304 7136930 140735605354096 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29807/statm: 4574 3996 271 719 0 3853 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18296

[startup+0.301052 s]
/proc/loadavg: 1.07 1.02 1.00 2/105 29807
/proc/meminfo: memFree=1855416/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=19824 CPUtime=0.29
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 4465 0 0 0 27 2 0 0 25 0 1 0 92122723 20299776 4386 1992294400 4194304 7136930 140735605354096 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29807/statm: 4956 4386 271 719 0 4235 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19824

[startup+0.701096 s]
/proc/loadavg: 1.07 1.02 1.00 2/105 29807
/proc/meminfo: memFree=1855416/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=48908 CPUtime=0.69
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 11798 0 0 0 62 7 0 0 25 0 1 0 92122723 50081792 11365 1992294400 4194304 7136930 140735605354096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 12227 11365 348 719 0 11506 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48908

[startup+1.50119 s]
/proc/loadavg: 1.07 1.02 1.00 2/106 29808
/proc/meminfo: memFree=1803576/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=55788 CPUtime=1.49
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 20171 0 0 0 124 25 0 0 25 0 1 0 92122723 57126912 13147 1992294400 4194304 7136930 140735605354096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 13947 13147 370 719 0 13226 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55788

[startup+3.10136 s]
/proc/loadavg: 1.06 1.02 1.00 2/106 29808
/proc/meminfo: memFree=1801840/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=57684 CPUtime=3.09
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 27929 0 0 0 269 40 0 0 25 0 1 0 92122723 59068416 13616 1992294400 4194304 7136930 140735605354096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 14421 13616 376 719 0 13700 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 57684

[startup+6.30171 s]
/proc/loadavg: 1.06 1.02 1.00 2/106 29808
/proc/meminfo: memFree=1800352/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=59260 CPUtime=6.29
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 36384 0 0 0 569 60 0 0 25 0 1 0 92122723 60682240 14011 1992294400 4194304 7136930 140735605354096 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 14815 14011 392 719 0 14094 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59260

[startup+12.7014 s]
/proc/loadavg: 1.05 1.01 1.00 2/106 29808
/proc/meminfo: memFree=1800104/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=59528 CPUtime=12.69
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 36458 0 0 0 1208 61 0 0 25 0 1 0 92122723 60956672 14085 1992294400 4194304 7136930 140735605354096 18446744073709551615 4697113 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 14882 14085 392 719 0 14161 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59528

[startup+25.5008 s]
/proc/loadavg: 1.04 1.01 1.00 2/106 29810
/proc/meminfo: memFree=1798988/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=60800 CPUtime=25.48
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 36772 0 0 0 2483 65 0 0 25 0 1 0 92122723 62259200 14399 1992294400 4194304 7136930 140735605354096 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 15200 14399 392 719 0 14479 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60800

[startup+51.1007 s]
/proc/loadavg: 1.03 1.01 1.00 2/106 29810
/proc/meminfo: memFree=1797500/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=62120 CPUtime=51.08
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 37131 0 0 0 5034 74 0 0 25 0 1 0 92122723 63610880 14758 1992294400 4194304 7136930 140735605354096 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 15530 14758 392 719 0 14809 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 62120

[startup+102.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/106 29812
/proc/meminfo: memFree=1793036/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=66412 CPUtime=102.27
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 38203 0 0 0 10137 90 0 0 25 0 1 0 92122723 68005888 15830 1992294400 4194304 7136930 140735605354096 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 16603 15830 392 719 0 15882 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 66412

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29812
/proc/meminfo: memFree=1790680/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=68640 CPUtime=162.24
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 38780 0 0 0 16114 110 0 0 25 0 1 0 92122723 70287360 16407 1992294400 4194304 7136930 140735605354096 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 17160 16407 392 719 0 16439 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 68640

[startup+222.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29814
/proc/meminfo: memFree=1785968/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=73296 CPUtime=222.24
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 39969 0 0 0 22095 129 0 0 25 0 1 0 92122723 75055104 17596 1992294400 4194304 7136930 140735605354096 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 18324 17596 392 719 0 17603 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 73296

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29816
/proc/meminfo: memFree=1782496/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=76684 CPUtime=282.21
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 40837 0 0 0 28070 151 0 0 25 0 1 0 92122723 78524416 18464 1992294400 4194304 7136930 140735605354096 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 19171 18464 392 719 0 18450 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 76684

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29818
/proc/meminfo: memFree=1778528/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=80320 CPUtime=342.2
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 41797 0 0 0 34045 175 0 0 25 0 1 0 92122723 82247680 19424 1992294400 4194304 7136930 140735605354096 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 20080 19424 392 719 0 19359 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 80320

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29820
/proc/meminfo: memFree=1774560/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=84140 CPUtime=402.18
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 42789 0 0 0 40020 198 0 0 25 0 1 0 92122723 86159360 20416 1992294400 4194304 7136930 140735605354096 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 21035 20416 392 719 0 20314 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 84140

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29822
/proc/meminfo: memFree=1769600/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=88560 CPUtime=462.17
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 43915 0 0 0 45998 219 0 0 25 0 1 0 92122723 90685440 21542 1992294400 4194304 7136930 140735605354096 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 22140 21542 392 719 0 21419 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 88560

[startup+522.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/106 29825
/proc/meminfo: memFree=1764888/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=93248 CPUtime=522.15
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 45089 0 0 0 51975 240 0 0 25 0 1 0 92122723 95485952 22716 1992294400 4194304 7136930 140735605354096 18446744073709551615 4697167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 23312 22716 392 719 0 22591 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 93248

[startup+582.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/106 29827
/proc/meminfo: memFree=1762036/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=98024 CPUtime=582.13
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 45804 0 0 0 57952 261 0 0 25 0 1 0 92122723 100376576 23431 1992294400 4194304 7136930 140735605354096 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 24506 23431 392 719 0 23785 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 98024

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29829
/proc/meminfo: memFree=1759060/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=100876 CPUtime=642.13
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 46570 0 0 0 63930 283 0 0 25 0 1 0 92122723 103297024 24197 1992294400 4194304 7136930 140735605354096 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 25219 24197 392 719 0 24498 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 100876

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29837
/proc/meminfo: memFree=1739344/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=119896 CPUtime=942.05
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 51480 0 0 0 93817 388 0 0 25 0 1 0 92122723 122773504 29107 1992294400 4194304 7136930 140735605354096 18446744073709551615 4697415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 29974 29107 392 719 0 29253 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 119896

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29839
/proc/meminfo: memFree=1734384/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=124656 CPUtime=1002.03
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 52704 0 0 0 99791 412 0 0 25 0 1 0 92122723 127647744 30331 1992294400 4194304 7136930 140735605354096 18446744073709551615 4414520 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 31164 30331 392 719 0 30443 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 124656

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29839
/proc/meminfo: memFree=1732524/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=126488 CPUtime=1062.01
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 53193 0 0 0 105765 436 0 0 25 0 1 0 92122723 129523712 30820 1992294400 4194304 7136930 140735605354096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 31622 30820 392 719 0 30901 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 126488

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29841
/proc/meminfo: memFree=1729424/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=129204 CPUtime=1122
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 53904 0 0 0 111741 459 0 0 25 0 1 0 92122723 132304896 31531 1992294400 4194304 7136930 140735605354096 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 32301 31531 392 719 0 31580 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 129204

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29843
/proc/meminfo: memFree=1727564/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=130888 CPUtime=1181.98
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 54357 0 0 0 117716 482 0 0 25 0 1 0 92122723 134029312 31984 1992294400 4194304 7136930 140735605354096 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 32722 31984 392 719 0 32001 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 130888

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29845
/proc/meminfo: memFree=1724216/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=133856 CPUtime=1241.97
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 55131 0 0 0 123691 506 0 0 25 0 1 0 92122723 137068544 32758 1992294400 4194304 7136930 140735605354096 18446744073709551615 4642126 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 33464 32758 392 719 0 32743 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 133856

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29847
/proc/meminfo: memFree=1718140/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=139644 CPUtime=1301.94
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 56613 0 0 0 129665 529 0 0 25 0 1 0 92122723 142995456 34240 1992294400 4194304 7136930 140735605354096 18446744073709551615 4697611 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 34911 34240 392 719 0 34190 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 139644

[startup+1362.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/106 29847
/proc/meminfo: memFree=1713800/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=143900 CPUtime=1361.93
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 57710 0 0 0 135642 551 0 0 25 0 1 0 92122723 147353600 35337 1992294400 4194304 7136930 140735605354096 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 35975 35337 392 719 0 35254 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 143900

[startup+1422.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/106 29849
/proc/meminfo: memFree=1710824/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=146740 CPUtime=1421.93
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 58456 0 0 0 141619 574 0 0 25 0 1 0 92122723 150261760 36083 1992294400 4194304 7136930 140735605354096 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 36685 36083 392 719 0 35964 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 146740

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29851
/proc/meminfo: memFree=1705616/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=152024 CPUtime=1481.9
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 59774 0 0 0 147595 595 0 0 25 0 1 0 92122723 155672576 37401 1992294400 4194304 7136930 140735605354096 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 38006 37401 392 719 0 37285 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 152024

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29853
/proc/meminfo: memFree=1702144/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=155212 CPUtime=1541.89
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 60630 0 0 0 153572 617 0 0 25 0 1 0 92122723 158937088 38257 1992294400 4194304 7136930 140735605354096 18446744073709551615 5005237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 38803 38257 392 719 0 38082 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 155212

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29855
/proc/meminfo: memFree=1696936/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=164408 CPUtime=1601.87
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 61904 0 0 0 159549 638 0 0 25 0 1 0 92122723 168353792 39531 1992294400 4194304 7136930 140735605354096 18446744073709551615 5005290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 41102 39531 392 719 0 40381 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 164408

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29855
/proc/meminfo: memFree=1694332/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=166864 CPUtime=1661.85
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 62554 0 0 0 165527 658 0 0 25 0 1 0 92122723 170868736 40181 1992294400 4194304 7136930 140735605354096 18446744073709551615 4697403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 41716 40181 392 719 0 40995 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 166864

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29857
/proc/meminfo: memFree=1690116/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=171884 CPUtime=1721.84
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 63839 0 0 0 171502 682 0 0 25 0 1 0 92122723 176009216 41466 1992294400 4194304 7136930 140735605354096 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 42971 41466 392 719 0 42250 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 171884

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 29859
/proc/meminfo: memFree=1685652/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=175020 CPUtime=1781.82
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 64651 0 0 0 177478 704 0 0 25 0 1 0 92122723 179220480 42278 1992294400 4194304 7136930 140735605354096 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 43755 42278 392 719 0 43034 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 175020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29859
/proc/meminfo: memFree=1685032/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=175540 CPUtime=1800.03
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 64792 0 0 0 179292 711 0 0 25 0 1 0 92122723 179752960 42419 1992294400 4194304 7136930 140735605354096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29807/statm: 43885 42419 392 719 0 43164 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 175540

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

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

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29860
/proc/meminfo: memFree=1686388/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=173472 CPUtime=1800.22
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 64797 0 0 0 179311 711 0 0 18 0 1 0 92122723 177635328 41907 1992294400 4194304 7136930 140735605354096 18446744073709551615 6165629 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29807/statm: 43368 41907 397 719 0 42647 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 173472

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29860
/proc/meminfo: memFree=1686388/2059040 swapFree=4139016/4192956
[pid=29807] ppid=29805 vsize=32192 CPUtime=1800.42
/proc/29807/stat : 29807 (pbscip.linux.x8) R 29805 29807 29532 0 -1 4202496 64797 0 0 0 179329 713 0 0 18 0 1 0 92122723 32964608 7539 1992294400 4194304 7136930 140735605354096 18446744073709551615 6166159 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29807/statm: 8048 7539 397 719 0 7327 0
Current children cumulated CPU time (s) 1800.42
Current children cumulated vsize (KiB) 32192

Child status: 0
Real time (s): 1800.92
CPU time (s): 1800.45
CPU user time (s): 1793.31
CPU system time (s): 7.13891
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 175540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.31
system time used= 7.13891
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64804
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= 6
involuntary context switches= 2928

runsolver used 2.88556 second user time and 8.60069 second system time

The end

Launcher Data 

Begin job on node087 at 2010-06-26 01:24:52
IDJOB=2683219
IDBENCH=72095
IDSOLVER=1167
FILE ID=node087/2683219-1277508292
PBS_JOBID= 11190594
Free space on /tmp= 62460 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randd7b2b4.cudf.paranoid.opb
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-2683219-1277508292/watcher-2683219-1277508292 -o /tmp/evaluation-result-2683219-1277508292/solver-2683219-1277508292 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683219-1277508292.opb -t 1800 -m 1800

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

MD5SUM BENCH= afde7889f43b30fcc4bad7828bff7cb4
RANDOM SEED=2140960967

node087.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1855944 kB
Buffers:         26488 kB
Cached:          88284 kB
SwapCached:       5996 kB
Active:          65888 kB
Inactive:        61584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1855944 kB
SwapTotal:     4192956 kB
SwapFree:      4139016 kB
Dirty:            4252 kB
Writeback:           0 kB
AnonPages:       11340 kB
Mapped:          11952 kB
Slab:            53684 kB
PageTables:       4124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181364 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62456 MiB
End job on node087 at 2010-06-26 01:54:55