Trace number 3692996

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
SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed? 1797 1797.29

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K140.opb
MD5SUM59945e7fb6f70b0a7aeb9a0267c89f72
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16660
Total number of constraints16942
Number of constraints which are clauses16802
Number of constraints which are cardinality constraints (but not clauses)140
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint140
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 141
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3692996-1338044960.opb>
0.01/0.08	c original problem has 16660 variables (16660 bin, 0 int, 0 impl, 0 cont) and 16942 constraints
0.01/0.08	c problem read in 0.08
0.19/0.22	c presolving:
0.19/0.28	c (round 1) 2 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15120 impls, 140 clqs
0.19/0.29	c (round 2) 238 del vars, 13 del conss, 0 add conss, 238 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15120 impls, 138 clqs
0.29/0.30	c (round 3) 367 del vars, 260 del conss, 0 add conss, 367 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15228 impls, 138 clqs
0.29/0.31	c (round 4) 475 del vars, 368 del conss, 0 add conss, 475 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15426 impls, 138 clqs
0.29/0.32	c (round 5) 562 del vars, 455 del conss, 0 add conss, 562 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15648 impls, 138 clqs
0.29/0.33	c (round 6) 626 del vars, 519 del conss, 0 add conss, 626 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15874 impls, 138 clqs
0.29/0.33	c (round 7) 669 del vars, 562 del conss, 0 add conss, 669 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16034 impls, 138 clqs
0.29/0.34	c (round 8) 696 del vars, 589 del conss, 0 add conss, 696 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16160 impls, 138 clqs
0.29/0.35	c (round 9) 714 del vars, 607 del conss, 0 add conss, 714 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16202 impls, 138 clqs
0.29/0.35	c (round 10) 728 del vars, 621 del conss, 0 add conss, 728 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16248 impls, 138 clqs
0.29/0.36	c (round 11) 737 del vars, 630 del conss, 0 add conss, 737 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16304 impls, 138 clqs
0.29/0.37	c (round 12) 742 del vars, 635 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16334 impls, 138 clqs
0.49/0.55	c (round 13) 742 del vars, 773 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16031 upgd conss, 16350 impls, 138 clqs
0.58/0.62	c (round 14) 742 del vars, 773 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16169 upgd conss, 16350 impls, 138 clqs
12.68/12.72	c (round 15) 767 del vars, 773 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16169 upgd conss, 2525962 impls, 138 clqs
12.68/12.74	c (round 16) 767 del vars, 798 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16169 upgd conss, 2525990 impls, 138 clqs
12.79/12.81	c (round 17) 767 del vars, 798 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16182 upgd conss, 2525990 impls, 138 clqs
16.19/16.24	c (round 18) 792 del vars, 798 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16182 upgd conss, 4390916 impls, 138 clqs
16.19/16.26	c (round 19) 799 del vars, 830 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16182 upgd conss, 4390982 impls, 138 clqs
16.29/16.33	c (round 20) 799 del vars, 830 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16205 upgd conss, 4390982 impls, 138 clqs
16.39/16.48	c (round 21) 824 del vars, 830 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16205 upgd conss, 4436780 impls, 138 clqs
16.39/16.49	c (round 22) 830 del vars, 861 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16205 upgd conss, 4436818 impls, 138 clqs
16.49/16.57	c (round 23) 830 del vars, 861 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16217 upgd conss, 4436818 impls, 138 clqs
16.59/16.65	c (round 24) 862 del vars, 861 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16217 upgd conss, 4450128 impls, 138 clqs
16.59/16.67	c (round 25) 862 del vars, 893 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16217 upgd conss, 4450274 impls, 138 clqs
16.69/16.74	c (round 26) 862 del vars, 893 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16238 upgd conss, 4450274 impls, 138 clqs
19.09/19.13	c (round 27) 887 del vars, 893 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16238 upgd conss, 5498342 impls, 138 clqs
19.09/19.15	c (round 28) 888 del vars, 919 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16238 upgd conss, 5498352 impls, 138 clqs
19.18/19.23	c (round 29) 888 del vars, 919 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16241 upgd conss, 5498352 impls, 138 clqs
19.28/19.30	c (round 30) 914 del vars, 919 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16241 upgd conss, 5501328 impls, 138 clqs
19.28/19.32	c (round 31) 914 del vars, 945 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16241 upgd conss, 5501464 impls, 138 clqs
19.28/19.39	c (round 32) 914 del vars, 945 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16253 upgd conss, 5501464 impls, 138 clqs
19.48/19.50	c (round 33) 941 del vars, 945 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16253 upgd conss, 5523152 impls, 138 clqs
19.48/19.52	c (round 34) 941 del vars, 972 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16253 upgd conss, 5523270 impls, 138 clqs
19.48/19.59	c (round 35) 941 del vars, 972 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16264 upgd conss, 5523270 impls, 138 clqs
19.88/19.97	c    (20.0s) probing: 1000/15918 (6.3%) - 192 fixings, 1 aggregations, 1013684 implications, 0 bound changes
22.29/22.39	c (round 36) 966 del vars, 972 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16264 upgd conss, 6737866 impls, 138 clqs
22.38/22.40	c (round 37) 967 del vars, 998 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16264 upgd conss, 6737902 impls, 138 clqs
22.38/22.48	c (round 38) 967 del vars, 998 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16282 upgd conss, 6737902 impls, 138 clqs
22.49/22.54	c (round 39) 992 del vars, 998 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16282 upgd conss, 6738628 impls, 138 clqs
22.49/22.56	c (round 40) 992 del vars, 1023 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16282 upgd conss, 6738822 impls, 138 clqs
22.59/22.64	c (round 41) 992 del vars, 1023 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16299 upgd conss, 6738822 impls, 138 clqs
22.69/22.73	c (round 42) 1017 del vars, 1023 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16299 upgd conss, 6744066 impls, 138 clqs
22.69/22.75	c (round 43) 1022 del vars, 1053 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16299 upgd conss, 6744086 impls, 138 clqs
22.79/22.82	c (round 44) 1022 del vars, 1053 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16309 upgd conss, 6744086 impls, 138 clqs
24.78/24.89	c (round 45) 1047 del vars, 1053 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16309 upgd conss, 7364626 impls, 138 clqs
24.88/24.91	c (round 46) 1050 del vars, 1081 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16309 upgd conss, 7364718 impls, 138 clqs
24.88/24.99	c (round 47) 1050 del vars, 1081 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16317 upgd conss, 7364718 impls, 138 clqs
25.09/25.11	c (round 48) 1076 del vars, 1081 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16317 upgd conss, 7378410 impls, 138 clqs
25.09/25.13	c (round 49) 1076 del vars, 1107 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16317 upgd conss, 7378424 impls, 138 clqs
25.19/25.21	c (round 50) 1076 del vars, 1107 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16322 upgd conss, 7378424 impls, 138 clqs
26.39/26.45	c (round 51) 1101 del vars, 1107 del conss, 0 add conss, 746 chg bounds, 0 chg sides, 0 chg coeffs, 16322 upgd conss, 7741562 impls, 138 clqs
26.39/26.47	c (round 52) 1101 del vars, 1135 del conss, 0 add conss, 749 chg bounds, 0 chg sides, 0 chg coeffs, 16322 upgd conss, 7741621 impls, 138 clqs
26.39/26.49	c (round 53) 1104 del vars, 1136 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16322 upgd conss, 7741622 impls, 138 clqs
26.49/26.57	c (round 54) 1105 del vars, 1136 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16334 upgd conss, 7741622 impls, 138 clqs
26.58/26.66	c (round 55) 1130 del vars, 1136 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16334 upgd conss, 7743528 impls, 138 clqs
26.58/26.68	c (round 56) 1139 del vars, 1170 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16334 upgd conss, 7743544 impls, 138 clqs
26.69/26.76	c (round 57) 1139 del vars, 1170 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16342 upgd conss, 7743544 impls, 138 clqs
26.89/26.91	c (round 58) 1164 del vars, 1170 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16342 upgd conss, 7743544 impls, 138 clqs
26.89/26.93	c (round 59) 1164 del vars, 1195 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16342 upgd conss, 7743544 impls, 138 clqs
27.08/27.10	c (round 60) 1189 del vars, 1195 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16342 upgd conss, 7743544 impls, 138 clqs
27.08/27.12	c (round 61) 1189 del vars, 1220 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16342 upgd conss, 7743544 impls, 138 clqs
27.29/27.33	c (round 62) 1214 del vars, 1220 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16342 upgd conss, 7743544 impls, 138 clqs
27.29/27.35	c (round 63) 1214 del vars, 1245 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16342 upgd conss, 7743544 impls, 138 clqs
27.49/27.57	c (round 64) 1239 del vars, 1245 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16342 upgd conss, 7743544 impls, 138 clqs
27.49/27.59	c (round 65) 1239 del vars, 1270 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16342 upgd conss, 7743544 impls, 138 clqs
27.69/27.75	c (round 66) 1264 del vars, 1270 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16342 upgd conss, 7744448 impls, 138 clqs
27.69/27.77	c (round 67) 1271 del vars, 1302 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16342 upgd conss, 7744474 impls, 138 clqs
27.78/27.86	c (round 68) 1271 del vars, 1302 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16354 upgd conss, 7744474 impls, 138 clqs
27.89/27.92	c (round 69) 1296 del vars, 1302 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16354 upgd conss, 7744474 impls, 138 clqs
27.89/27.94	c (round 70) 1296 del vars, 1327 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16354 upgd conss, 7744474 impls, 138 clqs
27.98/28.00	c (round 71) 1321 del vars, 1327 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16354 upgd conss, 7744474 impls, 138 clqs
27.98/28.02	c (round 72) 1321 del vars, 1352 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16354 upgd conss, 7744474 impls, 138 clqs
27.98/28.09	c (round 73) 1346 del vars, 1352 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16354 upgd conss, 7744474 impls, 138 clqs
28.08/28.11	c (round 74) 1346 del vars, 1377 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16354 upgd conss, 7744474 impls, 138 clqs
28.08/28.17	c (round 75) 1371 del vars, 1377 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16354 upgd conss, 7744474 impls, 138 clqs
28.08/28.19	c (round 76) 1373 del vars, 1404 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16354 upgd conss, 7744478 impls, 138 clqs
28.18/28.27	c (round 77) 1373 del vars, 1404 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16356 upgd conss, 7744478 impls, 138 clqs
28.28/28.34	c (round 78) 1398 del vars, 1404 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16356 upgd conss, 7744478 impls, 138 clqs
28.28/28.36	c (round 79) 1398 del vars, 1429 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16356 upgd conss, 7744478 impls, 138 clqs
28.49/28.53	c    (28.5s) probing: 2000/15918 (12.6%) - 613 fixings, 1 aggregations, 1573243 implications, 4 bound changes
35.88/35.97	c    (36.0s) probing: 3000/15918 (18.8%) - 628 fixings, 1 aggregations, 2005139 implications, 4 bound changes
44.18/44.23	c    (44.2s) probing: 4000/15918 (25.1%) - 629 fixings, 1 aggregations, 2602933 implications, 4 bound changes
44.39/44.44	c    (44.4s) probing: 4025/15918 (25.3%) - 629 fixings, 1 aggregations, 2619533 implications, 4 bound changes
44.39/44.44	c    (44.4s) probing aborted: 1000/1000 successive useless probings
44.39/44.44	c (round 80) 1417 del vars, 1429 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16356 upgd conss, 9851414 impls, 138 clqs
44.39/44.46	c (round 81) 1417 del vars, 1448 del conss, 0 add conss, 750 chg bounds, 0 chg sides, 0 chg coeffs, 16356 upgd conss, 9851414 impls, 138 clqs
45.49/45.52	c    (45.5s) probing: 4125/15918 (25.9%) - 629 fixings, 1 aggregations, 2728245 implications, 4 bound changes
45.49/45.52	c    (45.5s) probing aborted: 1000/1000 successive useless probings
45.49/45.55	c presolving (82 rounds):
45.49/45.55	c  1417 deleted vars, 1448 deleted constraints, 0 added constraints, 750 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
45.49/45.55	c  10069088 implications, 138 cliques
45.49/45.55	c presolved problem has 15243 variables (15243 bin, 0 int, 0 impl, 0 cont) and 15494 constraints
45.49/45.55	c    1908 constraints of type <setppc>
45.49/45.55	c   13586 constraints of type <logicor>
45.49/45.55	c transformed objective value is always integral (scale: 1)
45.49/45.55	c Presolving Time: 45.43
45.49/45.55	c - non default parameters ----------------------------------------------------------------------
45.49/45.55	c # SCIP version 2.1.1.4
45.49/45.55	c 
45.49/45.55	c # maximal time in seconds to run
45.49/45.55	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
45.49/45.55	c limits/time = 1797
45.49/45.55	c 
45.49/45.55	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
45.49/45.55	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
45.49/45.55	c limits/memory = 13950
45.49/45.55	c 
45.49/45.55	c # default clock type (1: CPU user seconds, 2: wall clock time)
45.49/45.55	c # [type: int, range: [1,2], default: 1]
45.49/45.55	c timing/clocktype = 2
45.49/45.55	c 
45.49/45.55	c # belongs reading time to solving time?
45.49/45.55	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
45.49/45.55	c timing/reading = TRUE
45.49/45.55	c 
45.49/45.55	c -----------------------------------------------------------------------------------------------
45.49/45.55	c start solving
45.49/45.55	c 
68.09/68.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
68.09/68.17	c  68.2s|     1 |     0 | 17467 |     - | 325M|   0 |3402 |  15k|  15k|  15k|  15k|   0 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
507.30/507.43	c   507s|     1 |     0 |117009 |     - | 326M|   0 |3769 |  15k|  15k|  15k|  15k| 133 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
550.59/550.78	c   551s|     1 |     0 |134616 |     - | 327M|   0 |4097 |  15k|  15k|  15k|  15k| 220 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
594.39/594.59	c   595s|     1 |     0 |152083 |     - | 327M|   0 |4116 |  15k|  15k|  15k|  15k| 282 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
638.38/638.56	c   639s|     1 |     0 |169305 |     - | 327M|   0 |4068 |  15k|  15k|  15k|  15k| 331 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
684.88/685.01	c   685s|     1 |     0 |187240 |     - | 327M|   0 |4098 |  15k|  15k|  15k|  15k| 366 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
740.97/741.10	c   741s|     1 |     0 |207626 |     - | 327M|   0 |3777 |  15k|  15k|  15k|  15k| 401 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
860.35/860.58	c   861s|     1 |     2 |207626 |     - | 327M|   0 |3777 |  15k|  15k|  15k|  15k| 401 |  15 |  33 | 0.000000e+00 |      --      |    Inf 
1796.81/1797.14	c 
1796.81/1797.14	c SCIP Status        : solving was interrupted [time limit reached]
1796.81/1797.14	c Solving Time (sec) : 1797.14
1796.81/1797.14	c Solving Nodes      : 6
1796.81/1797.14	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.81/1797.14	c Dual Bound         : +0.00000000000000e+00
1796.81/1797.14	c Gap                : infinite
1796.81/1797.14	s UNKNOWN
1796.81/1797.14	c SCIP Status        : solving was interrupted [time limit reached]
1796.81/1797.14	c Total Time         :    1797.14
1796.81/1797.14	c   solving          :    1797.14
1796.81/1797.14	c   presolving       :      45.43 (included in solving)
1796.81/1797.14	c   reading          :       0.08 (included in solving)
1796.81/1797.14	c   copying          :       0.05 (1 #copies) (minimal 0.05, maximal 0.05, average 0.05)
1796.81/1797.14	c Original Problem   :
1796.81/1797.14	c   Problem name     : HOME/instance-3692996-1338044960.opb
1796.81/1797.14	c   Variables        : 16660 (16660 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.81/1797.14	c   Constraints      : 16942 initial, 16942 maximal
1796.81/1797.14	c   Objective sense  : minimize
1796.81/1797.14	c Presolved Problem  :
1796.81/1797.14	c   Problem name     : t_HOME/instance-3692996-1338044960.opb
1796.81/1797.14	c   Variables        : 15243 (15243 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.81/1797.14	c   Constraints      : 15494 initial, 15509 maximal
1796.81/1797.14	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.81/1797.14	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.81/1797.14	c   trivial          :       0.09       0.00          4          0          0          0          0          0          0          0          0
1796.81/1797.14	c   dualfix          :       0.04       0.00          0          0          0          0          0          0          0          0          0
1796.81/1797.14	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.81/1797.14	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.81/1797.14	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.81/1797.14	c   gateextraction   :       0.19       0.00          0          0          0          0          0          0          0          0          0
1796.81/1797.14	c   implics          :       0.47       0.00          0          0          0          0          0          0          0          0          0
1796.81/1797.14	c   components       :       0.01       0.00          0          0          0          0          0          0          0          0          0
1796.81/1797.14	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.81/1797.14	c   probing          :      42.09       0.00        629          1          0          4          0          0          0          0          0
1796.81/1797.14	c   setppc           :       0.21       0.00         39          0          0          0          0        280          0          0          0
1796.81/1797.14	c   linear           :       0.23       0.00        742          0          0        742          0        773          0          0          0
1796.81/1797.14	c   logicor          :       1.90       0.01          2          0          0          4          0        395          0          0          0
1796.81/1797.14	c   root node        :          -          -         15          -          -         15          -          -          -          -          -
1796.81/1797.14	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.81/1797.14	c   integral         :          0          0          0          0          6          0          4          0          0          0          0          0         12
1796.81/1797.14	c   setppc           :       1908       1908          6      63116          0          0          3       3794        270        298          0          0          0
1796.81/1797.14	c   logicor          :      13586+     13601          6      56501          0          0          0      33742        180        672          0          0          0
1796.81/1797.14	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0
1796.81/1797.14	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.81/1797.14	c   integral         :     205.80       0.00       0.00       0.00     205.80       0.00       0.00       0.00
1796.81/1797.14	c   setppc           :       3.16       0.00       0.00       3.16       0.00       0.00       0.00       0.00
1796.81/1797.14	c   logicor          :       5.38       0.01       0.01       5.34       0.00       0.00       0.00       0.02
1796.81/1797.14	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.81/1797.14	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.81/1797.14	c   rootredcost      :          0          0          0          0
1796.81/1797.14	c   pseudoobj        :          0          0          0          0
1796.81/1797.14	c   vbounds          :          0          0          0          0
1796.81/1797.14	c   redcost          :         12          0          0          0
1796.81/1797.14	c   probing          :          0          0          0          0
1796.81/1797.14	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.81/1797.14	c   rootredcost      :       0.02       0.00       0.00       0.02       0.00
1796.81/1797.14	c   pseudoobj        :       0.02       0.00       0.00       0.02       0.00
1796.81/1797.14	c   vbounds          :       0.02       0.00       0.00       0.02       0.00
1796.81/1797.14	c   redcost          :       0.02       0.00       0.00       0.02       0.00
1796.81/1797.14	c   probing          :      42.09       0.00      42.09       0.00       0.00
1796.81/1797.14	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.81/1797.14	c   propagation      :       0.04        450         15         15        1.0          0        0.0          -
1796.81/1797.14	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1796.81/1797.14	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.81/1797.14	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.81/1797.14	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.81/1797.14	c   applied globally :          -          -          -         15        1.0          -          -          -
1796.81/1797.14	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.81/1797.14	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.81/1797.14	c   cut pool         :       0.00                     5          -          -          2          -    (maximal pool size: 453)
1796.81/1797.14	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.81/1797.14	c   impliedbounds    :       0.24       0.00          6          0          0        531          0
1796.81/1797.14	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.81/1797.14	c   gomory           :       5.04       0.00          6          0          0          1          0
1796.81/1797.14	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.81/1797.14	c   strongcg         :       5.08       0.00          6          0          0          1          0
1796.81/1797.14	c   cmir             :       0.78       0.00          6          0          0          0          0
1796.81/1797.14	c   flowcover        :       0.87       0.00          6          0          0          0          0
1796.81/1797.14	c   clique           :      14.80       0.00          6          0          0         60          0
1796.81/1797.14	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.81/1797.14	c   mcf              :       0.02       0.00          1          0          0          0          0
1796.81/1797.14	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.81/1797.14	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1796.81/1797.14	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.81/1797.14	c   problem variables:       0.00          -          0          0
1796.81/1797.14	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.81/1797.14	c   relpscost        :     205.80       0.00          6          0          0          0          0         12
1796.81/1797.14	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.81/1797.14	c   inference        :       0.00       0.00          0          0          0          0          0          0
1796.81/1797.14	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.81/1797.14	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.81/1797.14	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.81/1797.14	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.81/1797.14	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.81/1797.14	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.81/1797.14	c   LP solutions     :       0.00          -          -          0
1796.81/1797.14	c   pseudo solutions :       0.00          -          -          0
1796.81/1797.14	c   oneopt           :       0.00       0.00          0          0
1796.81/1797.14	c   crossover        :       0.00       0.00          0          0
1796.81/1797.14	c   smallcard        :       0.00       0.00          0          0
1796.81/1797.14	c   trivial          :       0.02       0.00          2          0
1796.81/1797.14	c   shiftandpropagate:       0.08       0.00          1          0
1796.81/1797.14	c   simplerounding   :       0.00       0.00          0          0
1796.81/1797.14	c   zirounding       :       0.01       0.00          0          0
1796.81/1797.14	c   rounding         :       0.03       0.00         12          0
1796.81/1797.14	c   shifting         :       0.14       0.00          7          0
1796.81/1797.14	c   intshifting      :       0.00       0.00          0          0
1796.81/1797.14	c   twoopt           :       0.00       0.00          0          0
1796.81/1797.14	c   indtwoopt        :       0.00       0.00          0          0
1796.81/1797.14	c   indoneopt        :       0.00       0.00          0          0
1796.81/1797.14	c   fixandinfer      :       0.00       0.00          0          0
1796.81/1797.14	c   feaspump         :     384.63       0.00          1          0
1796.81/1797.14	c   clique           :       0.00       0.00          0          0
1796.81/1797.14	c   coefdiving       :     353.60       0.00          1          0
1796.81/1797.14	c   indrounding      :       0.00       0.00          0          0
1796.81/1797.14	c   indcoefdiving    :       0.00       0.00          0          0
1796.81/1797.14	c   pscostdiving     :     302.15       0.00          1          0
1796.81/1797.14	c   fracdiving       :       0.00       0.00          1          0
1796.81/1797.14	c   nlpdiving        :       0.00       0.00          0          0
1796.81/1797.14	c   veclendiving     :       0.00       0.00          0          0
1796.81/1797.14	c   intdiving        :       0.00       0.00          0          0
1796.81/1797.14	c   actconsdiving    :       0.00       0.00          0          0
1796.81/1797.14	c   objpscostdiving  :       0.00       0.00          0          0
1796.81/1797.14	c   rootsoldiving    :       0.00       0.00          0          0
1796.81/1797.14	c   linesearchdiving :       0.00       0.00          0          0
1796.81/1797.14	c   guideddiving     :       0.00       0.00          0          0
1796.81/1797.14	c   octane           :       0.00       0.00          0          0
1796.81/1797.14	c   rens             :      48.39       0.00          1          0
1796.81/1797.14	c   rins             :       0.00       0.00          0          0
1796.81/1797.14	c   localbranching   :       0.00       0.00          0          0
1796.81/1797.14	c   mutation         :       0.00       0.00          0          0
1796.81/1797.14	c   dins             :       0.00       0.00          0          0
1796.81/1797.14	c   vbounds          :       0.00       0.00          0          0
1796.81/1797.14	c   undercover       :       0.00       0.00          0          0
1796.81/1797.14	c   subnlp           :       0.00       0.00          0          0
1796.81/1797.14	c   trysol           :       0.00       0.00          0          0
1796.81/1797.14	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.81/1797.14	c   primal LP        :       0.05          1          0       0.00       0.00       0.05          1
1796.81/1797.14	c   dual LP          :     429.78         13     187890   15657.50     437.18       0.04          1
1796.81/1797.14	c   lex dual LP      :       0.00          0          0       0.00          -
1796.81/1797.14	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.81/1797.14	c   diving/probing LP:    1038.84        262     377532    1440.96     363.42
1796.81/1797.14	c   strong branching :     205.78        107      96160     898.69     467.30
1796.81/1797.14	c     (at root node) :          -         33      33000    1000.00          -
1796.81/1797.14	c   conflict analysis:       0.00          0          0       0.00          -
1796.81/1797.14	c B&B Tree           :
1796.81/1797.14	c   number of runs   :          1
1796.81/1797.14	c   nodes            :          6
1796.81/1797.14	c   nodes (total)    :          6
1796.81/1797.14	c   nodes left       :          7
1796.81/1797.14	c   max depth        :          3
1796.81/1797.14	c   max depth (total):          3
1796.81/1797.14	c   backtracks       :          2 (33.3%)
1796.81/1797.14	c   delayed cutoffs  :          0
1796.81/1797.14	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1796.81/1797.14	c   avg switch length:       1.67
1796.81/1797.14	c   switching time   :       0.06
1796.81/1797.14	c Solution           :
1796.81/1797.14	c   Solutions found  :          0 (0 improvements)
1796.81/1797.14	c   Primal Bound     :          -
1796.81/1797.14	c   Dual Bound       : +0.00000000000000e+00
1796.81/1797.14	c   Gap              :   infinite
1796.81/1797.14	c   Root Dual Bound  : +0.00000000000000e+00
1796.81/1797.14	c   Root Iterations  :     207626
1796.90/1797.28	c Time complete: 1796.99.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3692996-1338044960/watcher-3692996-1338044960 -o /tmp/evaluation-result-3692996-1338044960/solver-3692996-1338044960 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692996-1338044960.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 25514
/proc/meminfo: memFree=27136232/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=10736 CPUtime=0 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 1428 0 0 0 0 0 0 0 20 0 1 0 270622144 10993664 1382 33554432000 4194304 10169799 140736602828304 140735993442008 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 2789 1385 409 1459 0 1321 0

[startup+0.021258 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 25514
/proc/meminfo: memFree=27136232/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=22624 CPUtime=0.01 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 4147 0 0 0 1 0 0 0 20 0 1 0 270622144 23166976 4102 33554432000 4194304 10169799 140736602828304 140735993442008 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 5656 4129 409 1459 0 4188 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 22624

[startup+0.100357 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 25514
/proc/meminfo: memFree=27136232/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=47192 CPUtime=0.09 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 10509 0 0 0 8 1 0 0 20 0 1 0 270622144 48324608 10463 33554432000 4194304 10169799 140736602828304 140735993442008 7543003 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 11798 10463 460 1459 0 10330 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47192

[startup+0.300314 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 25514
/proc/meminfo: memFree=27136232/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=81300 CPUtime=0.29 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 18764 0 0 0 25 4 0 0 20 0 1 0 270622144 83251200 18455 33554432000 4194304 10169799 140736602828304 140736602826456 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 20325 18455 557 1459 0 18857 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 81300

[startup+0.70032 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 25514
/proc/meminfo: memFree=27136232/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=101376 CPUtime=0.69 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 24598 0 0 0 61 8 0 0 20 0 1 0 270622144 103809024 23481 33554432000 4194304 10169799 140736602828304 140736602826456 6912229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 25344 23481 580 1459 0 23876 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 101376

[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25515
/proc/meminfo: memFree=27012432/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=174072 CPUtime=1.49 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 41417 0 0 0 139 10 0 0 20 0 1 0 270622144 178249728 40191 33554432000 4194304 10169799 140736602828304 140736602824568 8918680 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 43518 40191 596 1459 0 42050 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 174072

[startup+3.10027 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25515
/proc/meminfo: memFree=26953036/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=203620 CPUtime=3.09 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 48472 0 0 0 298 11 0 0 20 0 1 0 270622144 208506880 47246 33554432000 4194304 10169799 140736602828304 140736602824568 8920320 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 50905 47246 596 1459 0 49437 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 203620

[startup+6.30031 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25515
/proc/meminfo: memFree=26931716/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=240648 CPUtime=6.29 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 57413 0 0 0 616 13 0 0 20 0 1 0 270622144 246423552 56187 33554432000 4194304 10169799 140736602828304 140736602825832 8922351 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 60162 56187 596 1459 0 58694 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 240648

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25515
/proc/meminfo: memFree=26873336/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=293340 CPUtime=12.68 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 70441 0 0 0 1253 15 0 0 20 0 1 0 270622144 300380160 69215 33554432000 4194304 10169799 140736602828304 140736602825832 7547449 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 73335 69215 601 1459 0 71867 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 293340

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25515
/proc/meminfo: memFree=26698752/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=457056 CPUtime=25.49 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 111157 0 0 0 2510 39 0 0 20 0 1 0 270622144 468025344 109931 33554432000 4194304 10169799 140736602828304 140736602825832 6916923 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 114264 109931 605 1459 0 112796 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 457056

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25518
/proc/meminfo: memFree=26526516/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=630968 CPUtime=51.09 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 154828 0 0 0 5042 67 0 0 20 0 1 0 270622144 646111232 152970 33554432000 4194304 10169799 140736602828304 140736602822808 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 157742 152970 760 1459 0 156274 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 630968

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25557
/proc/meminfo: memFree=26324664/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=642040 CPUtime=102.28 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 158087 0 0 0 10157 71 0 0 20 0 1 0 270622144 657448960 156398 33554432000 4194304 10169799 140736602828304 140736602820584 8020355 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 160510 156398 777 1459 0 159042 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 642040

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25557
/proc/meminfo: memFree=26302680/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=642040 CPUtime=162.27 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 158087 0 0 0 16152 75 0 0 20 0 1 0 270622144 657448960 158072 33554432000 4194304 10169799 140736602828304 140736602820712 8021712 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 160510 158072 777 1459 0 159042 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 642040

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25557
/proc/meminfo: memFree=26300104/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=642040 CPUtime=222.25 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 158087 0 0 0 22147 78 0 0 20 0 1 0 270622144 657448960 158654 33554432000 4194304 10169799 140736602828304 140736602820584 8020672 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 160510 158654 777 1459 0 159042 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 642040

[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 25557
/proc/meminfo: memFree=26300380/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=642040 CPUtime=282.24 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 158087 0 0 0 28143 81 0 0 20 0 1 0 270622144 657448960 158658 33554432000 4194304 10169799 140736602828304 140736602820984 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 160510 158658 777 1459 0 159042 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 642040

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 25557
/proc/meminfo: memFree=26299912/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=642040 CPUtime=342.24 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 158087 0 0 0 34138 86 0 0 20 0 1 0 270622144 657448960 158792 33554432000 4194304 10169799 140736602828304 140736602820520 7984878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 160510 158792 777 1459 0 159042 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 642040

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 25558
/proc/meminfo: memFree=26307692/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=642040 CPUtime=402.23 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 158089 0 0 0 40134 89 0 0 20 0 1 0 270622144 657448960 159241 33554432000 4194304 10169799 140736602828304 140736602819880 8021767 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 160510 159241 777 1459 0 159042 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 642040

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25558
/proc/meminfo: memFree=26278764/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=631540 CPUtime=462.21 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 158120 0 0 0 46096 125 0 0 20 0 1 0 270622144 646696960 157155 33554432000 4194304 10169799 140736602828304 140736602825416 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 157885 157155 795 1459 0 156417 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 631540

[startup+522.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 25558
/proc/meminfo: memFree=26229732/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=680440 CPUtime=522.2 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 164473 0 0 0 52057 163 0 0 20 0 1 0 270622144 696770560 168107 33554432000 4194304 10169799 140736602828304 140736602822760 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 170110 168107 807 1459 0 168642 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 680440

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 25558
/proc/meminfo: memFree=26220336/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=684372 CPUtime=582.19 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 167554 0 0 0 58049 170 0 0 20 0 1 0 270622144 700796928 168789 33554432000 4194304 10169799 140736602828304 140736602822632 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 171093 168789 807 1459 0 169625 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 684372

[startup+642.3 s]

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

/proc/meminfo: memFree=26213340/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=688612 CPUtime=1122.11 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 256640 0 0 0 111942 269 0 0 20 0 1 0 270622144 705138688 169460 33554432000 4194304 10169799 140736602828304 140736602822168 8009542 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 172153 169460 864 1459 0 170685 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 688612

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25564
/proc/meminfo: memFree=26219336/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=681464 CPUtime=1182.1 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 257128 0 0 0 117932 278 0 0 20 0 1 0 270622144 697819136 168391 33554432000 4194304 10169799 140736602828304 140736602822536 8009802 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 170366 168391 864 1459 0 168898 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 681464

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25567
/proc/meminfo: memFree=26215968/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=681464 CPUtime=1242.08 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 257128 0 0 0 123921 287 0 0 20 0 1 0 270622144 697819136 168424 33554432000 4194304 10169799 140736602828304 140736602822264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 170366 168424 864 1459 0 168898 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 681464

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25568
/proc/meminfo: memFree=26215852/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=681464 CPUtime=1302.09 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 257128 0 0 0 129914 295 0 0 20 0 1 0 270622144 697819136 168424 33554432000 4194304 10169799 140736602828304 140736602822264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 170366 168424 864 1459 0 168898 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 681464

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25568
/proc/meminfo: memFree=26215852/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=681464 CPUtime=1362.07 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 257128 0 0 0 135904 303 0 0 20 0 1 0 270622144 697819136 168424 33554432000 4194304 10169799 140736602828304 140736602822264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 170366 168424 864 1459 0 168898 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 681464

[startup+1422.31 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 25568
/proc/meminfo: memFree=26211760/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=685624 CPUtime=1422.07 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 258155 0 0 0 141897 310 0 0 20 0 1 0 270622144 702078976 169451 33554432000 4194304 10169799 140736602828304 140736602822632 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 171406 169451 864 1459 0 169938 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 685624

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 25568
/proc/meminfo: memFree=26216848/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=683500 CPUtime=1482.05 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 293507 0 0 0 147879 326 0 0 20 0 1 0 270622144 699904000 168818 33554432000 4194304 10169799 140736602828304 140736602822424 8051819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 170875 168818 864 1459 0 169407 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 683500

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25568
/proc/meminfo: memFree=26216160/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=683500 CPUtime=1542.04 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 293530 0 0 0 153870 334 0 0 20 0 1 0 270622144 699904000 168841 33554432000 4194304 10169799 140736602828304 140736602822328 8009480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 170875 168841 864 1459 0 169407 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 683500

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25569
/proc/meminfo: memFree=26216160/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=683500 CPUtime=1602.03 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 293530 0 0 0 159862 341 0 0 20 0 1 0 270622144 699904000 168841 33554432000 4194304 10169799 140736602828304 140736602822424 7983406 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 170875 168841 864 1459 0 169407 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 683500

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25569
/proc/meminfo: memFree=26216284/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=683500 CPUtime=1662.03 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 293530 0 0 0 165852 351 0 0 20 0 1 0 270622144 699904000 168841 33554432000 4194304 10169799 140736602828304 140736602822328 8009472 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 170875 168841 864 1459 0 169407 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 683500

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25569
/proc/meminfo: memFree=26215788/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=683500 CPUtime=1722.02 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 293650 0 0 0 171843 359 0 0 20 0 1 0 270622144 699904000 168961 33554432000 4194304 10169799 140736602828304 140736602822424 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 170875 168961 864 1459 0 169407 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 683500

[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 25569
/proc/meminfo: memFree=26217772/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=681876 CPUtime=1782.01 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 295266 0 0 0 177833 368 0 0 20 0 1 0 270622144 698241024 168501 33554432000 4194304 10169799 140736602828304 140736602822808 8009519 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 170469 168501 864 1459 0 169001 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 681876

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

[startup+1785.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 25569
/proc/meminfo: memFree=26217772/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=681876 CPUtime=1785.21 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 295266 0 0 0 178152 369 0 0 20 0 1 0 270622144 698241024 168501 33554432000 4194304 10169799 140736602828304 140736602823096 7983411 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 170469 168501 864 1459 0 169001 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 681876

[startup+1791.91 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 25569
/proc/meminfo: memFree=26217524/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=683128 CPUtime=1791.61 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 297216 0 0 0 178791 370 0 0 20 0 1 0 270622144 699523072 168569 33554432000 4194304 10169799 140736602828304 140736602822632 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 170782 168569 864 1459 0 169314 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 683128

[startup+1795.1 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 25569
/proc/meminfo: memFree=26215416/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=684424 CPUtime=1794.81 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 303507 0 0 0 179109 372 0 0 20 0 1 0 270622144 700850176 168900 33554432000 4194304 10169799 140736602828304 140736602822952 8051500 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 171106 168900 864 1459 0 169638 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 684424

[startup+1795.9 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 25569
/proc/meminfo: memFree=26215416/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=680060 CPUtime=1795.6 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 304626 0 0 0 179188 372 0 0 20 0 1 0 270622144 696381440 167993 33554432000 4194304 10169799 140736602828304 140736602823000 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 170015 167993 864 1459 0 168547 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 680060

[startup+1796.7 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 25569
/proc/meminfo: memFree=26216036/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=680340 CPUtime=1796.41 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 306577 0 0 0 179268 373 0 0 20 0 1 0 270622144 696668160 168061 33554432000 4194304 10169799 140736602828304 140736602822280 8009540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 170085 168061 864 1459 0 168617 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 680340

[startup+1797.1 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 25569
/proc/meminfo: memFree=26216036/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=682380 CPUtime=1796.81 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 307162 0 0 0 179308 373 0 0 20 0 1 0 270622144 698757120 168646 33554432000 4194304 10169799 140736602828304 140736602822280 8044224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 170595 168646 864 1459 0 169127 0
Current children cumulated CPU time (s) 1796.81
Current children cumulated vsize (KiB) 682380

[startup+1797.2 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 25569
/proc/meminfo: memFree=26216036/32873844 swapFree=7364/7364
[pid=25514] ppid=25512 vsize=638520 CPUtime=1796.9 cores=1,3,5,7
/proc/25514/stat : 25514 (scip-2.1.1.4sfi) R 25512 25514 21011 0 -1 4202496 307164 0 0 0 179317 373 0 0 20 0 1 0 270622144 653844480 158932 33554432000 4194304 10169799 140736602828304 140736602822280 7547306 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25514/statm: 159630 158932 866 1459 0 158162 0
Current children cumulated CPU time (s) 1796.9
Current children cumulated vsize (KiB) 638520

Child status: 0
Real time (s): 1797.29
CPU time (s): 1797
CPU user time (s): 1793.26
CPU system time (s): 3.74443
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 757340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.26
system time used= 3.74443
maximum resident set size= 746720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 307166
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= 21
involuntary context switches= 1868

runsolver used 3.03954 second user time and 7.59185 second system time

The end

Launcher Data 

Begin job on node118 at 2012-05-26 17:09:20
IDJOB=3692996
IDBENCH=90196
IDSOLVER=2272
FILE ID=node118/3692996-1338044960
RUNJOBID= node118-1338029245-21966
PBS_JOBID= 14624353
Free space on /tmp= 71584 MiB

SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K140.opb
COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692996-1338044960/watcher-3692996-1338044960 -o /tmp/evaluation-result-3692996-1338044960/solver-3692996-1338044960 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692996-1338044960.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 59945e7fb6f70b0a7aeb9a0267c89f72
RANDOM SEED=1354616511

node118.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.212
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.212
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.212
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.212
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.212
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5320.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.212
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.212
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.212
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27136620 kB
Buffers:          255376 kB
Cached:          4332124 kB
SwapCached:            0 kB
Active:           930488 kB
Inactive:        4029268 kB
Active(anon):     373328 kB
Inactive(anon):        0 kB
Active(file):     557160 kB
Inactive(file):  4029268 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14788 kB
Writeback:             0 kB
AnonPages:        318328 kB
Mapped:            17576 kB
Shmem:               200 kB
Slab:             639056 kB
SReclaimable:      81332 kB
SUnreclaim:       557724 kB
KernelStack:        1472 kB
PageTables:         5056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     487348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    282624 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71568 MiB
End job on node118 at 2012-05-26 17:39:18