Trace number 1868824

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 NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT192 1794.34 1794.94

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
MD5SUMd431323968e1ca4dc95d181076d01437
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark168
Best CPU time to get the best result obtained on this benchmark1798.24
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 154
Optimality of the best value was proved NO
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 1024
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 1024
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.29/0.31	c SCIP version 1.1.0.7
0.29/0.31	c LP-Solver SoPlex 1.4.1
0.29/0.31	c user parameter file <scip.set> not found - using default parameters
0.29/0.31	c read problem <HOME/instance-1868824-1245146206.opb>
0.29/0.31	c original problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 16096 constraints
0.29/0.38	c start presolving problem
0.29/0.38	c presolving:
0.59/0.62	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 16096 upgd conss, 3248 impls, 392 clqs
1.29/1.35	c (round 2) 0 del vars, 13440 del conss, 0 chg bounds, 14784 chg sides, 22176 chg coeffs, 16096 upgd conss, 3248 impls, 392 clqs
4.19/4.30	c    (3.9s) probing: 885/1344 (65.8%) - 0 fixings, 0 aggregations, 5768 implications, 0 bound changes
4.19/4.30	c    (3.9s) probing aborted: 100/100 successive totally useless probings
4.19/4.30	c presolving (3 rounds):
4.19/4.30	c  0 deleted vars, 13440 deleted constraints, 0 tightened bounds, 0 added holes, 14784 changed sides, 22176 changed coefficients
4.19/4.30	c  14784 implications, 392 cliques
4.19/4.30	c presolved problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 16096 constraints
4.19/4.30	c    7496 constraints of type <knapsack>
4.19/4.30	c     392 constraints of type <setppc>
4.19/4.30	c    8208 constraints of type <logicor>
4.19/4.30	c transformed objective value is always integral (scale: 1)
4.19/4.30	c Presolving Time: 3.83
4.29/4.30	c OPT-LIN
4.29/4.30	c -----------------------------------------------------------------------------------------------
4.29/4.30	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.29/4.30	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.29/4.30	c limits/memory = c 1620
4.29/4.30	c # maximal time in seconds to run
4.29/4.30	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.29/4.30	c limits/time = c 1791
4.29/4.30	c # frequency for displaying node information lines
4.29/4.30	c # [type: int, range: [-1,2147483647], default: 100]
4.29/4.30	c display/freq = c 10000
4.29/4.30	c -----------------------------------------------------------------------------------------------
4.29/4.30	c start solving problem
4.29/4.30	c 
13.19/13.25	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
13.19/13.25	c  12.8s|     1 |     0 |  3294 |  33M|   0 | 423 |1344 |  16k|  16k|1344 |  16k|   0 |   0 |   0 | 9.600000e+01 |      --      |    Inf 
70.57/70.69	c  70.1s|     1 |     0 | 10145 |  37M|   0 | 431 |1344 |  16k|  16k|1344 |  16k|  10 |   0 |   0 | 9.600000e+01 |      --      |    Inf 
87.66/87.78	c  87.2s|     1 |     0 | 10955 |  41M|   0 | 451 |1344 |  16k|  16k|1344 |  16k|  19 |   0 |   0 | 9.600000e+01 |      --      |    Inf 
106.96/107.07	c   106s|     1 |     0 | 11928 |  46M|   0 | 470 |1344 |  16k|  16k|1344 |  16k|  26 |   0 |   0 | 9.600000e+01 |      --      |    Inf 
128.05/128.15	c   127s|     1 |     0 | 13499 |  50M|   0 | 443 |1344 |  16k|  16k|1344 |  16k|  36 |   0 |   0 | 9.600000e+01 |      --      |    Inf 
147.74/147.86	c   147s|     1 |     0 | 14669 |  56M|   0 | 424 |1344 |  16k|  16k|1344 |  16k|  46 |   0 |   0 | 9.600000e+01 |      --      |    Inf 
167.54/167.65	c   167s|     1 |     0 | 15841 |  61M|   0 | 444 |1344 |  16k|  16k|1344 |  16k|  56 |   0 |   0 | 9.600000e+01 |      --      |    Inf 
334.97/335.12	c   334s|     1 |     2 | 15841 |  61M|   0 | 444 |1344 |  16k|  16k|1344 |  16k|  56 |   0 |  43 | 9.600000e+01 |      --      |    Inf 
1413.82/1414.32	o 192
1413.82/1414.32	c v1411s|    59 |    60 |172097 |  61M|  19 |   - |1344 |  16k|  12k|1344 |  16k|  56 |   0 | 185 | 9.600000e+01 | 1.920000e+02 | 100.00%
1794.09/1794.79	c 
1794.09/1794.79	c SCIP Status        : solving was interrupted [time limit reached]
1794.09/1794.79	c Solving Time (sec) : 1791.00
1794.09/1794.79	c Solving Nodes      : 94
1794.09/1794.79	c Primal Bound       : +1.92000000000000e+02 (1 solutions)
1794.09/1794.79	c Dual Bound         : +9.60000000000000e+01
1794.09/1794.79	c Gap                : 100.00 %
1794.19/1794.81	c NODE         94
1794.19/1794.81	c DUAL BOUND   96
1794.19/1794.81	c PRIMAL BOUND 192
1794.19/1794.81	c GAP          1
1794.19/1794.81	s SATISFIABLE
1794.19/1794.81	v x833 x769 -x705 x641 -x577 -x513 x449 -x385 x321 -x257 -x193 x129 x65 -x1 -x896 x832 -x768 x704 x640 -x576 -x512 x448 -x384 x320 
1794.19/1794.81	v -x256 -x192 x128 x64 x887 -x823 x759 x695 x631 -x567 -x503 -x439 x375 -x311 -x247 -x183 x119 x55 x878 -x814 x750 x686 -x622 
1794.19/1794.81	v x558 -x494 x430 x366 -x302 -x238 x174 -x110 -x46 -x869 x805 x741 -x677 -x613 x549 -x485 x421 x357 -x293 x229 -x165 x101 -x37 
1794.19/1794.81	v x860 -x796 -x732 -x668 x604 x540 x476 -x412 -x348 x284 x220 x156 -x92 -x28 -x851 -x787 x723 -x659 x595 -x531 x467 -x403 -x339 
1794.19/1794.81	v x275 x211 x147 -x83 x19 -x842 x778 -x714 -x650 -x586 x522 x458 x394 -x330 x266 x202 -x138 -x74 x10 x895 -x831 -x767 -x703 -x639 
1794.19/1794.81	v -x575 -x511 -x447 -x383 -x319 -x255 -x191 -x127 -x63 -x894 -x830 -x766 -x702 -x638 -x574 -x510 -x446 -x382 -x318 -x254 x190 
1794.19/1794.81	v -x126 -x62 -x893 -x829 x765 -x701 -x637 -x573 -x509 -x445 -x381 -x317 -x253 -x189 -x125 -x61 -x892 -x828 -x764 -x700 -x636 
1794.19/1794.81	v -x572 -x508 -x444 -x380 -x316 x252 -x188 -x124 -x60 -x891 -x827 -x763 -x699 -x635 -x571 x507 -x443 -x379 -x315 -x251 -x187 
1794.19/1794.81	v -x123 -x59 -x890 -x826 -x762 -x698 -x634 x570 -x506 -x442 -x378 -x314 -x250 -x186 -x122 -x58 -x889 -x825 -x761 -x697 -x633 -x569 
1794.19/1794.81	v -x505 -x441 x377 -x313 -x249 -x185 -x121 -x57 -x888 -x824 -x760 -x696 -x632 -x568 -x504 -x440 -x376 x312 -x248 -x184 -x120 
1794.19/1794.81	v -x56 -x886 -x822 -x758 -x694 -x630 x566 -x502 -x438 -x374 -x310 -x246 -x182 -x118 -x54 -x885 -x821 -x757 -x693 -x629 -x565 
1794.19/1794.81	v -x501 x437 -x373 -x309 -x245 -x181 -x117 -x53 -x884 -x820 -x756 -x692 -x628 -x564 x500 -x436 -x372 -x308 -x244 -x180 -x116 -x52 
1794.19/1794.81	v -x883 -x819 -x755 -x691 -x627 -x563 -x499 -x435 -x371 -x307 -x243 x179 -x115 -x51 -x882 -x818 -x754 -x690 -x626 -x562 -x498 
1794.19/1794.81	v -x434 -x370 -x306 x242 -x178 -x114 -x50 -x881 x817 -x753 -x689 -x625 -x561 -x497 -x433 -x369 -x305 -x241 -x177 -x113 -x49 -x880 
1794.19/1794.81	v x816 -x752 -x688 -x624 -x560 -x496 -x432 -x368 -x304 -x240 -x176 -x112 -x48 -x879 -x815 -x751 -x687 -x623 -x559 -x495 -x431 
1794.19/1794.81	v -x367 -x303 -x239 -x175 x111 -x47 -x877 -x813 -x749 -x685 -x621 -x557 -x493 -x429 -x365 -x301 x237 -x173 -x109 -x45 -x876 
1794.19/1794.81	v -x812 -x748 -x684 x620 -x556 -x492 -x428 -x364 -x300 -x236 -x172 -x108 -x44 -x875 -x811 -x747 -x683 -x619 -x555 -x491 -x427 
1794.19/1794.81	v -x363 -x299 -x235 -x171 -x107 x43 -x874 -x810 -x746 -x682 -x618 -x554 -x490 -x426 -x362 x298 -x234 -x170 -x106 -x42 -x873 -x809 
1794.19/1794.81	v -x745 -x681 -x617 -x553 x489 -x425 -x361 -x297 -x233 -x169 -x105 -x41 -x872 -x808 -x744 -x680 x616 -x552 -x488 -x424 -x360 
1794.19/1794.81	v -x296 -x232 -x168 -x104 -x40 -x871 -x807 -x743 -x679 -x615 -x551 -x487 -x423 -x359 -x295 -x231 -x167 -x103 x39 x870 -x806 -x742 
1794.19/1794.81	v -x678 -x614 -x550 -x486 -x422 -x358 -x294 -x230 -x166 -x102 -x38 -x868 -x804 -x740 -x676 -x612 -x548 -x484 -x420 -x356 -x292 
1794.19/1794.81	v -x228 x164 -x100 -x36 -x867 -x803 -x739 -x675 -x611 -x547 -x483 -x419 -x355 x291 -x227 -x163 -x99 -x35 -x866 -x802 -x738 
1794.19/1794.81	v -x674 -x610 -x546 x482 -x418 -x354 -x290 -x226 -x162 -x98 -x34 -x865 -x801 -x737 x673 -x609 -x545 -x481 -x417 -x353 -x289 -x225 
1794.19/1794.81	v -x161 -x97 -x33 -x864 -x800 -x736 -x672 -x608 -x544 -x480 x416 -x352 -x288 -x224 -x160 -x96 -x32 -x863 -x799 -x735 x671 -x607 
1794.19/1794.81	v -x543 -x479 -x415 -x351 -x287 -x223 -x159 -x95 -x31 -x862 -x798 -x734 -x670 -x606 -x542 -x478 -x414 x350 -x286 -x222 -x158 
1794.19/1794.81	v -x94 -x30 -x861 x797 -x733 -x669 -x605 -x541 -x477 -x413 -x349 -x285 -x221 -x157 -x93 -x29 -x859 -x795 x731 -x667 -x603 -x539 
1794.19/1794.81	v -x475 -x411 -x347 -x283 -x219 -x155 -x91 -x27 -x858 -x794 -x730 -x666 -x602 -x538 -x474 -x410 -x346 -x282 -x218 -x154 -x90 
1794.19/1794.81	v x26 -x857 -x793 -x729 -x665 -x601 -x537 -x473 -x409 -x345 -x281 -x217 -x153 x89 -x25 -x856 -x792 -x728 x664 -x600 -x536 -x472 
1794.19/1794.81	v -x408 -x344 -x280 -x216 -x152 -x88 -x24 -x855 -x791 -x727 -x663 -x599 -x535 -x471 -x407 x343 -x279 -x215 -x151 -x87 -x23 -x854 
1794.19/1794.81	v -x790 -x726 -x662 -x598 -x534 -x470 x406 -x342 -x278 -x214 -x150 -x86 -x22 -x853 -x789 -x725 -x661 -x597 -x533 -x469 -x405 
1794.19/1794.81	v -x341 -x277 -x213 -x149 x85 -x21 -x852 -x788 -x724 -x660 -x596 x532 -x468 -x404 -x340 -x276 -x212 -x148 -x84 -x20 -x850 x786 
1794.19/1794.81	v -x722 -x658 -x594 -x530 -x466 -x402 -x338 -x274 -x210 -x146 -x82 -x18 x849 -x785 -x721 -x657 -x593 -x529 -x465 -x401 -x337 
1794.19/1794.81	v -x273 -x209 -x145 -x81 -x17 -x848 -x784 -x720 -x656 -x592 -x528 -x464 -x400 -x336 -x272 -x208 -x144 x80 -x16 -x847 -x783 x719 
1794.19/1794.81	v -x655 -x591 -x527 -x463 -x399 -x335 -x271 -x207 -x143 -x79 -x15 -x846 -x782 -x718 x654 -x590 -x526 -x462 -x398 -x334 -x270 -x206 
1794.19/1794.81	v -x142 -x78 -x14 -x845 -x781 -x717 -x653 -x589 -x525 -x461 -x397 x333 -x269 -x205 -x141 -x77 -x13 x844 -x780 -x716 -x652 
1794.19/1794.81	v -x588 -x524 -x460 -x396 -x332 -x268 -x204 -x140 -x76 -x12 -x843 -x779 -x715 -x651 x587 -x523 -x459 -x395 -x331 -x267 -x203 -x139 
1794.19/1794.81	v -x75 -x11 -x841 -x777 -x713 -x649 -x585 -x521 -x457 -x393 -x329 -x265 -x201 x137 -x73 -x9 -x840 -x776 -x712 -x648 -x584 -x520 
1794.19/1794.81	v -x456 -x392 -x328 -x264 -x200 -x136 -x72 x8 -x839 -x775 -x711 -x647 x583 -x519 -x455 -x391 -x327 -x263 -x199 -x135 -x71 
1794.19/1794.81	v -x7 -x838 -x774 x710 -x646 -x582 -x518 -x454 -x390 -x326 -x262 -x198 -x134 -x70 -x6 -x837 -x773 -x709 -x645 -x581 x517 -x453 
1794.19/1794.81	v -x389 -x325 -x261 -x197 -x133 -x69 -x5 -x836 -x772 -x708 -x644 -x580 -x516 -x452 -x388 -x324 x260 -x196 -x132 -x68 -x4 -x835 
1794.19/1794.81	v -x771 -x707 -x643 -x579 -x515 -x451 -x387 -x323 -x259 x195 -x131 -x67 -x3 -x834 -x770 -x706 -x642 -x578 -x514 -x450 x386 -x322 
1794.19/1794.81	v -x258 -x194 -x130 -x66 -x2 x1344 x1343 x1342 -x1341 x1340 -x1339 x1338 x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 
1794.19/1794.81	v -x1329 -x1328 x1327 -x1326 -x1325 -x1324 x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 x1316 -x1315 -x1314 -x1313 -x1312 
1794.19/1794.81	v -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 x1304 -x1303 x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 x1295 -x1294 -x1293 
1794.19/1794.81	v -x1292 -x1291 -x1290 -x1289 x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 x1279 -x1278 x1277 -x1276 x1275 
1794.19/1794.81	v -x1274 x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 x1264 -x1263 -x1262 -x1261 -x1260 -x1259 x1258 -x1257 
1794.19/1794.81	v -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 x1248 -x1247 x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 
1794.19/1794.81	v x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 x1224 -x1223 -x1222 -x1221 -x1220 
1794.19/1794.81	v -x1219 x1218 -x1217 x1216 x1215 x1214 -x1213 x1212 -x1211 -x1210 -x1209 -x1208 -x1207 x1206 -x1205 -x1204 -x1203 x1202 -x1201 
1794.19/1794.81	v -x1200 -x1199 -x1198 -x1197 x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 x1188 -x1187 -x1186 -x1185 -x1184 -x1183 
1794.19/1794.81	v -x1182 x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 x1170 -x1169 -x1168 x1167 -x1166 -x1165 
1794.19/1794.81	v -x1164 -x1163 -x1162 -x1161 x1160 -x1159 -x1158 -x1157 -x1156 x1155 x1154 x1153 x1152 x1151 x1150 -x1149 -x1148 -x1147 -x1146 
1794.19/1794.81	v x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 x1131 -x1130 -x1129 -x1128 
1794.19/1794.81	v -x1127 -x1126 -x1125 x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 
1794.19/1794.81	v x1109 -x1108 -x1107 x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 x1096 -x1095 -x1094 -x1093 -x1092 x1091 
1794.19/1794.81	v x1090 -x1089 -x1088 x1087 -x1086 -x1085 -x1084 -x1083 x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 
1794.19/1794.81	v x1072 -x1071 -x1070 -x1069 -x1068 x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 x1060 -x1059 -x1058 -x1057 x1056 -x1055 
1794.19/1794.81	v -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 x1039 -x1038 -x1037 -x1036 
1794.19/1794.81	v -x1035 -x1034 -x1033 x1032 -x1031 -x1030 x1029 x1028 -x1027 x1026 x1025 x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 
1794.19/1794.81	v -x1017 x1016 -x1015 -x1014 -x1013 -x1012 -x1011 x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 x1002 -x1001 -x1000 -x999 
1794.19/1794.81	v -x998 -x997 x996 -x995 -x994 x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 x982 -x981 -x980 -x979 -x978 
1794.19/1794.81	v -x977 -x976 x975 -x974 -x973 -x972 x971 -x970 -x969 -x968 -x967 x966 -x965 -x964 x963 x962 x961 -x960 -x959 -x958 -x957 -x956 
1794.19/1794.81	v -x955 -x954 x953 -x952 -x951 -x950 -x949 -x948 -x947 x946 -x945 -x944 -x943 -x942 -x941 -x940 x939 -x938 -x937 -x936 -x935 
1794.19/1794.81	v -x934 -x933 x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 x918 -x917 -x916 -x915 -x914 
1794.19/1794.81	v x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 x904 x903 -x902 x901 x900 -x899 x898 x897 
1794.19/1794.81	c SCIP Status        : solving was interrupted [time limit reached]
1794.19/1794.81	c Solving Time       :    1791.00
1794.19/1794.81	c Original Problem   :
1794.19/1794.81	c   Problem name     : HOME/instance-1868824-1245146206.opb
1794.19/1794.81	c   Variables        : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.19/1794.81	c   Constraints      : 16096 initial, 16096 maximal
1794.19/1794.81	c Presolved Problem  :
1794.19/1794.81	c   Problem name     : t_HOME/instance-1868824-1245146206.opb
1794.19/1794.81	c   Variables        : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.19/1794.81	c   Constraints      : 16096 initial, 16103 maximal
1794.19/1794.81	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1794.19/1794.81	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1794.19/1794.81	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1794.19/1794.81	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1794.19/1794.81	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1794.19/1794.81	c   implics          :       0.00          0          0          0          0          0          0          0          0
1794.19/1794.81	c   probing          :       2.56          0          0          0          0          0          0          0          0
1794.19/1794.81	c   knapsack         :       0.79          0          0          0          0          0          0      14784      22176
1794.19/1794.81	c   setppc           :       0.25          0          0          0          0          0      13440          0          0
1794.19/1794.81	c   logicor          :       0.04          0          0          0          0          0          0          0          0
1794.19/1794.81	c   root node        :          -          0          -          -          0          -          -          -          -
1794.19/1794.81	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1794.19/1794.81	c   integral         :          0          0          0         94          0          0          0          0          0        188
1794.19/1794.81	c   knapsack         :       7496          6       3863          0          0          0         48          0          0          0
1794.19/1794.81	c   setppc           :        392          6       3863          0          0          0       1150          0          0          0
1794.19/1794.81	c   logicor          :       8208+         6       2110          0          0          0        540          0          0          0
1794.19/1794.81	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1794.19/1794.81	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1794.19/1794.81	c   integral         :     772.53       0.00       0.00     772.53       0.00
1794.19/1794.81	c   knapsack         :       2.45       0.11       2.34       0.00       0.00
1794.19/1794.81	c   setppc           :       0.16       0.00       0.16       0.00       0.00
1794.19/1794.81	c   logicor          :       0.20       0.00       0.20       0.00       0.00
1794.19/1794.81	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1794.19/1794.81	c Propagators        :       Time      Calls    Cutoffs    DomReds
1794.19/1794.81	c   rootredcost      :       0.01          1          0          0
1794.19/1794.81	c   pseudoobj        :       0.02       1359          0          0
1794.19/1794.81	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1794.19/1794.81	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1794.19/1794.81	c   infeasible LP    :       0.00          2          2         13       51.7          0        0.0          0
1794.19/1794.81	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1794.19/1794.81	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1794.19/1794.81	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1794.19/1794.81	c   applied globally :          -          -          -          7       52.4          -          -          -
1794.19/1794.81	c   applied locally  :          -          -          -          0        0.0          -          -          -
1794.19/1794.81	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1794.19/1794.81	c   cut pool         :       0.03          5          -          -          3          -    (maximal pool size: 1442)
1794.19/1794.81	c   redcost          :       0.01         99          0          0          0          0
1794.19/1794.81	c   impliedbounds    :       0.01          6          0          0          0          0
1794.19/1794.81	c   intobj           :       0.00          0          0          0          0          0
1794.19/1794.81	c   gomory           :      81.34          6          0          0        979          0
1794.19/1794.81	c   strongcg         :       4.30          6          0          0       3000          0
1794.19/1794.81	c   cmir             :       0.75          6          0          0          0          0
1794.19/1794.81	c   flowcover        :       1.86          6          0          0          1          0
1794.19/1794.81	c   clique           :       0.07          6          0          0         44          0
1794.19/1794.81	c   zerohalf         :       0.00          0          0          0          0          0
1794.19/1794.81	c   mcf              :       0.03          1          0          0          0          0
1794.19/1794.81	c Pricers            :       Time      Calls       Vars
1794.19/1794.81	c   problem variables:       0.00          0          0
1794.19/1794.81	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1794.19/1794.81	c   relpscost        :     772.53         94          0          0          0          0        188
1794.19/1794.81	c   pscost           :       0.00          0          0          0          0          0          0
1794.19/1794.81	c   inference        :       0.00          0          0          0          0          0          0
1794.19/1794.81	c   mostinf          :       0.00          0          0          0          0          0          0
1794.19/1794.81	c   leastinf         :       0.00          0          0          0          0          0          0
1794.19/1794.81	c   fullstrong       :       0.00          0          0          0          0          0          0
1794.19/1794.81	c   allfullstrong    :       0.00          0          0          0          0          0          0
1794.19/1794.81	c   random           :       0.00          0          0          0          0          0          0
1794.19/1794.81	c Primal Heuristics  :       Time      Calls      Found
1794.19/1794.81	c   LP solutions     :       0.00          -          0
1794.19/1794.81	c   pseudo solutions :       0.00          -          0
1794.19/1794.81	c   guideddiving     :       0.00          0          0
1794.19/1794.81	c   crossover        :       0.00          0          0
1794.19/1794.81	c   intshifting      :       0.00          0          0
1794.19/1794.81	c   oneopt           :       0.01          1          0
1794.19/1794.81	c   coefdiving       :     147.90          1          0
1794.19/1794.81	c   pscostdiving     :     100.13          1          0
1794.19/1794.81	c   fracdiving       :      38.95          1          0
1794.19/1794.81	c   veclendiving     :      60.04          1          1
1794.19/1794.81	c   objpscostdiving  :     101.23          1          0
1794.19/1794.81	c   simplerounding   :       0.00          0          0
1794.19/1794.81	c   rounding         :       0.52        100          0
1794.19/1794.81	c   shifting         :       0.19         14          0
1794.19/1794.81	c   fixandinfer      :       0.00          0          0
1794.19/1794.81	c   feaspump         :      40.31          1          0
1794.19/1794.81	c   intdiving        :       0.00          0          0
1794.19/1794.81	c   actconsdiving    :       0.00          0          0
1794.19/1794.81	c   rootsoldiving    :      19.32          1          0
1794.19/1794.81	c   linesearchdiving :       7.29          1          0
1794.19/1794.81	c   octane           :       0.00          0          0
1794.19/1794.81	c   rens             :       0.21          1          0
1794.19/1794.81	c   rins             :       0.00          0          0
1794.19/1794.81	c   localbranching   :       0.00          0          0
1794.19/1794.81	c   mutation         :       0.00          0          0
1794.19/1794.81	c   dins             :       0.00          0          0
1794.19/1794.81	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1794.19/1794.81	c   primal LP        :       0.01          0          0       0.00       0.00
1794.19/1794.81	c   dual LP          :     408.96        100     113136    1131.36     276.64
1794.19/1794.81	c   barrier LP       :       0.00          0          0       0.00          -
1794.19/1794.81	c   diving/probing LP:     508.78       1119     131205     117.25     257.88
1794.19/1794.81	c   strong branching :     772.49        215     207755     966.30     268.94
1794.19/1794.81	c     (at root node) :          -         43      42839     996.26          -
1794.19/1794.81	c   conflict analysis:       0.00          0          0       0.00          -
1794.19/1794.81	c B&B Tree           :
1794.19/1794.81	c   number of runs   :          1
1794.19/1794.81	c   nodes            :         94
1794.19/1794.81	c   nodes (total)    :         94
1794.19/1794.81	c   nodes left       :         95
1794.19/1794.81	c   max depth        :         19
1794.19/1794.81	c   max depth (total):         19
1794.19/1794.81	c   backtracks       :          6 (6.4%)
1794.19/1794.81	c   delayed cutoffs  :          0
1794.19/1794.81	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1794.19/1794.81	c   avg switch length:       2.03
1794.19/1794.81	c   switching time   :       0.07
1794.19/1794.81	c Solution           :
1794.19/1794.81	c   Solutions found  :          1 (1 improvements)
1794.19/1794.81	c   Primal Bound     : +1.92000000000000e+02   (in run 1, after 59 nodes, 1411.17 seconds, depth 52, found by <veclendiving>)
1794.19/1794.81	c   Dual Bound       : +9.60000000000000e+01
1794.19/1794.81	c   Gap              :     100.00 %
1794.19/1794.81	c   Root Dual Bound  : +9.60000000000000e+01
1794.29/1794.93	c Time complete: 1794.33.

Verifier Data 

OK	192

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868824-1245146206/watcher-1868824-1245146206 -o /tmp/evaluation-result-1868824-1245146206/solver-1868824-1245146206 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868824-1245146206.opb 

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: 0.99 0.98 0.99 3/64 4650
/proc/meminfo: memFree=1859160/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=4324 CPUtime=0
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 475 0 0 0 0 0 0 0 18 0 1 0 182221532 4427776 460 1992294400 4194304 7823515 548682068736 18446744073709551615 4403200 0 0 4096 0 0 0 0 17 1 0 0
/proc/4650/statm: 1082 469 305 886 0 192 0

[startup+0.0516481 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 4650
/proc/meminfo: memFree=1859160/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=11004 CPUtime=0.04
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 2061 0 0 0 4 0 0 0 18 0 1 0 182221532 11268096 2043 1992294400 4194304 7823515 548682068736 18446744073709551615 5537598 0 0 4096 0 0 0 0 17 1 0 0
/proc/4650/statm: 2751 2043 354 886 0 1861 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11004

[startup+0.101655 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 4650
/proc/meminfo: memFree=1859160/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=13180 CPUtime=0.09
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 2616 0 0 0 9 0 0 0 18 0 1 0 182221532 13496320 2598 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/4650/statm: 3295 2598 354 886 0 2405 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13180

[startup+0.301691 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 4650
/proc/meminfo: memFree=1859160/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=16756 CPUtime=0.29
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 3494 0 0 0 29 0 0 0 19 0 1 0 182221532 17158144 3476 1992294400 4194304 7823515 548682068736 18446744073709551615 6896331 0 0 4096 0 0 0 0 17 1 0 0
/proc/4650/statm: 4189 3476 354 886 0 3299 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16756

[startup+0.70176 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 4650
/proc/meminfo: memFree=1859160/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=55844 CPUtime=0.69
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 13368 0 0 0 63 6 0 0 22 0 1 0 182221532 57184256 12996 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 13961 12996 436 886 0 13071 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55844

[startup+1.5019 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4651
/proc/meminfo: memFree=1808784/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=56300 CPUtime=1.49
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 13483 0 0 0 141 8 0 0 25 0 1 0 182221532 57651200 13111 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 14075 13111 437 886 0 13185 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56300

[startup+3.10118 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4651
/proc/meminfo: memFree=1808144/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=56300 CPUtime=3.09
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 13507 0 0 0 299 10 0 0 25 0 1 0 182221532 57651200 13135 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 14075 13135 455 886 0 13185 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56300

[startup+6.30174 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4651
/proc/meminfo: memFree=1778960/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=88488 CPUtime=6.28
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 21858 0 0 0 614 14 0 0 25 0 1 0 182221532 90611712 20574 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 22122 20574 525 886 0 21232 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 88488

[startup+12.7019 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4651
/proc/meminfo: memFree=1776848/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=90288 CPUtime=12.68
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 22277 0 0 0 1253 15 0 0 25 0 1 0 182221532 92454912 20987 1992294400 4194304 7823515 548682068736 18446744073709551615 6211392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 22572 20987 525 886 0 21682 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 90288

[startup+25.5011 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4651
/proc/meminfo: memFree=1773648/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=93824 CPUtime=25.49
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 23137 0 0 0 2532 17 0 0 25 0 1 0 182221532 96075776 21817 1992294400 4194304 7823515 548682068736 18446744073709551615 6208304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 23456 21817 536 886 0 22566 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 93824

[startup+51.1016 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4651
/proc/meminfo: memFree=1771472/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=95908 CPUtime=51.07
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 23742 0 0 0 5088 19 0 0 25 0 1 0 182221532 98209792 22376 1992294400 4194304 7823515 548682068736 18446744073709551615 6208532 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 23977 22376 536 886 0 23087 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 95908

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4651
/proc/meminfo: memFree=1754512/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=113360 CPUtime=102.26
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 29985 0 0 0 10194 32 0 0 25 0 1 0 182221532 116080640 26620 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 28340 26620 567 886 0 27450 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 113360

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4651
/proc/meminfo: memFree=1730000/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=137684 CPUtime=162.24
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 36188 0 0 0 16175 49 0 0 25 0 1 0 182221532 140988416 32762 1992294400 4194304 7823515 548682068736 18446744073709551615 4298277 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 34421 32762 567 886 0 33531 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 137684

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4651
/proc/meminfo: memFree=1725200/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=143008 CPUtime=222.22
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 46060 0 0 0 22158 64 0 0 25 0 1 0 182221532 146440192 33910 1992294400 4194304 7823515 548682068736 18446744073709551615 6020392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 35752 33910 577 886 0 34862 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 143008

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1724872/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=143008 CPUtime=282.19
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 46082 0 0 0 28148 71 0 0 25 0 1 0 182221532 146440192 33932 1992294400 4194304 7823515 548682068736 18446744073709551615 6205834 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 35752 33932 577 886 0 34862 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 143008

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1724744/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=143008 CPUtime=342.17
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 46130 0 0 0 34137 80 0 0 25 0 1 0 182221532 146440192 33980 1992294400 4194304 7823515 548682068736 18446744073709551615 6211331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 35752 33980 577 886 0 34862 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 143008

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1723272/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=143008 CPUtime=402.15
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 46499 0 0 0 40127 88 0 0 25 0 1 0 182221532 146440192 34349 1992294400 4194304 7823515 548682068736 18446744073709551615 6212422 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 35752 34349 577 886 0 34862 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 143008

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1723272/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=143008 CPUtime=462.13
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 46499 0 0 0 46117 96 0 0 25 0 1 0 182221532 146440192 34349 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 35752 34349 577 886 0 34862 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 143008

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1723208/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=143008 CPUtime=522.11
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 46499 0 0 0 52106 105 0 0 25 0 1 0 182221532 146440192 34349 1992294400 4194304 7823515 548682068736 18446744073709551615 6212327 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 35752 34349 577 886 0 34862 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 143008

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1723216/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=143008 CPUtime=582.09
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 46499 0 0 0 58097 112 0 0 25 0 1 0 182221532 146440192 34349 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 35752 34349 577 886 0 34862 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 143008

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1723152/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=143008 CPUtime=642.08
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 46499 0 0 0 64087 121 0 0 25 0 1 0 182221532 146440192 34349 1992294400 4194304 7823515 548682068736 18446744073709551615 6211590 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 35752 34349 577 886 0 34862 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 143008

[startup+702.302 s]

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

/proc/meminfo: memFree=1722576/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=143448 CPUtime=1061.94
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 46617 0 0 0 106007 187 0 0 25 0 1 0 182221532 146890752 34467 1992294400 4194304 7823515 548682068736 18446744073709551615 6212418 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 35862 34467 578 886 0 34972 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 143448

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1722576/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=143448 CPUtime=1121.92
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 46617 0 0 0 111998 194 0 0 25 0 1 0 182221532 146890752 34467 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 35862 34467 578 886 0 34972 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 143448

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1722576/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=143448 CPUtime=1181.9
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 46617 0 0 0 117987 203 0 0 25 0 1 0 182221532 146890752 34467 1992294400 4194304 7823515 548682068736 18446744073709551615 6180619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 35862 34467 578 886 0 34972 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 143448

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1722384/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=143448 CPUtime=1241.88
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 46617 0 0 0 123977 211 0 0 25 0 1 0 182221532 146890752 34467 1992294400 4194304 7823515 548682068736 18446744073709551615 6211692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 35862 34467 578 886 0 34972 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 143448

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1722384/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=143448 CPUtime=1301.86
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 46617 0 0 0 129968 218 0 0 25 0 1 0 182221532 146890752 34467 1992294400 4194304 7823515 548682068736 18446744073709551615 6211638 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 35862 34467 578 886 0 34972 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 143448

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1722256/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=143448 CPUtime=1361.84
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 46617 0 0 0 135956 228 0 0 25 0 1 0 182221532 146890752 34467 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 35862 34467 578 886 0 34972 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 143448

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1722256/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=143448 CPUtime=1421.82
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 46617 0 0 0 141944 238 0 0 25 0 1 0 182221532 146890752 34467 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 35862 34467 578 886 0 34972 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 143448

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1720464/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=145360 CPUtime=1481.8
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 47066 0 0 0 147932 248 0 0 25 0 1 0 182221532 148848640 34916 1992294400 4194304 7823515 548682068736 18446744073709551615 6252469 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 36340 34916 578 886 0 35450 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 145360

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1720464/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=145360 CPUtime=1541.77
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 47066 0 0 0 153922 255 0 0 25 0 1 0 182221532 148848640 34916 1992294400 4194304 7823515 548682068736 18446744073709551615 6208682 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 36340 34916 578 886 0 35450 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 145360

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1720464/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=145360 CPUtime=1601.75
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 47066 0 0 0 159914 261 0 0 25 0 1 0 182221532 148848640 34916 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 36340 34916 578 886 0 35450 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 145360

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1720400/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=145360 CPUtime=1661.74
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 47066 0 0 0 165903 271 0 0 25 0 1 0 182221532 148848640 34916 1992294400 4194304 7823515 548682068736 18446744073709551615 6257628 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 36340 34916 578 886 0 35450 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 145360

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1720400/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=145360 CPUtime=1721.72
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 47066 0 0 0 171893 279 0 0 25 0 1 0 182221532 148848640 34916 1992294400 4194304 7823515 548682068736 18446744073709551615 6208329 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 36340 34916 578 886 0 35450 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 145360

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1720272/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=145360 CPUtime=1781.7
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 47071 0 0 0 177883 287 0 0 25 0 1 0 182221532 148848640 34921 1992294400 4194304 7823515 548682068736 18446744073709551615 6209858 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 36340 34921 583 886 0 35450 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 145360

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

[startup+1785.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1720272/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=145360 CPUtime=1784.9
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 47071 0 0 0 178202 288 0 0 25 0 1 0 182221532 148848640 34921 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 36340 34921 583 886 0 35450 0
Current children cumulated CPU time (s) 1784.9
Current children cumulated vsize (KiB) 145360

[startup+1791.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1720272/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=145360 CPUtime=1791.3
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 47071 0 0 0 178841 289 0 0 25 0 1 0 182221532 148848640 34921 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 36340 34921 583 886 0 35450 0
Current children cumulated CPU time (s) 1791.3
Current children cumulated vsize (KiB) 145360

[startup+1793.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1720272/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=145360 CPUtime=1792.9
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 47071 0 0 0 179001 289 0 0 25 0 1 0 182221532 148848640 34921 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 36340 34921 583 886 0 35450 0
Current children cumulated CPU time (s) 1792.9
Current children cumulated vsize (KiB) 145360

[startup+1794.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1720272/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=145360 CPUtime=1793.7
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 47071 0 0 0 179081 289 0 0 25 0 1 0 182221532 148848640 34921 1992294400 4194304 7823515 548682068736 18446744073709551615 6211574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 36340 34921 583 886 0 35450 0
Current children cumulated CPU time (s) 1793.7
Current children cumulated vsize (KiB) 145360

[startup+1794.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1720272/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=145360 CPUtime=1794.09
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 47071 0 0 0 179120 289 0 0 25 0 1 0 182221532 148848640 34921 1992294400 4194304 7823515 548682068736 18446744073709551615 6036411 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4650/statm: 36340 34921 583 886 0 35450 0
Current children cumulated CPU time (s) 1794.09
Current children cumulated vsize (KiB) 145360

[startup+1794.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4657
/proc/meminfo: memFree=1720272/2055920 swapFree=4191900/4192956
[pid=4650] ppid=4648 vsize=145360 CPUtime=1794.29
/proc/4650/stat : 4650 (pbscip.linux.x8) R 4648 4650 4538 0 -1 4194304 47073 0 0 0 179140 289 0 0 17 0 1 0 182221532 148848640 34923 1992294400 4194304 7823515 548682068736 18446744073709551615 5875900 0 0 4096 0 0 0 0 17 1 0 0
/proc/4650/statm: 36340 34923 585 886 0 35450 0
Current children cumulated CPU time (s) 1794.29
Current children cumulated vsize (KiB) 145360

Child status: 0
Real time (s): 1794.94
CPU time (s): 1794.34
CPU user time (s): 1791.42
CPU system time (s): 2.91956
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (KiB): 171272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.42
system time used= 2.91956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47076
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= 10
involuntary context switches= 2271

runsolver used 1.24281 second user time and 3.85141 second system time

The end

Launcher Data 

Begin job on node4 at 2009-06-16 11:56:46
IDJOB=1868824
IDBENCH=2006
IDSOLVER=683
FILE ID=node4/1868824-1245146206
PBS_JOBID= 9363739
Free space on /tmp= 66408 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868824-1245146206/watcher-1868824-1245146206 -o /tmp/evaluation-result-1868824-1245146206/solver-1868824-1245146206 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868824-1245146206.opb

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

MD5SUM BENCH= d431323968e1ca4dc95d181076d01437
RANDOM SEED=1833733476

node4.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.259
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.259
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1859576 kB
Buffers:         24268 kB
Cached:         103788 kB
SwapCached:        260 kB
Active:          36252 kB
Inactive:       105056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1859576 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           10720 kB
Writeback:           0 kB
Mapped:          21804 kB
Slab:            40908 kB
Committed_AS:   137340 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66396 MiB
End job on node4 at 2009-06-16 12:26:41