Trace number 2665595

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1802.13 1802.74

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: Clp 1.11.1] [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-2665595-1276360702.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.49/0.58	c presolving:
0.69/0.72	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.89	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
0.99/1.01	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
0.99/1.07	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.12	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.18	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.20/1.23	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.20/1.27	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.74	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.69/6.78	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.84	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.79/6.89	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.69/16.73	c    (16.0s) probing: 1000/11181 (8.9%) - 84 fixings, 3 aggregations, 282405 implications, 0 bound changes
29.98/30.01	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
29.98/30.07	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.08/30.15	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.18/30.22	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.18/30.30	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.28/30.38	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.48/30.52	c    (29.7s) probing: 2000/11181 (17.9%) - 99 fixings, 7 aggregations, 491297 implications, 0 bound changes
47.18/47.26	c    (46.3s) probing: 3000/11181 (26.8%) - 134 fixings, 8 aggregations, 762125 implications, 0 bound changes
50.28/50.38	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.37/50.48	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.48/50.57	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.58/50.67	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
57.77/57.88	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
57.87/57.98	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
57.97/58.08	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.07/58.15	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.17/61.25	c    (60.1s) probing: 4000/11181 (35.8%) - 217 fixings, 20 aggregations, 907346 implications, 0 bound changes
65.07/65.13	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.17/65.24	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.27/65.33	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.37/65.41	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
71.57/71.63	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
71.67/71.74	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
71.76/71.81	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
71.76/71.87	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.06/74.19	c    (72.9s) probing: 5000/11181 (44.7%) - 298 fixings, 26 aggregations, 1027871 implications, 0 bound changes
83.66/83.75	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
83.76/83.88	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
83.87/83.97	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
83.97/84.04	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
85.47/85.53	c    (84.1s) probing: 6000/11181 (53.7%) - 342 fixings, 37 aggregations, 1127339 implications, 0 bound changes
94.57/94.62	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
94.66/94.75	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
94.76/94.83	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
94.86/94.90	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
94.86/94.97	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
94.96/95.04	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
94.96/95.09	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
97.65/97.74	c    (96.2s) probing: 7000/11181 (62.6%) - 382 fixings, 40 aggregations, 1243043 implications, 0 bound changes
107.36/107.43	c    (105.8s) probing: 8000/11181 (71.5%) - 404 fixings, 46 aggregations, 1318704 implications, 0 bound changes
112.35/112.48	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
112.55/112.62	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
112.66/112.74	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
112.75/112.81	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
112.75/112.87	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
117.45/117.58	c    (115.8s) probing: 9000/11181 (80.5%) - 446 fixings, 48 aggregations, 1411254 implications, 0 bound changes
118.66/118.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
118.76/118.85	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
118.85/118.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
118.85/118.98	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
124.16/124.22	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
124.26/124.32	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
124.35/124.40	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
124.35/124.47	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
127.14/127.25	c    (125.4s) probing: 10000/11181 (89.4%) - 540 fixings, 58 aggregations, 1484806 implications, 0 bound changes
127.75/127.82	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
127.85/127.96	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
127.95/128.06	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
128.05/128.12	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
128.05/128.18	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
129.75/129.88	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
129.85/129.99	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
129.95/130.06	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
134.65/134.71	c    (132.7s) probing: 10970/11181 (98.1%) - 650 fixings, 70 aggregations, 1506312 implications, 2 bound changes
134.65/134.71	c    (132.7s) probing aborted: 100/100 successive totally useless probings
134.65/134.72	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
134.75/134.83	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
134.85/134.92	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
134.85/134.98	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
134.95/135.03	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
135.05/135.13	c    (133.1s) probing: 10980/11181 (98.2%) - 650 fixings, 70 aggregations, 1506312 implications, 2 bound changes
135.05/135.13	c    (133.1s) probing aborted: 100/100 successive totally useless probings
135.05/135.13	c presolving (72 rounds):
135.05/135.13	c  851 deleted vars, 635 deleted constraints, 6 tightened bounds, 0 added holes, 1646 changed sides, 6083 changed coefficients
135.05/135.13	c  3197306 implications, 8609 cliques
135.05/135.13	c presolved problem has 10396 variables (10396 bin, 0 int, 0 impl, 0 cont) and 9729 constraints
135.05/135.13	c     335 constraints of type <knapsack>
135.05/135.13	c    7124 constraints of type <setppc>
135.05/135.13	c    2144 constraints of type <linear>
135.05/135.13	c     126 constraints of type <logicor>
135.05/135.13	c transformed objective value is always integral (scale: 1)
135.05/135.13	c Presolving Time: 132.99
135.05/135.13	c - non default parameters ----------------------------------------------------------------------
135.05/135.13	c # SCIP version 1.2.1.2
135.05/135.13	c 
135.05/135.13	c # frequency for displaying node information lines
135.05/135.13	c # [type: int, range: [-1,2147483647], default: 100]
135.05/135.13	c display/freq = 10000
135.05/135.13	c 
135.05/135.13	c # maximal time in seconds to run
135.05/135.13	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
135.05/135.13	c limits/time = 1799.61
135.05/135.13	c 
135.05/135.13	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
135.05/135.13	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
135.05/135.13	c limits/memory = 1620
135.05/135.13	c 
135.05/135.13	c # should presolving try to simplify inequalities
135.05/135.13	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
135.05/135.13	c constraints/linear/simplifyinequalities = TRUE
135.05/135.13	c 
135.05/135.13	c # should presolving try to simplify knapsacks
135.05/135.13	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
135.05/135.13	c constraints/knapsack/simplifyinequalities = TRUE
135.05/135.13	c 
135.05/135.13	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
135.05/135.13	c # [type: int, range: [-1,2147483647], default: -1]
135.05/135.13	c separating/rapidlearning/freq = 0
135.05/135.13	c 
135.05/135.13	c -----------------------------------------------------------------------------------------------
135.05/135.13	c start solving
135.05/135.14	c 
723.16/723.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
723.16/723.44	c   716s|     1 |     0 |144836 |     - | 134M|   0 | 845 |  10k|9729 |  10k|9727 |   0 |   0 |   0 |-1.119076e+04 |      --      |    Inf 
866.01/866.30	c   857s|     1 |     0 |176486 |     - | 142M|   0 | 881 |  10k|9729 |  10k|  10k| 618 |   0 |   0 |-1.098897e+04 |      --      |    Inf 
1129.12/1129.58	c  1118s|     1 |     0 |245258 |     - | 148M|   0 |1009 |  10k|9729 |  10k|  10k|1012 |   0 |   0 |-1.094497e+04 |      --      |    Inf 
1273.87/1274.33	c  1262s|     1 |     0 |278937 |     - | 148M|   0 |1058 |  10k|9729 |  10k|  10k|1106 |   0 |   0 |-1.091791e+04 |      --      |    Inf 
1338.35/1338.80	c  1326s|     1 |     0 |294437 |     - | 149M|   0 |1112 |  10k|9729 |  10k|  10k|1181 |   0 |   0 |-1.091298e+04 |      --      |    Inf 
1412.50/1413.00	c  1400s|     1 |     0 |311881 |     - | 149M|   0 |1103 |  10k|9729 |  10k|  10k|1253 |   0 |   0 |-1.091010e+04 |      --      |    Inf 
1454.89/1455.42	c  1442s|     1 |     0 |323099 |     - | 152M|   0 |1102 |  10k|9729 |  10k|  11k|1287 |   0 |   0 |-1.090443e+04 |      --      |    Inf 
1488.89/1489.48	c  1476s|     1 |     0 |332174 |     - | 152M|   0 |1033 |  10k|9729 |  10k|  11k|1324 |   0 |   0 |-1.090417e+04 |      --      |    Inf 
1554.77/1555.37	c  1541s|     1 |     0 |348107 |     - | 152M|   0 |1041 |  10k|9729 |  10k|  11k|1346 |   0 |   0 |-1.090337e+04 |      --      |    Inf 
1583.25/1583.86	c  1569s|     1 |     0 |355353 |     - | 153M|   0 |1086 |  10k|9729 |  10k|  11k|1363 |   0 |   0 |-1.090320e+04 |      --      |    Inf 
1611.65/1612.27	c  1598s|     1 |     0 |363660 |     - | 153M|   0 |1045 |  10k|9729 |  10k|  11k|1381 |   0 |   0 |-1.090318e+04 |      --      |    Inf 
1662.64/1663.24	c  1648s|     1 |     0 |377770 |     - | 153M|   0 |1088 |  10k|9729 |  10k|  10k|1403 |   0 |   0 |-1.090299e+04 |      --      |    Inf 
1687.42/1688.07	c  1673s|     1 |     0 |384830 |     - | 153M|   0 |1046 |  10k|9729 |  10k|  10k|1451 |   0 |   0 |-1.090293e+04 |      --      |    Inf 
1708.11/1708.70	c  1693s|     1 |     0 |391012 |     - | 154M|   0 | 962 |  10k|9729 |  10k|  10k|1483 |   0 |   0 |-1.090214e+04 |      --      |    Inf 
1732.20/1732.89	c  1717s|     1 |     0 |397636 |     - | 154M|   0 |1028 |  10k|9729 |  10k|  10k|1496 |   0 |   0 |-1.090208e+04 |      --      |    Inf 
1745.10/1745.73	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1745.10/1745.73	c  1730s|     1 |     0 |400464 |     - | 155M|   0 | 938 |  10k|9729 |  10k|  10k|1503 |   0 |   0 |-1.090122e+04 |      --      |    Inf 
1770.59/1771.25	c  1755s|     1 |     0 |407708 |     - | 155M|   0 | 927 |  10k|9729 |  10k|  10k|1512 |   0 |   0 |-1.090089e+04 |      --      |    Inf 
1800.10/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)

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-2665595-1276360702/watcher-2665595-1276360702 -o /tmp/evaluation-result-2665595-1276360702/solver-2665595-1276360702 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665595-1276360702.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.07 3/106 13369
/proc/meminfo: memFree=1811820/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=8260 CPUtime=0
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 1005 0 0 0 0 0 0 0 18 0 1 0 11671769 8458240 926 1992294400 4194304 9819077 140737221545824 18446744073709551615 8718880 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13369/statm: 2065 927 366 1374 0 686 0

[startup+0.0652879 s]
/proc/loadavg: 1.00 1.00 1.07 3/106 13369
/proc/meminfo: memFree=1811820/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=16376 CPUtime=0.06
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 3014 0 0 0 5 1 0 0 20 0 1 0 11671769 16769024 2935 1992294400 4194304 9819077 140737221545824 18446744073709551615 4240605 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13369/statm: 4094 2935 388 1374 0 2715 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16376

[startup+0.101294 s]
/proc/loadavg: 1.00 1.00 1.07 3/106 13369
/proc/meminfo: memFree=1811820/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=20648 CPUtime=0.09
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 4082 0 0 0 8 1 0 0 20 0 1 0 11671769 21143552 4003 1992294400 4194304 9819077 140737221545824 18446744073709551615 8081497 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13369/statm: 5162 4003 388 1374 0 3783 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20648

[startup+0.301329 s]
/proc/loadavg: 1.00 1.00 1.07 3/106 13369
/proc/meminfo: memFree=1811820/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=24584 CPUtime=0.29
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 5083 0 0 0 28 1 0 0 20 0 1 0 11671769 25174016 5004 1992294400 4194304 9819077 140737221545824 18446744073709551615 8610923 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13369/statm: 6146 5004 388 1374 0 4767 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24584

[startup+0.701401 s]
/proc/loadavg: 1.00 1.00 1.07 3/106 13369
/proc/meminfo: memFree=1811820/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=61308 CPUtime=0.69
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 14280 0 0 0 63 6 0 0 21 0 1 0 11671769 62779392 13847 1992294400 4194304 9819077 140737221545824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 15327 13847 484 1374 0 13948 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 61308

[startup+1.50154 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 13370
/proc/meminfo: memFree=1742620/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=77104 CPUtime=1.49
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 24954 0 0 0 133 16 0 0 23 0 1 0 11671769 78954496 17805 1992294400 4194304 9819077 140737221545824 18446744073709551615 4689573 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 19276 17805 529 1374 0 17897 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 77104

[startup+3.10183 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 13370
/proc/meminfo: memFree=1740760/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=81964 CPUtime=3.09
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 26131 0 0 0 292 17 0 0 25 0 1 0 11671769 83931136 18977 1992294400 4194304 9819077 140737221545824 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 20491 18977 524 1374 0 19112 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 81964

[startup+6.3014 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 13370
/proc/meminfo: memFree=1735056/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=85232 CPUtime=6.29
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 26932 0 0 0 608 21 0 0 25 0 1 0 11671769 87277568 19778 1992294400 4194304 9819077 140737221545824 18446744073709551615 5120202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 21308 19778 524 1374 0 19929 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85232

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 13370
/proc/meminfo: memFree=1726376/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=93456 CPUtime=12.69
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 32503 0 0 0 1240 29 0 0 25 0 1 0 11671769 95698944 21751 1992294400 4194304 9819077 140737221545824 18446744073709551615 5120184 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 23364 21751 524 1374 0 21985 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 93456

[startup+25.5008 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 13370
/proc/meminfo: memFree=1709388/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=110812 CPUtime=25.48
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 36728 0 0 0 2509 39 0 0 25 0 1 0 11671769 113471488 25976 1992294400 4194304 9819077 140737221545824 18446744073709551615 5120202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 27703 25976 529 1374 0 26324 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 110812

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 13370
/proc/meminfo: memFree=1678760/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=141116 CPUtime=51.07
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 53995 0 0 0 5041 66 0 0 25 0 1 0 11671769 144502784 33477 1992294400 4194304 9819077 140737221545824 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 35279 33477 529 1374 0 33900 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 141116

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 13372
/proc/meminfo: memFree=1656440/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=164492 CPUtime=102.26
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 82415 0 0 0 10108 118 0 0 25 0 1 0 11671769 168439808 39157 1992294400 4194304 9819077 140737221545824 18446744073709551615 5120184 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 41123 39157 529 1374 0 39744 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 164492

[startup+162.301 s]
/proc/loadavg: 1.12 1.03 1.06 2/107 13374
/proc/meminfo: memFree=1622092/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=209808 CPUtime=162.24
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 143783 0 0 0 16042 182 0 0 25 0 1 0 11671769 214843392 48239 1992294400 4194304 9819077 140737221545824 18446744073709551615 7297955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 52452 48239 649 1374 0 51073 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 209808

[startup+222.301 s]
/proc/loadavg: 1.10 1.04 1.06 2/107 13376
/proc/meminfo: memFree=1623704/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=210060 CPUtime=222.22
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 197864 0 0 0 22006 216 0 0 25 0 1 0 11671769 215101440 47734 1992294400 4194304 9819077 140737221545824 18446744073709551615 7290981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 52515 47734 649 1374 0 51136 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 210060

[startup+282.302 s]
/proc/loadavg: 1.09 1.04 1.06 2/107 13378
/proc/meminfo: memFree=1622464/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=209960 CPUtime=282.2
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 251903 0 0 0 27967 253 0 0 25 0 1 0 11671769 214999040 47808 1992294400 4194304 9819077 140737221545824 18446744073709551615 7291127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 52490 47808 649 1374 0 51111 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 209960

[startup+342.302 s]
/proc/loadavg: 1.08 1.05 1.06 2/107 13378
/proc/meminfo: memFree=1620728/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=210612 CPUtime=342.18
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 306057 0 0 0 33927 291 0 0 25 0 1 0 11671769 215666688 47803 1992294400 4194304 9819077 140737221545824 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 52653 47803 649 1374 0 51274 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 210612

[startup+402.301 s]
/proc/loadavg: 1.07 1.05 1.06 2/107 13380
/proc/meminfo: memFree=1621348/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=211216 CPUtime=402.16
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 361933 0 0 0 39889 327 0 0 25 0 1 0 11671769 216285184 47900 1992294400 4194304 9819077 140737221545824 18446744073709551615 7291717 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 52804 47900 650 1374 0 51425 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 211216

[startup+462.301 s]
/proc/loadavg: 1.07 1.06 1.06 2/107 13382
/proc/meminfo: memFree=1619488/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=211636 CPUtime=462.14
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 419887 0 0 0 45850 364 0 0 25 0 1 0 11671769 216715264 47923 1992294400 4194304 9819077 140737221545824 18446744073709551615 7301636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 52909 47923 650 1374 0 51530 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 211636

[startup+522.301 s]
/proc/loadavg: 1.06 1.06 1.06 2/107 13384
/proc/meminfo: memFree=1620108/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=210932 CPUtime=522.12
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 476788 0 0 0 51813 399 0 0 25 0 1 0 11671769 215994368 48149 1992294400 4194304 9819077 140737221545824 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 52733 48149 650 1374 0 51354 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 210932

[startup+582.3 s]
/proc/loadavg: 1.06 1.06 1.06 2/107 13386
/proc/meminfo: memFree=1622216/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=209840 CPUtime=582.1
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 533249 0 0 0 57773 437 0 0 25 0 1 0 11671769 214876160 48090 1992294400 4194304 9819077 140737221545824 18446744073709551615 7298091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 52460 48090 650 1374 0 51081 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 209840

[startup+642.301 s]
/proc/loadavg: 1.02 1.05 1.05 2/107 13386
/proc/meminfo: memFree=1622092/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=208988 CPUtime=642.08
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 593959 0 0 0 63731 477 0 0 25 0 1 0 11671769 214003712 47762 1992294400 4194304 9819077 140737221545824 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 52247 47762 650 1374 0 50868 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 208988

[startup+702.301 s]

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

/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 1481094 0 0 0 105166 1028 0 0 25 0 1 0 11671769 250191872 55624 1992294400 4194304 9819077 140737221545824 18446744073709551615 7311174 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 61082 55624 694 1374 0 59703 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 244328

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.02 2/107 13400
/proc/meminfo: memFree=1589604/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=243592 CPUtime=1121.92
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 1533236 0 0 0 111130 1062 0 0 25 0 1 0 11671769 249438208 55654 1992294400 4194304 9819077 140737221545824 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 60898 55654 694 1374 0 59519 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 243592

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 13402
/proc/meminfo: memFree=1586132/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=248492 CPUtime=1181.9
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 1587184 0 0 0 117092 1098 0 0 25 0 1 0 11671769 254455808 56519 1992294400 4194304 9819077 140737221545824 18446744073709551615 7292346 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 62123 56519 694 1374 0 60744 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 248492

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13402
/proc/meminfo: memFree=1585636/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=247496 CPUtime=1241.88
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 1643117 0 0 0 123053 1135 0 0 25 0 1 0 11671769 253435904 56542 1992294400 4194304 9819077 140737221545824 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 61874 56542 694 1374 0 60495 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 247496

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13404
/proc/meminfo: memFree=1585140/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=248344 CPUtime=1301.87
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 1696523 0 0 0 129014 1173 0 0 25 0 1 0 11671769 254304256 56890 1992294400 4194304 9819077 140737221545824 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 62086 56890 694 1374 0 60707 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 248344

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13415
/proc/meminfo: memFree=1585264/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=248684 CPUtime=1361.82
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 1752894 0 0 0 134969 1213 0 0 25 0 1 0 11671769 254652416 56623 1992294400 4194304 9819077 140737221545824 18446744073709551615 6198342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 62171 56623 694 1374 0 60792 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 248684

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13417
/proc/meminfo: memFree=1581668/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=251696 CPUtime=1421.81
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 1808253 0 0 0 140929 1252 0 0 25 0 1 0 11671769 257736704 57794 1992294400 4194304 9819077 140737221545824 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 62924 57794 694 1374 0 61545 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 251696

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13419
/proc/meminfo: memFree=1581172/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=253248 CPUtime=1481.78
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 1869641 0 0 0 146885 1293 0 0 25 0 1 0 11671769 259325952 58185 1992294400 4194304 9819077 140737221545824 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 63312 58185 694 1374 0 61933 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 253248

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13419
/proc/meminfo: memFree=1579684/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=253856 CPUtime=1541.76
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 1926476 0 0 0 152843 1333 0 0 25 0 1 0 11671769 259948544 58351 1992294400 4194304 9819077 140737221545824 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 63464 58351 694 1374 0 62085 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 253856

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13421
/proc/meminfo: memFree=1579932/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=253592 CPUtime=1601.75
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 1983407 0 0 0 158801 1374 0 0 25 0 1 0 11671769 259678208 57849 1992294400 4194304 9819077 140737221545824 18446744073709551615 7291742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 63398 57849 694 1374 0 62019 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 253592

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13423
/proc/meminfo: memFree=1580800/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=253208 CPUtime=1661.73
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 2042159 0 0 0 164755 1418 0 0 25 0 1 0 11671769 259284992 58043 1992294400 4194304 9819077 140737221545824 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 63302 58043 694 1374 0 61923 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 253208

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13425
/proc/meminfo: memFree=1579808/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=254296 CPUtime=1721.71
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 2096347 0 0 0 170711 1460 0 0 25 0 1 0 11671769 260399104 58269 1992294400 4194304 9819077 140737221545824 18446744073709551615 7292006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 63574 58269 698 1374 0 62195 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 254296

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13427
/proc/meminfo: memFree=1579436/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=254216 CPUtime=1781.69
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 2148000 0 0 0 176667 1502 0 0 25 0 1 0 11671769 260317184 58343 1992294400 4194304 9819077 140737221545824 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 63554 58343 698 1374 0 62175 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 254216



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13427
/proc/meminfo: memFree=1579064/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=254476 CPUtime=1800.1
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 2167055 0 0 0 178495 1515 0 0 25 0 1 0 11671769 260583424 58297 1992294400 4194304 9819077 140737221545824 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 63619 58297 698 1374 0 62240 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 254476

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -13369

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 13427
/proc/meminfo: memFree=1579064/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=254476 CPUtime=1800.78
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 2167500 0 0 0 178563 1515 0 0 25 0 1 0 11671769 260583424 58742 1992294400 4194304 9819077 140737221545824 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 63619 58742 698 1374 0 62240 0
Current children cumulated CPU time (s) 1800.78
Current children cumulated vsize (KiB) 254476

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13428
/proc/meminfo: memFree=1576948/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=254504 CPUtime=1801.58
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 2168283 0 0 0 178642 1516 0 0 25 0 1 0 11671769 260612096 58327 1992294400 4194304 9819077 140737221545824 18446744073709551615 7309283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 63626 58327 698 1374 0 62247 0
Current children cumulated CPU time (s) 1801.58
Current children cumulated vsize (KiB) 254504

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13428
/proc/meminfo: memFree=1576948/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=254504 CPUtime=1801.98
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 2168472 0 0 0 178682 1516 0 0 25 0 1 0 11671769 260612096 58516 1992294400 4194304 9819077 140737221545824 18446744073709551615 7298091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 63626 58516 698 1374 0 62247 0
Current children cumulated CPU time (s) 1801.98
Current children cumulated vsize (KiB) 254504

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13428
/proc/meminfo: memFree=1576948/2059040 swapFree=4136696/4192956
[pid=13369] ppid=13367 vsize=254504 CPUtime=1802.08
/proc/13369/stat : 13369 (pbscip.linux.x8) R 13367 13369 13251 0 -1 4202496 2168548 0 0 0 178692 1516 0 0 25 0 1 0 11671769 260612096 58592 1992294400 4194304 9819077 140737221545824 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13369/statm: 63626 58592 698 1374 0 62247 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 254504

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.74
CPU time (s): 1802.13
CPU user time (s): 1786.94
CPU system time (s): 15.1857
CPU usage (%): 99.966
Max. virtual memory (cumulated for all children) (KiB): 254660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.94
system time used= 15.1857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2168566
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= 2
involuntary context switches= 23377

runsolver used 2.96455 second user time and 8.5297 second system time

The end

Launcher Data 

Begin job on node012 at 2010-06-12 18:38:22
IDJOB=2665595
IDBENCH=1875
IDSOLVER=1168
FILE ID=node012/2665595-1276360702
PBS_JOBID= 11173212
Free space on /tmp= 62408 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as 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.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665595-1276360702/watcher-2665595-1276360702 -o /tmp/evaluation-result-2665595-1276360702/solver-2665595-1276360702 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665595-1276360702.opb -t 1800 -m 1800

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

MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9
RANDOM SEED=1646097685

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1812472 kB
Buffers:         42536 kB
Cached:         119696 kB
SwapCached:      16480 kB
Active:         117036 kB
Inactive:        64700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1812472 kB
SwapTotal:     4192956 kB
SwapFree:      4136696 kB
Dirty:            7520 kB
Writeback:           0 kB
AnonPages:       10788 kB
Mapped:           9208 kB
Slab:            43100 kB
PageTables:       4108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181692 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= 62404 MiB
End job on node012 at 2010-06-12 19:08:25