Trace number 1870354

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)SAT (TO)-120 1800.29 1800.76

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_1.opb
MD5SUM6a7c5d2366cf8704587c2ca2c97e69d0
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-120
Best CPU time to get the best result obtained on this benchmark1800.29
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -111
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint10
Maximum length of a constraint22
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6318
Sum of products size (including duplicates)12636
Number of different products3159
Sum of products size6318

Quality of the solution as a function of time


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

Solver Data 

0.04/0.04	c SCIP version 1.1.0.7
0.04/0.04	c LP-Solver SoPlex 1.4.1
0.04/0.04	c user parameter file <scip.set> not found - using default parameters
0.04/0.04	c read problem <HOME/instance-1870354-1245199290.opb>
0.04/0.04	c original problem has 3659 variables (3659 bin, 0 int, 0 impl, 0 cont) and 3659 constraints
0.04/0.08	c start presolving problem
0.04/0.08	c presolving:
0.19/0.23	c (round 1) 3159 del vars, 500 del conss, 3159 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12636 impls, 0 clqs
0.30/0.40	c    (0.2s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.30/0.40	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.30/0.40	c presolving (2 rounds):
0.30/0.40	c  3159 deleted vars, 500 deleted constraints, 3159 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.30/0.40	c  18954 implications, 0 cliques
0.30/0.40	c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 3159 constraints
0.30/0.40	c    3159 constraints of type <and>
0.30/0.40	c transformed objective value is always integral (scale: 1)
0.30/0.40	c Presolving Time: 0.16
0.30/0.40	c OPT-NLC
0.30/0.40	c -----------------------------------------------------------------------------------------------
0.30/0.40	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.30/0.40	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.30/0.40	c limits/memory = c 1620
0.30/0.40	c # maximal time in seconds to run
0.30/0.40	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.30/0.40	c limits/time = c 1791
0.30/0.40	c # frequency for displaying node information lines
0.30/0.40	c # [type: int, range: [-1,2147483647], default: 100]
0.30/0.40	c display/freq = c 10000
0.30/0.40	c -----------------------------------------------------------------------------------------------
0.30/0.40	c start solving problem
0.30/0.40	c 
0.39/0.49	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.39/0.49	c   0.3s|     1 |     0 |   539 |  12M|   0 | 500 | 500 |3159 |3159 | 500 |3159 |   0 |   0 |   0 |-2.500000e+02 |      --      |    Inf 
0.39/0.49	o -81
0.39/0.49	c R 0.3s|     1 |     0 |   539 |  12M|   0 | 500 | 500 |3159 |3159 | 500 |3159 |   0 |   0 |   0 |-2.500000e+02 |-8.100000e+01 |  67.60%
0.69/0.74	c   0.5s|     1 |     0 |   770 |  12M|   0 | 487 | 500 |3159 |3159 | 500 |3173 |  14 |   0 |   0 |-2.435000e+02 |-8.100000e+01 |  66.74%
0.89/0.94	c   0.7s|     1 |     0 |   900 |  12M|   0 | 482 | 500 |3159 |3159 | 500 |3180 |  21 |   0 |   0 |-2.410000e+02 |-8.100000e+01 |  66.39%
1.09/1.18	c   0.9s|     1 |     0 |  1081 |  12M|   0 | 476 | 500 |3159 |3159 | 500 |3187 |  28 |   0 |   0 |-2.380000e+02 |-8.100000e+01 |  65.97%
1.09/1.19	o -82
1.09/1.19	c R 1.0s|     1 |     0 |  1081 |  12M|   0 | 476 | 500 |3159 |3159 | 500 |3187 |  28 |   0 |   0 |-2.380000e+02 |-8.200000e+01 |  65.55%
1.39/1.40	c   1.2s|     1 |     0 |  1234 |  12M|   0 | 472 | 500 |3159 |3159 | 500 |3195 |  36 |   0 |   0 |-2.360000e+02 |-8.200000e+01 |  65.25%
1.69/1.71	c   1.5s|     1 |     0 |  1436 |  12M|   0 | 467 | 500 |3159 |3159 | 500 |3204 |  45 |   0 |   0 |-2.335000e+02 |-8.200000e+01 |  64.88%
1.89/1.95	c   1.7s|     1 |     0 |  1583 |  12M|   0 | 464 | 500 |3159 |3159 | 500 |3210 |  51 |   0 |   0 |-2.320000e+02 |-8.200000e+01 |  64.66%
2.20/2.25	c   2.0s|     1 |     0 |  1750 |  12M|   0 | 460 | 500 |3159 |3159 | 500 |3219 |  60 |   0 |   0 |-2.300000e+02 |-8.200000e+01 |  64.35%
2.20/2.25	o -83
2.20/2.25	c R 2.0s|     1 |     0 |  1750 |  12M|   0 | 460 | 500 |3159 |3159 | 500 |3219 |  60 |   0 |   0 |-2.300000e+02 |-8.300000e+01 |  63.91%
2.49/2.55	c   2.3s|     1 |     0 |  1929 |  12M|   0 | 457 | 500 |3159 |3159 | 500 |3227 |  68 |   0 |   0 |-2.285000e+02 |-8.300000e+01 |  63.68%
2.79/2.87	c   2.6s|     1 |     0 |  2132 |  12M|   0 | 453 | 500 |3159 |3159 | 500 |3233 |  74 |   0 |   0 |-2.265000e+02 |-8.300000e+01 |  63.36%
3.09/3.18	c   2.9s|     1 |     0 |  2349 |  12M|   0 | 451 | 500 |3159 |3159 | 500 |3240 |  81 |   0 |   0 |-2.255000e+02 |-8.300000e+01 |  63.19%
3.49/3.52	c   3.2s|     1 |     0 |  2689 |  12M|   0 | 447 | 500 |3159 |3159 | 500 | 786 |  89 |   0 |   0 |-2.235000e+02 |-8.300000e+01 |  62.86%
3.59/3.64	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.59/3.64	c   3.4s|     1 |     0 |  2907 |  12M|   0 | 433 | 500 |3159 |3159 | 500 | 793 |  96 |   0 |   0 |-2.225000e+02 |-8.300000e+01 |  62.70%
3.69/3.79	c   3.5s|     1 |     0 |  3180 |  13M|   0 | 434 | 500 |3159 |3159 | 500 | 969 | 272 |   0 |   0 |-2.210000e+02 |-8.300000e+01 |  62.44%
3.99/4.03	c   3.8s|     1 |     0 |  3423 |  13M|   0 | 433 | 500 |3159 |3159 | 500 |1006 | 309 |   0 |   0 |-2.205000e+02 |-8.300000e+01 |  62.36%
4.29/4.31	c   4.0s|     1 |     0 |  3822 |  13M|   0 | 417 | 500 |3159 |3159 | 500 |1048 | 351 |   0 |   0 |-2.185000e+02 |-8.300000e+01 |  62.01%
4.39/4.48	c   4.2s|     1 |     0 |  4011 |  13M|   0 | 436 | 500 |3159 |3159 | 500 |1122 | 425 |   0 |   0 |-2.172500e+02 |-8.300000e+01 |  61.80%
4.60/4.69	c   4.4s|     1 |     0 |  4327 |  13M|   0 | 428 | 500 |3159 |3159 | 500 | 904 | 466 |   0 |   0 |-2.160000e+02 |-8.300000e+01 |  61.57%
4.99/5.02	c   4.7s|     1 |     0 |  4696 |  13M|   0 | 417 | 500 |3159 |3159 | 500 | 920 | 482 |   0 |   0 |-2.155000e+02 |-8.300000e+01 |  61.48%
5.19/5.26	c   5.0s|     1 |     0 |  4955 |  13M|   0 | 421 | 500 |3159 |3159 | 500 | 976 | 538 |   0 |   0 |-2.145000e+02 |-8.300000e+01 |  61.31%
5.49/5.53	c   5.2s|     1 |     0 |  5322 |  13M|   0 | 431 | 500 |3159 |3159 | 500 |1009 | 571 |   0 |   0 |-2.137500e+02 |-8.300000e+01 |  61.17%
5.69/5.78	c   5.5s|     1 |     0 |  5714 |  13M|   0 | 427 | 500 |3159 |3159 | 500 |1043 | 605 |   0 |   0 |-2.130000e+02 |-8.300000e+01 |  61.03%
5.89/5.96	c   5.7s|     1 |     0 |  6004 |  13M|   0 | 419 | 500 |3159 |3159 | 500 |1067 | 629 |   0 |   0 |-2.120000e+02 |-8.300000e+01 |  60.85%
6.09/6.17	c   5.8s|     1 |     0 |  6385 |  13M|   0 | 419 | 500 |3159 |3159 | 500 | 903 | 672 |   0 |   0 |-2.102500e+02 |-8.300000e+01 |  60.52%
6.29/6.31	c   6.0s|     1 |     0 |  6657 |  13M|   0 | 415 | 500 |3159 |3159 | 500 | 975 | 744 |   0 |   0 |-2.095000e+02 |-8.300000e+01 |  60.38%
6.39/6.48	c   6.2s|     1 |     0 |  6984 |  13M|   0 | 407 | 500 |3159 |3159 | 500 |1001 | 770 |   0 |   0 |-2.085000e+02 |-8.300000e+01 |  60.19%
6.59/6.63	c   6.3s|     1 |     0 |  7217 |  13M|   0 | 414 | 500 |3159 |3159 | 500 |1041 | 810 |   0 |   0 |-2.080000e+02 |-8.300000e+01 |  60.10%
6.79/6.83	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
6.79/6.83	c   6.5s|     1 |     0 |  7494 |  13M|   0 | 408 | 500 |3159 |3159 | 500 |1054 | 823 |   0 |   0 |-2.080000e+02 |-8.300000e+01 |  60.10%
6.99/7.00	c   6.7s|     1 |     0 |  7826 |  13M|   0 | 413 | 500 |3159 |3159 | 500 |1082 | 851 |   0 |   0 |-2.075000e+02 |-8.300000e+01 |  60.00%
7.09/7.20	c   6.9s|     1 |     0 |  8188 |  13M|   0 | 394 | 500 |3159 |3159 | 500 | 868 | 864 |   0 |   0 |-2.060000e+02 |-8.300000e+01 |  59.71%
7.29/7.38	c   7.0s|     1 |     0 |  8481 |  13M|   0 | 412 | 500 |3159 |3159 | 500 | 934 | 930 |   0 |   0 |-2.052500e+02 |-8.300000e+01 |  59.56%
7.60/7.61	c   7.3s|     1 |     0 |  8926 |  13M|   0 | 447 | 500 |3159 |3159 | 500 |1007 |1003 |   0 |   0 |-2.035833e+02 |-8.300000e+01 |  59.23%
7.89/7.95	c   7.6s|     1 |     0 |  9491 |  14M|   0 | 400 | 500 |3159 |3159 | 500 |1293 |1289 |   0 |   0 |-2.010000e+02 |-8.300000e+01 |  58.71%
8.19/8.21	c   7.9s|     1 |     0 | 10011 |  14M|   0 | 423 | 500 |3159 |3159 | 500 |1303 |1299 |   0 |   0 |-2.000000e+02 |-8.300000e+01 |  58.50%
8.49/8.55	c   8.2s|     1 |     0 | 10681 |  14M|   0 | 404 | 500 |3159 |3159 | 500 |1314 |1310 |   0 |   0 |-1.991667e+02 |-8.300000e+01 |  58.33%
8.70/8.80	c   8.4s|     1 |     0 | 11096 |  14M|   0 | 398 | 500 |3159 |3159 | 500 |1024 |1341 |   0 |   0 |-1.985000e+02 |-8.300000e+01 |  58.19%
8.99/9.01	c   8.7s|     1 |     0 | 11498 |  14M|   0 | 388 | 500 |3159 |3159 | 500 |1033 |1350 |   0 |   0 |-1.980000e+02 |-8.300000e+01 |  58.08%
9.19/9.24	c   8.9s|     1 |     0 | 11892 |  14M|   0 | 394 | 500 |3159 |3159 | 500 |1069 |1386 |   0 |   0 |-1.980000e+02 |-8.300000e+01 |  58.08%
9.39/9.45	c   9.1s|     1 |     0 | 12290 |  14M|   0 | 412 | 500 |3159 |3159 | 500 |1087 |1404 |   0 |   0 |-1.980000e+02 |-8.300000e+01 |  58.08%
9.69/9.73	c   9.4s|     1 |     0 | 12843 |  14M|   0 | 390 | 500 |3159 |3159 | 500 |1131 |1448 |   0 |   0 |-1.970000e+02 |-8.300000e+01 |  57.87%
9.89/9.91	c   9.6s|     1 |     0 | 13206 |  14M|   0 | 389 | 500 |3159 |3159 | 500 |1146 |1463 |   0 |   0 |-1.965000e+02 |-8.300000e+01 |  57.76%
10.09/10.18	c   9.8s|     1 |     0 | 13635 |  14M|   0 | 392 | 500 |3159 |3159 | 500 | 943 |1485 |   0 |   0 |-1.960000e+02 |-8.300000e+01 |  57.65%
10.29/10.35	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
10.29/10.35	c  10.0s|     1 |     0 | 14114 |  14M|   0 | 453 | 500 |3159 |3159 | 500 | 952 |1494 |   0 |   0 |-1.956522e+02 |-8.300000e+01 |  57.58%
10.58/10.65	c  10.3s|     1 |     0 | 14550 |  14M|   0 | 412 | 500 |3159 |3159 | 500 |1290 |1832 |   0 |   0 |-1.955000e+02 |-8.300000e+01 |  57.54%
10.99/11.00	c  10.7s|     1 |     0 | 15137 |  15M|   0 | 433 | 500 |3159 |3159 | 500 |1315 |1857 |   0 |   0 |-1.949762e+02 |-8.300000e+01 |  57.43%
11.49/11.52	c  11.2s|     1 |     0 | 16135 |  15M|   0 | 395 | 500 |3159 |3159 | 500 |1332 |1874 |   0 |   0 |-1.949286e+02 |-8.300000e+01 |  57.42%
11.89/11.90	c  11.5s|     1 |     0 | 16966 |  15M|   0 | 489 | 500 |3159 |3159 | 500 |1347 |1889 |   0 |   0 |-1.941576e+02 |-8.300000e+01 |  57.25%
12.79/12.80	c  12.4s|     1 |     0 | 17483 |  15M|   0 | 455 | 500 |3159 |3159 | 500 |1074 |1992 |   0 |   0 |-1.940000e+02 |-8.300000e+01 |  57.22%
13.19/13.24	c  12.9s|     1 |     0 | 18158 |  15M|   0 | 465 | 500 |3159 |3159 | 500 |1085 |2003 |   0 |   0 |-1.940000e+02 |-8.300000e+01 |  57.22%
13.59/13.64	c  13.3s|     1 |     0 | 18857 |  15M|   0 | 469 | 500 |3159 |3159 | 500 |1122 |2040 |   0 |   0 |-1.938971e+02 |-8.300000e+01 |  57.19%
13.78/13.88	c  13.5s|     1 |     0 | 19190 |  16M|   0 | 442 | 500 |3159 |3159 | 500 |1140 |2058 |   0 |   0 |-1.936604e+02 |-8.300000e+01 |  57.14%
14.29/14.31	c  13.9s|     1 |     0 | 19954 |  16M|   0 | 465 | 500 |3159 |3159 | 500 |1168 |2086 |   0 |   0 |-1.931579e+02 |-8.300000e+01 |  57.03%
14.58/14.66	c  14.3s|     1 |     0 | 20555 |  17M|   0 | 464 | 500 |3159 |3159 | 500 |1226 |2144 |   0 |   0 |-1.927174e+02 |-8.300000e+01 |  56.93%
14.99/15.03	c  14.6s|     1 |     0 | 21087 |  19M|   0 | 454 | 500 |3159 |3159 | 500 | 964 |2149 |   0 |   0 |-1.924200e+02 |-8.300000e+01 |  56.87%
15.29/15.34	c  14.9s|     1 |     0 | 21589 |  19M|   0 | 473 | 500 |3159 |3159 | 500 | 978 |2163 |   0 |   0 |-1.922908e+02 |-8.300000e+01 |  56.84%
15.68/15.75	c  15.3s|     1 |     0 | 22205 |  19M|   0 | 449 | 500 |3159 |3159 | 500 |1066 |2251 |   0 |   0 |-1.920000e+02 |-8.300000e+01 |  56.77%
16.19/16.26	c  15.8s|     1 |     0 | 23128 |  19M|   0 | 477 | 500 |3159 |3159 | 500 |1080 |2265 |   0 |   0 |-1.919489e+02 |-8.300000e+01 |  56.76%
16.59/16.64	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
16.59/16.64	c  16.2s|     1 |     0 | 23710 |  21M|   0 | 436 | 500 |3159 |3159 | 500 |1107 |2292 |   0 |   0 |-1.915000e+02 |-8.300000e+01 |  56.66%
16.98/17.02	c  16.6s|     1 |     0 | 24355 |  21M|   0 | 479 | 500 |3159 |3159 | 500 |1155 |2340 |   0 |   0 |-1.913333e+02 |-8.300000e+01 |  56.62%
17.89/17.95	c  17.5s|     1 |     0 | 25358 |  23M|   0 | 490 | 500 |3159 |3159 | 500 |1073 |2401 |   0 |   0 |-1.911450e+02 |-8.300000e+01 |  56.58%
18.59/18.69	c  18.3s|     1 |     0 | 26453 |  24M|   0 | 484 | 500 |3159 |3159 | 500 |1157 |2485 |   0 |   0 |-1.908752e+02 |-8.300000e+01 |  56.52%
18.99/19.08	c  18.6s|     1 |     0 | 26902 |  24M|   0 | 485 | 500 |3159 |3159 | 500 |1204 |2532 |   0 |   0 |-1.907356e+02 |-8.300000e+01 |  56.48%
19.79/19.82	c  19.4s|     1 |     0 | 28028 |  25M|   0 | 479 | 500 |3159 |3159 | 500 |1239 |2567 |   0 |   0 |-1.900000e+02 |-8.300000e+01 |  56.32%
20.48/20.59	c  20.1s|     1 |     0 | 29201 |  25M|   0 | 479 | 500 |3159 |3159 | 500 |1254 |2582 |   0 |   0 |-1.900000e+02 |-8.300000e+01 |  56.32%
21.09/21.17	c  20.7s|     1 |     0 | 29891 |  25M|   0 | 490 | 500 |3159 |3159 | 500 |1290 |2618 |   0 |   0 |-1.900000e+02 |-8.300000e+01 |  56.32%
21.89/21.94	c  21.5s|     1 |     0 | 30901 |  25M|   0 | 491 | 500 |3159 |3159 | 500 |1155 |2635 |   0 |   0 |-1.900000e+02 |-8.300000e+01 |  56.32%
22.29/22.37	c  21.9s|     1 |     0 | 31362 |  26M|   0 | 491 | 500 |3159 |3159 | 500 |1165 |2645 |   0 |   0 |-1.900000e+02 |-8.300000e+01 |  56.32%
22.78/22.87	c  22.4s|     1 |     0 | 31913 |  26M|   0 | 488 | 500 |3159 |3159 | 500 |1210 |2690 |   0 |   0 |-1.900000e+02 |-8.300000e+01 |  56.32%
32.68/32.75	c  32.2s|     1 |     2 | 31913 |  26M|   0 | 488 | 500 |3159 |3159 | 500 |1210 |2690 |   0 |  21 |-1.900000e+02 |-8.300000e+01 |  56.32%
1239.48/1239.82	o -110
1239.48/1239.82	c *1229s|  8056 |  8054 |  3567k|  43M|  59 |   - | 500 |3159 | 255 | 500 |1252 | 360k|   0 |3042 |-1.845000e+02 |-1.100000e+02 |  40.38%
1239.67/1240.02	o -111
1239.67/1240.02	c *1229s|  8101 |  8052 |  3567k|  43M|  65 |   - | 500 |3159 | 290 | 500 |1256 | 361k|   0 |3042 |-1.845000e+02 |-1.110000e+02 |  39.84%
1239.77/1240.12	o -112
1239.77/1240.12	c *1229s|  8120 |  8051 |  3567k|  43M|  65 |   - | 500 |3159 | 258 | 500 |1250 | 361k|   0 |3042 |-1.845000e+02 |-1.120000e+02 |  39.30%
1242.07/1242.49	o -113
1242.07/1242.49	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1242.07/1242.49	c *1232s|  8226 |  8064 |  3575k|  43M|  65 |   - | 500 |3159 | 286 | 500 |1245 | 361k|   0 |3042 |-1.845000e+02 |-1.130000e+02 |  38.75%
1265.56/1265.92	o -114
1265.56/1265.92	c *1255s|  9192 |  8151 |  3638k|  44M|  68 |   - | 500 |3159 | 311 | 500 |1237 | 368k|   0 |3102 |-1.845000e+02 |-1.140000e+02 |  38.21%
1284.25/1284.64	o -115
1284.25/1284.64	c *1274s|  9991 |  8222 |  3690k|  44M|  68 |   - | 500 |3159 | 342 | 500 |1243 | 374k|   0 |3143 |-1.845000e+02 |-1.150000e+02 |  37.67%
1284.25/1284.69	c  1274s| 10000 |  8223 |  3690k|  44M|  68 |   - | 500 |3159 | 378 | 500 |1234 | 374k|   0 |3143 |-1.845000e+02 |-1.150000e+02 |  37.67%
1306.15/1306.59	o -116
1306.15/1306.59	c *1295s| 10948 |  8325 |  3761k|  44M|  68 |   - | 500 |3159 | 360 | 500 |1231 | 380k|   0 |3143 |-1.845000e+02 |-1.160000e+02 |  37.13%
1370.94/1371.31	o -117
1370.94/1371.31	c *1359s| 13584 |  8580 |  3969k|  45M|  68 |   - | 500 |3159 | 401 | 500 |1250 | 402k|   0 |3180 |-1.842500e+02 |-1.170000e+02 |  36.50%
1568.08/1568.50	c  1555s| 20000 |  9938 |  4591k|  48M|  69 | 170 | 500 |3159 | 492 | 500 |1231 | 472k|   0 |3565 |-1.840000e+02 |-1.170000e+02 |  36.41%
1568.78/1569.24	o -118
1568.78/1569.24	c *1556s| 20121 |  9931 |  4593k|  48M|  69 |   - | 500 |3159 | 398 | 500 |1237 | 473k|   0 |3565 |-1.840000e+02 |-1.180000e+02 |  35.87%
1571.99/1572.47	o -119
1571.99/1572.47	c *1559s| 20315 |  9933 |  4602k|  48M|  69 |   - | 500 |3159 | 430 | 500 |1231 | 474k|   0 |3583 |-1.840000e+02 |-1.190000e+02 |  35.33%
1607.17/1607.65	o -120
1607.17/1607.65	c *1594s| 21833 | 10064 |  4715k|  48M|  69 |   - | 500 |3159 | 378 | 500 |1247 | 485k|   0 |3617 |-1.840000e+02 |-1.200000e+02 |  34.78%
1800.13/1800.63	c 
1800.13/1800.63	c SCIP Status        : solving was interrupted [user interrupt]
1800.13/1800.63	c Solving Time (sec) : 1784.79
1800.13/1800.63	c Solving Nodes      : 28164
1800.13/1800.63	c Primal Bound       : -1.20000000000000e+02 (16 solutions)
1800.13/1800.63	c Dual Bound         : -1.84000000000000e+02
1800.13/1800.63	c Gap                : 34.78 %
1800.13/1800.63	c NODE         28164
1800.13/1800.63	c DUAL BOUND   -184
1800.13/1800.63	c PRIMAL BOUND -120
1800.13/1800.63	c GAP          0.347826
1800.13/1800.63	s SATISFIABLE
1800.13/1800.63	v x500 x499 -x498 -x497 -x496 -x495 -x494 -x493 x492 -x491 x490 -x489 x488 -x487 x486 -x485 -x484 x483 -x482 -x481 -x480 -x479 -x478 
1800.13/1800.63	v x477 -x476 -x475 -x474 -x473 x472 -x471 -x470 -x469 x468 x467 -x466 -x465 x464 x463 -x462 -x461 -x460 x459 x458 -x457 x456 
1800.13/1800.63	v x455 -x454 -x453 -x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 -x444 x443 x442 -x441 -x440 -x439 x438 -x437 x436 x435 x434 
1800.13/1800.63	v -x433 -x432 -x431 -x430 x429 -x428 x427 -x426 -x425 -x424 x423 -x422 -x421 x420 -x419 -x418 x417 -x416 x415 -x414 -x413 -x412 
1800.13/1800.63	v -x411 -x410 x409 x408 -x407 -x406 -x405 -x404 x403 -x402 x401 -x400 x399 -x398 x397 -x396 -x395 -x394 -x393 -x392 x391 x390 
1800.13/1800.63	v x389 -x388 x387 -x386 -x385 x384 -x383 -x382 x381 -x380 x379 -x378 x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 -x368 
1800.13/1800.63	v -x367 -x366 x365 -x364 -x363 -x362 x361 -x360 -x359 x358 -x357 x356 x355 x354 -x353 -x352 x351 x350 -x349 x348 -x347 -x346 -x345 
1800.13/1800.63	v -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 x334 x333 -x332 x331 -x330 -x329 -x328 x327 -x326 -x325 -x324 
1800.13/1800.63	v -x323 -x322 -x321 -x320 -x319 -x318 x317 -x316 x315 -x314 x313 x312 x311 x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 x302 
1800.13/1800.63	v -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 x292 -x291 -x290 -x289 -x288 x287 x286 -x285 -x284 -x283 -x282 -x281 x280 
1800.13/1800.63	v -x279 x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 x264 x263 -x262 -x261 x260 x259 -x258 
1800.13/1800.63	v -x257 -x256 -x255 -x254 -x253 -x252 -x251 x250 -x249 -x248 -x247 -x246 -x245 x244 -x243 -x242 x241 -x240 -x239 -x238 -x237 
1800.13/1800.63	v -x236 x235 x234 x233 -x232 x231 x230 -x229 -x228 x227 x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 x218 -x217 -x216 x215 -x214 
1800.13/1800.63	v -x213 -x212 -x211 -x210 -x209 x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 
1800.13/1800.63	v -x192 x191 -x190 x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 
1800.13/1800.63	v -x171 -x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 
1800.13/1800.63	v x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 
1800.13/1800.63	v -x128 -x127 -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 x108 
1800.13/1800.63	v x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 
1800.13/1800.63	v -x83 -x82 -x81 x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 
1800.13/1800.63	v -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 
1800.13/1800.63	v x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 
1800.13/1800.63	v x5 -x4 x3 -x2 -x1 
1800.13/1800.63	c SCIP Status        : solving was interrupted [user interrupt]
1800.13/1800.63	c Solving Time       :    1784.79
1800.13/1800.63	c Original Problem   :
1800.13/1800.63	c   Problem name     : HOME/instance-1870354-1245199290.opb
1800.13/1800.63	c   Variables        : 3659 (3659 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.13/1800.63	c   Constraints      : 3659 initial, 3659 maximal
1800.13/1800.63	c Presolved Problem  :
1800.13/1800.63	c   Problem name     : t_HOME/instance-1870354-1245199290.opb
1800.13/1800.63	c   Variables        : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.13/1800.63	c   Constraints      : 3159 initial, 3159 maximal
1800.13/1800.63	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.13/1800.63	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.13/1800.63	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.13/1800.63	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.13/1800.63	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.13/1800.63	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.13/1800.63	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.13/1800.63	c   and              :       0.09          0          0          0          0          0          0          0          0
1800.13/1800.63	c   linear           :       0.02       3159          0          0       3159          0        500          0          0
1800.13/1800.63	c   root node        :          -          0          -          -          0          -          -          -          -
1800.13/1800.63	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.13/1800.63	c   integral         :          0          0          0      19978          0          4         22          0          0      39912
1800.13/1800.63	c   and              :       3159      42734      98952         11          0          0     170216     690783          0          0
1800.13/1800.63	c   countsols        :          0          0          0         11          0          0          0          0          0          0
1800.13/1800.63	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.13/1800.63	c   integral         :     205.20       0.00       0.00     205.20       0.00
1800.13/1800.63	c   and              :      65.96      53.34      12.62       0.00       0.00
1800.13/1800.63	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.13/1800.63	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.13/1800.63	c   rootredcost      :       0.09         11          0          0
1800.13/1800.63	c   pseudoobj        :       2.75      98921          0          0
1800.13/1800.63	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.13/1800.63	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.13/1800.63	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.13/1800.63	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.13/1800.63	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.13/1800.63	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.13/1800.63	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.13/1800.63	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.13/1800.63	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.13/1800.63	c   cut pool         :       0.09         66          -          -        582          -    (maximal pool size: 3678)
1800.13/1800.63	c   redcost          :       0.74      43110          0       1176          0          0
1800.13/1800.63	c   impliedbounds    :       0.05         67          0          0       3754          0
1800.13/1800.63	c   intobj           :       0.00          0          0          0          0          0
1800.13/1800.63	c   gomory           :       6.21         67          0          0      29686          0
1800.13/1800.63	c   strongcg         :       0.95         20          0          0      10000          0
1800.13/1800.63	c   cmir             :       0.20         10          0          0          0          0
1800.13/1800.63	c   flowcover        :       0.13         10          0          0          0          0
1800.13/1800.63	c   clique           :       0.23         67          0          0        450          0
1800.13/1800.63	c   zerohalf         :       0.00          0          0          0          0          0
1800.13/1800.63	c   mcf              :       0.01          1          0          0          0          0
1800.13/1800.63	c Pricers            :       Time      Calls       Vars
1800.13/1800.63	c   problem variables:       0.00          0          0
1800.13/1800.63	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.13/1800.63	c   relpscost        :     205.11      19967          4         22          0          0      39912
1800.13/1800.63	c   pscost           :       0.00          0          0          0          0          0          0
1800.13/1800.63	c   inference        :       0.00          0          0          0          0          0          0
1800.13/1800.63	c   mostinf          :       0.00          0          0          0          0          0          0
1800.13/1800.63	c   leastinf         :       0.00          0          0          0          0          0          0
1800.13/1800.63	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.13/1800.63	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.13/1800.63	c   random           :       0.00          0          0          0          0          0          0
1800.13/1800.63	c Primal Heuristics  :       Time      Calls      Found
1800.13/1800.63	c   LP solutions     :       0.00          -         11
1800.13/1800.63	c   pseudo solutions :       0.00          -          0
1800.13/1800.63	c   intshifting      :       0.01          0          0
1800.13/1800.63	c   feaspump         :       0.00          0          0
1800.13/1800.63	c   oneopt           :       0.06         12          0
1800.13/1800.63	c   crossover        :       0.35         11          0
1800.13/1800.63	c   pscostdiving     :      60.64        109          0
1800.13/1800.63	c   veclendiving     :      58.23        123          0
1800.13/1800.63	c   coefdiving       :      56.34        126          0
1800.13/1800.63	c   guideddiving     :      54.36        185          0
1800.13/1800.63	c   fracdiving       :      50.87        211          0
1800.13/1800.63	c   linesearchdiving :      48.45        246          0
1800.13/1800.63	c   simplerounding   :       0.07          0          0
1800.13/1800.63	c   rounding         :      41.85      15194          3
1800.13/1800.63	c   shifting         :       4.04       1352          2
1800.13/1800.63	c   fixandinfer      :       0.00          0          0
1800.13/1800.63	c   intdiving        :       0.00          0          0
1800.13/1800.63	c   actconsdiving    :       0.00          0          0
1800.13/1800.63	c   objpscostdiving  :      25.50         18          0
1800.13/1800.63	c   rootsoldiving    :      16.62         73          0
1800.13/1800.63	c   octane           :       0.00          0          0
1800.13/1800.63	c   rens             :       0.01          0          0
1800.13/1800.63	c   rins             :       0.00          0          0
1800.13/1800.63	c   localbranching   :       0.00          0          0
1800.13/1800.63	c   mutation         :       0.00          0          0
1800.13/1800.63	c   dins             :       0.00          0          0
1800.13/1800.63	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.13/1800.63	c   primal LP        :      15.12          0          0       0.00       0.00
1800.13/1800.63	c   dual LP          :    1031.37      50923    3976735      78.09    3855.78
1800.13/1800.63	c   barrier LP       :       0.00          0          0       0.00          -
1800.13/1800.63	c   diving/probing LP:     341.53      44181    1389191      31.44    4067.55
1800.13/1800.63	c   strong branching :     201.92       3886     737757     189.85    3653.71
1800.13/1800.63	c     (at root node) :          -         21      20544     978.29          -
1800.13/1800.63	c   conflict analysis:       0.00          0          0       0.00          -
1800.13/1800.63	c B&B Tree           :
1800.13/1800.63	c   number of runs   :          1
1800.13/1800.63	c   nodes            :      28164
1800.13/1800.63	c   nodes (total)    :      28164
1800.13/1800.63	c   nodes left       :      11701
1800.13/1800.63	c   max depth        :         69
1800.13/1800.63	c   max depth (total):         69
1800.13/1800.63	c   backtracks       :       4661 (16.5%)
1800.13/1800.63	c   delayed cutoffs  :          0
1800.13/1800.63	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.13/1800.63	c   avg switch length:       5.24
1800.13/1800.63	c   switching time   :      22.42
1800.13/1800.63	c Solution           :
1800.13/1800.63	c   Solutions found  :         16 (14 improvements)
1800.13/1800.63	c   Primal Bound     : -1.20000000000000e+02   (in run 1, after 21833 nodes, 1593.66 seconds, depth 61, found by <relaxation>)
1800.13/1800.63	c   Dual Bound       : -1.84000000000000e+02
1800.13/1800.63	c   Gap              :      34.78 %
1800.13/1800.63	c   Root Dual Bound  : -1.90000000000000e+02
1800.23/1800.76	c Time complete: 1800.28.

Verifier Data 

OK	-120

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870354-1245199290/watcher-1870354-1245199290 -o /tmp/evaluation-result-1870354-1245199290/solver-1870354-1245199290 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870354-1245199290.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: 1.00 1.00 1.00 3/64 10697
/proc/meminfo: memFree=1817804/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=6100 CPUtime=0
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 540 0 0 0 0 0 0 0 20 0 1 0 187526923 6246400 522 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/10697/statm: 1525 532 326 886 0 635 0

[startup+0.0446121 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10697
/proc/meminfo: memFree=1817804/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=13496 CPUtime=0.04
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 2702 0 0 0 3 1 0 0 20 0 1 0 187526923 13819904 2684 1992294400 4194304 7823515 548682068736 18446744073709551615 6850242 0 0 4096 0 0 0 0 17 1 0 0
/proc/10697/statm: 3374 2684 354 886 0 2484 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13496

[startup+0.102616 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10697
/proc/meminfo: memFree=1817804/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=24472 CPUtime=0.1
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 5506 0 0 0 8 2 0 0 20 0 1 0 187526923 25059328 5134 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 6118 5134 404 886 0 5228 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 24472

[startup+0.302638 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10697
/proc/meminfo: memFree=1817804/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=24472 CPUtime=0.3
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 5534 0 0 0 16 14 0 0 22 0 1 0 187526923 25059328 5162 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 6118 5162 425 886 0 5228 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 24472

[startup+0.702679 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10697
/proc/meminfo: memFree=1817804/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=33484 CPUtime=0.69
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 7993 0 0 0 50 19 0 0 25 0 1 0 187526923 34287616 7534 1992294400 4194304 7823515 548682068736 18446744073709551615 6213451 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 8371 7534 543 886 0 7481 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33484

[startup+1.50176 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10698
/proc/meminfo: memFree=1788484/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=36568 CPUtime=1.49
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 8775 0 0 0 129 20 0 0 25 0 1 0 187526923 37445632 8316 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 9142 8316 543 886 0 8252 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36568

[startup+3.10193 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10698
/proc/meminfo: memFree=1783620/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=40268 CPUtime=3.09
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 9728 0 0 0 286 23 0 0 25 0 1 0 187526923 41234432 9269 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 10067 9269 545 886 0 9177 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40268

[startup+6.30126 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10698
/proc/meminfo: memFree=1771652/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=50956 CPUtime=6.29
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 12547 0 0 0 601 28 0 0 25 0 1 0 187526923 52178944 12034 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 12739 12034 546 886 0 11849 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50956

[startup+12.7019 s]
/proc/loadavg: 1.16 1.03 1.01 2/65 10698
/proc/meminfo: memFree=1767620/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=54924 CPUtime=12.69
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 13435 0 0 0 1236 33 0 0 25 0 1 0 187526923 56242176 12900 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 13731 12900 546 886 0 12841 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54924

[startup+25.5012 s]
/proc/loadavg: 1.57 1.13 1.04 2/65 10698
/proc/meminfo: memFree=1748804/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=73504 CPUtime=25.48
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 18208 0 0 0 2505 43 0 0 25 0 1 0 187526923 75268096 17612 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 18376 17612 554 886 0 17486 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 73504

[startup+51.1019 s]
/proc/loadavg: 1.61 1.18 1.06 2/65 10698
/proc/meminfo: memFree=1749124/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=73504 CPUtime=51.08
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 18247 0 0 0 5048 60 0 0 25 0 1 0 187526923 75268096 17612 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 18376 17612 554 886 0 17486 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 73504

[startup+102.301 s]
/proc/loadavg: 1.26 1.15 1.06 2/65 10698
/proc/meminfo: memFree=1749124/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=73504 CPUtime=102.27
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 18249 0 0 0 10126 101 0 0 25 0 1 0 187526923 75268096 17614 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 18376 17614 555 886 0 17486 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 73504

[startup+162.301 s]
/proc/loadavg: 1.10 1.12 1.05 2/65 10698
/proc/meminfo: memFree=1749572/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=72616 CPUtime=162.25
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 19585 0 0 0 16071 154 0 0 25 0 1 0 187526923 74358784 17475 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 18154 17475 566 886 0 17264 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 72616

[startup+222.306 s]
/proc/loadavg: 1.03 1.10 1.04 2/65 10698
/proc/meminfo: memFree=1749572/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=72616 CPUtime=222.23
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 21210 0 0 0 22017 206 0 0 25 0 1 0 187526923 74358784 17478 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 18154 17478 566 886 0 17264 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 72616

[startup+282.302 s]
/proc/loadavg: 1.01 1.08 1.04 2/65 10698
/proc/meminfo: memFree=1749380/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=73176 CPUtime=282.22
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 21305 0 0 0 27967 255 0 0 25 0 1 0 187526923 74932224 17573 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 18294 17573 566 886 0 17404 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 73176

[startup+342.303 s]
/proc/loadavg: 1.00 1.06 1.03 2/65 10698
/proc/meminfo: memFree=1748676/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=73820 CPUtime=342.21
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 23313 0 0 0 33913 308 0 0 25 0 1 0 187526923 75591680 17744 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 18455 17744 566 886 0 17565 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 73820

[startup+402.301 s]
/proc/loadavg: 1.00 1.05 1.03 2/65 10698
/proc/meminfo: memFree=1746308/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=76208 CPUtime=402.19
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 23910 0 0 0 39857 362 0 0 25 0 1 0 187526923 78036992 18341 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 19052 18341 566 886 0 18162 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 76208

[startup+462.302 s]
/proc/loadavg: 1.00 1.04 1.02 2/65 10698
/proc/meminfo: memFree=1745988/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=76320 CPUtime=462.17
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 25871 0 0 0 45804 413 0 0 25 0 1 0 187526923 78151680 18408 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 19080 18408 566 886 0 18190 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 76320

[startup+522.302 s]
/proc/loadavg: 1.00 1.03 1.01 2/65 10698
/proc/meminfo: memFree=1745604/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=76788 CPUtime=522.16
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 25964 0 0 0 51750 466 0 0 25 0 1 0 187526923 78630912 18501 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 19197 18501 566 886 0 18307 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 76788

[startup+582.303 s]
/proc/loadavg: 1.00 1.02 1.01 2/65 10698
/proc/meminfo: memFree=1745156/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=77120 CPUtime=582.14
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 26074 0 0 0 57698 516 0 0 25 0 1 0 187526923 78970880 18611 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 19280 18611 566 886 0 18390 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 77120

[startup+642.303 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 10698
/proc/meminfo: memFree=1744644/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=77696 CPUtime=642.13
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 26194 0 0 0 63651 562 0 0 25 0 1 0 187526923 79560704 18731 1992294400 4194304 7823515 548682068736 18446744073709551615 6205316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 19424 18731 566 886 0 18534 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 77696

[startup+702.302 s]

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

[startup+882.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10698
/proc/meminfo: memFree=1741380/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=80972 CPUtime=882.07
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 26964 0 0 0 87461 746 0 0 25 0 1 0 187526923 82915328 19501 1992294400 4194304 7823515 548682068736 18446744073709551615 6209523 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 20243 19501 566 886 0 19353 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 80972

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10698
/proc/meminfo: memFree=1740676/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=81448 CPUtime=942.05
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 27132 0 0 0 93410 795 0 0 25 0 1 0 187526923 83402752 19669 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 20362 19669 566 886 0 19472 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 81448

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10698
/proc/meminfo: memFree=1737348/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=84584 CPUtime=1002.03
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 29018 0 0 0 99358 845 0 0 25 0 1 0 187526923 86614016 20460 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 21146 20460 566 886 0 20256 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 84584

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10698
/proc/meminfo: memFree=1737348/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=84584 CPUtime=1062.02
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 29019 0 0 0 105310 892 0 0 25 0 1 0 187526923 86614016 20461 1992294400 4194304 7823515 548682068736 18446744073709551615 6099727 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 21146 20461 566 886 0 20256 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 84584

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10698
/proc/meminfo: memFree=1737348/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=84584 CPUtime=1122.01
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 29022 0 0 0 111258 943 0 0 25 0 1 0 187526923 86614016 20464 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 21146 20464 566 886 0 20256 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 84584

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10704
/proc/meminfo: memFree=1737212/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=84584 CPUtime=1181.98
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 29023 0 0 0 117208 990 0 0 25 0 1 0 187526923 86614016 20465 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 21146 20465 566 886 0 20256 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 84584

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10704
/proc/meminfo: memFree=1737148/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=84584 CPUtime=1241.97
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 29025 0 0 0 123162 1035 0 0 25 0 1 0 187526923 86614016 20467 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 21146 20467 566 886 0 20256 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 84584

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10704
/proc/meminfo: memFree=1737788/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=84140 CPUtime=1301.95
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 30790 0 0 0 129110 1085 0 0 25 0 1 0 187526923 86159360 20349 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 21035 20349 569 886 0 20145 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 84140

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10704
/proc/meminfo: memFree=1737788/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=84084 CPUtime=1361.93
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 32682 0 0 0 135056 1137 0 0 25 0 1 0 187526923 86102016 20346 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 21021 20346 569 886 0 20131 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 84084

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10705
/proc/meminfo: memFree=1734396/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=87432 CPUtime=1421.92
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 35438 0 0 0 141004 1188 0 0 25 0 1 0 187526923 89530368 21185 1992294400 4194304 7823515 548682068736 18446744073709551615 6212404 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 21858 21185 569 886 0 20968 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 87432

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10705
/proc/meminfo: memFree=1734404/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=87432 CPUtime=1481.91
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 35440 0 0 0 146949 1242 0 0 25 0 1 0 187526923 89530368 21187 1992294400 4194304 7823515 548682068736 18446744073709551615 4898467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 21858 21187 569 886 0 20968 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 87432

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10705
/proc/meminfo: memFree=1731524/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=90256 CPUtime=1541.9
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 36161 0 0 0 152892 1298 0 0 25 0 1 0 187526923 92422144 21908 1992294400 4194304 7823515 548682068736 18446744073709551615 5394022 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 22564 21908 569 886 0 21674 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 90256

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10705
/proc/meminfo: memFree=1730820/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=90964 CPUtime=1601.87
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 36327 0 0 0 158839 1348 0 0 25 0 1 0 187526923 93147136 22074 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 22741 22074 569 886 0 21851 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 90964

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10705
/proc/meminfo: memFree=1729604/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=92064 CPUtime=1661.86
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 38455 0 0 0 164784 1402 0 0 25 0 1 0 187526923 94273536 22380 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 23016 22380 569 886 0 22126 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 92064

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10705
/proc/meminfo: memFree=1728772/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=93008 CPUtime=1721.84
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 42311 0 0 0 170726 1458 0 0 25 0 1 0 187526923 95240192 22582 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 23252 22582 569 886 0 22362 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 93008

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10705
/proc/meminfo: memFree=1727300/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=94404 CPUtime=1781.83
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 42660 0 0 0 176668 1515 0 0 25 0 1 0 187526923 96669696 22931 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 23601 22931 569 886 0 22711 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 94404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10705
/proc/meminfo: memFree=1724676/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=96968 CPUtime=1800.03
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 43311 0 0 0 178470 1533 0 0 25 0 1 0 187526923 99295232 23582 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10697/statm: 24242 23582 569 886 0 23352 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 96968

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

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

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10706
/proc/meminfo: memFree=1724604/2055920 swapFree=4178716/4192956
[pid=10697] ppid=10695 vsize=96968 CPUtime=1800.23
/proc/10697/stat : 10697 (pbscip.linux.x8) R 10695 10697 10598 0 -1 4194304 43313 0 0 0 178490 1533 0 0 17 0 1 0 187526923 99295232 23584 1992294400 4194304 7823515 548682068736 18446744073709551615 4212027 0 0 4096 0 0 0 0 17 1 0 0
/proc/10697/statm: 24242 23584 571 886 0 23352 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 96968

Child status: 0
Real time (s): 1800.76
CPU time (s): 1800.29
CPU user time (s): 1784.94
CPU system time (s): 15.3507
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 96968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.94
system time used= 15.3507
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43316
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= 4
involuntary context switches= 2260

runsolver used 1.47078 second user time and 3.97539 second system time

The end

Launcher Data 

Begin job on node90 at 2009-06-17 02:41:30
IDJOB=1870354
IDBENCH=48176
IDSOLVER=683
FILE ID=node90/1870354-1245199290
PBS_JOBID= 9368341
Free space on /tmp= 66528 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_1.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-1870354-1245199290/watcher-1870354-1245199290 -o /tmp/evaluation-result-1870354-1245199290/solver-1870354-1245199290 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870354-1245199290.opb

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

MD5SUM BENCH= 6a7c5d2366cf8704587c2ca2c97e69d0
RANDOM SEED=49176892

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1818220 kB
Buffers:         37140 kB
Cached:         135924 kB
SwapCached:       8428 kB
Active:          78964 kB
Inactive:       104696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1818220 kB
SwapTotal:     4192956 kB
SwapFree:      4178716 kB
Dirty:            9920 kB
Writeback:           0 kB
Mapped:          16208 kB
Slab:            40020 kB
Committed_AS:   121604 kB
PageTables:       1436 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= 66520 MiB
End job on node90 at 2009-06-17 03:11:33