Trace number 2681226

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverSAT (TO)41 1802.21 1802.78

General information on the benchmark

Name/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_10_errors.opb
MD5SUMb561a61efc46169e6f19abce33721598
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark235.663
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables584
Total number of constraints427
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints394
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 182
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2406
Sum of products size (including duplicates)10572
Number of different products2406
Sum of products size10572

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2681226-1277475225.opb>
0.00/0.04	c original problem has 2990 variables (2990 bin, 0 int, 0 impl, 0 cont) and 2833 constraints
0.00/0.04	c problem read
0.00/0.04	c presolving settings loaded
0.00/0.04	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.07/0.08	c presolving:
0.39/0.47	c (round 1) 161 del vars, 49 del conss, 161 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 367878 impls, 287 clqs
0.49/0.51	c (round 2) 716 del vars, 106 del conss, 194 chg bounds, 0 chg sides, 213 chg coeffs, 0 upgd conss, 374867 impls, 243 clqs
0.59/0.70	c (round 3) 717 del vars, 106 del conss, 194 chg bounds, 0 chg sides, 213 chg coeffs, 244 upgd conss, 374867 impls, 244 clqs
1.79/1.85	c    (1.5s) probing: 1000/2273 (44.0%) - 0 fixings, 0 aggregations, 18302 implications, 0 bound changes
2.49/2.56	c    (2.2s) probing: 2000/2273 (88.0%) - 0 fixings, 8 aggregations, 23558 implications, 0 bound changes
2.59/2.60	c    (2.2s) probing: 2128/2273 (93.6%) - 0 fixings, 8 aggregations, 23561 implications, 0 bound changes
2.59/2.60	c    (2.2s) probing aborted: 100/100 successive totally useless probings
2.59/2.61	c (round 4) 725 del vars, 106 del conss, 194 chg bounds, 0 chg sides, 213 chg coeffs, 244 upgd conss, 422833 impls, 244 clqs
2.69/2.78	c    (2.3s) probing: 2138/2273 (94.1%) - 0 fixings, 8 aggregations, 23561 implications, 0 bound changes
2.69/2.78	c    (2.3s) probing aborted: 100/100 successive totally useless probings
2.69/2.78	c presolving (5 rounds):
2.69/2.78	c  725 deleted vars, 106 deleted constraints, 194 tightened bounds, 0 added holes, 0 changed sides, 213 changed coefficients
2.69/2.78	c  422833 implications, 244 cliques
2.69/2.78	c presolved problem has 2265 variables (2265 bin, 0 int, 0 impl, 0 cont) and 2195 constraints
2.69/2.78	c     244 constraints of type <setppc>
2.69/2.78	c    1769 constraints of type <and>
2.69/2.78	c      90 constraints of type <linear>
2.69/2.78	c      92 constraints of type <logicor>
2.69/2.78	c transformed objective value is always integral (scale: 1)
2.69/2.78	c Presolving Time: 2.30
2.69/2.78	c - non default parameters ----------------------------------------------------------------------
2.69/2.78	c # SCIP version 1.2.1.2
2.69/2.78	c 
2.69/2.78	c # frequency for displaying node information lines
2.69/2.78	c # [type: int, range: [-1,2147483647], default: 100]
2.69/2.78	c display/freq = 10000
2.69/2.78	c 
2.69/2.78	c # maximal time in seconds to run
2.69/2.78	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.69/2.78	c limits/time = 1799.97
2.69/2.78	c 
2.69/2.78	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.69/2.78	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.69/2.78	c limits/memory = 1620
2.69/2.78	c 
2.69/2.78	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.69/2.78	c # [type: int, range: [-1,2147483647], default: 1]
2.69/2.78	c lp/solvefreq = -1
2.69/2.78	c 
2.69/2.78	c # should presolving try to simplify inequalities
2.69/2.78	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.69/2.78	c constraints/linear/simplifyinequalities = TRUE
2.69/2.78	c 
2.69/2.78	c # should presolving try to simplify knapsacks
2.69/2.78	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.69/2.78	c constraints/knapsack/simplifyinequalities = TRUE
2.69/2.78	c 
2.69/2.78	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
2.69/2.78	c # [type: int, range: [-1,2147483647], default: -1]
2.69/2.78	c heuristics/undercover/freq = 0
2.69/2.78	c 
2.69/2.78	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.69/2.78	c # [type: int, range: [-1,2147483647], default: -1]
2.69/2.78	c separating/rapidlearning/freq = 0
2.69/2.78	c 
2.69/2.78	c -----------------------------------------------------------------------------------------------
2.69/2.78	c start solving
2.69/2.79	c 
2.69/2.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.69/2.79	c   2.3s|     1 |     2 |     0 |     - |  16M|   0 |   - |2265 |2195 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
18.78/18.87	c  17.9s| 10000 |  6873 |     0 |   0.0 |  48M|  47 |   - |2265 |3850 |   0 |   0 |   0 |7053 |   0 | 0.000000e+00 |      --      |    Inf 
37.18/37.25	c  35.8s| 20000 | 13124 |     0 |   0.0 |  82M|  47 |   - |2265 |5970 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
55.47/55.57	c  53.6s| 30000 | 20192 |     0 |   0.0 | 114M|  47 |   - |2265 |3646 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
72.77/72.84	c  70.3s| 40000 | 28351 |     0 |   0.0 | 153M|  47 |   - |2265 |3773 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
89.56/89.69	c  86.7s| 50000 | 36542 |     0 |   0.0 | 189M|  47 |   - |2265 |3678 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
106.95/107.08	c   104s| 60000 | 43138 |     0 |   0.0 | 222M|  47 |   - |2265 |5440 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
125.65/125.71	c   122s| 70000 | 49387 |     0 |   0.0 | 256M|  47 |   - |2265 |6266 |   0 |   0 |   0 |  48k|   0 | 0.000000e+00 |      --      |    Inf 
144.44/144.57	c   140s| 80000 | 55478 |     0 |   0.0 | 288M|  47 |   - |2265 |6820 |   0 |   0 |   0 |  58k|   0 | 0.000000e+00 |      --      |    Inf 
163.93/164.09	c   159s| 90000 | 61521 |     0 |   0.0 | 321M|  47 |   - |2265 |8199 |   0 |   0 |   0 |  69k|   0 | 0.000000e+00 |      --      |    Inf 
184.23/184.36	c   179s|100000 | 67511 |     0 |   0.0 | 353M|  47 |   - |2265 |9944 |   0 |   0 |   0 |  81k|   0 | 0.000000e+00 |      --      |    Inf 
204.12/204.23	c   198s|110000 | 73741 |     0 |   0.0 | 382M|  47 |   - |2265 |  12k|   0 |   0 |   0 |  93k|   0 | 0.000000e+00 |      --      |    Inf 
227.41/227.58	c   221s|120000 | 80556 |     0 |   0.0 | 403M|  47 |   - |2265 |5421 |   0 |   0 |   0 | 102k|   0 | 0.000000e+00 |      --      |    Inf 
244.31/244.40	c   238s|130000 | 88109 |     0 |   0.0 | 433M|  47 |   - |2265 |3970 |   0 |   0 |   0 | 105k|   0 | 0.000000e+00 |      --      |    Inf 
261.20/261.31	c   254s|140000 | 96086 |     0 |   0.0 | 466M|  47 |   - |2265 |4166 |   0 |   0 |   0 | 109k|   0 | 0.000000e+00 |      --      |    Inf 
278.00/278.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
278.00/278.12	c   270s|150000 |104435 |     0 |   0.0 | 501M|  47 |   - |2265 |3845 |   0 |   0 |   0 | 111k|   0 | 0.000000e+00 |      --      |    Inf 
294.49/294.65	c   286s|160000 |112690 |     0 |   0.0 | 532M|  47 |   - |2265 |3772 |   0 |   0 |   0 | 114k|   0 | 0.000000e+00 |      --      |    Inf 
311.49/311.69	c   303s|170000 |120696 |     0 |   0.0 | 567M|  47 |   - |2265 |4116 |   0 |   0 |   0 | 118k|   0 | 0.000000e+00 |      --      |    Inf 
328.28/328.43	c   319s|180000 |128646 |     0 |   0.0 | 599M|  47 |   - |2265 |3867 |   0 |   0 |   0 | 122k|   0 | 0.000000e+00 |      --      |    Inf 
345.28/345.48	c   336s|190000 |135618 |     0 |   0.0 | 631M|  47 |   - |2265 |4296 |   0 |   0 |   0 | 127k|   0 | 0.000000e+00 |      --      |    Inf 
362.27/362.48	c   352s|200000 |143266 |     0 |   0.0 | 665M|  47 |   - |2265 |4676 |   0 |   0 |   0 | 132k|   0 | 0.000000e+00 |      --      |    Inf 
379.27/379.50	c   369s|210000 |150897 |     0 |   0.0 | 699M|  47 |   - |2265 |4772 |   0 |   0 |   0 | 137k|   0 | 0.000000e+00 |      --      |    Inf 
396.56/396.78	c   386s|220000 |158378 |     0 |   0.0 | 734M|  47 |   - |2265 |5642 |   0 |   0 |   0 | 142k|   0 | 0.000000e+00 |      --      |    Inf 
414.46/414.70	c   403s|230000 |165471 |     0 |   0.0 | 767M|  47 |   - |2265 |6021 |   0 |   0 |   0 | 149k|   0 | 0.000000e+00 |      --      |    Inf 
433.16/433.33	c   421s|240000 |172378 |     0 |   0.0 | 801M|  47 |   - |2265 |6040 |   0 |   0 |   0 | 156k|   0 | 0.000000e+00 |      --      |    Inf 
451.95/452.12	c   439s|250000 |179336 |     0 |   0.0 | 837M|  47 |   - |2265 |5696 |   0 |   0 |   0 | 162k|   0 | 0.000000e+00 |      --      |    Inf 
470.65/470.87	c   458s|260000 |186220 |     0 |   0.0 | 872M|  47 |   - |2265 |6145 |   0 |   0 |   0 | 170k|   0 | 0.000000e+00 |      --      |    Inf 
489.53/489.74	c   476s|270000 |193080 |     0 |   0.0 | 906M|  47 |   - |2265 |6520 |   0 |   0 |   0 | 178k|   0 | 0.000000e+00 |      --      |    Inf 
508.53/508.72	c   494s|280000 |199667 |     0 |   0.0 | 940M|  47 |   - |2265 |6314 |   0 |   0 |   0 | 185k|   0 | 0.000000e+00 |      --      |    Inf 
528.02/528.24	c   514s|290000 |205781 |     0 |   0.0 | 975M|  47 |   - |2265 |5921 |   0 |   0 |   0 | 193k|   0 | 0.000000e+00 |      --      |    Inf 
547.91/548.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
547.91/548.15	c   533s|300000 |212107 |     0 |   0.0 |1011M|  47 |   - |2265 |7068 |   0 |   0 |   0 | 202k|   0 | 0.000000e+00 |      --      |    Inf 
568.31/568.51	c   553s|310000 |218278 |     0 |   0.0 |1045M|  47 |   - |2265 |7850 |   0 |   0 |   0 | 212k|   0 | 0.000000e+00 |      --      |    Inf 
588.31/588.55	c   572s|320000 |224569 |     0 |   0.0 |1078M|  47 |   - |2265 |7080 |   0 |   0 |   0 | 222k|   0 | 0.000000e+00 |      --      |    Inf 
608.49/608.70	c   592s|330000 |230495 |     0 |   0.0 |1111M|  47 |   - |2265 |6676 |   0 |   0 |   0 | 231k|   0 | 0.000000e+00 |      --      |    Inf 
628.99/629.24	c   612s|340000 |236512 |     0 |   0.0 |1147M|  47 |   - |2265 |7742 |   0 |   0 |   0 | 241k|   0 | 0.000000e+00 |      --      |    Inf 
649.58/649.84	c   632s|350000 |242397 |     0 |   0.0 |1179M|  47 |   - |2265 |9287 |   0 |   0 |   0 | 252k|   0 | 0.000000e+00 |      --      |    Inf 
670.47/670.71	c   653s|360000 |248690 |     0 |   0.0 |1210M|  47 |   - |2265 |8256 |   0 |   0 |   0 | 262k|   0 | 0.000000e+00 |      --      |    Inf 
690.97/691.20	c   673s|370000 |254839 |     0 |   0.0 |1242M|  47 |   - |2265 |8639 |   0 |   0 |   0 | 273k|   0 | 0.000000e+00 |      --      |    Inf 
712.36/712.67	c   693s|380000 |260738 |     0 |   0.0 |1273M|  47 |   - |2265 |8352 |   0 |   0 |   0 | 284k|   0 | 0.000000e+00 |      --      |    Inf 
733.56/733.87	c   714s|390000 |266973 |     0 |   0.0 |1307M|  47 |   - |2265 |8819 |   0 |   0 |   0 | 294k|   0 | 0.000000e+00 |      --      |    Inf 
754.35/754.61	c   734s|400000 |273868 |     0 |   0.0 |1339M|  47 |   - |2265 |8198 |   0 |   0 |   0 | 302k|   0 | 0.000000e+00 |      --      |    Inf 
765.94/766.24	c (node 405714) switching to memory saving mode (mem: 1296.0M/1620.0M)
779.94/780.21	c   759s|410000 |277225 |     0 |   0.0 |1360M|  60 |   - |2265 |  12k|   0 |   0 |   0 | 318k|   0 | 0.000000e+00 |      --      |    Inf 
817.13/817.47	c   796s|420000 |276438 |     0 |   0.0 |1359M|  60 |   - |2265 |  18k|   0 |   0 |   0 | 337k|   0 | 0.000000e+00 |      --      |    Inf 
862.32/862.64	c   840s|430000 |276010 |     0 |   0.0 |1359M|  60 |   - |2265 |  21k|   0 |   0 |   0 | 355k|   0 | 0.000000e+00 |      --      |    Inf 
888.71/889.08	o 47
888.71/889.08	c * 866s|435689 |275456 |     0 |   0.0 |1356M|  60 |   - |2265 |  20k|   0 |   0 |   0 | 368k|   0 | 0.000000e+00 | 4.700000e+01 |    Inf 
891.21/891.56	o 45
891.21/891.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
891.21/891.56	c * 869s|436114 |275382 |     0 |   0.0 |1355M|  60 |   - |2265 |  19k|   0 |   0 |   0 | 369k|   0 | 0.000000e+00 | 4.500000e+01 |    Inf 
903.40/903.72	o 42
903.40/903.72	c * 881s|438823 |275105 |     0 |   0.0 |1354M|  66 |   - |2265 |  20k|   0 |   0 |   0 | 374k|   0 | 0.000000e+00 | 4.200000e+01 |    Inf 
903.40/903.73	o 41
903.40/903.73	c * 881s|438824 |275104 |     0 |   0.0 |1354M|  66 |   - |2265 |  20k|   0 |   0 |   0 | 374k|   0 | 0.000000e+00 | 4.100000e+01 |    Inf 
908.31/908.65	c   886s|440000 |275033 |     0 |   0.0 |1354M|  66 |   - |2265 |  20k|   0 |   0 |   0 | 376k|   0 | 0.000000e+00 | 4.100000e+01 |    Inf 
952.69/953.08	c   929s|450000 |274783 |     0 |   0.0 |1360M|  66 |   - |2265 |  31k|   0 |   0 |   0 | 396k|   0 | 0.000000e+00 | 4.100000e+01 |    Inf 
1003.48/1003.89	c   979s|460000 |274578 |     0 |   0.0 |1360M|  66 |   - |2265 |  31k|   0 |   0 |   0 | 412k|   0 | 0.000000e+00 | 4.100000e+01 |    Inf 
1049.26/1049.67	c  1024s|470000 |273988 |     0 |   0.0 |1352M|  66 |   - |2265 |  21k|   0 |   0 |   0 | 430k|   0 | 0.000000e+00 | 4.100000e+01 |    Inf 
1095.34/1095.76	c  1070s|480000 |273114 |     0 |   0.0 |1347M|  66 |   - |2265 |  22k|   0 |   0 |   0 | 449k|   0 | 0.000000e+00 | 4.100000e+01 |    Inf 
1141.23/1141.68	c  1115s|490000 |272622 |     0 |   0.0 |1348M|  66 |   - |2265 |  28k|   0 |   0 |   0 | 467k|   0 | 0.000000e+00 | 4.100000e+01 |    Inf 
1181.31/1181.78	c  1154s|500000 |272398 |     0 |   0.0 |1354M|  66 |   - |2265 |  41k|   0 |   0 |   0 | 488k|   0 | 0.000000e+00 | 4.100000e+01 |    Inf 
1238.70/1239.10	c  1211s|510000 |272257 |     0 |   0.0 |1358M|  66 |   - |2265 |  48k|   0 |   0 |   0 | 505k|   0 | 0.000000e+00 | 4.100000e+01 |    Inf 
1297.88/1298.33	c  1269s|520000 |272069 |     0 |   0.0 |1354M|  66 |   - |2265 |  38k|   0 |   0 |   0 | 521k|   0 | 0.000000e+00 | 4.100000e+01 |    Inf 
1353.67/1354.19	c  1324s|530000 |271881 |     0 |   0.0 |1351M|  66 |   - |2265 |  33k|   0 |   0 |   0 | 537k|   0 | 0.000000e+00 | 4.100000e+01 |    Inf 
1405.54/1406.06	c  1376s|540000 |271609 |     0 |   0.0 |1348M|  66 |   - |2265 |  30k|   0 |   0 |   0 | 553k|   0 | 0.000000e+00 | 4.100000e+01 |    Inf 
1455.63/1456.10	c  1425s|550000 |270843 |     0 |   0.0 |1341M|  66 |   - |2265 |  23k|   0 |   0 |   0 | 573k|   0 | 0.000000e+00 | 4.100000e+01 |    Inf 
1501.61/1502.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1501.61/1502.16	c  1470s|560000 |270131 |     0 |   0.0 |1338M|  66 |   - |2265 |  25k|   0 |   0 |   0 | 592k|   0 | 0.000000e+00 | 4.100000e+01 |    Inf 
1551.61/1552.12	c  1519s|570000 |269375 |     0 |   0.0 |1332M|  66 |   - |2265 |  25k|   0 |   0 |   0 | 610k|   0 | 0.000000e+00 | 4.100000e+01 |    Inf 
1598.79/1599.37	c  1566s|580000 |269228 |     0 |   0.0 |1336M|  66 |   - |2265 |  33k|   0 |   0 |   0 | 627k|   0 | 0.000000e+00 | 4.100000e+01 |    Inf 
1652.47/1653.07	c  1619s|590000 |269109 |     0 |   0.0 |1338M|  66 |   - |2265 |  38k|   0 |   0 |   0 | 644k|   0 | 0.000000e+00 | 4.100000e+01 |    Inf 
1699.36/1699.99	c  1665s|600000 |268995 |     0 |   0.0 |1341M|  66 |   - |2265 |  45k|   0 |   0 |   0 | 662k|   0 | 0.000000e+00 | 4.100000e+01 |    Inf 
1752.74/1753.31	c  1718s|610000 |268882 |     0 |   0.0 |1347M|  66 |   - |2265 |  56k|   0 |   0 |   0 | 681k|   0 | 0.000000e+00 | 4.100000e+01 |    Inf 
1800.04/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.61	c 
1800.04/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.61	c Solving Time (sec) : 1764.68
1800.04/1800.61	c Solving Nodes      : 616924
1800.04/1800.61	c Primal Bound       : +4.10000000000000e+01 (4 solutions)
1800.04/1800.61	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.61	c Gap                : infinite
1800.04/1800.62	s SATISFIABLE
1800.04/1800.62	v -x584 -x583 x582 x581 x580 -x579 x578 -x577 -x576 x575 x574 -x573 x572 -x571 -x570 x569 x568 -x567 -x566 -x565 x564 x563 -x562 
1800.04/1800.62	v -x561 x560 -x559 -x558 -x557 -x556 x555 x554 x553 x552 -x551 x550 -x549 -x548 x547 -x546 x545 x544 -x543 x542 x541 x540 x539 
1800.04/1800.62	v -x538 -x537 -x536 -x535 -x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 x526 x525 x524 x523 x522 x521 x520 -x519 -x518 x517 x516 
1800.04/1800.62	v -x515 x514 x513 -x512 -x511 -x510 -x509 x508 x507 -x506 -x505 -x504 x503 -x502 -x501 x500 -x499 x498 -x497 x496 -x495 -x494 
1800.04/1800.62	v x493 -x492 x491 -x490 x489 -x488 x487 -x486 x485 -x484 -x483 -x482 -x481 x480 -x479 -x478 -x477 x476 -x475 x474 -x473 -x472 
1800.04/1800.62	v x471 -x470 -x469 x468 -x467 -x466 -x465 -x464 -x463 -x462 x461 x460 x459 -x458 x457 -x456 x455 x454 x453 x452 -x451 x450 -x449 
1800.04/1800.62	v -x448 x447 -x446 -x445 -x444 x443 -x442 -x441 -x440 x439 -x438 x437 x436 -x435 x434 x433 -x432 -x431 x430 x429 x428 -x427 
1800.04/1800.62	v -x426 x425 x424 -x423 -x422 -x421 -x420 -x419 -x418 x417 x416 -x415 x414 -x413 -x412 x411 -x410 x409 -x408 -x407 -x406 -x405 
1800.04/1800.62	v -x404 x403 x402 x401 x400 -x399 -x398 -x397 -x396 x395 x394 x393 -x392 -x391 -x390 x389 -x388 x387 -x386 -x385 -x384 x383 -x382 
1800.04/1800.62	v -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 x371 x370 -x369 -x368 x367 -x366 x365 x364 x363 -x362 x361 x360 
1800.04/1800.62	v -x359 x358 x357 -x356 x355 x354 x353 x352 x351 -x350 x349 x348 -x347 x346 -x345 x344 x343 x342 x341 x340 -x339 x338 x337 x336 
1800.04/1800.62	v -x335 -x334 -x333 -x332 x331 x330 x329 x328 -x327 -x326 -x325 -x324 x323 x322 -x321 -x320 x319 x318 -x317 -x316 -x315 x314 
1800.04/1800.62	v x313 -x312 -x311 -x310 x309 x308 x307 -x306 x305 x304 -x303 x302 x301 -x300 x299 -x298 -x297 -x296 -x295 -x294 x293 -x292 x291 
1800.04/1800.62	v x290 x289 -x288 -x287 x286 -x285 x284 x283 -x282 -x281 x280 -x279 -x278 -x277 x276 -x275 -x274 x273 -x272 -x271 x270 x269 x268 
1800.04/1800.62	v -x267 -x266 -x264 x265 x263 x262 -x261 -x258 x259 -x260 -x257 -x256 x255 x251 -x252 x253 -x254 -x250 x249 -x248 x247 -x243 
1800.04/1800.62	v x244 -x245 -x246 -x242 -x241 -x240 -x239 -x235 x236 -x237 -x238 -x234 -x233 x232 -x231 x227 x228 -x229 -x230 x226 -x225 -x223 
1800.04/1800.62	v -x224 -x222 x217 x218 x219 x220 -x221 -x216 -x215 x214 -x213 x212 x211 -x210 -x209 -x208 x207 -x206 -x205 x204 x203 x202 -x201 
1800.04/1800.62	v x200 x199 x198 x197 -x196 x195 x194 x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 x185 -x184 x183 -x182 -x181 -x180 -x179 
1800.04/1800.62	v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 
1800.04/1800.62	v x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 x137 -x136 
1800.04/1800.62	v x135 -x134 x133 -x132 x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 
1800.04/1800.62	v -x114 x113 -x112 x111 -x110 x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 
1800.04/1800.62	v -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 x81 -x80 x79 -x78 x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 x67 -x66 x65 
1800.04/1800.62	v -x64 x63 -x62 -x61 -x60 x59 -x58 x57 -x56 -x55 -x54 -x53 x52 -x51 x50 -x49 x48 -x47 -x46 -x45 -x44 x43 -x42 x41 x40 -x39 x38 
1800.04/1800.62	v -x37 -x36 -x35 -x34 -x33 -x32 x31 -x30 x29 x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 
1800.04/1800.62	v -x11 x10 -x9 x8 -x7 x6 -x5 -x4 -x3 -x2 -x1 
1800.04/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.62	c Solving Time       :    1764.68
1800.04/1800.62	c Original Problem   :
1800.04/1800.62	c   Problem name     : HOME/instance-2681226-1277475225.opb
1800.04/1800.62	c   Variables        : 2990 (2990 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.62	c   Constraints      : 2833 initial, 2833 maximal
1800.04/1800.62	c Presolved Problem  :
1800.04/1800.62	c   Problem name     : t_HOME/instance-2681226-1277475225.opb
1800.04/1800.62	c   Variables        : 2265 (2265 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.62	c   Constraints      : 2195 initial, 66387 maximal
1800.04/1800.62	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.62	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.62	c   dualfix          :       0.00          1          0          0          0          0          0          0          0
1800.04/1800.62	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.62	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.62	c   implics          :       0.00          0          2          0          0          0          0          0          0
1800.04/1800.62	c   probing          :       1.69          0          8          0          0          0          0          0          0
1800.04/1800.62	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.62	c   and              :       0.54        473          9          0          0          0          9          0        213
1800.04/1800.62	c   linear           :       0.04        221         11          0        194          0         93          0          0
1800.04/1800.62	c   logicor          :       0.00          0          0          0          0          0          4          0          0
1800.04/1800.62	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.62	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.62	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.04/1800.62	c   setppc           :        244          0    3627287          0     491126      20575    7968350          0          0          0
1800.04/1800.62	c   and              :       1769          0    3606709          0     491125      61392   33238177          0          0          0
1800.04/1800.62	c   linear           :         90          0    3545320          0     491126     120186    5406217          0          0          0
1800.04/1800.62	c   logicor          :         92+         0    1576106          0     490869       6026     938540          0          0          0
1800.04/1800.62	c   countsols        :          0          0          0          0     491127          0          0          0          0          0
1800.04/1800.62	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.62	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.62	c   setppc           :     130.76       0.00      58.68       0.00      72.08
1800.04/1800.62	c   and              :     244.80       0.00     241.64       0.00       3.16
1800.04/1800.62	c   linear           :     334.75       0.00     334.16       0.00       0.59
1800.04/1800.62	c   logicor          :     351.10       0.00     338.89       0.00      12.21
1800.04/1800.62	c   countsols        :       0.22       0.00       0.00       0.00       0.22
1800.04/1800.62	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.62	c   vbounds          :       1.71          2          0          0
1800.04/1800.62	c   rootredcost      :       1.79          0          0          0
1800.04/1800.62	c   pseudoobj        :      51.88    3626662       5170     150722
1800.04/1800.62	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.62	c   propagation      :     115.61     213349     212662    3971045       67.4       4808       35.5          -
1800.04/1800.62	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.62	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.62	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.62	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.62	c   applied globally :          -          -          -     694752       37.1          -          -          -
1800.04/1800.62	c   applied locally  :          -          -          -          1      293.0          -          -          -
1800.04/1800.62	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.62	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.04/1800.62	c   redcost          :       0.00          0          0          0          0          0
1800.04/1800.62	c   impliedbounds    :       0.00          0          0          0          0          0
1800.04/1800.62	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.62	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.62	c   gomory           :       0.00          0          0          0          0          0
1800.04/1800.62	c   strongcg         :       0.00          0          0          0          0          0
1800.04/1800.62	c   cmir             :       0.00          0          0          0          0          0
1800.04/1800.62	c   flowcover        :       0.00          0          0          0          0          0
1800.04/1800.62	c   clique           :       0.00          0          0          0          0          0
1800.04/1800.62	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.62	c   mcf              :       0.00          0          0          0          0          0
1800.04/1800.62	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.62	c Pricers            :       Time      Calls       Vars
1800.04/1800.62	c   problem variables:       0.00          0          0
1800.04/1800.62	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.62	c   relpscost        :       0.00          0          0          0          0          0          0
1800.04/1800.62	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.62	c   inference        :     166.23     491123          0          0          0          0     982246
1800.04/1800.62	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.62	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.62	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.62	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.62	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.62	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.62	c   LP solutions     :       0.00          -          0
1800.04/1800.62	c   pseudo solutions :       0.04          -          4
1800.04/1800.62	c   oneopt           :       0.51          0          0
1800.04/1800.62	c   trivial          :       0.01          2          0
1800.04/1800.62	c   simplerounding   :       0.00          0          0
1800.04/1800.62	c   zirounding       :       0.00          0          0
1800.04/1800.62	c   rounding         :       0.00          0          0
1800.04/1800.62	c   shifting         :       0.00          0          0
1800.04/1800.62	c   intshifting      :       0.00          0          0
1800.04/1800.62	c   twoopt           :       0.00          0          0
1800.04/1800.62	c   fixandinfer      :       0.00          0          0
1800.04/1800.62	c   feaspump         :       0.00          0          0
1800.04/1800.62	c   coefdiving       :       0.00          0          0
1800.04/1800.62	c   pscostdiving     :       0.00          0          0
1800.04/1800.62	c   fracdiving       :       0.00          0          0
1800.04/1800.62	c   veclendiving     :       0.00          0          0
1800.04/1800.62	c   intdiving        :       0.00          0          0
1800.04/1800.62	c   actconsdiving    :       0.00          0          0
1800.04/1800.62	c   objpscostdiving  :       0.00          0          0
1800.04/1800.62	c   rootsoldiving    :       0.00          0          0
1800.04/1800.62	c   linesearchdiving :       0.00          0          0
1800.04/1800.62	c   guideddiving     :       0.00          0          0
1800.04/1800.62	c   octane           :       0.00          0          0
1800.04/1800.62	c   rens             :       0.00          0          0
1800.04/1800.62	c   rins             :       0.00          0          0
1800.04/1800.62	c   localbranching   :       0.00          0          0
1800.04/1800.62	c   mutation         :       0.00          0          0
1800.04/1800.62	c   crossover        :       0.00          0          0
1800.04/1800.62	c   dins             :       0.00          0          0
1800.04/1800.62	c   undercover       :       0.00          0          0
1800.04/1800.62	c   nlp              :       0.44          0          0
1800.04/1800.62	c   trysol           :       0.47          0          0
1800.04/1800.62	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.62	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.62	c   dual LP          :       0.00          0          0       0.00          -
1800.04/1800.62	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.62	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.62	c   diving/probing LP:       0.00          0          0       0.00          -
1800.04/1800.62	c   strong branching :       0.00          0          0       0.00          -
1800.04/1800.62	c     (at root node) :          -          0          0       0.00          -
1800.04/1800.62	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.62	c B&B Tree           :
1800.04/1800.62	c   number of runs   :          1
1800.04/1800.62	c   nodes            :     616924
1800.04/1800.62	c   nodes (total)    :     616924
1800.04/1800.62	c   nodes left       :     268837
1800.04/1800.62	c   max depth        :         66
1800.04/1800.62	c   max depth (total):         66
1800.04/1800.62	c   backtracks       :     103443 (16.8%)
1800.04/1800.62	c   delayed cutoffs  :      96463
1800.04/1800.62	c   repropagations   :     321467 (12003180 domain reductions, 87552 cutoffs)
1800.04/1800.62	c   avg switch length:       4.26
1800.04/1800.62	c   switching time   :     354.38
1800.04/1800.62	c Solution           :
1800.04/1800.62	c   Solutions found  :          4 (4 improvements)
1800.04/1800.62	c   First Solution   : +4.70000000000000e+01   (in run 1, after 435689 nodes, 866.31 seconds, depth 43, found by <relaxation>)
1800.04/1800.62	c   Primal Bound     : +4.10000000000000e+01   (in run 1, after 438824 nodes, 880.74 seconds, depth 66, found by <relaxation>)
1800.04/1800.62	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.62	c   Gap              :   infinite
1800.04/1800.62	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.62	c   Root Iterations  :          0

Verifier Data 

OK	41

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2681226-1277475225/watcher-2681226-1277475225 -o /tmp/evaluation-result-2681226-1277475225/solver-2681226-1277475225 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2681226-1277475225.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: 2.23 1.20 0.48 3/105 29434
/proc/meminfo: memFree=1771160/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=5556 CPUtime=0
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 877 0 0 0 0 0 0 0 25 0 1 0 88816356 5689344 799 1992294400 4194304 7136930 140735329089600 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29434/statm: 1389 803 249 719 0 668 0

[startup+0.0751651 s]
/proc/loadavg: 2.23 1.20 0.48 3/105 29434
/proc/meminfo: memFree=1771160/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=17876 CPUtime=0.07
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 4355 0 0 0 6 1 0 0 25 0 1 0 88816356 18305024 3923 1992294400 4194304 7136930 140735329089600 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 4469 3923 304 719 0 3748 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17876

[startup+0.101168 s]
/proc/loadavg: 2.23 1.20 0.48 3/105 29434
/proc/meminfo: memFree=1771160/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=22092 CPUtime=0.09
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 5137 0 0 0 8 1 0 0 25 0 1 0 88816356 22622208 4705 1992294400 4194304 7136930 140735329089600 18446744073709551615 4659464 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 5523 4705 328 719 0 4802 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22092

[startup+0.30119 s]
/proc/loadavg: 2.23 1.20 0.48 3/105 29434
/proc/meminfo: memFree=1771160/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=38744 CPUtime=0.29
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 9544 0 0 0 26 3 0 0 25 0 1 0 88816356 39673856 8855 1992294400 4194304 7136930 140735329089600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 9686 8855 328 719 0 8965 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38744

[startup+0.701236 s]
/proc/loadavg: 2.23 1.20 0.48 3/105 29434
/proc/meminfo: memFree=1771160/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=39136 CPUtime=0.69
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 11217 0 0 0 49 20 0 0 25 0 1 0 88816356 40075264 8986 1992294400 4194304 7136930 140735329089600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 9784 8986 363 719 0 9063 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39136

[startup+1.50132 s]
/proc/loadavg: 2.23 1.20 0.48 2/106 29435
/proc/meminfo: memFree=1735688/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=40408 CPUtime=1.49
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 12337 0 0 0 118 31 0 0 25 0 1 0 88816356 41377792 9335 1992294400 4194304 7136930 140735329089600 18446744073709551615 4660948 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 10102 9335 374 719 0 9381 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40408

[startup+3.10151 s]
/proc/loadavg: 2.23 1.20 0.48 2/106 29435
/proc/meminfo: memFree=1734944/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=43528 CPUtime=3.08
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 13889 0 0 0 265 43 0 0 18 0 1 0 88816356 44572672 10116 1992294400 4194304 7136930 140735329089600 18446744073709551615 4781183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 10882 10116 397 719 0 10161 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 43528

[startup+6.30087 s]
/proc/loadavg: 2.13 1.20 0.48 2/106 29435
/proc/meminfo: memFree=1725148/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=52676 CPUtime=6.29
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 16105 0 0 0 575 54 0 0 25 0 1 0 88816356 53940224 12332 1992294400 4194304 7136930 140735329089600 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 13169 12332 397 719 0 12448 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52676

[startup+12.7006 s]
/proc/loadavg: 2.04 1.19 0.49 2/106 29435
/proc/meminfo: memFree=1710640/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=67696 CPUtime=12.68
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 19518 0 0 0 1197 71 0 0 25 0 1 0 88816356 69320704 15745 1992294400 4194304 7136930 140735329089600 18446744073709551615 4947128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 16924 15745 397 719 0 16203 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 67696

[startup+25.501 s]
/proc/loadavg: 1.81 1.18 0.49 2/106 29435
/proc/meminfo: memFree=1680508/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=100348 CPUtime=25.48
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 26790 0 0 0 2439 109 0 0 25 0 1 0 88816356 102756352 23017 1992294400 4194304 7136930 140735329089600 18446744073709551615 4780792 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 25087 23017 397 719 0 24366 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 100348

[startup+51.1009 s]
/proc/loadavg: 1.53 1.17 0.51 2/106 29435
/proc/meminfo: memFree=1627188/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=160456 CPUtime=51.07
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 40242 0 0 0 4928 179 0 0 25 0 1 0 88816356 164306944 36469 1992294400 4194304 7136930 140735329089600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 40114 36469 397 719 0 39393 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 160456

[startup+102.309 s]
/proc/loadavg: 1.23 1.14 0.53 2/106 29437
/proc/meminfo: memFree=1507528/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=300960 CPUtime=102.26
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 69819 0 0 0 9896 330 0 0 25 0 1 0 88816356 308183040 66046 1992294400 4194304 7136930 140735329089600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 75240 66046 397 719 0 74519 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 300960

[startup+162.301 s]
/proc/loadavg: 1.08 1.11 0.56 2/106 29439
/proc/meminfo: memFree=1390968/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=440128 CPUtime=162.23
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 99331 0 0 0 15741 482 0 0 25 0 1 0 88816356 450691072 95558 1992294400 4194304 7136930 140735329089600 18446744073709551615 4979372 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 110032 95558 397 719 0 109311 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 440128

[startup+222.301 s]
/proc/loadavg: 1.03 1.09 0.58 2/106 29441
/proc/meminfo: memFree=1289784/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=560644 CPUtime=222.21
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 124141 0 0 0 21604 617 0 0 25 0 1 0 88816356 574099456 120368 1992294400 4194304 7136930 140735329089600 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 140161 120368 397 719 0 139440 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 560644

[startup+282.301 s]
/proc/loadavg: 1.01 1.07 0.60 2/106 29441
/proc/meminfo: memFree=1176324/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=696668 CPUtime=282.2
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 152782 0 0 0 27439 781 0 0 25 0 1 0 88816356 713388032 149009 1992294400 4194304 7136930 140735329089600 18446744073709551615 4225857 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 174167 149009 397 719 0 173446 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 696668

[startup+342.301 s]
/proc/loadavg: 1.00 1.05 0.63 2/106 29443
/proc/meminfo: memFree=1052696/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=843472 CPUtime=342.18
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 183531 0 0 0 33269 949 0 0 25 0 1 0 88816356 863715328 179758 1992294400 4194304 7136930 140735329089600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 210868 179758 397 719 0 210147 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 843472

[startup+402.301 s]
/proc/loadavg: 1.00 1.04 0.65 2/106 29445
/proc/meminfo: memFree=929936/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=990692 CPUtime=402.16
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 214039 0 0 0 39095 1121 0 0 25 0 1 0 88816356 1014468608 210266 1992294400 4194304 7136930 140735329089600 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 247673 210266 397 719 0 246952 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 990692

[startup+462.301 s]
/proc/loadavg: 1.00 1.03 0.67 2/106 29447
/proc/meminfo: memFree=795892/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=1151252 CPUtime=462.14
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 247365 0 0 0 44930 1284 0 0 25 0 1 0 88816356 1178882048 243592 1992294400 4194304 7136930 140735329089600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 287813 243592 397 719 0 287092 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 1151252

[startup+522.301 s]
/proc/loadavg: 1.00 1.02 0.68 2/106 29449
/proc/meminfo: memFree=680076/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=1288880 CPUtime=522.12
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 276572 0 0 0 50776 1436 0 0 25 0 1 0 88816356 1319813120 272799 1992294400 4194304 7136930 140735329089600 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 322220 272799 397 719 0 321499 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 1288880

[startup+582.301 s]
/proc/loadavg: 1.00 1.02 0.70 2/106 29449
/proc/meminfo: memFree=576412/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=1401664 CPUtime=582.1
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 302124 0 0 0 56624 1586 0 0 25 0 1 0 88816356 1435303936 298351 1992294400 4194304 7136930 140735329089600 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 350416 298351 397 719 0 349695 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 1401664

[startup+642.302 s]
/proc/loadavg: 1.00 1.01 0.72 2/106 29451
/proc/meminfo: memFree=472376/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=1517908 CPUtime=642.1
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 327886 0 0 0 62479 1731 0 0 25 0 1 0 88816356 1554337792 324113 1992294400 4194304 7136930 140735329089600 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 379477 324113 397 719 0 378756 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 1517908

[startup+702.301 s]

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

/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 388802 0 0 0 103683 2512 0 0 25 0 1 0 88816356 1836662784 383942 1992294400 4194304 7136930 140735329089600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 448404 383942 397 719 0 447683 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 1793616

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.82 2/106 29468
/proc/meminfo: memFree=230204/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=1795772 CPUtime=1121.93
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 389120 0 0 0 109587 2606 0 0 25 0 1 0 88816356 1838870528 384260 1992294400 4194304 7136930 140735329089600 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 448943 384260 397 719 0 448222 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 1795772

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.82 2/106 29468
/proc/meminfo: memFree=226360/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=1801748 CPUtime=1181.92
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 390351 0 0 0 115496 2696 0 0 25 0 1 0 88816356 1844989952 385491 1992294400 4194304 7136930 140735329089600 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 450437 385491 397 719 0 449716 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 1801748

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.83 2/106 29470
/proc/meminfo: memFree=218300/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=1809184 CPUtime=1241.9
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 392190 0 0 0 121414 2776 0 0 25 0 1 0 88816356 1852604416 387330 1992294400 4194304 7136930 140735329089600 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 452296 387330 397 719 0 451575 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1809184

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.83 2/106 29472
/proc/meminfo: memFree=216688/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=1810908 CPUtime=1301.88
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 392537 0 0 0 127334 2854 0 0 25 0 1 0 88816356 1854369792 387677 1992294400 4194304 7136930 140735329089600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 452727 387677 397 719 0 452006 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1810908

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.84 2/106 29474
/proc/meminfo: memFree=216564/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=1811528 CPUtime=1361.86
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 392577 0 0 0 133248 2938 0 0 25 0 1 0 88816356 1855004672 387717 1992294400 4194304 7136930 140735329089600 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 452882 387717 397 719 0 452161 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1811528

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.85 2/106 29476
/proc/meminfo: memFree=214952/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=1813188 CPUtime=1421.85
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 392929 0 0 0 139161 3024 0 0 25 0 1 0 88816356 1856704512 388069 1992294400 4194304 7136930 140735329089600 18446744073709551615 4409064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 453297 388069 397 719 0 452576 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1813188

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.85 2/106 29476
/proc/meminfo: memFree=214580/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=1813744 CPUtime=1481.82
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 393030 0 0 0 145067 3115 0 0 25 0 1 0 88816356 1857273856 388170 1992294400 4194304 7136930 140735329089600 18446744073709551615 5908996 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 453436 388170 397 719 0 452715 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1813744

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.86 2/106 29478
/proc/meminfo: memFree=213588/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=1815924 CPUtime=1541.81
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 393257 0 0 0 150979 3202 0 0 25 0 1 0 88816356 1859506176 388397 1992294400 4194304 7136930 140735329089600 18446744073709551615 5957736 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 453981 388397 397 719 0 453260 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1815924

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.86 2/106 29480
/proc/meminfo: memFree=213092/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=1816132 CPUtime=1601.78
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 393413 0 0 0 156880 3298 0 0 25 0 1 0 88816356 1859719168 388553 1992294400 4194304 7136930 140735329089600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 454033 388553 397 719 0 453312 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1816132

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.87 2/106 29482
/proc/meminfo: memFree=212348/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=1816264 CPUtime=1661.77
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 393593 0 0 0 162789 3388 0 0 25 0 1 0 88816356 1859854336 388733 1992294400 4194304 7136930 140735329089600 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 454066 388733 397 719 0 453345 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1816264

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.88 2/106 29484
/proc/meminfo: memFree=211108/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=1817996 CPUtime=1721.74
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 393878 0 0 0 168716 3458 0 0 25 0 1 0 88816356 1861627904 389018 1992294400 4194304 7136930 140735329089600 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 454499 389018 397 719 0 453778 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1817996

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.88 2/106 29484
/proc/meminfo: memFree=206520/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=1821984 CPUtime=1781.73
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 394982 0 0 0 174654 3519 0 0 25 0 1 0 88816356 1865711616 390122 1992294400 4194304 7136930 140735329089600 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 455496 390122 397 719 0 454775 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1821984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.88 2/106 29486
/proc/meminfo: memFree=202428/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=1826016 CPUtime=1800.04
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 396001 0 0 0 176471 3533 0 0 25 0 1 0 88816356 1869840384 391141 1992294400 4194304 7136930 140735329089600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29434/statm: 456504 391141 397 719 0 455783 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1826016

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -29434

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 0.88 2/106 29486
/proc/meminfo: memFree=202428/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=1826328 CPUtime=1800.82
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 396088 0 0 0 176549 3533 0 0 25 0 1 0 88816356 1870159872 391228 1992294400 4194304 7136930 140735329089600 18446744073709551615 4212288 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29434/statm: 456582 391228 402 719 0 455861 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 1826328

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 0.88 2/107 29487
/proc/meminfo: memFree=201924/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=1825300 CPUtime=1801.62
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 396088 0 0 0 176629 3533 0 0 25 0 1 0 88816356 1869107200 390972 1992294400 4194304 7136930 140735329089600 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29434/statm: 456325 390972 402 719 0 455604 0
Current children cumulated CPU time (s) 1801.62
Current children cumulated vsize (KiB) 1825300

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 0.88 2/107 29487
/proc/meminfo: memFree=201924/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=1802480 CPUtime=1802.02
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4202496 396088 0 0 0 176669 3533 0 0 25 0 1 0 88816356 1845739520 385270 1992294400 4194304 7136930 140735329089600 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29434/statm: 450620 385270 402 719 0 449899 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 1802480

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 0.88 2/107 29487
/proc/meminfo: memFree=201924/2059040 swapFree=4140316/4192956
[pid=29434] ppid=29432 vsize=0 CPUtime=1802.13
/proc/29434/stat : 29434 (pbscip.linux.x8) R 29432 29434 29340 0 -1 4203524 396088 0 0 0 176671 3542 0 0 25 0 1 0 88816356 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/29434/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.78
CPU time (s): 1802.21
CPU user time (s): 1766.71
CPU system time (s): 35.4966
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 1826328

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

runsolver used 2.95455 second user time and 8.5417 second system time

The end

Launcher Data 

Begin job on node085 at 2010-06-25 16:13:45
IDJOB=2681226
IDBENCH=72483
IDSOLVER=1167
FILE ID=node085/2681226-1277475225
PBS_JOBID= 11190483
Free space on /tmp= 121676 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_10_errors.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2681226-1277475225/watcher-2681226-1277475225 -o /tmp/evaluation-result-2681226-1277475225/solver-2681226-1277475225 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2681226-1277475225.opb -t 1800 -m 1800

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

MD5SUM BENCH= b561a61efc46169e6f19abce33721598
RANDOM SEED=1524365682

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1771688 kB
Buffers:         31148 kB
Cached:         168056 kB
SwapCached:       5344 kB
Active:          76360 kB
Inactive:       135760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1771688 kB
SwapTotal:     4192956 kB
SwapFree:      4140316 kB
Dirty:            3280 kB
Writeback:           0 kB
AnonPages:       11532 kB
Mapped:          12012 kB
Slab:            53436 kB
PageTables:       4052 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182664 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= 121672 MiB
End job on node085 at 2010-06-25 16:43:48