Trace number 2692947

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 NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1800.3 1800.27

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo
MD5SUM96d1f19cba40c7363abd0128bfda9b7c
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark185.626
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 137973
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137972
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 649
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2692947-1277925458.wbo>
0.00/0.03	c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.09/0.13	o 137972
0.09/0.13	c feasible solution found by trivial heuristic, objective value  1.379720e+05
0.09/0.13	c presolving:
0.09/0.14	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.15	c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.19	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19	c presolving (3 rounds):
0.09/0.19	c  0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19	c  2707 implications, 0 cliques
0.09/0.19	c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.19	c    2707 constraints of type <indicator>
0.09/0.19	c    2707 constraints of type <linear>
0.09/0.19	c transformed objective value is always integral (scale: 1)
0.09/0.19	c Presolving Time: 0.13
0.09/0.19	c - non default parameters ----------------------------------------------------------------------
0.09/0.19	c # SCIP version 1.2.1.2
0.09/0.19	c 
0.09/0.19	c # frequency for displaying node information lines
0.09/0.19	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19	c display/freq = 10000
0.09/0.19	c 
0.09/0.19	c # maximal time in seconds to run
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/time = 1799.97
0.09/0.19	c 
0.09/0.19	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/memory = 3420
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify inequalities
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/linear/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify knapsacks
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19	c separating/rapidlearning/freq = 0
0.09/0.19	c 
0.09/0.19	c -----------------------------------------------------------------------------------------------
0.09/0.19	c start solving
0.09/0.19	c 
0.19/0.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.21	c t 0.2s|     1 |     0 |     0 |     - |  19M|   0 |   0 |5645 |5414 |5645 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.379720e+05 |    Inf 
0.19/0.21	c   0.2s|     1 |     0 |    20 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.379720e+05 |    Inf 
0.19/0.21	c   0.2s|     1 |     0 |    42 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.379720e+05 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |    62 |     - |  19M|   0 |  14 |5645 |5414 |5645 |  85 |  85 |   0 |   0 | 0.000000e+00 | 1.379720e+05 |    Inf 
0.19/0.24	c   0.2s|     1 |     0 |    88 |     - |  19M|   0 |  33 |5645 |5414 |5645 | 123 | 123 |   0 |   0 | 0.000000e+00 | 1.379720e+05 |    Inf 
0.19/0.26	c   0.2s|     1 |     0 |   110 |     - |  19M|   0 |  43 |5645 |5414 |5645 | 145 | 145 |   0 |   0 | 0.000000e+00 | 1.379720e+05 |    Inf 
0.19/0.29	c   0.2s|     1 |     0 |   183 |     - |  19M|   0 |  50 |5645 |5414 |5645 | 164 | 164 |   0 |   0 | 0.000000e+00 | 1.379720e+05 |    Inf 
0.39/0.42	c   0.4s|     1 |     2 |   276 |     - |  19M|   0 |  50 |5645 |5414 |5645 | 164 | 164 |   0 |  33 | 0.000000e+00 | 1.379720e+05 |    Inf 
4.69/4.71	o 677
4.69/4.71	c * 4.5s|  2639 |  2638 |  1456 |   0.5 |  27M|2499 |   - |5645 |5414 |5645 | 224 | 461 |   0 | 519 | 0.000000e+00 | 6.770000e+02 |    Inf 
16.39/16.44	c  16.1s| 10000 |  9997 |  4660 |   0.4 |  45M|2499 |   0 |5645 |5424 |5645 | 214 |1421 |  10 | 871 | 0.000000e+00 | 6.770000e+02 |    Inf 
30.69/30.80	o 647
30.69/30.80	c *30.4s| 19117 | 18943 |  7461 |   0.4 |  65M|2499 |   - |5645 |5530 |5645 | 237 |2287 | 116 | 948 | 0.000000e+00 | 6.470000e+02 |    Inf 
30.79/30.81	o 619
30.79/30.81	c *30.4s| 19118 | 18727 |  7461 |   0.4 |  65M|2499 |   - |5645 |5530 |5645 | 237 |2287 | 116 | 948 | 0.000000e+00 | 6.190000e+02 |    Inf 
31.69/31.76	o 606
31.69/31.76	c *31.3s| 19655 | 19091 |  7678 |   0.4 |  66M|2499 |   - |5645 |5530 |5645 | 210 |2352 | 116 | 948 | 0.000000e+00 | 6.060000e+02 |    Inf 
32.39/32.41	c  31.9s| 20000 | 19423 |  7924 |   0.4 |  67M|2499 |   0 |5645 |5577 |5645 | 262 |2408 | 163 | 954 | 0.000000e+00 | 6.060000e+02 |    Inf 
34.69/34.75	o 533
34.69/34.75	c *34.2s| 21456 | 19798 |  8420 |   0.4 |  67M|2499 |   - |5645 |5577 |5645 | 256 |2515 | 163 | 954 | 0.000000e+00 | 5.330000e+02 |    Inf 
42.89/42.90	o 441
42.89/42.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
42.89/42.90	c *42.3s| 26477 | 21765 |  9714 |   0.4 |  72M|2499 |   - |5645 |5607 |5645 | 265 |2886 | 193 | 955 | 0.000000e+00 | 4.410000e+02 |    Inf 
43.49/43.59	o 416
43.49/43.59	c *43.0s| 26842 | 21162 |  9812 |   0.4 |  71M|2499 |   - |5645 |5675 |5645 | 257 |2927 | 261 | 955 | 0.000000e+00 | 4.160000e+02 |    Inf 
43.59/43.61	o 378
43.59/43.61	c *43.0s| 26843 | 19272 |  9814 |   0.4 |  67M|2499 |   - |5645 |5675 |5645 | 257 |2927 | 261 | 955 | 0.000000e+00 | 3.780000e+02 |    Inf 
43.59/43.67	o 349
43.59/43.67	c *43.1s| 26868 | 17870 |  9830 |   0.4 |  65M|2499 |   - |5645 |5675 |5645 | 253 |2927 | 261 | 955 | 0.000000e+00 | 3.490000e+02 |    Inf 
43.59/43.69	o 342
43.59/43.69	c *43.1s| 26869 | 17595 |  9832 |   0.4 |  64M|2499 |   - |5645 |5675 |5645 | 253 |2927 | 261 | 955 | 0.000000e+00 | 3.420000e+02 |    Inf 
43.99/44.07	o 340
43.99/44.07	c *43.5s| 27016 | 17638 | 10006 |   0.4 |  64M|2499 |   - |5645 |5780 |5645 | 258 |2960 | 366 | 957 | 0.000000e+00 | 3.400000e+02 |    Inf 
44.79/44.84	o 330
44.79/44.84	c *44.2s| 27370 | 17462 | 10433 |   0.4 |  64M|2499 |   - |5645 |5897 |5645 | 282 |3072 | 483 | 957 | 0.000000e+00 | 3.300000e+02 |    Inf 
45.29/45.38	o 281
45.29/45.38	c *44.8s| 27633 | 15499 | 10724 |   0.4 |  60M|2499 |   - |5645 |5953 |5645 | 259 |3138 | 539 | 966 | 0.000000e+00 | 2.810000e+02 |    Inf 
48.58/48.65	o 277
48.58/48.65	c *48.0s| 28743 | 16135 | 12674 |   0.4 |  65M|2499 |   - |5645 |6934 |5645 | 213 |3637 |1520 |1032 | 0.000000e+00 | 2.770000e+02 |    Inf 
48.58/48.65	o 268
48.58/48.65	c *48.0s| 28744 | 15803 | 12674 |   0.4 |  64M|2499 |   - |5645 |6934 |5645 | 213 |3637 |1520 |1032 | 0.000000e+00 | 2.680000e+02 |    Inf 
50.19/50.23	o 256
50.19/50.23	c *49.5s| 29352 | 15430 | 13491 |   0.5 |  65M|2499 |   - |5645 |7374 |5645 | 211 |3902 |1960 |1052 | 0.000000e+00 | 2.560000e+02 |    Inf 
51.89/51.90	c  51.2s| 30000 | 15948 | 14327 |   0.5 |  67M|2499 |   0 |5645 |7888 |5645 | 219 |4152 |2475 |1059 | 0.000000e+00 | 2.560000e+02 |    Inf 
51.89/51.92	o 242
51.89/51.92	c *51.2s| 30008 | 14480 | 14327 |   0.5 |  64M|2499 |   - |5645 |7888 |5645 | 219 |4152 |2475 |1059 | 0.000000e+00 | 2.420000e+02 |    Inf 
51.99/52.03	o 224
51.99/52.03	c *51.3s| 30047 | 12708 | 14397 |   0.5 |  60M|2499 |   - |5645 |7911 |5645 | 221 |4169 |2498 |1059 | 0.000000e+00 | 2.240000e+02 |    Inf 
53.79/53.81	o 222
53.79/53.81	c *53.1s| 30695 | 12991 | 15273 |   0.5 |  62M|2499 |   - |5645 |8380 |5645 | 239 |4428 |2972 |1065 | 0.000000e+00 | 2.220000e+02 |    Inf 
53.79/53.81	o 213
53.79/53.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
53.79/53.81	c *53.1s| 30696 | 11935 | 15273 |   0.5 |  60M|2499 |   - |5645 |8380 |5645 | 239 |4428 |2972 |1065 | 0.000000e+00 | 2.130000e+02 |    Inf 
53.99/54.00	o 203
53.99/54.00	c *53.3s| 30750 | 10656 | 15357 |   0.5 |  57M|2499 |   - |5645 |8449 |5645 | 215 |4445 |3041 |1065 | 0.000000e+00 | 2.030000e+02 |    Inf 
60.29/60.33	o 198
60.29/60.33	c *59.5s| 32535 | 11233 | 21051 |   0.6 |  63M|2499 |   - |5645 |9695 |5645 | 249 |6266 |4794 |1188 | 0.000000e+00 | 1.980000e+02 |    Inf 
60.50/60.56	o 197
60.50/60.56	c *59.7s| 32610 | 11185 | 21223 |   0.6 |  63M|2499 |   - |5645 |9740 |5645 | 262 |6302 |4860 |1189 | 0.000000e+00 | 1.970000e+02 |    Inf 
63.89/63.92	o 187
63.89/63.92	c *63.0s| 33478 | 10728 | 24468 |   0.7 |  64M|2499 |   - |5645 |9732 |5645 | 245 |7306 |5553 |1268 | 0.000000e+00 | 1.870000e+02 |    Inf 
63.89/63.93	o 180
63.89/63.93	c *63.0s| 33479 | 10068 | 24468 |   0.7 |  63M|2499 |   - |5645 |9732 |5645 | 245 |7306 |5553 |1268 | 0.000000e+00 | 1.800000e+02 |    Inf 
64.49/64.57	o 179
64.49/64.57	c *63.7s| 33647 | 10100 | 25138 |   0.7 |  63M|2499 |   - |5645 |9581 |5645 | 243 |7554 |5665 |1283 | 0.000000e+00 | 1.790000e+02 |    Inf 
64.90/64.96	o 170
64.90/64.96	c *64.0s| 33718 |  9346 | 25824 |   0.8 |  62M|2499 |   - |5645 |9505 |5645 | 268 |7693 |5736 |1319 | 0.000000e+00 | 1.700000e+02 |    Inf 
64.90/64.97	o 163
64.90/64.97	c *64.1s| 33719 |  8819 | 25826 |   0.8 |  60M|2499 |   - |5645 |9504 |5645 | 268 |7693 |5736 |1319 | 0.000000e+00 | 1.630000e+02 |    Inf 
66.08/66.18	o 155
66.08/66.18	c *65.2s| 33915 |  8459 | 27757 |   0.8 |  59M|2499 |   - |5645 |9056 |5645 | 278 |8371 |5916 |1402 | 0.000000e+00 | 1.550000e+02 |    Inf 
66.29/66.38	o 149
66.29/66.38	c *65.4s| 33959 |  8180 | 28229 |   0.8 |  58M|2499 |   - |5645 |9001 |5645 | 255 |8531 |5960 |1408 | 0.000000e+00 | 1.490000e+02 |    Inf 
66.38/66.45	o 146
66.38/66.45	c *65.5s| 33966 |  7995 | 28454 |   0.8 |  58M|2499 |   - |5645 |8989 |5645 | 235 |8589 |5960 |1409 | 0.000000e+00 | 1.460000e+02 |    Inf 
70.48/70.57	o 144
70.48/70.57	c *69.6s| 35035 |  8578 | 33202 |   0.9 |  62M|2499 |   - |5645 |8186 |5645 | 251 |  10k|6810 |1463 | 0.000000e+00 | 1.440000e+02 |    Inf 
70.59/70.62	o 141
70.59/70.62	c *69.6s| 35049 |  8429 | 33250 |   0.9 |  61M|2499 |   - |5645 |8197 |5645 | 263 |  10k|6824 |1463 | 0.000000e+00 | 1.410000e+02 |    Inf 
70.89/70.99	o 140
70.89/70.99	c *70.0s| 35121 |  8404 | 34016 |   1.0 |  61M|2499 |   - |5645 |8132 |5645 | 260 |  10k|6889 |1472 | 0.000000e+00 | 1.400000e+02 |    Inf 
72.50/72.54	o 129
72.50/72.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
72.50/72.54	c *71.5s| 35633 |  8062 | 35444 |   1.0 |  60M|2499 |   - |5645 |8257 |5645 | 277 |  10k|7226 |1475 | 0.000000e+00 | 1.290000e+02 |    Inf 
85.89/85.99	o 126
85.89/85.99	c *84.7s| 39163 |  9815 | 54068 |   1.4 |  77M|2499 |   - |5645 |6590 |5645 | 220 |  15k|  10k|1642 | 0.000000e+00 | 1.260000e+02 |    Inf 
86.79/86.89	o 104
86.79/86.89	c *85.6s| 39385 |  8550 | 55696 |   1.4 |  69M|2499 |   - |5645 |6552 |5645 | 275 |  16k|  10k|1646 | 0.000000e+00 | 1.040000e+02 |    Inf 
87.08/87.11	o 95
87.08/87.11	c *85.8s| 39435 |  7749 | 55841 |   1.4 |  65M|2499 |   - |5645 |6517 |5645 | 228 |  16k|  10k|1648 | 0.000000e+00 | 9.500000e+01 |    Inf 
87.08/87.12	o 86
87.08/87.12	c *85.8s| 39436 |  6955 | 55841 |   1.4 |  61M|2499 |   - |5645 |6517 |5645 | 228 |  16k|  10k|1648 | 0.000000e+00 | 8.600000e+01 |    Inf 
88.68/88.77	o 67
88.68/88.77	c *87.5s| 39858 |  5028 | 57290 |   1.4 |  51M|2499 |   - |5645 |6088 |5645 | 195 |  16k|  10k|1650 | 0.000000e+00 | 6.700000e+01 |    Inf 
89.29/89.33	c  88.0s| 40000 |  5093 | 58002 |   1.4 |  51M|2499 |   0 |5645 |5597 |5645 | 234 |  16k|  10k|1651 | 0.000000e+00 | 6.700000e+01 |    Inf 
126.99/127.09	c   125s| 50000 |  6901 |116905 |   2.3 |  78M|2499 |   0 |5645 |6583 |5645 | 237 |  34k|  21k|1999 | 0.000000e+00 | 6.700000e+01 |    Inf 
162.89/162.91	c   160s| 60000 |  9129 |165858 |   2.8 | 105M|2499 |   - |5645 |7037 |   0 |   0 |  49k|  32k|2352 | 0.000000e+00 | 6.700000e+01 |    Inf 
198.29/198.32	c   195s| 70000 | 11272 |210771 |   3.0 | 130M|2499 |   1 |5645 |7297 |5645 | 174 |  62k|  43k|2656 | 0.000000e+00 | 6.700000e+01 |    Inf 
228.29/228.32	o 60
228.29/228.32	c * 225s| 78427 | 12533 |246399 |   3.1 | 149M|2499 |   - |5645 |7736 |5645 | 244 |  73k|  52k|2888 | 0.000000e+00 | 6.000000e+01 |    Inf 
234.30/234.35	c   231s| 80000 | 12771 |253310 |   3.2 | 152M|2499 |   - |5645 |6545 |   0 |   0 |  75k|  54k|2904 | 0.000000e+00 | 6.000000e+01 |    Inf 
245.30/245.38	o 58
245.30/245.38	c * 242s| 82992 | 12911 |265231 |   3.2 | 155M|2499 |   - |5645 |6711 |5645 | 231 |  78k|  57k|2982 | 0.000000e+00 | 5.800000e+01 |    Inf 
262.59/262.66	o 54
262.59/262.66	c * 259s| 88020 | 12976 |287163 |   3.3 | 155M|2499 |   - |5645 |6774 |5645 | 240 |  84k|  63k|3119 | 0.000000e+00 | 5.400000e+01 |    Inf 
263.80/263.84	o 51
263.80/263.84	c * 260s| 88376 | 12725 |288355 |   3.3 | 154M|2499 |   - |5645 |6640 |5645 | 278 |  84k|  63k|3136 | 0.000000e+00 | 5.100000e+01 |    Inf 
269.20/269.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
269.20/269.20	c   265s| 90000 | 12802 |294893 |   3.3 | 156M|2499 |   1 |5645 |5757 |5645 | 223 |  86k|  65k|3175 | 0.000000e+00 | 5.100000e+01 |    Inf 
284.19/284.21	o 26
284.19/284.21	c * 280s| 94814 |  9707 |317100 |   3.3 | 118M|2499 |   - |5645 |6414 |5645 | 259 |  93k|  71k|3266 | 0.000000e+00 | 2.600000e+01 |    Inf 
284.49/284.56	o 18
284.49/284.56	c * 280s| 94947 |  8971 |317632 |   3.3 | 106M|2499 |   - |5645 |5631 |5645 | 256 |  93k|  71k|3266 | 0.000000e+00 | 1.800000e+01 |    Inf 
295.19/295.22	c   291s|100000 |  8511 |337626 |   3.4 | 106M|2499 |   4 |5645 |5743 |5645 | 231 |  97k|  78k|3408 | 0.000000e+00 | 1.800000e+01 |    Inf 
305.50/305.51	o 11
305.50/305.51	c * 301s|105191 |  7302 |356240 |   3.4 |  95M|2499 |   - |5645 |7654 |5645 | 253 | 100k|  85k|3500 | 0.000000e+00 | 1.100000e+01 |    Inf 
314.89/314.94	c   310s|110000 |  7104 |376677 |   3.4 |  95M|2499 |  13 |5645 |5894 |5645 | 258 | 103k|  91k|3615 | 0.000000e+00 | 1.100000e+01 |    Inf 
335.09/335.20	c   330s|120000 |  6897 |416214 |   3.5 |  96M|2499 |   - |5645 |7247 |   0 |   0 | 110k| 104k|3779 | 0.000000e+00 | 1.100000e+01 |    Inf 
356.19/356.28	c   351s|130000 |  6911 |459111 |   3.5 |  98M|2499 |   1 |5645 |8051 |5645 | 216 | 117k| 118k|3967 | 0.000000e+00 | 1.100000e+01 |    Inf 
377.19/377.24	c   371s|140000 |  6921 |496907 |   3.5 | 100M|2499 |   - |5645 |9193 |   0 |   0 | 122k| 131k|4111 | 0.000000e+00 | 1.100000e+01 |    Inf 
388.09/388.14	o 9
388.09/388.14	c * 382s|144919 |  6670 |517532 |   3.6 |  97M|2499 |   - |5645 |  10k|5645 | 212 | 125k| 138k|4180 | 0.000000e+00 | 9.000000e+00 |    Inf 
399.19/399.29	c   393s|150000 |  6476 |538929 |   3.6 |  96M|2499 |   1 |5645 |8413 |5645 | 249 | 129k| 144k|4254 | 0.000000e+00 | 9.000000e+00 |    Inf 
419.39/419.49	c   412s|160000 |  6488 |578086 |   3.6 |  97M|2499 |   1 |5645 |9042 |5645 | 239 | 134k| 157k|4395 | 0.000000e+00 | 9.000000e+00 |    Inf 
440.89/440.90	c   433s|170000 |  6699 |619297 |   3.6 | 101M|2499 |  15 |5645 |  13k|5645 | 255 | 140k| 170k|4529 | 0.000000e+00 | 9.000000e+00 |    Inf 
462.79/462.80	c   454s|180000 |  6714 |658260 |   3.7 | 102M|2499 |   1 |5645 |  11k|5645 | 257 | 144k| 184k|4621 | 0.000000e+00 | 9.000000e+00 |    Inf 
483.99/484.09	c   474s|190000 |  6652 |701023 |   3.7 | 102M|2499 |   1 |5645 |  11k|5645 | 293 | 149k| 198k|4757 | 0.000000e+00 | 9.000000e+00 |    Inf 
505.00/505.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
505.00/505.04	c   494s|200000 |  6639 |741905 |   3.7 | 102M|2499 |   1 |5645 |  10k|5645 | 239 | 154k| 211k|4868 | 0.000000e+00 | 9.000000e+00 |    Inf 
526.09/526.10	c   515s|210000 |  6639 |784432 |   3.7 | 103M|2499 |   - |5645 |  10k|   0 |   0 | 159k| 224k|5019 | 0.000000e+00 | 9.000000e+00 |    Inf 
547.49/547.55	c   535s|220000 |  6582 |827865 |   3.8 | 103M|2499 |   - |5645 |  11k|   0 |   0 | 164k| 238k|5186 | 0.000000e+00 | 9.000000e+00 |    Inf 
562.69/562.79	o 5
562.69/562.79	c * 550s|227358 |  5746 |856878 |   3.8 |  90M|2499 |   - |5645 |  13k|5645 | 262 | 168k| 249k|5245 | 0.000000e+00 | 5.000000e+00 |    Inf 
568.40/568.41	c   555s|230000 |  5754 |868812 |   3.8 |  90M|2499 |   - |5645 |  13k|   0 |   0 | 169k| 252k|5257 | 0.000000e+00 | 5.000000e+00 |    Inf 
589.10/589.11	c   576s|240000 |  5822 |910976 |   3.8 |  91M|2499 |   1 |5645 |  13k|5645 | 288 | 175k| 267k|5366 | 0.000000e+00 | 5.000000e+00 |    Inf 
610.70/610.77	c   597s|250000 |  5946 |954853 |   3.8 |  93M|2499 |   1 |5645 |  15k|5645 | 286 | 180k| 281k|5459 | 0.000000e+00 | 5.000000e+00 |    Inf 
633.20/633.25	c   618s|260000 |  5922 |  1001k|   3.9 |  93M|2499 |   6 |5645 |  14k|5645 | 277 | 186k| 296k|5548 | 0.000000e+00 | 5.000000e+00 |    Inf 
654.70/654.78	c   639s|270000 |  5841 |  1043k|   3.9 |  92M|2499 |   - |5645 |  13k|5645 | 288 | 191k| 311k|5666 | 0.000000e+00 | 5.000000e+00 |    Inf 
661.29/661.39	o 4
661.29/661.39	c * 645s|273056 |  5752 |  1058k|   3.9 |  90M|2499 |   - |5645 |  12k|5645 | 268 | 193k| 315k|5682 | 0.000000e+00 | 4.000000e+00 |    Inf 
675.59/675.66	c   659s|280000 |  5689 |  1088k|   3.9 |  89M|2499 |   - |5645 |9794 |   0 |   0 | 198k| 324k|5820 | 0.000000e+00 | 4.000000e+00 |    Inf 
695.90/695.98	c   679s|290000 |  5928 |  1131k|   3.9 |  92M|2499 |   8 |5645 |  12k|5645 | 277 | 203k| 337k|5939 | 0.000000e+00 | 4.000000e+00 |    Inf 
716.70/716.74	c   699s|300000 |  5997 |  1169k|   3.9 |  94M|2499 |   - |5645 |  14k|   0 |   0 | 207k| 351k|6002 | 0.000000e+00 | 4.000000e+00 |    Inf 
738.11/738.17	c   719s|310000 |  6056 |  1211k|   3.9 |  94M|2499 |   - |5645 |  13k|   0 |   0 | 211k| 365k|6088 | 0.000000e+00 | 4.000000e+00 |    Inf 
758.70/758.75	c   739s|320000 |  6074 |  1252k|   3.9 |  95M|2499 |   1 |5645 |  13k|5645 | 281 | 216k| 379k|6174 | 0.000000e+00 | 4.000000e+00 |    Inf 
779.91/779.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
779.91/779.91	c   760s|330000 |  6020 |  1296k|   3.9 |  95M|2499 |   1 |5645 |  13k|5645 | 283 | 220k| 393k|6263 | 0.000000e+00 | 4.000000e+00 |    Inf 
801.20/801.30	c   780s|340000 |  5960 |  1339k|   3.9 |  95M|2499 |   1 |5645 |  13k|5645 | 274 | 225k| 406k|6343 | 0.000000e+00 | 4.000000e+00 |    Inf 
815.40/815.48	o 3
815.40/815.48	c * 794s|346530 |  5871 |  1366k|   3.9 |  94M|2499 |   - |5645 |  15k|5645 | 258 | 228k| 416k|6410 | 0.000000e+00 | 3.000000e+00 |    Inf 
823.10/823.14	c   801s|350000 |  5847 |  1381k|   3.9 |  93M|2499 |   1 |5645 |  11k|5645 | 263 | 230k| 421k|6426 | 0.000000e+00 | 3.000000e+00 |    Inf 
844.20/844.27	c   822s|360000 |  5877 |  1425k|   4.0 |  95M|2499 |   - |5645 |  16k|   0 |   0 | 235k| 434k|6518 | 0.000000e+00 | 3.000000e+00 |    Inf 
866.81/866.81	c   843s|370000 |  5976 |  1469k|   4.0 |  97M|2499 |   - |5645 |  17k|   0 |   0 | 240k| 448k|6600 | 0.000000e+00 | 3.000000e+00 |    Inf 
880.80/880.85	o 1
880.80/880.85	c * 857s|375929 |  5676 |  1495k|   4.0 |  95M|2499 |   - |5645 |  20k|5645 | 267 | 243k| 456k|6646 | 0.000000e+00 | 1.000000e-00 |    Inf 
890.00/890.02	c   866s|380000 |  5711 |  1511k|   4.0 |  95M|2499 |  15 |5645 |  20k|5645 | 254 | 245k| 462k|6654 | 0.000000e+00 | 1.000000e-00 |    Inf 
912.40/912.43	c   887s|390000 |  5724 |  1548k|   4.0 |  95M|2499 |   - |5645 |  20k|   0 |   0 | 248k| 477k|6706 | 0.000000e+00 | 1.000000e-00 |    Inf 
934.40/934.49	c   909s|400000 |  5706 |  1583k|   4.0 |  95M|2499 |   8 |5645 |  19k|5645 | 266 | 252k| 491k|6760 | 0.000000e+00 | 1.000000e-00 |    Inf 
957.40/957.48	c   931s|410000 |  5726 |  1619k|   3.9 |  96M|2499 |  10 |5645 |  19k|5645 | 251 | 256k| 505k|6817 | 0.000000e+00 | 1.000000e-00 |    Inf 
979.40/979.42	c   952s|420000 |  5742 |  1656k|   3.9 |  94M|2499 |   - |5645 |  13k|   0 |   0 | 260k| 518k|6929 | 0.000000e+00 | 1.000000e-00 |    Inf 
1000.30/1000.30	c   973s|430000 |  5878 |  1692k|   3.9 |  97M|2499 |   1 |5645 |  15k|5645 | 268 | 264k| 531k|6978 | 0.000000e+00 | 1.000000e-00 |    Inf 
1022.91/1022.96	c   995s|440000 |  6104 |  1733k|   3.9 |  99M|2499 |   1 |5645 |  15k|5645 | 218 | 271k| 544k|7042 | 0.000000e+00 | 1.000000e-00 |    Inf 
1046.21/1046.24	c  1017s|450000 |  6198 |  1779k|   4.0 | 102M|2499 |   - |5645 |  17k|   0 |   0 | 276k| 558k|7097 | 0.000000e+00 | 1.000000e-00 |    Inf 
1067.61/1067.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1067.61/1067.60	c  1038s|460000 |  6202 |  1820k|   4.0 | 101M|2499 |  17 |5645 |  14k|5645 | 237 | 280k| 573k|7170 | 0.000000e+00 | 1.000000e-00 |    Inf 
1089.41/1089.43	c  1059s|470000 |  6297 |  1859k|   4.0 | 102M|2499 |  12 |5645 |  15k|5645 | 250 | 285k| 586k|7232 | 0.000000e+00 | 1.000000e-00 |    Inf 
1111.60/1111.61	c  1080s|480000 |  6637 |  1909k|   4.0 | 106M|2499 |   - |5645 |  19k|   0 |   0 | 290k| 600k|7296 | 0.000000e+00 | 1.000000e-00 |    Inf 
1133.41/1133.40	c  1102s|490000 |  6694 |  1947k|   4.0 | 107M|2499 |   - |5645 |  18k|   0 |   0 | 294k| 614k|7357 | 0.000000e+00 | 1.000000e-00 |    Inf 
1155.31/1155.31	c  1123s|500000 |  6751 |  1986k|   4.0 | 108M|2499 |   1 |5645 |  19k|5645 | 263 | 298k| 628k|7412 | 0.000000e+00 | 1.000000e-00 |    Inf 
1177.61/1177.61	c  1145s|510000 |  6731 |  2022k|   4.0 | 109M|2499 |   - |5645 |  17k|   0 |   0 | 301k| 643k|7464 | 0.000000e+00 | 1.000000e-00 |    Inf 
1199.31/1199.38	c  1166s|520000 |  6738 |  2060k|   4.0 | 109M|2499 |   - |5645 |  16k|   0 |   0 | 305k| 657k|7515 | 0.000000e+00 | 1.000000e-00 |    Inf 
1221.71/1221.71	c  1187s|530000 |  6817 |  2096k|   4.0 | 111M|2499 |   1 |5645 |  19k|5645 | 228 | 310k| 672k|7587 | 0.000000e+00 | 1.000000e-00 |    Inf 
1244.52/1244.52	c  1210s|540000 |  6885 |  2131k|   3.9 | 113M|2499 |   1 |5645 |  21k|5645 | 240 | 314k| 686k|7631 | 0.000000e+00 | 1.000000e-00 |    Inf 
1268.12/1268.13	c  1232s|550000 |  6863 |  2167k|   3.9 | 112M|2499 |   1 |5645 |  20k|5645 | 249 | 318k| 702k|7688 | 0.000000e+00 | 1.000000e-00 |    Inf 
1291.92/1291.92	c  1256s|560000 |  6969 |  2207k|   3.9 | 114M|2499 |   - |5645 |  21k|   0 |   0 | 323k| 716k|7738 | 0.000000e+00 | 1.000000e-00 |    Inf 
1314.91/1314.97	c  1278s|570000 |  7019 |  2247k|   3.9 | 116M|2499 |   - |5645 |  24k|   0 |   0 | 329k| 730k|7799 | 0.000000e+00 | 1.000000e-00 |    Inf 
1339.31/1339.31	c  1302s|580000 |  7130 |  2284k|   3.9 | 117M|2499 |  27 |5645 |  23k|5645 | 256 | 333k| 744k|7863 | 0.000000e+00 | 1.000000e-00 |    Inf 
1364.12/1364.12	c  1326s|590000 |  7229 |  2319k|   3.9 | 118M|2499 |  21 |5645 |  24k|5645 | 239 | 337k| 759k|7915 | 0.000000e+00 | 1.000000e-00 |    Inf 
1389.71/1389.71	c  1350s|600000 |  7335 |  2355k|   3.9 | 120M|2499 |   - |5645 |  26k|   0 |   0 | 342k| 774k|7968 | 0.000000e+00 | 1.000000e-00 |    Inf 
1415.01/1415.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1415.01/1415.05	c  1375s|610000 |  7338 |  2391k|   3.9 | 120M|2499 |   - |5645 |  25k|   0 |   0 | 346k| 788k|8018 | 0.000000e+00 | 1.000000e-00 |    Inf 
1440.72/1440.78	c  1400s|620000 |  7491 |  2434k|   3.9 | 121M|2499 |   - |5645 |  25k|   0 |   0 | 351k| 804k|8082 | 0.000000e+00 | 1.000000e-00 |    Inf 
1467.11/1467.18	c  1426s|630000 |  7623 |  2473k|   3.9 | 123M|2499 |   - |5645 |  25k|   0 |   0 | 355k| 819k|8132 | 0.000000e+00 | 1.000000e-00 |    Inf 
1494.92/1494.93	c  1453s|640000 |  7704 |  2511k|   3.9 | 125M|2499 |  17 |5645 |  26k|5645 | 269 | 360k| 834k|8171 | 0.000000e+00 | 1.000000e-00 |    Inf 
1522.52/1522.57	c  1480s|650000 |  7914 |  2550k|   3.9 | 128M|2499 |   - |5645 |  29k|   0 |   0 | 364k| 849k|8212 | 0.000000e+00 | 1.000000e-00 |    Inf 
1549.72/1549.75	c  1506s|660000 |  7986 |  2588k|   3.9 | 129M|2499 |   - |5645 |  28k|   0 |   0 | 367k| 865k|8255 | 0.000000e+00 | 1.000000e-00 |    Inf 
1575.82/1575.89	c  1531s|670000 |  7942 |  2630k|   3.9 | 128M|2499 |  22 |5645 |  25k|5645 | 263 | 372k| 880k|8308 | 0.000000e+00 | 1.000000e-00 |    Inf 
1601.02/1601.04	c  1556s|680000 |  7946 |  2669k|   3.9 | 128M|2499 |   5 |5645 |  25k|5645 | 238 | 376k| 895k|8382 | 0.000000e+00 | 1.000000e-00 |    Inf 
1626.72/1626.76	c  1581s|690000 |  8012 |  2706k|   3.9 | 130M|2499 |   - |5645 |  28k|   0 |   0 | 380k| 909k|8430 | 0.000000e+00 | 1.000000e-00 |    Inf 
1653.62/1653.66	c  1607s|700000 |  8021 |  2748k|   3.9 | 130M|2499 |   1 |5645 |  26k|5645 | 249 | 383k| 924k|8479 | 0.000000e+00 | 1.000000e-00 |    Inf 
1681.52/1681.51	c  1634s|710000 |  8255 |  2785k|   3.9 | 133M|2499 |   - |5645 |  29k|   0 |   0 | 388k| 939k|8512 | 0.000000e+00 | 1.000000e-00 |    Inf 
1710.02/1710.03	c  1662s|720000 |  8499 |  2824k|   3.9 | 136M|2499 |  16 |5645 |  31k|5645 | 238 | 392k| 954k|8559 | 0.000000e+00 | 1.000000e-00 |    Inf 
1737.62/1737.67	c  1689s|730000 |  8608 |  2858k|   3.9 | 137M|2499 |   9 |5645 |  30k|5645 | 259 | 396k| 969k|8619 | 0.000000e+00 | 1.000000e-00 |    Inf 
1766.22/1766.29	c  1717s|740000 |  8724 |  2898k|   3.9 | 138M|2499 |   7 |5645 |  30k|5645 | 262 | 401k| 984k|8669 | 0.000000e+00 | 1.000000e-00 |    Inf 
1793.33/1793.35	c  1743s|750000 |  8765 |  2935k|   3.9 | 139M|2499 |   7 |5645 |  30k|5645 | 259 | 405k|1000k|8723 | 0.000000e+00 | 1.000000e-00 |    Inf 
1800.03/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00	c 
1800.03/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.00	c Solving Time (sec) : 1749.43
1800.03/1800.00	c Solving Nodes      : 752456
1800.03/1800.00	c Primal Bound       : +1.00000000000000e-00 (286 solutions)
1800.03/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.00	c Gap                : infinite
1800.03/1800.05	s SATISFIABLE
1800.03/1800.05	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.03/1800.05	v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.03/1800.05	v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.03/1800.05	v -x167 x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 
1800.03/1800.05	v -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 
1800.03/1800.05	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104 
1800.03/1800.05	v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 
1800.03/1800.05	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 
1800.03/1800.05	v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 
1800.03/1800.05	v -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 
1800.03/1800.05	v -x1 
1800.03/1800.05	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.05	c Solving Time       :    1749.43
1800.03/1800.05	c Original Problem   :
1800.03/1800.05	c   Problem name     : HOME/instance-2692947-1277925458.wbo
1800.03/1800.05	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.05	c   Constraints      : 5415 initial, 5415 maximal
1800.03/1800.05	c Presolved Problem  :
1800.03/1800.05	c   Problem name     : t_HOME/instance-2692947-1277925458.wbo
1800.03/1800.05	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.05	c   Constraints      : 5414 initial, 33194 maximal
1800.03/1800.05	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.05	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.05	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.05	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.05	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.05	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.05	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.03/1800.05	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.05	c   linear           :       0.02          0          0          0       2707          0          1          0          0
1800.03/1800.05	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.05	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.05	c   root node        :          -       2707          -          -       5414          -          -          -          -
1800.03/1800.05	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.05	c   integral         :          0          0          0     482234          0         14        546          0          0     764662
1800.03/1800.05	c   indicator        :       2707          0    2002197      81464          0        617    8099376          0          0          0
1800.03/1800.05	c   linear           :       2707          6    4058261      99337          0     278487   17914622     406838          0          0
1800.03/1800.05	c   logicor          :          0+         0    1255939          0          0      68126    1499604          0          0          0
1800.03/1800.05	c   bounddisjunction :          0+         0       5799          0          0          0         75          0          0          0
1800.03/1800.05	c   countsols        :          0          0          0      46490          0          0          0          0          0          0
1800.03/1800.05	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.05	c   integral         :      14.70       0.00       0.00      14.70       0.00
1800.03/1800.05	c   indicator        :      36.36       0.01      22.86      13.49       0.00
1800.03/1800.05	c   linear           :     231.27       0.00     220.76      10.51       0.00
1800.03/1800.05	c   logicor          :     246.78       0.00     246.78       0.00       0.00
1800.03/1800.05	c   bounddisjunction :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.05	c   countsols        :       0.02       0.00       0.00       0.02       0.00
1800.03/1800.05	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.05	c   vbounds          :       0.28          2          0          0
1800.03/1800.05	c   rootredcost      :       0.19         52          0       2707
1800.03/1800.05	c   pseudoobj        :     204.11    4073393      14283    5770858
1800.03/1800.05	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.05	c   propagation      :      23.21     360896     360818    2273550       30.4      20190       16.3          -
1800.03/1800.05	c   infeasible LP    :       6.31      15157      15157     120199       43.3        227       17.2          0
1800.03/1800.05	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.05	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.05	c   pseudo solution  :       0.13        336        336       1271       11.8        234        5.7          -
1800.03/1800.05	c   applied globally :          -          -          -    1003927       23.9          -          -          -
1800.03/1800.05	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.05	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.05	c   cut pool         :       0.00          3          -          -          2          -    (maximal pool size: 74)
1800.03/1800.05	c   redcost          :      39.12     487967          0    2229362          0          0
1800.03/1800.05	c   impliedbounds    :       0.00          4          0          0          0          0
1800.03/1800.05	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.05	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.05	c   gomory           :       0.00          4          0          0         75          0
1800.03/1800.05	c   strongcg         :       0.00          4          0          0          0          0
1800.03/1800.05	c   cmir             :       0.02          4          0          0          1          0
1800.03/1800.05	c   flowcover        :       0.03          4          0          0          2          0
1800.03/1800.05	c   clique           :       0.00          1          0          0          0          0
1800.03/1800.05	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.05	c   mcf              :       0.00          1          0          0          0          0
1800.03/1800.05	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.05	c Pricers            :       Time      Calls       Vars
1800.03/1800.05	c   problem variables:       0.00          0          0
1800.03/1800.05	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.05	c   relpscost        :      14.41     382791         14        546          0          0     764662
1800.03/1800.05	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.05	c   inference        :      11.62      46438          0          0          0          0      92876
1800.03/1800.05	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.05	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.05	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.05	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.05	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.05	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.05	c   LP solutions     :       0.09          -         52
1800.03/1800.05	c   pseudo solutions :       0.00          -          0
1800.03/1800.05	c   feaspump         :       0.00          0          0
1800.03/1800.05	c   intshifting      :       0.03          4          0
1800.03/1800.05	c   oneopt           :       0.30         44          0
1800.03/1800.05	c   veclendiving     :       0.14         71          0
1800.03/1800.05	c   linesearchdiving :       0.14         71          0
1800.03/1800.05	c   guideddiving     :       0.10         71          0
1800.03/1800.05	c   coefdiving       :       0.08         71          0
1800.03/1800.05	c   pscostdiving     :       0.17         71          0
1800.03/1800.05	c   fracdiving       :       0.07         71          0
1800.03/1800.05	c   rootsoldiving    :       0.10         69          0
1800.03/1800.05	c   objpscostdiving  :       0.04         70          0
1800.03/1800.05	c   crossover        :       1.89         59          2
1800.03/1800.05	c   trivial          :       0.08          2          2
1800.03/1800.05	c   simplerounding   :       0.67     384484          0
1800.03/1800.05	c   zirounding       :       0.45       1000          0
1800.03/1800.05	c   rounding         :       3.03       8779          0
1800.03/1800.05	c   shifting         :       1.86       2694          0
1800.03/1800.05	c   twoopt           :       0.00          0          0
1800.03/1800.05	c   fixandinfer      :       0.00          0          0
1800.03/1800.05	c   intdiving        :       0.00          0          0
1800.03/1800.05	c   actconsdiving    :       0.00          0          0
1800.03/1800.05	c   octane           :       0.00          0          0
1800.03/1800.05	c   rens             :       0.03          1          0
1800.03/1800.05	c   rins             :       0.00          0          0
1800.03/1800.05	c   localbranching   :       0.00          0          0
1800.03/1800.05	c   mutation         :       0.00          0          0
1800.03/1800.05	c   dins             :       0.00          0          0
1800.03/1800.05	c   undercover       :       0.00          0          0
1800.03/1800.05	c   nlp              :       0.04          0          0
1800.03/1800.05	c   trysol           :       2.64       5361        230
1800.03/1800.05	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.05	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.05	c   dual LP          :     459.83     457990    2942286       6.42    6398.64
1800.03/1800.05	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.05	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.05	c   diving/probing LP:       0.12         57       1365      23.95   11375.00
1800.03/1800.05	c   strong branching :      11.87       8725      94155      10.79    7932.18
1800.03/1800.05	c     (at root node) :          -         33       1884      57.09          -
1800.03/1800.05	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.05	c B&B Tree           :
1800.03/1800.05	c   number of runs   :          1
1800.03/1800.05	c   nodes            :     752456
1800.03/1800.05	c   nodes (total)    :     752456
1800.03/1800.05	c   nodes left       :       8761
1800.03/1800.05	c   max depth        :       2499
1800.03/1800.05	c   max depth (total):       2499
1800.03/1800.05	c   backtracks       :      65163 (8.7%)
1800.03/1800.05	c   delayed cutoffs  :      57332
1800.03/1800.05	c   repropagations   :    1970829 (5118209 domain reductions, 53362 cutoffs)
1800.03/1800.05	c   avg switch length:       6.69
1800.03/1800.05	c   switching time   :     253.99
1800.03/1800.05	c Solution           :
1800.03/1800.05	c   Solutions found  :        286 (53 improvements)
1800.03/1800.05	c   First Solution   : +1.37972000000000e+05   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.03/1800.05	c   Primal Bound     : +1.00000000000000e-00   (in run 1, after 375929 nodes, 856.83 seconds, depth 43, found by <relaxation>)
1800.03/1800.05	c   Dual Bound       : +0.00000000000000e+00
1800.03/1800.05	c   Gap              :   infinite
1800.03/1800.05	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.05	c   Root Iterations  :        183
1800.22/1800.26	c Time complete: 1800.29.

Verifier Data 

OK	1

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692947-1277925458/watcher-2692947-1277925458 -o /tmp/evaluation-result-2692947-1277925458/solver-2692947-1277925458 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692947-1277925458.wbo -t 1800 -m 3800 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 14600
/proc/meminfo: memFree=31336640/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=10968 CPUtime=0
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 1669 0 0 0 0 0 0 0 25 0 1 0 133843835 11231232 1589 4089446400 4194304 9819077 140736401129344 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14600/statm: 2742 1589 392 1374 0 1363 0

[startup+0.0080431 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 14600
/proc/meminfo: memFree=31336640/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=11940 CPUtime=0
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 1937 0 0 0 0 0 0 0 25 0 1 0 133843835 12226560 1857 4089446400 4194304 9819077 140736401129344 18446744073709551615 4207447 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14600/statm: 2985 1858 392 1374 0 1606 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11940

[startup+0.101039 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 14600
/proc/meminfo: memFree=31336640/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=36400 CPUtime=0.09
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 8123 0 0 0 9 0 0 0 25 0 1 0 133843835 37273600 7689 4089446400 4194304 9819077 140736401129344 18446744073709551615 8678556 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14600/statm: 9100 7689 469 1374 0 7721 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36400

[startup+0.301004 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 14600
/proc/meminfo: memFree=31336640/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=45824 CPUtime=0.29
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 10883 0 0 0 28 1 0 0 25 0 1 0 133843835 46923776 9854 4089446400 4194304 9819077 140736401129344 18446744073709551615 4561255 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14600/statm: 11456 9854 672 1374 0 10077 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45824

[startup+0.700933 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 14600
/proc/meminfo: memFree=31336640/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=47228 CPUtime=0.69
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 27623 0 0 0 66 3 0 0 25 0 1 0 133843835 48361472 9995 4089446400 4194304 9819077 140736401129344 18446744073709551615 6367494 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14600/statm: 11807 9995 698 1374 0 10428 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47228

[startup+1.50083 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 14601
/proc/meminfo: memFree=31298192/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=49048 CPUtime=1.49
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 47805 0 0 0 142 7 0 0 25 0 1 0 133843835 50225152 10288 4089446400 4194304 9819077 140736401129344 18446744073709551615 6513120 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14600/statm: 12176 10286 699 1374 0 10797 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49048

[startup+3.10053 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 14601
/proc/meminfo: memFree=31293852/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=51448 CPUtime=3.09
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 61871 0 0 0 298 11 0 0 25 0 1 0 133843835 52682752 11226 4089446400 4194304 9819077 140736401129344 18446744073709551615 6003814 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14600/statm: 12862 11226 700 1374 0 11483 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51448

[startup+6.30099 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 14601
/proc/meminfo: memFree=31286272/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=57084 CPUtime=6.29
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 78034 0 0 0 611 18 0 0 25 0 1 0 133843835 58454016 13000 4089446400 4194304 9819077 140736401129344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14600/statm: 14271 13000 700 1374 0 12892 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 57084

[startup+12.7009 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 14602
/proc/meminfo: memFree=31278052/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=67916 CPUtime=12.69
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 91456 0 0 0 1246 23 0 0 25 0 1 0 133843835 69545984 15610 4089446400 4194304 9819077 140736401129344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14600/statm: 16979 15610 700 1374 0 15600 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67916

[startup+25.5006 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 14602
/proc/meminfo: memFree=31256800/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=88424 CPUtime=25.49
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 112898 0 0 0 2512 37 0 0 25 0 1 0 133843835 90546176 20509 4089446400 4194304 9819077 140736401129344 18446744073709551615 6590454 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14600/statm: 22106 20509 704 1374 0 20727 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 88424

[startup+51.1011 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14602
/proc/meminfo: memFree=31228440/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=118428 CPUtime=51.09
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 195920 0 0 0 5043 66 0 0 25 0 1 0 133843835 121270272 27981 4089446400 4194304 9819077 140736401129344 18446744073709551615 6070341 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14600/statm: 29607 27981 705 1374 0 28228 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 118428

[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14604
/proc/meminfo: memFree=31129932/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=218944 CPUtime=102.29
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 396971 0 0 0 10081 148 0 0 25 0 1 0 133843835 224198656 52234 4089446400 4194304 9819077 140736401129344 18446744073709551615 6581349 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14600/statm: 54736 52234 713 1374 0 53357 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 218944

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14605
/proc/meminfo: memFree=31047568/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=310320 CPUtime=162.29
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 547335 0 0 0 15989 240 0 0 25 0 1 0 133843835 317767680 72827 4089446400 4194304 9819077 140736401129344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14600/statm: 77580 72827 715 1374 0 76201 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 310320

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14606
/proc/meminfo: memFree=30973364/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=394832 CPUtime=222.29
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 683336 0 0 0 21902 327 0 0 25 0 1 0 133843835 404307968 91217 4089446400 4194304 9819077 140736401129344 18446744073709551615 6003640 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14600/statm: 98708 91217 715 1374 0 97329 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 394832

[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 14608
/proc/meminfo: memFree=30939584/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=433848 CPUtime=282.29
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 844669 0 0 0 27800 429 0 0 25 0 1 0 133843835 444260352 99495 4089446400 4194304 9819077 140736401129344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14600/statm: 108462 99495 715 1374 0 107083 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 433848

[startup+342.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14610
/proc/meminfo: memFree=30930232/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=442896 CPUtime=342.29
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 983657 0 0 0 33686 543 0 0 25 0 1 0 133843835 453525504 101602 4089446400 4194304 9819077 140736401129344 18446744073709551615 8674826 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14600/statm: 110724 101602 724 1374 0 109345 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 442896

[startup+402.301 s]
/proc/loadavg: 1.98 2.00 2.00 5/197 14705
/proc/meminfo: memFree=31125748/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=449256 CPUtime=402.29
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 1094194 0 0 0 39575 654 0 0 25 0 1 0 133843835 460038144 102783 4089446400 4194304 9819077 140736401129344 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14600/statm: 112314 102783 724 1374 0 110935 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 449256

[startup+462.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/197 14706
/proc/meminfo: memFree=30959256/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=452992 CPUtime=462.29
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 1213661 0 0 0 45348 881 0 0 25 0 1 0 133843835 463863808 103904 4089446400 4194304 9819077 140736401129344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14600/statm: 113248 103904 724 1374 0 111869 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 452992

[startup+522.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 14707
/proc/meminfo: memFree=30916924/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=454184 CPUtime=522.29
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 1354734 0 0 0 51106 1123 0 0 25 0 1 0 133843835 465084416 104195 4089446400 4194304 9819077 140736401129344 18446744073709551615 6668695 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14600/statm: 113546 104195 724 1374 0 112167 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 454184

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14709
/proc/meminfo: memFree=30878804/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=457144 CPUtime=582.29
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 1490751 0 0 0 56892 1337 0 0 25 0 1 0 133843835 468115456 105034 4089446400 4194304 9819077 140736401129344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14600/statm: 114286 105034 724 1374 0 112907 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 457144

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14711
/proc/meminfo: memFree=30832628/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=457832 CPUtime=642.3
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 1600392 0 0 0 62707 1523 0 0 25 0 1 0 133843835 468819968 105209 4089446400 4194304 9819077 140736401129344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14600/statm: 114458 105209 724 1374 0 113079 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 457832

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/197 14720
/proc/meminfo: memFree=30658188/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=480424 CPUtime=882.3
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 2082225 0 0 0 85827 2403 0 0 25 0 1 0 133843835 491954176 110328 4089446400 4194304 9819077 140736401129344 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14600/statm: 120106 110355 725 1374 0 118727 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 480424

[startup+942.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 14722
/proc/meminfo: memFree=30625160/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=463628 CPUtime=942.31
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 2179174 0 0 0 91635 2596 0 0 25 0 1 0 133843835 474755072 106646 4089446400 4194304 9819077 140736401129344 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14600/statm: 115907 106646 725 1374 0 114528 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 463628

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14724
/proc/meminfo: memFree=30597444/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=464124 CPUtime=1002.3
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 2261395 0 0 0 97450 2780 0 0 25 0 1 0 133843835 475262976 106779 4089446400 4194304 9819077 140736401129344 18446744073709551615 6361171 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14600/statm: 116031 106779 725 1374 0 114652 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 464124

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14725
/proc/meminfo: memFree=30582004/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=467008 CPUtime=1062.31
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 2340997 0 0 0 103270 2961 0 0 25 0 1 0 133843835 478216192 107522 4089446400 4194304 9819077 140736401129344 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14600/statm: 116752 107522 725 1374 0 115373 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 467008

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14726
/proc/meminfo: memFree=30543624/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=468792 CPUtime=1122.31
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 2421230 0 0 0 109079 3152 0 0 25 0 1 0 133843835 480043008 107978 4089446400 4194304 9819077 140736401129344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14600/statm: 117198 107978 725 1374 0 115819 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 468792

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14728
/proc/meminfo: memFree=30511088/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=473540 CPUtime=1182.31
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 2498916 0 0 0 114913 3318 0 0 25 0 1 0 133843835 484904960 109132 4089446400 4194304 9819077 140736401129344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14600/statm: 118385 109132 725 1374 0 117006 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 473540

[startup+1242.3 s]
/proc/loadavg: 2.42 2.11 2.04 3/197 14730
/proc/meminfo: memFree=30470252/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=474836 CPUtime=1242.31
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 2573580 0 0 0 120738 3493 0 0 25 0 1 0 133843835 486232064 109477 4089446400 4194304 9819077 140736401129344 18446744073709551615 7235715 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14600/statm: 118709 109477 725 1374 0 117330 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 474836

[startup+1302.3 s]
/proc/loadavg: 2.15 2.09 2.03 3/197 14732
/proc/meminfo: memFree=30428528/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=477340 CPUtime=1302.32
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 2646222 0 0 0 126567 3665 0 0 25 0 1 0 133843835 488796160 110131 4089446400 4194304 9819077 140736401129344 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14600/statm: 119335 110131 725 1374 0 117956 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 477340

[startup+1362.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/197 14733
/proc/meminfo: memFree=30398096/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=480120 CPUtime=1362.31
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 2714580 0 0 0 132381 3850 0 0 25 0 1 0 133843835 491642880 110815 4089446400 4194304 9819077 140736401129344 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14600/statm: 120030 110815 725 1374 0 118651 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 480120

[startup+1422.31 s]
/proc/loadavg: 2.02 2.05 2.02 4/197 14734
/proc/meminfo: memFree=30373988/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=481668 CPUtime=1422.32
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 2776832 0 0 0 138211 4021 0 0 25 0 1 0 133843835 493228032 111216 4089446400 4194304 9819077 140736401129344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14600/statm: 120417 111216 725 1374 0 119038 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 481668

[startup+1482.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/197 14736
/proc/meminfo: memFree=30364268/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=484548 CPUtime=1482.32
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 2844679 0 0 0 144042 4190 0 0 25 0 1 0 133843835 496177152 111880 4089446400 4194304 9819077 140736401129344 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14600/statm: 121137 111880 725 1374 0 119758 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 484548

[startup+1542.3 s]
/proc/loadavg: 2.26 2.11 2.03 3/197 14738
/proc/meminfo: memFree=30359052/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=489260 CPUtime=1542.32
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 2908300 0 0 0 149882 4350 0 0 25 0 1 0 133843835 501002240 113059 4089446400 4194304 9819077 140736401129344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14600/statm: 122315 113059 725 1374 0 120936 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 489260

[startup+1602.3 s]
/proc/loadavg: 2.10 2.08 2.03 3/197 14740
/proc/meminfo: memFree=30357512/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=490684 CPUtime=1602.32
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 2979613 0 0 0 155707 4525 0 0 25 0 1 0 133843835 502460416 113430 4089446400 4194304 9819077 140736401129344 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14600/statm: 122671 113430 739 1374 0 121292 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 490684

[startup+1662.3 s]
/proc/loadavg: 2.43 2.18 2.06 3/197 14742
/proc/meminfo: memFree=30353760/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=493884 CPUtime=1662.32
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 3045428 0 0 0 161536 4696 0 0 25 0 1 0 133843835 505737216 114246 4089446400 4194304 9819077 140736401129344 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14600/statm: 123427 114245 739 1374 0 122048 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 493884

[startup+1722.3 s]
/proc/loadavg: 2.16 2.14 2.05 3/197 14742
/proc/meminfo: memFree=30349864/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=497664 CPUtime=1722.32
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 3106361 0 0 0 167379 4853 0 0 25 0 1 0 133843835 509607936 115211 4089446400 4194304 9819077 140736401129344 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14600/statm: 124416 115211 739 1374 0 123037 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 497664

[startup+1782.3 s]
/proc/loadavg: 2.06 2.11 2.05 3/197 14744
/proc/meminfo: memFree=30347456/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=499440 CPUtime=1782.32
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 3166669 0 0 0 173226 5006 0 0 25 0 1 0 133843835 511426560 115662 4089446400 4194304 9819077 140736401129344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14600/statm: 124860 115662 739 1374 0 123481 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 499440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.12 2.12 2.05 3/197 14745
/proc/meminfo: memFree=30347320/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=499520 CPUtime=1800.03
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 3185428 0 0 0 174946 5057 0 0 25 0 1 0 133843835 511508480 115682 4089446400 4194304 9819077 140736401129344 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14600/statm: 124880 115682 739 1374 0 123501 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 499520

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

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

[startup+1800.2 s]
/proc/loadavg: 2.12 2.12 2.05 3/197 14745
/proc/meminfo: memFree=30347320/32951124 swapFree=67111528/67111528
[pid=14600] ppid=14598 vsize=480304 CPUtime=1800.22
/proc/14600/stat : 14600 (pbscip.linux.x8) R 14598 14600 12781 0 -1 4202496 3185460 0 0 0 174965 5057 0 0 18 0 1 0 133843835 491831296 110869 4089446400 4194304 9819077 140736401129344 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14600/statm: 120076 110869 740 1374 0 118697 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 480304

Child status: 0
Real time (s): 1800.27
CPU time (s): 1800.3
CPU user time (s): 1749.7
CPU system time (s): 50.5993
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 500868

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

runsolver used 2.57861 second user time and 5.69913 second system time

The end

Launcher Data 

Begin job on node103 at 2010-06-30 21:17:38
IDJOB=2692947
IDBENCH=79260
IDSOLVER=1205
FILE ID=node103/2692947-1277925458
PBS_JOBID= 11197335
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692947-1277925458/watcher-2692947-1277925458 -o /tmp/evaluation-result-2692947-1277925458/solver-2692947-1277925458 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692947-1277925458.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 96d1f19cba40c7363abd0128bfda9b7c
RANDOM SEED=575929029

node103.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31337044 kB
Buffers:        209740 kB
Cached:         915792 kB
SwapCached:          0 kB
Active:         814796 kB
Inactive:       657292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31337044 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6292 kB
Writeback:           0 kB
AnonPages:      346868 kB
Mapped:          16068 kB
Slab:            78904 kB
PageTables:       5348 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   497304 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74204 MiB
End job on node103 at 2010-06-30 21:47:40