Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.19 | 1800.72 |
Name | normalized-PB07/PURE-SAT/SAT07/ industrial/crypto/mizh-md5-47-4.opb |
MD5SUM | c16e7463d11f4638ce6cdba1e0ba4912 |
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 | 555.351 |
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 | 65604 |
Total number of constraints | 273506 |
Number of constraints which are clauses | 273506 |
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 | 4 |
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 | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 7 |
Number of bits of the biggest sum of numbers | 3 |
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... 2.49/2.56 c ...done 2.49/2.56 c #vars=65604 #constraints=273506 hasObjective=no 2.79/2.89 c res. mode=mod 2.79/2.89 c VSIDS like heuristics 2.79/2.89 c complete search running 3.29/3.32 c restart after 401 decisions 3.38/3.45 c nbDecision=500 #constraints=273506 3.68/3.73 c restart after 801 decisions 3.88/3.95 c nbDecision=1000 #constraints=273506 6.88/6.91 c nbDecision=1500 #constraints=273619 7.78/7.81 c restart after 1601 decisions 8.88/8.90 c nbDecision=2000 #constraints=273688 10.08/10.11 c nbDecision=2500 #constraints=273723 10.78/10.80 c nbDecision=3000 #constraints=273732 11.18/11.29 c restart after 3201 decisions 11.98/12.04 c nbDecision=3500 #constraints=273766 13.67/13.76 c nbDecision=4000 #constraints=273824 14.67/14.78 c nbDecision=4500 #constraints=273847 16.67/16.77 c nbDecision=5000 #constraints=273916 17.58/17.66 c nbDecision=5500 #constraints=273933 18.57/18.66 c nbDecision=6000 #constraints=273958 19.87/19.91 c restart after 6401 decisions 19.97/20.05 c nbDecision=6500 #constraints=274002 21.47/21.52 c nbDecision=7000 #constraints=274047 24.98/25.00 c nbDecision=7500 #constraints=274185 28.37/28.43 c nbDecision=8000 #constraints=274320 33.07/33.17 c nbDecision=8500 #constraints=274518 36.27/36.35 c nbDecision=9000 #constraints=274641 39.57/39.67 c nbDecision=9500 #constraints=274767 41.77/41.80 c nbDecision=10000 #constraints=274840 43.56/43.68 c nbDecision=10500 #constraints=274902 44.97/45.03 c nbDecision=11000 #constraints=274939 46.96/47.01 c nbDecision=11500 #constraints=275008 52.06/52.11 c nbDecision=12000 #constraints=275222 56.96/57.08 c nbDecision=12500 #constraints=275418 58.26/58.39 c restart after 12801 decisions 58.76/58.85 c nbDecision=13000 #constraints=275473 60.36/60.49 c nbDecision=13500 #constraints=275523 62.35/62.48 c nbDecision=14000 #constraints=275589 65.45/65.54 c nbDecision=14500 #constraints=275706 67.95/68.01 c nbDecision=15000 #constraints=275793 69.95/70.00 c nbDecision=15500 #constraints=275858 78.35/78.42 c nbDecision=16000 #constraints=276216 85.45/85.58 c nbDecision=16500 #constraints=276506 87.45/87.57 c nbDecision=17000 #constraints=276571 89.15/89.23 c nbDecision=17500 #constraints=276622 90.25/90.30 c nbDecision=18000 #constraints=276645 92.05/92.15 c nbDecision=18500 #constraints=276713 93.14/93.26 c nbDecision=19000 #constraints=276748 94.64/94.73 c nbDecision=19500 #constraints=276801 96.54/96.69 c nbDecision=20000 #constraints=276871 98.24/98.39 c nbDecision=20500 #constraints=276924 99.44/99.53 c nbDecision=21000 #constraints=276951 100.84/100.96 c nbDecision=21500 #constraints=276992 102.64/102.76 c nbDecision=22000 #constraints=277051 104.24/104.36 c nbDecision=22500 #constraints=277100 105.94/106.04 c nbDecision=23000 #constraints=277154 106.74/106.85 c nbDecision=23500 #constraints=277167 110.24/110.32 c nbDecision=24000 #constraints=277300 111.54/111.65 c nbDecision=24500 #constraints=277334 112.94/113.02 c nbDecision=25000 #constraints=277373 114.54/114.65 c nbDecision=25500 #constraints=277426 115.84/115.98 c restart after 25601 decisions 117.34/117.43 c nbDecision=26000 #constraints=277531 119.63/119.80 c nbDecision=26500 #constraints=277610 121.73/121.86 c nbDecision=27000 #constraints=277674 124.24/124.32 c nbDecision=27500 #constraints=277759 125.93/126.00 c nbDecision=28000 #constraints=277809 128.43/128.52 c nbDecision=28500 #constraints=277895 130.03/130.10 c nbDecision=29000 #constraints=277938 136.53/136.69 c nbDecision=29500 #constraints=278199 139.23/139.39 c nbDecision=30000 #constraints=278296 140.53/140.63 c nbDecision=30500 #constraints=278326 141.93/142.09 c nbDecision=31000 #constraints=278366 143.63/143.76 c nbDecision=31500 #constraints=278416 146.93/147.02 c nbDecision=32000 #constraints=278537 148.93/149.05 c nbDecision=32500 #constraints=278601 150.83/150.92 c nbDecision=33000 #constraints=278679 152.93/153.03 c nbDecision=33500 #constraints=278763 154.43/154.53 c nbDecision=34000 #constraints=278807 156.53/156.68 c nbDecision=34500 #constraints=278880 157.53/157.61 c nbDecision=35000 #constraints=278897 162.23/162.37 c nbDecision=35500 #constraints=279090 163.23/163.39 c nbDecision=36000 #constraints=279111 166.93/167.08 c nbDecision=36500 #constraints=279251 168.93/169.06 c nbDecision=37000 #constraints=279315 169.93/170.08 c nbDecision=37500 #constraints=279336 171.83/171.96 c nbDecision=38000 #constraints=279392 173.73/173.83 c nbDecision=38500 #constraints=279450 175.13/175.27 c nbDecision=39000 #constraints=279487 176.83/176.94 c nbDecision=39500 #constraints=279538 179.02/179.19 c nbDecision=40000 #constraints=279614 180.33/180.49 c nbDecision=40500 #constraints=279644 185.72/185.84 c nbDecision=41000 #constraints=279861 187.02/187.12 c nbDecision=41500 #constraints=279892 189.02/189.11 c nbDecision=42000 #constraints=279955 190.32/190.41 c nbDecision=42500 #constraints=279985 192.52/192.67 c nbDecision=43000 #constraints=280060 194.92/195.05 c nbDecision=43500 #constraints=280131 196.42/196.51 c nbDecision=44000 #constraints=280166 198.42/198.55 c nbDecision=44500 #constraints=280227 200.52/200.67 c nbDecision=45000 #constraints=280291 201.72/201.80 c nbDecision=45500 #constraints=280312 203.12/203.26 c nbDecision=46000 #constraints=280349 208.01/208.18 c nbDecision=46500 #constraints=280547 212.31/212.47 c nbDecision=47000 #constraints=280717 220.92/221.08 c nbDecision=47500 #constraints=281090 230.81/230.94 c nbDecision=48000 #constraints=281514 241.40/241.56 c nbDecision=48500 #constraints=281940 251.90/252.03 c nbDecision=49000 #constraints=282336 263.99/264.19 c nbDecision=49500 #constraints=282773 273.70/273.86 c nbDecision=50000 #constraints=283116 285.29/285.40 c nbDecision=50500 #constraints=283500 297.90/298.08 c nbDecision=51000 #constraints=283891 303.09/303.23 c restart after 51201 decisions 304.29/304.49 c nbDecision=51500 #constraints=284070 306.99/307.16 c nbDecision=52000 #constraints=284159 309.69/309.86 c nbDecision=52500 #constraints=284249 312.08/312.29 c nbDecision=53000 #constraints=284328 313.58/313.73 c nbDecision=53500 #constraints=284362 314.58/314.71 c nbDecision=54000 #constraints=284383 317.28/317.41 c nbDecision=54500 #constraints=284510 322.78/322.95 c nbDecision=55000 #constraints=284766 327.78/327.95 c nbDecision=55500 #constraints=284987 333.98/334.13 c nbDecision=56000 #constraints=285277 340.58/340.78 c nbDecision=56500 #constraints=285552 345.18/345.36 c nbDecision=57000 #constraints=285713 351.67/351.90 c nbDecision=57500 #constraints=285946 361.68/361.82 c nbDecision=58000 #constraints=286295 373.77/373.99 c nbDecision=58500 #constraints=286709 386.96/387.18 c nbDecision=59000 #constraints=287143 400.76/400.93 c nbDecision=59500 #constraints=287574 406.06/406.28 c nbDecision=60000 #constraints=287736 411.96/412.16 c nbDecision=60500 #constraints=287962 421.65/421.80 c nbDecision=61000 #constraints=288337 431.35/431.59 c nbDecision=61500 #constraints=288706 442.15/442.32 c nbDecision=62000 #constraints=289080 449.25/449.44 c nbDecision=62500 #constraints=289328 460.74/460.95 c nbDecision=63000 #constraints=289731 473.84/474.02 c nbDecision=63500 #constraints=290168 486.04/486.21 c nbDecision=64000 #constraints=290554 494.23/494.43 c nbDecision=64500 #constraints=290804 497.83/498.09 c nbDecision=65000 #constraints=290902 499.93/500.11 c nbDecision=65500 #constraints=290955 501.73/501.90 c nbDecision=66000 #constraints=291009 506.03/506.25 c nbDecision=66500 #constraints=291178 507.13/507.36 c nbDecision=67000 #constraints=291202 509.13/509.33 c nbDecision=67500 #constraints=291266 517.22/517.48 c nbDecision=68000 #constraints=291566 529.52/529.78 c nbDecision=68500 #constraints=292009 540.62/540.86 c nbDecision=69000 #constraints=292384 543.61/543.83 c nbDecision=69500 #constraints=292470 544.61/544.81 c nbDecision=70000 #constraints=292482 546.42/546.69 c nbDecision=70500 #constraints=292520 556.91/557.18 c nbDecision=71000 #constraints=292866 570.31/570.56 c nbDecision=71500 #constraints=293294 583.51/583.77 c nbDecision=72000 #constraints=293697 596.60/596.83 c nbDecision=72500 #constraints=294087 598.50/598.72 c nbDecision=73000 #constraints=294124 600.30/600.52 c nbDecision=73500 #constraints=294166 605.40/605.63 c nbDecision=74000 #constraints=294306 618.99/619.20 c nbDecision=74500 #constraints=294710 627.29/627.52 c nbDecision=75000 #constraints=294961 628.99/629.27 c nbDecision=75500 #constraints=295006 630.38/630.62 c nbDecision=76000 #constraints=295031 632.19/632.46 c nbDecision=76500 #constraints=295076 637.18/637.49 c nbDecision=77000 #constraints=295242 641.08/641.37 c nbDecision=77500 #constraints=295341 646.38/646.66 c nbDecision=78000 #constraints=295508 653.89/654.19 c nbDecision=78500 #constraints=295755 665.78/666.00 c nbDecision=79000 #constraints=296111 679.27/679.56 c nbDecision=79500 #constraints=296532 691.67/691.92 c nbDecision=80000 #constraints=296907 704.96/705.28 c nbDecision=80500 #constraints=297270 717.77/718.06 c nbDecision=81000 #constraints=297615 722.66/722.94 c nbDecision=81500 #constraints=297757 729.07/729.31 c nbDecision=82000 #constraints=297926 741.35/741.67 c nbDecision=82500 #constraints=298258 752.45/752.74 c nbDecision=83000 #constraints=298544 770.15/770.42 c nbDecision=83500 #constraints=298953 789.25/789.52 c nbDecision=84000 #constraints=299373 806.44/806.79 c nbDecision=84500 #constraints=299746 822.44/822.72 c nbDecision=85000 #constraints=300098 836.03/836.34 c nbDecision=85500 #constraints=300408 854.83/855.13 c nbDecision=86000 #constraints=300815 871.32/871.61 c nbDecision=86500 #constraints=301199 884.21/884.53 c nbDecision=87000 #constraints=301475 889.11/889.43 c nbDecision=87500 #constraints=301621 894.71/895.00 c nbDecision=88000 #constraints=301738 896.51/896.80 c nbDecision=88500 #constraints=301773 906.71/907.00 c nbDecision=89000 #constraints=302118 918.91/919.27 c nbDecision=89500 #constraints=302494 932.70/933.05 c nbDecision=90000 #constraints=302891 944.10/944.49 c nbDecision=90500 #constraints=303173 948.60/948.99 c nbDecision=91000 #constraints=303267 955.40/955.76 c nbDecision=91500 #constraints=303402 962.30/962.65 c nbDecision=92000 #constraints=303555 971.59/971.96 c nbDecision=92500 #constraints=303762 985.09/985.45 c nbDecision=93000 #constraints=304130 999.49/999.84 c nbDecision=93500 #constraints=304545 1014.38/1014.76 c nbDecision=94000 #constraints=304949 1025.38/1025.72 c nbDecision=94500 #constraints=305190 1032.07/1032.40 c nbDecision=95000 #constraints=305328 1036.77/1037.10 c nbDecision=95500 #constraints=305422 1052.17/1052.56 c nbDecision=96000 #constraints=305806 1064.97/1065.35 c nbDecision=96500 #constraints=306153 1077.26/1077.67 c nbDecision=97000 #constraints=306469 1090.56/1090.93 c nbDecision=97500 #constraints=306815 1104.86/1105.27 c nbDecision=98000 #constraints=307172 1119.95/1120.35 c nbDecision=98500 #constraints=307527 1132.85/1133.25 c nbDecision=99000 #constraints=307837 1139.25/1139.61 c nbDecision=99500 #constraints=307976 1152.44/1152.84 c nbDecision=100000 #constraints=308283 1166.54/1166.93 c nbDecision=100500 #constraints=308564 1174.34/1174.73 c nbDecision=101000 #constraints=308711 1184.44/1184.81 c nbDecision=101500 #constraints=308925 1201.63/1202.02 c nbDecision=102000 #constraints=309335 1217.83/1218.28 c restart after 102401 decisions 1220.23/1220.66 c nbDecision=102500 #constraints=309716 1241.52/1241.98 c nbDecision=103000 #constraints=310113 1263.11/1263.59 c nbDecision=103500 #constraints=310464 1292.70/1293.18 c nbDecision=104000 #constraints=310925 1302.00/1302.49 c nbDecision=104500 #constraints=311112 1320.50/1320.92 c nbDecision=105000 #constraints=311573 1331.40/1331.86 c nbDecision=105500 #constraints=311814 1355.89/1356.34 c nbDecision=106000 #constraints=312236 1382.98/1383.47 c nbDecision=106500 #constraints=312647 1408.68/1409.19 c nbDecision=107000 #constraints=313066 1441.46/1441.91 c nbDecision=107500 #constraints=313515 1475.56/1476.00 c nbDecision=108000 #constraints=313963 1504.05/1504.51 c nbDecision=108500 #constraints=314344 1530.04/1530.59 c nbDecision=109000 #constraints=314758 1549.74/1550.22 c nbDecision=109500 #constraints=315057 1577.33/1577.85 c nbDecision=110000 #constraints=315473 1587.52/1588.01 c nbDecision=110500 #constraints=315627 1589.32/1589.88 c nbDecision=111000 #constraints=315654 1591.02/1591.57 c nbDecision=111500 #constraints=315663 1592.82/1593.34 c nbDecision=112000 #constraints=315679 1594.72/1595.21 c nbDecision=112500 #constraints=315689 1596.22/1596.78 c nbDecision=113000 #constraints=315705 1598.22/1598.79 c nbDecision=113500 #constraints=315738 1600.71/1601.28 c nbDecision=114000 #constraints=315787 1603.81/1604.34 c nbDecision=114500 #constraints=315861 1605.21/1605.77 c nbDecision=115000 #constraints=315884 1606.82/1607.31 c nbDecision=115500 #constraints=315910 1610.62/1611.12 c nbDecision=116000 #constraints=316005 1611.92/1612.41 c nbDecision=116500 #constraints=316018 1616.32/1616.87 c nbDecision=117000 #constraints=316096 1617.72/1618.21 c nbDecision=117500 #constraints=316103 1632.41/1632.99 c nbDecision=118000 #constraints=316384 1657.41/1657.91 c nbDecision=118500 #constraints=316788 1679.60/1680.18 c nbDecision=119000 #constraints=317156 1683.20/1683.74 c nbDecision=119500 #constraints=317219 1701.60/1702.17 c nbDecision=120000 #constraints=317506 1710.49/1711.08 c nbDecision=120500 #constraints=317632 1712.59/1713.20 c nbDecision=121000 #constraints=317653 1722.48/1723.03 c nbDecision=121500 #constraints=317810 1733.78/1734.38 c nbDecision=122000 #constraints=318006 1760.38/1761.00 c nbDecision=122500 #constraints=318405 1786.87/1787.47 c nbDecision=123000 #constraints=318791 1800.08/1800.60 Received signal 15 1800.08/1800.61 1800.08/1800.61 s UNKNOWN 1800.08/1800.61 1800.08/1800.61 c user time= 1799.65 s 1800.08/1800.61 c system time= 0.440932 s 1800.08/1800.61 c wall clock time=1800.61
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-419101-1177402965 -o ROOT/results/node12/solver-419101-1177402965 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/419101-1177402965/instance-419101-1177402965.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.94 1.00 0.94 3/77 15734 /proc/meminfo: memFree=1687216/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=1468 CPUtime=0 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 216333906 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 367 164 130 317 0 46 0 [startup+0.0292199 s] /proc/loadavg: 0.94 1.00 0.94 3/77 15734 /proc/meminfo: memFree=1687216/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=2008 CPUtime=0.02 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 306 0 0 0 2 0 0 0 18 0 1 0 216333906 2056192 289 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 502 289 130 317 0 181 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2008 [startup+0.101227 s] /proc/loadavg: 0.94 1.00 0.94 3/77 15734 /proc/meminfo: memFree=1687216/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=3468 CPUtime=0.09 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 673 0 0 0 9 0 0 0 18 0 1 0 216333906 3551232 656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 867 656 130 317 0 546 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3468 [startup+0.301247 s] /proc/loadavg: 0.94 1.00 0.94 3/77 15734 /proc/meminfo: memFree=1687216/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=7560 CPUtime=0.3 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 1688 0 0 0 29 1 0 0 19 0 1 0 216333906 7741440 1671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 1890 1671 130 317 0 1569 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 7560 [startup+0.701286 s] /proc/loadavg: 0.94 1.00 0.94 3/77 15734 /proc/meminfo: memFree=1687216/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=15864 CPUtime=0.69 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 3805 0 0 0 67 2 0 0 22 0 1 0 216333906 16244736 3690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 3966 3690 130 317 0 3645 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15864 [startup+1.50137 s] /proc/loadavg: 0.94 1.00 0.94 2/78 15735 /proc/meminfo: memFree=1666856/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=32084 CPUtime=1.5 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 7963 0 0 0 146 4 0 0 25 0 1 0 216333906 32854016 7719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 8021 7719 130 317 0 7700 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 32084 [startup+3.10154 s] /proc/loadavg: 0.94 1.00 0.94 2/78 15735 /proc/meminfo: memFree=1644584/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=84348 CPUtime=3.09 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 21146 0 0 0 300 9 0 0 25 0 1 0 216333906 86372352 20579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15734/statm: 21087 20579 138 317 0 20766 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 84348 [startup+6.30184 s] /proc/loadavg: 0.94 1.00 0.94 2/78 15735 /proc/meminfo: memFree=1596392/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=100276 CPUtime=6.28 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 25154 0 0 0 618 10 0 0 25 0 1 0 216333906 102682624 22717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 25069 22717 139 317 0 24748 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 100276 [startup+12.7015 s] /proc/loadavg: 0.95 1.00 0.94 2/78 15735 /proc/meminfo: memFree=1596400/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=100276 CPUtime=12.68 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 25157 0 0 0 1258 10 0 0 25 0 1 0 216333906 102682624 22720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715618 0 0 4096 17474 0 0 0 17 0 0 0 /proc/15734/statm: 25069 22720 139 317 0 24748 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 100276 [startup+25.5018 s] /proc/loadavg: 0.96 1.00 0.94 2/78 15735 /proc/meminfo: memFree=1596528/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=100276 CPUtime=25.48 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 25158 0 0 0 2537 11 0 0 25 0 1 0 216333906 102682624 22721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 25069 22721 139 317 0 24748 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 100276 [startup+51.1013 s] /proc/loadavg: 0.97 1.00 0.94 2/78 15735 /proc/meminfo: memFree=1596656/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=100276 CPUtime=51.06 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 25167 0 0 0 5095 11 0 0 25 0 1 0 216333906 102682624 22730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562768 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 25069 22730 139 317 0 24748 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 100276 [startup+102.305 s] /proc/loadavg: 0.99 1.00 0.94 2/78 15735 /proc/meminfo: memFree=1596720/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=100276 CPUtime=102.25 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 25184 0 0 0 10214 11 0 0 25 0 1 0 216333906 102682624 22747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 25069 22747 139 317 0 24748 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 100276 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.94 2/78 15735 /proc/meminfo: memFree=1596656/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=100276 CPUtime=162.23 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 25202 0 0 0 16211 12 0 0 25 0 1 0 216333906 102682624 22765 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562702 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 25069 22765 139 317 0 24748 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 100276 [startup+222.301 s] /proc/loadavg: 0.99 1.00 0.94 2/78 15735 /proc/meminfo: memFree=1595440/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=101452 CPUtime=222.21 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 25492 0 0 0 22208 13 0 0 25 0 1 0 216333906 103886848 23055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712587 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 25363 23055 139 317 0 25042 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 101452 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.94 2/78 15735 /proc/meminfo: memFree=1590448/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=106464 CPUtime=282.19 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 26758 0 0 0 28205 14 0 0 25 0 1 0 216333906 109019136 24321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 26616 24321 139 317 0 26295 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 106464 [startup+342.301 s] /proc/loadavg: 1.03 1.01 0.95 2/78 15735 /proc/meminfo: memFree=1583920/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=112912 CPUtime=342.18 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 28381 0 0 0 34202 16 0 0 25 0 1 0 216333906 115621888 25944 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 28228 25944 139 317 0 27907 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 112912 [startup+402.301 s] /proc/loadavg: 1.01 1.01 0.95 2/78 15735 /proc/meminfo: memFree=1578224/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=118580 CPUtime=402.16 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 29822 0 0 0 40198 18 0 0 25 0 1 0 216333906 121425920 27385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 29645 27385 139 317 0 29324 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 118580 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.95 2/78 15735 /proc/meminfo: memFree=1572976/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=123704 CPUtime=462.14 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 31104 0 0 0 46195 19 0 0 25 0 1 0 216333906 126672896 28667 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 30926 28667 139 317 0 30605 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 123704 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.95 2/78 15735 /proc/meminfo: memFree=1569840/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=126984 CPUtime=522.12 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 31960 0 0 0 52192 20 0 0 25 0 1 0 216333906 130031616 29458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712565 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 31746 29458 139 317 0 31425 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 126984 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.95 2/78 15735 /proc/meminfo: memFree=1566448/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=130288 CPUtime=582.11 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 32798 0 0 0 58189 22 0 0 25 0 1 0 216333906 133414912 30296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 32572 30296 139 317 0 32251 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 130288 [startup+642.301 s] /proc/loadavg: 1.05 1.01 0.95 2/78 15737 /proc/meminfo: memFree=1563504/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=133228 CPUtime=642.08 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 33528 0 0 0 64186 22 0 0 25 0 1 0 216333906 136425472 31026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 33307 31026 139 317 0 32986 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 133228 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.04 1.04 0.97 2/78 15737 /proc/meminfo: memFree=1552560/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=144112 CPUtime=882.02 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 36252 0 0 0 88176 26 0 0 25 0 1 0 216333906 147570688 33750 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 36028 33750 139 317 0 35707 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 144112 [startup+942.301 s] /proc/loadavg: 1.01 1.03 0.97 2/78 15737 /proc/meminfo: memFree=1548400/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=148348 CPUtime=942 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 37303 0 0 0 94172 28 0 0 25 0 1 0 216333906 151908352 34801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712520 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 37087 34801 139 317 0 36766 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 148348 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 0.97 2/78 15737 /proc/meminfo: memFree=1545200/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=151688 CPUtime=1001.99 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 38108 0 0 0 100170 29 0 0 25 0 1 0 216333906 155328512 35606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 37922 35606 139 317 0 37601 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 151688 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 0.97 2/78 15737 /proc/meminfo: memFree=1541680/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=155120 CPUtime=1061.97 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 39007 0 0 0 106167 30 0 0 25 0 1 0 216333906 158842880 36505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 38780 36505 139 317 0 38459 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 155120 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 0.97 2/78 15737 /proc/meminfo: memFree=1536432/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=160436 CPUtime=1121.95 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 40291 0 0 0 112164 31 0 0 25 0 1 0 216333906 164286464 37789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 40109 37789 139 317 0 39788 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 160436 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 0.97 2/78 15737 /proc/meminfo: memFree=1533424/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=163544 CPUtime=1181.94 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 41046 0 0 0 118161 33 0 0 25 0 1 0 216333906 167469056 38544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 40886 38544 139 317 0 40565 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 163544 [startup+1242.3 s] /proc/loadavg: 1.06 1.02 0.98 2/78 15737 /proc/meminfo: memFree=1530032/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=167064 CPUtime=1241.92 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 41877 0 0 0 124158 34 0 0 25 0 1 0 216333906 171073536 39375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 41766 39375 139 317 0 41445 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 167064 [startup+1302.3 s] /proc/loadavg: 1.02 1.01 0.98 2/78 15737 /proc/meminfo: memFree=1527984/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=169060 CPUtime=1301.91 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 42386 0 0 0 130156 35 0 0 25 0 1 0 216333906 173117440 39884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715791 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 42265 39884 139 317 0 41944 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 169060 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15737 /proc/meminfo: memFree=1525104/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=172000 CPUtime=1361.89 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 43117 0 0 0 136153 36 0 0 25 0 1 0 216333906 176128000 40615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 43000 40615 139 317 0 42679 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 172000 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15737 /proc/meminfo: memFree=1522928/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=174280 CPUtime=1421.87 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 43665 0 0 0 142150 37 0 0 25 0 1 0 216333906 178462720 41163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 43570 41163 139 317 0 43249 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 174280 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15737 /proc/meminfo: memFree=1520368/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=176820 CPUtime=1481.86 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 44306 0 0 0 148148 38 0 0 25 0 1 0 216333906 181063680 41804 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 44205 41804 139 317 0 43884 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 176820 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15737 /proc/meminfo: memFree=1517104/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=180024 CPUtime=1541.83 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 45126 0 0 0 154145 38 0 0 25 0 1 0 216333906 184344576 42624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 45006 42624 139 317 0 44685 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 180024 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15737 /proc/meminfo: memFree=1513584/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=183556 CPUtime=1601.81 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 45999 0 0 0 160142 39 0 0 25 0 1 0 216333906 187961344 43497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 45889 43497 139 317 0 45568 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 183556 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15737 /proc/meminfo: memFree=1511600/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=185560 CPUtime=1661.81 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 46511 0 0 0 166140 41 0 0 25 0 1 0 216333906 190013440 44009 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 46390 44009 139 317 0 46069 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 185560 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15737 /proc/meminfo: memFree=1509232/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=187976 CPUtime=1721.78 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 47102 0 0 0 172136 42 0 0 25 0 1 0 216333906 192487424 44600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 46994 44600 139 317 0 46673 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 187976 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15737 /proc/meminfo: memFree=1505328/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=192080 CPUtime=1781.77 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 48074 0 0 0 178134 43 0 0 25 0 1 0 216333906 196689920 45572 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 48020 45572 139 317 0 47699 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 192080 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15737 /proc/meminfo: memFree=1503856/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=193452 CPUtime=1800.08 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194304 48417 0 0 0 179964 44 0 0 25 0 1 0 216333906 198094848 45915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 48363 45915 139 317 0 48042 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 193452 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.98 2/78 15737 /proc/meminfo: memFree=1503856/2055920 swapFree=4160020/4192956 [pid=15734] ppid=15732 vsize=0 CPUtime=1800.17 /proc/15734/stat : 15734 (oree) R 15732 15734 15097 0 -1 4194308 48433 0 0 0 179971 46 0 0 25 0 1 0 216333906 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15734/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.19 CPU user time (s): 1799.72 CPU system time (s): 0.471928 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 193452 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.72 system time used= 0.471928 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48433 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= 4116 runsolver used 1.62375 second user time and 4.32634 second system time The end
Begin job on node12 on Tue Apr 24 08:22:45 UTC 2007 IDJOB= 419101 IDBENCH= 47749 IDSOLVER= 172 FILE ID= node12/419101-1177402965 PBS_JOBID= 4675632 Free space on /tmp= 66376 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/crypto/mizh-md5-47-4.opb COMMAND LINE= oree /tmp/evaluation/419101-1177402965/instance-419101-1177402965.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-419101-1177402965 -o ROOT/results/node12/solver-419101-1177402965 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/419101-1177402965/instance-419101-1177402965.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= c16e7463d11f4638ce6cdba1e0ba4912 RANDOM SEED= 88568504 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.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.239 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.239 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: 1687688 kB Buffers: 41484 kB Cached: 217536 kB SwapCached: 11824 kB Active: 188012 kB Inactive: 122260 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1687688 kB SwapTotal: 4192956 kB SwapFree: 4160020 kB Dirty: 10956 kB Writeback: 0 kB Mapped: 58020 kB Slab: 43380 kB Committed_AS: 6120060 kB PageTables: 1872 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= 66376 MiB End job on node12 on Tue Apr 24 08:52:48 UTC 2007