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.18 | 1802.61 |
Name | /OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3027_1.std.opb |
MD5SUM | 7c9346d90a668a3f1bb18ac05d8f779a |
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 | 43 |
Best CPU time to get the best result obtained on this benchmark | 5.70313 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 18662 |
Total number of constraints | 62742 |
Number of constraints which are clauses | 61542 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1200 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 24 |
Number of terms in the objective function | 300 |
Biggest coefficient in the objective function | 300 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 45150 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 300 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 45150 |
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-2687731-1278455232.opb> 1.10/1.12 c original problem has 18662 variables (18662 bin, 0 int, 0 impl, 0 cont) and 62742 constraints 1.10/1.12 c problem read 1.10/1.12 c presolving settings loaded 1.39/1.46 c presolving: 4.99/5.09 c (round 1) 977 del vars, 2569 del conss, 683 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4282896 impls, 0 clqs 6.09/6.10 c (round 2) 2125 del vars, 6734 del conss, 1723 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4287944 impls, 0 clqs 6.29/6.30 c (round 3) 2389 del vars, 8188 del conss, 1815 chg bounds, 50 chg sides, 47 chg coeffs, 0 upgd conss, 4290129 impls, 0 clqs 6.39/6.41 c (round 4) 2449 del vars, 8481 del conss, 1831 chg bounds, 50 chg sides, 47 chg coeffs, 0 upgd conss, 4290555 impls, 0 clqs 6.39/6.49 c (round 5) 2457 del vars, 8549 del conss, 1831 chg bounds, 50 chg sides, 47 chg coeffs, 0 upgd conss, 4290585 impls, 0 clqs 6.99/7.01 c (round 6) 2457 del vars, 8553 del conss, 1831 chg bounds, 50 chg sides, 47 chg coeffs, 54189 upgd conss, 4290585 impls, 0 clqs 7.39/7.43 c (round 7) 2457 del vars, 8560 del conss, 1831 chg bounds, 84 chg sides, 229 chg coeffs, 54189 upgd conss, 4290633 impls, 249 clqs 7.70/7.79 c (round 8) 2457 del vars, 8561 del conss, 1831 chg bounds, 92 chg sides, 258 chg coeffs, 54189 upgd conss, 4290633 impls, 269 clqs 171.94/172.03 c (169.1s) probing: 1000/16205 (6.2%) - 0 fixings, 0 aggregations, 4150829 implications, 0 bound changes 280.51/280.67 c (276.7s) probing: 2000/16205 (12.3%) - 0 fixings, 0 aggregations, 7123374 implications, 0 bound changes 280.61/280.75 c (276.8s) probing: 2001/16205 (12.3%) - 0 fixings, 0 aggregations, 7125394 implications, 0 bound changes 280.61/280.75 c (276.8s) probing aborted: 2000/2000 successive useless probings 280.61/280.76 c presolving (9 rounds): 280.61/280.76 c 2457 deleted vars, 8561 deleted constraints, 1831 tightened bounds, 0 added holes, 92 changed sides, 259 changed coefficients 280.61/280.76 c 23830345 implications, 269 cliques 280.61/280.76 c presolved problem has 16205 variables (16205 bin, 0 int, 0 impl, 0 cont) and 54200 constraints 280.61/280.76 c 1156 constraints of type <knapsack> 280.61/280.76 c 12 constraints of type <setppc> 280.61/280.76 c 53032 constraints of type <logicor> 280.61/280.76 c transformed objective value is always integral (scale: 1) 280.61/280.76 c Presolving Time: 276.60 280.61/280.76 c - non default parameters ---------------------------------------------------------------------- 280.61/280.76 c # SCIP version 1.2.1.2 280.61/280.76 c 280.61/280.76 c # frequency for displaying node information lines 280.61/280.76 c # [type: int, range: [-1,2147483647], default: 100] 280.61/280.76 c display/freq = 10000 280.61/280.76 c 280.61/280.76 c # maximal time in seconds to run 280.61/280.76 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 280.61/280.76 c limits/time = 1798.88 280.61/280.76 c 280.61/280.76 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 280.61/280.76 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 280.61/280.76 c limits/memory = 1620 280.61/280.76 c 280.61/280.76 c # should presolving try to simplify inequalities 280.61/280.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 280.61/280.76 c constraints/linear/simplifyinequalities = TRUE 280.61/280.76 c 280.61/280.76 c # should presolving try to simplify knapsacks 280.61/280.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 280.61/280.76 c constraints/knapsack/simplifyinequalities = TRUE 280.61/280.76 c 280.61/280.76 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 280.61/280.76 c # [type: int, range: [-1,2147483647], default: -1] 280.61/280.76 c separating/rapidlearning/freq = 0 280.61/280.76 c 280.61/280.76 c ----------------------------------------------------------------------------------------------- 280.61/280.76 c start solving 280.71/280.81 c 299.61/299.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 299.61/299.79 c 296s| 1 | 0 | 12226 | - | 723M| 0 | 238 | 16k| 54k| 16k| 54k| 0 | 0 | 0 | 4.300000e+01 | -- | Inf 706.12/706.36 c 693s| 1 | 0 | 22679 | - | 724M| 0 | 302 | 16k| 54k| 16k| 54k| 40 | 0 | 0 | 4.300000e+01 | -- | Inf 906.07/906.36 c 892s| 1 | 0 | 48986 | - | 724M| 0 | 365 | 16k| 54k| 16k| 54k| 77 | 0 | 0 | 4.300000e+01 | -- | Inf 1287.27/1287.66 c 1271s| 1 | 0 | 91592 | - | 726M| 0 | 345 | 16k| 54k| 16k| 54k| 150 | 0 | 0 | 4.300000e+01 | -- | Inf 1800.06/1800.50 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-2687731-1278455232/watcher-2687731-1278455232 -o /tmp/evaluation-result-2687731-1278455232/solver-2687731-1278455232 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2687731-1278455232.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.21 1.04 1.01 3/106 21144 /proc/meminfo: memFree=1840264/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=9288 CPUtime=0 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 1043 0 0 0 0 0 0 0 23 0 1 0 13736935 9510912 963 1992294400 4194304 9819077 140733537228768 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21144/statm: 2322 972 371 1374 0 943 0 [startup+0.075972 s] /proc/loadavg: 1.21 1.04 1.01 3/106 21144 /proc/meminfo: memFree=1840264/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=15976 CPUtime=0.07 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 2920 0 0 0 6 1 0 0 25 0 1 0 13736935 16359424 2840 1992294400 4194304 9819077 140733537228768 18446744073709551615 8611027 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21144/statm: 3994 2840 388 1374 0 2615 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 15976 [startup+0.100926 s] /proc/loadavg: 1.21 1.04 1.01 3/106 21144 /proc/meminfo: memFree=1840264/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=17608 CPUtime=0.09 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 3320 0 0 0 8 1 0 0 25 0 1 0 13736935 18030592 3240 1992294400 4194304 9819077 140733537228768 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21144/statm: 4402 3240 388 1374 0 3023 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17608 [startup+0.300942 s] /proc/loadavg: 1.21 1.04 1.01 3/106 21144 /proc/meminfo: memFree=1840264/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=24320 CPUtime=0.29 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 5029 0 0 0 27 2 0 0 25 0 1 0 13736935 24903680 4949 1992294400 4194304 9819077 140733537228768 18446744073709551615 8667800 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21144/statm: 6080 4949 388 1374 0 4701 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24320 [startup+0.700974 s] /proc/loadavg: 1.21 1.04 1.01 3/106 21144 /proc/meminfo: memFree=1840264/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=34208 CPUtime=0.69 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 7463 0 0 0 67 2 0 0 25 0 1 0 13736935 35028992 7383 1992294400 4194304 9819077 140733537228768 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21144/statm: 8552 7383 388 1374 0 7173 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 34208 [startup+1.50104 s] /proc/loadavg: 1.19 1.04 1.01 2/107 21145 /proc/meminfo: memFree=1802188/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=107628 CPUtime=1.49 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 25857 0 0 0 140 9 0 0 25 0 1 0 13736935 110211072 25362 1992294400 4194304 9819077 140733537228768 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 26907 25374 483 1374 0 25528 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 107628 [startup+3.10117 s] /proc/loadavg: 1.19 1.04 1.01 2/107 21145 /proc/meminfo: memFree=1701376/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=193176 CPUtime=3.09 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 47206 0 0 0 290 19 0 0 25 0 1 0 13736935 197812224 46711 1992294400 4194304 9819077 140733537228768 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 48294 46711 487 1374 0 46915 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 193176 [startup+6.30143 s] /proc/loadavg: 1.19 1.04 1.01 2/107 21145 /proc/meminfo: memFree=1601308/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=249472 CPUtime=6.29 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 60839 0 0 0 596 33 0 0 25 0 1 0 13736935 255459328 59830 1992294400 4194304 9819077 140733537228768 18446744073709551615 5491614 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 62368 59830 491 1374 0 60989 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 249472 [startup+12.701 s] /proc/loadavg: 1.16 1.04 1.01 2/107 21145 /proc/meminfo: memFree=1544780/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=311832 CPUtime=12.69 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 84848 0 0 0 1206 63 0 0 25 0 1 0 13736935 319315968 74725 1992294400 4194304 9819077 140733537228768 18446744073709551615 4660913 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 77958 74725 524 1374 0 76579 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 311832 [startup+25.501 s] /proc/loadavg: 1.13 1.04 1.01 2/107 21146 /proc/meminfo: memFree=1514540/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=344284 CPUtime=25.49 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 91850 0 0 0 2477 72 0 0 25 0 1 0 13736935 352546816 81727 1992294400 4194304 9819077 140733537228768 18446744073709551615 6180945 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 86071 81727 524 1374 0 84692 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 344284 [startup+51.1011 s] /proc/loadavg: 1.09 1.03 1.01 2/107 21146 /proc/meminfo: memFree=1419184/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=445988 CPUtime=51.07 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 115936 0 0 0 5024 83 0 0 25 0 1 0 13736935 456691712 105813 1992294400 4194304 9819077 140733537228768 18446744073709551615 4677335 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 111497 105813 524 1374 0 110118 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 445988 [startup+102.308 s] /proc/loadavg: 1.03 1.03 1.00 2/107 21148 /proc/meminfo: memFree=1290472/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=571332 CPUtime=102.27 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 147760 0 0 0 10114 113 0 0 25 0 1 0 13736935 585043968 137637 1992294400 4194304 9819077 140733537228768 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 142833 137637 524 1374 0 141454 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 571332 [startup+162.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 21149 /proc/meminfo: memFree=1179244/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=683996 CPUtime=162.24 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 175897 0 0 0 16055 169 0 0 25 0 1 0 13736935 700411904 165774 1992294400 4194304 9819077 140733537228768 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 170999 165774 524 1374 0 169620 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 683996 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 21151 /proc/meminfo: memFree=1058840/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=804592 CPUtime=222.23 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 205557 0 0 0 21991 232 0 0 25 0 1 0 13736935 823902208 195434 1992294400 4194304 9819077 140733537228768 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 201148 195434 529 1374 0 199769 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 804592 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 21152 /proc/meminfo: memFree=889332/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=997368 CPUtime=282.21 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 256112 0 0 0 27931 290 0 0 25 0 1 0 13736935 1021304832 237791 1992294400 4194304 9819077 140733537228768 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 249342 237791 647 1374 0 247963 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 997368 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21154 /proc/meminfo: memFree=884248/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=1016900 CPUtime=342.2 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 327822 0 0 0 33821 399 0 0 25 0 1 0 13736935 1041305600 239073 1992294400 4194304 9819077 140733537228768 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 254225 239073 679 1374 0 252846 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 1016900 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21156 /proc/meminfo: memFree=884124/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=1016900 CPUtime=402.18 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 327850 0 0 0 39648 570 0 0 25 0 1 0 13736935 1041305600 239101 1992294400 4194304 9819077 140733537228768 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 254225 239101 679 1374 0 252846 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 1016900 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21157 /proc/meminfo: memFree=884124/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=1016900 CPUtime=462.17 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 327850 0 0 0 45462 755 0 0 25 0 1 0 13736935 1041305600 239101 1992294400 4194304 9819077 140733537228768 18446744073709551615 5687337 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 254225 239101 679 1374 0 252846 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 1016900 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21159 /proc/meminfo: memFree=884000/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=1016900 CPUtime=522.15 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 327852 0 0 0 51305 910 0 0 25 0 1 0 13736935 1041305600 239103 1992294400 4194304 9819077 140733537228768 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 254225 239103 679 1374 0 252846 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 1016900 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21160 /proc/meminfo: memFree=884000/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=1016900 CPUtime=582.14 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 327853 0 0 0 57145 1069 0 0 25 0 1 0 13736935 1041305600 239104 1992294400 4194304 9819077 140733537228768 18446744073709551615 5688278 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 254225 239104 679 1374 0 252846 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 1016900 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21162 /proc/meminfo: memFree=824480/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=1077332 CPUtime=642.14 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 342684 0 0 0 63026 1188 0 0 25 0 1 0 13736935 1103187968 253935 1992294400 4194304 9819077 140733537228768 18446744073709551615 5689235 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 269333 253935 679 1374 0 267954 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 1077332 [startup+702.301 s] ################ # More data... # ################ /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 684666 0 0 0 98808 1396 0 0 25 0 1 0 13736935 1158078464 263506 1992294400 4194304 9819077 140733537228768 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 282734 263506 692 1374 0 281355 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 1130936 [startup+1062.3 s] /proc/loadavg: 1.06 1.02 1.00 2/107 21173 /proc/meminfo: memFree=786040/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=1130844 CPUtime=1062.03 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 728671 0 0 0 104782 1421 0 0 25 0 1 0 13736935 1157984256 263610 1992294400 4194304 9819077 140733537228768 18446744073709551615 7306911 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 282711 263610 692 1374 0 281332 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 1130844 [startup+1122.3 s] /proc/loadavg: 1.06 1.03 1.00 2/107 21175 /proc/meminfo: memFree=779840/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=1130716 CPUtime=1122.02 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 770644 0 0 0 110754 1448 0 0 25 0 1 0 13736935 1157853184 263450 1992294400 4194304 9819077 140733537228768 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 282679 263450 692 1374 0 281300 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 1130716 [startup+1182.3 s] /proc/loadavg: 1.05 1.04 1.00 2/107 21176 /proc/meminfo: memFree=780212/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=1130492 CPUtime=1182 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 815528 0 0 0 116725 1475 0 0 25 0 1 0 13736935 1157623808 263391 1992294400 4194304 9819077 140733537228768 18446744073709551615 6198342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 282623 263391 692 1374 0 281244 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 1130492 [startup+1242.3 s] /proc/loadavg: 1.02 1.03 1.00 2/107 21178 /proc/meminfo: memFree=785296/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=1130592 CPUtime=1241.99 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 865716 0 0 0 122691 1508 0 0 25 0 1 0 13736935 1157726208 263680 1992294400 4194304 9819077 140733537228768 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 282648 263680 692 1374 0 281269 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 1130592 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 21180 /proc/meminfo: memFree=780460/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=1117620 CPUtime=1301.98 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 940596 0 0 0 128645 1553 0 0 25 0 1 0 13736935 1144442880 262148 1992294400 4194304 9819077 140733537228768 18446744073709551615 7224606 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 279405 262157 692 1374 0 278026 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1117620 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 21181 /proc/meminfo: memFree=782072/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=1131764 CPUtime=1361.96 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 989294 0 0 0 134613 1583 0 0 25 0 1 0 13736935 1158926336 264692 1992294400 4194304 9819077 140733537228768 18446744073709551615 6674427 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 282941 264692 692 1374 0 281562 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1131764 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 1.00 2/107 21183 /proc/meminfo: memFree=784428/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=1131672 CPUtime=1421.95 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 1028261 0 0 0 140589 1606 0 0 25 0 1 0 13736935 1158832128 263795 1992294400 4194304 9819077 140733537228768 18446744073709551615 7292354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 282918 263795 692 1374 0 281539 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1131672 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21184 /proc/meminfo: memFree=784924/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=1131604 CPUtime=1481.93 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 1064163 0 0 0 146565 1628 0 0 25 0 1 0 13736935 1158762496 263723 1992294400 4194304 9819077 140733537228768 18446744073709551615 7301627 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 282901 263723 692 1374 0 281522 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1131604 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21186 /proc/meminfo: memFree=784552/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=1131604 CPUtime=1541.92 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 1099792 0 0 0 152543 1649 0 0 25 0 1 0 13736935 1158762496 263763 1992294400 4194304 9819077 140733537228768 18446744073709551615 7293505 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 282901 263763 692 1374 0 281522 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1131604 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21188 /proc/meminfo: memFree=784676/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=1131480 CPUtime=1601.91 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 1135284 0 0 0 158519 1672 0 0 25 0 1 0 13736935 1158635520 263822 1992294400 4194304 9819077 140733537228768 18446744073709551615 6191191 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 282870 263822 692 1374 0 281491 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 1131480 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21189 /proc/meminfo: memFree=781328/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=1131444 CPUtime=1661.89 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 1171108 0 0 0 164495 1694 0 0 25 0 1 0 13736935 1158598656 264679 1992294400 4194304 9819077 140733537228768 18446744073709551615 7301627 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 282861 264679 692 1374 0 281482 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1131444 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21191 /proc/meminfo: memFree=784924/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=1131444 CPUtime=1721.87 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 1209230 0 0 0 170471 1716 0 0 25 0 1 0 13736935 1158598656 263704 1992294400 4194304 9819077 140733537228768 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 282861 263704 692 1374 0 281482 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1131444 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21192 /proc/meminfo: memFree=779468/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=1131380 CPUtime=1781.86 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 1249010 0 0 0 176444 1742 0 0 25 0 1 0 13736935 1158533120 264995 1992294400 4194304 9819077 140733537228768 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 282845 264995 692 1374 0 281466 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1131380 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21193 /proc/meminfo: memFree=784676/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=1131412 CPUtime=1800.06 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 1264406 0 0 0 178255 1751 0 0 25 0 1 0 13736935 1158565888 263636 1992294400 4194304 9819077 140733537228768 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 282853 263636 692 1374 0 281474 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1131412 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -21144 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21194 /proc/meminfo: memFree=784668/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=1131412 CPUtime=1800.95 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 1264584 0 0 0 178344 1751 0 0 25 0 1 0 13736935 1158565888 263814 1992294400 4194304 9819077 140733537228768 18446744073709551615 7291663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 282853 263814 692 1374 0 281474 0 Current children cumulated CPU time (s) 1800.95 Current children cumulated vsize (KiB) 1131412 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21194 /proc/meminfo: memFree=783800/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=1131412 CPUtime=1801.75 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 1264742 0 0 0 178424 1751 0 0 25 0 1 0 13736935 1158565888 263972 1992294400 4194304 9819077 140733537228768 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21144/statm: 282853 263972 692 1374 0 281474 0 Current children cumulated CPU time (s) 1801.75 Current children cumulated vsize (KiB) 1131412 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21194 /proc/meminfo: memFree=783800/2059040 swapFree=4139180/4192956 [pid=21144] ppid=21142 vsize=0 CPUtime=1802.15 /proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4203524 1264799 0 0 0 178455 1760 0 0 25 0 1 0 13736935 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/21144/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.15 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.61 CPU time (s): 1802.18 CPU user time (s): 1784.56 CPU system time (s): 17.6203 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 1132376 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1784.56 system time used= 17.6203 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1264799 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= 5690 runsolver used 2.89756 second user time and 8.59069 second system time The end
Begin job on node003 at 2010-07-07 00:27:12 IDJOB=2687731 IDBENCH=78506 IDSOLVER=1168 FILE ID=node003/2687731-1278455232 PBS_JOBID= 11233506 Free space on /tmp= 62568 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3027_1.std.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-2687731-1278455232/watcher-2687731-1278455232 -o /tmp/evaluation-result-2687731-1278455232/solver-2687731-1278455232 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2687731-1278455232.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7c9346d90a668a3f1bb18ac05d8f779a RANDOM SEED=985974417 node003.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.224 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.44 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.224 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1840792 kB Buffers: 11200 kB Cached: 123484 kB SwapCached: 8164 kB Active: 48140 kB Inactive: 102484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1840792 kB SwapTotal: 4192956 kB SwapFree: 4139180 kB Dirty: 8368 kB Writeback: 0 kB AnonPages: 12372 kB Mapped: 11860 kB Slab: 45500 kB PageTables: 4232 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178712 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= 62564 MiB End job on node003 at 2010-07-07 00:57:15