Trace number 2683466

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.49 1800.95

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randcebca4.cudf.paranoid.opb
MD5SUM18eba4fc2c6c4c36f404d480a47d1c35
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6576
Best CPU time to get the best result obtained on this benchmark2.30665
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5690
Total number of constraints25377
Number of constraints which are clauses25090
Number of constraints which are cardinality constraints (but not clauses)287
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 2112
Biggest coefficient in the objective function 1563
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 862774
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1563
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 862774
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-2683466-1277509949.opb>
0.39/0.46	c original problem has 5690 variables (5690 bin, 0 int, 0 impl, 0 cont) and 25377 constraints
0.39/0.46	c problem read
0.39/0.46	c presolving settings loaded
0.39/0.46	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.58	c presolving:
0.69/0.76	c (round 1) 597 del vars, 1192 del conss, 17 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 54472 impls, 284 clqs
0.79/0.81	c (round 2) 733 del vars, 1516 del conss, 92 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 61334 impls, 282 clqs
0.79/0.86	c (round 3) 1018 del vars, 5774 del conss, 293 chg bounds, 0 chg sides, 7 chg coeffs, 0 upgd conss, 62789 impls, 271 clqs
0.89/0.91	c (round 4) 1698 del vars, 9491 del conss, 379 chg bounds, 12 chg sides, 43 chg coeffs, 0 upgd conss, 63441 impls, 262 clqs
0.89/0.94	c (round 5) 1842 del vars, 10630 del conss, 471 chg bounds, 15 chg sides, 48 chg coeffs, 0 upgd conss, 64271 impls, 258 clqs
0.89/0.97	c (round 6) 1928 del vars, 11251 del conss, 493 chg bounds, 21 chg sides, 56 chg coeffs, 0 upgd conss, 64650 impls, 256 clqs
0.89/0.99	c (round 7) 1960 del vars, 11509 del conss, 495 chg bounds, 21 chg sides, 57 chg coeffs, 0 upgd conss, 64678 impls, 256 clqs
1.00/1.01	c (round 8) 1967 del vars, 11523 del conss, 495 chg bounds, 21 chg sides, 57 chg coeffs, 0 upgd conss, 64678 impls, 256 clqs
1.10/1.18	c (round 9) 1968 del vars, 12863 del conss, 495 chg bounds, 21 chg sides, 57 chg coeffs, 12467 upgd conss, 64678 impls, 256 clqs
1.19/1.23	c (round 10) 1975 del vars, 12870 del conss, 495 chg bounds, 21 chg sides, 57 chg coeffs, 12467 upgd conss, 64678 impls, 256 clqs
1.19/1.28	c (round 11) 1975 del vars, 12871 del conss, 495 chg bounds, 22 chg sides, 57 chg coeffs, 12467 upgd conss, 64678 impls, 256 clqs
1.19/1.30	c (round 12) 1976 del vars, 12872 del conss, 495 chg bounds, 22 chg sides, 57 chg coeffs, 12505 upgd conss, 64678 impls, 256 clqs
1.39/1.45	c (round 13) 1976 del vars, 12909 del conss, 495 chg bounds, 22 chg sides, 57 chg coeffs, 12506 upgd conss, 64678 impls, 256 clqs
1.69/1.73	c (round 14) 2026 del vars, 12909 del conss, 495 chg bounds, 22 chg sides, 57 chg coeffs, 12506 upgd conss, 72966 impls, 250 clqs
1.69/1.75	c (round 15) 2033 del vars, 13044 del conss, 498 chg bounds, 22 chg sides, 57 chg coeffs, 12506 upgd conss, 73097 impls, 250 clqs
1.69/1.77	c (round 16) 2044 del vars, 13083 del conss, 500 chg bounds, 22 chg sides, 57 chg coeffs, 12506 upgd conss, 73105 impls, 249 clqs
1.69/1.79	c (round 17) 2048 del vars, 13087 del conss, 500 chg bounds, 22 chg sides, 57 chg coeffs, 12506 upgd conss, 73105 impls, 249 clqs
1.79/1.83	c (round 18) 2048 del vars, 13092 del conss, 500 chg bounds, 22 chg sides, 57 chg coeffs, 12506 upgd conss, 73105 impls, 249 clqs
1.89/1.90	c (round 19) 2048 del vars, 13094 del conss, 500 chg bounds, 22 chg sides, 57 chg coeffs, 12506 upgd conss, 73105 impls, 249 clqs
2.10/2.15	c (round 20) 2098 del vars, 13094 del conss, 500 chg bounds, 22 chg sides, 57 chg coeffs, 12506 upgd conss, 75699 impls, 246 clqs
2.10/2.17	c (round 21) 2100 del vars, 13141 del conss, 500 chg bounds, 22 chg sides, 57 chg coeffs, 12506 upgd conss, 75708 impls, 246 clqs
2.19/2.22	c (round 22) 2101 del vars, 13141 del conss, 500 chg bounds, 22 chg sides, 57 chg coeffs, 12506 upgd conss, 75708 impls, 246 clqs
2.39/2.44	c (round 23) 2151 del vars, 13141 del conss, 500 chg bounds, 22 chg sides, 57 chg coeffs, 12506 upgd conss, 77126 impls, 245 clqs
2.39/2.46	c (round 24) 2152 del vars, 13148 del conss, 500 chg bounds, 22 chg sides, 57 chg coeffs, 12506 upgd conss, 77128 impls, 245 clqs
2.49/2.54	c (round 25) 2152 del vars, 13165 del conss, 500 chg bounds, 22 chg sides, 57 chg coeffs, 12506 upgd conss, 77128 impls, 245 clqs
2.59/2.66	c    (1.9s) probing: 1000/3714 (26.9%) - 33 fixings, 132 aggregations, 3660 implications, 0 bound changes
2.69/2.74	c (round 26) 2202 del vars, 13165 del conss, 500 chg bounds, 22 chg sides, 57 chg coeffs, 12506 upgd conss, 78698 impls, 244 clqs
2.69/2.76	c (round 27) 2206 del vars, 13194 del conss, 501 chg bounds, 22 chg sides, 57 chg coeffs, 12506 upgd conss, 78711 impls, 244 clqs
2.79/2.80	c (round 28) 2207 del vars, 13195 del conss, 501 chg bounds, 22 chg sides, 57 chg coeffs, 12506 upgd conss, 78711 impls, 244 clqs
2.89/2.98	c (round 29) 2257 del vars, 13195 del conss, 501 chg bounds, 22 chg sides, 57 chg coeffs, 12506 upgd conss, 79750 impls, 242 clqs
2.99/3.00	c (round 30) 2258 del vars, 13230 del conss, 502 chg bounds, 22 chg sides, 57 chg coeffs, 12506 upgd conss, 79753 impls, 242 clqs
2.99/3.03	c (round 31) 2259 del vars, 13233 del conss, 502 chg bounds, 23 chg sides, 57 chg coeffs, 12506 upgd conss, 79753 impls, 242 clqs
3.19/3.20	c (round 32) 2309 del vars, 13234 del conss, 502 chg bounds, 23 chg sides, 57 chg coeffs, 12506 upgd conss, 80283 impls, 239 clqs
3.19/3.22	c (round 33) 2311 del vars, 13249 del conss, 502 chg bounds, 23 chg sides, 57 chg coeffs, 12506 upgd conss, 80287 impls, 239 clqs
3.30/3.39	c (round 34) 2361 del vars, 13250 del conss, 502 chg bounds, 23 chg sides, 57 chg coeffs, 12506 upgd conss, 80893 impls, 237 clqs
3.39/3.41	c (round 35) 2362 del vars, 13264 del conss, 503 chg bounds, 23 chg sides, 57 chg coeffs, 12506 upgd conss, 80902 impls, 237 clqs
3.39/3.43	c (round 36) 2363 del vars, 13266 del conss, 503 chg bounds, 23 chg sides, 57 chg coeffs, 12506 upgd conss, 80902 impls, 237 clqs
3.49/3.50	c    (2.7s) probing: 2000/3714 (53.9%) - 58 fixings, 293 aggregations, 5045 implications, 0 bound changes
3.59/3.61	c (round 37) 2413 del vars, 13267 del conss, 503 chg bounds, 23 chg sides, 57 chg coeffs, 12506 upgd conss, 81851 impls, 237 clqs
3.59/3.63	c (round 38) 2414 del vars, 13286 del conss, 503 chg bounds, 23 chg sides, 57 chg coeffs, 12506 upgd conss, 81869 impls, 237 clqs
3.79/3.80	c (round 39) 2464 del vars, 13286 del conss, 503 chg bounds, 23 chg sides, 57 chg coeffs, 12506 upgd conss, 82334 impls, 237 clqs
3.79/3.82	c (round 40) 2466 del vars, 13313 del conss, 503 chg bounds, 23 chg sides, 57 chg coeffs, 12506 upgd conss, 82338 impls, 237 clqs
3.79/3.89	c (round 41) 2466 del vars, 13316 del conss, 503 chg bounds, 23 chg sides, 57 chg coeffs, 12506 upgd conss, 82338 impls, 237 clqs
4.09/4.10	c (round 42) 2516 del vars, 13316 del conss, 503 chg bounds, 23 chg sides, 57 chg coeffs, 12506 upgd conss, 83543 impls, 237 clqs
4.09/4.12	c (round 43) 2518 del vars, 13367 del conss, 503 chg bounds, 23 chg sides, 57 chg coeffs, 12506 upgd conss, 83553 impls, 237 clqs
4.09/4.16	c (round 44) 2518 del vars, 13371 del conss, 503 chg bounds, 23 chg sides, 57 chg coeffs, 12506 upgd conss, 83553 impls, 237 clqs
4.19/4.25	c    (3.4s) probing: 3000/3714 (80.8%) - 99 fixings, 409 aggregations, 6803 implications, 0 bound changes
4.40/4.42	c (round 45) 2568 del vars, 13371 del conss, 503 chg bounds, 23 chg sides, 57 chg coeffs, 12506 upgd conss, 86607 impls, 237 clqs
4.40/4.44	c (round 46) 2592 del vars, 13493 del conss, 503 chg bounds, 23 chg sides, 57 chg coeffs, 12506 upgd conss, 86675 impls, 237 clqs
4.40/4.49	c (round 47) 2592 del vars, 13498 del conss, 503 chg bounds, 23 chg sides, 57 chg coeffs, 12506 upgd conss, 86675 impls, 237 clqs
4.59/4.68	c (round 48) 2633 del vars, 13498 del conss, 503 chg bounds, 23 chg sides, 57 chg coeffs, 12506 upgd conss, 89537 impls, 237 clqs
4.69/4.70	c (round 49) 2681 del vars, 13580 del conss, 503 chg bounds, 23 chg sides, 57 chg coeffs, 12506 upgd conss, 89691 impls, 237 clqs
4.69/4.78	c (round 50) 2681 del vars, 13585 del conss, 503 chg bounds, 23 chg sides, 57 chg coeffs, 12506 upgd conss, 89691 impls, 237 clqs
4.79/4.83	c (round 51) 2681 del vars, 13590 del conss, 503 chg bounds, 23 chg sides, 57 chg coeffs, 12506 upgd conss, 89691 impls, 237 clqs
4.79/4.88	c presolving (52 rounds):
4.79/4.88	c  2681 deleted vars, 13590 deleted constraints, 503 tightened bounds, 0 added holes, 23 changed sides, 57 changed coefficients
4.79/4.88	c  89691 implications, 237 cliques
4.79/4.88	c presolved problem has 3009 variables (3009 bin, 0 int, 0 impl, 0 cont) and 11790 constraints
4.79/4.88	c     239 constraints of type <setppc>
4.79/4.88	c   11551 constraints of type <logicor>
4.79/4.88	c transformed objective value is always integral (scale: 1)
4.79/4.88	c Presolving Time: 3.84
4.79/4.88	c - non default parameters ----------------------------------------------------------------------
4.79/4.88	c # SCIP version 1.2.1.2
4.79/4.88	c 
4.79/4.88	c # frequency for displaying node information lines
4.79/4.88	c # [type: int, range: [-1,2147483647], default: 100]
4.79/4.88	c display/freq = 10000
4.79/4.88	c 
4.79/4.88	c # maximal time in seconds to run
4.79/4.88	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.79/4.88	c limits/time = 1799.55
4.79/4.88	c 
4.79/4.88	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.79/4.88	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.79/4.88	c limits/memory = 1620
4.79/4.88	c 
4.79/4.88	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.79/4.88	c # [type: int, range: [-1,2147483647], default: 1]
4.79/4.88	c lp/solvefreq = -1
4.79/4.88	c 
4.79/4.88	c # should presolving try to simplify inequalities
4.79/4.88	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.79/4.88	c constraints/linear/simplifyinequalities = TRUE
4.79/4.88	c 
4.79/4.88	c # should presolving try to simplify knapsacks
4.79/4.88	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.79/4.88	c constraints/knapsack/simplifyinequalities = TRUE
4.79/4.88	c 
4.79/4.88	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.79/4.88	c # [type: int, range: [-1,2147483647], default: -1]
4.79/4.88	c separating/rapidlearning/freq = 0
4.79/4.88	c 
4.79/4.88	c -----------------------------------------------------------------------------------------------
4.79/4.88	c start solving
4.79/4.88	c 
4.79/4.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.79/4.90	c   3.9s|     1 |     2 |     0 |     - |  28M|   0 |   - |3009 |  11k|   0 |   0 |   0 |   0 |   0 | 6.536000e+03 |      --      |    Inf 
94.36/94.43	c  93.1s| 10000 |  9975 |     0 |   0.0 |  34M| 163 |   - |3009 |  11k|   0 |   0 |   0 |  17 |   0 | 6.541000e+03 |      --      |    Inf 
177.25/177.33	c   176s| 20000 | 19957 |     0 |   0.0 |  40M| 163 |   - |3009 |  11k|   0 |   0 |   0 |  26 |   0 | 6.541000e+03 |      --      |    Inf 
260.03/260.12	c   258s| 30000 | 29951 |     0 |   0.0 |  45M| 163 |   - |3009 |  11k|   0 |   0 |   0 |  29 |   0 | 6.541000e+03 |      --      |    Inf 
341.50/341.68	c   339s| 40000 | 39937 |     0 |   0.0 |  50M| 163 |   - |3009 |  11k|   0 |   0 |   0 |  37 |   0 | 6.542000e+03 |      --      |    Inf 
424.58/424.75	c   422s| 50000 | 49937 |     0 |   0.0 |  56M| 163 |   - |3009 |  11k|   0 |   0 |   0 |  37 |   0 | 6.542000e+03 |      --      |    Inf 
504.67/504.84	c   502s| 60000 | 59937 |     0 |   0.0 |  61M| 163 |   - |3009 |  11k|   0 |   0 |   0 |  37 |   0 | 6.542000e+03 |      --      |    Inf 
586.64/586.84	c   583s| 70000 | 69921 |     0 |   0.0 |  66M| 163 |   - |3009 |  11k|   0 |   0 |   0 |  45 |   0 | 6.542000e+03 |      --      |    Inf 
669.51/669.77	c   666s| 80000 | 79919 |     0 |   0.0 |  71M| 163 |   - |3009 |  11k|   0 |   0 |   0 |  46 |   0 | 6.542000e+03 |      --      |    Inf 
750.79/751.02	c   747s| 90000 | 89919 |     0 |   0.0 |  77M| 163 |   - |3009 |  11k|   0 |   0 |   0 |  46 |   0 | 6.543000e+03 |      --      |    Inf 
829.78/830.06	c   826s|100000 | 99917 |     0 |   0.0 |  81M| 163 |   - |3009 |  11k|   0 |   0 |   0 |  47 |   0 | 6.543000e+03 |      --      |    Inf 
908.06/908.34	c   904s|110000 |109901 |     0 |   0.0 |  86M| 165 |   - |3009 |  11k|   0 |   0 |   0 |  58 |   0 | 6.543000e+03 |      --      |    Inf 
991.44/991.73	c   987s|120000 |119901 |     0 |   0.0 |  92M| 165 |   - |3009 |  11k|   0 |   0 |   0 |  58 |   0 | 6.543000e+03 |      --      |    Inf 
1073.81/1074.19	c  1069s|130000 |129901 |     0 |   0.0 |  97M| 165 |   - |3009 |  11k|   0 |   0 |   0 |  58 |   0 | 6.543000e+03 |      --      |    Inf 
1155.81/1156.19	c  1150s|140000 |139901 |     0 |   0.0 | 103M| 165 |   - |3009 |  11k|   0 |   0 |   0 |  58 |   0 | 6.543000e+03 |      --      |    Inf 
1237.67/1238.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1237.67/1238.06	c  1232s|150000 |149901 |     0 |   0.0 | 108M| 165 |   - |3009 |  11k|   0 |   0 |   0 |  58 |   0 | 6.543000e+03 |      --      |    Inf 
1319.35/1319.76	c  1313s|160000 |159901 |     0 |   0.0 | 114M| 165 |   - |3009 |  11k|   0 |   0 |   0 |  58 |   0 | 6.543000e+03 |      --      |    Inf 
1400.94/1401.31	c  1395s|170000 |169901 |     0 |   0.0 | 119M| 165 |   - |3009 |  11k|   0 |   0 |   0 |  58 |   0 | 6.543000e+03 |      --      |    Inf 
1481.32/1481.73	c  1475s|180000 |179901 |     0 |   0.0 | 124M| 165 |   - |3009 |  11k|   0 |   0 |   0 |  58 |   0 | 6.543000e+03 |      --      |    Inf 
1559.89/1560.31	c  1553s|190000 |189899 |     0 |   0.0 | 129M| 165 |   - |3009 |  11k|   0 |   0 |   0 |  59 |   0 | 6.543000e+03 |      --      |    Inf 
1638.08/1638.54	c  1631s|200000 |199895 |     0 |   0.0 | 134M| 165 |   - |3009 |  11k|   0 |   0 |   0 |  61 |   0 | 6.543000e+03 |      --      |    Inf 
1721.25/1721.74	c  1714s|210000 |209889 |     0 |   0.0 | 139M| 165 |   - |3009 |  11k|   0 |   0 |   0 |  64 |   0 | 6.543000e+03 |      --      |    Inf 
1800.04/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.51	c 
1800.04/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.51	c Solving Time (sec) : 1792.08
1800.04/1800.51	c Solving Nodes      : 219601
1800.04/1800.51	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.51	c Dual Bound         : +6.54300000000000e+03
1800.04/1800.51	c Gap                : infinite
1800.04/1800.51	s UNKNOWN
1800.04/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.51	c Solving Time       :    1792.08
1800.04/1800.51	c Original Problem   :
1800.04/1800.51	c   Problem name     : HOME/instance-2683466-1277509949.opb
1800.04/1800.51	c   Variables        : 5690 (5690 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.51	c   Constraints      : 25377 initial, 25377 maximal
1800.04/1800.51	c Presolved Problem  :
1800.04/1800.51	c   Problem name     : t_HOME/instance-2683466-1277509949.opb
1800.04/1800.51	c   Variables        : 3009 (3009 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.51	c   Constraints      : 11790 initial, 11837 maximal
1800.04/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.51	c   trivial          :       0.05         51          0          0          0          0          0          0          0
1800.04/1800.51	c   dualfix          :       0.01        598          0          0          0          0          0          0          0
1800.04/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.51	c   implics          :       0.07          0        265          0          0          0          0          0          0
1800.04/1800.51	c   probing          :       1.83        181        410          0          0          0          0          0          0
1800.04/1800.51	c   setppc           :       0.03          0          4          0          0          0         20          1          0
1800.04/1800.51	c   linear           :       0.37        457        715          0        495          0      12871         22         57
1800.04/1800.51	c   logicor          :       1.36          0          0          0          8          0        699          0          0
1800.04/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.51	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.04/1800.51	c   setppc           :        239          0     645596          0     219541         57      76456          0          0          0
1800.04/1800.51	c   logicor          :      11551+         0     584809          0     219541        154    1082682          0          0          0
1800.04/1800.51	c   countsols        :          0          0          0          0     219541          0          0          0          0          0
1800.04/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.51	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.51	c   setppc           :      38.19       0.00      10.67       0.00      27.52
1800.04/1800.51	c   logicor          :    1380.65       0.00      11.53       0.00    1369.12
1800.04/1800.51	c   countsols        :       0.32       0.00       0.00       0.00       0.32
1800.04/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.51	c   vbounds          :       0.43          2          0          0
1800.04/1800.51	c   rootredcost      :       0.40          0          0          0
1800.04/1800.51	c   pseudoobj        :      70.94     635606          0          0
1800.04/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.51	c   propagation      :       0.00         60         60         70        3.1          3        2.0          -
1800.04/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.51	c   applied globally :          -          -          -         69        2.8          -          -          -
1800.04/1800.51	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.51	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.04/1800.51	c   redcost          :       0.00          0          0          0          0          0
1800.04/1800.51	c   impliedbounds    :       0.00          0          0          0          0          0
1800.04/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.51	c   gomory           :       0.00          0          0          0          0          0
1800.04/1800.51	c   strongcg         :       0.00          0          0          0          0          0
1800.04/1800.51	c   cmir             :       0.00          0          0          0          0          0
1800.04/1800.51	c   flowcover        :       0.00          0          0          0          0          0
1800.04/1800.51	c   clique           :       0.00          0          0          0          0          0
1800.04/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.51	c   mcf              :       0.00          0          0          0          0          0
1800.04/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.51	c Pricers            :       Time      Calls       Vars
1800.04/1800.51	c   problem variables:       0.00          0          0
1800.04/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.51	c   relpscost        :       0.00          0          0          0          0          0          0
1800.04/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.51	c   inference        :     267.25     219541          0          0          0          0     439082
1800.04/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.51	c   LP solutions     :       0.00          -          0
1800.04/1800.51	c   pseudo solutions :       0.00          -          0
1800.04/1800.51	c   oneopt           :       0.17          0          0
1800.04/1800.51	c   trivial          :       0.03          2          0
1800.04/1800.51	c   simplerounding   :       0.00          0          0
1800.04/1800.51	c   zirounding       :       0.00          0          0
1800.04/1800.51	c   rounding         :       0.00          0          0
1800.04/1800.51	c   shifting         :       0.00          0          0
1800.04/1800.51	c   intshifting      :       0.00          0          0
1800.04/1800.51	c   twoopt           :       0.00          0          0
1800.04/1800.51	c   fixandinfer      :       0.00          0          0
1800.04/1800.51	c   feaspump         :       0.00          0          0
1800.04/1800.51	c   coefdiving       :       0.00          0          0
1800.04/1800.51	c   pscostdiving     :       0.00          0          0
1800.04/1800.51	c   fracdiving       :       0.00          0          0
1800.04/1800.51	c   veclendiving     :       0.00          0          0
1800.04/1800.51	c   intdiving        :       0.00          0          0
1800.04/1800.51	c   actconsdiving    :       0.00          0          0
1800.04/1800.51	c   objpscostdiving  :       0.00          0          0
1800.04/1800.51	c   rootsoldiving    :       0.00          0          0
1800.04/1800.51	c   linesearchdiving :       0.00          0          0
1800.04/1800.51	c   guideddiving     :       0.00          0          0
1800.04/1800.51	c   octane           :       0.00          0          0
1800.04/1800.51	c   rens             :       0.00          0          0
1800.04/1800.51	c   rins             :       0.00          0          0
1800.04/1800.51	c   localbranching   :       0.00          0          0
1800.04/1800.51	c   mutation         :       0.00          0          0
1800.04/1800.51	c   crossover        :       0.00          0          0
1800.04/1800.51	c   dins             :       0.00          0          0
1800.04/1800.51	c   undercover       :       0.00          0          0
1800.04/1800.51	c   nlp              :       0.30          0          0
1800.04/1800.51	c   trysol           :       0.09          0          0
1800.04/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.04/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.04/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.04/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.04/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.51	c B&B Tree           :
1800.04/1800.51	c   number of runs   :          1
1800.04/1800.51	c   nodes            :     219601
1800.04/1800.51	c   nodes (total)    :     219601
1800.04/1800.51	c   nodes left       :     219480
1800.04/1800.51	c   max depth        :        165
1800.04/1800.51	c   max depth (total):        165
1800.04/1800.51	c   backtracks       :       2751 (1.3%)
1800.04/1800.51	c   delayed cutoffs  :          2
1800.04/1800.51	c   repropagations   :       2541 (181 domain reductions, 0 cutoffs)
1800.04/1800.51	c   avg switch length:       2.51
1800.04/1800.51	c   switching time   :      13.33
1800.04/1800.51	c Solution           :
1800.04/1800.51	c   Solutions found  :          0 (0 improvements)
1800.04/1800.51	c   Primal Bound     :          -
1800.04/1800.51	c   Dual Bound       : +6.54300000000000e+03
1800.04/1800.51	c   Gap              :   infinite
1800.04/1800.51	c   Root Dual Bound  : +6.53600000000000e+03
1800.04/1800.51	c   Root Iterations  :          0
1800.43/1800.95	c Time complete: 1800.48.

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-2683466-1277509949/watcher-2683466-1277509949 -o /tmp/evaluation-result-2683466-1277509949/solver-2683466-1277509949 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683466-1277509949.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.39 1.13 1.03 3/106 24538
/proc/meminfo: memFree=1841348/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=5556 CPUtime=0
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 888 0 0 0 0 0 0 0 25 0 1 0 124651264 5689344 809 1992294400 4194304 7136930 140735128067056 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24538/statm: 1389 811 249 719 0 668 0

[startup+0.0909121 s]
/proc/loadavg: 1.39 1.13 1.03 3/106 24538
/proc/meminfo: memFree=1841348/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=13340 CPUtime=0.08
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 2823 0 0 0 7 1 0 0 25 0 1 0 124651264 13660160 2744 1992294400 4194304 7136930 140735128067056 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24538/statm: 3335 2744 271 719 0 2614 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13340

[startup+0.100913 s]
/proc/loadavg: 1.39 1.13 1.03 3/106 24538
/proc/meminfo: memFree=1841348/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=13476 CPUtime=0.09
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 2849 0 0 0 8 1 0 0 25 0 1 0 124651264 13799424 2770 1992294400 4194304 7136930 140735128067056 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24538/statm: 3369 2770 271 719 0 2648 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13476

[startup+0.300932 s]
/proc/loadavg: 1.39 1.13 1.03 3/106 24538
/proc/meminfo: memFree=1841348/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=19788 CPUtime=0.29
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 4422 0 0 0 28 1 0 0 25 0 1 0 124651264 20262912 4343 1992294400 4194304 7136930 140735128067056 18446744073709551615 4240584 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24538/statm: 4947 4343 271 719 0 4226 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19788

[startup+0.70097 s]
/proc/loadavg: 1.39 1.13 1.03 3/106 24538
/proc/meminfo: memFree=1841348/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=48860 CPUtime=0.69
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 11777 0 0 0 63 6 0 0 25 0 1 0 124651264 50032640 11336 1992294400 4194304 7136930 140735128067056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 12215 11336 348 719 0 11494 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48860

[startup+1.50105 s]
/proc/loadavg: 1.39 1.13 1.03 2/107 24539
/proc/meminfo: memFree=1795460/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=54116 CPUtime=1.49
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 19076 0 0 0 130 19 0 0 25 0 1 0 124651264 55414784 12661 1992294400 4194304 7136930 140735128067056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 13529 12661 360 719 0 12808 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54116

[startup+3.1012 s]
/proc/loadavg: 1.35 1.12 1.03 2/107 24539
/proc/meminfo: memFree=1790624/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=55920 CPUtime=3.09
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 28244 0 0 0 274 35 0 0 25 0 1 0 124651264 57262080 13159 1992294400 4194304 7136930 140735128067056 18446744073709551615 5501693 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 13980 13159 376 719 0 13259 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55920

[startup+6.30151 s]
/proc/loadavg: 1.35 1.12 1.03 2/107 24539
/proc/meminfo: memFree=1788640/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=56948 CPUtime=6.29
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 37375 0 0 0 575 54 0 0 25 0 1 0 124651264 58314752 13428 1992294400 4194304 7136930 140735128067056 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 14237 13428 388 719 0 13516 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56948

[startup+12.7011 s]
/proc/loadavg: 1.30 1.12 1.03 2/107 24539
/proc/meminfo: memFree=1788640/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=56948 CPUtime=12.69
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 37401 0 0 0 1213 56 0 0 25 0 1 0 124651264 58314752 13454 1992294400 4194304 7136930 140735128067056 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 14237 13454 392 719 0 13516 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56948

[startup+25.5003 s]
/proc/loadavg: 1.25 1.11 1.03 2/107 24539
/proc/meminfo: memFree=1787400/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=58176 CPUtime=25.48
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 37716 0 0 0 2489 59 0 0 25 0 1 0 124651264 59572224 13769 1992294400 4194304 7136930 140735128067056 18446744073709551615 5005193 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 14544 13769 392 719 0 13823 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 58176

[startup+51.1008 s]
/proc/loadavg: 1.17 1.10 1.03 2/107 24539
/proc/meminfo: memFree=1785912/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=59720 CPUtime=51.08
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 38087 0 0 0 5039 69 0 0 25 0 1 0 124651264 61153280 14140 1992294400 4194304 7136930 140735128067056 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 14930 14140 392 719 0 14209 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 59720

[startup+102.309 s]
/proc/loadavg: 1.06 1.08 1.02 2/107 24541
/proc/meminfo: memFree=1780456/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=64872 CPUtime=102.27
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 39399 0 0 0 10136 91 0 0 25 0 1 0 124651264 66428928 15452 1992294400 4194304 7136930 140735128067056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 16218 15452 392 719 0 15497 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 64872

[startup+162.3 s]
/proc/loadavg: 1.02 1.07 1.02 2/107 24543
/proc/meminfo: memFree=1776240/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=68908 CPUtime=162.25
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 40427 0 0 0 16112 113 0 0 25 0 1 0 124651264 70561792 16480 1992294400 4194304 7136930 140735128067056 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 17227 16480 392 719 0 16506 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 68908

[startup+222.301 s]
/proc/loadavg: 1.01 1.05 1.01 2/107 24545
/proc/meminfo: memFree=1771280/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=73692 CPUtime=222.23
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 41672 0 0 0 22086 137 0 0 25 0 1 0 124651264 75460608 17725 1992294400 4194304 7136930 140735128067056 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 18423 17725 392 719 0 17702 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 73692

[startup+282.301 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 24547
/proc/meminfo: memFree=1767064/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=77880 CPUtime=282.22
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 42720 0 0 0 28062 160 0 0 25 0 1 0 124651264 79749120 18773 1992294400 4194304 7136930 140735128067056 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 19470 18773 392 719 0 18749 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 77880

[startup+342.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 24547
/proc/meminfo: memFree=1762104/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=82660 CPUtime=342.21
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 43961 0 0 0 34037 184 0 0 25 0 1 0 124651264 84643840 20014 1992294400 4194304 7136930 140735128067056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 20665 20014 392 719 0 19944 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 82660

[startup+402.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 24549
/proc/meminfo: memFree=1758880/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=85576 CPUtime=402.19
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 44731 0 0 0 40011 208 0 0 25 0 1 0 124651264 87629824 20784 1992294400 4194304 7136930 140735128067056 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 21394 20784 392 719 0 20673 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 85576

[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 24551
/proc/meminfo: memFree=1754912/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=89572 CPUtime=462.18
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 45728 0 0 0 45987 231 0 0 25 0 1 0 124651264 91721728 21781 1992294400 4194304 7136930 140735128067056 18446744073709551615 5892211 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 22393 21781 392 719 0 21672 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 89572

[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 24562
/proc/meminfo: memFree=1750696/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=92904 CPUtime=522.16
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 46605 0 0 0 51958 258 0 0 25 0 1 0 124651264 95133696 22658 1992294400 4194304 7136930 140735128067056 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 23226 22658 392 719 0 22505 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 92904

[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 24564
/proc/meminfo: memFree=1746976/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=98608 CPUtime=582.14
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 47563 0 0 0 57935 279 0 0 25 0 1 0 124651264 100974592 23616 1992294400 4194304 7136930 140735128067056 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 24652 23616 392 719 0 23931 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 98608

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24564
/proc/meminfo: memFree=1741644/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=103728 CPUtime=642.12
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 48842 0 0 0 63908 304 0 0 25 0 1 0 124651264 106217472 24895 1992294400 4194304 7136930 140735128067056 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 25932 24895 392 719 0 25211 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 103728

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24574
/proc/meminfo: memFree=1715728/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=128692 CPUtime=1002.03
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 55286 0 0 0 99762 441 0 0 25 0 1 0 124651264 131780608 31339 1992294400 4194304 7136930 140735128067056 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 32173 31339 392 719 0 31452 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 128692

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24576
/proc/meminfo: memFree=1711512/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=132688 CPUtime=1062.02
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 56316 0 0 0 105738 464 0 0 25 0 1 0 124651264 135872512 32369 1992294400 4194304 7136930 140735128067056 18446744073709551615 5507200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 33172 32369 392 719 0 32451 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 132688

[startup+1122.3 s]
/proc/loadavg: 1.11 1.03 1.01 2/107 24578
/proc/meminfo: memFree=1708784/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=135260 CPUtime=1122
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 56987 0 0 0 111711 489 0 0 25 0 1 0 124651264 138506240 33040 1992294400 4194304 7136930 140735128067056 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 33815 33040 392 719 0 33094 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 135260

[startup+1182.3 s]
/proc/loadavg: 1.09 1.04 1.01 2/107 24580
/proc/meminfo: memFree=1703204/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=140812 CPUtime=1181.99
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 58372 0 0 0 117687 512 0 0 25 0 1 0 124651264 144191488 34425 1992294400 4194304 7136930 140735128067056 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 35203 34425 392 719 0 34482 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 140812

[startup+1242.3 s]
/proc/loadavg: 1.08 1.04 1.01 2/107 24580
/proc/meminfo: memFree=1700972/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=142824 CPUtime=1241.98
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 58910 0 0 0 123663 535 0 0 25 0 1 0 124651264 146251776 34963 1992294400 4194304 7136930 140735128067056 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 35706 34963 392 719 0 34985 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 142824

[startup+1302.3 s]
/proc/loadavg: 1.07 1.05 1.01 2/107 24582
/proc/meminfo: memFree=1697748/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=145792 CPUtime=1301.96
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 59707 0 0 0 129638 558 0 0 25 0 1 0 124651264 149291008 35760 1992294400 4194304 7136930 140735128067056 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 36448 35760 392 719 0 35727 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 145792

[startup+1362.3 s]
/proc/loadavg: 1.07 1.05 1.01 2/107 24584
/proc/meminfo: memFree=1693036/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=150316 CPUtime=1361.95
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 60865 0 0 0 135612 583 0 0 25 0 1 0 124651264 153923584 36918 1992294400 4194304 7136930 140735128067056 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 37579 36918 392 719 0 36858 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 150316

[startup+1422.31 s]
/proc/loadavg: 1.06 1.05 1.01 2/107 24586
/proc/meminfo: memFree=1690928/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=152260 CPUtime=1421.93
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 61379 0 0 0 141590 603 0 0 25 0 1 0 124651264 155914240 37432 1992294400 4194304 7136930 140735128067056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 38065 37432 392 719 0 37344 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 152260

[startup+1482.3 s]
/proc/loadavg: 1.09 1.07 1.01 2/107 24588
/proc/meminfo: memFree=1686836/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=156256 CPUtime=1481.91
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 62407 0 0 0 147561 630 0 0 25 0 1 0 124651264 160006144 38460 1992294400 4194304 7136930 140735128067056 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 39064 38460 392 719 0 38343 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 156256

[startup+1542.3 s]
/proc/loadavg: 1.03 1.05 1.01 2/107 24588
/proc/meminfo: memFree=1684232/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=158680 CPUtime=1541.89
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 63043 0 0 0 153535 654 0 0 25 0 1 0 124651264 162488320 39096 1992294400 4194304 7136930 140735128067056 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 39670 39096 392 719 0 38949 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 158680

[startup+1602.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 24590
/proc/meminfo: memFree=1678032/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=164720 CPUtime=1601.88
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 64583 0 0 0 159509 679 0 0 25 0 1 0 124651264 168673280 40636 1992294400 4194304 7136930 140735128067056 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 41180 40636 392 719 0 40459 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 164720

[startup+1662.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 24592
/proc/meminfo: memFree=1675428/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=171188 CPUtime=1661.87
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 65206 0 0 0 165485 702 0 0 25 0 1 0 124651264 175296512 41259 1992294400 4194304 7136930 140735128067056 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 42797 41259 392 719 0 42076 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 171188

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 24594
/proc/meminfo: memFree=1670220/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=176252 CPUtime=1721.86
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 66494 0 0 0 171462 724 0 0 25 0 1 0 124651264 180482048 42547 1992294400 4194304 7136930 140735128067056 18446744073709551615 4697611 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 44063 42547 392 719 0 43342 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 176252

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 24596
/proc/meminfo: memFree=1662284/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=184148 CPUtime=1781.83
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 68474 0 0 0 177437 746 0 0 25 0 1 0 124651264 188567552 44527 1992294400 4194304 7136930 140735128067056 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 46037 44527 392 719 0 45316 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 184148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 24596
/proc/meminfo: memFree=1661044/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=185172 CPUtime=1800.04
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 68771 0 0 0 179251 753 0 0 25 0 1 0 124651264 189616128 44824 1992294400 4194304 7136930 140735128067056 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24538/statm: 46293 44824 392 719 0 45572 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 185172

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 24597
/proc/meminfo: memFree=1661036/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=185172 CPUtime=1800.15
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 68776 0 0 0 179262 753 0 0 25 0 1 0 124651264 189616128 44829 1992294400 4194304 7136930 140735128067056 18446744073709551615 6165620 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24538/statm: 46293 44829 397 719 0 45572 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 185172

[startup+1800.8 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 24597
/proc/meminfo: memFree=1661036/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=180128 CPUtime=1800.33
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 68776 0 0 0 179280 753 0 0 25 0 1 0 124651264 184451072 43568 1992294400 4194304 7136930 140735128067056 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24538/statm: 45032 43568 397 719 0 44311 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 180128

[startup+1800.9 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 24597
/proc/meminfo: memFree=1661036/2059040 swapFree=4139084/4192956
[pid=24538] ppid=24536 vsize=127312 CPUtime=1800.43
/proc/24538/stat : 24538 (pbscip.linux.x8) R 24536 24538 23875 0 -1 4202496 68776 0 0 0 179290 753 0 0 25 0 1 0 124651264 130367488 30367 1992294400 4194304 7136930 140735128067056 18446744073709551615 6165693 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24538/statm: 31828 30367 397 719 0 31107 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 127312

Child status: 0
Real time (s): 1800.95
CPU time (s): 1800.49
CPU user time (s): 1792.94
CPU system time (s): 7.55185
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 185172

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

runsolver used 2.82357 second user time and 8.66368 second system time

The end

Launcher Data 

Begin job on node018 at 2010-06-26 01:52:29
IDJOB=2683466
IDBENCH=72114
IDSOLVER=1167
FILE ID=node018/2683466-1277509949
PBS_JOBID= 11190623
Free space on /tmp= 62488 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-randcebca4.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-2683466-1277509949/watcher-2683466-1277509949 -o /tmp/evaluation-result-2683466-1277509949/solver-2683466-1277509949 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683466-1277509949.opb -t 1800 -m 1800

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

MD5SUM BENCH= 18eba4fc2c6c4c36f404d480a47d1c35
RANDOM SEED=105659687

node018.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.248
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.49
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.248
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	: 5599.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1841876 kB
Buffers:         21024 kB
Cached:          96608 kB
SwapCached:       6088 kB
Active:          85212 kB
Inactive:        45308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1841876 kB
SwapTotal:     4192956 kB
SwapFree:      4139084 kB
Dirty:            4284 kB
Writeback:          16 kB
AnonPages:       11572 kB
Mapped:          11840 kB
Slab:            64828 kB
PageTables:       4108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181140 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= 62488 MiB
End job on node018 at 2010-06-26 02:22:32