Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | ? (TO) | 1802.17 | 1802.73 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir08_area_delay.opb |
MD5SUM | e9d9fc2aedf45217e1b47072b194c567 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 23 |
Best CPU time to get the best result obtained on this benchmark | 1164.27 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 31 |
Optimality of the best value was proved | NO |
Number of variables | 124856 |
Total number of constraints | 521620 |
Number of constraints which are clauses | 521620 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1023 |
Number of terms in the objective function | 61556 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 61556 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 61556 |
Number of bits of the biggest sum of numbers | 16 |
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-2665384-1276638574.opb> 9.49/9.53 c original problem has 124856 variables (124856 bin, 0 int, 0 impl, 0 cont) and 521620 constraints 9.49/9.53 c problem read 9.49/9.54 c presolving settings loaded 12.09/12.12 c presolving: 17.18/17.20 c (round 1) 61429 del vars, 126093 del conss, 80 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 746193 impls, 0 clqs 17.59/17.66 c (round 2) 61430 del vars, 132897 del conss, 81 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 746193 impls, 0 clqs 22.08/22.15 c (round 3) 61430 del vars, 134215 del conss, 81 chg bounds, 0 chg sides, 0 chg coeffs, 387364 upgd conss, 746193 impls, 0 clqs 22.99/23.07 c (round 4) 61430 del vars, 134215 del conss, 81 chg bounds, 0 chg sides, 0 chg coeffs, 387405 upgd conss, 746193 impls, 0 clqs 36.08/36.18 c (24.3s) probing: 551/63426 (0.9%) - 3 fixings, 26 aggregations, 25044 implications, 0 bound changes 36.08/36.18 c (24.3s) probing aborted: 100/100 successive totally useless probings 36.08/36.18 c (round 5) 61459 del vars, 134215 del conss, 81 chg bounds, 0 chg sides, 0 chg coeffs, 387405 upgd conss, 769491 impls, 0 clqs 36.59/36.65 c (round 6) 61459 del vars, 135698 del conss, 81 chg bounds, 0 chg sides, 0 chg coeffs, 387405 upgd conss, 769491 impls, 0 clqs 37.68/37.75 c (25.5s) probing: 561/63426 (0.9%) - 3 fixings, 26 aggregations, 25044 implications, 0 bound changes 37.68/37.75 c (25.5s) probing aborted: 100/100 successive totally useless probings 37.68/37.77 c presolving (7 rounds): 37.68/37.77 c 61459 deleted vars, 135700 deleted constraints, 81 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 37.68/37.77 c 769491 implications, 0 cliques 37.68/37.77 c presolved problem has 63397 variables (63397 bin, 0 int, 0 impl, 0 cont) and 385920 constraints 37.68/37.77 c 385920 constraints of type <logicor> 37.68/37.77 c transformed objective value is always integral (scale: 1) 37.68/37.77 c Presolving Time: 24.18 37.68/37.77 c - non default parameters ---------------------------------------------------------------------- 37.68/37.77 c # SCIP version 1.2.1.2 37.68/37.77 c 37.68/37.77 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint) 37.68/37.77 c # [type: int, range: [-1,2147483647], default: -1] 37.68/37.77 c conflict/interconss = 0 37.68/37.77 c 37.68/37.77 c # should binary conflicts be preferred? 37.68/37.77 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 37.68/37.77 c conflict/preferbinary = TRUE 37.68/37.77 c 37.68/37.77 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints) 37.68/37.77 c # [type: int, range: [-1,2147483647], default: 0] 37.68/37.77 c constraints/agelimit = 1 37.68/37.77 c 37.68/37.77 c # should enforcement of pseudo solution be disabled? 37.68/37.77 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 37.68/37.77 c constraints/disableenfops = TRUE 37.68/37.77 c 37.68/37.77 c # frequency for displaying node information lines 37.68/37.77 c # [type: int, range: [-1,2147483647], default: 100] 37.68/37.77 c display/freq = 10000 37.68/37.77 c 37.68/37.77 c # maximal time in seconds to run 37.68/37.77 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 37.68/37.77 c limits/time = 1790.47 37.68/37.77 c 37.68/37.77 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 37.68/37.77 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 37.68/37.77 c limits/memory = 1620 37.68/37.77 c 37.68/37.77 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 37.68/37.77 c # [type: int, range: [-1,2147483647], default: 1] 37.68/37.77 c lp/solvefreq = 0 37.68/37.77 c 37.68/37.77 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing) 37.68/37.77 c # [type: char, range: {lafpsqd}, default: l] 37.68/37.77 c lp/pricing = a 37.68/37.77 c 37.68/37.77 c # should presolving try to simplify inequalities 37.68/37.77 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 37.68/37.77 c constraints/linear/simplifyinequalities = TRUE 37.68/37.77 c 37.68/37.77 c # should presolving try to simplify knapsacks 37.68/37.77 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 37.68/37.77 c constraints/knapsack/simplifyinequalities = TRUE 37.68/37.77 c 37.68/37.77 c # priority of node selection rule <dfs> in standard mode 37.68/37.77 c # [type: int, range: [-536870912,536870911], default: 0] 37.68/37.77 c nodeselection/dfs/stdpriority = 1000000 37.68/37.77 c 37.68/37.77 c ----------------------------------------------------------------------------------------------- 37.68/37.77 c start solving 37.78/37.88 c 47.47/47.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 47.47/47.54 c 34.9s| 1 | 0 | 842 | - | 770M| 0 | 326 | 63k| 385k| 63k| 385k| 0 | 0 | 0 | 2.225000e+01 | -- | Inf 47.88/47.91 o 34 47.88/47.91 c s35.3s| 1 | 0 | 842 | - | 775M| 0 | 326 | 63k| 385k| 63k| 385k| 0 | 0 | 0 | 2.225000e+01 | 3.400000e+01 | 52.81% 264.31/264.41 c 251s| 1 | 0 | 1031 | - | 775M| 0 | 116 | 63k| 385k| 63k| 385k| 14 | 0 | 0 | 2.300000e+01 | 3.400000e+01 | 47.83% 264.52/264.66 o 32 264.52/264.66 c b 251s| 1 | 0 | 1031 | - | 779M| 0 | 116 | 63k| 385k| 63k| 385k| 14 | 0 | 0 | 2.300000e+01 | 3.200000e+01 | 39.13% 609.39/609.67 c 596s| 1 | 0 | 1350 | - | 778M| 0 | 105 | 63k| 385k| 63k| 385k| 19 | 0 | 0 | 2.300000e+01 | 3.200000e+01 | 39.13% 609.69/609.94 o 28 609.69/609.94 c R 596s| 1 | 0 | 1350 | - | 780M| 0 | 105 | 63k| 385k| 63k| 385k| 19 | 0 | 0 | 2.300000e+01 | 2.800000e+01 | 21.74% 609.99/610.28 o 26 609.99/610.28 c b 596s| 1 | 0 | 1350 | - | 783M| 0 | 105 | 63k| 385k| 63k| 385k| 19 | 0 | 0 | 2.300000e+01 | 2.600000e+01 | 13.04% 964.47/964.82 c 950s| 1 | 0 | 1814 | - | 782M| 0 | 122 | 63k| 385k| 63k| 385k| 24 | 0 | 0 | 2.300000e+01 | 2.600000e+01 | 13.04% 964.77/965.17 o 26 964.77/965.17 c s 950s| 1 | 0 | 1814 | - | 783M| 0 | 122 | 63k| 385k| 63k| 385k| 24 | 0 | 0 | 2.300000e+01 | 2.600000e+01 | 13.04% 1306.47/1306.91 c 1291s| 1 | 0 | 2014 | - | 784M| 0 | 102 | 63k| 385k| 63k| 385k| 27 | 0 | 0 | 2.300000e+01 | 2.600000e+01 | 13.04% 1676.36/1676.94 c 1660s| 1 | 0 | 2524 | - | 787M| 0 | 104 | 63k| 385k| 63k| 385k| 29 | 0 | 0 | 2.300000e+01 | 2.600000e+01 | 13.04% 1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
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-2665384-1276638574/watcher-2665384-1276638574 -o /tmp/evaluation-result-2665384-1276638574/solver-2665384-1276638574 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665384-1276638574.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.01 1.01 1.06 3/106 11831 /proc/meminfo: memFree=1777604/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=8260 CPUtime=0 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 1009 0 0 0 0 0 0 0 21 0 1 0 5152609 8458240 929 1992294400 4194304 9819077 140736906321984 18446744073709551615 8718976 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11831/statm: 2065 929 366 1374 0 686 0 [startup+0.01215 s] /proc/loadavg: 1.01 1.01 1.06 3/106 11831 /proc/meminfo: memFree=1777604/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=9288 CPUtime=0 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 1207 0 0 0 0 0 0 0 21 0 1 0 5152609 9510912 1126 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11831/statm: 2322 1138 371 1374 0 943 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9288 [startup+0.101159 s] /proc/loadavg: 1.01 1.01 1.06 3/106 11831 /proc/meminfo: memFree=1777604/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=30952 CPUtime=0.09 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 6674 0 0 0 7 2 0 0 21 0 1 0 5152609 31694848 6590 1992294400 4194304 9819077 140736906321984 18446744073709551615 8610784 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11831/statm: 7738 6590 386 1374 0 6359 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 30952 [startup+0.301183 s] /proc/loadavg: 1.01 1.01 1.06 3/106 11831 /proc/meminfo: memFree=1777604/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=60124 CPUtime=0.29 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 13930 0 0 0 24 5 0 0 21 0 1 0 5152609 61566976 13844 1992294400 4194304 9819077 140736906321984 18446744073709551615 4466545 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11831/statm: 15031 13844 388 1374 0 13652 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 60124 [startup+0.70123 s] /proc/loadavg: 1.01 1.01 1.06 3/106 11831 /proc/meminfo: memFree=1777604/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=80464 CPUtime=0.69 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 19046 0 0 0 62 7 0 0 22 0 1 0 5152609 82395136 18960 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11831/statm: 20116 18960 388 1374 0 18737 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 80464 [startup+1.50132 s] /proc/loadavg: 1.01 1.01 1.06 2/107 11832 /proc/meminfo: memFree=1689432/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=115268 CPUtime=1.49 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 27685 0 0 0 139 10 0 0 25 0 1 0 5152609 118034432 27599 1992294400 4194304 9819077 140736906321984 18446744073709551615 4908352 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11831/statm: 28817 27599 388 1374 0 27438 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 115268 [startup+3.10151 s] /proc/loadavg: 1.01 1.01 1.06 2/107 11832 /proc/meminfo: memFree=1649256/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=153464 CPUtime=3.09 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 37279 0 0 0 295 14 0 0 25 0 1 0 5152609 157147136 37193 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11831/statm: 38366 37193 388 1374 0 36987 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 153464 [startup+6.30189 s] /proc/loadavg: 1.01 1.01 1.06 2/107 11832 /proc/meminfo: memFree=1583288/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=218540 CPUtime=6.29 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 53404 0 0 0 609 20 0 0 25 0 1 0 5152609 223784960 53318 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11831/statm: 54635 53318 388 1374 0 53256 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 218540 [startup+12.7016 s] /proc/loadavg: 1.01 1.01 1.06 2/107 11832 /proc/meminfo: memFree=1081468/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=722968 CPUtime=12.68 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 177188 0 0 0 1200 68 0 0 25 0 1 0 5152609 740319232 176732 1992294400 4194304 9819077 140736906321984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 180742 176732 483 1374 0 179363 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 722968 [startup+25.5011 s] /proc/loadavg: 1.01 1.00 1.06 2/107 11832 /proc/meminfo: memFree=1026164/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=776524 CPUtime=25.49 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 269587 0 0 0 2295 254 0 0 25 0 1 0 5152609 795160576 189026 1992294400 4194304 9819077 140736906321984 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 194131 189026 565 1374 0 192752 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 776524 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.06 2/107 11832 /proc/meminfo: memFree=684296/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1298576 CPUtime=51.08 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 399904 0 0 0 4770 338 0 0 25 0 1 0 5152609 1329741824 273260 1992294400 4194304 9819077 140736906321984 18446744073709551615 6555649 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 324644 273260 652 1374 0 323265 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1298576 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.05 2/107 11834 /proc/meminfo: memFree=676484/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1312092 CPUtime=102.26 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 401854 0 0 0 9885 341 0 0 25 0 1 0 5152609 1343582208 275210 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 328023 275210 654 1374 0 326644 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1312092 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.05 2/107 11836 /proc/meminfo: memFree=676360/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1312092 CPUtime=162.25 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 401891 0 0 0 15872 353 0 0 25 0 1 0 5152609 1343582208 275247 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675341 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 328023 275247 654 1374 0 326644 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 1312092 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.04 2/107 11836 /proc/meminfo: memFree=676360/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1313912 CPUtime=222.23 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 401899 0 0 0 21869 354 0 0 25 0 1 0 5152609 1345445888 275255 1992294400 4194304 9819077 140736906321984 18446744073709551615 5743109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 328478 275255 657 1374 0 327099 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 1313912 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.04 2/107 11838 /proc/meminfo: memFree=607540/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1391872 CPUtime=282.21 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 477355 0 0 0 27816 405 0 0 25 0 1 0 5152609 1425276928 292434 1992294400 4194304 9819077 140736906321984 18446744073709551615 5721526 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 347968 292434 674 1374 0 346589 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 1391872 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.03 2/107 11840 /proc/meminfo: memFree=607540/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1391872 CPUtime=342.19 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 477355 0 0 0 33804 415 0 0 25 0 1 0 5152609 1425276928 292434 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 347968 292434 674 1374 0 346589 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 1391872 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.02 2/107 11842 /proc/meminfo: memFree=607540/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1391872 CPUtime=402.17 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 477355 0 0 0 39789 428 0 0 25 0 1 0 5152609 1425276928 292434 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 347968 292434 674 1374 0 346589 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 1391872 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.02 2/107 11844 /proc/meminfo: memFree=607540/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1391872 CPUtime=462.14 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 477355 0 0 0 45781 433 0 0 25 0 1 0 5152609 1425276928 292434 1992294400 4194304 9819077 140736906321984 18446744073709551615 5743084 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 347968 292434 674 1374 0 346589 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 1391872 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 11844 /proc/meminfo: memFree=607540/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1391872 CPUtime=522.13 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 477355 0 0 0 51780 433 0 0 25 0 1 0 5152609 1425276928 292434 1992294400 4194304 9819077 140736906321984 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 347968 292434 674 1374 0 346589 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 1391872 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 11846 /proc/meminfo: memFree=607416/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1391872 CPUtime=582.1 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 477363 0 0 0 57770 440 0 0 25 0 1 0 5152609 1425276928 292442 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 347968 292442 674 1374 0 346589 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 1391872 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11848 /proc/meminfo: memFree=610392/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1390160 CPUtime=642.1 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 538119 0 0 0 63741 469 0 0 25 0 1 0 5152609 1423523840 291742 1992294400 4194304 9819077 140736906321984 18446744073709551615 5721526 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 347540 291742 674 1374 0 346161 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 1390160 [startup+702.3 s] ################ # More data... # ################ /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 595520 0 0 0 105644 551 0 0 25 0 1 0 5152609 1423368192 290800 1992294400 4194304 9819077 140736906321984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 347502 290800 674 1374 0 346123 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 1390008 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11869 /proc/meminfo: memFree=613740/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1390008 CPUtime=1121.93 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 595520 0 0 0 111628 565 0 0 25 0 1 0 5152609 1423368192 290800 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 347502 290800 674 1374 0 346123 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 1390008 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11871 /proc/meminfo: memFree=613616/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1390008 CPUtime=1181.91 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 595520 0 0 0 117620 571 0 0 25 0 1 0 5152609 1423368192 290800 1992294400 4194304 9819077 140736906321984 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 347502 290800 674 1374 0 346123 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 1390008 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11873 /proc/meminfo: memFree=613492/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1390008 CPUtime=1241.9 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 595520 0 0 0 123619 571 0 0 25 0 1 0 5152609 1423368192 290800 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 347502 290800 674 1374 0 346123 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 1390008 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11875 /proc/meminfo: memFree=614980/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1389052 CPUtime=1301.88 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 635066 0 0 0 129595 593 0 0 25 0 1 0 5152609 1422389248 290438 1992294400 4194304 9819077 140736906321984 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 347263 290438 674 1374 0 345884 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1389052 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11877 /proc/meminfo: memFree=571704/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1432560 CPUtime=1361.86 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 661198 0 0 0 135572 614 0 0 25 0 1 0 5152609 1466941440 301221 1992294400 4194304 9819077 140736906321984 18446744073709551615 5721531 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 358140 301221 674 1374 0 356761 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1432560 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11877 /proc/meminfo: memFree=571704/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1432560 CPUtime=1421.85 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 661198 0 0 0 141555 630 0 0 25 0 1 0 5152609 1466941440 301221 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 358140 301221 674 1374 0 356761 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1432560 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11879 /proc/meminfo: memFree=571704/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1432560 CPUtime=1481.82 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 661198 0 0 0 147539 643 0 0 25 0 1 0 5152609 1466941440 301221 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 358140 301221 674 1374 0 356761 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1432560 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11881 /proc/meminfo: memFree=571704/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1432560 CPUtime=1541.81 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 661198 0 0 0 153534 647 0 0 25 0 1 0 5152609 1466941440 301221 1992294400 4194304 9819077 140736906321984 18446744073709551615 5743084 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 358140 301221 674 1374 0 356761 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1432560 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11883 /proc/meminfo: memFree=571456/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1432968 CPUtime=1601.79 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 661286 0 0 0 159532 647 0 0 25 0 1 0 5152609 1467359232 301309 1992294400 4194304 9819077 140736906321984 18446744073709551615 5744314 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 358242 301309 674 1374 0 356863 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1432968 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11885 /proc/meminfo: memFree=571456/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1432968 CPUtime=1661.77 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 661286 0 0 0 165522 655 0 0 25 0 1 0 5152609 1467359232 301309 1992294400 4194304 9819077 140736906321984 18446744073709551615 5744314 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 358242 301309 674 1374 0 356863 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1432968 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11885 /proc/meminfo: memFree=573936/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1435004 CPUtime=1721.75 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 720597 0 0 0 171487 688 0 0 25 0 1 0 5152609 1469444096 300652 1992294400 4194304 9819077 140736906321984 18446744073709551615 5721526 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 358751 300652 674 1374 0 357372 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 1435004 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11887 /proc/meminfo: memFree=573688/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1435004 CPUtime=1781.73 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 720597 0 0 0 177473 700 0 0 25 0 1 0 5152609 1469444096 300652 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 358751 300652 674 1374 0 357372 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 1435004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11889 /proc/meminfo: memFree=573688/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1435004 CPUtime=1800.04 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 720597 0 0 0 179297 707 0 0 25 0 1 0 5152609 1469444096 300652 1992294400 4194304 9819077 140736906321984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 358751 300652 674 1374 0 357372 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1435004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -11831 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11889 /proc/meminfo: memFree=573688/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1412196 CPUtime=1800.82 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 754616 0 0 0 179364 718 0 0 25 0 1 0 5152609 1446088704 294126 1992294400 4194304 9819077 140736906321984 18446744073709551615 6688807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 353049 294134 674 1374 0 351670 0 Current children cumulated CPU time (s) 1800.82 Current children cumulated vsize (KiB) 1412196 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11890 /proc/meminfo: memFree=579880/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1429936 CPUtime=1801.63 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 760204 0 0 0 179442 721 0 0 25 0 1 0 5152609 1464254464 299171 1992294400 4194304 9819077 140736906321984 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 357484 299171 674 1374 0 356105 0 Current children cumulated CPU time (s) 1801.63 Current children cumulated vsize (KiB) 1429936 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11890 /proc/meminfo: memFree=579880/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=1429936 CPUtime=1802.03 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 760245 0 0 0 179482 721 0 0 25 0 1 0 5152609 1464254464 299212 1992294400 4194304 9819077 140736906321984 18446744073709551615 7291112 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11831/statm: 357484 299212 674 1374 0 356105 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 1429936 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11890 /proc/meminfo: memFree=579880/2059040 swapFree=4192956/4192956 [pid=11831] ppid=11829 vsize=0 CPUtime=1802.13 /proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4203524 760267 0 0 0 179484 729 0 0 25 0 1 0 5152609 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/11831/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.13 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.73 CPU time (s): 1802.17 CPU user time (s): 1794.84 CPU system time (s): 7.32589 CPU usage (%): 99.9686 Max. virtual memory (cumulated for all children) (KiB): 1435004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.84 system time used= 7.32589 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 760267 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= 5577 runsolver used 3.05854 second user time and 8.43872 second system time The end
Begin job on node033 at 2010-06-15 23:49:35 IDJOB=2665384 IDBENCH=25009 IDSOLVER=1168 FILE ID=node033/2665384-1276638574 PBS_JOBID= 11172365 Free space on /tmp= 62572 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir08_area_delay.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-2665384-1276638574/watcher-2665384-1276638574 -o /tmp/evaluation-result-2665384-1276638574/solver-2665384-1276638574 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665384-1276638574.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e9d9fc2aedf45217e1b47072b194c567 RANDOM SEED=1246084240 node033.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.242 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.48 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.242 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: 1778132 kB Buffers: 14452 kB Cached: 141000 kB SwapCached: 0 kB Active: 95572 kB Inactive: 119924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1778132 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 23708 kB Writeback: 0 kB AnonPages: 60000 kB Mapped: 15436 kB Slab: 43728 kB PageTables: 3988 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181436 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= 62568 MiB End job on node033 at 2010-06-16 00:19:38