Trace number 2665456

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 solver? (TO) 1802.19 1802.73

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
MD5SUM8c486f10dc9ea0956b38d79189648654
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark786.704
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables109757
Total number of constraints313451
Number of constraints which are clauses295929
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17522
Minimum length of a constraint1
Maximum length of a constraint15
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 130
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 512
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

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-2665456-1276340769.opb>
6.19/6.26	c original problem has 109757 variables (109757 bin, 0 int, 0 impl, 0 cont) and 313451 constraints
6.19/6.26	c problem read
6.19/6.27	c No objective function, only one solution is needed.
6.19/6.28	c presolving settings loaded
7.89/7.97	c presolving:
13.99/14.07	c (round 1) 4625 del vars, 6402 del conss, 2234 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6521963 impls, 0 clqs
14.48/14.59	c (round 2) 4627 del vars, 12003 del conss, 2236 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6521963 impls, 0 clqs
15.18/15.22	c (round 3) 4637 del vars, 12035 del conss, 2247 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6522436 impls, 0 clqs
15.49/15.59	c (round 4) 4702 del vars, 12091 del conss, 2257 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6523703 impls, 0 clqs
15.88/15.96	c (round 5) 4726 del vars, 12242 del conss, 2270 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6524282 impls, 0 clqs
16.28/16.33	c (round 6) 4766 del vars, 12324 del conss, 2284 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6525528 impls, 0 clqs
16.69/16.71	c (round 7) 4826 del vars, 12456 del conss, 2299 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6525800 impls, 0 clqs
16.99/17.09	c (round 8) 4911 del vars, 12651 del conss, 2315 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6527112 impls, 0 clqs
17.39/17.46	c (round 9) 4962 del vars, 12867 del conss, 2330 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6527660 impls, 0 clqs
17.78/17.83	c (round 10) 4992 del vars, 12994 del conss, 2343 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6528205 impls, 0 clqs
18.08/18.20	c (round 11) 5017 del vars, 13082 del conss, 2355 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6528713 impls, 0 clqs
18.48/18.57	c (round 12) 5069 del vars, 13174 del conss, 2363 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6529839 impls, 0 clqs
18.89/18.93	c (round 13) 5096 del vars, 13303 del conss, 2369 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6531031 impls, 0 clqs
19.29/19.30	c (round 14) 5106 del vars, 13365 del conss, 2376 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6531221 impls, 0 clqs
19.59/19.66	c (round 15) 5129 del vars, 13404 del conss, 2385 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6531619 impls, 0 clqs
19.99/20.03	c (round 16) 5177 del vars, 13500 del conss, 2400 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6532103 impls, 0 clqs
20.38/20.40	c (round 17) 5255 del vars, 13673 del conss, 2414 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6534699 impls, 0 clqs
20.69/20.77	c (round 18) 5273 del vars, 13838 del conss, 2422 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6534949 impls, 0 clqs
21.09/21.13	c (round 19) 5302 del vars, 13897 del conss, 2431 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6535753 impls, 0 clqs
21.49/21.50	c (round 20) 5350 del vars, 14004 del conss, 2442 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6535944 impls, 0 clqs
21.79/21.87	c (round 21) 5388 del vars, 14133 del conss, 2450 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6536836 impls, 0 clqs
22.19/22.23	c (round 22) 5400 del vars, 14215 del conss, 2460 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6537316 impls, 0 clqs
22.49/22.59	c (round 23) 5439 del vars, 14274 del conss, 2473 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6537983 impls, 0 clqs
22.89/22.96	c (round 24) 5466 del vars, 14377 del conss, 2486 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6538359 impls, 0 clqs
23.28/23.32	c (round 25) 5499 del vars, 14460 del conss, 2501 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6538781 impls, 0 clqs
23.59/23.68	c (round 26) 5522 del vars, 14541 del conss, 2512 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6539049 impls, 0 clqs
23.99/24.04	c (round 27) 5545 del vars, 14613 del conss, 2525 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6539331 impls, 0 clqs
24.39/24.41	c (round 28) 5557 del vars, 14661 del conss, 2531 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6539389 impls, 0 clqs
24.68/24.77	c (round 29) 5570 del vars, 14704 del conss, 2538 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6539617 impls, 0 clqs
25.59/25.67	c (round 30) 5583 del vars, 14775 del conss, 2551 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6539853 impls, 0 clqs
25.99/26.04	c (round 31) 5649 del vars, 14821 del conss, 2558 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6540723 impls, 0 clqs
26.29/26.40	c (round 32) 5661 del vars, 14961 del conss, 2568 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6541009 impls, 0 clqs
26.68/26.76	c (round 33) 5681 del vars, 15002 del conss, 2578 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6541147 impls, 0 clqs
27.08/27.12	c (round 34) 5709 del vars, 15066 del conss, 2591 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6541333 impls, 0 clqs
27.39/27.49	c (round 35) 5753 del vars, 15166 del conss, 2608 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6542558 impls, 0 clqs
27.78/27.85	c (round 36) 5792 del vars, 15288 del conss, 2623 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6543258 impls, 0 clqs
28.18/28.21	c (round 37) 5817 del vars, 15387 del conss, 2638 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6543544 impls, 0 clqs
28.49/28.57	c (round 38) 5831 del vars, 15440 del conss, 2646 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6543620 impls, 0 clqs
28.89/28.93	c (round 39) 5844 del vars, 15487 del conss, 2653 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6543868 impls, 0 clqs
29.78/29.83	c (round 40) 5857 del vars, 15558 del conss, 2666 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6544102 impls, 0 clqs
30.19/30.20	c (round 41) 5923 del vars, 15604 del conss, 2673 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6544972 impls, 0 clqs
30.48/30.56	c (round 42) 5935 del vars, 15744 del conss, 2683 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6545436 impls, 0 clqs
30.88/30.92	c (round 43) 5956 del vars, 15785 del conss, 2693 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6546780 impls, 0 clqs
31.18/31.29	c (round 44) 6014 del vars, 15876 del conss, 2709 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6549924 impls, 0 clqs
31.58/31.65	c (round 45) 6051 del vars, 16038 del conss, 2726 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6550702 impls, 0 clqs
31.98/32.01	c (round 46) 6094 del vars, 16171 del conss, 2752 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6551546 impls, 0 clqs
32.28/32.37	c (round 47) 6113 del vars, 16245 del conss, 2761 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6553044 impls, 0 clqs
32.89/33.00	c (round 48) 6116 del vars, 16276 del conss, 2764 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6553050 impls, 0 clqs
33.28/33.36	c (round 49) 6150 del vars, 16313 del conss, 2768 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6553112 impls, 0 clqs
33.68/33.73	c (round 50) 6184 del vars, 16414 del conss, 2773 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6553920 impls, 0 clqs
34.08/34.10	c (round 51) 6194 del vars, 16489 del conss, 2781 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6554382 impls, 0 clqs
34.37/34.47	c (round 52) 6215 del vars, 16526 del conss, 2791 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6555100 impls, 0 clqs
34.77/34.83	c (round 53) 6261 del vars, 16609 del conss, 2804 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6557566 impls, 0 clqs
35.08/35.19	c (round 54) 6304 del vars, 16750 del conss, 2823 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6558166 impls, 0 clqs
35.47/35.55	c (round 55) 6322 del vars, 16841 del conss, 2833 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6558362 impls, 0 clqs
35.87/35.91	c (round 56) 6342 del vars, 16893 del conss, 2843 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6558586 impls, 0 clqs
36.18/36.27	c (round 57) 6356 del vars, 16943 del conss, 2851 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6558898 impls, 0 clqs
36.58/36.63	c (round 58) 6363 del vars, 16983 del conss, 2858 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6558950 impls, 0 clqs
37.17/37.26	c (round 59) 6373 del vars, 17035 del conss, 2868 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6559112 impls, 0 clqs
37.58/37.62	c (round 60) 6439 del vars, 17081 del conss, 2875 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6560050 impls, 0 clqs
37.88/37.98	c (round 61) 6451 del vars, 17221 del conss, 2885 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6560336 impls, 0 clqs
38.27/38.34	c (round 62) 6473 del vars, 17263 del conss, 2897 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6560478 impls, 0 clqs
38.67/38.70	c (round 63) 6501 del vars, 17331 del conss, 2910 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6560632 impls, 0 clqs
38.97/39.07	c (round 64) 6545 del vars, 17431 del conss, 2926 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6562834 impls, 0 clqs
39.37/39.44	c (round 65) 6582 del vars, 17550 del conss, 2941 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6563458 impls, 0 clqs
39.76/39.80	c (round 66) 6607 del vars, 17647 del conss, 2956 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6563752 impls, 0 clqs
40.07/40.16	c (round 67) 6620 del vars, 17700 del conss, 2964 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6563852 impls, 0 clqs
40.46/40.52	c (round 68) 6635 del vars, 17759 del conss, 2979 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6563872 impls, 0 clqs
41.87/41.95	c (round 69) 6645 del vars, 17790 del conss, 2989 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6564092 impls, 0 clqs
44.77/44.88	c (round 70) 6645 del vars, 17854 del conss, 2989 chg bounds, 8761 chg sides, 18368 chg coeffs, 295597 upgd conss, 6564120 impls, 0 clqs
45.96/46.01	c presolving (71 rounds):
45.96/46.01	c  6645 deleted vars, 17854 deleted constraints, 2989 tightened bounds, 0 added holes, 8761 changed sides, 18368 changed coefficients
45.96/46.01	c  6564120 implications, 0 cliques
45.96/46.01	c presolved problem has 103112 variables (103112 bin, 0 int, 0 impl, 0 cont) and 295597 constraints
45.96/46.01	c   17522 constraints of type <knapsack>
45.96/46.01	c  278075 constraints of type <logicor>
45.96/46.01	c transformed objective value is always integral (scale: 1)
45.96/46.01	c Presolving Time: 26.97
45.96/46.01	c - non default parameters ----------------------------------------------------------------------
45.96/46.01	c # SCIP version 1.2.1.2
45.96/46.01	c 
45.96/46.01	c # frequency for displaying node information lines
45.96/46.01	c # [type: int, range: [-1,2147483647], default: 100]
45.96/46.01	c display/freq = 10000
45.96/46.01	c 
45.96/46.01	c # maximal time in seconds to run
45.96/46.01	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
45.96/46.01	c limits/time = 1793.72
45.96/46.01	c 
45.96/46.01	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
45.96/46.01	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
45.96/46.01	c limits/memory = 1620
45.96/46.01	c 
45.96/46.01	c # solving stops, if the given number of solutions were found (-1: no limit)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: -1]
45.96/46.01	c limits/solutions = 1
45.96/46.01	c 
45.96/46.01	c # maximal number of separation rounds per node (-1: unlimited)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: 5]
45.96/46.01	c separating/maxrounds = 1
45.96/46.01	c 
45.96/46.01	c # maximal number of separation rounds in the root node (-1: unlimited)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: -1]
45.96/46.01	c separating/maxroundsroot = 5
45.96/46.01	c 
45.96/46.01	c # should presolving try to simplify inequalities
45.96/46.01	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
45.96/46.01	c constraints/linear/simplifyinequalities = TRUE
45.96/46.01	c 
45.96/46.01	c # should disaggregation of knapsack constraints be allowed in preprocessing?
45.96/46.01	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
45.96/46.01	c constraints/knapsack/disaggregation = FALSE
45.96/46.01	c 
45.96/46.01	c # should presolving try to simplify knapsacks
45.96/46.01	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
45.96/46.01	c constraints/knapsack/simplifyinequalities = TRUE
45.96/46.01	c 
45.96/46.01	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: -1]
45.96/46.01	c presolving/probing/maxrounds = 0
45.96/46.01	c 
45.96/46.01	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: 10]
45.96/46.01	c heuristics/coefdiving/freq = -1
45.96/46.01	c 
45.96/46.01	c # maximal fraction of diving LP iterations compared to node LP iterations
45.96/46.01	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
45.96/46.01	c heuristics/coefdiving/maxlpiterquot = 0.075
45.96/46.01	c 
45.96/46.01	c # additional number of allowed LP iterations
45.96/46.01	c # [type: int, range: [0,2147483647], default: 1000]
45.96/46.01	c heuristics/coefdiving/maxlpiterofs = 1500
45.96/46.01	c 
45.96/46.01	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: 30]
45.96/46.01	c heuristics/crossover/freq = -1
45.96/46.01	c 
45.96/46.01	c # number of nodes added to the contingent of the total nodes
45.96/46.01	c # [type: longint, range: [0,9223372036854775807], default: 500]
45.96/46.01	c heuristics/crossover/nodesofs = 750
45.96/46.01	c 
45.96/46.01	c # number of nodes without incumbent change that heuristic should wait
45.96/46.01	c # [type: longint, range: [0,9223372036854775807], default: 200]
45.96/46.01	c heuristics/crossover/nwaitingnodes = 100
45.96/46.01	c 
45.96/46.01	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
45.96/46.01	c # [type: real, range: [0,1], default: 0.1]
45.96/46.01	c heuristics/crossover/nodesquot = 0.15
45.96/46.01	c 
45.96/46.01	c # minimum percentage of integer variables that have to be fixed 
45.96/46.01	c # [type: real, range: [0,1], default: 0.666]
45.96/46.01	c heuristics/crossover/minfixingrate = 0.5
45.96/46.01	c 
45.96/46.01	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: 20]
45.96/46.01	c heuristics/feaspump/freq = -1
45.96/46.01	c 
45.96/46.01	c # additional number of allowed LP iterations
45.96/46.01	c # [type: int, range: [0,2147483647], default: 1000]
45.96/46.01	c heuristics/feaspump/maxlpiterofs = 2000
45.96/46.01	c 
45.96/46.01	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: 10]
45.96/46.01	c heuristics/fracdiving/freq = -1
45.96/46.01	c 
45.96/46.01	c # maximal fraction of diving LP iterations compared to node LP iterations
45.96/46.01	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
45.96/46.01	c heuristics/fracdiving/maxlpiterquot = 0.075
45.96/46.01	c 
45.96/46.01	c # additional number of allowed LP iterations
45.96/46.01	c # [type: int, range: [0,2147483647], default: 1000]
45.96/46.01	c heuristics/fracdiving/maxlpiterofs = 1500
45.96/46.01	c 
45.96/46.01	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: 10]
45.96/46.01	c heuristics/guideddiving/freq = -1
45.96/46.01	c 
45.96/46.01	c # maximal fraction of diving LP iterations compared to node LP iterations
45.96/46.01	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
45.96/46.01	c heuristics/guideddiving/maxlpiterquot = 0.075
45.96/46.01	c 
45.96/46.01	c # additional number of allowed LP iterations
45.96/46.01	c # [type: int, range: [0,2147483647], default: 1000]
45.96/46.01	c heuristics/guideddiving/maxlpiterofs = 1500
45.96/46.01	c 
45.96/46.01	c # maximal fraction of diving LP iterations compared to node LP iterations
45.96/46.01	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
45.96/46.01	c heuristics/intdiving/maxlpiterquot = 0.075
45.96/46.01	c 
45.96/46.01	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: 10]
45.96/46.01	c heuristics/intshifting/freq = -1
45.96/46.01	c 
45.96/46.01	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: 10]
45.96/46.01	c heuristics/linesearchdiving/freq = -1
45.96/46.01	c 
45.96/46.01	c # maximal fraction of diving LP iterations compared to node LP iterations
45.96/46.01	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
45.96/46.01	c heuristics/linesearchdiving/maxlpiterquot = 0.075
45.96/46.01	c 
45.96/46.01	c # additional number of allowed LP iterations
45.96/46.01	c # [type: int, range: [0,2147483647], default: 1000]
45.96/46.01	c heuristics/linesearchdiving/maxlpiterofs = 1500
45.96/46.01	c 
45.96/46.01	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: 1]
45.96/46.01	c heuristics/nlp/freq = -1
45.96/46.01	c 
45.96/46.01	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: 20]
45.96/46.01	c heuristics/objpscostdiving/freq = -1
45.96/46.01	c 
45.96/46.01	c # maximal fraction of diving LP iterations compared to total iteration number
45.96/46.01	c # [type: real, range: [0,1], default: 0.01]
45.96/46.01	c heuristics/objpscostdiving/maxlpiterquot = 0.015
45.96/46.01	c 
45.96/46.01	c # additional number of allowed LP iterations
45.96/46.01	c # [type: int, range: [0,2147483647], default: 1000]
45.96/46.01	c heuristics/objpscostdiving/maxlpiterofs = 1500
45.96/46.01	c 
45.96/46.01	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: 1]
45.96/46.01	c heuristics/oneopt/freq = -1
45.96/46.01	c 
45.96/46.01	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: 10]
45.96/46.01	c heuristics/pscostdiving/freq = -1
45.96/46.01	c 
45.96/46.01	c # maximal fraction of diving LP iterations compared to node LP iterations
45.96/46.01	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
45.96/46.01	c heuristics/pscostdiving/maxlpiterquot = 0.075
45.96/46.01	c 
45.96/46.01	c # additional number of allowed LP iterations
45.96/46.01	c # [type: int, range: [0,2147483647], default: 1000]
45.96/46.01	c heuristics/pscostdiving/maxlpiterofs = 1500
45.96/46.01	c 
45.96/46.01	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: 0]
45.96/46.01	c heuristics/rens/freq = -1
45.96/46.01	c 
45.96/46.01	c # minimum percentage of integer variables that have to be fixable 
45.96/46.01	c # [type: real, range: [0,1], default: 0.5]
45.96/46.01	c heuristics/rens/minfixingrate = 0.3
45.96/46.01	c 
45.96/46.01	c # number of nodes added to the contingent of the total nodes
45.96/46.01	c # [type: longint, range: [0,9223372036854775807], default: 500]
45.96/46.01	c heuristics/rens/nodesofs = 2000
45.96/46.01	c 
45.96/46.01	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: 20]
45.96/46.01	c heuristics/rootsoldiving/freq = -1
45.96/46.01	c 
45.96/46.01	c # maximal fraction of diving LP iterations compared to node LP iterations
45.96/46.01	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
45.96/46.01	c heuristics/rootsoldiving/maxlpiterquot = 0.015
45.96/46.01	c 
45.96/46.01	c # additional number of allowed LP iterations
45.96/46.01	c # [type: int, range: [0,2147483647], default: 1000]
45.96/46.01	c heuristics/rootsoldiving/maxlpiterofs = 1500
45.96/46.01	c 
45.96/46.01	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: 1]
45.96/46.01	c heuristics/rounding/freq = -1
45.96/46.01	c 
45.96/46.01	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: 10]
45.96/46.01	c heuristics/shifting/freq = -1
45.96/46.01	c 
45.96/46.01	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: 1]
45.96/46.01	c heuristics/simplerounding/freq = -1
45.96/46.01	c 
45.96/46.01	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: 0]
45.96/46.01	c heuristics/trivial/freq = -1
45.96/46.01	c 
45.96/46.01	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: 1]
45.96/46.01	c heuristics/trysol/freq = -1
45.96/46.01	c 
45.96/46.01	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: 10]
45.96/46.01	c heuristics/veclendiving/freq = -1
45.96/46.01	c 
45.96/46.01	c # maximal fraction of diving LP iterations compared to node LP iterations
45.96/46.01	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
45.96/46.01	c heuristics/veclendiving/maxlpiterquot = 0.075
45.96/46.01	c 
45.96/46.01	c # additional number of allowed LP iterations
45.96/46.01	c # [type: int, range: [0,2147483647], default: 1000]
45.96/46.01	c heuristics/veclendiving/maxlpiterofs = 1500
45.96/46.01	c 
45.96/46.01	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: 1]
45.96/46.01	c heuristics/zirounding/freq = -1
45.96/46.01	c 
45.96/46.01	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: 0]
45.96/46.01	c separating/cmir/freq = -1
45.96/46.01	c 
45.96/46.01	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: 0]
45.96/46.01	c separating/flowcover/freq = -1
45.96/46.01	c 
45.96/46.01	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
45.96/46.01	c # [type: int, range: [-1,2147483647], default: -1]
45.96/46.01	c separating/rapidlearning/freq = 0
45.96/46.01	c 
45.96/46.01	c -----------------------------------------------------------------------------------------------
45.96/46.01	c start solving
46.07/46.12	c 
59.06/59.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
59.06/59.17	c  40.1s|     1 |     0 | 12902 |     - | 801M|   0 |  11k| 103k| 295k| 103k| 295k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
433.86/434.01	c   411s|     1 |     0 | 35971 |     - | 801M|   0 |  25k| 103k| 295k| 103k| 295k| 259 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1800.07/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11152
/proc/meminfo: memFree=1751756/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=9288 CPUtime=0
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 1072 0 0 0 0 0 0 0 20 0 1 0 9680919 9510912 992 1992294400 4194304 9819077 140733777644944 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11152/statm: 2322 1002 371 1374 0 943 0

[startup+0.0743499 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11152
/proc/meminfo: memFree=1751756/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=13556 CPUtime=0.06
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 2324 0 0 0 6 0 0 0 20 0 1 0 9680919 13881344 2244 1992294400 4194304 9819077 140733777644944 18446744073709551615 8585931 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11152/statm: 3389 2244 386 1374 0 2010 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13556

[startup+0.10035 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11152
/proc/meminfo: memFree=1751756/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=15448 CPUtime=0.09
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 2807 0 0 0 9 0 0 0 20 0 1 0 9680919 15818752 2727 1992294400 4194304 9819077 140733777644944 18446744073709551615 4361643 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11152/statm: 3862 2727 386 1374 0 2483 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15448

[startup+0.300365 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11152
/proc/meminfo: memFree=1751756/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=22216 CPUtime=0.29
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 4409 0 0 0 28 1 0 0 20 0 1 0 9680919 22749184 4329 1992294400 4194304 9819077 140733777644944 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11152/statm: 5554 4339 386 1374 0 4175 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22216

[startup+0.700398 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11152
/proc/meminfo: memFree=1751756/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=35284 CPUtime=0.69
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 7767 0 0 0 67 2 0 0 21 0 1 0 9680919 36130816 7687 1992294400 4194304 9819077 140733777644944 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11152/statm: 8821 7687 386 1374 0 7442 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35284

[startup+1.50046 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11153
/proc/meminfo: memFree=1712316/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=61080 CPUtime=1.49
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 14156 0 0 0 144 5 0 0 23 0 1 0 9680919 62545920 14076 1992294400 4194304 9819077 140733777644944 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11152/statm: 15270 14076 386 1374 0 13891 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 61080

[startup+3.10059 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11153
/proc/meminfo: memFree=1677968/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=111700 CPUtime=3.09
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 26809 0 0 0 298 11 0 0 25 0 1 0 9680919 114380800 26729 1992294400 4194304 9819077 140733777644944 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11152/statm: 27925 26729 386 1374 0 26546 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 111700

[startup+6.30085 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11153
/proc/meminfo: memFree=1573808/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=205932 CPUtime=6.29
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 50544 0 0 0 609 20 0 0 25 0 1 0 9680919 210874368 50110 1992294400 4194304 9819077 140733777644944 18446744073709551615 4384918 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 51483 50110 425 1374 0 50104 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 205932

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11155
/proc/meminfo: memFree=1100004/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=696772 CPUtime=12.69
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 170549 0 0 0 1179 90 0 0 25 0 1 0 9680919 713494528 170093 1992294400 4194304 9819077 140733777644944 18446744073709551615 5968615 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 174193 170093 490 1374 0 172814 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 696772

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11155
/proc/meminfo: memFree=1046808/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=722312 CPUtime=25.48
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 184740 0 0 0 2035 513 0 0 25 0 1 0 9680919 739647488 176060 1992294400 4194304 9819077 140733777644944 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 180578 176060 491 1374 0 179199 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 722312

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11155
/proc/meminfo: memFree=634384/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1271944 CPUtime=51.06
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 369757 0 0 0 3849 1257 0 0 25 0 1 0 9680919 1302470656 279008 1992294400 4194304 9819077 140733777644944 18446744073709551615 6391563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 317986 279008 637 1374 0 316607 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1271944

[startup+102.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11157
/proc/meminfo: memFree=639716/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1276280 CPUtime=102.25
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 463713 0 0 0 8925 1300 0 0 25 0 1 0 9680919 1306910720 277750 1992294400 4194304 9819077 140733777644944 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 319070 277750 656 1374 0 317691 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1276280

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11159
/proc/meminfo: memFree=619628/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1303632 CPUtime=162.23
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 506062 0 0 0 14709 1514 0 0 25 0 1 0 9680919 1334919168 283003 1992294400 4194304 9819077 140733777644944 18446744073709551615 7292227 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 325908 283003 670 1374 0 324529 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 1303632

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11159
/proc/meminfo: memFree=615288/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1317140 CPUtime=222.21
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 579416 0 0 0 20675 1546 0 0 25 0 1 0 9680919 1348751360 284000 1992294400 4194304 9819077 140733777644944 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 329285 284000 672 1374 0 327906 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 1317140

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11161
/proc/meminfo: memFree=616404/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1324628 CPUtime=282.19
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 645255 0 0 0 26638 1581 0 0 25 0 1 0 9680919 1356419072 283792 1992294400 4194304 9819077 140733777644944 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 331157 283792 672 1374 0 329778 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 1324628

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11163
/proc/meminfo: memFree=612312/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1328696 CPUtime=342.18
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 690977 0 0 0 32612 1606 0 0 25 0 1 0 9680919 1360584704 284788 1992294400 4194304 9819077 140733777644944 18446744073709551615 7295968 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 332174 284788 672 1374 0 330795 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1328696

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11165
/proc/meminfo: memFree=612436/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1332948 CPUtime=402.16
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 738590 0 0 0 38584 1632 0 0 25 0 1 0 9680919 1364938752 284793 1992294400 4194304 9819077 140733777644944 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 333237 284793 672 1374 0 331858 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 1332948

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11170
/proc/meminfo: memFree=611940/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1334512 CPUtime=462.15
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 776254 0 0 0 44564 1651 0 0 25 0 1 0 9680919 1366540288 284334 1992294400 4194304 9819077 140733777644944 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 333628 284334 672 1374 0 332249 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1334512

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11170
/proc/meminfo: memFree=611444/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1334512 CPUtime=522.12
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 776549 0 0 0 50558 1654 0 0 25 0 1 0 9680919 1366540288 284340 1992294400 4194304 9819077 140733777644944 18446744073709551615 6054173 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11152/statm: 333628 284340 672 1374 0 332249 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 1334512

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11172
/proc/meminfo: memFree=592596/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1334920 CPUtime=582.11
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 815522 0 0 0 56538 1673 0 0 25 0 1 0 9680919 1366958080 289235 1992294400 4194304 9819077 140733777644944 18446744073709551615 6198342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 333730 289235 672 1374 0 332351 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 1334920

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11174
/proc/meminfo: memFree=590860/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1338148 CPUtime=642.09
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 847533 0 0 0 62520 1689 0 0 25 0 1 0 9680919 1370263552 289635 1992294400 4194304 9819077 140733777644944 18446744073709551615 7312693 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 334537 289635 672 1374 0 333158 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 1338148

[startup+702.3 s]

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

/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 1082278 0 0 0 104381 1815 0 0 25 0 1 0 9680919 1377800192 285216 1992294400 4194304 9819077 140733777644944 18446744073709551615 7294720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 336377 285216 672 1374 0 334998 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 1345508

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11186
/proc/meminfo: memFree=606856/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1346340 CPUtime=1121.94
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 1114403 0 0 0 110362 1832 0 0 25 0 1 0 9680919 1378652160 285732 1992294400 4194304 9819077 140733777644944 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 336585 285732 672 1374 0 335206 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 1346340

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11188
/proc/meminfo: memFree=607228/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1347332 CPUtime=1181.93
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 1146602 0 0 0 116344 1849 0 0 25 0 1 0 9680919 1379667968 285626 1992294400 4194304 9819077 140733777644944 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 336833 285626 672 1374 0 335454 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 1347332

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11190
/proc/meminfo: memFree=606856/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1348384 CPUtime=1241.91
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 1179254 0 0 0 122327 1864 0 0 25 0 1 0 9680919 1380745216 285674 1992294400 4194304 9819077 140733777644944 18446744073709551615 6198333 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11152/statm: 337096 285674 672 1374 0 335717 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1348384

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11192
/proc/meminfo: memFree=607476/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1349088 CPUtime=1301.89
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 1211792 0 0 0 128309 1880 0 0 25 0 1 0 9680919 1381466112 285437 1992294400 4194304 9819077 140733777644944 18446744073709551615 6191114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 337272 285437 672 1374 0 335893 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1349088

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11194
/proc/meminfo: memFree=607724/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1349956 CPUtime=1361.87
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 1244500 0 0 0 134289 1898 0 0 25 0 1 0 9680919 1382354944 285389 1992294400 4194304 9819077 140733777644944 18446744073709551615 7291120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 337489 285389 672 1374 0 336110 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1349956

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11194
/proc/meminfo: memFree=587636/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1350432 CPUtime=1421.86
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 1265951 0 0 0 140277 1909 0 0 25 0 1 0 9680919 1382842368 290390 1992294400 4194304 9819077 140733777644944 18446744073709551615 7309268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 337608 290390 672 1374 0 336229 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1350432

[startup+1482.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 11196
/proc/meminfo: memFree=603260/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1350880 CPUtime=1481.84
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 1295678 0 0 0 146259 1925 0 0 25 0 1 0 9680919 1383301120 286509 1992294400 4194304 9819077 140733777644944 18446744073709551615 7310895 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 337720 286509 672 1374 0 336341 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1350880

[startup+1542.3 s]
/proc/loadavg: 1.10 1.03 1.00 2/107 11198
/proc/meminfo: memFree=600656/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1351840 CPUtime=1541.82
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 1329437 0 0 0 152239 1943 0 0 25 0 1 0 9680919 1384284160 287177 1992294400 4194304 9819077 140733777644944 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 337960 287177 672 1374 0 336581 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1351840

[startup+1602.3 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 11200
/proc/meminfo: memFree=603384/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1352548 CPUtime=1601.81
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 1362111 0 0 0 158220 1961 0 0 25 0 1 0 9680919 1385009152 286548 1992294400 4194304 9819077 140733777644944 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 338137 286548 672 1374 0 336758 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1352548

[startup+1662.3 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 11202
/proc/meminfo: memFree=606484/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1353288 CPUtime=1661.8
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 1394822 0 0 0 164201 1979 0 0 25 0 1 0 9680919 1385766912 285680 1992294400 4194304 9819077 140733777644944 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 338322 285680 672 1374 0 336943 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1353288

[startup+1722.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 11202
/proc/meminfo: memFree=586892/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1353572 CPUtime=1721.78
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 1416651 0 0 0 170187 1991 0 0 25 0 1 0 9680919 1386057728 290598 1992294400 4194304 9819077 140733777644944 18446744073709551615 6198376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 338393 290598 672 1374 0 337014 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1353572

[startup+1782.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 11204
/proc/meminfo: memFree=595696/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1354116 CPUtime=1781.76
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 1448031 0 0 0 176170 2006 0 0 25 0 1 0 9680919 1386614784 288378 1992294400 4194304 9819077 140733777644944 18446744073709551615 7295825 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 338529 288378 672 1374 0 337150 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1354116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 11204
/proc/meminfo: memFree=606236/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1354436 CPUtime=1800.07
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 1462358 0 0 0 177994 2013 0 0 25 0 1 0 9680919 1386942464 285660 1992294400 4194304 9819077 140733777644944 18446744073709551615 7293486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 338609 285660 672 1374 0 337230 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1354436

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -11152

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

[startup+1801.4 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 11204
/proc/meminfo: memFree=606236/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1354436 CPUtime=1800.85
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 1462404 0 0 0 178072 2013 0 0 25 0 1 0 9680919 1386942464 285706 1992294400 4194304 9819077 140733777644944 18446744073709551615 6191191 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 338609 285706 672 1374 0 337230 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 1354436

[startup+1802.2 s]
/proc/loadavg: 1.01 1.02 1.00 2/108 11205
/proc/meminfo: memFree=605980/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1354436 CPUtime=1801.65
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 1462460 0 0 0 178152 2013 0 0 25 0 1 0 9680919 1386942464 285762 1992294400 4194304 9819077 140733777644944 18446744073709551615 7293505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 338609 285762 672 1374 0 337230 0
Current children cumulated CPU time (s) 1801.65
Current children cumulated vsize (KiB) 1354436

[startup+1802.6 s]
/proc/loadavg: 1.01 1.02 1.00 2/108 11205
/proc/meminfo: memFree=605980/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=1354436 CPUtime=1802.05
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4202496 1462492 0 0 0 178192 2013 0 0 25 0 1 0 9680919 1386942464 285794 1992294400 4194304 9819077 140733777644944 18446744073709551615 7291012 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11152/statm: 338609 285794 672 1374 0 337230 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 1354436

[startup+1802.7 s]
/proc/loadavg: 1.01 1.02 1.00 2/108 11205
/proc/meminfo: memFree=605980/2059040 swapFree=4165008/4192956
[pid=11152] ppid=11150 vsize=0 CPUtime=1802.16
/proc/11152/stat : 11152 (pbscip.linux.x8) R 11150 11152 10981 0 -1 4203524 1462493 0 0 0 178194 2022 0 0 25 0 1 0 9680919 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/11152/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.73
CPU time (s): 1802.19
CPU user time (s): 1781.94
CPU system time (s): 20.2499
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 1354436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.94
system time used= 20.2499
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1462493
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= 3
involuntary context switches= 10893

runsolver used 3.00454 second user time and 8.50571 second system time

The end

Launcher Data 

Begin job on node003 at 2010-06-12 13:06:10
IDJOB=2665456
IDBENCH=1489
IDSOLVER=1168
FILE ID=node003/2665456-1276340769
PBS_JOBID= 11173185
Free space on /tmp= 62544 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
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-2665456-1276340769/watcher-2665456-1276340769 -o /tmp/evaluation-result-2665456-1276340769/solver-2665456-1276340769 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665456-1276340769.opb -t 1800 -m 1800

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

MD5SUM BENCH= 8c486f10dc9ea0956b38d79189648654
RANDOM SEED=1879173386

node003.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.251
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.50
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.251
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1752284 kB
Buffers:         71380 kB
Cached:         136148 kB
SwapCached:         64 kB
Active:          49348 kB
Inactive:       189572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1752284 kB
SwapTotal:     4192956 kB
SwapFree:      4165008 kB
Dirty:           17388 kB
Writeback:          12 kB
AnonPages:       31364 kB
Mapped:          15380 kB
Slab:            46088 kB
PageTables:       4004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181204 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62536 MiB
End job on node003 at 2010-06-12 13:36:13