Trace number 3450340

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 E SCIP 2.0.1.4b with SoPlex 1.5.0.4SAT 524.761 524.746

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_1_80.opb
MD5SUM4edc0ea4696bd6b7e21f8ec219e69079
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark4.15137
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
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 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)12636
Sum of products size (including duplicates)25272
Number of different products6318
Sum of products size12636

Solver Data

0.00/0.00	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 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-3450340-1307113401.opb>
0.00/0.04	c original problem has 7318 variables (7318 bin, 0 int, 0 impl, 0 cont) and 8820 constraints
0.00/0.04	c problem read
0.00/0.04	c No objective function, only one solution is needed.
0.00/0.05	c presolving settings loaded
0.07/0.08	c presolving:
0.09/0.15	c (round 1) 0 del vars, 7318 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 501 upgd conss, 51544 impls, 999 clqs
0.09/0.18	c (round 2) 6318 del vars, 7318 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1501 upgd conss, 51544 impls, 0 clqs
0.09/0.19	c presolving (3 rounds):
0.09/0.19	c  6318 deleted vars, 7318 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19	c  51544 implications, 0 cliques
0.09/0.19	c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1502 constraints
0.09/0.19	c    1001 constraints of type <knapsack>
0.09/0.19	c     500 constraints of type <setppc>
0.09/0.19	c       1 constraints of type <linear>
0.09/0.19	c transformed objective value is always integral (scale: 1)
0.09/0.19	c Presolving Time: 0.13
0.09/0.19	c - non default parameters ----------------------------------------------------------------------
0.09/0.19	c # SCIP version 2.0.1.5
0.09/0.19	c 
0.09/0.19	c # frequency for displaying node information lines
0.09/0.19	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19	c display/freq = 10000
0.09/0.19	c 
0.09/0.19	c # maximal time in seconds to run
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/time = 1800
0.09/0.19	c 
0.09/0.19	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/memory = 13950
0.09/0.19	c 
0.09/0.19	c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.19	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19	c limits/solutions = 1
0.09/0.19	c 
0.09/0.19	c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.19	c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.19	c separating/maxrounds = 1
0.09/0.19	c 
0.09/0.19	c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.19	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19	c separating/maxroundsroot = 5
0.09/0.19	c 
0.09/0.19	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.19	c # [type: int, range: [1,2], default: 1]
0.09/0.19	c timing/clocktype = 2
0.09/0.19	c 
0.09/0.19	c # belongs reading time to solving time?
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c timing/reading = TRUE
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify inequalities
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/linear/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/indicator/addCouplingCons = TRUE
0.09/0.19	c 
0.09/0.19	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.19	c constraints/knapsack/disaggregation = FALSE
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify knapsacks
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.19	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19	c presolving/probing/maxrounds = 0
0.09/0.19	c 
0.09/0.19	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.19	c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.19	c heuristics/coefdiving/freq = -1
0.09/0.19	c 
0.09/0.19	c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.19	c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.19	c 
0.09/0.19	c # additional number of allowed LP iterations
0.09/0.19	c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19	c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.19	c 
0.09/0.19	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.19	c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.19	c heuristics/crossover/freq = -1
0.09/0.19	c 
0.09/0.19	c # number of nodes added to the contingent of the total nodes
0.09/0.19	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.19	c heuristics/crossover/nodesofs = 750
0.09/0.19	c 
0.09/0.19	c # number of nodes without incumbent change that heuristic should wait
0.09/0.19	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.19	c heuristics/crossover/nwaitingnodes = 100
0.09/0.19	c 
0.09/0.19	c # contingent of sub problem nodes in
0.09/090v[type: longint, range: [0,9223372036854775807], default: 200]
0.057/0.al he
 set the c/0.al 2of allowed LP iterations
0.09/ge: [0,9< memorrquot = 0.075
0.09/0.19	c 
0.m"lodd">tio
tio

="c &ifi &data">V &ifi & Data

< pe>OK 0

="watch &data">Watch & Data

< pe>runs/0.1r Copyright (C) 2010-2011 Olic 1r ROUSSEL This isruns/0.1r .1rsly o3.3.0m(svn:c977) This rigraf isdiknaibutnts bentinhopumbent it will be useful, but WITHOUT ANY WARRANTY;ber of noevebentinn, 0ied warrantyion MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.ccS.umbee GNU Genllol Pub0ic License # frmore, 0tails. itmaig info: BIN/runs/0.1r -- Prestamp -w /tmp/evaluving -resultOME/instance-345034/watch &OME/instance-345034 -o /tmp/evaluving -resultOME/instance-345034/s/0.1rOME/instance-345034 -C 1800 -W 19ari-M 15/0.1problscip-2is.1.4b.infux.x86_64.gnu.opt.spx -fnproblem <HOME/instance-3450340-13 -t 1800 -m 15/0.1 runn &lcy o4o ir10:n0,2,4,6 Enforc &lcCPU Preolimit (softalimit, will seig SIGTERMmbeen SIGKILL):n1800 s: CPds Enforc &lcCPU Preolimit (hardalimit, will seig SIGXCPU):n1830 s: CPds Enforc &lcwall clockolimit (softalimit, will seig SIGTERMmbeen SIGKILL):n1900 s: CPds Enforc &lcVSIZEolimit (softalimit, will seig SIGTERMmbeen SIGKILL):n158720it KiB Enforc &lcVSIZEolimit (hardalimit, &lckoexpansly owill failber o SIGSEGV,mbrk() aig tmap() will return ENrobM):n159232it KiB Curr theS&lckSizeolimit:n v240 KiB [0ive up+0 s] s prc/loadavg:92is292is1 1.98 2/427 27394 s prc/meand o:er tFreo=29114980/32951124 swapFreo=43324008/6-341528 [pid=27394] ppid=27392 vof p=06480cCPU Pre=0o ir10=0,2,4,6 s prc/27394/0ivth:n27394 (scip-2is.1.4b.i) R 27392 27394 22076 bi-1 42v2496 3109n0n0n0n0n0n0n0n25m011n0 822940604 16875520 3063c335544320it 4194304 9163163 140733684731424 18446744073709551615 8045195 0n0n4096n0n0n0n0n17o4o0n0n0 s prc/27394/0ivtm: 4120 3063c409 1214 092902n0 [0ive up+0.0798441 s] s prc/loadavg:92is292is1 1.98 2/427 27394 s prc/meand o:er tFreo=29114980/32951124 swapFreo=43324008/6-341528 [pid=27394] ppid=27392 vof p=383881CPU Pre=0.07o ir10=0,2,4,6 s prc/27394/0ivth:n27394 (scip-2is.1.4b.i) R 27392 27394 22076 bi-1 42v2496 8334 0n0n0n611n0 0n25m011n0 822940604 39309312 8287 335544320it 4194304 9163163 140733684731424 18446744073709551615 434743710n0n4096n16384n0n0n0n17o4o0n0n0 s prc/27394/0ivtm: 9597 8287 490 1214 098379 0 Curr thechildrenidumulatntsCPUd Preo(s)lpite Curr thechildrenidumulatntsvof p (KiB) 38388 [0ive up+0.1008371s] s prc/loadavg:92is292is1 1.98 2/427 27394 s prc/meand o:er tFreo=29114980/32951124 swapFreo=43324008/6-341528 [pid=27394] ppid=27392 vof p=41756 CPU Pre=0.09o ir10=0,2,4,6 s prc/27394/0ivth:n27394 (scip-2is.1.4b.i) R 27392 27394 22076 bi-1 42v2496 9420 0 0 0 811n0 0n25m011n0 822940604 42758144 9116 335544320it 4194304 9163163 140733684731424 18446744073709551615 8041824 0n0n4096n16384n0n0n0n17o4o0n0n0 s prc/27394/0ivtm: 10439 9116 con1214 099221 0 Curr thechildrenidumulatntsCPUd Preo(s)lpit9 Curr thechildrenidumulatntsvof p (KiB) 41756 [0ive up+0.30081 s] s prc/loadavg:92is292is1 1.98 2/427 27394 s prc/meand o:er tFreo=29114980/32951124 swapFreo=43324008/6-341528 [pid=27394] ppid=27392 vof p=50444 CPU Pre=0.29o ir10=0,2,4,6 s prc/27394/0ivth:n27394 (scip-2is.1.4b.i) R 27392 27394 22076 bi-1 42v2496 11975n0n0n0n2811n0 0n18m011n0 822940604 51654656 41542 335544320it 4194304 9163163 140733684731424 18446744073709551615 66-3226 0n0n4096n16384n0n0n0n17o4o0n0n0 s prc/27394/0ivtm: 12611 41542 675 1214 0934593 0 Curr thechildrenidumulatntsCPUd Preo(s)lpi29 Curr thechildrenidumulatntsvof p (KiB) 50444 [0ive up+0.700748 s] s prc/loadavg:92is292is1 1.98 2/427 27394 s prc/meand o:er tFreo=29114980/32951124 swapFreo=43324008/6-341528 [pid=27394] ppid=27392 vof p=52960 CPU Pre=0.69o ir10=0,2,4,6 s prc/27394/0ivth:n27394 (scip-2is.1.4b.i) R 27392 27394 22076 bi-1 42v2496 17421 0n0n0n67 2n0 0n18m011n0 822940604 54231040 12213 335544320it 4194304 9163163 140733684731424 18446744073709551615 6603150 0n0n4096n16384n0n0n0n17o4o0n0n0 s prc/27394/0ivtm: 13240 12213 708 1214 0932v22 0 Curr thechildrenidumulatntsCPUd Preo(s)lpi69 Curr thechildrenidumulatntsvof p (KiB) 52960 [0ive up+1./0.6 s] s prc/loadavg:92is292is1 1.98 2/428 27395 s prc/meand o:er tFreo=29068092/32951124 swapFreo=43324008/6-341528 [pid=27394] ppid=27392 vof p=55912 CPU Pre=1.49o ir10=0,2,4,6 s prc/27394/0ivth:n27394 (scip-2is.1.4b.i) R 27392 27394 22076 bi-1 42v2496 18171 0n0n0n147 2n0 0n19m011n0 822940604 57253888112963 335544320it 4194304 9163163 140733684731424 18446744073709551615 6668722 0n0n4096n16384n0n0n0n17o4o0n0n0 s prc/27394/0ivtm: 13978112963 708 1214 0932760 0 Curr thechildrenidumulatntsCPUd Preo(s)l1.49 Curr thechildrenidumulatntsvof p (KiB) 55912 [0ive up+3.1003 s] s prc/loadavg:92is292is1 1.98 3/430 27422 s prc/meand o:er tFreo=28958776/32951124 swapFreo=43324008/6-341528 [pid=27394] ppid=27392 vof p=604881CPU Pre=3.08 ir10=0,2,4,6 s prc/27394/0ivth:n27394 (scip-2is.1.4b.i) R 27392 27394 22076 bi-1 42v2496 19344 0n0n0n306 2 0n0n24 0n1n0 822940604 61939712 13968 335544320it 4194304 9163163 140733684731424 18446744073709551615 8087562 0n0n4096n16384n0n0n0n17o4o0n0n0 s prc/27394/0ivtm: 15122 13968 708 1214 0933904 0 Curr thechildrenidumulatntsCPUd Preo(s)l3.08 Curr thechildrenidumulatntsvof p (KiB) 60488 [0ive up+6.30068 s] s prc/loadavg:92is292is1 1.98 3/430 27422 s prc/meand o:er tFreo=28953892/32951124 swapFreo=43324008/6-341528 [pid=27394] ppid=27392 vof p=6 1CPU Pre=6.29o ir10=0,2,4,6 s prc/27394/0ivth:n27394 (scip-2is.1.4b.i) R 27392 27394 22076 bi-1 42v2496 25841 0n0n0n625m4n0 0n25m011n0 822940604 6144 133921 335544320it 4194304 9163163 140733684731424 18446744073709551615 7390851 0n0n4096n16384n0n0n0n17o4o0n0n0 s prc/27394/0ivtm: 15 133921 710 1214 0933782 0 Curr thechildrenidumulatntsCPUd Preo(s)l6i29 Curr thechildrenidumulatntsvof p (KiB) 6 [0ive up+12.7005 s] s prc/loadavg:92is292is1 1.98 3/430 27422 s prc/meand o:er tFreo=28953408/32951124 swapFreo=43324008/6-341528 [pid=27394] ppid=27392 vof p=57940 CPU Pre=12.68 ir10=0,2,4,6 s prc/27394/0ivth:n27394 (scip-2is.1.4b.i) R 27392 27394 22076 bi-1 42v2496 43189 0n0n0n1263 5n0 0n25m011n0 822940604 59330560 13503 335544320it 4194304 9163163 140733684731424 18446744073709551615 7390108 0n0n4096n16384n0n0n0n17o4o0n0n0 s prc/27394/0ivtm: 14485 13503 710 1214 0933267 0 Curr thechildrenidumulatntsCPUd Preo(s)l12.68 Curr thechildrenidumulatntsvof p (KiB) 57940 [0ive up+25./011 s] s prc/loadavg:92is192is1 1.98 3/430 27422 s prc/meand o:er tFreo=28951412/32951124 swapFreo=43324008/6-341528 [pid=27394] ppid=27392 vof p=6 60 CPU Pre=25.49o ir10=0,2,4,6 s prc/27394/0ivth:n27394 (scip-2is.1.4b.i) R 27392 27394 22076 bi-1 42v2496 53818n0n0n0n2542 7n0 0n25m011n0 822940604 61/01440 14023 335544320it 4194304 9163163 140733684731424 18446744073709551615 7390504 0n0n4096n16384n0n0n0n17o4o0n0n0 s prc/27394/0ivtm: 15 15 14023 711 1214 0933797 0 Curr thechildrenidumulatntsCPUd Preo(s)l25.49 Curr thechildrenidumulatntsvof p (KiB) 6 60 [0ive up+51.1004 s] s prc/loadavg:92is192is1 1.98 3/430 27426 s prc/meand o:er tFreo=28950360/32951124 swapFreo=43324008/6-341528 [pid=27394] ppid=27392 vof p=6 576 CPU Pre=51.09o ir10=0,2,4,6 s prc/27394/0ivth:n27394 (scip-2is.1.4b.i) R 27392 27394 22076 bi-1 42v2496 62870 0 0 0 51ari9n0 0n25m011n0 822940604 62v29824 14151 335544320it 4194304 9163163 140733684731424 18446744073709551615 7390360 0n0n4096n16384n0n0n0n17o4o0n0n0 s prc/27394/0ivtm: 15144 14151 711 1214 0933926 0 Curr thechildrenidumulatntsCPUd Preo(s)l51.09 Curr thechildrenidumulatntsvof p (KiB) 6 576 [0ive up+102.316 s] s prc/loadavg:92is092is091.98 3/430 27427 s prc/meand o:er tFreo=28948960/32951124 swapFreo=43324008/6-341528 [pid=27394] ppid=27392 vof p=613881CPU Pre=102.31o ir10=0,2,4,6 s prc/27394/0ivth:n27394 (scip-2is.1.4b.i) R 27392 27394 22076 bi-1 42v2496 93219 0n0n0n10217 14n0 0n25m011n0 822940604 62861312 14355 335544320it 4194304 9163163 140733684731424 18446744073709551615 7390381 0n0n4096n16384n0n0n0n17o4o0n0n0 s prc/27394/0ivtm: 15347 14355 711 1214 0934129 0 Curr thechildrenidumulatntsCPUd Preo(s)l102.31 Curr thechildrenidumulatntsvof p (KiB) 61388 [0ive up+162.301 s] s prc/loadavg:92is092is091.98 3/430 27429 s prc/meand o:er tFreo=28950880/32951124 swapFreo=43324008/6-341528 [pid=27394] ppid=27392 vof p=59064 CPU Pre=162.29o ir10=0,2,4,6 s prc/27394/0ivth:n27394 (scip-2is.1.4b.i) R 27392 27394 22076 bi-1 42v2496 13-345n0n0n0n16209 20n0n0n25m011n0 822940604 60481536 33788 335544320it 4194304 9163163 140733684731424 18446744073709551615 7390504 0n0n4096n16384n0n0n0n17o4o0n0n0 s prc/27394/0ivtm: 14766 33788 711 1214 0933548 0 Curr thechildrenidumulatntsCPUd Preo(s)l162.29 Curr thechildrenidumulatntsvof p (KiB) 59064 [0ive up+222.301 s] s prc/loadavg:92is092is091.98 3/430 27430 s prc/meand o:er tFreo=28949844/32951124 swapFreo=43324008/6-341528 [pid=27394] ppid=27392 vof p=604881CPU Pre=222.3o ir10=0,2,4,6 s prc/27394/0ivth:n27394 (scip-2is.1.4b.i) R 27392 27394 22076 bi-1 42v2496 157863 0n0n0n222c5 25n0 0n25m011n0 822940604 61939712 14080 335544320it 4194304 9163163 140733684731424 18446744073709551615 7391810 0n0n4096n16384n0n0n0n17o4o0n0n0 s prc/27394/0ivtm: 15122 14080 711 1214 0933904 0 Curr thechildrenidumulatntsCPUd Preo(s)l222.3 Curr thechildrenidumulatntsvof p (KiB) 60488 [0ive up+282.3os] s prc/loadavg:92is992is392is093/430 27432 s prc/meand o:er tFreo=28950664/32951124 swapFreo=43324008/6-341528 [pid=27394] ppid=27392 vof p=60504 CPU Pre=282.29o ir10=0,2,4,6 s prc/27394/0ivth:n27394 (scip-2is.1.4b.i) R 27392 27394 22076 bi-1 42v2496 172362 0n0n0n28201 28n0 0n25m011n0 822940604 61956096 14008 335544320it 4194304 9163163 140733684731424 18446744073709551615 7390504 0n0n4096n16384n0n0n0n17o4o0n0n0 s prc/27394/0ivtm: 15126 14008 711 1214 0933908 0 Curr thechildrenidumulatntsCPUd Preo(s)l282.29 Curr thechildrenidumulatntsvof p (KiB) 6 504 [0ive up+342.3os] s prc/loadavg:92is792is392is093/430 27488 s prc/meand o:er tFreo=28866244/32951124 swapFreo=43324008/6-341528 [pid=27394] ppid=27392 vof p=59956 CPU Pre=342.3o ir10=0,2,4,6 s prc/27394/0ivth:n27394 (scip-2is.1.4b.i) R 27392 27394 22076 bi-1 42v2496 200898n0n0n0n34196 34n0 0n25m011n0 822940604 61394944 13971 335544320it 4194304 9163163 140733684731424 18446744073709551615 7390316 0n0n4096n16384n0n0n0n17o4o0n0n0 s prc/27394/0ivtm: 14989 13971 711 1214 0933771 0 Curr thechildrenidumulatntsCPUd Preo(s)l342.3 Curr thechildrenidumulatntsvof p (KiB) 59956 [0ive up+402.301 s] s prc/loadavg:92is292is392is093/430 27489 s prc/meand o:er tFreo=288641ar/32951124 swapFreo=43324008/6-341528 [pid=27394] ppid=27392 vof p=610881CPU Pre=402.3o ir10=0,2,4,6 s prc/27394/0ivth:n27394 (scip-2is.1.4b.i) R 27392 27394 22076 bi-1 42v2496 202839 0 0n0n40193 37n0 0n25m011n0 822940604 62554112 14256 335544320it 4194304 9163163 140733684731424 18446744073709551615 7390377 0n0n4096n16384n0n0n0n17o4o0n0n0 s prc/27394/0ivtm: 15272 14256 711 1214 0934054 0 Curr thechildrenidumulatntsCPUd Preo(s)l402.3 Curr thechildrenidumulatntsvof p (KiB) 61088 [0ive up+462.301 s] s prc/loadavg:92is192is292is093/430 27491 s prc/meand o:er tFreo=28867248/32951124 swapFreo=43324008/6-341528 [pid=27394] ppid=27392 vof p=59316 CPU Pre=462.3o ir10=0,2,4,6 s prc/27394/0ivth:n27394 (scip-2is.1.4b.i) R 27392 27394 22076 bi-1 42v2496 209584n0n0n0n46189 41n0n0n25m011n0 822940604 60739584 13636 335544320it 4194304 9163163 140733684731424 18446744073709551615 7391821 0n0n4096n16384n0n0n0n17o4o0n0n0 s prc/27394/0ivtm: 14829 13636 711 1214 0933611 0 Curr thechildrenidumulatntsCPUd Preo(s)l462.3 Curr thechildrenidumulatntsvof p (KiB) 59316 [0ive up+522.301 s] s prc/loadavg:92is692is392is093/430 27492 s prc/meand o:er tFreo=28866332/32951124 swapFreo=43324008/6-341528 [pid=27394] ppid=27392 vof p=59228 CPU Pre=522.3o ir10=0,2,4,6 s prc/27394/0ivth:n27394 (scip-2is.1.4b.i) R 27392 27394 22076 bi-1 42v2496 210686 0 0 0 52185 45n0 0n25m011n0 822940604 60649472 33690 335544320it 4194304 9163163 140733684731424 18446744073709551615 8087562 0n0n4096n16384n0n0n0n17o4o0n0n0 s prc/27394/0ivtm: 14807 33690 711 1214 0933589 0 Curr thechildrenidumulatntsCPUd Preo(s)l522.3 Curr thechildrenidumulatntsvof p (KiB) 59228 S/0.1r just ended. Dump &lca histc liofentinlast prcesses sateles [0ive up+523.101 s] s prc/loadavg:92is692is392is093/430 27492 s prc/meand o:er tFreo=28866332/32951124 swapFreo=43324008/6-341528 [pid=27394] ppid=27392 vof p=59228 CPU Pre=523.1o ir10=0,2,4,6 s prc/27394/0ivth:n27394 (scip-2is.1.4b.i) R 27392 27394 22076 bi-1 42v2496 210686 0 0 0 52265 45n0 0n25m011n0 822940604 60649472 33690 335544320it 4194304 9163163 140733684731424 18446744073709551615 8087562 0n0n4096n16384n0n0n0n17o4o0n0n0 s prc/27394/0ivtm: 14807 33690 711 1214 0933589 0 Curr thechildrenidumulatntsCPUd Preo(s)l523.1 Curr thechildrenidumulatntsvof p (KiB) 59228 [0ive up+523.901 s] s prc/loadavg:92is592is392is093/430 27492 s prc/meand o:er tFreo=28866332/32951124 swapFreo=43324008/6-341528 [pid=27394] ppid=27392 vof p=59228 CPU Pre=523.9o ir10=0,2,4,6 s prc/27394/0ivth:n27394 (scip-2is.1.4b.i) R 27392 27394 22076 bi-1 42v2496 210686 0 0 0 52345 45n0 0n25m011n0 822940604 60649472 33690 335544320it 4194304 9163163 140733684731424 18446744073709551615 7390842 0n0n4096n16384n0n0n0n17o4o0n0n0 s prc/27394/0ivtm: 14807 33690 711 1214 0933589 0 Curr thechildrenidumulatntsCPUd Preo(s)l523.9 Curr thechildrenidumulatntsvof p (KiB) 59228 [0ive up+524.3os] s prc/loadavg:92is592is392is093/430 27492 s prc/meand o:er tFreo=28866332/32951124 swapFreo=43324008/6-341528 [pid=27394] ppid=27392 vof p=59228 CPU Pre=524.31o ir10=0,2,4,6 s prc/27394/0ivth:n27394 (scip-2is.1.4b.i) R 27392 27394 22076 bi-1 42v2496 210686 0 0 0 52385 46n0 0n25m011n0 822940604 60649472 33690 335544320it 4194304 9163163 140733684731424 18446744073709551615 7375435 0n0n4096n16384n0n0n0n17o4o0n0n0 s prc/27394/0ivtm: 14807 33690 711 1214 0933589 0 Curr thechildrenidumulatntsCPUd Preo(s)l524.31 Curr thechildrenidumulatntsvof p (KiB) 59228 [0ive up+524.716 s] s prc/loadavg:92is592is392is093/430 27493 s prc/meand o:er tFreo=28866332/32951124 swapFreo=43324008/6-341528 [pid=27394] ppid=27392 vof p=59228 CPU Pre=524.72 ir10=0,2,4,6 s prc/27394/0ivth:n27394 (scip-2is.1.4b.i) R 27392 27394 22076 bi-1 42v2496 210687 0 0 0 52426 46n0 0n25m011n0 822940604 60649472 33691 335544320it 4194304 9163163 140733684731424 18446744073709551615 4693086 0n0n4096n0n0n0n0n17o4o0n0n0 s prc/27394/0ivtm: 14807 33691 712 1214 0933589 0 Curr thechildrenidumulatntsCPUd Preo(s)l524.72 Curr thechildrenidumulatntsvof p (KiB) 59228 Child <u0:n0 Reald Preo(s):noodre46 CPUd Preo(s):noodre61 CPUdus1r Preo(s):noodr295 CPUdsystem Preo(s):n0.465929 CPUdusageo(%):n vais03 Max. vie ualdr tc li(dumulatnts# frall children) (KiB): 68892 getrusage(RUSAGE_CHILDREN,...) data: us1r Preous1d=noodr295 system Preous1d=n0.465929 09/0.um r10id thesetoof p=n0 sacs alwasharntsr tc liof p=n0 sacs alwaunsharntsdataiof p=n0 sacs alwaunsharnts &lckoof p=n0 pageoreclaims= 210693 pageofaults=n0 swaps=n0 blockoinput opdiving L=n0 blockooutput opdiving L=n0 messages seit=n0 messages receiv1d=n0 signolshreceiv1d=n0 voluntarycddedextdowitch10= 5 savoluntarycddedextdowitch10= 587 runs/0.1r us1d 2.30565 s: CPddus1r Preoaig 4.86626 s: CPddsystem Pre The end

="launch &data">Launch & Data

< pe>Begin jobcy on nu1c5 vth2011-06-s3917:03:22 IDJOB=ME/inst IDBENCH=48369 IDSOLVER=1948 FILE ID=n nu1c5/ME/instance-345034 RUNJOBID=on nu1c5ance-309798-27127 PBS_JOBID=o45097984 Freo spacecy o/tmp= 73752 MiB SOLVER NAME= 09/0.spx E 09/0.2is.1.4bber o SoPlexd1.5is.4 BENCH NAME= PB07/normalf pd-PB07/SATUNSAT-SMALLINT-NLC/submittntPB07/manquinho/dbsg/normalf pd-dbsg_500_10_1_800-13dCOMMAND LINE= problscip-2is.1.4b.infux.x86_64.gnu.opt.spx -fnBENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runs/0.1r -- Prestamp -w /tmp/evaluving -resultOME/instance-345034/watch &OME/instance-345034 -o /tmp/evaluving -resultOME/instance-345034/s/0.1rOME/instance-345034 -C 1800 -W 19ari-M 15/0.11problscip-2is.1.4b.infux.x86_64.gnu.opt.spx -fnproblem <HOME/instance-3450340-13 -t 1800 -m 15/0. TIME LIMIT=n1800 s: CPds MEMORY LIMIT=n15/0.1MiB NBCORE= 4 MD5SUMnBENCH= 4edc0ea4696bd6b7e21f8ec219e69079 RANDOM SEED=871333430 n nu1c5.ainfoos.netoLnfux.2i6.18-164.el5 #1 SMP Thu S.0 3 03:28:30 EDT 2009 s prc/cpund o: prcessor :n0 vendor_id :nGenundeIedel cpuofamily :n6 m nul :n26 m nul er> :nIedel(R) Xeon(R) CPUdddddddddddX5550mo@.2i67GHz stepp &l :n5 cpuoMHz :n2666.825 cach oof p :n8192 KB physiclwaid :n0 siblsolv :n4 ir1aid :n0 cpuo ir10 :n4 apicid :n0 fpu :nyes fpu_exceping :nyes cpund levul :n 1 wp :nyes flalv :nfpu vme, 0dpse tsc msr pae mceccx8 apic s:p mtrr pge mca cmov patdpse36dclflush dts acpi mmx fxsr sse sse2 ss ht tmdsyscall nx rdtscp lmcdde <t_tsc ida ede &op_tsc pni monitor9ds_cpl vmx est tm2 x16 xtpr popcthelahf_lm bogomip0 :n5333.65 clflush of p :n64 cach _aingnme9 :n64 address of p0 :n4riabts physiclw, 48iabts vie ual pow1r manageme9 : [8] prcessor :n1 vendor_id :nGenundeIedel cpuofamily :n6 m nul :n26 m nul er> :nIedel(R) Xeon(R) CPUdddddddddddX5550mo@.2i67GHz stepp &l :n5 cpuoMHz :n2666.825 cach oof p :n8192 KB physiclwaid :n1 siblsolv :n4 ir1aid :n0 cpuo ir10 :n4 apicid :n16 fpu :nyes fpu_exceping :nyes cpund levul :n 1 wp :nyes flalv :nfpu vme, 0dpse tsc msr pae mceccx8 apic s:p mtrr pge mca cmov patdpse36dclflush dts acpi mmx fxsr sse sse2 ss ht tmdsyscall nx rdtscp lmcdde <t_tsc ida ede &op_tsc pni monitor9ds_cpl vmx est tm2 x16 xtpr popcthelahf_lm bogomip0 :n5226.15 clflush of p :n64 cach _aingnme9 :n64 address of p0 :n4riabts physiclw, 48iabts vie ual pow1r manageme9 : [8] prcessor :n2 vendor_id :nGenundeIedel cpuofamily :n6 m nul :n26 m nul er> :nIedel(R) Xeon(R) CPUdddddddddddX5550mo@.2i67GHz stepp &l :n5 cpuoMHz :n2666.825 cach oof p :n8192 KB physiclwaid :n0 siblsolv :n4 ir1aid :n1 cpuo ir10 :n4 apicid :n2 fpu :nyes fpu_exceping :nyes cpund levul :n 1 wp :nyes flalv :nfpu vme, 0dpse tsc msr pae mceccx8 apic s:p mtrr pge mca cmov patdpse36dclflush dts acpi mmx fxsr sse sse2 ss ht tmdsyscall nx rdtscp lmcdde <t_tsc ida ede &op_tsc pni monitor9ds_cpl vmx est tm2 x16 xtpr popcthelahf_lm bogomip0 :n5332.82 clflush of p :n64 cach _aingnme9 :n64 address of p0 :n4riabts physiclw, 48iabts vie ual pow1r manageme9 : [8] prcessor :n3 vendor_id :nGenundeIedel cpuofamily :n6 m nul :n26 m nul er> :nIedel(R) Xeon(R) CPUdddddddddddX5550mo@.2i67GHz stepp &l :n5 cpuoMHz :n2666.825 cach oof p :n8192 KB physiclwaid :n1 siblsolv :n4 ir1aid :n1 cpuo ir10 :n4 apicid :n18 fpu :nyes fpu_exceping :nyes cpund levul :n 1 wp :nyes flalv :nfpu vme, 0dpse tsc msr pae mceccx8 apic s:p mtrr pge mca cmov patdpse36dclflush dts acpi mmx fxsr sse sse2 ss ht tmdsyscall nx rdtscp lmcdde <t_tsc ida ede &op_tsc pni monitor9ds_cpl vmx est tm2 x16 xtpr popcthelahf_lm bogomip0 :n5332.75 clflush of p :n64 cach _aingnme9 :n64 address of p0 :n4riabts physiclw, 48iabts vie ual pow1r manageme9 : [8] prcessor :n4 vendor_id :nGenundeIedel cpuofamily :n6 m nul :n26 m nul er> :nIedel(R) Xeon(R) CPUdddddddddddX5550mo@.2i67GHz stepp &l :n5 cpuoMHz :n2666.825 cach oof p :n8192 KB physiclwaid :n0 siblsolv :n4 ir1aid :n2 cpuo ir10 :n4 apicid :n4 fpu :nyes fpu_exceping :nyes cpund levul :n 1 wp :nyes flalv :nfpu vme, 0dpse tsc msr pae mceccx8 apic s:p mtrr pge mca cmov patdpse36dclflush dts acpi mmx fxsr sse sse2 ss ht tmdsyscall nx rdtscp lmcdde <t_tsc ida ede &op_tsc pni monitor9ds_cpl vmx est tm2 x16 xtpr popcthelahf_lm bogomip0 :n5410.70 clflush of p :n64 cach _aingnme9 :n64 address of p0 :n4riabts physiclw, 48iabts vie ual pow1r manageme9 : [8] prcessor :n5 vendor_id :nGenundeIedel cpuofamily :n6 m nul :n26 m nul er> :nIedel(R) Xeon(R) CPUdddddddddddX5550mo@.2i67GHz stepp &l :n5 cpuoMHz :n2666.825 cach oof p :n8192 KB physiclwaid :n1 siblsolv :n4 ir1aid :n2 cpuo ir10 :n4 apicid :n20 fpu :nyes fpu_exceping :nyes cpund levul :n 1 wp :nyes flalv :nfpu vme, 0dpse tsc msr pae mceccx8 apic s:p mtrr pge mca cmov patdpse36dclflush dts acpi mmx fxsr sse sse2 ss ht tmdsyscall nx rdtscp lmcdde <t_tsc ida ede &op_tsc pni monitor9ds_cpl vmx est tm2 x16 xtpr popcthelahf_lm bogomip0 :n5332.74 clflush of p :n64 cach _aingnme9 :n64 address of p0 :n4riabts physiclw, 48iabts vie ual pow1r manageme9 : [8] prcessor :n6 vendor_id :nGenundeIedel cpuofamily :n6 m nul :n26 m nul er> :nIedel(R) Xeon(R) CPUdddddddddddX5550mo@.2i67GHz stepp &l :n5 cpuoMHz :n2666.825 cach oof p :n8192 KB physiclwaid :n0 siblsolv :n4 ir1aid :n3 cpuo ir10 :n4 apicid :n6 fpu :nyes fpu_exceping :nyes cpund levul :n 1 wp :nyes flalv :nfpu vme, 0dpse tsc msr pae mceccx8 apic s:p mtrr pge mca cmov patdpse36dclflush dts acpi mmx fxsr sse sse2 ss ht tmdsyscall nx rdtscp lmcdde <t_tsc ida ede &op_tsc pni monitor9ds_cpl vmx est tm2 x16 xtpr popcthelahf_lm bogomip0 :n5332.82 clflush of p :n64 cach _aingnme9 :n64 address of p0 :n4riabts physiclw, 48iabts vie ual pow1r manageme9 : [8] prcessor :n7 vendor_id :nGenundeIedel cpuofamily :n6 m nul :n26 m nul er> :nIedel(R) Xeon(R) CPUdddddddddddX5550mo@.2i67GHz stepp &l :n5 cpuoMHz :n2666.825 cach oof p :n8192 KB physiclwaid :n1 siblsolv :n4 ir1aid :n3 cpuo ir10 :n4 apicid :n22 fpu :nyes fpu_exceping :nyes cpund levul :n 1 wp :nyes flalv :nfpu vme, 0dpse tsc msr pae mceccx8 apic s:p mtrr pge mca cmov patdpse36dclflush dts acpi mmx fxsr sse sse2 ss ht tmdsyscall nx rdtscp lmcdde <t_tsc ida ede &op_tsc pni monitor9ds_cpl vmx est tm2 x16 xtpr popcthelahf_lm bogomip0 :n5332.75 clflush of p :n64 cach _aingnme9 :n64 address of p0 :n4riabts physiclw, 48iabts vie ual pow1r manageme9 : [8] s prc/meand o: Mem="lod:n0.0932951124 kB MemFreo:0.090929415268 kB Buffers:n0.0909 304884 kB Cach d:n0.090911808092 kB SwapCach d:n0.09020984 kB Activo:n0.0909 2868576 kB Inactivo:n0.0909655228 kB High="lod:n0.09909.090mkB HighFreo:0.0909909.090mkB Low="lod:n0.0932951124 kB LowFreo:0.090929415268 kB Swap="lod:n0.06-341528 kB SwapFreo:0.09043324008 kB Die y:0.0909909.012244 kB Writeback:0.0909909180mkB AedePages:0.0902407504 kB Mapp d:n0.090911 19664 kB Slab:0.0909909.0164260mkB PageTas 10:n0.09080932 kB NFS_Ue &ls 1:09909.090mkB B tico:0.0909909.09090mkB CommitLimit:n 835870881kB Committed_AS:n 14893068 kB Vmalloc="lod:n34359738367 kB VmallocUs d:n0.0296008 kB VmallocChunk:n34359440975nkB HugePages_="lod:n0.090 HugePages_Freo:0.09090 HugePages_Rsvd:0.09090 Hugepageof p:c.0902048 kB Freo spacecy o/tmp vththe end= 7374.1MiB End jobcy on nu1c5 vth2011-06-s3917:12:06