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.06 | 1802.74 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mzzv42z.opb |
MD5SUM | 8886b8ab7bdc8ec03150a7b794b8a992 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -10270 |
Best CPU time to get the best result obtained on this benchmark | 59.375 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -10270 |
Optimality of the best value was proved | YES |
Number of variables | 12596 |
Total number of constraints | 10687 |
Number of constraints which are clauses | 4 |
Number of constraints which are cardinality constraints (but not clauses) | 5680 |
Number of constraints which are nor clauses,nor cardinality constraints | 5003 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 714 |
Biggest coefficient in the objective function | 559 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 66891 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1117 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 66891 |
Number of bits of the biggest sum of numbers | 17 |
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.01 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.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.01 c 0.00/0.01 c user parameter file <scip.set> not found - using default parameters 0.00/0.01 c reading problem <HOME/instance-2665580-1276362504.opb> 0.39/0.46 c original problem has 12596 variables (12596 bin, 0 int, 0 impl, 0 cont) and 10687 constraints 0.39/0.46 c problem read 0.39/0.46 c presolving settings loaded 0.59/0.66 c presolving: 0.79/0.83 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 467 chg sides, 503 chg coeffs, 0 upgd conss, 48 impls, 7837 clqs 1.00/1.01 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 467 chg sides, 503 chg coeffs, 8322 upgd conss, 48 impls, 7837 clqs 1.10/1.16 c (round 3) 48 del vars, 11 del conss, 1 chg bounds, 669 chg sides, 1217 chg coeffs, 8322 upgd conss, 1398 impls, 8052 clqs 1.19/1.20 c (round 4) 60 del vars, 78 del conss, 3 chg bounds, 914 chg sides, 1726 chg coeffs, 8322 upgd conss, 1464 impls, 8058 clqs 1.19/1.26 c (round 5) 60 del vars, 150 del conss, 3 chg bounds, 1158 chg sides, 2403 chg coeffs, 8342 upgd conss, 1472 impls, 8218 clqs 1.29/1.31 c (round 6) 60 del vars, 204 del conss, 3 chg bounds, 1250 chg sides, 2965 chg coeffs, 8342 upgd conss, 1474 impls, 8292 clqs 15.79/15.85 c (15.2s) probing: 1000/12536 (8.0%) - 42 fixings, 4 aggregations, 207352 implications, 0 bound changes 17.78/17.81 c (round 7) 115 del vars, 204 del conss, 3 chg bounds, 1250 chg sides, 2993 chg coeffs, 8342 upgd conss, 479894 impls, 8278 clqs 17.78/17.86 c (round 8) 119 del vars, 252 del conss, 3 chg bounds, 1306 chg sides, 3228 chg coeffs, 8342 upgd conss, 480146 impls, 8339 clqs 17.89/17.93 c (round 9) 119 del vars, 257 del conss, 3 chg bounds, 1329 chg sides, 3308 chg coeffs, 8347 upgd conss, 480150 impls, 8348 clqs 29.88/29.95 c (29.1s) probing: 2000/12536 (16.0%) - 72 fixings, 6 aggregations, 354222 implications, 0 bound changes 41.38/41.45 c (40.6s) probing: 3000/12536 (23.9%) - 96 fixings, 6 aggregations, 436742 implications, 0 bound changes 42.97/43.07 c (round 10) 169 del vars, 257 del conss, 3 chg bounds, 1330 chg sides, 3323 chg coeffs, 8347 upgd conss, 937680 impls, 8350 clqs 43.07/43.14 c (round 11) 172 del vars, 270 del conss, 3 chg bounds, 1330 chg sides, 3388 chg coeffs, 8355 upgd conss, 937748 impls, 8371 clqs 43.18/43.23 c (round 12) 172 del vars, 278 del conss, 3 chg bounds, 1352 chg sides, 3474 chg coeffs, 8355 upgd conss, 937778 impls, 8400 clqs 43.18/43.29 c (round 13) 172 del vars, 278 del conss, 3 chg bounds, 1358 chg sides, 3508 chg coeffs, 8355 upgd conss, 937778 impls, 8425 clqs 53.57/53.60 c (52.6s) probing: 4000/12536 (31.9%) - 114 fixings, 10 aggregations, 509831 implications, 0 bound changes 59.67/59.71 c (round 14) 222 del vars, 278 del conss, 3 chg bounds, 1358 chg sides, 3522 chg coeffs, 8355 upgd conss, 1150331 impls, 8431 clqs 59.67/59.79 c (round 15) 228 del vars, 296 del conss, 5 chg bounds, 1360 chg sides, 3616 chg coeffs, 8355 upgd conss, 1150521 impls, 8452 clqs 59.77/59.86 c (round 16) 236 del vars, 301 del conss, 7 chg bounds, 1377 chg sides, 3702 chg coeffs, 8355 upgd conss, 1150545 impls, 8487 clqs 59.87/59.94 c (round 17) 241 del vars, 303 del conss, 7 chg bounds, 1377 chg sides, 3740 chg coeffs, 8363 upgd conss, 1150545 impls, 8500 clqs 59.96/60.02 c (round 18) 241 del vars, 305 del conss, 7 chg bounds, 1377 chg sides, 3767 chg coeffs, 8363 upgd conss, 1150545 impls, 8512 clqs 65.37/65.44 c (64.3s) probing: 5000/12536 (39.9%) - 154 fixings, 13 aggregations, 585672 implications, 0 bound changes 76.17/76.26 c (75.1s) probing: 6000/12536 (47.9%) - 164 fixings, 15 aggregations, 646605 implications, 0 bound changes 86.36/86.46 c (85.2s) probing: 7000/12536 (55.8%) - 184 fixings, 18 aggregations, 698528 implications, 0 bound changes 86.96/87.00 c (round 19) 291 del vars, 305 del conss, 7 chg bounds, 1377 chg sides, 3784 chg coeffs, 8363 upgd conss, 1483939 impls, 8517 clqs 86.96/87.10 c (round 20) 295 del vars, 320 del conss, 7 chg bounds, 1391 chg sides, 3931 chg coeffs, 8375 upgd conss, 1484239 impls, 8549 clqs 87.06/87.19 c (round 21) 295 del vars, 335 del conss, 7 chg bounds, 1423 chg sides, 4065 chg coeffs, 8375 upgd conss, 1484247 impls, 8576 clqs 97.56/97.62 c (96.3s) probing: 8000/12536 (63.8%) - 205 fixings, 23 aggregations, 771350 implications, 0 bound changes 102.85/102.99 c (round 22) 347 del vars, 335 del conss, 7 chg bounds, 1423 chg sides, 4092 chg coeffs, 8375 upgd conss, 1726839 impls, 8571 clqs 102.95/103.08 c (round 23) 352 del vars, 360 del conss, 7 chg bounds, 1436 chg sides, 4184 chg coeffs, 8375 upgd conss, 1726909 impls, 8596 clqs 103.06/103.18 c (round 24) 352 del vars, 362 del conss, 7 chg bounds, 1464 chg sides, 4297 chg coeffs, 8385 upgd conss, 1726935 impls, 8629 clqs 108.56/108.64 c (107.2s) probing: 9000/12536 (71.8%) - 235 fixings, 31 aggregations, 876514 implications, 0 bound changes 115.75/115.81 c (round 25) 402 del vars, 362 del conss, 7 chg bounds, 1464 chg sides, 4319 chg coeffs, 8385 upgd conss, 1927622 impls, 8631 clqs 115.85/115.91 c (round 26) 405 del vars, 381 del conss, 7 chg bounds, 1468 chg sides, 4409 chg coeffs, 8401 upgd conss, 1927848 impls, 8659 clqs 115.85/115.99 c (round 27) 405 del vars, 385 del conss, 7 chg bounds, 1488 chg sides, 4509 chg coeffs, 8401 upgd conss, 1927858 impls, 8671 clqs 117.56/117.64 c (116.1s) probing: 10000/12536 (79.8%) - 272 fixings, 37 aggregations, 910737 implications, 0 bound changes 125.55/125.65 c (round 28) 456 del vars, 385 del conss, 7 chg bounds, 1488 chg sides, 4534 chg coeffs, 8401 upgd conss, 2060001 impls, 8680 clqs 125.65/125.76 c (round 29) 459 del vars, 409 del conss, 7 chg bounds, 1497 chg sides, 4642 chg coeffs, 8406 upgd conss, 2060349 impls, 8716 clqs 125.75/125.85 c (round 30) 459 del vars, 412 del conss, 7 chg bounds, 1510 chg sides, 4736 chg coeffs, 8406 upgd conss, 2060349 impls, 8761 clqs 125.84/125.93 c (round 31) 459 del vars, 412 del conss, 7 chg bounds, 1512 chg sides, 4770 chg coeffs, 8406 upgd conss, 2060349 impls, 8775 clqs 127.35/127.49 c (125.8s) probing: 11000/12536 (87.7%) - 317 fixings, 42 aggregations, 978305 implications, 0 bound changes 136.94/137.08 c (135.4s) probing: 12000/12536 (95.7%) - 324 fixings, 51 aggregations, 1061694 implications, 0 bound changes 138.45/138.59 c (136.9s) probing: 12258/12536 (97.8%) - 324 fixings, 51 aggregations, 1062241 implications, 0 bound changes 138.45/138.59 c (136.9s) probing aborted: 100/100 successive totally useless probings 138.45/138.60 c (round 32) 476 del vars, 412 del conss, 7 chg bounds, 1512 chg sides, 4785 chg coeffs, 8406 upgd conss, 2251399 impls, 8771 clqs 138.64/138.71 c (round 33) 477 del vars, 419 del conss, 7 chg bounds, 1550 chg sides, 5024 chg coeffs, 8414 upgd conss, 2251405 impls, 8805 clqs 138.74/138.80 c (round 34) 477 del vars, 438 del conss, 7 chg bounds, 1573 chg sides, 5208 chg coeffs, 8414 upgd conss, 2251405 impls, 8854 clqs 138.74/138.88 c (round 35) 477 del vars, 441 del conss, 7 chg bounds, 1576 chg sides, 5282 chg coeffs, 8414 upgd conss, 2251405 impls, 8878 clqs 138.94/139.01 c (137.3s) probing: 12268/12536 (97.9%) - 324 fixings, 51 aggregations, 1062241 implications, 0 bound changes 138.94/139.01 c (137.3s) probing aborted: 100/100 successive totally useless probings 138.94/139.01 c presolving (36 rounds): 138.94/139.01 c 477 deleted vars, 441 deleted constraints, 7 tightened bounds, 0 added holes, 1576 changed sides, 5324 changed coefficients 138.94/139.01 c 2251405 implications, 8898 cliques 138.94/139.01 c presolved problem has 12119 variables (12119 bin, 0 int, 0 impl, 0 cont) and 10897 constraints 138.94/139.01 c 312 constraints of type <knapsack> 138.94/139.01 c 8253 constraints of type <setppc> 138.94/139.01 c 2269 constraints of type <linear> 138.94/139.01 c 63 constraints of type <logicor> 138.94/139.01 c transformed objective value is always integral (scale: 1) 138.94/139.01 c Presolving Time: 137.18 138.94/139.01 c - non default parameters ---------------------------------------------------------------------- 138.94/139.01 c # SCIP version 1.2.1.2 138.94/139.01 c 138.94/139.01 c # frequency for displaying node information lines 138.94/139.01 c # [type: int, range: [-1,2147483647], default: 100] 138.94/139.01 c display/freq = 10000 138.94/139.01 c 138.94/139.01 c # maximal time in seconds to run 138.94/139.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 138.94/139.01 c limits/time = 1799.55 138.94/139.01 c 138.94/139.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 138.94/139.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 138.94/139.01 c limits/memory = 1620 138.94/139.01 c 138.94/139.01 c # should presolving try to simplify inequalities 138.94/139.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 138.94/139.01 c constraints/linear/simplifyinequalities = TRUE 138.94/139.01 c 138.94/139.01 c # should presolving try to simplify knapsacks 138.94/139.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 138.94/139.01 c constraints/knapsack/simplifyinequalities = TRUE 138.94/139.01 c 138.94/139.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 138.94/139.01 c # [type: int, range: [-1,2147483647], default: -1] 138.94/139.01 c separating/rapidlearning/freq = 0 138.94/139.01 c 138.94/139.01 c ----------------------------------------------------------------------------------------------- 138.94/139.01 c start solving 138.94/139.03 c 278.00/278.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 278.00/278.11 c 275s| 1 | 0 | 50365 | - | 123M| 0 |1083 | 12k| 10k| 12k| 10k| 0 | 0 | 0 |-1.051010e+04 | -- | Inf 333.77/333.96 c 330s| 1 | 0 | 67483 | - | 128M| 0 | 971 | 12k| 10k| 12k| 11k| 469 | 0 | 0 |-1.042609e+04 | -- | Inf 377.65/377.86 c 373s| 1 | 0 | 81513 | - | 132M| 0 |1059 | 12k| 10k| 12k| 11k| 627 | 0 | 0 |-1.036237e+04 | -- | Inf 479.71/479.99 c 475s| 1 | 0 |105665 | - | 135M| 0 |1028 | 12k| 10k| 12k| 11k| 702 | 0 | 0 |-1.032616e+04 | -- | Inf 568.68/568.97 c 563s| 1 | 0 |128044 | - | 138M| 0 | 978 | 12k| 10k| 12k| 11k| 762 | 0 | 0 |-1.030262e+04 | -- | Inf 714.73/715.04 c 708s| 1 | 0 |159629 | - | 138M| 0 |1101 | 12k| 10k| 12k| 11k| 815 | 0 | 0 |-1.029246e+04 | -- | Inf 762.41/762.73 c 756s| 1 | 0 |171727 | - | 138M| 0 |1090 | 12k| 10k| 12k| 11k| 846 | 0 | 0 |-1.028939e+04 | -- | Inf 820.49/820.82 c 813s| 1 | 0 |184876 | - | 138M| 0 |1090 | 12k| 10k| 12k| 11k| 861 | 0 | 0 |-1.028718e+04 | -- | Inf 915.75/916.16 c 908s| 1 | 0 |203904 | - | 138M| 0 |1054 | 12k| 10k| 12k| 11k| 877 | 0 | 0 |-1.028470e+04 | -- | Inf 999.91/1000.36 c 992s| 1 | 0 |222382 | - | 142M| 0 |1066 | 12k| 10k| 12k| 11k| 903 | 0 | 0 |-1.027758e+04 | -- | Inf 1062.89/1063.34 c 1054s| 1 | 0 |238942 | - | 142M| 0 | 971 | 12k| 10k| 12k| 11k| 911 | 0 | 0 |-1.027128e+04 | -- | Inf 1174.05/1174.54 c 1165s| 1 | 0 |264053 | - | 144M| 0 | 766 | 12k| 10k| 12k| 11k| 931 | 0 | 0 |-1.027002e+04 | -- | Inf 1369.17/1369.72 c 1359s| 1 | 0 |304045 | - | 144M| 0 | 785 | 12k| 10k| 12k| 11k| 943 | 0 | 0 |-1.027002e+04 | -- | Inf 1452.64/1453.27 c 1442s| 1 | 0 |325967 | - | 144M| 0 | 848 | 12k| 10k| 12k| 11k| 946 | 0 | 0 |-1.027002e+04 | -- | Inf 1554.21/1554.86 c 1543s| 1 | 0 |347500 | - | 144M| 0 | 771 | 12k| 10k| 12k| 11k| 954 | 0 | 0 |-1.027002e+04 | -- | Inf 1683.95/1684.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1683.95/1684.68 c 1672s| 1 | 0 |374301 | - | 144M| 0 | 739 | 12k| 10k| 12k| 11k| 962 | 0 | 0 |-1.027002e+04 | -- | Inf 1800.02/1800.71 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-2665580-1276362504/watcher-2665580-1276362504 -o /tmp/evaluation-result-2665580-1276362504/solver-2665580-1276362504 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665580-1276362504.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.92 0.99 1.00 3/106 13551 /proc/meminfo: memFree=1356996/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=9288 CPUtime=0 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1245 0 0 0 0 0 0 0 20 0 1 0 11851793 9510912 1166 1992294400 4194304 9819077 140735792910864 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13551/statm: 2322 1176 371 1374 0 943 0 [startup+0.0636091 s] /proc/loadavg: 0.92 0.99 1.00 3/106 13551 /proc/meminfo: memFree=1356996/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=16364 CPUtime=0.06 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 3022 0 0 0 5 1 0 0 22 0 1 0 11851793 16756736 2943 1992294400 4194304 9819077 140735792910864 18446744073709551615 5648492 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13551/statm: 4091 2943 388 1374 0 2712 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 16364 [startup+0.101659 s] /proc/loadavg: 0.92 0.99 1.00 3/106 13551 /proc/meminfo: memFree=1356996/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=19540 CPUtime=0.09 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 3833 0 0 0 8 1 0 0 22 0 1 0 11851793 20008960 3754 1992294400 4194304 9819077 140735792910864 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13551/statm: 4885 3754 388 1374 0 3506 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19540 [startup+0.300649 s] /proc/loadavg: 0.92 0.99 1.00 3/106 13551 /proc/meminfo: memFree=1356996/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=24672 CPUtime=0.29 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 5103 0 0 0 27 2 0 0 22 0 1 0 11851793 25264128 5024 1992294400 4194304 9819077 140735792910864 18446744073709551615 8081440 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13551/statm: 6168 5024 388 1374 0 4789 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24672 [startup+0.700718 s] /proc/loadavg: 0.92 0.99 1.00 3/106 13551 /proc/meminfo: memFree=1356996/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=64952 CPUtime=0.69 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 15153 0 0 0 63 6 0 0 23 0 1 0 11851793 66510848 14720 1992294400 4194304 9819077 140735792910864 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 16238 14720 484 1374 0 14859 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 64952 [startup+1.50085 s] /proc/loadavg: 0.92 0.99 1.00 2/107 13552 /proc/meminfo: memFree=1283456/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=85220 CPUtime=1.49 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 25312 0 0 0 134 15 0 0 25 0 1 0 11851793 87265280 19814 1992294400 4194304 9819077 140735792910864 18446744073709551615 4677228 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 21305 19814 544 1374 0 19926 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 85220 [startup+3.10113 s] /proc/loadavg: 0.92 0.99 1.00 2/107 13552 /proc/meminfo: memFree=1278372/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=89384 CPUtime=3.09 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 26310 0 0 0 293 16 0 0 25 0 1 0 11851793 91529216 20800 1992294400 4194304 9819077 140735792910864 18446744073709551615 5120184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 22346 20800 533 1374 0 20967 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 89384 [startup+6.30068 s] /proc/loadavg: 0.93 0.99 1.00 2/107 13552 /proc/meminfo: memFree=1270064/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=95592 CPUtime=6.29 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 27843 0 0 0 611 18 0 0 25 0 1 0 11851793 97886208 22333 1992294400 4194304 9819077 140735792910864 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 23898 22333 533 1374 0 22519 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 95592 [startup+12.7008 s] /proc/loadavg: 0.93 0.99 1.00 2/107 13552 /proc/meminfo: memFree=1264608/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=100036 CPUtime=12.69 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 28932 0 0 0 1247 22 0 0 25 0 1 0 11851793 102436864 23418 1992294400 4194304 9819077 140735792910864 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 25009 23418 529 1374 0 23630 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 100036 [startup+25.502 s] /proc/loadavg: 0.95 0.99 1.00 2/107 13552 /proc/meminfo: memFree=1251960/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=113280 CPUtime=25.49 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 35022 0 0 0 2516 33 0 0 25 0 1 0 11851793 115998720 26585 1992294400 4194304 9819077 140735792910864 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 28320 26585 534 1374 0 26941 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 113280 [startup+51.1004 s] /proc/loadavg: 0.96 0.99 1.00 2/107 13552 /proc/meminfo: memFree=1241544/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=123424 CPUtime=51.07 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 42020 0 0 0 5056 51 0 0 25 0 1 0 11851793 126386176 29183 1992294400 4194304 9819077 140735792910864 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 30856 29183 534 1374 0 29477 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 123424 [startup+102.308 s] /proc/loadavg: 0.98 0.99 1.00 2/107 13554 /proc/meminfo: memFree=1219348/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=146204 CPUtime=102.26 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 55684 0 0 0 10137 89 0 0 25 0 1 0 11851793 149712896 34691 1992294400 4194304 9819077 140735792910864 18446744073709551615 5120202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 36551 34691 534 1374 0 35172 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 146204 [startup+162.301 s] /proc/loadavg: 0.99 0.99 1.00 2/107 13556 /proc/meminfo: memFree=1177064/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=197640 CPUtime=162.23 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 108552 0 0 0 16077 146 0 0 25 0 1 0 11851793 202383360 45201 1992294400 4194304 9819077 140735792910864 18446744073709551615 7318422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 49410 45201 650 1374 0 48031 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 197640 [startup+222.302 s] /proc/loadavg: 0.99 0.99 1.00 2/107 13558 /proc/meminfo: memFree=1178056/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=198316 CPUtime=222.21 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 170496 0 0 0 22035 186 0 0 25 0 1 0 11851793 203075584 45189 1992294400 4194304 9819077 140735792910864 18446744073709551615 6191119 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 49579 45189 651 1374 0 48200 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 198316 [startup+282.301 s] /proc/loadavg: 0.99 0.99 1.00 2/107 13560 /proc/meminfo: memFree=1168260/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=209908 CPUtime=282.19 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 255758 0 0 0 27979 240 0 0 25 0 1 0 11851793 214945792 47830 1992294400 4194304 9819077 140735792910864 18446744073709551615 4310598 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 52477 47830 677 1374 0 51098 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 209908 [startup+342.301 s] /proc/loadavg: 0.99 0.99 1.00 2/107 13563 /proc/meminfo: memFree=1148916/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=231776 CPUtime=342.16 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 313916 0 0 0 33860 356 0 0 25 0 1 0 11851793 237338624 52473 1992294400 4194304 9819077 140735792910864 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 57944 52473 709 1374 0 56565 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 231776 [startup+402.301 s] /proc/loadavg: 0.99 0.99 1.00 2/107 13565 /proc/meminfo: memFree=1136640/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=245060 CPUtime=402.14 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 377061 0 0 0 39814 400 0 0 25 0 1 0 11851793 250941440 55838 1992294400 4194304 9819077 140735792910864 18446744073709551615 6190584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 61265 55838 708 1374 0 59886 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 245060 [startup+462.302 s] /proc/loadavg: 0.99 0.99 1.00 2/107 13567 /proc/meminfo: memFree=1137880/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=242400 CPUtime=462.12 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 436195 0 0 0 45773 439 0 0 25 0 1 0 11851793 248217600 55198 1992294400 4194304 9819077 140735792910864 18446744073709551615 7318511 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 60600 55198 708 1374 0 59221 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 242400 [startup+522.301 s] /proc/loadavg: 0.99 0.99 1.00 2/107 13569 /proc/meminfo: memFree=1129944/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=253076 CPUtime=522.1 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 495227 0 0 0 51727 483 0 0 25 0 1 0 11851793 259149824 57532 1992294400 4194304 9819077 140735792910864 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 63269 57532 708 1374 0 61890 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 253076 [startup+582.302 s] /proc/loadavg: 0.99 0.99 1.00 2/107 13571 /proc/meminfo: memFree=1129572/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=246736 CPUtime=582.07 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 555064 0 0 0 57683 524 0 0 25 0 1 0 11851793 252657664 56696 1992294400 4194304 9819077 140735792910864 18446744073709551615 7222584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 61684 56696 708 1374 0 60305 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 246736 [startup+642.301 s] /proc/loadavg: 0.99 0.99 1.00 2/107 13571 /proc/meminfo: memFree=1129572/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=253164 CPUtime=642.06 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 606070 0 0 0 63645 561 0 0 25 0 1 0 11851793 259239936 57162 1992294400 4194304 9819077 140735792910864 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 63291 57162 708 1374 0 61912 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 253164 [startup+702.301 s] ################ # More data... # ################ /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 964049 0 0 0 105373 816 0 0 25 0 1 0 11851793 263827456 58556 1992294400 4194304 9819077 140735792910864 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 64411 58556 708 1374 0 63032 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 257644 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 1.00 2/107 13585 /proc/meminfo: memFree=1120396/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=262176 CPUtime=1121.87 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1017690 0 0 0 111332 855 0 0 25 0 1 0 11851793 268468224 59593 1992294400 4194304 9819077 140735792910864 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 65544 59593 708 1374 0 64165 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 262176 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 1.00 2/107 13587 /proc/meminfo: memFree=1120892/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=260364 CPUtime=1181.84 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1071478 0 0 0 117291 893 0 0 25 0 1 0 11851793 266612736 59229 1992294400 4194304 9819077 140735792910864 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 65091 59229 712 1374 0 63712 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 260364 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 1.00 2/107 13587 /proc/meminfo: memFree=1120644/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=261980 CPUtime=1241.82 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1124493 0 0 0 123253 929 0 0 25 0 1 0 11851793 268267520 59506 1992294400 4194304 9819077 140735792910864 18446744073709551615 7292006 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 65495 59506 712 1374 0 64116 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 261980 [startup+1302.3 s] /proc/loadavg: 0.99 0.99 1.00 2/107 13589 /proc/meminfo: memFree=1120892/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=260544 CPUtime=1301.81 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1179198 0 0 0 129217 964 0 0 25 0 1 0 11851793 266797056 59265 1992294400 4194304 9819077 140735792910864 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 65136 59265 712 1374 0 63757 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 260544 [startup+1362.3 s] /proc/loadavg: 0.99 0.99 1.00 2/107 13591 /proc/meminfo: memFree=1121264/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=259632 CPUtime=1361.77 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1226961 0 0 0 135181 996 0 0 25 0 1 0 11851793 265863168 59363 1992294400 4194304 9819077 140735792910864 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 64908 59363 712 1374 0 63529 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 259632 [startup+1422.31 s] /proc/loadavg: 0.99 0.99 1.00 2/107 13593 /proc/meminfo: memFree=1121016/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=261720 CPUtime=1421.76 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1288340 0 0 0 141136 1040 0 0 25 0 1 0 11851793 268001280 59248 1992294400 4194304 9819077 140735792910864 18446744073709551615 7291729 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 65430 59248 712 1374 0 64051 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 261720 [startup+1482.3 s] /proc/loadavg: 0.99 0.99 1.00 2/107 13595 /proc/meminfo: memFree=1119776/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=262880 CPUtime=1481.73 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1344551 0 0 0 147094 1079 0 0 25 0 1 0 11851793 269189120 59945 1992294400 4194304 9819077 140735792910864 18446744073709551615 7291597 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 65720 59945 712 1374 0 64341 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 262880 [startup+1542.3 s] /proc/loadavg: 0.99 0.99 1.00 2/107 13595 /proc/meminfo: memFree=1121264/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=260168 CPUtime=1541.71 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1400695 0 0 0 153053 1118 0 0 25 0 1 0 11851793 266412032 59209 1992294400 4194304 9819077 140735792910864 18446744073709551615 6192285 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 65042 59209 712 1374 0 63663 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 260168 [startup+1602.3 s] /proc/loadavg: 0.99 0.99 1.00 2/107 13597 /proc/meminfo: memFree=1118536/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=263092 CPUtime=1601.69 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1455564 0 0 0 159017 1152 0 0 25 0 1 0 11851793 269406208 59656 1992294400 4194304 9819077 140735792910864 18446744073709551615 7291742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 65773 59656 712 1374 0 64394 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 263092 [startup+1662.3 s] /proc/loadavg: 0.99 0.99 1.00 2/107 13599 /proc/meminfo: memFree=1120148/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=260836 CPUtime=1661.66 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1509973 0 0 0 164978 1188 0 0 25 0 1 0 11851793 267096064 59527 1992294400 4194304 9819077 140735792910864 18446744073709551615 7309280 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 65209 59527 712 1374 0 63830 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 260836 [startup+1722.3 s] /proc/loadavg: 0.99 0.99 1.00 2/107 13601 /proc/meminfo: memFree=1117420/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=263820 CPUtime=1721.64 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1568542 0 0 0 170934 1230 0 0 25 0 1 0 11851793 270151680 59807 1992294400 4194304 9819077 140735792910864 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 65955 59807 706 1374 0 64576 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 263820 [startup+1782.3 s] /proc/loadavg: 0.99 0.99 1.00 2/107 13603 /proc/meminfo: memFree=1115064/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=263828 CPUtime=1781.61 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1654079 0 0 0 176885 1276 0 0 25 0 1 0 11851793 270159872 59964 1992294400 4194304 9819077 140735792910864 18446744073709551615 7292313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 65957 59964 706 1374 0 64578 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 263828 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.99 1.00 2/107 13603 /proc/meminfo: memFree=1118536/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=263600 CPUtime=1800.02 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1671287 0 0 0 178715 1287 0 0 25 0 1 0 11851793 269926400 59760 1992294400 4194304 9819077 140735792910864 18446744073709551615 6190584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 65900 59760 706 1374 0 64521 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 263600 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -13551 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 0.99 0.99 1.00 2/107 13603 /proc/meminfo: memFree=1118536/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=263600 CPUtime=1800.71 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1671747 0 0 0 178783 1288 0 0 25 0 1 0 11851793 269926400 60220 1992294400 4194304 9819077 140735792910864 18446744073709551615 6391514 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 65900 60220 706 1374 0 64521 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (KiB) 263600 [startup+1802.2 s] /proc/loadavg: 0.99 0.99 1.00 2/108 13604 /proc/meminfo: memFree=1116172/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=263600 CPUtime=1801.51 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1671971 0 0 0 178863 1288 0 0 25 0 1 0 11851793 269926400 60444 1992294400 4194304 9819077 140735792910864 18446744073709551615 6192320 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 65900 60444 706 1374 0 64521 0 Current children cumulated CPU time (s) 1801.51 Current children cumulated vsize (KiB) 263600 [startup+1802.6 s] /proc/loadavg: 0.99 0.99 1.00 2/108 13604 /proc/meminfo: memFree=1116172/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=263540 CPUtime=1801.91 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1673081 0 0 0 178902 1289 0 0 25 0 1 0 11851793 269864960 59735 1992294400 4194304 9819077 140735792910864 18446744073709551615 7291971 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 65885 59735 706 1374 0 64506 0 Current children cumulated CPU time (s) 1801.91 Current children cumulated vsize (KiB) 263540 [startup+1802.7 s] /proc/loadavg: 0.99 0.99 1.00 2/108 13604 /proc/meminfo: memFree=1116172/2059040 swapFree=4192956/4192956 [pid=13551] ppid=13549 vsize=263540 CPUtime=1802.01 /proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1673106 0 0 0 178912 1289 0 0 25 0 1 0 11851793 269864960 59760 1992294400 4194304 9819077 140735792910864 18446744073709551615 6391455 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13551/statm: 65885 59760 706 1374 0 64506 0 Current children cumulated CPU time (s) 1802.01 Current children cumulated vsize (KiB) 263540 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.74 CPU time (s): 1802.06 CPU user time (s): 1789.14 CPU system time (s): 12.917 CPU usage (%): 99.9621 Max. virtual memory (cumulated for all children) (KiB): 264052 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.14 system time used= 12.917 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1673112 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= 2 involuntary context switches= 5410 runsolver used 3.10853 second user time and 8.39472 second system time The end
Begin job on node014 at 2010-06-12 19:08:24 IDJOB=2665580 IDBENCH=1878 IDSOLVER=1168 FILE ID=node014/2665580-1276362504 PBS_JOBID= 11173219 Free space on /tmp= 62464 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/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.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-2665580-1276362504/watcher-2665580-1276362504 -o /tmp/evaluation-result-2665580-1276362504/solver-2665580-1276362504 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665580-1276362504.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8886b8ab7bdc8ec03150a7b794b8a992 RANDOM SEED=339897444 node014.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.258 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.51 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.258 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1357524 kB Buffers: 136912 kB Cached: 419580 kB SwapCached: 0 kB Active: 200504 kB Inactive: 415668 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1357524 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 7804 kB Writeback: 0 kB AnonPages: 59596 kB Mapped: 15376 kB Slab: 63644 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183652 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= 62456 MiB End job on node014 at 2010-06-12 19:38:27