Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | ? (MO) | 51.8121 | 124.293 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb |
MD5SUM | e436f4a609b5bae6a8ddfe1313c390fe |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 2.82357 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 2800 |
Total number of constraints | 990001 |
Number of constraints which are clauses | 986760 |
Number of constraints which are cardinality constraints (but not clauses) | 81 |
Number of constraints which are nor clauses,nor cardinality constraints | 3160 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1200 |
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 | 338 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1239 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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-2665912-1278546227.opb> 15.99/16.06 c original problem has 2800 variables (2800 bin, 0 int, 0 impl, 0 cont) and 990001 constraints 15.99/16.06 c problem read 15.99/16.06 c No objective function, only one solution is needed. 15.99/16.06 c presolving settings loaded 19.59/19.64 c presolving: 30.28/30.36 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 990000 upgd conss, 2400 impls, 80 clqs 32.48/32.52 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 3241 chg coeffs, 990000 upgd conss, 2400 impls, 80 clqs 34.77/34.81 c presolving (3 rounds): 34.77/34.81 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 3414 changed coefficients 34.77/34.81 c 5520 implications, 80 cliques 34.77/34.81 c presolved problem has 2800 variables (2800 bin, 0 int, 0 impl, 0 cont) and 990001 constraints 34.77/34.81 c 3160 constraints of type <knapsack> 34.77/34.81 c 80 constraints of type <setppc> 34.77/34.81 c 1 constraints of type <linear> 34.77/34.81 c 986760 constraints of type <logicor> 34.77/34.81 c transformed objective value is always integral (scale: 1) 34.77/34.81 c Presolving Time: 12.66 34.77/34.81 c - non default parameters ---------------------------------------------------------------------- 34.77/34.81 c # SCIP version 1.2.1.2 34.77/34.81 c 34.77/34.81 c # frequency for displaying node information lines 34.77/34.81 c # [type: int, range: [-1,2147483647], default: 100] 34.77/34.81 c display/freq = 10000 34.77/34.81 c 34.77/34.81 c # maximal time in seconds to run 34.77/34.81 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 34.77/34.81 c limits/time = 1783.95 34.77/34.81 c 34.77/34.81 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 34.77/34.81 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 34.77/34.81 c limits/memory = 1620 34.77/34.81 c 34.77/34.81 c # solving stops, if the given number of solutions were found (-1: no limit) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: -1] 34.77/34.81 c limits/solutions = 1 34.77/34.81 c 34.77/34.81 c # maximal number of separation rounds per node (-1: unlimited) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: 5] 34.77/34.81 c separating/maxrounds = 1 34.77/34.81 c 34.77/34.81 c # maximal number of separation rounds in the root node (-1: unlimited) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: -1] 34.77/34.81 c separating/maxroundsroot = 5 34.77/34.81 c 34.77/34.81 c # should presolving try to simplify inequalities 34.77/34.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 34.77/34.81 c constraints/linear/simplifyinequalities = TRUE 34.77/34.81 c 34.77/34.81 c # should disaggregation of knapsack constraints be allowed in preprocessing? 34.77/34.81 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 34.77/34.81 c constraints/knapsack/disaggregation = FALSE 34.77/34.81 c 34.77/34.81 c # should presolving try to simplify knapsacks 34.77/34.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 34.77/34.81 c constraints/knapsack/simplifyinequalities = TRUE 34.77/34.81 c 34.77/34.81 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: -1] 34.77/34.81 c presolving/probing/maxrounds = 0 34.77/34.81 c 34.77/34.81 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: 10] 34.77/34.81 c heuristics/coefdiving/freq = -1 34.77/34.81 c 34.77/34.81 c # maximal fraction of diving LP iterations compared to node LP iterations 34.77/34.81 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 34.77/34.81 c heuristics/coefdiving/maxlpiterquot = 0.075 34.77/34.81 c 34.77/34.81 c # additional number of allowed LP iterations 34.77/34.81 c # [type: int, range: [0,2147483647], default: 1000] 34.77/34.81 c heuristics/coefdiving/maxlpiterofs = 1500 34.77/34.81 c 34.77/34.81 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: 30] 34.77/34.81 c heuristics/crossover/freq = -1 34.77/34.81 c 34.77/34.81 c # number of nodes added to the contingent of the total nodes 34.77/34.81 c # [type: longint, range: [0,9223372036854775807], default: 500] 34.77/34.81 c heuristics/crossover/nodesofs = 750 34.77/34.81 c 34.77/34.81 c # number of nodes without incumbent change that heuristic should wait 34.77/34.81 c # [type: longint, range: [0,9223372036854775807], default: 200] 34.77/34.81 c heuristics/crossover/nwaitingnodes = 100 34.77/34.81 c 34.77/34.81 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 34.77/34.81 c # [type: real, range: [0,1], default: 0.1] 34.77/34.81 c heuristics/crossover/nodesquot = 0.15 34.77/34.81 c 34.77/34.81 c # minimum percentage of integer variables that have to be fixed 34.77/34.81 c # [type: real, range: [0,1], default: 0.666] 34.77/34.81 c heuristics/crossover/minfixingrate = 0.5 34.77/34.81 c 34.77/34.81 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: 20] 34.77/34.81 c heuristics/feaspump/freq = -1 34.77/34.81 c 34.77/34.81 c # additional number of allowed LP iterations 34.77/34.81 c # [type: int, range: [0,2147483647], default: 1000] 34.77/34.81 c heuristics/feaspump/maxlpiterofs = 2000 34.77/34.81 c 34.77/34.81 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: 10] 34.77/34.81 c heuristics/fracdiving/freq = -1 34.77/34.81 c 34.77/34.81 c # maximal fraction of diving LP iterations compared to node LP iterations 34.77/34.81 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 34.77/34.81 c heuristics/fracdiving/maxlpiterquot = 0.075 34.77/34.81 c 34.77/34.81 c # additional number of allowed LP iterations 34.77/34.81 c # [type: int, range: [0,2147483647], default: 1000] 34.77/34.81 c heuristics/fracdiving/maxlpiterofs = 1500 34.77/34.81 c 34.77/34.81 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: 10] 34.77/34.81 c heuristics/guideddiving/freq = -1 34.77/34.81 c 34.77/34.81 c # maximal fraction of diving LP iterations compared to node LP iterations 34.77/34.81 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 34.77/34.81 c heuristics/guideddiving/maxlpiterquot = 0.075 34.77/34.81 c 34.77/34.81 c # additional number of allowed LP iterations 34.77/34.81 c # [type: int, range: [0,2147483647], default: 1000] 34.77/34.81 c heuristics/guideddiving/maxlpiterofs = 1500 34.77/34.81 c 34.77/34.81 c # maximal fraction of diving LP iterations compared to node LP iterations 34.77/34.81 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 34.77/34.81 c heuristics/intdiving/maxlpiterquot = 0.075 34.77/34.81 c 34.77/34.81 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: 10] 34.77/34.81 c heuristics/intshifting/freq = -1 34.77/34.81 c 34.77/34.81 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: 10] 34.77/34.81 c heuristics/linesearchdiving/freq = -1 34.77/34.81 c 34.77/34.81 c # maximal fraction of diving LP iterations compared to node LP iterations 34.77/34.81 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 34.77/34.81 c heuristics/linesearchdiving/maxlpiterquot = 0.075 34.77/34.81 c 34.77/34.81 c # additional number of allowed LP iterations 34.77/34.81 c # [type: int, range: [0,2147483647], default: 1000] 34.77/34.81 c heuristics/linesearchdiving/maxlpiterofs = 1500 34.77/34.81 c 34.77/34.81 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: 1] 34.77/34.81 c heuristics/nlp/freq = -1 34.77/34.81 c 34.77/34.81 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: 20] 34.77/34.81 c heuristics/objpscostdiving/freq = -1 34.77/34.81 c 34.77/34.81 c # maximal fraction of diving LP iterations compared to total iteration number 34.77/34.81 c # [type: real, range: [0,1], default: 0.01] 34.77/34.81 c heuristics/objpscostdiving/maxlpiterquot = 0.015 34.77/34.81 c 34.77/34.81 c # additional number of allowed LP iterations 34.77/34.81 c # [type: int, range: [0,2147483647], default: 1000] 34.77/34.81 c heuristics/objpscostdiving/maxlpiterofs = 1500 34.77/34.81 c 34.77/34.81 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: 1] 34.77/34.81 c heuristics/oneopt/freq = -1 34.77/34.81 c 34.77/34.81 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: 10] 34.77/34.81 c heuristics/pscostdiving/freq = -1 34.77/34.81 c 34.77/34.81 c # maximal fraction of diving LP iterations compared to node LP iterations 34.77/34.81 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 34.77/34.81 c heuristics/pscostdiving/maxlpiterquot = 0.075 34.77/34.81 c 34.77/34.81 c # additional number of allowed LP iterations 34.77/34.81 c # [type: int, range: [0,2147483647], default: 1000] 34.77/34.81 c heuristics/pscostdiving/maxlpiterofs = 1500 34.77/34.81 c 34.77/34.81 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: 0] 34.77/34.81 c heuristics/rens/freq = -1 34.77/34.81 c 34.77/34.81 c # minimum percentage of integer variables that have to be fixable 34.77/34.81 c # [type: real, range: [0,1], default: 0.5] 34.77/34.81 c heuristics/rens/minfixingrate = 0.3 34.77/34.81 c 34.77/34.81 c # number of nodes added to the contingent of the total nodes 34.77/34.81 c # [type: longint, range: [0,9223372036854775807], default: 500] 34.77/34.81 c heuristics/rens/nodesofs = 2000 34.77/34.81 c 34.77/34.81 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: 20] 34.77/34.81 c heuristics/rootsoldiving/freq = -1 34.77/34.81 c 34.77/34.81 c # maximal fraction of diving LP iterations compared to node LP iterations 34.77/34.81 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 34.77/34.81 c heuristics/rootsoldiving/maxlpiterquot = 0.015 34.77/34.81 c 34.77/34.81 c # additional number of allowed LP iterations 34.77/34.81 c # [type: int, range: [0,2147483647], default: 1000] 34.77/34.81 c heuristics/rootsoldiving/maxlpiterofs = 1500 34.77/34.81 c 34.77/34.81 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: 1] 34.77/34.81 c heuristics/rounding/freq = -1 34.77/34.81 c 34.77/34.81 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: 10] 34.77/34.81 c heuristics/shifting/freq = -1 34.77/34.81 c 34.77/34.81 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: 1] 34.77/34.81 c heuristics/simplerounding/freq = -1 34.77/34.81 c 34.77/34.81 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: 0] 34.77/34.81 c heuristics/trivial/freq = -1 34.77/34.81 c 34.77/34.81 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: 1] 34.77/34.81 c heuristics/trysol/freq = -1 34.77/34.81 c 34.77/34.81 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: 10] 34.77/34.81 c heuristics/veclendiving/freq = -1 34.77/34.81 c 34.77/34.81 c # maximal fraction of diving LP iterations compared to node LP iterations 34.77/34.81 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 34.77/34.81 c heuristics/veclendiving/maxlpiterquot = 0.075 34.77/34.81 c 34.77/34.81 c # additional number of allowed LP iterations 34.77/34.81 c # [type: int, range: [0,2147483647], default: 1000] 34.77/34.81 c heuristics/veclendiving/maxlpiterofs = 1500 34.77/34.81 c 34.77/34.81 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: 1] 34.77/34.81 c heuristics/zirounding/freq = -1 34.77/34.81 c 34.77/34.81 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: 0] 34.77/34.81 c separating/cmir/freq = -1 34.77/34.81 c 34.77/34.81 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: 0] 34.77/34.81 c separating/flowcover/freq = -1 34.77/34.81 c 34.77/34.81 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 34.77/34.81 c # [type: int, range: [-1,2147483647], default: -1] 34.77/34.81 c separating/rapidlearning/freq = 0 34.77/34.81 c 34.77/34.81 c ----------------------------------------------------------------------------------------------- 34.77/34.81 c start solving 34.77/34.87 c 41.30/41.41 terminate called after throwing an instance of 'std::bad_alloc' 41.30/41.41 what(): St9bad_alloc
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665912-1278546227/watcher-2665912-1278546227 -o /tmp/evaluation-result-2665912-1278546227/solver-2665912-1278546227 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665912-1278546227.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.36 0.08 0.03 3/106 29979 /proc/meminfo: memFree=1664264/2059040 swapFree=4164940/4192956 [pid=29979] ppid=29977 vsize=9288 CPUtime=0 /proc/29979/stat : 29979 (pbscip.linux.x8) R 29977 29979 29918 0 -1 4202496 1273 0 0 0 0 0 0 0 20 0 1 0 22835895 9510912 1194 1992294400 4194304 9819077 140736172861424 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/29979/statm: 2579 1203 371 1374 0 1200 0 [startup+0.0810009 s] /proc/loadavg: 0.36 0.08 0.03 3/106 29979 /proc/meminfo: memFree=1664264/2059040 swapFree=4164940/4192956 [pid=29979] ppid=29977 vsize=13756 CPUtime=0.07 /proc/29979/stat : 29979 (pbscip.linux.x8) R 29977 29979 29918 0 -1 4202496 2363 0 0 0 7 0 0 0 20 0 1 0 22835895 14086144 2283 1992294400 4194304 9819077 140736172861424 18446744073709551615 8080956 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/29979/statm: 3439 2283 386 1374 0 2060 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 13756 [startup+0.100001 s] /proc/loadavg: 0.36 0.08 0.03 3/106 29979 /proc/meminfo: memFree=1664264/2059040 swapFree=4164940/4192956 [pid=29979] ppid=29977 vsize=15192 CPUtime=0.09 /proc/29979/stat : 29979 (pbscip.linux.x8) R 29977 29979 29918 0 -1 4202496 2723 0 0 0 9 0 0 0 20 0 1 0 22835895 15556608 2643 1992294400 4194304 9819077 140736172861424 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/29979/statm: 3798 2643 386 1374 0 2419 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15192 [startup+0.300004 s] /proc/loadavg: 0.36 0.08 0.03 3/106 29979 /proc/meminfo: memFree=1664264/2059040 swapFree=4164940/4192956 [pid=29979] ppid=29977 vsize=19868 CPUtime=0.29 /proc/29979/stat : 29979 (pbscip.linux.x8) R 29977 29979 29918 0 -1 4202496 3902 0 0 0 28 1 0 0 20 0 1 0 22835895 20344832 3822 1992294400 4194304 9819077 140736172861424 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/29979/statm: 4967 3822 386 1374 0 3588 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19868 [startup+0.70001 s] /proc/loadavg: 0.36 0.08 0.03 3/106 29979 /proc/meminfo: memFree=1664264/2059040 swapFree=4164940/4192956 [pid=29979] ppid=29977 vsize=29252 CPUtime=0.69 /proc/29979/stat : 29979 (pbscip.linux.x8) R 29977 29979 29918 0 -1 4202496 6239 0 0 0 67 2 0 0 21 0 1 0 22835895 29954048 6159 1992294400 4194304 9819077 140736172861424 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/29979/statm: 7313 6159 386 1374 0 5934 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29252 [startup+1.50002 s] /proc/loadavg: 0.36 0.08 0.03 2/107 29980 /proc/meminfo: memFree=1635488/2059040 swapFree=4164940/4192956 [pid=29979] ppid=29977 vsize=46780 CPUtime=1.49 /proc/29979/stat : 29979 (pbscip.linux.x8) R 29977 29979 29918 0 -1 4202496 10604 0 0 0 145 4 0 0 23 0 1 0 22835895 47902720 10524 1992294400 4194304 9819077 140736172861424 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/29979/statm: 11695 10524 386 1374 0 10316 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 46780 [startup+3.10004 s] /proc/loadavg: 0.36 0.08 0.03 2/107 29980 /proc/meminfo: memFree=1610192/2059040 swapFree=4164940/4192956 [pid=29979] ppid=29977 vsize=82132 CPUtime=3.09 /proc/29979/stat : 29979 (pbscip.linux.x8) R 29977 29979 29918 0 -1 4202496 19446 0 0 0 301 8 0 0 25 0 1 0 22835895 84103168 19366 1992294400 4194304 9819077 140736172861424 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/29979/statm: 20533 19366 386 1374 0 19154 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 82132 [startup+6.30009 s] /proc/loadavg: 0.49 0.11 0.04 2/107 29980 /proc/meminfo: memFree=1535296/2059040 swapFree=4164940/4192956 [pid=29979] ppid=29977 vsize=154796 CPUtime=6.29 /proc/29979/stat : 29979 (pbscip.linux.x8) R 29977 29979 29918 0 -1 4202496 37597 0 0 0 615 14 0 0 25 0 1 0 22835895 158511104 37517 1992294400 4194304 9819077 140736172861424 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/29979/statm: 38699 37517 386 1374 0 37320 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 154796 [startup+12.7002 s] /proc/loadavg: 0.53 0.13 0.04 2/107 29980 /proc/meminfo: memFree=1388976/2059040 swapFree=4164940/4192956 [pid=29979] ppid=29977 vsize=297500 CPUtime=12.69 /proc/29979/stat : 29979 (pbscip.linux.x8) R 29977 29979 29918 0 -1 4202496 73228 0 0 0 1238 31 0 0 25 0 1 0 22835895 304640000 73148 1992294400 4194304 9819077 140736172861424 18446744073709551615 4466995 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/29979/statm: 74375 73148 386 1374 0 72996 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 297500 [startup+25.5004 s] /proc/loadavg: 0.64 0.17 0.06 2/107 29980 /proc/meminfo: memFree=516016/2059040 swapFree=4164940/4192956 [pid=29979] ppid=29977 vsize=1182908 CPUtime=25.48 /proc/29979/stat : 29979 (pbscip.linux.x8) R 29977 29979 29918 0 -1 4202496 337165 0 0 0 2323 225 0 0 25 0 1 0 22835895 1211297792 293171 1992294400 4194304 9819077 140736172861424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/29979/statm: 295727 293171 489 1374 0 294348 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1182908 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+41.5016 s] /proc/loadavg: 0.72 0.21 0.07 2/107 29980 /proc/meminfo: memFree=9676/2059040 swapFree=4139624/4192956 [pid=29979] ppid=29977 vsize=1892916 CPUtime=41.39 /proc/29979/stat : 29979 (pbscip.linux.x8) R 29977 29979 29918 0 -1 4204032 676919 0 0 0 3631 508 0 0 25 0 1 0 22835895 1938345984 429300 1992294400 4194304 9819077 140736172861424 18446744073709551615 8771253 0 0 4096 16384 0 0 0 17 0 0 0 6 /proc/29979/statm: 473229 429300 703 1374 0 471850 0 Current children cumulated CPU time (s) 41.39 Current children cumulated vsize (KiB) 1892916 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -29979 [startup+51.1007 s] /proc/loadavg: 1.31 0.35 0.12 1/108 29982 /proc/meminfo: memFree=9980/2059040 swapFree=4139624/4192956 [pid=29979] ppid=29977 vsize=1892916 CPUtime=43.49 /proc/29979/stat : 29979 (pbscip.linux.x8) D 29977 29979 29918 0 -1 4204032 676919 0 0 0 3631 718 0 0 18 0 1 0 22835895 1938345984 429300 1992294400 4194304 9819077 140736172861424 18446744073709551615 8771253 0 0 4096 16384 18446744071562154983 0 0 17 0 0 0 732 /proc/29979/statm: 473229 429300 703 1374 0 471850 0 Current children cumulated CPU time (s) 43.49 Current children cumulated vsize (KiB) 1892916 [startup+102.3 s] /proc/loadavg: 2.85 0.94 0.33 1/107 29996 /proc/meminfo: memFree=10460/2059040 swapFree=3610316/4192956 [pid=29979] ppid=29977 vsize=1892916 CPUtime=48.84 /proc/29979/stat : 29979 (pbscip.linux.x8) D 29977 29979 29918 0 -1 4204032 760724 0 12159 0 3631 1253 0 0 18 0 1 0 22835895 1938345984 393638 1992294400 4194304 9819077 140736172861424 18446744073709551615 8771253 0 0 4096 16384 18446744071562234166 0 0 17 1 0 0 5248 /proc/29979/statm: 473229 393638 164 1374 0 471850 0 Current children cumulated CPU time (s) 48.84 Current children cumulated vsize (KiB) 1892916 heavy processes: Solver just ended. Dumping a history of the last processes samples [startup+105.1 s] /proc/loadavg: 2.79 0.95 0.34 1/108 29998 /proc/meminfo: memFree=10184/2059040 swapFree=3610316/4192956 [pid=29979] ppid=29977 vsize=1892916 CPUtime=48.92 /proc/29979/stat : 29979 (pbscip.linux.x8) D 29977 29979 29918 0 -1 4204032 761400 0 12805 0 3631 1261 0 0 18 0 1 0 22835895 1938345984 394960 1992294400 4194304 9819077 140736172861424 18446744073709551615 8771253 0 0 4096 16384 18446744071562234166 0 0 17 1 0 0 5512 /proc/29979/statm: 473229 394960 164 1374 0 471850 0 Current children cumulated CPU time (s) 48.92 Current children cumulated vsize (KiB) 1892916 [startup+111.501 s] /proc/loadavg: 2.72 0.97 0.35 1/107 29998 /proc/meminfo: memFree=9636/2059040 swapFree=3610316/4192956 [pid=29979] ppid=29977 vsize=1892916 CPUtime=50.18 /proc/29979/stat : 29979 (pbscip.linux.x8) D 29977 29979 29918 0 -1 4204032 787406 0 15990 0 3631 1387 0 0 18 0 1 0 22835895 1938345984 424151 1992294400 4194304 9819077 140736172861424 18446744073709551615 8771253 0 0 4096 16384 18446744071562154983 0 0 17 1 0 0 5966 /proc/29979/statm: 473229 424151 164 1374 0 471850 0 Current children cumulated CPU time (s) 50.18 Current children cumulated vsize (KiB) 1892916 [startup+118.301 s] /proc/loadavg: 2.91 1.04 0.37 1/107 29998 /proc/meminfo: memFree=10568/2059040 swapFree=3533148/4192956 [pid=29979] ppid=29977 vsize=1892916 CPUtime=51.24 /proc/29979/stat : 29979 (pbscip.linux.x8) D 29977 29979 29918 0 -1 4204032 787472 0 16007 0 3631 1493 0 0 18 0 1 0 22835895 1938345984 404942 1992294400 4194304 9819077 140736172861424 18446744073709551615 8771253 0 0 4096 16384 18446744071562154983 0 0 17 0 0 0 6495 /proc/29979/statm: 473229 404942 164 1374 0 471850 0 Current children cumulated CPU time (s) 51.24 Current children cumulated vsize (KiB) 1892916 [startup+121.509 s] /proc/loadavg: 2.99 1.09 0.39 1/108 29999 /proc/meminfo: memFree=8320/2059040 swapFree=3516044/4192956 [pid=29979] ppid=29977 vsize=1892916 CPUtime=51.29 /proc/29979/stat : 29979 (pbscip.linux.x8) D 29977 29979 29918 0 -1 4206080 788096 0 16128 0 3631 1498 0 0 18 0 1 0 22835895 1938345984 401287 1992294400 4194304 9819077 140736172861424 18446744073709551615 8771253 0 0 4096 16384 18446744071562234512 0 0 17 1 0 0 6852 /proc/29979/statm: 473229 401287 164 1374 0 471850 0 Current children cumulated CPU time (s) 51.29 Current children cumulated vsize (KiB) 1892916 [startup+123.288 s] /proc/loadavg: 2.99 1.09 0.39 1/108 29999 /proc/meminfo: memFree=7848/2059040 swapFree=3500084/4192956 [pid=29979] ppid=29977 vsize=1892916 CPUtime=51.43 /proc/29979/stat : 29979 (pbscip.linux.x8) R 29977 29979 29918 0 -1 4204032 790826 0 16290 0 3631 1512 0 0 18 0 1 0 22835895 1938345984 390647 1992294400 4194304 9819077 140736172861424 18446744073709551615 8771253 0 0 4096 16384 0 0 0 17 1 0 0 7066 /proc/29979/statm: 473229 390647 164 1374 0 471850 0 Current children cumulated CPU time (s) 51.43 Current children cumulated vsize (KiB) 1892916 [startup+123.701 s] /proc/loadavg: 2.99 1.09 0.39 1/108 29999 /proc/meminfo: memFree=7848/2059040 swapFree=3500084/4192956 [pid=29979] ppid=29977 vsize=1892916 CPUtime=51.46 /proc/29979/stat : 29979 (pbscip.linux.x8) D 29977 29979 29918 0 -1 4206080 790826 0 16290 0 3631 1515 0 0 18 0 1 0 22835895 1938345984 388132 1992294400 4194304 9819077 140736172861424 18446744073709551615 8771253 0 0 4096 16384 18446744071562234512 0 0 17 1 0 0 7076 /proc/29979/statm: 473229 388132 164 1374 0 471850 0 Current children cumulated CPU time (s) 51.46 Current children cumulated vsize (KiB) 1892916 [startup+124.101 s] /proc/loadavg: 2.99 1.09 0.39 1/108 29999 /proc/meminfo: memFree=7856/2059040 swapFree=3448812/4192956 [pid=29979] ppid=29977 vsize=0 CPUtime=51.61 /proc/29979/stat : 29979 (pbscip.linux.x8) R 29977 29979 29918 0 -1 4204036 790838 0 16295 0 3631 1530 0 0 18 0 1 0 22835895 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 7121 /proc/29979/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.61 Current children cumulated vsize (KiB) 0 [startup+124.202 s] /proc/loadavg: 2.99 1.09 0.39 1/108 29999 /proc/meminfo: memFree=7856/2059040 swapFree=3448812/4192956 [pid=29979] ppid=29977 vsize=0 CPUtime=51.71 /proc/29979/stat : 29979 (pbscip.linux.x8) R 29977 29979 29918 0 -1 4204036 790838 0 16295 0 3631 1540 0 0 18 0 1 0 22835895 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 7121 /proc/29979/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.71 Current children cumulated vsize (KiB) 0 Child ended because it received signal 6 (SIGABRT) Child dumped core Real time (s): 124.293 CPU time (s): 51.8121 CPU user time (s): 36.3195 CPU system time (s): 15.4926 CPU usage (%): 41.6856 Max. virtual memory (cumulated for all children) (KiB): 1892916 getrusage(RUSAGE_CHILDREN,...) data: user time used= 36.3195 system time used= 15.4926 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 790838 page faults= 16295 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27770 involuntary context switches= 1387 runsolver used 0.238963 second user time and 0.705892 second system time The end
Begin job on node013 at 2010-07-08 01:43:49 IDJOB=2665912 IDBENCH=1388 IDSOLVER=1168 FILE ID=node013/2665912-1278546227 PBS_JOBID= 11239518 Free space on /tmp= 62512 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/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.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-2665912-1278546227/watcher-2665912-1278546227 -o /tmp/evaluation-result-2665912-1278546227/solver-2665912-1278546227 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665912-1278546227.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e436f4a609b5bae6a8ddfe1313c390fe RANDOM SEED=1845946752 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: 1664296 kB Buffers: 56652 kB Cached: 226308 kB SwapCached: 1544 kB Active: 134704 kB Inactive: 182064 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1664296 kB SwapTotal: 4192956 kB SwapFree: 4164940 kB Dirty: 41304 kB Writeback: 0 kB AnonPages: 32220 kB Mapped: 13536 kB Slab: 55384 kB PageTables: 4148 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179616 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= 60828 MiB End job on node013 at 2010-07-08 01:45:54