0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2704440-1278558821.opb>
0.79/0.80 c original problem has 47130 variables (47130 bin, 0 int, 0 impl, 0 cont) and 820 constraints
0.79/0.80 c problem read
0.79/0.80 c presolving settings loaded
1.29/1.36 c presolving:
1.39/1.46 c presolving (1 rounds):
1.39/1.46 c 424 deleted vars, 3 deleted constraints, 427 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.39/1.46 c 0 implications, 0 cliques
1.49/1.51 c presolving detected infeasibility
1.49/1.51 c Presolving Time: 0.39
1.49/1.51 c - non default parameters ----------------------------------------------------------------------
1.49/1.51 c # SCIP version 1.2.1.3
1.49/1.51 c
1.49/1.51 c # frequency for displaying node information lines
1.49/1.51 c # [type: int, range: [-1,2147483647], default: 100]
1.49/1.51 c display/freq = 10000
1.49/1.51 c
1.49/1.51 c # maximal time in seconds to run
1.49/1.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.51 c limits/time = 1789.2
1.49/1.51 c
1.49/1.51 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.49/1.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.51 c limits/memory = 1620
1.49/1.51 c
1.49/1.51 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.49/1.51 c # [type: int, range: [1,2], default: 1]
1.49/1.51 c timing/clocktype = 2
1.49/1.51 c
1.49/1.51 c # should presolving try to simplify inequalities
1.49/1.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.51 c constraints/linear/simplifyinequalities = TRUE
1.49/1.51 c
1.49/1.51 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.49/1.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.51 c constraints/indicator/addCouplingCons = TRUE
1.49/1.51 c
1.49/1.51 c # should presolving try to simplify knapsacks
1.49/1.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.51 c constraints/knapsack/simplifyinequalities = TRUE
1.49/1.51 c
1.49/1.51 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.49/1.51 c # [type: int, range: [-1,2147483647], default: -1]
1.49/1.51 c separating/rapidlearning/freq = 0
1.49/1.51 c
1.49/1.51 c -----------------------------------------------------------------------------------------------
1.49/1.51 c start solving
1.49/1.51 c
1.49/1.51 c SCIP Status : problem is solved [infeasible]
1.49/1.51 c Solving Time (sec) : 0.71
1.49/1.51 c Solving Nodes : 0
1.49/1.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1.49/1.51 c Dual Bound : -1.00000000000000e+20
1.49/1.51 c Gap : infinite
1.49/1.51 s UNSATISFIABLE
1.49/1.51 c SCIP Status : problem is solved [infeasible]
1.49/1.51 c Solving Time : 0.71
1.49/1.51 c Original Problem :
1.49/1.51 c Problem name : HOME/instance-2704440-1278558821.opb
1.49/1.51 c Variables : 47130 (47130 binary, 0 integer, 0 implicit integer, 0 continuous)
1.49/1.51 c Constraints : 820 initial, 820 maximal
1.49/1.51 c Presolved Problem :
1.49/1.51 c Problem name : t_HOME/instance-2704440-1278558821.opb
1.49/1.51 c Variables : 46706 (46706 binary, 0 integer, 0 implicit integer, 0 continuous)
1.49/1.51 c Constraints : 817 initial, 817 maximal
1.49/1.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1.49/1.51 c trivial : 0.01 0 0 0 0 0 0 0 0
1.49/1.51 c dualfix : 0.01 0 0 0 0 0 0 0 0
1.49/1.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1.49/1.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1.49/1.51 c implics : 0.00 0 0 0 0 0 0 0 0
1.49/1.51 c probing : 0.00 0 0 0 0 0 0 0 0
1.49/1.51 c linear : 0.01 412 12 0 427 0 3 0 0
1.49/1.51 c root node : - 0 - - 0 - - - -
1.49/1.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1.49/1.51 c integral : 0 0 0 0 0 0 0 0 0 0
1.49/1.51 c linear : 817 0 0 0 0 0 0 0 0 0
1.49/1.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1.49/1.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1.49/1.51 c integral : 0.00 0.00 0.00 0.00 0.00
1.49/1.51 c linear : 0.00 0.00 0.00 0.00 0.00
1.49/1.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1.49/1.51 c Propagators : Time Calls Cutoffs DomReds
1.49/1.51 c pseudoobj : 0.00 0 0 0
1.49/1.51 c rootredcost : 0.00 0 0 0
1.49/1.51 c vbounds : 0.00 0 0 0
1.49/1.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1.49/1.51 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1.49/1.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1.49/1.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1.49/1.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1.49/1.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1.49/1.51 c applied globally : - - - 0 0.0 - - -
1.49/1.51 c applied locally : - - - 0 0.0 - - -
1.49/1.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1.49/1.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1.49/1.51 c redcost : 0.00 0 0 0 0 0
1.49/1.51 c impliedbounds : 0.00 0 0 0 0 0
1.49/1.51 c intobj : 0.00 0 0 0 0 0
1.49/1.51 c cgmip : 0.00 0 0 0 0 0
1.49/1.51 c gomory : 0.00 0 0 0 0 0
1.49/1.51 c strongcg : 0.00 0 0 0 0 0
1.49/1.51 c cmir : 0.00 0 0 0 0 0
1.49/1.51 c flowcover : 0.00 0 0 0 0 0
1.49/1.51 c clique : 0.00 0 0 0 0 0
1.49/1.51 c zerohalf : 0.00 0 0 0 0 0
1.49/1.51 c mcf : 0.00 0 0 0 0 0
1.49/1.51 c rapidlearning : 0.00 0 0 0 0 0
1.49/1.51 c Pricers : Time Calls Vars
1.49/1.51 c problem variables: 0.00 0 0
1.49/1.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1.49/1.51 c pscost : 0.00 0 0 0 0 0 0
1.49/1.51 c inference : 0.00 0 0 0 0 0 0
1.49/1.51 c mostinf : 0.00 0 0 0 0 0 0
1.49/1.51 c leastinf : 0.00 0 0 0 0 0 0
1.49/1.51 c fullstrong : 0.00 0 0 0 0 0 0
1.49/1.51 c allfullstrong : 0.00 0 0 0 0 0 0
1.49/1.51 c random : 0.00 0 0 0 0 0 0
1.49/1.51 c relpscost : 0.00 0 0 0 0 0 0
1.49/1.51 c Primal Heuristics : Time Calls Found
1.49/1.51 c LP solutions : 0.00 - 0
1.49/1.51 c pseudo solutions : 0.00 - 0
1.49/1.51 c trivial : 0.09 1 0
1.49/1.51 c simplerounding : 0.00 0 0
1.49/1.51 c zirounding : 0.00 0 0
1.49/1.51 c rounding : 0.00 0 0
1.49/1.51 c shifting : 0.00 0 0
1.49/1.51 c intshifting : 0.00 0 0
1.49/1.51 c oneopt : 0.00 0 0
1.49/1.51 c twoopt : 0.00 0 0
1.49/1.51 c fixandinfer : 0.00 0 0
1.49/1.51 c feaspump : 0.00 0 0
1.49/1.51 c coefdiving : 0.00 0 0
1.49/1.51 c pscostdiving : 0.00 0 0
1.49/1.51 c fracdiving : 0.00 0 0
1.49/1.51 c veclendiving : 0.00 0 0
1.49/1.51 c intdiving : 0.00 0 0
1.49/1.51 c actconsdiving : 0.00 0 0
1.49/1.51 c objpscostdiving : 0.00 0 0
1.49/1.51 c rootsoldiving : 0.00 0 0
1.49/1.51 c linesearchdiving : 0.00 0 0
1.49/1.51 c guideddiving : 0.00 0 0
1.49/1.51 c octane : 0.00 0 0
1.49/1.51 c rens : 0.00 0 0
1.49/1.51 c rins : 0.00 0 0
1.49/1.51 c localbranching : 0.00 0 0
1.49/1.51 c mutation : 0.00 0 0
1.49/1.51 c crossover : 0.00 0 0
1.49/1.51 c dins : 0.00 0 0
1.49/1.51 c undercover : 0.00 0 0
1.49/1.51 c nlp : 0.00 0 0
1.49/1.51 c trysol : 0.00 0 0
1.49/1.51 c LP : Time Calls Iterations Iter/call Iter/sec
1.49/1.51 c primal LP : 0.00 0 0 0.00 -
1.49/1.51 c dual LP : 0.00 0 0 0.00 -
1.49/1.51 c lex dual LP : 0.00 0 0 0.00 -
1.49/1.51 c barrier LP : 0.00 0 0 0.00 -
1.49/1.51 c diving/probing LP: 0.00 0 0 0.00 -
1.49/1.51 c strong branching : 0.00 0 0 0.00 -
1.49/1.51 c (at root node) : - 0 0 0.00 -
1.49/1.51 c conflict analysis: 0.00 0 0 0.00 -
1.49/1.51 c B&B Tree :
1.49/1.51 c number of runs : 1
1.49/1.51 c nodes : 0
1.49/1.51 c nodes (total) : 0
1.49/1.51 c nodes left : 1
1.49/1.51 c max depth : -1
1.49/1.51 c max depth (total): -1
1.49/1.51 c backtracks : 0 (0.0%)
1.49/1.51 c delayed cutoffs : 0
1.49/1.51 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1.49/1.51 c avg switch length: 0.00
1.49/1.51 c switching time : 0.00
1.49/1.51 c Solution :
1.49/1.51 c Solutions found : 0 (0 improvements)
1.49/1.51 c Primal Bound : infeasible
1.49/1.51 c Dual Bound : -
1.49/1.51 c Gap : infinite
1.49/1.51 c Root Dual Bound : -
1.49/1.51 c Root Iterations : 0
1.69/1.75 c Time complete: 1.75.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704440-1278558821/watcher-2704440-1278558821 -o /tmp/evaluation-result-2704440-1278558821/solver-2704440-1278558821 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704440-1278558821.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: 0.99 0.98 0.99 3/106 958
/proc/meminfo: memFree=1653552/2059040 swapFree=4085208/4192956
[pid=958] ppid=956 vsize=5692 CPUtime=0
/proc/958/stat : 958 (pbscip.linux.x8) R 956 958 29918 0 -1 4202496 722 0 0 0 0 0 0 0 18 0 1 0 24095113 5828608 636 1992294400 4194304 8395647 140733910974400 18446744073709551615 5475694 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/958/statm: 1423 644 301 1026 0 393 0
[startup+0.0666431 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 958
/proc/meminfo: memFree=1653552/2059040 swapFree=4085208/4192956
[pid=958] ppid=956 vsize=20676 CPUtime=0.05
/proc/958/stat : 958 (pbscip.linux.x8) R 956 958 29918 0 -1 4202496 4470 0 0 0 4 1 0 0 20 0 1 0 24095113 21172224 4377 1992294400 4194304 8395647 140733910974400 18446744073709551615 6348908 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/958/statm: 5169 4379 389 1026 0 4139 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 20676
[startup+0.101648 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 958
/proc/meminfo: memFree=1653552/2059040 swapFree=4085208/4192956
[pid=958] ppid=956 vsize=26348 CPUtime=0.09
/proc/958/stat : 958 (pbscip.linux.x8) R 956 958 29918 0 -1 4202496 5879 0 0 0 7 2 0 0 20 0 1 0 24095113 26980352 5786 1992294400 4194304 8395647 140733910974400 18446744073709551615 7370183 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/958/statm: 6587 5786 396 1026 0 5557 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26348
[startup+0.301673 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 958
/proc/meminfo: memFree=1653552/2059040 swapFree=4085208/4192956
[pid=958] ppid=956 vsize=40128 CPUtime=0.29
/proc/958/stat : 958 (pbscip.linux.x8) R 956 958 29918 0 -1 4202496 9258 0 0 0 26 3 0 0 20 0 1 0 24095113 41091072 9163 1992294400 4194304 8395647 140733910974400 18446744073709551615 7324966 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/958/statm: 10032 9163 394 1026 0 9002 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40128
[startup+0.701727 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 958
/proc/meminfo: memFree=1653552/2059040 swapFree=4085208/4192956
[pid=958] ppid=956 vsize=48428 CPUtime=0.69
/proc/958/stat : 958 (pbscip.linux.x8) R 956 958 29918 0 -1 4202496 11255 0 0 0 65 4 0 0 20 0 1 0 24095113 49590272 11160 1992294400 4194304 8395647 140733910974400 18446744073709551615 6348961 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/958/statm: 12107 11160 394 1026 0 11077 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48428
[startup+1.50183 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 959
/proc/meminfo: memFree=1556948/2059040 swapFree=4085208/4192956
[pid=958] ppid=956 vsize=133364 CPUtime=1.49
/proc/958/stat : 958 (pbscip.linux.x8) R 956 958 29918 0 -1 4202496 31288 0 0 0 140 9 0 0 23 0 1 0 24095113 136564736 30839 1992294400 4194304 8395647 140733910974400 18446744073709551615 4327377 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/958/statm: 33341 30839 481 1026 0 32311 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 133364
Solver just ended. Dumping a history of the last processes samples
[startup+1.70186 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 959
/proc/meminfo: memFree=1556948/2059040 swapFree=4085208/4192956
[pid=958] ppid=956 vsize=130128 CPUtime=1.69
/proc/958/stat : 958 (pbscip.linux.x8) R 956 958 29918 0 -1 4202496 31310 0 0 0 160 9 0 0 23 0 1 0 24095113 133251072 30355 1992294400 4194304 8395647 140733910974400 18446744073709551615 4739572 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/958/statm: 32532 30355 503 1026 0 31502 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 130128
Child status: 0
Real time (s): 1.75889
CPU time (s): 1.75873
CPU user time (s): 1.64775
CPU system time (s): 0.110983
CPU usage (%): 99.9909
Max. virtual memory (cumulated for all children) (KiB): 133364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.64775
system time used= 0.110983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31318
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= 1
involuntary context switches= 21
runsolver used 0.000999 second user time and 0.020996 second system time
The end
Begin job on node013 at 2010-07-08 05:13:41
IDJOB=2704440
IDBENCH=2380
IDSOLVER=1213
FILE ID=node013/2704440-1278558821
PBS_JOBID= 11239518
Free space on /tmp= 62548 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-25fv47.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2704440-1278558821/watcher-2704440-1278558821 -o /tmp/evaluation-result-2704440-1278558821/solver-2704440-1278558821 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704440-1278558821.opb -t 1800 -m 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 352e6e4471b8236a210f84cf79d988ac
RANDOM SEED=1666712861
node013.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.218
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.43
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.218
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: 1654080 kB
Buffers: 39124 kB
Cached: 223356 kB
SwapCached: 61020 kB
Active: 127440 kB
Inactive: 198744 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2059040 kB
LowFree: 1654080 kB
SwapTotal: 4192956 kB
SwapFree: 4085208 kB
Dirty: 15408 kB
Writeback: 4 kB
AnonPages: 10980 kB
Mapped: 6924 kB
Slab: 56996 kB
PageTables: 4212 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 5222476 kB
Committed_AS: 181996 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 node013 at 2010-07-08 05:13:43