Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | ? (TO) | 1802.08 | 1802.02 |
Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf10.ucl--soft-66-100-0.wbo |
MD5SUM | 5805010aa07d3b134ea004b7ad815631 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 7.69083 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 18069 |
Total number of constraints | 52475 |
Number of soft constraints | 17765 |
Number of constraints which are clauses | 51555 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 920 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
Top cost | 896785 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 896784 |
Biggest number in a constraint | 39 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 132 |
Number of bits of the biggest sum of numbers | 8 |
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-2693110-1277915885.wbo> 0.39/0.44 c original problem has 53599 variables (35834 bin, 0 int, 0 impl, 17765 cont) and 70241 constraints 0.39/0.44 c problem read 0.39/0.44 c presolving settings loaded 0.69/0.73 c presolving: 0.89/0.96 c (round 1) 294 del vars, 16 del conss, 5 chg bounds, 460 chg sides, 926 chg coeffs, 0 upgd conss, 356621 impls, 0 clqs 0.89/1.00 c (round 2) 301 del vars, 600 del conss, 7 chg bounds, 460 chg sides, 926 chg coeffs, 0 upgd conss, 356621 impls, 0 clqs 0.99/1.02 c (round 3) 314 del vars, 615 del conss, 10 chg bounds, 460 chg sides, 926 chg coeffs, 0 upgd conss, 356701 impls, 0 clqs 0.99/1.05 c (round 4) 327 del vars, 654 del conss, 16 chg bounds, 460 chg sides, 926 chg coeffs, 0 upgd conss, 356745 impls, 0 clqs 0.99/1.08 c (round 5) 338 del vars, 668 del conss, 16 chg bounds, 460 chg sides, 926 chg coeffs, 0 upgd conss, 356765 impls, 0 clqs 1.10/1.16 c (round 6) 347 del vars, 669 del conss, 17763 chg bounds, 460 chg sides, 926 chg coeffs, 0 upgd conss, 356765 impls, 0 clqs 1.39/1.40 c (round 7) 348 del vars, 669 del conss, 17763 chg bounds, 460 chg sides, 926 chg coeffs, 34082 upgd conss, 356765 impls, 0 clqs 10.49/10.58 c (10.0s) probing: 1000/35504 (2.8%) - 3 fixings, 10 aggregations, 42806 implications, 0 bound changes 18.29/18.32 c (17.7s) probing: 2000/35504 (5.6%) - 6 fixings, 17 aggregations, 66504 implications, 0 bound changes 25.09/25.19 c (24.6s) probing: 3000/35504 (8.4%) - 6 fixings, 18 aggregations, 74213 implications, 0 bound changes 31.69/31.73 c (31.1s) probing: 4000/35504 (11.3%) - 7 fixings, 19 aggregations, 80838 implications, 0 bound changes 37.79/37.85 c (37.2s) probing: 5000/35504 (14.1%) - 8 fixings, 20 aggregations, 82637 implications, 0 bound changes 43.79/43.86 c (43.2s) probing: 6000/35504 (16.9%) - 8 fixings, 21 aggregations, 84020 implications, 0 bound changes 49.40/49.46 c (48.8s) probing: 6941/35504 (19.5%) - 8 fixings, 21 aggregations, 84684 implications, 0 bound changes 49.40/49.46 c (48.8s) probing aborted: 100/100 successive totally useless probings 49.40/49.46 c (round 8) 377 del vars, 669 del conss, 17763 chg bounds, 460 chg sides, 926 chg coeffs, 34082 upgd conss, 793240 impls, 0 clqs 49.50/49.51 c (round 9) 379 del vars, 695 del conss, 17763 chg bounds, 460 chg sides, 926 chg coeffs, 34082 upgd conss, 793254 impls, 0 clqs 50.20/50.24 c (49.5s) probing: 7000/35504 (19.7%) - 8 fixings, 21 aggregations, 85341 implications, 0 bound changes 56.00/56.05 c (55.4s) probing: 7851/35504 (22.1%) - 8 fixings, 22 aggregations, 86704 implications, 0 bound changes 56.00/56.05 c (55.4s) probing aborted: 100/100 successive totally useless probings 56.00/56.06 c presolving (10 rounds): 56.00/56.06 c 382 deleted vars, 697 deleted constraints, 17763 tightened bounds, 0 added holes, 460 changed sides, 926 changed coefficients 56.00/56.06 c 797593 implications, 0 cliques 56.00/56.06 c presolved problem has 53217 variables (35472 bin, 0 int, 0 impl, 17745 cont) and 69544 constraints 56.00/56.06 c 17745 constraints of type <indicator> 56.00/56.06 c 4 constraints of type <varbound> 56.00/56.06 c 616 constraints of type <knapsack> 56.00/56.06 c 17741 constraints of type <linear> 56.00/56.06 c 33438 constraints of type <logicor> 56.00/56.06 c transformed objective value is always integral (scale: 1) 56.00/56.06 c Presolving Time: 55.20 56.00/56.06 c - non default parameters ---------------------------------------------------------------------- 56.00/56.06 c # SCIP version 1.2.1.2 56.00/56.06 c 56.00/56.06 c # frequency for displaying node information lines 56.00/56.06 c # [type: int, range: [-1,2147483647], default: 100] 56.00/56.06 c display/freq = 10000 56.00/56.06 c 56.00/56.06 c # maximal time in seconds to run 56.00/56.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 56.00/56.06 c limits/time = 1799.57 56.00/56.06 c 56.00/56.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 56.00/56.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 56.00/56.06 c limits/memory = 3420 56.00/56.06 c 56.00/56.06 c # should presolving try to simplify inequalities 56.00/56.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 56.00/56.06 c constraints/linear/simplifyinequalities = TRUE 56.00/56.06 c 56.00/56.06 c # should presolving try to simplify knapsacks 56.00/56.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 56.00/56.06 c constraints/knapsack/simplifyinequalities = TRUE 56.00/56.06 c 56.00/56.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 56.00/56.06 c # [type: int, range: [-1,2147483647], default: -1] 56.00/56.06 c separating/rapidlearning/freq = 0 56.00/56.06 c 56.00/56.06 c ----------------------------------------------------------------------------------------------- 56.00/56.06 c start solving 56.00/56.07 c 56.39/56.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 56.39/56.42 c 55.7s| 1 | 0 | 1479 | - | 228M| 0 |1042 | 53k| 69k| 53k| 34k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 59.99/60.03 c 59.2s| 1 | 0 | 2413 | - | 230M| 0 |1315 | 53k| 69k| 53k| 34k| 377 | 0 | 0 | 0.000000e+00 | -- | Inf 63.00/63.07 c 62.2s| 1 | 0 | 4247 | - | 230M| 0 |2366 | 53k| 69k| 53k| 34k| 708 | 0 | 0 | 0.000000e+00 | -- | Inf 69.59/69.63 c 68.7s| 1 | 0 | 5764 | - | 231M| 0 |2968 | 53k| 69k| 53k| 35k|1141 | 0 | 0 | 0.000000e+00 | -- | Inf 78.69/78.72 c 77.8s| 1 | 0 | 8487 | - | 231M| 0 |3829 | 53k| 69k| 53k| 35k|1565 | 0 | 0 | 0.000000e+00 | -- | Inf 88.20/88.21 c 87.2s| 1 | 0 | 11076 | - | 232M| 0 |4516 | 53k| 69k| 53k| 35k|1963 | 0 | 0 | 0.000000e+00 | -- | Inf 102.00/102.06 c 101s| 1 | 0 | 14225 | - | 232M| 0 |5173 | 53k| 69k| 53k| 36k|2356 | 0 | 0 | 0.000000e+00 | -- | Inf 124.10/124.19 c 123s| 1 | 2 | 14225 | - | 232M| 0 |5173 | 53k| 69k| 53k| 36k|2356 | 0 | 17 | 0.000000e+00 | -- | Inf 368.70/368.78 o 895503 368.70/368.78 c y 360s| 17 | 16 | 37907 |1480.1 | 234M| 15 | - | 53k| 69k| 0 | 0 |2356 | 82 | 163 | 0.000000e+00 | 8.955030e+05 | Inf 1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.15/1800.17 c 1800.15/1800.17 c SCIP Status : solving was interrupted [user interrupt] 1800.15/1800.17 c Solving Time (sec) : 1714.24 1800.15/1800.17 c Solving Nodes : 541 1800.15/1800.17 c Primal Bound : +8.95503000000000e+05 (12 solutions) 1800.15/1800.17 c Dual Bound : +0.00000000000000e+00 1800.15/1800.17 c Gap : infinite
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-2693110-1277915885/watcher-2693110-1277915885 -o /tmp/evaluation-result-2693110-1277915885/solver-2693110-1277915885 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693110-1277915885.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.01 1.99 4/178 25406 /proc/meminfo: memFree=31221348/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=11008 CPUtime=0 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 1678 0 0 0 0 0 0 0 25 0 1 0 167192011 11272192 1598 4089446400 4194304 9819077 140735640865728 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25406/statm: 2752 1600 392 1374 0 1373 0 [startup+0.0375589 s] /proc/loadavg: 2.02 2.01 1.99 4/178 25406 /proc/meminfo: memFree=31221348/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=17952 CPUtime=0.03 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 3441 0 0 0 3 0 0 0 25 0 1 0 167192011 18382848 3361 4089446400 4194304 9819077 140735640865728 18446744073709551615 8718976 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25406/statm: 4488 3361 392 1374 0 3109 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 17952 [startup+0.100554 s] /proc/loadavg: 2.02 2.01 1.99 4/178 25406 /proc/meminfo: memFree=31221348/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=29624 CPUtime=0.09 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 6353 0 0 0 9 0 0 0 25 0 1 0 167192011 30334976 6273 4089446400 4194304 9819077 140735640865728 18446744073709551615 5647820 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25406/statm: 7406 6273 392 1374 0 6027 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29624 [startup+0.300508 s] /proc/loadavg: 2.02 2.01 1.99 4/178 25406 /proc/meminfo: memFree=31221348/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=61828 CPUtime=0.29 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 14398 0 0 0 28 1 0 0 25 0 1 0 167192011 63311872 14318 4089446400 4194304 9819077 140735640865728 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25406/statm: 15457 14319 392 1374 0 14078 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 61828 [startup+0.700441 s] /proc/loadavg: 2.02 2.01 1.99 4/178 25406 /proc/meminfo: memFree=31221348/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=194300 CPUtime=0.69 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 46879 0 0 0 64 5 0 0 25 0 1 0 167192011 198963200 46354 4089446400 4194304 9819077 140735640865728 18446744073709551615 4329675 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 48575 46354 463 1374 0 47196 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 194300 [startup+1.50029 s] /proc/loadavg: 2.02 2.01 1.99 3/179 25407 /proc/meminfo: memFree=31011780/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=246596 CPUtime=1.49 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 66798 0 0 0 133 16 0 0 25 0 1 0 167192011 252514304 59026 4089446400 4194304 9819077 140735640865728 18446744073709551615 5500636 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 61649 59026 532 1374 0 60270 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 246596 [startup+3.10099 s] /proc/loadavg: 2.02 2.01 1.99 3/179 25407 /proc/meminfo: memFree=30982508/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=252872 CPUtime=3.09 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 68328 0 0 0 293 16 0 0 25 0 1 0 167192011 258940928 60555 4089446400 4194304 9819077 140735640865728 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 63218 60555 532 1374 0 61839 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 252872 [startup+6.3004 s] /proc/loadavg: 2.02 2.01 1.99 3/179 25407 /proc/meminfo: memFree=30971720/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=258792 CPUtime=6.29 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 69793 0 0 0 613 16 0 0 25 0 1 0 167192011 265003008 62020 4089446400 4194304 9819077 140735640865728 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 64698 62020 532 1374 0 63319 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 258792 [startup+12.7002 s] /proc/loadavg: 2.02 2.01 1.99 3/179 25407 /proc/meminfo: memFree=30964788/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=263064 CPUtime=12.69 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 70876 0 0 0 1251 18 0 0 25 0 1 0 167192011 269377536 63103 4089446400 4194304 9819077 140735640865728 18446744073709551615 5501208 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 65766 63103 537 1374 0 64387 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 263064 [startup+25.5009 s] /proc/loadavg: 2.01 2.01 1.99 3/179 25408 /proc/meminfo: memFree=30958248/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=269604 CPUtime=25.49 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 72490 0 0 0 2528 21 0 0 25 0 1 0 167192011 276074496 64717 4089446400 4194304 9819077 140735640865728 18446744073709551615 4827474 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 67401 64717 537 1374 0 66022 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 269604 [startup+51.1011 s] /proc/loadavg: 2.01 2.00 1.99 3/179 25408 /proc/meminfo: memFree=30946700/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=273256 CPUtime=51.1 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 75755 0 0 0 5082 28 0 0 25 0 1 0 167192011 279814144 65590 4089446400 4194304 9819077 140735640865728 18446744073709551615 4827509 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 68314 65590 537 1374 0 66935 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 273256 [startup+102.307 s] /proc/loadavg: 2.00 2.00 1.99 3/179 25410 /proc/meminfo: memFree=30856268/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=372516 CPUtime=102.3 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 229627 0 0 0 10169 61 0 0 25 0 1 0 167192011 381456384 83035 4089446400 4194304 9819077 140735640865728 18446744073709551615 5346178 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 93129 83035 699 1374 0 91750 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 372516 [startup+162.301 s] /proc/loadavg: 2.00 2.00 1.99 3/179 25411 /proc/meminfo: memFree=30830572/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=373196 CPUtime=162.3 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 662739 0 0 0 16105 125 0 0 25 0 1 0 167192011 382152704 83438 4089446400 4194304 9819077 140735640865728 18446744073709551615 6697183 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 93299 83438 739 1374 0 91920 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 373196 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.99 3/179 25413 /proc/meminfo: memFree=30805728/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=402944 CPUtime=222.29 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 1110042 0 0 0 22044 185 0 0 25 0 1 0 167192011 412614656 85073 4089446400 4194304 9819077 140735640865728 18446744073709551615 7291092 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 100736 85073 739 1374 0 99357 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 402944 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.99 3/179 25414 /proc/meminfo: memFree=30785612/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=402952 CPUtime=282.3 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 1633541 0 0 0 27977 253 0 0 25 0 1 0 167192011 412622848 84943 4089446400 4194304 9819077 140735640865728 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 100738 84943 739 1374 0 99359 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 402952 [startup+342.3 s] /proc/loadavg: 2.06 2.01 2.00 3/179 25416 /proc/meminfo: memFree=30758528/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=385452 CPUtime=342.3 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 4127304 0 0 0 33692 538 0 0 25 0 1 0 167192011 394702848 86551 4089446400 4194304 9819077 140735640865728 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 96363 86551 742 1374 0 94984 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 385452 [startup+402.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 25418 /proc/meminfo: memFree=30750180/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=381548 CPUtime=402.3 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 7525024 0 0 0 39287 943 0 0 25 0 1 0 167192011 390705152 85643 4089446400 4194304 9819077 140735640865728 18446744073709551615 6367313 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 95387 85643 742 1374 0 94008 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 381548 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25419 /proc/meminfo: memFree=30714428/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=385416 CPUtime=462.3 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 11046344 0 0 0 44868 1362 0 0 25 0 1 0 167192011 394665984 88489 4089446400 4194304 9819077 140735640865728 18446744073709551615 7221877 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 96354 88490 742 1374 0 94975 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 385416 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25421 /proc/meminfo: memFree=30706716/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=379208 CPUtime=522.31 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 12881338 0 0 0 50647 1584 0 0 25 0 1 0 167192011 388308992 86523 4089446400 4194304 9819077 140735640865728 18446744073709551615 7226531 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 94802 86530 742 1374 0 93423 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 379208 [startup+582.301 s] /proc/loadavg: 2.03 2.01 2.00 3/179 25422 /proc/meminfo: memFree=30687588/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=386648 CPUtime=582.32 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 15130549 0 0 0 56376 1856 0 0 25 0 1 0 167192011 395927552 86545 4089446400 4194304 9819077 140735640865728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 96662 86545 742 1374 0 95283 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 386648 [startup+642.301 s] /proc/loadavg: 2.01 2.01 2.00 3/179 25452 /proc/meminfo: memFree=31032788/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=396116 CPUtime=642.31 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 19270448 0 0 0 61899 2332 0 0 25 0 1 0 167192011 405622784 89400 4089446400 4194304 9819077 140735640865728 18446744073709551615 5893827 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 99029 89400 742 1374 0 97650 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 396116 [startup+702.301 s] ################ # More data... # ################ /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 38420088 0 0 0 95635 4598 0 0 25 0 1 0 167192011 396247040 88450 4089446400 4194304 9819077 140735640865728 18446744073709551615 7234112 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 96740 88450 743 1374 0 95361 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 386960 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25463 /proc/meminfo: memFree=30980236/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=391304 CPUtime=1062.32 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 42435032 0 0 0 101158 5074 0 0 25 0 1 0 167192011 400695296 88028 4089446400 4194304 9819077 140735640865728 18446744073709551615 7291645 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 97826 88028 743 1374 0 96447 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 391304 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25465 /proc/meminfo: memFree=30969256/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=395436 CPUtime=1122.32 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 45567737 0 0 0 106793 5439 0 0 25 0 1 0 167192011 404926464 88843 4089446400 4194304 9819077 140735640865728 18446744073709551615 6567584 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 98859 88843 743 1374 0 97480 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 395436 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25466 /proc/meminfo: memFree=30952240/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=394952 CPUtime=1182.33 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 48926579 0 0 0 112395 5838 0 0 25 0 1 0 167192011 404430848 88793 4089446400 4194304 9819077 140735640865728 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 98738 88793 743 1374 0 97359 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 394952 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25468 /proc/meminfo: memFree=30945372/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=393756 CPUtime=1242.34 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 51561584 0 0 0 118088 6146 0 0 25 0 1 0 167192011 403206144 89804 4089446400 4194304 9819077 140735640865728 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 98439 89816 743 1374 0 97060 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 393756 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25470 /proc/meminfo: memFree=30941740/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=396316 CPUtime=1302.34 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 54216296 0 0 0 123771 6463 0 0 25 0 1 0 167192011 405827584 89381 4089446400 4194304 9819077 140735640865728 18446744073709551615 5893820 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 99079 89381 743 1374 0 97700 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 396316 [startup+1362.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 25471 /proc/meminfo: memFree=30930288/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=400332 CPUtime=1362.34 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 55638580 0 0 0 129593 6641 0 0 25 0 1 0 167192011 409939968 90660 4089446400 4194304 9819077 140735640865728 18446744073709551615 7291684 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 100083 90660 743 1374 0 98704 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 400332 [startup+1422.31 s] /proc/loadavg: 2.01 2.01 2.00 3/179 25482 /proc/meminfo: memFree=30912032/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=410636 CPUtime=1422.35 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 59508949 0 0 0 135144 7091 0 0 25 0 1 0 167192011 420491264 93031 4089446400 4194304 9819077 140735640865728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 102659 93031 743 1374 0 101280 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 410636 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25483 /proc/meminfo: memFree=30919676/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=397444 CPUtime=1482.34 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 61009256 0 0 0 140961 7273 0 0 25 0 1 0 167192011 406982656 89457 4089446400 4194304 9819077 140735640865728 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 99361 89457 743 1374 0 97982 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 397444 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25485 /proc/meminfo: memFree=30903248/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=403432 CPUtime=1542.34 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 64746828 0 0 0 146524 7710 0 0 25 0 1 0 167192011 413114368 91158 4089446400 4194304 9819077 140735640865728 18446744073709551615 7292289 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 100858 91158 743 1374 0 99479 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 403432 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25487 /proc/meminfo: memFree=30896884/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=404260 CPUtime=1602.34 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 66181054 0 0 0 152353 7881 0 0 25 0 1 0 167192011 413962240 91368 4089446400 4194304 9819077 140735640865728 18446744073709551615 6191183 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 101065 91368 743 1374 0 99686 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 404260 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25488 /proc/meminfo: memFree=30892996/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=404480 CPUtime=1662.35 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 68267780 0 0 0 158105 8130 0 0 25 0 1 0 167192011 414187520 91230 4089446400 4194304 9819077 140735640865728 18446744073709551615 7291143 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 101120 91230 743 1374 0 99741 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 404480 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25490 /proc/meminfo: memFree=30890348/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=397688 CPUtime=1722.35 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 70668704 0 0 0 163822 8413 0 0 25 0 1 0 167192011 407232512 89536 4089446400 4194304 9819077 140735640865728 18446744073709551615 6192313 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 99422 89536 743 1374 0 98043 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 397688 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25491 /proc/meminfo: memFree=30877020/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=428248 CPUtime=1782.35 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 71546340 0 0 0 169709 8526 0 0 25 0 1 0 167192011 438525952 91110 4089446400 4194304 9819077 140735640865728 18446744073709551615 6191145 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 107062 91110 743 1374 0 105683 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 428248 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25492 /proc/meminfo: memFree=30874656/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=428488 CPUtime=1800.05 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 71803129 0 0 0 171448 8557 0 0 25 0 1 0 167192011 438771712 91056 4089446400 4194304 9819077 140735640865728 18446744073709551615 6191119 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/25406/statm: 107122 91056 743 1374 0 105743 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 428488 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -25406 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/180 25493 /proc/meminfo: memFree=30880352/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=398524 CPUtime=1801.45 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 71805358 0 0 0 171588 8557 0 0 25 0 1 0 167192011 408088576 89426 4089446400 4194304 9819077 140735640865728 18446744073709551615 4241122 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25406/statm: 99631 89426 743 1374 0 98252 0 Current children cumulated CPU time (s) 1801.45 Current children cumulated vsize (KiB) 398524 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 25493 /proc/meminfo: memFree=30880352/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=398524 CPUtime=1801.85 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 71805358 0 0 0 171628 8557 0 0 25 0 1 0 167192011 408088576 89426 4089446400 4194304 9819077 140735640865728 18446744073709551615 4241129 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25406/statm: 99631 89426 743 1374 0 98252 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 398524 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 25493 /proc/meminfo: memFree=30880352/32950928 swapFree=67111528/67111528 [pid=25406] ppid=25404 vsize=398524 CPUtime=1802.05 /proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 71805358 0 0 0 171648 8557 0 0 25 0 1 0 167192011 408088576 89426 4089446400 4194304 9819077 140735640865728 18446744073709551615 4241129 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25406/statm: 99631 89426 743 1374 0 98252 0 Current children cumulated CPU time (s) 1802.05 Current children cumulated vsize (KiB) 398524 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.02 CPU time (s): 1802.08 CPU user time (s): 1716.49 CPU system time (s): 85.591 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 530028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1716.49 system time used= 85.591 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71805358 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= 977 runsolver used 2.78158 second user time and 7.05593 second system time The end
Begin job on node113 at 2010-06-30 18:38:05 IDJOB=2693110 IDBENCH=79062 IDSOLVER=1205 FILE ID=node113/2693110-1277915885 PBS_JOBID= 11197327 Free space on /tmp= 74204 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl--soft-66-100-0.wbo 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-2693110-1277915885/watcher-2693110-1277915885 -o /tmp/evaluation-result-2693110-1277915885/solver-2693110-1277915885 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693110-1277915885.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5805010aa07d3b134ea004b7ad815631 RANDOM SEED=1984719155 node113.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.62 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31222248 kB Buffers: 198804 kB Cached: 1044740 kB SwapCached: 0 kB Active: 894672 kB Inactive: 691468 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31222248 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 7772 kB Writeback: 0 kB AnonPages: 342624 kB Mapped: 17584 kB Slab: 79116 kB PageTables: 5456 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 508448 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74200 MiB End job on node113 at 2010-06-30 19:08:07