Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1802.1 | 1802.76 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_2_80.opb |
MD5SUM | d38f526c1f6f5ee8e5e4d2c41b31df8d |
Bench Category | SATUNSAT-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 18.5822 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1502 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 80 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 31340 |
Sum of products size (including duplicates) | 62680 |
Number of different products | 15670 |
Sum of products size | 31340 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.19/0.26 c ...done 0.19/0.26 c #vars=16670 #constraints=32843 hasObjective=no 0.29/0.31 c res. mode=mod 0.29/0.31 c VSIDS like heuristics 0.29/0.31 c complete search running 0.49/0.59 c restart after 401 decisions 0.59/0.65 c nbDecision=500 #constraints=32877 0.69/0.76 c restart after 801 decisions 0.79/0.85 c nbDecision=1000 #constraints=32878 0.99/1.08 c nbDecision=1500 #constraints=32884 1.09/1.11 c restart after 1601 decisions 1.19/1.29 c nbDecision=2000 #constraints=32886 1.49/1.50 c nbDecision=2500 #constraints=32891 1.69/1.78 c nbDecision=3000 #constraints=32905 1.79/1.88 c restart after 3201 decisions 1.99/2.02 c nbDecision=3500 #constraints=32913 2.19/2.29 c nbDecision=4000 #constraints=32927 2.49/2.56 c nbDecision=4500 #constraints=32936 2.79/2.80 c nbDecision=5000 #constraints=32944 2.99/3.09 c nbDecision=5500 #constraints=32950 3.29/3.37 c nbDecision=6000 #constraints=32961 3.49/3.58 c restart after 6401 decisions 3.59/3.64 c nbDecision=6500 #constraints=32965 3.89/3.90 c nbDecision=7000 #constraints=32972 4.19/4.21 c nbDecision=7500 #constraints=32982 4.49/4.54 c nbDecision=8000 #constraints=32999 4.79/4.84 c nbDecision=8500 #constraints=33010 5.09/5.16 c nbDecision=9000 #constraints=33022 5.49/5.50 c nbDecision=9500 #constraints=33031 5.79/5.83 c nbDecision=10000 #constraints=33041 6.09/6.15 c nbDecision=10500 #constraints=33053 6.49/6.54 c nbDecision=11000 #constraints=33067 6.89/6.91 c nbDecision=11500 #constraints=33073 7.19/7.27 c nbDecision=12000 #constraints=33084 7.59/7.64 c nbDecision=12500 #constraints=33092 7.89/7.91 c restart after 12801 decisions 7.99/8.03 c nbDecision=13000 #constraints=33099 8.39/8.45 c nbDecision=13500 #constraints=33119 8.79/8.83 c nbDecision=14000 #constraints=33125 9.19/9.28 c nbDecision=14500 #constraints=33138 9.59/9.66 c nbDecision=15000 #constraints=33147 10.09/10.11 c nbDecision=15500 #constraints=33156 10.49/10.55 c nbDecision=16000 #constraints=33165 10.89/10.91 c nbDecision=16500 #constraints=33173 11.39/11.40 c nbDecision=17000 #constraints=33186 11.88/11.90 c nbDecision=17500 #constraints=33200 12.28/12.33 c nbDecision=18000 #constraints=33208 12.78/12.82 c nbDecision=18500 #constraints=33217 13.28/13.35 c nbDecision=19000 #constraints=33229 13.78/13.82 c nbDecision=19500 #constraints=33242 14.29/14.34 c nbDecision=20000 #constraints=33251 14.78/14.83 c nbDecision=20500 #constraints=33261 15.29/15.35 c nbDecision=21000 #constraints=33274 15.78/15.86 c nbDecision=21500 #constraints=33280 16.39/16.49 c nbDecision=22000 #constraints=33295 16.88/16.99 c nbDecision=22500 #constraints=33307 17.59/17.60 c nbDecision=23000 #constraints=33321 18.08/18.20 c nbDecision=23500 #constraints=33335 18.69/18.76 c nbDecision=24000 #constraints=33344 19.28/19.38 c nbDecision=24500 #constraints=33354 19.98/20.07 c nbDecision=25000 #constraints=33369 20.59/20.66 c nbDecision=25500 #constraints=33377 20.79/20.84 c restart after 25601 decisions 21.29/21.31 c nbDecision=26000 #constraints=33386 21.89/21.99 c nbDecision=26500 #constraints=33399 22.89/22.97 c nbDecision=27000 #constraints=33423 23.79/23.84 c nbDecision=27500 #constraints=33436 24.69/24.72 c nbDecision=28000 #constraints=33446 25.59/25.61 c nbDecision=28500 #constraints=33455 26.39/26.46 c nbDecision=29000 #constraints=33464 27.19/27.24 c nbDecision=29500 #constraints=33472 27.89/27.98 c nbDecision=30000 #constraints=33477 28.69/28.76 c nbDecision=30500 #constraints=33483 29.49/29.56 c nbDecision=31000 #constraints=33488 30.09/30.19 c nbDecision=31500 #constraints=33493 30.79/30.83 c nbDecision=32000 #constraints=33497 31.48/31.58 c nbDecision=32500 #constraints=33502 32.18/32.26 c nbDecision=33000 #constraints=33507 32.68/32.72 c nbDecision=33500 #constraints=33512 33.18/33.28 c nbDecision=34000 #constraints=33516 33.78/33.83 c nbDecision=34500 #constraints=33521 34.38/34.46 c nbDecision=35000 #constraints=33525 34.88/34.96 c nbDecision=35500 #constraints=33529 35.28/35.39 c nbDecision=36000 #constraints=33533 36.38/36.42 c nbDecision=36500 #constraints=33544 37.08/37.12 c nbDecision=37000 #constraints=33553 37.98/38.02 c nbDecision=37500 #constraints=33561 38.98/39.07 c nbDecision=38000 #constraints=33574 39.88/39.92 c nbDecision=38500 #constraints=33586 41.08/41.10 c nbDecision=39000 #constraints=33598 42.28/42.35 c nbDecision=39500 #constraints=33609 43.88/44.00 c nbDecision=40000 #constraints=33625 45.38/45.41 c nbDecision=40500 #constraints=33645 46.98/47.07 c nbDecision=41000 #constraints=33656 48.58/48.67 c nbDecision=41500 #constraints=33667 50.08/50.11 c nbDecision=42000 #constraints=33679 51.58/51.65 c nbDecision=42500 #constraints=33691 52.97/53.08 c nbDecision=43000 #constraints=33707 54.17/54.26 c nbDecision=43500 #constraints=33720 55.57/55.61 c nbDecision=44000 #constraints=33733 57.27/57.32 c nbDecision=44500 #constraints=33758 64.78/64.87 c nbDecision=45000 #constraints=34044 74.96/75.00 c nbDecision=45500 #constraints=34330 79.96/80.03 c nbDecision=46000 #constraints=34405 84.96/85.06 c nbDecision=46500 #constraints=34428 88.96/89.08 c nbDecision=47000 #constraints=34853 94.26/94.39 c nbDecision=47500 #constraints=35299 100.15/100.21 c nbDecision=48000 #constraints=35586 101.75/101.88 c nbDecision=48500 #constraints=35622 104.25/104.32 c nbDecision=49000 #constraints=35636 106.66/106.71 c nbDecision=49500 #constraints=35651 109.96/110.05 c nbDecision=50000 #constraints=35678 112.95/113.07 c nbDecision=50500 #constraints=35683 116.05/116.11 c nbDecision=51000 #constraints=35688 117.25/117.34 c restart after 51201 decisions 118.75/118.82 c nbDecision=51500 #constraints=35694 120.25/120.34 c nbDecision=52000 #constraints=35698 122.15/122.21 c nbDecision=52500 #constraints=35710 124.55/124.62 c nbDecision=53000 #constraints=35717 127.15/127.24 c nbDecision=53500 #constraints=35725 129.05/129.15 c nbDecision=54000 #constraints=35733 131.55/131.69 c nbDecision=54500 #constraints=35741 133.94/134.03 c nbDecision=55000 #constraints=35747 136.44/136.52 c nbDecision=55500 #constraints=35752 138.34/138.43 c nbDecision=56000 #constraints=35760 140.34/140.46 c nbDecision=56500 #constraints=35769 142.74/142.81 c nbDecision=57000 #constraints=35776 144.94/145.02 c nbDecision=57500 #constraints=35781 146.94/147.06 c nbDecision=58000 #constraints=35787 149.24/149.36 c nbDecision=58500 #constraints=35793 151.24/151.38 c nbDecision=59000 #constraints=35798 153.44/153.55 c nbDecision=59500 #constraints=35804 155.74/155.85 c nbDecision=60000 #constraints=35811 158.04/158.20 c nbDecision=60500 #constraints=35816 160.34/160.50 c nbDecision=61000 #constraints=35821 162.64/162.73 c nbDecision=61500 #constraints=35826 164.84/164.98 c nbDecision=62000 #constraints=35832 167.23/167.35 c nbDecision=62500 #constraints=35837 169.43/169.59 c nbDecision=63000 #constraints=35843 171.73/171.84 c nbDecision=63500 #constraints=35849 174.24/174.33 c nbDecision=64000 #constraints=35854 176.74/176.87 c nbDecision=64500 #constraints=35859 179.54/179.64 c nbDecision=65000 #constraints=35866 187.54/187.66 c nbDecision=65500 #constraints=35893 190.83/190.97 c nbDecision=66000 #constraints=35915 192.23/192.35 c nbDecision=66500 #constraints=35946 193.73/193.86 c nbDecision=67000 #constraints=35970 195.23/195.33 c nbDecision=67500 #constraints=35988 196.93/197.02 c nbDecision=68000 #constraints=36021 198.63/198.78 c nbDecision=68500 #constraints=36039 200.63/200.74 c nbDecision=69000 #constraints=36052 202.53/202.64 c nbDecision=69500 #constraints=36092 204.82/204.94 c nbDecision=70000 #constraints=36114 206.73/206.88 c nbDecision=70500 #constraints=36142 209.42/209.57 c nbDecision=71000 #constraints=36180 212.03/212.17 c nbDecision=71500 #constraints=36212 214.83/214.99 c nbDecision=72000 #constraints=36230 217.82/217.99 c nbDecision=72500 #constraints=36250 221.42/221.56 c nbDecision=73000 #constraints=36280 224.52/224.60 c nbDecision=73500 #constraints=36298 228.22/228.33 c nbDecision=74000 #constraints=36318 231.52/231.65 c nbDecision=74500 #constraints=36348 235.01/235.15 c nbDecision=75000 #constraints=36374 239.01/239.18 c nbDecision=75500 #constraints=36403 243.41/243.59 c nbDecision=76000 #constraints=36425 248.01/248.15 c nbDecision=76500 #constraints=36456 253.11/253.26 c nbDecision=77000 #constraints=36487 258.31/258.48 c nbDecision=77500 #constraints=36502 263.11/263.23 c nbDecision=78000 #constraints=36518 268.80/268.97 c nbDecision=78500 #constraints=36552 274.50/274.61 c nbDecision=79000 #constraints=36570 279.90/280.09 c nbDecision=79500 #constraints=36597 285.70/285.88 c nbDecision=80000 #constraints=36608 291.00/291.17 c nbDecision=80500 #constraints=36634 296.70/296.90 c nbDecision=81000 #constraints=36665 304.09/304.26 c nbDecision=81500 #constraints=36700 310.79/310.95 c nbDecision=82000 #constraints=36746 318.59/318.78 c nbDecision=82500 #constraints=36783 327.79/327.98 c nbDecision=83000 #constraints=36819 339.28/339.46 c nbDecision=83500 #constraints=36853 350.68/350.84 c nbDecision=84000 #constraints=36892 362.78/362.97 c nbDecision=84500 #constraints=36919 374.67/374.88 c nbDecision=85000 #constraints=36932 387.46/387.63 c nbDecision=85500 #constraints=36958 398.86/399.00 c nbDecision=86000 #constraints=36976 409.66/409.88 c nbDecision=86500 #constraints=36998 419.85/420.01 c nbDecision=87000 #constraints=37017 429.85/430.03 c nbDecision=87500 #constraints=37035 440.15/440.34 c nbDecision=88000 #constraints=37067 451.64/451.83 c nbDecision=88500 #constraints=37092 464.34/464.57 c nbDecision=89000 #constraints=37142 479.74/479.90 c nbDecision=89500 #constraints=37216 500.93/501.17 c nbDecision=90000 #constraints=37363 521.33/521.55 c nbDecision=90500 #constraints=37594 543.02/543.23 c nbDecision=91000 #constraints=37876 562.31/562.58 c nbDecision=91500 #constraints=37947 575.71/575.94 c nbDecision=92000 #constraints=37982 598.11/598.35 c nbDecision=92500 #constraints=38231 622.19/622.49 c nbDecision=93000 #constraints=38521 648.38/648.64 c nbDecision=93500 #constraints=38919 675.68/675.94 c nbDecision=94000 #constraints=39317 705.67/705.96 c nbDecision=94500 #constraints=39713 752.75/753.08 c nbDecision=95000 #constraints=40135 801.93/802.26 c nbDecision=95500 #constraints=40557 853.02/853.36 c nbDecision=96000 #constraints=40979 905.10/905.43 c nbDecision=96500 #constraints=41401 958.19/958.56 c nbDecision=97000 #constraints=41823 1013.67/1014.05 c nbDecision=97500 #constraints=42245 1070.25/1070.68 c nbDecision=98000 #constraints=42665 1126.24/1126.64 c nbDecision=98500 #constraints=43087 1184.32/1184.74 c nbDecision=99000 #constraints=43509 1244.20/1244.60 c nbDecision=99500 #constraints=43931 1305.00/1305.57 c nbDecision=100000 #constraints=44353 1366.87/1367.43 c nbDecision=100500 #constraints=44773 1430.95/1431.58 c nbDecision=101000 #constraints=45197 1496.03/1496.62 c nbDecision=101500 #constraints=45617 1560.80/1561.50 c nbDecision=102000 #constraints=46039 1614.79/1615.49 c restart after 102401 decisions 1619.18/1619.84 c nbDecision=102500 #constraints=46379 1642.27/1642.92 c nbDecision=103000 #constraints=46466 1672.48/1673.18 c nbDecision=103500 #constraints=46492 1686.47/1687.10 c nbDecision=104000 #constraints=46500 1715.16/1715.82 c nbDecision=104500 #constraints=46514 1723.16/1723.88 c nbDecision=105000 #constraints=46521 1740.25/1740.96 c nbDecision=105500 #constraints=46539 1766.24/1766.92 c nbDecision=106000 #constraints=46557 1784.24/1784.97 c nbDecision=106500 #constraints=46568 1800.04/1800.70 Received signal 15
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/456662-1178361608/instance-456662-1178361608.opb mv /tmp/evaluation/456662-1178361608/instance-456662-1178361608.opb.tmp /tmp/evaluation/456662-1178361608/instance-456662-1178361608.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node71/watcher-456662-1178361608 -o ROOT/results/node71/solver-456662-1178361608 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/456662-1178361608/instance-456662-1178361608.opb mod 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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.07 0.02 0.00 3/64 9403 /proc/meminfo: memFree=1876344/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=1468 CPUtime=0 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 312150159 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 367 167 131 317 0 46 0 [startup+0.00720393 s] /proc/loadavg: 0.07 0.02 0.00 3/64 9403 /proc/meminfo: memFree=1876344/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=1600 CPUtime=0 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 197 0 0 0 0 0 0 0 18 0 1 0 312150159 1638400 180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 400 181 131 317 0 79 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1600 [startup+0.101221 s] /proc/loadavg: 0.07 0.02 0.00 3/64 9403 /proc/meminfo: memFree=1876344/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=3320 CPUtime=0.09 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 625 0 0 0 9 0 0 0 18 0 1 0 312150159 3399680 608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134538372 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 830 608 131 317 0 509 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3320 [startup+0.301243 s] /proc/loadavg: 0.07 0.02 0.00 3/64 9403 /proc/meminfo: memFree=1876344/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=14012 CPUtime=0.29 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 3321 0 0 0 28 1 0 0 19 0 1 0 312150159 14348288 3271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 3503 3272 137 317 0 3182 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14012 [startup+0.701297 s] /proc/loadavg: 0.07 0.02 0.00 3/64 9403 /proc/meminfo: memFree=1876344/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=16232 CPUtime=0.69 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 3883 0 0 0 68 1 0 0 22 0 1 0 312150159 16621568 3608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604405 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 4058 3608 139 317 0 3737 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16232 [startup+1.50141 s] /proc/loadavg: 0.07 0.02 0.00 2/65 9404 /proc/meminfo: memFree=1862128/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=16232 CPUtime=1.49 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 3883 0 0 0 148 1 0 0 25 0 1 0 312150159 16621568 3608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 4058 3608 139 317 0 3737 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16232 [startup+3.10162 s] /proc/loadavg: 0.07 0.02 0.00 2/65 9404 /proc/meminfo: memFree=1861872/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=17040 CPUtime=3.09 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 4071 0 0 0 308 1 0 0 25 0 1 0 312150159 17448960 3796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 4260 3796 139 317 0 3939 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17040 [startup+6.30105 s] /proc/loadavg: 0.15 0.03 0.01 2/65 9404 /proc/meminfo: memFree=1859760/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=19040 CPUtime=6.29 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 4565 0 0 0 628 1 0 0 25 0 1 0 312150159 19496960 4290 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 4760 4290 139 317 0 4439 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19040 [startup+12.7019 s] /proc/loadavg: 0.21 0.05 0.01 2/65 9404 /proc/meminfo: memFree=1856432/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=21980 CPUtime=12.68 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 5329 0 0 0 1267 1 0 0 25 0 1 0 312150159 22507520 5054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 5495 5054 139 317 0 5174 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21980 [startup+25.5027 s] /proc/loadavg: 0.39 0.09 0.03 2/65 9404 /proc/meminfo: memFree=1853680/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=24640 CPUtime=25.49 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 5986 0 0 0 2547 2 0 0 25 0 1 0 312150159 25231360 5711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 6160 5711 139 317 0 5839 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 24640 [startup+51.1021 s] /proc/loadavg: 0.60 0.16 0.05 2/65 9404 /proc/meminfo: memFree=1853616/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=24772 CPUtime=51.08 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 6019 0 0 0 5106 2 0 0 25 0 1 0 312150159 25366528 5744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 6193 5744 139 317 0 5872 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 24772 [startup+102.305 s] /proc/loadavg: 0.82 0.29 0.10 2/65 9404 /proc/meminfo: memFree=1800496/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=79820 CPUtime=102.26 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 19264 0 0 0 10219 7 0 0 25 0 1 0 312150159 81735680 18989 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 19955 18989 139 317 0 19634 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 79820 [startup+162.302 s] /proc/loadavg: 0.93 0.42 0.15 2/65 9404 /proc/meminfo: memFree=1799728/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=80484 CPUtime=162.24 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 19434 0 0 0 16217 7 0 0 25 0 1 0 312150159 82415616 19159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 20121 19159 139 317 0 19800 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 80484 [startup+222.302 s] /proc/loadavg: 0.97 0.52 0.20 2/65 9404 /proc/meminfo: memFree=1792240/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=88684 CPUtime=222.22 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 21293 0 0 0 22213 9 0 0 25 0 1 0 312150159 90812416 21018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718437 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 22171 21018 139 317 0 21850 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 88684 [startup+282.302 s] /proc/loadavg: 0.99 0.61 0.25 2/65 9404 /proc/meminfo: memFree=1787696/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=93124 CPUtime=282.21 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 22418 0 0 0 28211 10 0 0 25 0 1 0 312150159 95358976 22143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 23281 22143 139 317 0 22960 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 93124 [startup+342.303 s] /proc/loadavg: 0.99 0.67 0.30 2/65 9406 /proc/meminfo: memFree=1783792/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=96772 CPUtime=342.18 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 23393 0 0 0 34208 10 0 0 25 0 1 0 312150159 99094528 23118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 24193 23118 139 317 0 23872 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 96772 [startup+402.302 s] /proc/loadavg: 0.99 0.73 0.34 2/65 9406 /proc/meminfo: memFree=1782640/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=97580 CPUtime=402.16 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 23666 0 0 0 40206 10 0 0 25 0 1 0 312150159 99921920 23391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 24395 23391 139 317 0 24074 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 97580 [startup+462.302 s] /proc/loadavg: 0.99 0.78 0.38 2/65 9406 /proc/meminfo: memFree=1781104/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=98992 CPUtime=462.14 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 24031 0 0 0 46204 10 0 0 25 0 1 0 312150159 101367808 23756 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 24748 23756 139 317 0 24427 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 98992 [startup+522.302 s] /proc/loadavg: 0.99 0.81 0.41 2/65 9406 /proc/meminfo: memFree=1772528/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=107792 CPUtime=522.13 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 26304 0 0 0 52201 12 0 0 25 0 1 0 312150159 110379008 26029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604492 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 26948 26029 139 317 0 26627 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 107792 [startup+582.301 s] /proc/loadavg: 0.99 0.85 0.45 2/65 9406 /proc/meminfo: memFree=1765680/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=114048 CPUtime=582.1 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 27898 0 0 0 58197 13 0 0 25 0 1 0 312150159 116785152 27623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 28512 27623 139 317 0 28191 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 114048 [startup+642.301 s] /proc/loadavg: 0.99 0.87 0.48 2/65 9406 /proc/meminfo: memFree=1745648/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=139264 CPUtime=642.09 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 32872 0 0 0 64194 15 0 0 25 0 1 0 312150159 142606336 32597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 34816 32597 139 317 0 34495 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 139264 ################ # More data... # ################ /proc/meminfo: memFree=1661872/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=223980 CPUtime=1061.96 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 53789 0 0 0 106170 26 0 0 25 0 1 0 312150159 229355520 53514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 55995 53514 139 317 0 55674 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 223980 [startup+1122.3 s] /proc/loadavg: 0.99 0.96 0.67 2/65 9406 /proc/meminfo: memFree=1650096/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=242492 CPUtime=1121.93 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 56698 0 0 0 112166 27 0 0 25 0 1 0 312150159 248311808 56423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 60623 56423 139 317 0 60302 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 242492 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.69 2/65 9406 /proc/meminfo: memFree=1640752/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=252944 CPUtime=1181.92 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 59029 0 0 0 118163 29 0 0 25 0 1 0 312150159 259014656 58754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 63236 58754 139 317 0 62915 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 252944 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.70 2/65 9406 /proc/meminfo: memFree=1631728/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=264100 CPUtime=1241.89 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 61272 0 0 0 124160 29 0 0 25 0 1 0 312150159 270438400 60997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 66025 60997 139 317 0 65704 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 264100 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.72 2/71 9580 /proc/meminfo: memFree=1621232/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=275252 CPUtime=1301.81 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 63525 0 0 0 130150 31 0 0 25 0 1 0 312150159 281858048 63250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 68813 63250 139 317 0 68492 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 275252 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.73 2/65 9604 /proc/meminfo: memFree=1613680/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=283820 CPUtime=1361.76 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 65726 0 0 0 136144 32 0 0 25 0 1 0 312150159 290631680 65451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 70955 65451 139 317 0 70634 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 283820 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.75 2/65 9604 /proc/meminfo: memFree=1605104/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=291308 CPUtime=1421.75 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 67832 0 0 0 142141 34 0 0 25 0 1 0 312150159 298299392 67557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 72827 67557 139 317 0 72506 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 291308 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.76 2/65 9604 /proc/meminfo: memFree=1596976/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=298584 CPUtime=1481.73 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 69883 0 0 0 148138 35 0 0 25 0 1 0 312150159 305750016 69608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711188 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 74646 69608 139 317 0 74325 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 298584 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.77 2/65 9604 /proc/meminfo: memFree=1588976/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=305844 CPUtime=1541.7 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 71861 0 0 0 154134 36 0 0 25 0 1 0 312150159 313184256 71586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 76461 71586 139 317 0 76140 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 305844 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.78 2/65 9604 /proc/meminfo: memFree=1580848/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=312692 CPUtime=1601.69 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 73896 0 0 0 160131 38 0 0 25 0 1 0 312150159 320196608 73621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563761 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 78173 73621 139 317 0 77852 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 312692 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.79 2/65 9604 /proc/meminfo: memFree=1577392/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=315824 CPUtime=1661.67 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 74746 0 0 0 166129 38 0 0 25 0 1 0 312150159 323403776 74471 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 78956 74471 139 317 0 78635 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 315824 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.81 2/65 9604 /proc/meminfo: memFree=1576752/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=316484 CPUtime=1721.66 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 74892 0 0 0 172127 39 0 0 25 0 1 0 312150159 324079616 74617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 79121 74617 139 317 0 78800 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 316484 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.82 2/65 9604 /proc/meminfo: memFree=1576176/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=316884 CPUtime=1781.64 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 75011 0 0 0 178125 39 0 0 25 0 1 0 312150159 324489216 74736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718534 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 79221 74736 139 317 0 78900 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 316884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.82 2/65 9604 /proc/meminfo: memFree=1576048/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=317152 CPUtime=1800.04 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 75049 0 0 0 179965 39 0 0 25 0 1 0 312150159 324763648 74774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 79288 74774 139 317 0 78967 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 317152 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 0.99 0.97 0.82 2/65 9604 /proc/meminfo: memFree=1576048/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=317152 CPUtime=1800.73 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 75049 0 0 0 180034 39 0 0 25 0 1 0 312150159 324763648 74774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 79288 74774 139 317 0 78967 0 Current children cumulated CPU time (s) 1800.73 Current children cumulated vsize (KiB) 317152 [startup+1802.2 s] /proc/loadavg: 0.99 0.97 0.82 2/66 9605 /proc/meminfo: memFree=1575976/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=317152 CPUtime=1801.53 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 75058 0 0 0 180114 39 0 0 25 0 1 0 312150159 324763648 74783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 79288 74783 139 317 0 78967 0 Current children cumulated CPU time (s) 1801.53 Current children cumulated vsize (KiB) 317152 [startup+1802.6 s] /proc/loadavg: 0.99 0.97 0.82 2/66 9605 /proc/meminfo: memFree=1575976/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=317152 CPUtime=1801.93 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 75058 0 0 0 180154 39 0 0 25 0 1 0 312150159 324763648 74783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 79288 74783 139 317 0 78967 0 Current children cumulated CPU time (s) 1801.93 Current children cumulated vsize (KiB) 317152 [startup+1802.7 s] /proc/loadavg: 0.99 0.97 0.82 2/66 9605 /proc/meminfo: memFree=1575976/2055920 swapFree=4184264/4192956 [pid=9403] ppid=9401 vsize=317152 CPUtime=1802.03 /proc/9403/stat : 9403 (oree) R 9401 9403 9335 0 -1 4194304 75058 0 0 0 180164 39 0 0 25 0 1 0 312150159 324763648 74783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9403/statm: 79288 74783 139 317 0 78967 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 317152 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.76 CPU time (s): 1802.1 CPU user time (s): 1801.66 CPU system time (s): 0.441932 CPU usage (%): 99.9631 Max. virtual memory (cumulated for all children) (KiB): 317152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1801.66 system time used= 0.441932 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75058 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= 7 involuntary context switches= 2882 runsolver used 1.43878 second user time and 3.55646 second system time The end
Begin job on node71 on Sat May 5 10:40:08 UTC 2007 IDJOB= 456662 IDBENCH= 48289 IDSOLVER= 172 FILE ID= node71/456662-1178361608 PBS_JOBID= 5189166 Free space on /tmp= 66563 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_25_2_80.opb COMMAND LINE= oree /tmp/evaluation/456662-1178361608/instance-456662-1178361608.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node71/convwatcher-456662-1178361608 -o ROOT/results/node71/conversion-456662-1178361608 -C 600 -M 1800 /tmp/evaluation/456662-1178361608/substituteSizeProductKeyword /tmp/evaluation/456662-1178361608/instance-456662-1178361608.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-456662-1178361608 -o ROOT/results/node71/solver-456662-1178361608 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/456662-1178361608/instance-456662-1178361608.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= d38f526c1f6f5ee8e5e4d2c41b31df8d RANDOM SEED= 209363060 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node71.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.234 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.234 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1876688 kB Buffers: 14652 kB Cached: 76476 kB SwapCached: 2712 kB Active: 35552 kB Inactive: 65024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1876688 kB SwapTotal: 4192956 kB SwapFree: 4184264 kB Dirty: 1968 kB Writeback: 0 kB Mapped: 15592 kB Slab: 64624 kB Committed_AS: 6942200 kB PageTables: 1448 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66563 MiB End job on node71 on Sat May 5 11:10:11 UTC 2007