Trace number 2664165

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.96 1801.67

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv11.opb
MD5SUMa74bcf40291587dc368e3a23fd278be9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-10859
Best CPU time to get the best result obtained on this benchmark187.313
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -10639
Optimality of the best value was proved NO
Number of variables11247
Total number of constraints9744
Number of constraints which are clauses77
Number of constraints which are cardinality constraints (but not clauses)5755
Number of constraints which are nor clauses,nor cardinality constraints3912
Minimum length of a constraint2
Maximum length of a constraint68
Number of terms in the objective function 773
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 76861
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1999
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 76861
Number of bits of the biggest sum of numbers17
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-2664165-1276360696.opb>
0.29/0.39	c original problem has 11247 variables (11247 bin, 0 int, 0 impl, 0 cont) and 9744 constraints
0.29/0.39	c problem read
0.29/0.39	c presolving settings loaded
0.29/0.39	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.73	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 513 chg sides, 580 chg coeffs, 0 upgd conss, 138 impls, 6828 clqs
0.79/0.90	c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 513 chg sides, 580 chg coeffs, 7421 upgd conss, 138 impls, 6828 clqs
1.00/1.02	c (round 3) 54 del vars, 13 del conss, 4 chg bounds, 670 chg sides, 1286 chg coeffs, 7421 upgd conss, 1556 impls, 7057 clqs
1.00/1.08	c (round 4) 64 del vars, 51 del conss, 4 chg bounds, 932 chg sides, 1810 chg coeffs, 7449 upgd conss, 1604 impls, 7064 clqs
1.10/1.13	c (round 5) 66 del vars, 117 del conss, 4 chg bounds, 1242 chg sides, 3039 chg coeffs, 7450 upgd conss, 1620 impls, 7304 clqs
1.10/1.19	c (round 6) 66 del vars, 167 del conss, 4 chg bounds, 1302 chg sides, 3128 chg coeffs, 7450 upgd conss, 1620 impls, 7304 clqs
1.19/1.24	c (round 7) 66 del vars, 195 del conss, 4 chg bounds, 1359 chg sides, 3299 chg coeffs, 7450 upgd conss, 1620 impls, 7360 clqs
1.19/1.28	c (round 8) 66 del vars, 195 del conss, 4 chg bounds, 1361 chg sides, 3301 chg coeffs, 7450 upgd conss, 1620 impls, 7360 clqs
6.69/6.78	c (round 9) 121 del vars, 195 del conss, 4 chg bounds, 1361 chg sides, 3301 chg coeffs, 7450 upgd conss, 252142 impls, 7343 clqs
6.79/6.83	c (round 10) 125 del vars, 213 del conss, 4 chg bounds, 1361 chg sides, 3324 chg coeffs, 7450 upgd conss, 252252 impls, 7350 clqs
6.79/6.89	c (round 11) 125 del vars, 213 del conss, 4 chg bounds, 1370 chg sides, 3352 chg coeffs, 7457 upgd conss, 252252 impls, 7355 clqs
6.88/6.93	c (round 12) 125 del vars, 213 del conss, 4 chg bounds, 1371 chg sides, 3357 chg coeffs, 7457 upgd conss, 252252 impls, 7356 clqs
16.79/16.86	c    (16.2s) probing: 1000/11181 (8.9%) - 84 fixings, 3 aggregations, 282405 implications, 0 bound changes
30.18/30.25	c (round 13) 176 del vars, 213 del conss, 4 chg bounds, 1371 chg sides, 3361 chg coeffs, 7457 upgd conss, 1026830 impls, 7341 clqs
30.28/30.31	c (round 14) 178 del vars, 232 del conss, 4 chg bounds, 1371 chg sides, 3456 chg coeffs, 7457 upgd conss, 1026836 impls, 7348 clqs
30.28/30.39	c (round 15) 178 del vars, 238 del conss, 4 chg bounds, 1401 chg sides, 3584 chg coeffs, 7464 upgd conss, 1026876 impls, 7416 clqs
30.38/30.46	c (round 16) 178 del vars, 240 del conss, 4 chg bounds, 1405 chg sides, 3630 chg coeffs, 7464 upgd conss, 1026878 impls, 7514 clqs
30.48/30.54	c (round 17) 178 del vars, 251 del conss, 4 chg bounds, 1405 chg sides, 3660 chg coeffs, 7464 upgd conss, 1026878 impls, 7610 clqs
30.58/30.62	c (round 18) 178 del vars, 259 del conss, 4 chg bounds, 1405 chg sides, 3686 chg coeffs, 7464 upgd conss, 1026878 impls, 7706 clqs
30.69/30.77	c    (29.9s) probing: 2000/11181 (17.9%) - 99 fixings, 7 aggregations, 491297 implications, 0 bound changes
47.57/47.62	c    (46.7s) probing: 3000/11181 (26.8%) - 134 fixings, 8 aggregations, 762125 implications, 0 bound changes
50.67/50.76	c (round 19) 235 del vars, 259 del conss, 4 chg bounds, 1405 chg sides, 3710 chg coeffs, 7464 upgd conss, 1662344 impls, 7733 clqs
50.77/50.86	c (round 20) 238 del vars, 279 del conss, 4 chg bounds, 1419 chg sides, 3829 chg coeffs, 7464 upgd conss, 1662774 impls, 7843 clqs
50.87/50.96	c (round 21) 238 del vars, 280 del conss, 4 chg bounds, 1422 chg sides, 3886 chg coeffs, 7476 upgd conss, 1662774 impls, 7950 clqs
50.97/51.05	c (round 22) 238 del vars, 285 del conss, 4 chg bounds, 1422 chg sides, 3912 chg coeffs, 7476 upgd conss, 1662778 impls, 8042 clqs
58.28/58.32	c (round 23) 288 del vars, 285 del conss, 4 chg bounds, 1422 chg sides, 3932 chg coeffs, 7476 upgd conss, 1842948 impls, 8080 clqs
58.37/58.42	c (round 24) 289 del vars, 297 del conss, 4 chg bounds, 1424 chg sides, 3979 chg coeffs, 7476 upgd conss, 1843066 impls, 8133 clqs
58.47/58.52	c (round 25) 289 del vars, 300 del conss, 4 chg bounds, 1425 chg sides, 4012 chg coeffs, 7482 upgd conss, 1843066 impls, 8188 clqs
58.47/58.59	c (round 26) 289 del vars, 300 del conss, 4 chg bounds, 1427 chg sides, 4058 chg coeffs, 7482 upgd conss, 1843066 impls, 8206 clqs
61.67/61.71	c    (60.6s) probing: 4000/11181 (35.8%) - 217 fixings, 20 aggregations, 907346 implications, 0 bound changes
65.56/65.63	c (round 27) 339 del vars, 300 del conss, 4 chg bounds, 1427 chg sides, 4073 chg coeffs, 7482 upgd conss, 1977271 impls, 8202 clqs
65.67/65.74	c (round 28) 344 del vars, 333 del conss, 4 chg bounds, 1431 chg sides, 4121 chg coeffs, 7482 upgd conss, 1977669 impls, 8222 clqs
65.76/65.84	c (round 29) 346 del vars, 336 del conss, 4 chg bounds, 1433 chg sides, 4154 chg coeffs, 7485 upgd conss, 1977669 impls, 8263 clqs
65.87/65.91	c (round 30) 346 del vars, 337 del conss, 4 chg bounds, 1433 chg sides, 4165 chg coeffs, 7485 upgd conss, 1977669 impls, 8280 clqs
72.07/72.19	c (round 31) 399 del vars, 337 del conss, 4 chg bounds, 1433 chg sides, 4169 chg coeffs, 7485 upgd conss, 2112787 impls, 8280 clqs
72.27/72.30	c (round 32) 399 del vars, 355 del conss, 4 chg bounds, 1437 chg sides, 4199 chg coeffs, 7485 upgd conss, 2112787 impls, 8293 clqs
72.27/72.36	c (round 33) 402 del vars, 357 del conss, 4 chg bounds, 1441 chg sides, 4221 chg coeffs, 7489 upgd conss, 2112787 impls, 8311 clqs
72.36/72.43	c (round 34) 402 del vars, 362 del conss, 4 chg bounds, 1442 chg sides, 4230 chg coeffs, 7489 upgd conss, 2112787 impls, 8339 clqs
74.67/74.77	c    (73.5s) probing: 5000/11181 (44.7%) - 298 fixings, 26 aggregations, 1027871 implications, 0 bound changes
84.36/84.43	c (round 35) 452 del vars, 362 del conss, 4 chg bounds, 1442 chg sides, 4237 chg coeffs, 7489 upgd conss, 2333012 impls, 8347 clqs
84.46/84.56	c (round 36) 456 del vars, 387 del conss, 4 chg bounds, 1451 chg sides, 4300 chg coeffs, 7489 upgd conss, 2334874 impls, 8363 clqs
84.57/84.64	c (round 37) 458 del vars, 391 del conss, 4 chg bounds, 1457 chg sides, 4338 chg coeffs, 7496 upgd conss, 2334882 impls, 8402 clqs
84.66/84.71	c (round 38) 458 del vars, 394 del conss, 4 chg bounds, 1457 chg sides, 4347 chg coeffs, 7496 upgd conss, 2334884 impls, 8448 clqs
86.16/86.21	c    (84.8s) probing: 6000/11181 (53.7%) - 342 fixings, 37 aggregations, 1127339 implications, 0 bound changes
95.25/95.39	c (round 39) 508 del vars, 394 del conss, 4 chg bounds, 1457 chg sides, 4354 chg coeffs, 7496 upgd conss, 2543624 impls, 8435 clqs
95.45/95.53	c (round 40) 512 del vars, 406 del conss, 4 chg bounds, 1465 chg sides, 4438 chg coeffs, 7505 upgd conss, 2543804 impls, 8447 clqs
95.56/95.61	c (round 41) 512 del vars, 408 del conss, 4 chg bounds, 1469 chg sides, 4476 chg coeffs, 7505 upgd conss, 2543806 impls, 8454 clqs
95.56/95.68	c (round 42) 512 del vars, 412 del conss, 4 chg bounds, 1469 chg sides, 4487 chg coeffs, 7505 upgd conss, 2543806 impls, 8462 clqs
95.66/95.74	c (round 43) 512 del vars, 414 del conss, 4 chg bounds, 1469 chg sides, 4496 chg coeffs, 7505 upgd conss, 2543806 impls, 8492 clqs
95.75/95.81	c (round 44) 512 del vars, 418 del conss, 4 chg bounds, 1469 chg sides, 4498 chg coeffs, 7505 upgd conss, 2543806 impls, 8494 clqs
95.75/95.86	c (round 45) 512 del vars, 419 del conss, 4 chg bounds, 1469 chg sides, 4500 chg coeffs, 7505 upgd conss, 2543806 impls, 8495 clqs
98.45/98.54	c    (97.0s) probing: 7000/11181 (62.6%) - 382 fixings, 40 aggregations, 1243043 implications, 0 bound changes
108.25/108.32	c    (106.8s) probing: 8000/11181 (71.5%) - 404 fixings, 46 aggregations, 1318704 implications, 0 bound changes
113.35/113.43	c (round 46) 562 del vars, 419 del conss, 4 chg bounds, 1469 chg sides, 4501 chg coeffs, 7505 upgd conss, 2887867 impls, 8473 clqs
113.45/113.57	c (round 47) 568 del vars, 443 del conss, 4 chg bounds, 1482 chg sides, 4699 chg coeffs, 7505 upgd conss, 2888169 impls, 8491 clqs
113.55/113.69	c (round 48) 570 del vars, 453 del conss, 4 chg bounds, 1511 chg sides, 4845 chg coeffs, 7515 upgd conss, 2888193 impls, 8518 clqs
113.65/113.76	c (round 49) 570 del vars, 458 del conss, 4 chg bounds, 1512 chg sides, 4880 chg coeffs, 7515 upgd conss, 2888193 impls, 8519 clqs
113.75/113.82	c (round 50) 570 del vars, 459 del conss, 4 chg bounds, 1512 chg sides, 4901 chg coeffs, 7515 upgd conss, 2888193 impls, 8519 clqs
118.45/118.58	c    (116.9s) probing: 9000/11181 (80.5%) - 446 fixings, 48 aggregations, 1411254 implications, 0 bound changes
119.65/119.72	c (round 51) 620 del vars, 459 del conss, 4 chg bounds, 1512 chg sides, 4919 chg coeffs, 7515 upgd conss, 2998236 impls, 8502 clqs
119.75/119.86	c (round 52) 623 del vars, 479 del conss, 4 chg bounds, 1525 chg sides, 5011 chg coeffs, 7515 upgd conss, 2998688 impls, 8519 clqs
119.85/119.92	c (round 53) 623 del vars, 481 del conss, 4 chg bounds, 1537 chg sides, 5072 chg coeffs, 7529 upgd conss, 2998696 impls, 8529 clqs
119.85/119.99	c (round 54) 623 del vars, 490 del conss, 4 chg bounds, 1537 chg sides, 5086 chg coeffs, 7529 upgd conss, 2998696 impls, 8529 clqs
125.15/125.28	c (round 55) 681 del vars, 490 del conss, 4 chg bounds, 1537 chg sides, 5094 chg coeffs, 7529 upgd conss, 3105564 impls, 8510 clqs
125.25/125.38	c (round 56) 685 del vars, 512 del conss, 4 chg bounds, 1545 chg sides, 5195 chg coeffs, 7529 upgd conss, 3105734 impls, 8516 clqs
125.35/125.46	c (round 57) 685 del vars, 519 del conss, 4 chg bounds, 1566 chg sides, 5282 chg coeffs, 7533 upgd conss, 3105742 impls, 8534 clqs
125.45/125.52	c (round 58) 685 del vars, 541 del conss, 4 chg bounds, 1569 chg sides, 5342 chg coeffs, 7533 upgd conss, 3105742 impls, 8548 clqs
128.24/128.34	c    (126.5s) probing: 10000/11181 (89.4%) - 540 fixings, 58 aggregations, 1484806 implications, 0 bound changes
128.84/128.91	c (round 59) 742 del vars, 541 del conss, 4 chg bounds, 1569 chg sides, 5358 chg coeffs, 7533 upgd conss, 3147438 impls, 8536 clqs
128.94/129.05	c (round 60) 750 del vars, 570 del conss, 4 chg bounds, 1582 chg sides, 5468 chg coeffs, 7533 upgd conss, 3148584 impls, 8556 clqs
129.04/129.15	c (round 61) 750 del vars, 574 del conss, 4 chg bounds, 1585 chg sides, 5534 chg coeffs, 7545 upgd conss, 3148584 impls, 8562 clqs
129.15/129.21	c (round 62) 750 del vars, 574 del conss, 4 chg bounds, 1587 chg sides, 5592 chg coeffs, 7545 upgd conss, 3148584 impls, 8571 clqs
129.15/129.27	c (round 63) 750 del vars, 580 del conss, 4 chg bounds, 1587 chg sides, 5616 chg coeffs, 7545 upgd conss, 3148584 impls, 8575 clqs
130.86/130.99	c (round 64) 800 del vars, 580 del conss, 4 chg bounds, 1587 chg sides, 5636 chg coeffs, 7545 upgd conss, 3166996 impls, 8556 clqs
131.05/131.10	c (round 65) 803 del vars, 604 del conss, 4 chg bounds, 1606 chg sides, 5744 chg coeffs, 7545 upgd conss, 3167318 impls, 8570 clqs
131.05/131.17	c (round 66) 803 del vars, 605 del conss, 4 chg bounds, 1607 chg sides, 5784 chg coeffs, 7549 upgd conss, 3167318 impls, 8577 clqs
135.75/135.86	c    (133.9s) probing: 10970/11181 (98.1%) - 650 fixings, 70 aggregations, 1506312 implications, 2 bound changes
135.75/135.86	c    (133.9s) probing aborted: 100/100 successive totally useless probings
135.75/135.86	c (round 67) 842 del vars, 605 del conss, 6 chg bounds, 1607 chg sides, 5802 chg coeffs, 7549 upgd conss, 3196810 impls, 8558 clqs
135.84/135.97	c (round 68) 851 del vars, 622 del conss, 6 chg bounds, 1637 chg sides, 5935 chg coeffs, 7549 upgd conss, 3197306 impls, 8577 clqs
135.94/136.07	c (round 69) 851 del vars, 633 del conss, 6 chg bounds, 1642 chg sides, 5991 chg coeffs, 7555 upgd conss, 3197306 impls, 8592 clqs
136.05/136.12	c (round 70) 851 del vars, 634 del conss, 6 chg bounds, 1645 chg sides, 6031 chg coeffs, 7555 upgd conss, 3197306 impls, 8601 clqs
136.05/136.17	c (round 71) 851 del vars, 635 del conss, 6 chg bounds, 1646 chg sides, 6067 chg coeffs, 7555 upgd conss, 3197306 impls, 8602 clqs
136.14/136.27	c    (134.3s) probing: 10980/11181 (98.2%) - 650 fixings, 70 aggregations, 1506312 implications, 2 bound changes
136.14/136.27	c    (134.3s) probing aborted: 100/100 successive totally useless probings
136.14/136.27	c presolving (72 rounds):
136.14/136.27	c  851 deleted vars, 635 deleted constraints, 6 tightened bounds, 0 added holes, 1646 changed sides, 6083 changed coefficients
136.14/136.27	c  3197306 implications, 8609 cliques
136.14/136.27	c presolved problem has 10396 variables (10396 bin, 0 int, 0 impl, 0 cont) and 9729 constraints
136.14/136.27	c     335 constraints of type <knapsack>
136.14/136.27	c    7124 constraints of type <setppc>
136.14/136.27	c    2144 constraints of type <linear>
136.14/136.27	c     126 constraints of type <logicor>
136.14/136.27	c transformed objective value is always integral (scale: 1)
136.14/136.27	c Presolving Time: 134.20
136.14/136.27	c - non default parameters ----------------------------------------------------------------------
136.14/136.27	c # SCIP version 1.2.1.2
136.14/136.27	c 
136.14/136.27	c # frequency for displaying node information lines
136.14/136.27	c # [type: int, range: [-1,2147483647], default: 100]
136.14/136.27	c display/freq = 10000
136.14/136.27	c 
136.14/136.27	c # maximal time in seconds to run
136.14/136.27	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
136.14/136.27	c limits/time = 1799.61
136.14/136.27	c 
136.14/136.27	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
136.14/136.27	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
136.14/136.27	c limits/memory = 1620
136.14/136.27	c 
136.14/136.27	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
136.14/136.27	c # [type: int, range: [-1,2147483647], default: 1]
136.14/136.27	c lp/solvefreq = -1
136.14/136.27	c 
136.14/136.27	c # should presolving try to simplify inequalities
136.14/136.27	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
136.14/136.27	c constraints/linear/simplifyinequalities = TRUE
136.14/136.27	c 
136.14/136.27	c # should presolving try to simplify knapsacks
136.14/136.27	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
136.14/136.27	c constraints/knapsack/simplifyinequalities = TRUE
136.14/136.27	c 
136.14/136.27	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
136.14/136.27	c # [type: int, range: [-1,2147483647], default: -1]
136.14/136.27	c separating/rapidlearning/freq = 0
136.14/136.27	c 
136.14/136.27	c -----------------------------------------------------------------------------------------------
136.14/136.27	c start solving
136.14/136.28	c 
136.24/136.31	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
136.24/136.31	c   134s|     1 |     2 |     0 |     - | 122M|   0 |   - |  10k|9729 |   0 |   0 |   0 |   0 |   0 |-1.348900e+04 |      --      |    Inf 
277.89/278.04	c   275s| 10000 |  9458 |     0 |   0.0 | 150M| 116 |   - |  10k|  10k|   0 |   0 |   0 | 418 |   0 |-1.282400e+04 |      --      |    Inf 
412.35/412.55	c   409s| 20000 | 19234 |     0 |   0.0 | 180M| 116 |   - |  10k|  10k|   0 |   0 |   0 | 742 |   0 |-1.282400e+04 |      --      |    Inf 
545.68/545.92	c   542s| 30000 | 29031 |     0 |   0.0 | 211M| 116 |   - |  10k|  10k|   0 |   0 |   0 |1027 |   0 |-1.282400e+04 |      --      |    Inf 
678.73/679.09	c   675s| 40000 | 38859 |     0 |   0.0 | 243M| 116 |   - |  10k|  10k|   0 |   0 |   0 |1246 |   0 |-1.282400e+04 |      --      |    Inf 
806.18/806.53	c   802s| 50000 | 48737 |     0 |   0.0 | 276M| 116 |   - |  10k|  10k|   0 |   0 |   0 |1385 |   0 |-1.282400e+04 |      --      |    Inf 
932.24/932.64	c   927s| 60000 | 58632 |     0 |   0.0 | 309M| 116 |   - |  10k|  10k|   0 |   0 |   0 |1524 |   0 |-1.282400e+04 |      --      |    Inf 
1053.09/1053.55	c  1047s| 70000 | 68563 |     0 |   0.0 | 339M| 116 |   - |  10k|  10k|   0 |   0 |   0 |1584 |   0 |-1.282400e+04 |      --      |    Inf 
1172.35/1172.89	c  1166s| 80000 | 78506 |     0 |   0.0 | 371M| 116 |   - |  10k|  10k|   0 |   0 |   0 |1672 |   0 |-1.282400e+04 |      --      |    Inf 
1289.81/1290.34	c  1283s| 90000 | 88449 |     0 |   0.0 | 401M| 116 |   - |  10k|  10k|   0 |   0 |   0 |1732 |   0 |-1.282400e+04 |      --      |    Inf 
1420.24/1420.89	c  1413s|100000 | 98364 |     0 |   0.0 | 433M| 116 |   - |  10k|  10k|   0 |   0 |   0 |1806 |   0 |-1.282400e+04 |      --      |    Inf 
1551.39/1552.09	c  1543s|110000 |108220 |     0 |   0.0 | 467M| 116 |   - |  10k|  10k|   0 |   0 |   0 |1955 |   0 |-1.282400e+04 |      --      |    Inf 
1677.53/1678.21	c  1669s|120000 |118053 |     0 |   0.0 | 499M| 116 |   - |  10k|  10k|   0 |   0 |   0 |2107 |   0 |-1.282400e+04 |      --      |    Inf 
1800.09/1800.80	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.81	c 
1800.09/1800.81	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.81	c Solving Time (sec) : 1790.92
1800.09/1800.81	c Solving Nodes      : 129773
1800.09/1800.81	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.09/1800.81	c Dual Bound         : -1.28240000000000e+04
1800.09/1800.81	c Gap                : infinite
1800.09/1800.81	s UNKNOWN
1800.09/1800.81	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.81	c Solving Time       :    1790.92
1800.09/1800.81	c Original Problem   :
1800.09/1800.81	c   Problem name     : HOME/instance-2664165-1276360696.opb
1800.09/1800.81	c   Variables        : 11247 (11247 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.81	c   Constraints      : 9744 initial, 9744 maximal
1800.09/1800.81	c Presolved Problem  :
1800.09/1800.81	c   Problem name     : t_HOME/instance-2664165-1276360696.opb
1800.09/1800.81	c   Variables        : 10396 (10396 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.81	c   Constraints      : 9729 initial, 10965 maximal
1800.09/1800.81	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.09/1800.81	c   trivial          :       0.14          2          0          0          0          0          0          0          0
1800.09/1800.81	c   dualfix          :       0.09          9          0          0          0          0          0          0          0
1800.09/1800.81	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.81	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.81	c   implics          :       0.17          0         38          0          0          0          0          0          0
1800.09/1800.81	c   probing          :     129.10        650         70          0          2          0          0          0          0
1800.09/1800.81	c   knapsack         :       2.04         12          0          0          4          0        142       1132       5503
1800.09/1800.81	c   setppc           :       1.10         11         46          0          0          0        434          1          0
1800.09/1800.81	c   linear           :       0.87          4          9          0          0          0         45        513        580
1800.09/1800.81	c   logicor          :       0.01          0          0          0          0          0         14          0          0
1800.09/1800.81	c   root node        :          -          0          -          -          0          -          -          -          -
1800.09/1800.81	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.81	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.09/1800.81	c   knapsack         :        335          0     628899          0     129117         82     439330          0          0          0
1800.09/1800.81	c   setppc           :       7124          0     628817          0     129117        104    2154452          0          0          0
1800.09/1800.81	c   linear           :       2144          0     628713          0     129117        702    4198583          0          0          0
1800.09/1800.81	c   logicor          :        126+         0      35430          0     129117        129      12265          0          0          0
1800.09/1800.81	c   countsols        :          0          0          0          0     129117          0          0          0          0          0
1800.09/1800.81	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.09/1800.81	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.09/1800.81	c   knapsack         :      24.23       0.00      23.13       0.00       1.10
1800.09/1800.81	c   setppc           :    1162.65       0.00     310.23       0.00     852.42
1800.09/1800.81	c   linear           :     100.35       0.00      97.55       0.00       2.80
1800.09/1800.81	c   logicor          :      10.22       0.00       0.98       0.00       9.24
1800.09/1800.81	c   countsols        :       0.07       0.00       0.00       0.00       0.07
1800.09/1800.81	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.09/1800.81	c   vbounds          :       0.56          2          0          0
1800.09/1800.81	c   rootredcost      :       0.46          0          0          0
1800.09/1800.81	c   pseudoobj        :      51.28     560564          0          0
1800.09/1800.81	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.09/1800.81	c   propagation      :       0.18        768        749       3331       21.3        202        9.8          -
1800.09/1800.81	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.81	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.81	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.81	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.09/1800.81	c   applied globally :          -          -          -       2174       14.6          -          -          -
1800.09/1800.81	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.09/1800.81	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.09/1800.81	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.09/1800.81	c   redcost          :       0.00          0          0          0          0          0
1800.09/1800.81	c   impliedbounds    :       0.00          0          0          0          0          0
1800.09/1800.81	c   intobj           :       0.00          0          0          0          0          0
1800.09/1800.81	c   cgmip            :       0.00          0          0          0          0          0
1800.09/1800.81	c   gomory           :       0.00          0          0          0          0          0
1800.09/1800.81	c   strongcg         :       0.00          0          0          0          0          0
1800.09/1800.81	c   cmir             :       0.00          0          0          0          0          0
1800.09/1800.81	c   flowcover        :       0.00          0          0          0          0          0
1800.09/1800.81	c   clique           :       0.00          0          0          0          0          0
1800.09/1800.81	c   zerohalf         :       0.00          0          0          0          0          0
1800.09/1800.81	c   mcf              :       0.00          0          0          0          0          0
1800.09/1800.81	c   rapidlearning    :       0.00          0          0          0          0          0
1800.09/1800.81	c Pricers            :       Time      Calls       Vars
1800.09/1800.81	c   problem variables:       0.00          0          0
1800.09/1800.81	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.81	c   relpscost        :       0.00          0          0          0          0          0          0
1800.09/1800.81	c   pscost           :       0.00          0          0          0          0          0          0
1800.09/1800.81	c   inference        :     341.74     129117          0          0          0          0     258234
1800.09/1800.81	c   mostinf          :       0.00          0          0          0          0          0          0
1800.09/1800.81	c   leastinf         :       0.00          0          0          0          0          0          0
1800.09/1800.81	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.09/1800.81	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.09/1800.81	c   random           :       0.00          0          0          0          0          0          0
1800.09/1800.81	c Primal Heuristics  :       Time      Calls      Found
1800.09/1800.81	c   LP solutions     :       0.00          -          0
1800.09/1800.81	c   pseudo solutions :       0.00          -          0
1800.09/1800.81	c   oneopt           :       0.11          0          0
1800.09/1800.81	c   trivial          :       0.03          2          0
1800.09/1800.81	c   simplerounding   :       0.00          0          0
1800.09/1800.81	c   zirounding       :       0.00          0          0
1800.09/1800.81	c   rounding         :       0.00          0          0
1800.09/1800.81	c   shifting         :       0.00          0          0
1800.09/1800.81	c   intshifting      :       0.00          0          0
1800.09/1800.81	c   twoopt           :       0.00          0          0
1800.09/1800.81	c   fixandinfer      :       0.00          0          0
1800.09/1800.81	c   feaspump         :       0.00          0          0
1800.09/1800.81	c   coefdiving       :       0.00          0          0
1800.09/1800.81	c   pscostdiving     :       0.00          0          0
1800.09/1800.81	c   fracdiving       :       0.00          0          0
1800.09/1800.81	c   veclendiving     :       0.00          0          0
1800.09/1800.81	c   intdiving        :       0.00          0          0
1800.09/1800.81	c   actconsdiving    :       0.00          0          0
1800.09/1800.81	c   objpscostdiving  :       0.00          0          0
1800.09/1800.81	c   rootsoldiving    :       0.00          0          0
1800.09/1800.81	c   linesearchdiving :       0.00          0          0
1800.09/1800.81	c   guideddiving     :       0.00          0          0
1800.09/1800.81	c   octane           :       0.00          0          0
1800.09/1800.81	c   rens             :       0.00          0          0
1800.09/1800.81	c   rins             :       0.00          0          0
1800.09/1800.81	c   localbranching   :       0.00          0          0
1800.09/1800.81	c   mutation         :       0.00          0          0
1800.09/1800.81	c   crossover        :       0.00          0          0
1800.09/1800.81	c   dins             :       0.00          0          0
1800.09/1800.81	c   undercover       :       0.00          0          0
1800.09/1800.81	c   nlp              :       0.33          0          0
1800.09/1800.81	c   trysol           :       0.14          0          0
1800.09/1800.81	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.09/1800.81	c   primal LP        :       0.00          0          0       0.00          -
1800.09/1800.81	c   dual LP          :       0.00          0          0       0.00          -
1800.09/1800.81	c   lex dual LP      :       0.00          0          0       0.00          -
1800.09/1800.81	c   barrier LP       :       0.00          0          0       0.00          -
1800.09/1800.81	c   diving/probing LP:       0.00          0          0       0.00          -
1800.09/1800.81	c   strong branching :       0.00          0          0       0.00          -
1800.09/1800.81	c     (at root node) :          -          0          0       0.00          -
1800.09/1800.81	c   conflict analysis:       0.00          0          0       0.00          -
1800.09/1800.81	c B&B Tree           :
1800.09/1800.81	c   number of runs   :          1
1800.09/1800.81	c   nodes            :     129773
1800.09/1800.81	c   nodes (total)    :     129773
1800.09/1800.81	c   nodes left       :     127722
1800.09/1800.81	c   max depth        :        116
1800.09/1800.81	c   max depth (total):        116
1800.09/1800.81	c   backtracks       :       2744 (2.1%)
1800.09/1800.81	c   delayed cutoffs  :        740
1800.09/1800.81	c   repropagations   :       4307 (31979 domain reductions, 112 cutoffs)
1800.09/1800.81	c   avg switch length:       2.46
1800.09/1800.81	c   switching time   :      28.87
1800.09/1800.81	c Solution           :
1800.09/1800.81	c   Solutions found  :          0 (0 improvements)
1800.09/1800.81	c   Primal Bound     :          -
1800.09/1800.81	c   Dual Bound       : -1.28240000000000e+04
1800.09/1800.81	c   Gap              :   infinite
1800.09/1800.81	c   Root Dual Bound  : -1.34890000000000e+04
1800.09/1800.81	c   Root Iterations  :          0
1800.88/1801.66	c Time complete: 1800.96.

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-2664165-1276360696/watcher-2664165-1276360696 -o /tmp/evaluation-result-2664165-1276360696/solver-2664165-1276360696 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664165-1276360696.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 13445
/proc/meminfo: memFree=1361208/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=6584 CPUtime=0
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 989 0 0 0 0 0 0 0 18 0 1 0 11671016 6742016 912 1992294400 4194304 7136930 140734289823520 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13445/statm: 1646 922 254 719 0 925 0

[startup+0.094666 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13445
/proc/meminfo: memFree=1361208/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=16924 CPUtime=0.08
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 3704 0 0 0 7 1 0 0 20 0 1 0 11671016 17330176 3627 1992294400 4194304 7136930 140734289823520 18446744073709551615 6269102 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13445/statm: 4231 3627 271 719 0 3510 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16924

[startup+0.100667 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13445
/proc/meminfo: memFree=1361208/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=17948 CPUtime=0.09
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 3961 0 0 0 8 1 0 0 20 0 1 0 11671016 18378752 3884 1992294400 4194304 7136930 140734289823520 18446744073709551615 6349764 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13445/statm: 4487 3884 271 719 0 3766 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17948

[startup+0.300702 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13445
/proc/meminfo: memFree=1361208/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=21884 CPUtime=0.29
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 4956 0 0 0 27 2 0 0 20 0 1 0 11671016 22409216 4879 1992294400 4194304 7136930 140734289823520 18446744073709551615 4361643 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13445/statm: 5471 4879 271 719 0 4750 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21884

[startup+0.70077 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13445
/proc/meminfo: memFree=1361208/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=58340 CPUtime=0.69
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 14065 0 0 0 63 6 0 0 20 0 1 0 11671016 59740160 13634 1992294400 4194304 7136930 140734289823520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 14585 13634 340 719 0 13864 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 58340

[startup+1.50091 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13446
/proc/meminfo: memFree=1291884/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=74396 CPUtime=1.49
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 24803 0 0 0 135 14 0 0 23 0 1 0 11671016 76181504 17657 1992294400 4194304 7136930 140734289823520 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 18599 17657 384 719 0 17878 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 74396

[startup+3.10118 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13446
/proc/meminfo: memFree=1290024/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=79252 CPUtime=3.09
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 25979 0 0 0 293 16 0 0 25 0 1 0 11671016 81154048 18828 1992294400 4194304 7136930 140734289823520 18446744073709551615 5126149 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 19813 18828 379 719 0 19092 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 79252

[startup+6.30073 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13446
/proc/meminfo: memFree=1284444/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=82516 CPUtime=6.29
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 26782 0 0 0 611 18 0 0 25 0 1 0 11671016 84496384 19631 1992294400 4194304 7136930 140734289823520 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 20629 19631 379 719 0 19908 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82516

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13446
/proc/meminfo: memFree=1275764/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=90744 CPUtime=12.69
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 32352 0 0 0 1243 26 0 0 25 0 1 0 11671016 92921856 21603 1992294400 4194304 7136930 140734289823520 18446744073709551615 5496938 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 22686 21603 379 719 0 21965 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 90744

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13446
/proc/meminfo: memFree=1258652/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=108096 CPUtime=25.48
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 36576 0 0 0 2513 35 0 0 25 0 1 0 11671016 110690304 25827 1992294400 4194304 7136930 140734289823520 18446744073709551615 5500779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 27024 25827 385 719 0 26303 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 108096

[startup+51.1004 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13446
/proc/meminfo: memFree=1228644/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=138400 CPUtime=51.08
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 53072 0 0 0 5049 59 0 0 25 0 1 0 11671016 141721600 33328 1992294400 4194304 7136930 140734289823520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 34600 33328 385 719 0 33879 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 138400

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13448
/proc/meminfo: memFree=1205952/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=161776 CPUtime=102.26
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 82218 0 0 0 10116 110 0 0 25 0 1 0 11671016 165658624 38963 1992294400 4194304 7136930 140734289823520 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 40444 38963 385 719 0 39723 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 161776

[startup+162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13450
/proc/meminfo: memFree=1188468/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=180088 CPUtime=162.23
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 112193 0 0 0 16056 167 0 0 25 0 1 0 11671016 184410112 43346 1992294400 4194304 7136930 140734289823520 18446744073709551615 5121846 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 45022 43346 402 719 0 44301 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 180088

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13452
/proc/meminfo: memFree=1174704/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=196168 CPUtime=222.2
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 115603 0 0 0 22033 187 0 0 25 0 1 0 11671016 200876032 46756 1992294400 4194304 7136930 140734289823520 18446744073709551615 5120202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 49042 46756 402 719 0 48321 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 196168

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13452
/proc/meminfo: memFree=1160444/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=212540 CPUtime=282.18
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 119297 0 0 0 28007 211 0 0 25 0 1 0 11671016 217640960 50450 1992294400 4194304 7136930 140734289823520 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 53135 50450 402 719 0 52414 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 212540

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13454
/proc/meminfo: memFree=1145688/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=227452 CPUtime=342.16
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 122812 0 0 0 33981 235 0 0 25 0 1 0 11671016 232910848 53965 1992294400 4194304 7136930 140734289823520 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 56863 53965 402 719 0 56142 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 227452

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13456
/proc/meminfo: memFree=1131552/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=243076 CPUtime=402.14
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 126336 0 0 0 39955 259 0 0 25 0 1 0 11671016 248909824 57489 1992294400 4194304 7136930 140734289823520 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 60769 57489 402 719 0 60048 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 243076

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13458
/proc/meminfo: memFree=1115308/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=260220 CPUtime=462.12
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 130355 0 0 0 45926 286 0 0 25 0 1 0 11671016 266465280 61508 1992294400 4194304 7136930 140734289823520 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 65055 61508 402 719 0 64334 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 260220

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13460
/proc/meminfo: memFree=1100056/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=277772 CPUtime=522.09
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 134209 0 0 0 51900 309 0 0 25 0 1 0 11671016 284438528 65362 1992294400 4194304 7136930 140734289823520 18446744073709551615 4414503 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 69443 65362 402 719 0 68722 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 277772

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13460
/proc/meminfo: memFree=1088028/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=289920 CPUtime=582.06
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 137196 0 0 0 57872 334 0 0 25 0 1 0 11671016 296878080 68349 1992294400 4194304 7136930 140734289823520 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 72480 68349 402 719 0 71759 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 289920

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13462
/proc/meminfo: memFree=1069800/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=308660 CPUtime=642.05
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 141717 0 0 0 63847 358 0 0 25 0 1 0 11671016 316067840 72870 1992294400 4194304 7136930 140734289823520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 77165 72870 402 719 0 76444 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 308660

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13470
/proc/meminfo: memFree=986968/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=398224 CPUtime=941.93
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 162340 0 0 0 93700 493 0 0 25 0 1 0 11671016 407781376 93493 1992294400 4194304 7136930 140734289823520 18446744073709551615 5121846 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 99556 93493 402 719 0 98835 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 398224

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13472
/proc/meminfo: memFree=970724/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=418508 CPUtime=1001.91
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 166361 0 0 0 99671 520 0 0 25 0 1 0 11671016 428552192 97514 1992294400 4194304 7136930 140734289823520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 104627 97514 402 719 0 103906 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 418508

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13474
/proc/meminfo: memFree=955968/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=435280 CPUtime=1061.89
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 170133 0 0 0 105640 549 0 0 25 0 1 0 11671016 445726720 101286 1992294400 4194304 7136930 140734289823520 18446744073709551615 5892292 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 108820 101286 402 719 0 108099 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 435280

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13476
/proc/meminfo: memFree=938236/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=454808 CPUtime=1121.87
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 174457 0 0 0 111609 578 0 0 25 0 1 0 11671016 465723392 105610 1992294400 4194304 7136930 140734289823520 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 113702 105610 402 719 0 112981 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 454808

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13476
/proc/meminfo: memFree=921124/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=474456 CPUtime=1181.84
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 178778 0 0 0 117578 606 0 0 25 0 1 0 11671016 485842944 109931 1992294400 4194304 7136930 140734289823520 18446744073709551615 5120202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 118614 109931 402 719 0 117893 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 474456

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13478
/proc/meminfo: memFree=902524/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=493840 CPUtime=1241.81
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 183383 0 0 0 123548 633 0 0 25 0 1 0 11671016 505692160 114536 1992294400 4194304 7136930 140734289823520 18446744073709551615 4414778 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 123460 114536 402 719 0 122739 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 493840

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13480
/proc/meminfo: memFree=889256/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=505496 CPUtime=1301.8
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 186650 0 0 0 129518 662 0 0 25 0 1 0 11671016 517627904 117803 1992294400 4194304 7136930 140734289823520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 126374 117803 402 719 0 125653 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 505496

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13482
/proc/meminfo: memFree=870780/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=525536 CPUtime=1361.77
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 191286 0 0 0 135493 684 0 0 25 0 1 0 11671016 538148864 122439 1992294400 4194304 7136930 140734289823520 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 131384 122439 402 719 0 130663 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 525536

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13493
/proc/meminfo: memFree=855652/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=540840 CPUtime=1421.74
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 194946 0 0 0 141462 712 0 0 25 0 1 0 11671016 553820160 126099 1992294400 4194304 7136930 140734289823520 18446744073709551615 4740313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 135210 126099 402 719 0 134489 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 540840

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13493
/proc/meminfo: memFree=840524/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=557188 CPUtime=1481.71
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 198723 0 0 0 147432 739 0 0 25 0 1 0 11671016 570560512 129876 1992294400 4194304 7136930 140734289823520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 139297 129876 402 719 0 138576 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 557188

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13495
/proc/meminfo: memFree=824776/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=575032 CPUtime=1541.68
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 202740 0 0 0 153403 765 0 0 25 0 1 0 11671016 588832768 133893 1992294400 4194304 7136930 140734289823520 18446744073709551615 5121843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 143758 133893 402 719 0 143037 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 575032

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13497
/proc/meminfo: memFree=807912/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=592976 CPUtime=1601.66
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 206929 0 0 0 159373 793 0 0 25 0 1 0 11671016 607207424 138082 1992294400 4194304 7136930 140734289823520 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 148244 138082 402 719 0 147523 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 592976

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13499
/proc/meminfo: memFree=784600/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=619604 CPUtime=1661.64
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 212719 0 0 0 165343 821 0 0 25 0 1 0 11671016 634474496 143872 1992294400 4194304 7136930 140734289823520 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 154901 143872 402 719 0 154180 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 619604

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13501
/proc/meminfo: memFree=775176/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=626044 CPUtime=1721.62
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 215088 0 0 0 171314 848 0 0 25 0 1 0 11671016 641069056 146241 1992294400 4194304 7136930 140734289823520 18446744073709551615 4643160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 156511 146241 402 719 0 155790 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 626044

[startup+1782.3 s]
/proc/loadavg: 1.12 1.03 1.01 2/107 13501
/proc/meminfo: memFree=759924/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=642060 CPUtime=1781.59
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 218908 0 0 0 177286 873 0 0 25 0 1 0 11671016 657469440 150061 1992294400 4194304 7136930 140734289823520 18446744073709551615 5121903 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 160515 150061 402 719 0 159794 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 642060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.09 1.03 1.01 2/107 13503
/proc/meminfo: memFree=755212/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=646940 CPUtime=1800.09
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 220059 0 0 0 179128 881 0 0 25 0 1 0 11671016 662466560 151212 1992294400 4194304 7136930 140734289823520 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13445/statm: 161735 151212 402 719 0 161014 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 646940

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

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

[startup+1801.4 s]
/proc/loadavg: 1.09 1.03 1.01 2/107 13503
/proc/meminfo: memFree=755212/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=629812 CPUtime=1800.69
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 220066 0 0 0 179187 882 0 0 25 0 1 0 11671016 644927488 146937 1992294400 4194304 7136930 140734289823520 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13445/statm: 157453 146937 407 719 0 156732 0
Current children cumulated CPU time (s) 1800.69
Current children cumulated vsize (KiB) 629812

[startup+1801.6 s]
/proc/loadavg: 1.09 1.03 1.01 2/107 13503
/proc/meminfo: memFree=755212/2059040 swapFree=4192956/4192956
[pid=13445] ppid=13443 vsize=401588 CPUtime=1800.88
/proc/13445/stat : 13445 (pbscip.linux.x8) R 13443 13445 12500 0 -1 4202496 220066 0 0 0 179204 884 0 0 25 0 1 0 11671016 411226112 92636 1992294400 4194304 7136930 140734289823520 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13445/statm: 100142 92636 407 719 0 99421 0
Current children cumulated CPU time (s) 1800.88
Current children cumulated vsize (KiB) 401588

Child status: 0
Real time (s): 1801.67
CPU time (s): 1800.96
CPU user time (s): 1792.07
CPU system time (s): 8.89265
CPU usage (%): 99.9609
Max. virtual memory (cumulated for all children) (KiB): 646940

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

runsolver used 3.03354 second user time and 8.46071 second system time

The end

Launcher Data 

Begin job on node014 at 2010-06-12 18:38:16
IDJOB=2664165
IDBENCH=1875
IDSOLVER=1167
FILE ID=node014/2664165-1276360696
PBS_JOBID= 11173193
Free space on /tmp= 62464 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.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-2664165-1276360696/watcher-2664165-1276360696 -o /tmp/evaluation-result-2664165-1276360696/solver-2664165-1276360696 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664165-1276360696.opb -t 1800 -m 1800

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

MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9
RANDOM SEED=2057163431

node014.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.258
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.51
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.258
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1361736 kB
Buffers:        135948 kB
Cached:         416220 kB
SwapCached:          0 kB
Active:         197384 kB
Inactive:       414796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1361736 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4508 kB
Writeback:           0 kB
AnonPages:       59952 kB
Mapped:          15476 kB
Slab:            63352 kB
PageTables:       3920 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182724 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= 62460 MiB
End job on node014 at 2010-06-12 19:08:19