Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.12 | 1800.54 |
Name | normalized-PB07/PURE-SAT/SAT07/crafted/Medium/ contest05/others/QG7a-gensys-brn100.sat05-3765.reshuffled-07.opb |
MD5SUM | a3e5b4ac0ea003adc2d9b9551527789d |
Bench Category | PURE-SAT (instances containing only clauses) |
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 | 63.0134 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 2901 |
Total number of constraints | 18243 |
Number of constraints which are clauses | 18243 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13 |
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 | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 23 |
Number of bits of the biggest sum of numbers | 5 |
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 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.29/0.35 c ...done 0.29/0.35 c #vars=2901 #constraints=18243 hasObjective=no 0.29/0.39 c res. mode=mod 0.29/0.39 c VSIDS like heuristics 0.29/0.39 c complete search running 0.89/0.93 c restart after 401 decisions 1.19/1.22 c nbDecision=500 #constraints=18372 2.29/2.32 c restart after 801 decisions 2.99/3.07 c nbDecision=1000 #constraints=18749 4.69/4.74 c nbDecision=1500 #constraints=19076 5.19/5.23 c restart after 1601 decisions 6.50/6.51 c nbDecision=2000 #constraints=19384 8.39/8.40 c nbDecision=2500 #constraints=19714 10.49/10.53 c nbDecision=3000 #constraints=20008 11.49/11.51 c restart after 3201 decisions 12.48/12.56 c nbDecision=3500 #constraints=20341 14.69/14.74 c nbDecision=4000 #constraints=20668 16.99/17.07 c nbDecision=4500 #constraints=21022 19.88/19.92 c nbDecision=5000 #constraints=21434 22.48/22.50 c nbDecision=5500 #constraints=21782 25.28/25.36 c nbDecision=6000 #constraints=22094 27.69/27.72 c restart after 6401 decisions 28.19/28.21 c nbDecision=6500 #constraints=22427 30.49/30.58 c nbDecision=7000 #constraints=22712 33.88/33.94 c nbDecision=7500 #constraints=23040 36.08/36.13 c nbDecision=8000 #constraints=23233 39.08/39.19 c nbDecision=8500 #constraints=23543 42.48/42.52 c nbDecision=9000 #constraints=23794 45.48/45.53 c nbDecision=9500 #constraints=24056 47.38/47.47 c nbDecision=10000 #constraints=24199 49.98/50.01 c nbDecision=10500 #constraints=24358 51.38/51.40 c nbDecision=11000 #constraints=24437 53.48/53.56 c nbDecision=11500 #constraints=24570 57.68/57.71 c nbDecision=12000 #constraints=24905 61.58/61.66 c nbDecision=12500 #constraints=25199 63.28/63.38 c restart after 12801 decisions 64.78/64.88 c nbDecision=13000 #constraints=25455 68.27/68.38 c nbDecision=13500 #constraints=25711 72.47/72.58 c nbDecision=14000 #constraints=25966 77.07/77.17 c nbDecision=14500 #constraints=26255 80.97/81.00 c nbDecision=15000 #constraints=26497 85.47/85.54 c nbDecision=15500 #constraints=26749 88.87/88.96 c nbDecision=16000 #constraints=26940 94.27/94.36 c nbDecision=16500 #constraints=27322 98.67/98.70 c nbDecision=17000 #constraints=27656 103.06/103.16 c nbDecision=17500 #constraints=27990 107.26/107.36 c nbDecision=18000 #constraints=28203 111.76/111.89 c nbDecision=18500 #constraints=28394 116.66/116.71 c nbDecision=19000 #constraints=28627 121.57/121.63 c nbDecision=19500 #constraints=28831 128.57/128.68 c nbDecision=20000 #constraints=29179 136.66/136.79 c nbDecision=20500 #constraints=29492 139.66/139.74 c nbDecision=21000 #constraints=29599 142.66/142.72 c nbDecision=21500 #constraints=29705 144.56/144.62 c nbDecision=22000 #constraints=29769 145.16/145.28 c nbDecision=22500 #constraints=29793 145.46/145.50 c nbDecision=23000 #constraints=29798 145.56/145.66 c nbDecision=23500 #constraints=29808 146.76/146.81 c nbDecision=24000 #constraints=29855 147.16/147.21 c nbDecision=24500 #constraints=29866 147.36/147.43 c nbDecision=25000 #constraints=29881 147.36/147.46 c nbDecision=25500 #constraints=29882 147.36/147.47 c restart after 25601 decisions 153.25/153.33 c nbDecision=26000 #constraints=30109 159.95/160.03 c nbDecision=26500 #constraints=30448 167.96/168.04 c nbDecision=27000 #constraints=30825 174.95/175.06 c nbDecision=27500 #constraints=31077 184.35/184.44 c nbDecision=28000 #constraints=31453 194.24/194.33 c nbDecision=28500 #constraints=31792 202.44/202.55 c nbDecision=29000 #constraints=32078 209.14/209.24 c nbDecision=29500 #constraints=32320 214.94/215.05 c nbDecision=30000 #constraints=32499 221.93/222.05 c nbDecision=30500 #constraints=32714 227.94/228.04 c nbDecision=31000 #constraints=32891 229.84/229.97 c nbDecision=31500 #constraints=32946 239.34/239.42 c nbDecision=32000 #constraints=33300 247.23/247.38 c nbDecision=32500 #constraints=33581 255.73/255.82 c nbDecision=33000 #constraints=33874 263.32/263.45 c nbDecision=33500 #constraints=34094 270.63/270.71 c nbDecision=34000 #constraints=34326 278.63/278.72 c nbDecision=34500 #constraints=34606 287.03/287.10 c nbDecision=35000 #constraints=34864 295.02/295.11 c nbDecision=35500 #constraints=35108 298.72/298.85 c nbDecision=36000 #constraints=35198 308.61/308.79 c nbDecision=36500 #constraints=35582 317.32/317.45 c nbDecision=37000 #constraints=35849 326.22/326.30 c nbDecision=37500 #constraints=36079 338.71/338.84 c nbDecision=38000 #constraints=36396 352.61/352.70 c nbDecision=38500 #constraints=36709 362.20/362.31 c nbDecision=39000 #constraints=36992 373.81/373.92 c nbDecision=39500 #constraints=37326 384.20/384.39 c nbDecision=40000 #constraints=37672 393.70/393.89 c nbDecision=40500 #constraints=37911 401.89/402.05 c nbDecision=41000 #constraints=38173 412.99/413.18 c nbDecision=41500 #constraints=38506 423.79/423.96 c nbDecision=42000 #constraints=38780 435.18/435.34 c nbDecision=42500 #constraints=39041 444.68/444.87 c nbDecision=43000 #constraints=39295 451.18/451.37 c nbDecision=43500 #constraints=39438 460.58/460.73 c nbDecision=44000 #constraints=39648 467.29/467.44 c nbDecision=44500 #constraints=39776 471.79/471.90 c nbDecision=45000 #constraints=39870 472.08/472.23 c nbDecision=45500 #constraints=39878 472.08/472.26 c nbDecision=46000 #constraints=39880 472.79/472.90 c nbDecision=46500 #constraints=39889 474.48/474.67 c nbDecision=47000 #constraints=39925 481.68/481.85 c nbDecision=47500 #constraints=40061 492.48/492.63 c nbDecision=48000 #constraints=40282 502.87/503.01 c nbDecision=48500 #constraints=40527 514.07/514.27 c nbDecision=49000 #constraints=40723 515.37/515.57 c nbDecision=49500 #constraints=40759 515.67/515.83 c nbDecision=50000 #constraints=40764 515.77/515.91 c nbDecision=50500 #constraints=40766 519.97/520.15 c nbDecision=51000 #constraints=40842 524.17/524.36 c restart after 51201 decisions 530.66/530.80 c nbDecision=51500 #constraints=41071 548.46/548.67 c nbDecision=52000 #constraints=41416 561.97/562.19 c nbDecision=52500 #constraints=41687 572.86/573.10 c nbDecision=53000 #constraints=41928 595.45/595.61 c nbDecision=53500 #constraints=42260 609.75/609.96 c nbDecision=54000 #constraints=42601 625.24/625.41 c nbDecision=54500 #constraints=42808 639.44/639.66 c nbDecision=55000 #constraints=43121 656.04/656.29 c nbDecision=55500 #constraints=43433 671.03/671.24 c nbDecision=56000 #constraints=43739 683.83/684.02 c nbDecision=56500 #constraints=43975 702.92/703.13 c nbDecision=57000 #constraints=44317 712.22/712.46 c nbDecision=57500 #constraints=44468 728.41/728.62 c nbDecision=58000 #constraints=44726 735.73/735.98 c nbDecision=58500 #constraints=44861 739.72/739.92 c nbDecision=59000 #constraints=44910 759.51/759.71 c nbDecision=59500 #constraints=45210 776.01/776.29 c nbDecision=60000 #constraints=45417 789.51/789.70 c nbDecision=60500 #constraints=45600 808.40/808.66 c nbDecision=61000 #constraints=45850 825.70/825.90 c nbDecision=61500 #constraints=46138 839.60/839.87 c nbDecision=62000 #constraints=46324 847.09/847.31 c nbDecision=62500 #constraints=46427 847.39/847.61 c nbDecision=63000 #constraints=46430 848.79/849.08 c nbDecision=63500 #constraints=46447 849.69/849.91 c nbDecision=64000 #constraints=46455 849.69/849.96 c nbDecision=64500 #constraints=46456 849.79/850.01 c nbDecision=65000 #constraints=46457 849.79/850.07 c nbDecision=65500 #constraints=46458 850.49/850.78 c nbDecision=66000 #constraints=46472 850.59/850.84 c nbDecision=66500 #constraints=46473 850.59/850.88 c nbDecision=67000 #constraints=46473 850.69/850.95 c nbDecision=67500 #constraints=46476 850.79/851.02 c nbDecision=68000 #constraints=46479 851.20/851.48 c nbDecision=68500 #constraints=46488 851.29/851.58 c nbDecision=69000 #constraints=46501 851.39/851.64 c nbDecision=69500 #constraints=46502 851.49/851.70 c nbDecision=70000 #constraints=46506 851.49/851.79 c nbDecision=70500 #constraints=46513 854.19/854.45 c nbDecision=71000 #constraints=46588 858.69/858.98 c nbDecision=71500 #constraints=46671 874.89/875.15 c nbDecision=72000 #constraints=46876 877.19/877.43 c nbDecision=72500 #constraints=46921 890.58/890.87 c nbDecision=73000 #constraints=47080 907.68/907.98 c nbDecision=73500 #constraints=47349 920.27/920.53 c nbDecision=74000 #constraints=47535 942.17/942.43 c nbDecision=74500 #constraints=47822 964.46/964.76 c nbDecision=75000 #constraints=48095 986.36/986.64 c nbDecision=75500 #constraints=48323 1010.66/1010.97 c nbDecision=76000 #constraints=48580 1040.74/1041.00 c nbDecision=76500 #constraints=48918 1059.84/1060.13 c nbDecision=77000 #constraints=49172 1077.33/1077.60 c nbDecision=77500 #constraints=49386 1084.24/1084.56 c nbDecision=78000 #constraints=49463 1088.74/1089.08 c nbDecision=78500 #constraints=49529 1096.04/1096.34 c nbDecision=79000 #constraints=49614 1114.73/1115.01 c nbDecision=79500 #constraints=49842 1137.73/1138.01 c nbDecision=80000 #constraints=50108 1168.01/1168.38 c nbDecision=80500 #constraints=50418 1190.52/1190.80 c nbDecision=81000 #constraints=50662 1194.22/1194.53 c nbDecision=81500 #constraints=50719 1194.41/1194.74 c nbDecision=82000 #constraints=50726 1195.11/1195.48 c nbDecision=82500 #constraints=50737 1195.21/1195.51 c nbDecision=83000 #constraints=50739 1195.21/1195.55 c nbDecision=83500 #constraints=50740 1195.21/1195.59 c nbDecision=84000 #constraints=50741 1195.32/1195.65 c nbDecision=84500 #constraints=50742 1195.32/1195.70 c nbDecision=85000 #constraints=50744 1195.42/1195.75 c nbDecision=85500 #constraints=50744 1195.51/1195.82 c nbDecision=86000 #constraints=50747 1195.51/1195.88 c nbDecision=86500 #constraints=50751 1195.61/1195.93 c nbDecision=87000 #constraints=50752 1199.91/1200.24 c nbDecision=87500 #constraints=50816 1200.01/1200.35 c nbDecision=88000 #constraints=50821 1200.61/1201.00 c nbDecision=88500 #constraints=50836 1200.71/1201.10 c nbDecision=89000 #constraints=50838 1203.61/1203.97 c nbDecision=89500 #constraints=50865 1203.71/1204.06 c nbDecision=90000 #constraints=50866 1203.91/1204.21 c nbDecision=90500 #constraints=50868 1203.91/1204.29 c nbDecision=91000 #constraints=50869 1204.01/1204.32 c nbDecision=91500 #constraints=50869 1204.01/1204.38 c nbDecision=92000 #constraints=50870 1219.11/1219.46 c nbDecision=92500 #constraints=51062 1238.80/1239.12 c nbDecision=93000 #constraints=51278 1238.90/1239.26 c nbDecision=93500 #constraints=51283 1239.00/1239.39 c nbDecision=94000 #constraints=51285 1239.10/1239.44 c nbDecision=94500 #constraints=51285 1239.20/1239.50 c nbDecision=95000 #constraints=51289 1246.50/1246.85 c nbDecision=95500 #constraints=51477 1249.00/1249.31 c nbDecision=96000 #constraints=51513 1252.89/1253.25 c nbDecision=96500 #constraints=51560 1281.59/1281.94 c nbDecision=97000 #constraints=51860 1302.78/1303.19 c nbDecision=97500 #constraints=52113 1324.68/1325.01 c nbDecision=98000 #constraints=52368 1349.28/1349.69 c nbDecision=98500 #constraints=52623 1372.77/1373.18 c nbDecision=99000 #constraints=52854 1396.16/1396.55 c nbDecision=99500 #constraints=53103 1411.46/1411.82 c nbDecision=100000 #constraints=53244 1413.06/1413.45 c nbDecision=100500 #constraints=53274 1439.15/1439.50 c nbDecision=101000 #constraints=53527 1462.24/1462.61 c nbDecision=101500 #constraints=53737 1486.04/1486.46 c nbDecision=102000 #constraints=53990 1490.24/1490.65 c restart after 102401 decisions 1494.14/1494.59 c nbDecision=102500 #constraints=54076 1520.84/1521.26 c nbDecision=103000 #constraints=54350 1540.83/1541.22 c nbDecision=103500 #constraints=54582 1557.13/1557.54 c nbDecision=104000 #constraints=54754 1585.32/1585.79 c nbDecision=104500 #constraints=55040 1604.71/1605.19 c nbDecision=105000 #constraints=55217 1639.10/1639.58 c nbDecision=105500 #constraints=55529 1645.40/1645.85 c nbDecision=106000 #constraints=55577 1654.50/1654.91 c nbDecision=106500 #constraints=55680 1675.19/1675.61 c nbDecision=107000 #constraints=55928 1695.49/1695.92 c nbDecision=107500 #constraints=56099 1713.29/1713.72 c nbDecision=108000 #constraints=56244 1719.48/1719.93 c nbDecision=108500 #constraints=56306 1720.48/1720.97 c nbDecision=109000 #constraints=56317 1722.28/1722.73 c nbDecision=109500 #constraints=56330 1722.28/1722.78 c nbDecision=110000 #constraints=56333 1722.88/1723.30 c nbDecision=110500 #constraints=56337 1723.28/1723.72 c nbDecision=111000 #constraints=56341 1723.48/1723.95 c nbDecision=111500 #constraints=56342 1723.78/1724.25 c nbDecision=112000 #constraints=56343 1723.98/1724.49 c nbDecision=112500 #constraints=56345 1724.08/1724.53 c nbDecision=113000 #constraints=56346 1724.08/1724.56 c nbDecision=113500 #constraints=56347 1725.18/1725.62 c nbDecision=114000 #constraints=56361 1725.48/1725.97 c nbDecision=114500 #constraints=56362 1725.98/1726.40 c nbDecision=115000 #constraints=56364 1725.98/1726.44 c nbDecision=115500 #constraints=56364 1725.98/1726.49 c nbDecision=116000 #constraints=56364 1729.48/1729.98 c nbDecision=116500 #constraints=56424 1751.38/1751.84 c nbDecision=117000 #constraints=56703 1793.67/1794.12 c nbDecision=117500 #constraints=57069 1800.07/1800.50 Received signal 15 1800.07/1800.51 1800.07/1800.51 s UNKNOWN 1800.07/1800.51 1800.07/1800.51 c user time= 1799.82 s 1800.07/1800.51 c system time= 0.264959 s 1800.07/1800.51 c wall clock time=1800.51
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node65/watcher-420627-1177428285 -o ROOT/results/node65/solver-420627-1177428285 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420627-1177428285/instance-420627-1177428285.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: 1.00 1.00 0.99 3/64 8213 /proc/meminfo: memFree=1830008/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=1468 CPUtime=0 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 218818137 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 367 163 130 317 0 46 0 [startup+0.0929049 s] /proc/loadavg: 1.00 1.00 0.99 3/64 8213 /proc/meminfo: memFree=1830008/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=3192 CPUtime=0.08 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 612 0 0 0 8 0 0 0 18 0 1 0 218818137 3268608 595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 798 595 130 317 0 477 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3192 [startup+0.102905 s] /proc/loadavg: 1.00 1.00 0.99 3/64 8213 /proc/meminfo: memFree=1830008/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=3456 CPUtime=0.09 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 661 0 0 0 9 0 0 0 18 0 1 0 218818137 3538944 644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 864 644 130 317 0 543 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3456 [startup+0.301922 s] /proc/loadavg: 1.00 1.00 0.99 3/64 8213 /proc/meminfo: memFree=1830008/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=7284 CPUtime=0.29 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 1627 0 0 0 29 0 0 0 19 0 1 0 218818137 7458816 1610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 1821 1611 130 317 0 1500 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7284 [startup+0.701954 s] /proc/loadavg: 1.00 1.00 0.99 3/64 8213 /proc/meminfo: memFree=1830008/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=12244 CPUtime=0.69 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 2857 0 0 0 68 1 0 0 22 0 1 0 218818137 12537856 2715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 3061 2715 139 317 0 2740 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12244 [startup+1.50202 s] /proc/loadavg: 1.00 1.00 0.99 2/65 8214 /proc/meminfo: memFree=1819440/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=12244 CPUtime=1.49 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 2858 0 0 0 148 1 0 0 25 0 1 0 218818137 12537856 2716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 3061 2716 139 317 0 2740 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12244 [startup+3.10115 s] /proc/loadavg: 1.00 1.00 0.99 2/65 8214 /proc/meminfo: memFree=1819312/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=12376 CPUtime=3.09 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 2900 0 0 0 308 1 0 0 25 0 1 0 218818137 12673024 2758 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 3094 2758 139 317 0 2773 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12376 [startup+6.30142 s] /proc/loadavg: 1.00 1.00 0.99 2/65 8214 /proc/meminfo: memFree=1818352/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=13300 CPUtime=6.29 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 3148 0 0 0 627 2 0 0 25 0 1 0 218818137 13619200 3006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715618 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 3325 3006 139 317 0 3004 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13300 [startup+12.702 s] /proc/loadavg: 1.00 1.00 0.99 2/65 8214 /proc/meminfo: memFree=1816624/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=15020 CPUtime=12.68 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 3565 0 0 0 1266 2 0 0 25 0 1 0 218818137 15380480 3423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604218 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 3755 3423 139 317 0 3434 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 15020 [startup+25.502 s] /proc/loadavg: 1.00 1.00 0.99 2/65 8214 /proc/meminfo: memFree=1813296/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=18200 CPUtime=25.48 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 4371 0 0 0 2545 3 0 0 25 0 1 0 218818137 18636800 4229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 4550 4229 139 317 0 4229 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18200 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 0.99 2/65 8214 /proc/meminfo: memFree=1808368/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=23296 CPUtime=51.08 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 5650 0 0 0 5103 5 0 0 25 0 1 0 218818137 23855104 5508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 5824 5508 139 317 0 5503 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 23296 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.99 2/65 8214 /proc/meminfo: memFree=1800496/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=30888 CPUtime=102.27 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 7558 0 0 0 10221 6 0 0 25 0 1 0 218818137 31629312 7416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 7722 7416 139 317 0 7401 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 30888 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 8214 /proc/meminfo: memFree=1793712/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=38392 CPUtime=162.25 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 9259 0 0 0 16218 7 0 0 25 0 1 0 218818137 39313408 9117 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 9598 9117 139 317 0 9277 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 38392 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 8214 /proc/meminfo: memFree=1788144/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=43888 CPUtime=222.23 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 10641 0 0 0 22215 8 0 0 25 0 1 0 218818137 44941312 10499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 10972 10499 139 317 0 10651 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 43888 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 8214 /proc/meminfo: memFree=1784048/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=47876 CPUtime=282.23 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 11701 0 0 0 28213 10 0 0 25 0 1 0 218818137 49025024 11526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 11969 11526 139 317 0 11648 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 47876 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 8214 /proc/meminfo: memFree=1779184/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=53384 CPUtime=342.21 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 13109 0 0 0 34210 11 0 0 25 0 1 0 218818137 54665216 12686 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 13346 12686 139 317 0 13025 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 53384 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 8214 /proc/meminfo: memFree=1775536/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=57824 CPUtime=402.19 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 14063 0 0 0 40207 12 0 0 25 0 1 0 218818137 59211776 13640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 14456 13640 139 317 0 14135 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 57824 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 8214 /proc/meminfo: memFree=1772016/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=62004 CPUtime=462.18 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 14942 0 0 0 46206 12 0 0 25 0 1 0 218818137 63492096 14519 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 15501 14519 139 317 0 15180 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 62004 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 8214 /proc/meminfo: memFree=1768752/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=65700 CPUtime=522.17 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 15750 0 0 0 52204 13 0 0 25 0 1 0 218818137 67276800 15327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 16425 15327 139 317 0 16104 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 65700 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 8214 /proc/meminfo: memFree=1765104/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=69580 CPUtime=582.16 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 16642 0 0 0 58202 14 0 0 25 0 1 0 218818137 71249920 16219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 17395 16219 139 317 0 17074 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 69580 [startup+642.301 s] /proc/loadavg: 1.06 1.02 0.99 2/65 8214 /proc/meminfo: memFree=1762224/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=72356 CPUtime=642.14 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 17366 0 0 0 64200 14 0 0 25 0 1 0 218818137 74092544 16943 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 18089 16943 139 317 0 17768 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 72356 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.02 1.01 1.00 2/65 8214 /proc/meminfo: memFree=1750320/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=84092 CPUtime=882.08 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 20325 0 0 0 88191 17 0 0 25 0 1 0 218818137 86110208 19902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 21023 19902 139 317 0 20702 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 84092 [startup+942.302 s] /proc/loadavg: 1.01 1.00 1.00 2/65 8215 /proc/meminfo: memFree=1746928/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=87300 CPUtime=942.07 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 21160 0 0 0 94189 18 0 0 25 0 1 0 218818137 89395200 20737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 21825 20737 139 317 0 21504 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 87300 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8216 /proc/meminfo: memFree=1744624/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=89472 CPUtime=1002.05 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 21715 0 0 0 100187 18 0 0 25 0 1 0 218818137 91619328 21292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563659 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 22368 21292 139 317 0 22047 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 89472 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8216 /proc/meminfo: memFree=1741744/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=92104 CPUtime=1062.04 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 22437 0 0 0 106185 19 0 0 25 0 1 0 218818137 94314496 22014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 23026 22014 139 317 0 22705 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 92104 [startup+1122.3 s] /proc/loadavg: 1.11 1.03 1.01 2/65 8216 /proc/meminfo: memFree=1739696/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=93996 CPUtime=1122.03 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 22946 0 0 0 112183 20 0 0 25 0 1 0 218818137 96251904 22523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 23499 22523 139 317 0 23178 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 93996 [startup+1182.3 s] /proc/loadavg: 1.20 1.07 1.02 2/65 8216 /proc/meminfo: memFree=1736880/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=96940 CPUtime=1182.01 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 23665 0 0 0 118181 20 0 0 25 0 1 0 218818137 99266560 23242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 24235 23242 139 317 0 23914 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 96940 [startup+1242.3 s] /proc/loadavg: 1.07 1.05 1.01 2/65 8216 /proc/meminfo: memFree=1734320/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=99524 CPUtime=1242 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 24357 0 0 0 124179 21 0 0 25 0 1 0 218818137 101912576 23868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 24881 23868 139 317 0 24560 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 99524 [startup+1302.3 s] /proc/loadavg: 1.02 1.04 1.01 2/65 8216 /proc/meminfo: memFree=1731760/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=102216 CPUtime=1301.99 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 25068 0 0 0 130177 22 0 0 25 0 1 0 218818137 104669184 24480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 25554 24480 139 317 0 25233 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 102216 [startup+1362.3 s] /proc/loadavg: 1.01 1.03 1.00 2/65 8216 /proc/meminfo: memFree=1729840/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=104512 CPUtime=1361.97 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 25660 0 0 0 136174 23 0 0 25 0 1 0 218818137 107020288 24973 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 26128 24973 139 317 0 25807 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 104512 [startup+1422.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 8216 /proc/meminfo: memFree=1727408/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=107032 CPUtime=1421.96 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 26317 0 0 0 142172 24 0 0 25 0 1 0 218818137 109600768 25564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 26758 25564 139 317 0 26437 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 107032 [startup+1482.3 s] /proc/loadavg: 1.04 1.03 1.00 2/65 8216 /proc/meminfo: memFree=1725360/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=109592 CPUtime=1481.94 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 26940 0 0 0 148170 24 0 0 25 0 1 0 218818137 112222208 26055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 27398 26055 139 317 0 27077 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 109592 [startup+1542.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 8216 /proc/meminfo: memFree=1723952/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=111692 CPUtime=1541.93 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 27443 0 0 0 154168 25 0 0 25 0 1 0 218818137 114372608 26426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 27923 26426 139 317 0 27602 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 111692 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 8216 /proc/meminfo: memFree=1721776/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=114312 CPUtime=1601.92 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 28079 0 0 0 160167 25 0 0 25 0 1 0 218818137 117055488 26963 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 28578 26963 139 317 0 28257 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 114312 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 8216 /proc/meminfo: memFree=1719792/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=116792 CPUtime=1661.9 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 28724 0 0 0 166165 25 0 0 25 0 1 0 218818137 119595008 27443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 29198 27443 139 317 0 28877 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 116792 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 8216 /proc/meminfo: memFree=1718320/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=118584 CPUtime=1721.88 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 29148 0 0 0 172163 25 0 0 25 0 1 0 218818137 121430016 27801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 29646 27801 139 317 0 29325 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 118584 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8216 /proc/meminfo: memFree=1716656/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=120136 CPUtime=1781.87 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 29583 0 0 0 178161 26 0 0 25 0 1 0 218818137 123019264 28236 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 30034 28236 139 317 0 29713 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 120136 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8216 /proc/meminfo: memFree=1716016/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=120796 CPUtime=1800.07 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 29741 0 0 0 179981 26 0 0 25 0 1 0 218818137 123695104 28361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 30199 28361 139 317 0 29878 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 120796 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8216 /proc/meminfo: memFree=1716016/2055920 swapFree=4184072/4192956 [pid=8213] ppid=8211 vsize=120796 CPUtime=1800.07 /proc/8213/stat : 8213 (oree) R 8211 8213 7861 0 -1 4194304 29741 0 0 0 179981 26 0 0 25 0 1 0 218818137 123695104 28361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8213/statm: 30199 28361 139 317 0 29878 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 120796 Child status: 0 Real time (s): 1800.54 CPU time (s): 1800.12 CPU user time (s): 1799.83 CPU system time (s): 0.284956 CPU usage (%): 99.9762 Max. virtual memory (cumulated for all children) (KiB): 120796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.83 system time used= 0.284956 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29757 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= 8 involuntary context switches= 2344 runsolver used 1.41478 second user time and 3.52246 second system time The end
Begin job on node65 on Tue Apr 24 15:24:45 UTC 2007 IDJOB= 420627 IDBENCH= 47858 IDSOLVER= 172 FILE ID= node65/420627-1177428285 PBS_JOBID= 4675721 Free space on /tmp= 66399 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/others/QG7a-gensys-brn100.sat05-3765.reshuffled-07.opb COMMAND LINE= oree /tmp/evaluation/420627-1177428285/instance-420627-1177428285.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-420627-1177428285 -o ROOT/results/node65/solver-420627-1177428285 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420627-1177428285/instance-420627-1177428285.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= a3e5b4ac0ea003adc2d9b9551527789d RANDOM SEED= 860802476 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node65.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.245 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.245 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: 1830352 kB Buffers: 15884 kB Cached: 153944 kB SwapCached: 2824 kB Active: 57916 kB Inactive: 121568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1830352 kB SwapTotal: 4192956 kB SwapFree: 4184072 kB Dirty: 2548 kB Writeback: 0 kB Mapped: 15680 kB Slab: 32080 kB Committed_AS: 2473972 kB PageTables: 1456 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= 66399 MiB End job on node65 on Tue Apr 24 15:54:48 UTC 2007