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 | ? (MO) | 622.37 | 622.576 |
Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12016_10.std.opb |
MD5SUM | 16624ad16b07842a63cd0d52e04da495 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 240 |
Best CPU time to get the best result obtained on this benchmark | 1800.17 |
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 | 72842 |
Total number of constraints | 234117 |
Number of constraints which are clauses | 232917 |
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 | 120 |
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-2687146-1278448672.opb> 3.99/4.06 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234117 constraints 3.99/4.06 c problem read 3.99/4.06 c presolving settings loaded 5.29/5.32 c presolving: 18.69/18.76 c (round 1) 4949 del vars, 15599 del conss, 3347 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15956964 impls, 0 clqs 30.18/30.29 c (round 2) 12972 del vars, 42247 del conss, 11065 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15992680 impls, 0 clqs 33.77/33.80 c (round 3) 15544 del vars, 54759 del conss, 12379 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16008880 impls, 0 clqs 36.28/36.36 c (round 4) 16886 del vars, 59455 del conss, 13197 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16021621 impls, 0 clqs 37.76/37.85 c (round 5) 17633 del vars, 62445 del conss, 13659 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16027365 impls, 0 clqs 38.67/38.72 c (round 6) 18024 del vars, 64052 del conss, 13872 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16030484 impls, 0 clqs 39.07/39.18 c (round 7) 18174 del vars, 64759 del conss, 13960 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16031741 impls, 0 clqs 39.47/39.58 c (round 8) 18259 del vars, 65090 del conss, 14013 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16032667 impls, 0 clqs 39.87/39.96 c (round 9) 18331 del vars, 65343 del conss, 14057 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16033987 impls, 0 clqs 40.27/40.32 c (round 10) 18401 del vars, 65622 del conss, 14104 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16034925 impls, 0 clqs 40.57/40.62 c (round 11) 18433 del vars, 65773 del conss, 14129 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16035126 impls, 0 clqs 40.76/40.90 c (round 12) 18453 del vars, 65870 del conss, 14139 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16035228 impls, 0 clqs 41.07/41.14 c (round 13) 18453 del vars, 65890 del conss, 14139 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16035228 impls, 0 clqs 43.06/43.12 c (round 14) 18453 del vars, 65890 del conss, 14139 chg bounds, 12 chg sides, 20 chg coeffs, 168227 upgd conss, 16035228 impls, 0 clqs 45.76/45.80 c (round 15) 18453 del vars, 65902 del conss, 14139 chg bounds, 57 chg sides, 228 chg coeffs, 168227 upgd conss, 16035282 impls, 276 clqs 47.17/47.24 c (round 16) 18453 del vars, 65910 del conss, 14139 chg bounds, 77 chg sides, 281 chg coeffs, 168227 upgd conss, 16035282 impls, 294 clqs 620.20/620.41 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-2687146-1278448672/watcher-2687146-1278448672 -o /tmp/evaluation-result-2687146-1278448672/solver-2687146-1278448672 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2687146-1278448672.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.00 1.03 1.06 3/105 23922 /proc/meminfo: memFree=1845376/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=9288 CPUtime=0 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 1109 0 0 0 0 0 0 0 23 0 1 0 13075512 9510912 1029 1992294400 4194304 9819077 140735850350912 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/23922/statm: 2322 1038 371 1374 0 943 0 [startup+0.089876 s] /proc/loadavg: 1.00 1.03 1.06 3/105 23922 /proc/meminfo: memFree=1845376/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=17608 CPUtime=0.08 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 3320 0 0 0 7 1 0 0 23 0 1 0 13075512 18030592 3240 1992294400 4194304 9819077 140735850350912 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/23922/statm: 4402 3240 388 1374 0 3023 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 17608 [startup+0.100876 s] /proc/loadavg: 1.00 1.03 1.06 3/105 23922 /proc/meminfo: memFree=1845376/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=18572 CPUtime=0.09 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 3563 0 0 0 8 1 0 0 23 0 1 0 13075512 19017728 3483 1992294400 4194304 9819077 140735850350912 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/23922/statm: 4643 3483 388 1374 0 3264 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18572 [startup+0.300898 s] /proc/loadavg: 1.00 1.03 1.06 3/105 23922 /proc/meminfo: memFree=1845376/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=29628 CPUtime=0.29 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 6366 0 0 0 27 2 0 0 23 0 1 0 13075512 30339072 6277 1992294400 4194304 9819077 140735850350912 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/23922/statm: 7407 6277 388 1374 0 6028 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29628 [startup+0.700943 s] /proc/loadavg: 1.00 1.03 1.06 3/105 23922 /proc/meminfo: memFree=1845376/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=51296 CPUtime=0.69 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 11774 0 0 0 64 5 0 0 25 0 1 0 13075512 52527104 11685 1992294400 4194304 9819077 140735850350912 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/23922/statm: 12824 11685 388 1374 0 11445 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 51296 [startup+1.50103 s] /proc/loadavg: 1.00 1.03 1.06 2/106 23923 /proc/meminfo: memFree=1792420/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=70076 CPUtime=1.49 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 16444 0 0 0 143 6 0 0 25 0 1 0 13075512 71757824 16355 1992294400 4194304 9819077 140735850350912 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/23922/statm: 17519 16355 388 1374 0 16140 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 70076 [startup+3.10121 s] /proc/loadavg: 1.00 1.03 1.06 2/106 23923 /proc/meminfo: memFree=1766256/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=119820 CPUtime=3.09 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 28724 0 0 0 298 11 0 0 25 0 1 0 13075512 122695680 28635 1992294400 4194304 9819077 140735850350912 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/23922/statm: 29955 28647 388 1374 0 28576 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 119820 [startup+6.30156 s] /proc/loadavg: 1.08 1.04 1.07 2/106 23923 /proc/meminfo: memFree=1498168/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=413956 CPUtime=6.29 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 101223 0 0 0 590 39 0 0 25 0 1 0 13075512 423890944 100761 1992294400 4194304 9819077 140735850350912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23922/statm: 103489 100761 483 1374 0 102110 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 413956 [startup+12.7013 s] /proc/loadavg: 1.07 1.04 1.06 2/106 23923 /proc/meminfo: memFree=1171684/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=711952 CPUtime=12.69 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 174467 0 0 0 1197 72 0 0 25 0 1 0 13075512 729038848 174005 1992294400 4194304 9819077 140735850350912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23922/statm: 177988 174005 487 1374 0 176609 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 711952 [startup+25.5007 s] /proc/loadavg: 1.06 1.04 1.06 2/106 23923 /proc/meminfo: memFree=1018544/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=847852 CPUtime=25.48 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 207206 0 0 0 2444 104 0 0 25 0 1 0 13075512 868200448 206487 1992294400 4194304 9819077 140735850350912 18446744073709551615 5966506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23922/statm: 211963 206487 491 1374 0 210584 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 847852 [startup+51.1005 s] /proc/loadavg: 1.04 1.04 1.06 2/106 23925 /proc/meminfo: memFree=944516/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=927132 CPUtime=51.07 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 256839 0 0 0 4860 247 0 0 25 0 1 0 13075512 949383168 225213 1992294400 4194304 9819077 140735850350912 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23922/statm: 231783 225213 526 1374 0 230404 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 927132 [startup+102.308 s] /proc/loadavg: 1.01 1.03 1.06 2/106 23925 /proc/meminfo: memFree=903224/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=970572 CPUtime=102.25 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 267196 0 0 0 9973 252 0 0 25 0 1 0 13075512 993865728 235405 1992294400 4194304 9819077 140735850350912 18446744073709551615 5969496 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23922/statm: 242643 235405 527 1374 0 241264 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 970572 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.05 2/106 23927 /proc/meminfo: memFree=836636/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=1041788 CPUtime=162.22 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 284052 0 0 0 15964 258 0 0 25 0 1 0 13075512 1066790912 252261 1992294400 4194304 9819077 140735850350912 18446744073709551615 5969745 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23922/statm: 260447 252261 527 1374 0 259068 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 1041788 [startup+222.3 s] /proc/loadavg: 1.00 1.02 1.04 2/106 23929 /proc/meminfo: memFree=738552/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=1141224 CPUtime=222.21 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 308308 0 0 0 21952 269 0 0 25 0 1 0 13075512 1168613376 276517 1992294400 4194304 9819077 140735850350912 18446744073709551615 4688674 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23922/statm: 285306 276517 527 1374 0 283927 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 1141224 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.04 2/106 23931 /proc/meminfo: memFree=630052/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=1254632 CPUtime=282.19 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 335826 0 0 0 27938 281 0 0 25 0 1 0 13075512 1284743168 304002 1992294400 4194304 9819077 140735850350912 18446744073709551615 5969499 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23922/statm: 313658 304002 527 1374 0 312279 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 1254632 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.03 2/106 23933 /proc/meminfo: memFree=501588/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=1383044 CPUtime=342.17 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 367610 0 0 0 33921 296 0 0 25 0 1 0 13075512 1416237056 335654 1992294400 4194304 9819077 140735850350912 18446744073709551615 4690488 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23922/statm: 345761 335654 527 1374 0 344382 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 1383044 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.03 2/106 23933 /proc/meminfo: memFree=422228/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=1464308 CPUtime=402.15 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 387989 0 0 0 39906 309 0 0 25 0 1 0 13075512 1499451392 356033 1992294400 4194304 9819077 140735850350912 18446744073709551615 5969726 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23922/statm: 366077 356033 527 1374 0 364698 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 1464308 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.02 2/106 23935 /proc/meminfo: memFree=312240/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=1573184 CPUtime=462.14 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 415282 0 0 0 45892 322 0 0 25 0 1 0 13075512 1610940416 383070 1992294400 4194304 9819077 140735850350912 18446744073709551615 5969703 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23922/statm: 393296 383070 527 1374 0 391917 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 1573184 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.02 2/106 23937 /proc/meminfo: memFree=213784/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=1674336 CPUtime=522.11 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 440636 0 0 0 51871 340 0 0 25 0 1 0 13075512 1714520064 408168 1992294400 4194304 9819077 140735850350912 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23922/statm: 418584 408168 527 1374 0 417205 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 1674336 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.01 2/106 23939 /proc/meminfo: memFree=125248/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=1763152 CPUtime=582.1 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 462311 0 0 0 57850 360 0 0 25 0 1 0 13075512 1805467648 429587 1992294400 4194304 9819077 140735850350912 18446744073709551615 8678399 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23922/statm: 440788 429587 527 1374 0 439409 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 1763152 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+620.409 s] /proc/loadavg: 1.00 1.00 1.01 2/106 23939 /proc/meminfo: memFree=40184/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=1848492 CPUtime=620.2 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 483726 0 0 0 61645 375 0 0 25 0 1 0 13075512 1892855808 450746 1992294400 4194304 9819077 140735850350912 18446744073709551615 5969699 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23922/statm: 462123 450746 527 1374 0 460744 0 Current children cumulated CPU time (s) 620.2 Current children cumulated vsize (KiB) 1848492 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -23922 Solver just ended. Dumping a history of the last processes samples [startup+620.602 s] /proc/loadavg: 1.00 1.00 1.01 2/106 23939 /proc/meminfo: memFree=40184/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=1849476 CPUtime=620.39 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 484044 0 0 0 61664 375 0 0 25 0 1 0 13075512 1893863424 451064 1992294400 4194304 9819077 140735850350912 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23922/statm: 462369 451064 527 1374 0 460990 0 Current children cumulated CPU time (s) 620.39 Current children cumulated vsize (KiB) 1849476 [startup+621.402 s] /proc/loadavg: 1.00 1.00 1.01 2/107 23940 /proc/meminfo: memFree=36952/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=1850500 CPUtime=621.19 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 484523 0 0 0 61744 375 0 0 25 0 1 0 13075512 1894912000 451543 1992294400 4194304 9819077 140735850350912 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23922/statm: 462625 451543 527 1374 0 461246 0 Current children cumulated CPU time (s) 621.19 Current children cumulated vsize (KiB) 1850500 [startup+622.202 s] /proc/loadavg: 1.00 1.00 1.01 2/107 23940 /proc/meminfo: memFree=36952/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=1851524 CPUtime=621.99 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 484823 0 0 0 61824 375 0 0 25 0 1 0 13075512 1895960576 451843 1992294400 4194304 9819077 140735850350912 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23922/statm: 462881 451843 527 1374 0 461502 0 Current children cumulated CPU time (s) 621.99 Current children cumulated vsize (KiB) 1851524 [startup+622.402 s] /proc/loadavg: 1.00 1.00 1.01 2/107 23940 /proc/meminfo: memFree=36952/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=1851524 CPUtime=622.18 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 484828 0 0 0 61843 375 0 0 25 0 1 0 13075512 1895960576 451848 1992294400 4194304 9819077 140735850350912 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23922/statm: 462881 451848 527 1374 0 461502 0 Current children cumulated CPU time (s) 622.18 Current children cumulated vsize (KiB) 1851524 [startup+622.502 s] /proc/loadavg: 1.00 1.00 1.01 2/106 23940 /proc/meminfo: memFree=981768/2059040 swapFree=4136052/4192956 [pid=23922] ppid=23920 vsize=0 CPUtime=622.29 /proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4203524 484830 0 0 0 61845 384 0 0 25 0 1 0 13075512 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/23922/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 622.29 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 622.576 CPU time (s): 622.37 CPU user time (s): 618.455 CPU system time (s): 3.9154 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 1851524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 618.455 system time used= 3.9154 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 484830 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= 2015 runsolver used 1.02184 second user time and 2.96255 second system time The end
Begin job on node087 at 2010-07-06 22:37:53 IDJOB=2687146 IDBENCH=77448 IDSOLVER=1168 FILE ID=node087/2687146-1278448672 PBS_JOBID= 11233493 Free space on /tmp= 62504 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/j120opt/normalized-j12016_10.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-2687146-1278448672/watcher-2687146-1278448672 -o /tmp/evaluation-result-2687146-1278448672/solver-2687146-1278448672 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2687146-1278448672.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 16624ad16b07842a63cd0d52e04da495 RANDOM SEED=1895284253 node087.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.201 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.40 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.201 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 : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1845780 kB Buffers: 8976 kB Cached: 136956 kB SwapCached: 12860 kB Active: 91296 kB Inactive: 71608 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1845780 kB SwapTotal: 4192956 kB SwapFree: 4136052 kB Dirty: 14028 kB Writeback: 0 kB AnonPages: 11760 kB Mapped: 8288 kB Slab: 28596 kB PageTables: 4116 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181256 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= 62500 MiB End job on node087 at 2010-07-06 22:48:15