Trace number 2663755

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 solverSAT (TO)22 1802.15 1802.84

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_1.opb
MD5SUM88e7a647c6e46a38e952354158b1fb76
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark1800.21
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint26
Maximum length of a constraint44
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6204
Sum of products size (including duplicates)12408
Number of different products6204
Sum of products size12408

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-2663755-1276654240.opb>
0.01/0.06	c original problem has 6404 variables (6404 bin, 0 int, 0 impl, 0 cont) and 6404 constraints
0.01/0.06	c problem read
0.01/0.06	c presolving settings loaded
0.01/0.06	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.09/0.13	c presolving:
0.59/0.62	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 411740 impls, 0 clqs
0.99/1.06	c    (0.8s) probing: 101/6404 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.99/1.06	c    (0.8s) probing aborted: 100/100 successive totally useless probings
0.99/1.06	c presolving (2 rounds):
0.99/1.06	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.99/1.06	c  411740 implications, 0 cliques
0.99/1.06	c presolved problem has 6404 variables (6404 bin, 0 int, 0 impl, 0 cont) and 6404 constraints
0.99/1.06	c    6204 constraints of type <and>
0.99/1.06	c     200 constraints of type <logicor>
0.99/1.06	c transformed objective value is always integral (scale: 1)
0.99/1.06	c Presolving Time: 0.77
0.99/1.06	c - non default parameters ----------------------------------------------------------------------
0.99/1.06	c # SCIP version 1.2.1.2
0.99/1.06	c 
0.99/1.06	c # frequency for displaying node information lines
0.99/1.06	c # [type: int, range: [-1,2147483647], default: 100]
0.99/1.06	c display/freq = 10000
0.99/1.06	c 
0.99/1.06	c # maximal time in seconds to run
0.99/1.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.06	c limits/time = 1799.95
0.99/1.06	c 
0.99/1.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.06	c limits/memory = 1620
0.99/1.06	c 
0.99/1.06	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.99/1.06	c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.06	c lp/solvefreq = -1
0.99/1.06	c 
0.99/1.06	c # should presolving try to simplify inequalities
0.99/1.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.06	c constraints/linear/simplifyinequalities = TRUE
0.99/1.06	c 
0.99/1.06	c # should presolving try to simplify knapsacks
0.99/1.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.06	c constraints/knapsack/simplifyinequalities = TRUE
0.99/1.06	c 
0.99/1.06	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.99/1.06	c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.06	c heuristics/undercover/freq = 0
0.99/1.06	c 
0.99/1.06	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.99/1.06	c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.06	c separating/rapidlearning/freq = 0
0.99/1.06	c 
0.99/1.06	c -----------------------------------------------------------------------------------------------
0.99/1.06	c start solving
0.99/1.07	c 
0.99/1.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.99/1.09	c   0.8s|     1 |     2 |     0 |     - |  26M|   0 |   - |6404 |6404 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
38.97/39.00	c  38.4s| 10000 |  9979 |     0 |   0.0 |  50M| 207 |   - |6404 |6415 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
82.26/82.36	c  81.4s| 20000 | 19979 |     0 |   0.0 |  73M| 207 |   - |6404 |6413 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
125.54/125.64	c   124s| 30000 | 29979 |     0 |   0.0 |  95M| 207 |   - |6404 |6411 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
165.93/166.02	c   164s| 40000 | 39979 |     0 |   0.0 | 117M| 207 |   - |6404 |6411 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
203.60/203.74	c   202s| 50000 | 49979 |     0 |   0.0 | 138M| 207 |   - |6404 |6410 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
240.49/240.65	c   238s| 60000 | 59979 |     0 |   0.0 | 159M| 207 |   - |6404 |6410 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
276.68/276.81	c   274s| 70000 | 69979 |     0 |   0.0 | 180M| 207 |   - |6404 |6410 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
312.77/312.96	c   310s| 80000 | 79979 |     0 |   0.0 | 201M| 207 |   - |6404 |6410 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
348.36/348.50	c   345s| 90000 | 89979 |     0 |   0.0 | 222M| 207 |   - |6404 |6410 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
382.85/383.03	c   380s|100000 | 99979 |     0 |   0.0 | 243M| 207 |   - |6404 |6408 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
416.74/416.92	c   413s|110000 |109979 |     0 |   0.0 | 264M| 207 |   - |6404 |6408 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
449.92/450.11	c   446s|120000 |119979 |     0 |   0.0 | 285M| 207 |   - |6404 |6408 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
482.50/482.71	c   478s|130000 |129979 |     0 |   0.0 | 306M| 207 |   - |6404 |6408 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
514.60/514.85	c   510s|140000 |139979 |     0 |   0.0 | 328M| 207 |   - |6404 |6408 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
546.39/546.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
546.39/546.67	c   542s|150000 |149979 |     0 |   0.0 | 349M| 207 |   - |6404 |6408 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
577.67/577.90	c   573s|160000 |159979 |     0 |   0.0 | 370M| 207 |   - |6404 |6408 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
608.16/608.42	c   603s|170000 |169979 |     0 |   0.0 | 391M| 207 |   - |6404 |6408 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
638.14/638.46	c   632s|180000 |179979 |     0 |   0.0 | 412M| 207 |   - |6404 |6408 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
667.13/667.49	c   661s|190000 |189979 |     0 |   0.0 | 433M| 207 |   - |6404 |6408 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
695.93/696.29	c   690s|200000 |199979 |     0 |   0.0 | 454M| 207 |   - |6404 |6408 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
724.53/724.88	c   718s|210000 |209979 |     0 |   0.0 | 475M| 207 |   - |6404 |6407 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
752.71/753.02	c   746s|220000 |219979 |     0 |   0.0 | 496M| 207 |   - |6404 |6407 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
780.60/780.92	c   773s|230000 |229979 |     0 |   0.0 | 517M| 207 |   - |6404 |6407 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
808.28/808.68	c   801s|240000 |239979 |     0 |   0.0 | 538M| 207 |   - |6404 |6407 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
835.87/836.27	c   828s|250000 |249979 |     0 |   0.0 | 559M| 207 |   - |6404 |6407 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
863.16/863.58	c   855s|260000 |259979 |     0 |   0.0 | 580M| 207 |   - |6404 |6407 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
889.75/890.18	c   882s|270000 |269979 |     0 |   0.0 | 601M| 208 |   - |6404 |6407 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
917.24/917.65	c   909s|280000 |279979 |     0 |   0.0 | 623M| 209 |   - |6404 |6407 |   0 |   0 |   0 |  11 |   0 | 1.000000e+00 |      --      |    Inf 
945.43/945.84	c   937s|290000 |289977 |     0 |   0.0 | 643M| 209 |   - |6404 |6409 |   0 |   0 |   0 |  13 |   0 | 1.000000e+00 |      --      |    Inf 
972.72/973.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
972.72/973.11	c   964s|300000 |299977 |     0 |   0.0 | 664M| 209 |   - |6404 |6408 |   0 |   0 |   0 |  13 |   0 | 1.000000e+00 |      --      |    Inf 
999.21/999.69	c   990s|310000 |309977 |     0 |   0.0 | 685M| 209 |   - |6404 |6408 |   0 |   0 |   0 |  13 |   0 | 1.000000e+00 |      --      |    Inf 
1026.30/1026.71	c  1017s|320000 |319977 |     0 |   0.0 | 706M| 209 |   - |6404 |6408 |   0 |   0 |   0 |  13 |   0 | 1.000000e+00 |      --      |    Inf 
1052.30/1052.76	c  1042s|330000 |329977 |     0 |   0.0 | 727M| 209 |   - |6404 |6408 |   0 |   0 |   0 |  13 |   0 | 1.000000e+00 |      --      |    Inf 
1077.49/1077.96	c  1067s|340000 |339977 |     0 |   0.0 | 748M| 209 |   - |6404 |6408 |   0 |   0 |   0 |  13 |   0 | 1.000000e+00 |      --      |    Inf 
1102.47/1102.96	c  1092s|350000 |349977 |     0 |   0.0 | 770M| 210 |   - |6404 |6408 |   0 |   0 |   0 |  13 |   0 | 1.000000e+00 |      --      |    Inf 
1126.97/1127.43	c  1116s|360000 |359975 |     0 |   0.0 | 791M| 210 |   - |6404 |6409 |   0 |   0 |   0 |  15 |   0 | 1.000000e+00 |      --      |    Inf 
1151.26/1151.78	c  1140s|370000 |369975 |     0 |   0.0 | 812M| 210 |   - |6404 |6408 |   0 |   0 |   0 |  15 |   0 | 1.000000e+00 |      --      |    Inf 
1175.84/1176.37	c  1164s|380000 |379975 |     0 |   0.0 | 833M| 210 |   - |6404 |6408 |   0 |   0 |   0 |  15 |   0 | 1.000000e+00 |      --      |    Inf 
1199.54/1200.10	c  1188s|390000 |389975 |     0 |   0.0 | 854M| 210 |   - |6404 |6408 |   0 |   0 |   0 |  15 |   0 | 1.000000e+00 |      --      |    Inf 
1223.03/1223.56	c  1211s|400000 |399975 |     0 |   0.0 | 875M| 210 |   - |6404 |6408 |   0 |   0 |   0 |  15 |   0 | 1.000000e+00 |      --      |    Inf 
1246.12/1246.67	c  1234s|410000 |409975 |     0 |   0.0 | 896M| 210 |   - |6404 |6407 |   0 |   0 |   0 |  15 |   0 | 1.000000e+00 |      --      |    Inf 
1270.21/1270.73	c  1257s|420000 |419975 |     0 |   0.0 | 918M| 210 |   - |6404 |6407 |   0 |   0 |   0 |  15 |   0 | 1.000000e+00 |      --      |    Inf 
1293.30/1293.87	c  1280s|430000 |429975 |     0 |   0.0 | 939M| 212 |   - |6404 |6407 |   0 |   0 |   0 |  15 |   0 | 1.000000e+00 |      --      |    Inf 
1316.49/1317.00	c  1303s|440000 |439975 |     0 |   0.0 | 960M| 212 |   - |6404 |6407 |   0 |   0 |   0 |  15 |   0 | 1.000000e+00 |      --      |    Inf 
1339.48/1340.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1339.48/1340.08	c  1326s|450000 |449975 |     0 |   0.0 | 982M| 212 |   - |6404 |6407 |   0 |   0 |   0 |  15 |   0 | 1.000000e+00 |      --      |    Inf 
1362.28/1362.84	c  1348s|460000 |459975 |     0 |   0.0 |1003M| 212 |   - |6404 |6407 |   0 |   0 |   0 |  15 |   0 | 1.000000e+00 |      --      |    Inf 
1384.46/1385.01	c  1370s|470000 |469975 |     0 |   0.0 |1025M| 212 |   - |6404 |6407 |   0 |   0 |   0 |  15 |   0 | 1.000000e+00 |      --      |    Inf 
1405.36/1405.94	c  1391s|480000 |479973 |     0 |   0.0 |1046M| 212 |   - |6404 |6408 |   0 |   0 |   0 |  16 |   0 | 1.000000e+00 |      --      |    Inf 
1425.75/1426.32	c  1411s|490000 |489973 |     0 |   0.0 |1068M| 212 |   - |6404 |6408 |   0 |   0 |   0 |  16 |   0 | 1.000000e+00 |      --      |    Inf 
1447.64/1448.28	c  1432s|500000 |499973 |     0 |   0.0 |1090M| 212 |   - |6404 |6407 |   0 |   0 |   0 |  16 |   0 | 1.000000e+00 |      --      |    Inf 
1461.73/1462.33	o 22
1461.73/1462.33	c *1446s|506588 |506415 |     0 |   0.0 |1104M| 212 |   - |6404 |6407 |   0 |   0 |   0 |  16 |   0 | 1.000000e+00 | 2.200000e+01 |2100.00%
1473.43/1474.07	c  1458s|510000 |509823 |     0 |   0.0 |1112M| 212 |   - |6404 |6412 |   0 |   0 |   0 |  21 |   0 | 1.000000e+00 | 2.200000e+01 |2100.00%
1504.32/1504.96	c  1488s|520000 |519823 |     0 |   0.0 |1132M| 212 |   - |6404 |6412 |   0 |   0 |   0 |  21 |   0 | 1.000000e+00 | 2.200000e+01 |2100.00%
1531.91/1532.59	c  1516s|530000 |529823 |     0 |   0.0 |1153M| 212 |   - |6404 |6412 |   0 |   0 |   0 |  21 |   0 | 1.000000e+00 | 2.200000e+01 |2100.00%
1557.01/1557.63	c  1541s|540000 |539823 |     0 |   0.0 |1173M| 212 |   - |6404 |6412 |   0 |   0 |   0 |  21 |   0 | 1.000000e+00 | 2.200000e+01 |2100.00%
1581.39/1582.06	c  1565s|550000 |549823 |     0 |   0.0 |1194M| 212 |   - |6404 |6412 |   0 |   0 |   0 |  21 |   0 | 1.000000e+00 | 2.200000e+01 |2100.00%
1625.98/1626.69	c  1609s|560000 |559821 |     0 |   0.0 |1216M| 212 |   - |6404 |6409 |   0 |   0 |   0 |  23 |   0 | 1.000000e+00 | 2.200000e+01 |2100.00%
1673.25/1673.98	c  1656s|570000 |569821 |     0 |   0.0 |1239M| 212 |   - |6404 |6407 |   0 |   0 |   0 |  23 |   0 | 1.000000e+00 | 2.200000e+01 |2100.00%
1722.63/1723.31	c  1705s|580000 |579821 |     0 |   0.0 |1262M| 212 |   - |6404 |6407 |   0 |   0 |   0 |  23 |   0 | 1.000000e+00 | 2.200000e+01 |2100.00%
1772.22/1772.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1772.22/1772.95	c  1754s|590000 |589821 |     0 |   0.0 |1285M| 212 |   - |6404 |6407 |   0 |   0 |   0 |  23 |   0 | 1.000000e+00 | 2.200000e+01 |2100.00%
1800.02/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.71	c 
1800.02/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.71	c Solving Time (sec) : 1781.93
1800.02/1800.71	c Solving Nodes      : 595560
1800.02/1800.71	c Primal Bound       : +2.20000000000000e+01 (1 solutions)
1800.02/1800.71	c Dual Bound         : +1.00000000000000e+00
1800.02/1800.71	c Gap                : 2100.00 %
1800.02/1800.73	s SATISFIABLE
1800.02/1800.73	v x200 -x199 x198 x197 x196 -x195 x194 x193 x192 x191 -x190 x189 x188 -x187 x186 x185 x184 -x183 -x182 x181 -x180 x179 -x178 -x177 
1800.02/1800.73	v -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 
1800.02/1800.73	v -x155 -x154 -x153 -x152 -x151 -x150 x149 x148 -x147 x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 
1800.02/1800.73	v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 
1800.02/1800.73	v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 
1800.02/1800.73	v -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 
1800.02/1800.73	v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 
1800.02/1800.73	v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 
1800.02/1800.73	v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1800.02/1800.73	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.73	c Solving Time       :    1781.93
1800.02/1800.73	c Original Problem   :
1800.02/1800.73	c   Problem name     : HOME/instance-2663755-1276654240.opb
1800.02/1800.73	c   Variables        : 6404 (6404 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.73	c   Constraints      : 6404 initial, 6404 maximal
1800.02/1800.73	c Presolved Problem  :
1800.02/1800.73	c   Problem name     : t_HOME/instance-2663755-1276654240.opb
1800.02/1800.73	c   Variables        : 6404 (6404 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.73	c   Constraints      : 6404 initial, 6415 maximal
1800.02/1800.73	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.73	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.73	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1800.02/1800.73	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.73	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.73	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.73	c   probing          :       0.23          0          0          0          0          0          0          0          0
1800.02/1800.73	c   and              :       0.47          0          0          0          0          0          0          0          0
1800.02/1800.73	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.02/1800.73	c   root node        :          -          0          -          -          0          -          -          -          -
1800.02/1800.73	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.73	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.02/1800.73	c   and              :       6204          0    1805777          0     595542         14   19149347          0          0          0
1800.02/1800.73	c   logicor          :        200+         0     443093          0     595543          3      52015          0          0          0
1800.02/1800.73	c   countsols        :          0          0          0          0     595543          0          0          0          0          0
1800.02/1800.73	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.73	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.73	c   and              :     403.69       0.00     372.52       0.00      31.17
1800.02/1800.73	c   logicor          :     321.10       0.00       3.78       0.00     317.32
1800.02/1800.73	c   countsols        :       0.70       0.00       0.00       0.00       0.70
1800.02/1800.73	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.73	c   vbounds          :       1.23          2          0          0
1800.02/1800.73	c   rootredcost      :       0.95          0          0          0
1800.02/1800.73	c   pseudoobj        :      31.33    1805578          0        341
1800.02/1800.73	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.73	c   propagation      :       0.00         17         17         23       16.3          0        0.0          -
1800.02/1800.73	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.73	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.73	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.73	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.02/1800.73	c   applied globally :          -          -          -         23       16.3          -          -          -
1800.02/1800.73	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.02/1800.73	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.73	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.02/1800.73	c   redcost          :       0.00          0          0          0          0          0
1800.02/1800.73	c   impliedbounds    :       0.00          0          0          0          0          0
1800.02/1800.73	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.73	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.73	c   gomory           :       0.00          0          0          0          0          0
1800.02/1800.73	c   strongcg         :       0.00          0          0          0          0          0
1800.02/1800.73	c   cmir             :       0.00          0          0          0          0          0
1800.02/1800.73	c   flowcover        :       0.00          0          0          0          0          0
1800.02/1800.73	c   clique           :       0.00          0          0          0          0          0
1800.02/1800.73	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.73	c   mcf              :       0.00          0          0          0          0          0
1800.02/1800.73	c   rapidlearning    :       0.00          0          0          0          0          0
1800.02/1800.73	c Pricers            :       Time      Calls       Vars
1800.02/1800.73	c   problem variables:       0.00          0          0
1800.02/1800.73	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.73	c   relpscost        :       0.00          0          0          0          0          0          0
1800.02/1800.73	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.73	c   inference        :     888.11     595542          0          0          0          0    1191084
1800.02/1800.73	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.73	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.73	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.73	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.73	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.73	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.73	c   LP solutions     :       0.00          -          0
1800.02/1800.73	c   pseudo solutions :       0.02          -          1
1800.02/1800.73	c   oneopt           :       0.59          0          0
1800.02/1800.73	c   trivial          :       0.02          2          0
1800.02/1800.73	c   simplerounding   :       0.00          0          0
1800.02/1800.73	c   zirounding       :       0.00          0          0
1800.02/1800.73	c   rounding         :       0.00          0          0
1800.02/1800.73	c   shifting         :       0.00          0          0
1800.02/1800.73	c   intshifting      :       0.00          0          0
1800.02/1800.73	c   twoopt           :       0.00          0          0
1800.02/1800.73	c   fixandinfer      :       0.00          0          0
1800.02/1800.73	c   feaspump         :       0.00          0          0
1800.02/1800.73	c   coefdiving       :       0.00          0          0
1800.02/1800.73	c   pscostdiving     :       0.00          0          0
1800.02/1800.73	c   fracdiving       :       0.00          0          0
1800.02/1800.73	c   veclendiving     :       0.00          0          0
1800.02/1800.73	c   intdiving        :       0.00          0          0
1800.02/1800.73	c   actconsdiving    :       0.00          0          0
1800.02/1800.73	c   objpscostdiving  :       0.00          0          0
1800.02/1800.73	c   rootsoldiving    :       0.00          0          0
1800.02/1800.73	c   linesearchdiving :       0.00          0          0
1800.02/1800.73	c   guideddiving     :       0.00          0          0
1800.02/1800.73	c   octane           :       0.00          0          0
1800.02/1800.73	c   rens             :       0.00          0          0
1800.02/1800.73	c   rins             :       0.00          0          0
1800.02/1800.73	c   localbranching   :       0.00          0          0
1800.02/1800.73	c   mutation         :       0.00          0          0
1800.02/1800.73	c   crossover        :       0.00          0          0
1800.02/1800.73	c   dins             :       0.00          0          0
1800.02/1800.73	c   undercover       :       0.00          0          0
1800.02/1800.73	c   nlp              :       0.72          0          0
1800.02/1800.73	c   trysol           :       0.32          0          0
1800.02/1800.73	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.73	c   primal LP        :       0.00          0          0       0.00          -
1800.02/1800.73	c   dual LP          :       0.00          0          0       0.00          -
1800.02/1800.73	c   lex dual LP      :       0.00          0          0       0.00          -
1800.02/1800.73	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.73	c   diving/probing LP:       0.00          0          0       0.00          -
1800.02/1800.73	c   strong branching :       0.00          0          0       0.00          -
1800.02/1800.73	c     (at root node) :          -          0          0       0.00          -
1800.02/1800.73	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.73	c B&B Tree           :
1800.02/1800.73	c   number of runs   :          1
1800.02/1800.73	c   nodes            :     595560
1800.02/1800.73	c   nodes (total)    :     595560
1800.02/1800.73	c   nodes left       :     595381
1800.02/1800.73	c   max depth        :        212
1800.02/1800.73	c   max depth (total):        212
1800.02/1800.73	c   backtracks       :       8916 (1.5%)
1800.02/1800.73	c   delayed cutoffs  :          0
1800.02/1800.73	c   repropagations   :       6880 (157 domain reductions, 0 cutoffs)
1800.02/1800.73	c   avg switch length:       3.39
1800.02/1800.73	c   switching time   :      90.10
1800.02/1800.73	c Solution           :
1800.02/1800.73	c   Solutions found  :          1 (1 improvements)
1800.02/1800.73	c   First Solution   : +2.20000000000000e+01   (in run 1, after 506588 nodes, 1446.27 seconds, depth 212, found by <relaxation>)
1800.02/1800.73	c   Primal Bound     : +2.20000000000000e+01   (in run 1, after 506588 nodes, 1446.27 seconds, depth 212, found by <relaxation>)
1800.02/1800.73	c   Dual Bound       : +1.00000000000000e+00
1800.02/1800.73	c   Gap              :    2100.00 %
1800.02/1800.73	c   Root Dual Bound  : +0.00000000000000e+00
1800.02/1800.73	c   Root Iterations  :          0

Verifier Data 

OK	22

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663755-1276654240/watcher-2663755-1276654240 -o /tmp/evaluation-result-2663755-1276654240/solver-2663755-1276654240 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663755-1276654240.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.00 1.00 1.00 3/106 13691
/proc/meminfo: memFree=1762200/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=7612 CPUtime=0
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 1183 0 0 0 0 0 0 0 20 0 1 0 6716346 7794688 1105 1992294400 4194304 7136930 140736123906592 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13691/statm: 1903 1114 254 719 0 1182 0

[startup+0.01986 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13691
/proc/meminfo: memFree=1762200/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=9616 CPUtime=0.01
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 1883 0 0 0 1 0 0 0 20 0 1 0 6716346 9846784 1806 1992294400 4194304 7136930 140736123906592 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13691/statm: 2404 1817 272 719 0 1683 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9616

[startup+0.101846 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13691
/proc/meminfo: memFree=1762200/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=25536 CPUtime=0.09
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 6235 0 0 0 8 1 0 0 20 0 1 0 6716346 26148864 5803 1992294400 4194304 7136930 140736123906592 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 6384 5803 304 719 0 5663 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25536

[startup+0.300882 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13691
/proc/meminfo: memFree=1762200/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=37748 CPUtime=0.29
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 8957 0 0 0 27 2 0 0 20 0 1 0 6716346 38653952 8525 1992294400 4194304 7136930 140736123906592 18446744073709551615 5964520 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 9437 8525 328 719 0 8716 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37748

[startup+0.700955 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13691
/proc/meminfo: memFree=1762200/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=45812 CPUtime=0.69
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 12047 0 0 0 55 14 0 0 21 0 1 0 6716346 46911488 10587 1992294400 4194304 7136930 140736123906592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 11453 10587 348 719 0 10732 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45812

[startup+1.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13692
/proc/meminfo: memFree=1718544/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=49244 CPUtime=1.49
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 12996 0 0 0 128 21 0 0 23 0 1 0 6716346 50425856 11536 1992294400 4194304 7136930 140736123906592 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 12311 11536 381 719 0 11590 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49244

[startup+3.10139 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13692
/proc/meminfo: memFree=1716932/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=50188 CPUtime=3.09
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 13239 0 0 0 286 23 0 0 25 0 1 0 6716346 51392512 11779 1992294400 4194304 7136930 140736123906592 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 12547 11779 381 719 0 11826 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50188

[startup+6.30097 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13692
/proc/meminfo: memFree=1714576/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=52184 CPUtime=6.28
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 13718 0 0 0 603 25 0 0 25 0 1 0 6716346 53436416 12258 1992294400 4194304 7136930 140736123906592 18446744073709551615 4676459 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 13046 12258 381 719 0 12325 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 52184

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13694
/proc/meminfo: memFree=1710732/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=56136 CPUtime=12.69
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 14721 0 0 0 1239 30 0 0 25 0 1 0 6716346 57483264 13261 1992294400 4194304 7136930 140736123906592 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 14034 13261 386 719 0 13313 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56136

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13694
/proc/meminfo: memFree=1700192/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=65948 CPUtime=25.48
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 17158 0 0 0 2508 40 0 0 25 0 1 0 6716346 67530752 15698 1992294400 4194304 7136930 140736123906592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 16487 15698 386 719 0 15766 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 65948

[startup+51.1001 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13694
/proc/meminfo: memFree=1677004/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=89464 CPUtime=51.06
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 23042 0 0 0 5044 62 0 0 25 0 1 0 6716346 91611136 21582 1992294400 4194304 7136930 140736123906592 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 22366 21582 386 719 0 21645 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 89464

[startup+102.308 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 13696
/proc/meminfo: memFree=1652576/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=113184 CPUtime=102.25
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 29022 0 0 0 10128 97 0 0 25 0 1 0 6716346 115900416 27562 1992294400 4194304 7136930 140736123906592 18446744073709551615 4783062 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 28296 27562 386 719 0 27575 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 113184

[startup+162.301 s]
/proc/loadavg: 1.12 1.04 1.01 2/107 13698
/proc/meminfo: memFree=1620584/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=145940 CPUtime=162.22
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 37245 0 0 0 16078 144 0 0 25 0 1 0 6716346 149442560 35785 1992294400 4194304 7136930 140736123906592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 36485 35785 386 719 0 35764 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 145940

[startup+222.301 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 13698
/proc/meminfo: memFree=1584252/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=180980 CPUtime=222.2
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 46049 0 0 0 22024 196 0 0 25 0 1 0 6716346 185323520 44589 1992294400 4194304 7136930 140736123906592 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 45245 44589 386 719 0 44524 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 180980

[startup+282.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 13700
/proc/meminfo: memFree=1550028/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=217148 CPUtime=282.18
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 54593 0 0 0 27977 241 0 0 25 0 1 0 6716346 222359552 53133 1992294400 4194304 7136930 140736123906592 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 54287 53133 386 719 0 53566 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 217148

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 13702
/proc/meminfo: memFree=1515556/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=251132 CPUtime=342.15
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 63160 0 0 0 33922 293 0 0 25 0 1 0 6716346 257159168 61700 1992294400 4194304 7136930 140736123906592 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 62783 61700 386 719 0 62062 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 251132

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13704
/proc/meminfo: memFree=1477488/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=289004 CPUtime=402.14
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 72647 0 0 0 39866 348 0 0 25 0 1 0 6716346 295940096 71187 1992294400 4194304 7136930 140736123906592 18446744073709551615 5892284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 72251 71187 386 719 0 71530 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 289004

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13706
/proc/meminfo: memFree=1442644/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=326288 CPUtime=462.12
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 82034 0 0 0 45810 402 0 0 25 0 1 0 6716346 334118912 80574 1992294400 4194304 7136930 140736123906592 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 81572 80574 386 719 0 80851 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 326288

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13706
/proc/meminfo: memFree=1398996/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=366736 CPUtime=522.09
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 92195 0 0 0 51748 461 0 0 25 0 1 0 6716346 375537664 90735 1992294400 4194304 7136930 140736123906592 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 91684 90735 386 719 0 90963 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 366736

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13708
/proc/meminfo: memFree=1360060/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=405196 CPUtime=582.06
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 101896 0 0 0 57691 515 0 0 25 0 1 0 6716346 414920704 100436 1992294400 4194304 7136930 140736123906592 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 101299 100436 386 719 0 100578 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 405196

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13710
/proc/meminfo: memFree=1314180/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=450644 CPUtime=642.05
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 113319 0 0 0 63630 575 0 0 25 0 1 0 6716346 461459456 111859 1992294400 4194304 7136930 140736123906592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 112661 111859 386 719 0 111940 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 450644

[startup+702.3 s]

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

/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 192915 0 0 0 105175 1014 0 0 25 0 1 0 6716346 789639168 191455 1992294400 4194304 7136930 140736123906592 18446744073709551615 5892303 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 192783 191455 387 719 0 192062 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 771132

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13722
/proc/meminfo: memFree=946892/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=819520 CPUtime=1121.87
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 205146 0 0 0 111102 1085 0 0 25 0 1 0 6716346 839188480 203686 1992294400 4194304 7136930 140736123906592 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 204880 203686 387 719 0 204159 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 819520

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13724
/proc/meminfo: memFree=894936/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=869892 CPUtime=1181.85
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 217838 0 0 0 117023 1162 0 0 25 0 1 0 6716346 890769408 216378 1992294400 4194304 7136930 140736123906592 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 217473 216378 387 719 0 216752 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 869892

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13726
/proc/meminfo: memFree=843352/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=922088 CPUtime=1241.82
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 230957 0 0 0 122942 1240 0 0 25 0 1 0 6716346 944218112 229497 1992294400 4194304 7136930 140736123906592 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 230522 229497 387 719 0 229801 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 922088

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13731
/proc/meminfo: memFree=782840/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=980376 CPUtime=1301.8
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 245617 0 0 0 128861 1319 0 0 25 0 1 0 6716346 1003905024 244157 1992294400 4194304 7136930 140736123906592 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 245094 244157 387 719 0 244373 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 980376

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13733
/proc/meminfo: memFree=729892/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=1042356 CPUtime=1361.77
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 259146 0 0 0 134780 1397 0 0 25 0 1 0 6716346 1067372544 257686 1992294400 4194304 7136930 140736123906592 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 260589 257686 387 719 0 259868 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 1042356

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13733
/proc/meminfo: memFree=672108/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=1098336 CPUtime=1421.76
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 273254 0 0 0 140692 1484 0 0 25 0 1 0 6716346 1124696064 271794 1992294400 4194304 7136930 140736123906592 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 274584 271794 387 719 0 273863 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 1098336

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13735
/proc/meminfo: memFree=615812/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=1154180 CPUtime=1481.73
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 287300 0 0 0 146611 1562 0 0 25 0 1 0 6716346 1181880320 285840 1992294400 4194304 7136930 140736123906592 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 288545 285840 387 719 0 287824 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 1154180

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13737
/proc/meminfo: memFree=576876/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=1193784 CPUtime=1541.7
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 297267 0 0 0 152548 1622 0 0 25 0 1 0 6716346 1222434816 295807 1992294400 4194304 7136930 140736123906592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 298446 295807 387 719 0 297725 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 1193784

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13739
/proc/meminfo: memFree=528268/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=1241944 CPUtime=1601.68
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 309376 0 0 0 158483 1685 0 0 25 0 1 0 6716346 1271750656 307916 1992294400 4194304 7136930 140736123906592 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 310486 307916 387 719 0 309765 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 1241944

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13741
/proc/meminfo: memFree=496524/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=1272644 CPUtime=1661.66
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 317112 0 0 0 164444 1722 0 0 25 0 1 0 6716346 1303187456 315652 1992294400 4194304 7136930 140736123906592 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 318161 315652 387 719 0 317440 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 1272644

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13741
/proc/meminfo: memFree=470112/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=1298628 CPUtime=1721.63
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 323674 0 0 0 170405 1758 0 0 25 0 1 0 6716346 1329795072 322214 1992294400 4194304 7136930 140736123906592 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 324657 322214 387 719 0 323936 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 1298628

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13743
/proc/meminfo: memFree=442708/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=1325908 CPUtime=1781.61
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 330512 0 0 0 176367 1794 0 0 25 0 1 0 6716346 1357729792 329052 1992294400 4194304 7136930 140736123906592 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 331477 329052 387 719 0 330756 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 1325908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13743
/proc/meminfo: memFree=436136/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=1332384 CPUtime=1800.02
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 332148 0 0 0 178197 1805 0 0 25 0 1 0 6716346 1364361216 330688 1992294400 4194304 7136930 140736123906592 18446744073709551615 4407784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13691/statm: 333096 330688 387 719 0 332375 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1332384

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -13691

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13743
/proc/meminfo: memFree=436136/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=1332384 CPUtime=1800.71
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 332154 0 0 0 178266 1805 0 0 25 0 1 0 6716346 1364361216 330694 1992294400 4194304 7136930 140736123906592 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13691/statm: 333096 330694 393 719 0 332375 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (KiB) 1332384

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13744
/proc/meminfo: memFree=436128/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=1332384 CPUtime=1801.51
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 332154 0 0 0 178346 1805 0 0 25 0 1 0 6716346 1364361216 330694 1992294400 4194304 7136930 140736123906592 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13691/statm: 333096 330694 393 719 0 332375 0
Current children cumulated CPU time (s) 1801.51
Current children cumulated vsize (KiB) 1332384

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13744
/proc/meminfo: memFree=436128/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=1308924 CPUtime=1801.9
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4202496 332154 0 0 0 178385 1805 0 0 25 0 1 0 6716346 1340338176 324829 1992294400 4194304 7136930 140736123906592 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13691/statm: 327134 324732 393 719 0 326413 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 1308924

[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13744
/proc/meminfo: memFree=1367872/2059040 swapFree=4192956/4192956
[pid=13691] ppid=13689 vsize=0 CPUtime=1802.12
/proc/13691/stat : 13691 (pbscip.linux.x8) R 13689 13691 11820 0 -1 4203524 332154 0 0 0 178397 1815 0 0 25 0 1 0 6716346 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/13691/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.84
CPU time (s): 1802.15
CPU user time (s): 1783.97
CPU system time (s): 18.1792
CPU usage (%): 99.962
Max. virtual memory (cumulated for all children) (KiB): 1332384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.97
system time used= 18.1792
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332154
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= 3
involuntary context switches= 22769

runsolver used 2.83857 second user time and 8.66568 second system time

The end

Launcher Data 

Begin job on node044 at 2010-06-16 04:10:40
IDJOB=2663755
IDBENCH=48128
IDSOLVER=1167
FILE ID=node044/2663755-1276654240
PBS_JOBID= 11172426
Free space on /tmp= 62588 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_1.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-2663755-1276654240/watcher-2663755-1276654240 -o /tmp/evaluation-result-2663755-1276654240/solver-2663755-1276654240 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663755-1276654240.opb -t 1800 -m 1800

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

MD5SUM BENCH= 88e7a647c6e46a38e952354158b1fb76
RANDOM SEED=619007402

node044.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.266
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.53
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.266
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1762604 kB
Buffers:         28508 kB
Cached:         143372 kB
SwapCached:          0 kB
Active:         124432 kB
Inactive:       106852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1762604 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3240 kB
Writeback:           0 kB
AnonPages:       59484 kB
Mapped:          15384 kB
Slab:            43340 kB
PageTables:       3876 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180552 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= 62584 MiB
End job on node044 at 2010-06-16 04:40:43