Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.26 | 1800.71 |
Name | normalized-PB07/PURE-SAT/SAT07/ industrial/crypto/mizh-sha0-35-5.opb |
MD5SUM | 30a4aa276f354cb1400ff8ec4e3f19e4 |
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 | 157.095 |
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 | 48689 |
Total number of constraints | 204055 |
Number of constraints which are clauses | 204055 |
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... 1.89/1.92 c ...done 1.89/1.92 c #vars=48689 #constraints=204055 hasObjective=no 2.09/2.18 c res. mode=mod 2.09/2.18 c VSIDS like heuristics 2.09/2.18 c complete search running 2.69/2.73 c restart after 401 decisions 2.79/2.84 c nbDecision=500 #constraints=204063 3.09/3.18 c restart after 801 decisions 3.29/3.36 c nbDecision=1000 #constraints=204070 3.78/3.81 c nbDecision=1500 #constraints=204074 4.18/4.20 c restart after 1601 decisions 4.58/4.62 c nbDecision=2000 #constraints=204096 5.39/5.48 c nbDecision=2500 #constraints=204123 6.59/6.62 c nbDecision=3000 #constraints=204189 7.28/7.31 c restart after 3201 decisions 8.38/8.45 c nbDecision=3500 #constraints=204289 9.18/9.21 c nbDecision=4000 #constraints=204313 10.78/10.90 c nbDecision=4500 #constraints=204398 11.78/11.87 c nbDecision=5000 #constraints=204446 14.19/14.22 c nbDecision=5500 #constraints=204586 15.18/15.21 c nbDecision=6000 #constraints=204625 15.98/16.09 c restart after 6401 decisions 16.39/16.47 c nbDecision=6500 #constraints=204676 17.18/17.28 c nbDecision=7000 #constraints=204703 17.98/18.01 c nbDecision=7500 #constraints=204724 18.68/18.72 c nbDecision=8000 #constraints=204743 19.58/19.63 c nbDecision=8500 #constraints=204776 21.78/21.86 c nbDecision=9000 #constraints=204889 28.28/28.30 c nbDecision=9500 #constraints=205251 29.68/29.71 c nbDecision=10000 #constraints=205314 30.08/30.19 c nbDecision=10500 #constraints=205320 30.58/30.68 c nbDecision=11000 #constraints=205324 35.27/35.39 c nbDecision=11500 #constraints=205619 42.48/42.53 c nbDecision=12000 #constraints=206024 48.77/48.84 c nbDecision=12500 #constraints=206349 53.17/53.25 c restart after 12801 decisions 56.08/56.19 c nbDecision=13000 #constraints=206725 58.57/58.62 c nbDecision=13500 #constraints=206843 62.97/63.07 c nbDecision=14000 #constraints=207082 64.07/64.11 c nbDecision=14500 #constraints=207121 64.97/65.05 c nbDecision=15000 #constraints=207155 65.67/65.70 c nbDecision=15500 #constraints=207171 65.97/66.09 c nbDecision=16000 #constraints=207172 72.27/72.30 c nbDecision=16500 #constraints=207545 77.37/77.47 c nbDecision=17000 #constraints=207833 84.57/84.66 c nbDecision=17500 #constraints=208229 92.16/92.27 c nbDecision=18000 #constraints=208618 101.16/101.26 c nbDecision=18500 #constraints=209055 106.96/107.10 c nbDecision=19000 #constraints=209325 114.66/114.75 c nbDecision=19500 #constraints=209658 115.86/115.92 c nbDecision=20000 #constraints=209704 118.46/118.50 c nbDecision=20500 #constraints=209829 119.86/119.99 c nbDecision=21000 #constraints=209889 122.25/122.37 c nbDecision=21500 #constraints=209990 123.95/124.01 c nbDecision=22000 #constraints=210058 125.36/125.41 c nbDecision=22500 #constraints=210111 126.05/126.15 c nbDecision=23000 #constraints=210131 127.05/127.19 c nbDecision=23500 #constraints=210168 129.05/129.14 c nbDecision=24000 #constraints=210272 132.35/132.46 c nbDecision=24500 #constraints=210444 133.65/133.79 c nbDecision=25000 #constraints=210493 134.95/135.03 c nbDecision=25500 #constraints=210533 135.55/135.61 c restart after 25601 decisions 136.65/136.78 c nbDecision=26000 #constraints=210603 137.65/137.71 c nbDecision=26500 #constraints=210628 147.04/147.17 c nbDecision=27000 #constraints=211016 156.54/156.64 c nbDecision=27500 #constraints=211381 168.74/168.82 c nbDecision=28000 #constraints=211798 181.63/181.78 c nbDecision=28500 #constraints=212214 191.24/191.33 c nbDecision=29000 #constraints=212526 202.74/202.87 c nbDecision=29500 #constraints=212891 215.83/215.95 c nbDecision=30000 #constraints=213287 230.32/230.44 c nbDecision=30500 #constraints=213696 243.82/243.94 c nbDecision=31000 #constraints=214057 256.22/256.37 c nbDecision=31500 #constraints=214359 267.22/267.39 c nbDecision=32000 #constraints=214611 274.82/274.94 c nbDecision=32500 #constraints=214847 276.42/276.51 c nbDecision=33000 #constraints=214906 278.12/278.26 c nbDecision=33500 #constraints=214985 279.01/279.11 c nbDecision=34000 #constraints=215009 280.01/280.15 c nbDecision=34500 #constraints=215045 281.61/281.74 c nbDecision=35000 #constraints=215116 284.72/284.88 c nbDecision=35500 #constraints=215279 289.41/289.56 c nbDecision=36000 #constraints=215496 292.51/292.68 c nbDecision=36500 #constraints=215630 297.91/298.09 c nbDecision=37000 #constraints=215804 302.60/302.77 c nbDecision=37500 #constraints=215928 304.70/304.83 c nbDecision=38000 #constraints=216003 310.70/310.84 c nbDecision=38500 #constraints=216210 312.30/312.40 c nbDecision=39000 #constraints=216257 315.01/315.17 c nbDecision=39500 #constraints=216430 317.41/317.51 c nbDecision=40000 #constraints=216560 327.30/327.42 c nbDecision=40500 #constraints=216928 328.10/328.28 c nbDecision=41000 #constraints=216956 333.10/333.24 c nbDecision=41500 #constraints=217221 337.50/337.68 c nbDecision=42000 #constraints=217445 339.20/339.31 c nbDecision=42500 #constraints=217506 339.70/339.88 c nbDecision=43000 #constraints=217512 341.70/341.85 c nbDecision=43500 #constraints=217590 342.50/342.67 c nbDecision=44000 #constraints=217610 352.49/352.69 c nbDecision=44500 #constraints=217986 362.49/362.65 c nbDecision=45000 #constraints=218369 374.09/374.21 c nbDecision=45500 #constraints=218757 375.19/375.33 c nbDecision=46000 #constraints=218805 376.99/377.18 c nbDecision=46500 #constraints=218890 382.29/382.42 c nbDecision=47000 #constraints=219124 383.80/383.96 c nbDecision=47500 #constraints=219173 386.79/386.95 c nbDecision=48000 #constraints=219303 390.89/391.08 c nbDecision=48500 #constraints=219457 394.39/394.59 c nbDecision=49000 #constraints=219579 395.89/396.07 c nbDecision=49500 #constraints=219620 398.39/398.51 c nbDecision=50000 #constraints=219699 399.99/400.17 c nbDecision=50500 #constraints=219778 400.59/400.71 c nbDecision=51000 #constraints=219787 400.79/400.91 c restart after 51201 decisions 400.99/401.20 c nbDecision=51500 #constraints=219793 402.69/402.88 c nbDecision=52000 #constraints=219857 403.59/403.73 c nbDecision=52500 #constraints=219879 404.59/404.73 c nbDecision=53000 #constraints=219908 405.59/405.75 c nbDecision=53500 #constraints=219938 406.59/406.74 c nbDecision=54000 #constraints=219962 409.98/410.18 c nbDecision=54500 #constraints=220087 419.28/419.44 c nbDecision=55000 #constraints=220475 427.48/427.65 c nbDecision=55500 #constraints=220831 437.77/437.93 c nbDecision=56000 #constraints=221228 448.47/448.68 c nbDecision=56500 #constraints=221635 458.67/458.82 c nbDecision=57000 #constraints=222009 468.27/468.49 c nbDecision=57500 #constraints=222338 478.87/479.09 c nbDecision=58000 #constraints=222696 489.86/490.00 c nbDecision=58500 #constraints=223063 501.06/501.22 c nbDecision=59000 #constraints=223457 507.05/507.29 c nbDecision=59500 #constraints=223639 510.85/511.01 c nbDecision=60000 #constraints=223787 517.05/517.27 c nbDecision=60500 #constraints=224059 525.26/525.48 c nbDecision=61000 #constraints=224403 527.06/527.21 c nbDecision=61500 #constraints=224449 528.86/529.07 c nbDecision=62000 #constraints=224500 532.16/532.35 c nbDecision=62500 #constraints=224632 534.95/535.10 c nbDecision=63000 #constraints=224733 537.66/537.81 c nbDecision=63500 #constraints=224821 544.65/544.82 c nbDecision=64000 #constraints=224967 555.35/555.54 c nbDecision=64500 #constraints=225210 561.44/561.62 c nbDecision=65000 #constraints=225412 574.64/574.86 c nbDecision=65500 #constraints=225826 589.03/589.23 c nbDecision=66000 #constraints=226240 597.93/598.16 c nbDecision=66500 #constraints=226477 621.43/621.65 c nbDecision=67000 #constraints=226930 645.02/645.22 c nbDecision=67500 #constraints=227374 649.32/649.56 c nbDecision=68000 #constraints=227462 653.92/654.11 c nbDecision=68500 #constraints=227724 660.92/661.15 c nbDecision=69000 #constraints=228124 668.52/668.72 c nbDecision=69500 #constraints=228526 674.91/675.14 c nbDecision=70000 #constraints=228848 680.72/680.92 c nbDecision=70500 #constraints=229120 687.32/687.58 c nbDecision=71000 #constraints=229423 695.61/695.85 c nbDecision=71500 #constraints=229806 703.01/703.29 c nbDecision=72000 #constraints=230147 710.70/710.98 c nbDecision=72500 #constraints=230501 719.11/719.36 c nbDecision=73000 #constraints=230844 727.40/727.69 c nbDecision=73500 #constraints=231179 736.80/737.01 c nbDecision=74000 #constraints=231530 746.60/746.88 c nbDecision=74500 #constraints=231888 756.40/756.63 c nbDecision=75000 #constraints=232250 766.19/766.44 c nbDecision=75500 #constraints=232571 774.09/774.37 c nbDecision=76000 #constraints=232821 782.79/783.08 c nbDecision=76500 #constraints=233102 792.79/793.02 c nbDecision=77000 #constraints=233440 799.09/799.32 c nbDecision=77500 #constraints=233643 804.99/805.24 c nbDecision=78000 #constraints=233813 807.98/808.29 c nbDecision=78500 #constraints=233862 810.68/810.97 c nbDecision=79000 #constraints=233908 816.18/816.46 c nbDecision=79500 #constraints=234012 837.88/838.13 c nbDecision=80000 #constraints=234386 839.57/839.87 c nbDecision=80500 #constraints=234444 843.38/843.68 c nbDecision=81000 #constraints=234531 854.97/855.20 c nbDecision=81500 #constraints=234700 860.57/860.87 c nbDecision=82000 #constraints=234842 866.06/866.33 c nbDecision=82500 #constraints=234968 869.77/870.07 c nbDecision=83000 #constraints=235038 873.86/874.14 c nbDecision=83500 #constraints=235124 876.66/876.94 c nbDecision=84000 #constraints=235165 882.16/882.46 c nbDecision=84500 #constraints=235315 896.56/896.85 c nbDecision=85000 #constraints=235784 911.46/911.75 c nbDecision=85500 #constraints=236258 918.46/918.79 c nbDecision=86000 #constraints=236467 926.85/927.13 c nbDecision=86500 #constraints=236717 937.25/937.56 c nbDecision=87000 #constraints=237073 943.95/944.29 c nbDecision=87500 #constraints=237286 947.74/948.00 c nbDecision=88000 #constraints=237347 951.94/952.26 c nbDecision=88500 #constraints=237479 960.64/960.96 c nbDecision=89000 #constraints=237861 972.94/973.24 c nbDecision=89500 #constraints=238218 982.73/983.10 c nbDecision=90000 #constraints=238588 991.84/992.18 c nbDecision=90500 #constraints=238852 994.44/994.78 c nbDecision=91000 #constraints=238892 998.14/998.46 c nbDecision=91500 #constraints=238955 1002.63/1002.92 c nbDecision=92000 #constraints=239024 1004.13/1004.45 c nbDecision=92500 #constraints=239074 1005.33/1005.68 c nbDecision=93000 #constraints=239104 1006.53/1006.84 c nbDecision=93500 #constraints=239136 1007.93/1008.20 c nbDecision=94000 #constraints=239183 1009.13/1009.46 c nbDecision=94500 #constraints=239228 1010.73/1011.05 c nbDecision=95000 #constraints=239258 1012.13/1012.45 c nbDecision=95500 #constraints=239300 1014.33/1014.63 c nbDecision=96000 #constraints=239375 1015.93/1016.22 c nbDecision=96500 #constraints=239408 1029.23/1029.52 c nbDecision=97000 #constraints=239696 1033.63/1033.97 c nbDecision=97500 #constraints=239783 1054.23/1054.51 c nbDecision=98000 #constraints=240118 1082.12/1082.44 c nbDecision=98500 #constraints=240570 1110.30/1110.68 c nbDecision=99000 #constraints=241017 1112.81/1113.13 c nbDecision=99500 #constraints=241040 1114.60/1114.95 c nbDecision=100000 #constraints=241069 1116.21/1116.56 c nbDecision=100500 #constraints=241087 1118.31/1118.64 c nbDecision=101000 #constraints=241119 1119.41/1119.78 c nbDecision=101500 #constraints=241155 1120.90/1121.28 c nbDecision=102000 #constraints=241207 1127.00/1127.36 c restart after 102401 decisions 1127.60/1127.98 c nbDecision=102500 #constraints=241372 1131.90/1132.20 c nbDecision=103000 #constraints=241485 1134.80/1135.18 c nbDecision=103500 #constraints=241555 1137.20/1137.50 c nbDecision=104000 #constraints=241582 1139.80/1140.15 c nbDecision=104500 #constraints=241643 1143.40/1143.77 c nbDecision=105000 #constraints=241697 1148.29/1148.65 c nbDecision=105500 #constraints=241777 1149.89/1150.24 c nbDecision=106000 #constraints=241792 1153.69/1154.04 c nbDecision=106500 #constraints=241875 1155.19/1155.58 c nbDecision=107000 #constraints=241925 1156.59/1156.94 c nbDecision=107500 #constraints=241967 1164.99/1165.31 c nbDecision=108000 #constraints=242086 1168.69/1169.06 c nbDecision=108500 #constraints=242162 1170.49/1170.85 c nbDecision=109000 #constraints=242203 1172.99/1173.32 c nbDecision=109500 #constraints=242265 1177.70/1178.01 c nbDecision=110000 #constraints=242391 1180.09/1180.40 c nbDecision=110500 #constraints=242454 1182.10/1182.42 c nbDecision=111000 #constraints=242502 1190.59/1190.91 c nbDecision=111500 #constraints=242770 1197.49/1197.83 c nbDecision=112000 #constraints=242990 1203.58/1203.91 c nbDecision=112500 #constraints=243164 1213.68/1214.05 c nbDecision=113000 #constraints=243422 1215.38/1215.79 c nbDecision=113500 #constraints=243463 1224.58/1224.93 c nbDecision=114000 #constraints=243782 1233.79/1234.20 c nbDecision=114500 #constraints=244115 1242.28/1242.62 c nbDecision=115000 #constraints=244411 1252.37/1252.75 c nbDecision=115500 #constraints=244728 1262.47/1262.89 c nbDecision=116000 #constraints=245039 1271.77/1272.15 c nbDecision=116500 #constraints=245306 1284.06/1284.46 c nbDecision=117000 #constraints=245628 1297.66/1298.02 c nbDecision=117500 #constraints=245962 1309.76/1310.17 c nbDecision=118000 #constraints=246272 1323.46/1323.89 c nbDecision=118500 #constraints=246621 1338.05/1338.46 c nbDecision=119000 #constraints=246950 1354.45/1354.81 c nbDecision=119500 #constraints=247322 1368.85/1369.29 c nbDecision=120000 #constraints=247617 1385.65/1386.09 c nbDecision=120500 #constraints=247943 1401.34/1401.79 c nbDecision=121000 #constraints=248268 1415.23/1415.67 c nbDecision=121500 #constraints=248533 1433.53/1433.93 c nbDecision=122000 #constraints=248894 1450.32/1450.79 c nbDecision=122500 #constraints=249210 1470.62/1471.00 c nbDecision=123000 #constraints=249595 1493.61/1494.03 c nbDecision=123500 #constraints=249973 1521.00/1521.41 c nbDecision=124000 #constraints=250389 1547.50/1547.91 c nbDecision=124500 #constraints=250787 1571.79/1572.29 c nbDecision=125000 #constraints=251151 1599.89/1600.36 c nbDecision=125500 #constraints=251537 1631.67/1632.19 c nbDecision=126000 #constraints=251966 1654.67/1655.10 c nbDecision=126500 #constraints=252321 1678.67/1679.18 c nbDecision=127000 #constraints=252661 1708.26/1708.74 c nbDecision=127500 #constraints=253037 1736.15/1736.60 c nbDecision=128000 #constraints=253396 1764.85/1765.36 c nbDecision=128500 #constraints=253770 1789.14/1789.66 c nbDecision=129000 #constraints=254079 1800.04/1800.50 Received signal 15 1800.14/1800.62 1800.14/1800.62 s UNKNOWN 1800.14/1800.62 1800.14/1800.62 c user time= 1799.81 s 1800.14/1800.62 c system time= 0.357945 s 1800.14/1800.62 c wall clock time=1800.62
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node55/watcher-419073-1177402435 -o ROOT/results/node55/solver-419073-1177402435 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/419073-1177402435/instance-419073-1177402435.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.92 0.98 0.91 3/64 2181 /proc/meminfo: memFree=1707708/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=1468 CPUtime=0 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 188153574 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 367 164 130 317 0 46 0 [startup+0.093739 s] /proc/loadavg: 0.92 0.98 0.91 3/64 2181 /proc/meminfo: memFree=1707708/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=3448 CPUtime=0.09 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 653 0 0 0 9 0 0 0 18 0 1 0 188153574 3530752 636 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 862 636 130 317 0 541 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3448 [startup+0.102739 s] /proc/loadavg: 0.92 0.98 0.91 3/64 2181 /proc/meminfo: memFree=1707708/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=3580 CPUtime=0.09 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 699 0 0 0 9 0 0 0 18 0 1 0 188153574 3665920 682 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 895 682 130 317 0 574 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3580 [startup+0.301794 s] /proc/loadavg: 0.92 0.98 0.91 3/64 2181 /proc/meminfo: memFree=1707708/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=7540 CPUtime=0.29 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 1708 0 0 0 29 0 0 0 19 0 1 0 188153574 7720960 1691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 1885 1691 130 317 0 1564 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7540 [startup+0.701834 s] /proc/loadavg: 0.92 0.98 0.91 3/64 2181 /proc/meminfo: memFree=1707708/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=15844 CPUtime=0.69 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 3821 0 0 0 68 1 0 0 22 0 1 0 188153574 16224256 3706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715301 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 3961 3707 130 317 0 3640 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15844 [startup+1.50187 s] /proc/loadavg: 0.92 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1687284/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=32064 CPUtime=1.49 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 7953 0 0 0 145 4 0 0 25 0 1 0 188153574 32833536 7709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 8016 7709 130 317 0 7695 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32064 [startup+3.10202 s] /proc/loadavg: 0.92 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1648628/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=74616 CPUtime=3.09 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 18633 0 0 0 302 7 0 0 25 0 1 0 188153574 76406784 16994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 18654 16994 139 317 0 18333 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 74616 [startup+6.30132 s] /proc/loadavg: 0.93 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1639668/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=74616 CPUtime=6.28 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 18633 0 0 0 621 7 0 0 25 0 1 0 188153574 76406784 16994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712584 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 18654 16994 139 317 0 18333 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 74616 [startup+12.7019 s] /proc/loadavg: 0.93 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1639812/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=74616 CPUtime=12.68 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 18635 0 0 0 1261 7 0 0 25 0 1 0 188153574 76406784 16996 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 18654 16996 139 317 0 18333 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 74616 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1639876/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=74616 CPUtime=25.48 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 18642 0 0 0 2541 7 0 0 25 0 1 0 188153574 76406784 17003 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 18654 17003 139 317 0 18333 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 74616 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1639940/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=74484 CPUtime=51.07 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 18654 0 0 0 5099 8 0 0 25 0 1 0 188153574 76271616 16982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 18621 16982 139 317 0 18300 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 74484 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1639044/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=75404 CPUtime=102.26 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 18916 0 0 0 10218 8 0 0 25 0 1 0 188153574 77213696 17244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 18851 17244 139 317 0 18530 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 75404 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1634820/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=79636 CPUtime=162.24 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 19983 0 0 0 16216 8 0 0 25 0 1 0 188153574 81547264 18311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 19909 18311 139 317 0 19588 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 79636 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1631684/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=82820 CPUtime=222.23 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 20758 0 0 0 22214 9 0 0 25 0 1 0 188153574 84807680 19086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 20705 19086 139 317 0 20384 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 82820 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1628740/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=85756 CPUtime=282.21 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 21495 0 0 0 28211 10 0 0 25 0 1 0 188153574 87814144 19823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 21439 19823 139 317 0 21118 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 85756 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1625220/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=89172 CPUtime=342.2 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 22365 0 0 0 34209 11 0 0 25 0 1 0 188153574 91312128 20693 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 22293 20693 139 317 0 21972 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 89172 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1618372/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=96036 CPUtime=402.19 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 24082 0 0 0 40207 12 0 0 25 0 1 0 188153574 98340864 22410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 24009 22410 139 317 0 23688 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 96036 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1614212/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=100124 CPUtime=462.17 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 25122 0 0 0 46204 13 0 0 25 0 1 0 188153574 102526976 23450 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604231 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 25031 23450 139 317 0 24710 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 100124 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1610436/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=103956 CPUtime=522.15 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 26076 0 0 0 52202 13 0 0 25 0 1 0 188153574 106450944 24404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 25989 24404 139 317 0 25668 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 103956 [startup+582.303 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1606724/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=107696 CPUtime=582.14 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 26990 0 0 0 58200 14 0 0 25 0 1 0 188153574 110280704 25318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 26924 25318 139 317 0 26603 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 107696 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1603396/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=111200 CPUtime=642.13 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 27817 0 0 0 64198 15 0 0 25 0 1 0 188153574 113868800 26145 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 27800 26145 139 317 0 27479 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 111200 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1571652/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=143144 CPUtime=942.05 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 35739 0 0 0 94185 20 0 0 25 0 1 0 188153574 146579456 34067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 35786 34067 139 317 0 35465 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 143144 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1567556/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=147228 CPUtime=1002.03 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 36744 0 0 0 100182 21 0 0 25 0 1 0 188153574 150761472 35072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 36807 35072 139 317 0 36486 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 147228 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1565636/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=149212 CPUtime=1062.02 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 37223 0 0 0 106180 22 0 0 25 0 1 0 188153574 152793088 35551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710928 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 37303 35551 139 317 0 36982 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 149212 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1563652/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=151252 CPUtime=1122 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 37733 0 0 0 112178 22 0 0 25 0 1 0 188153574 154882048 36061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 37813 36061 139 317 0 37492 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 151252 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1561732/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=153088 CPUtime=1181.99 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 38205 0 0 0 118176 23 0 0 25 0 1 0 188153574 156762112 36533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 38272 36533 139 317 0 37951 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 153088 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1558852/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=155868 CPUtime=1241.98 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 38911 0 0 0 124174 24 0 0 25 0 1 0 188153574 159608832 37239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 38967 37239 139 317 0 38646 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 155868 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1553284/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=161396 CPUtime=1301.96 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 40297 0 0 0 130171 25 0 0 25 0 1 0 188153574 165269504 38625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134558655 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 40349 38625 139 317 0 40028 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 161396 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1545412/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=169724 CPUtime=1361.95 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 42304 0 0 0 136168 27 0 0 25 0 1 0 188153574 173797376 40632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 42431 40632 139 317 0 42110 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 169724 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1538308/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=177016 CPUtime=1421.94 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 44044 0 0 0 142166 28 0 0 25 0 1 0 188153574 181264384 42372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 44254 42372 139 317 0 43933 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 177016 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1530692/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=184872 CPUtime=1481.91 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 45959 0 0 0 148162 29 0 0 25 0 1 0 188153574 189308928 44287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 46218 44287 139 317 0 45897 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 184872 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2182 /proc/meminfo: memFree=1523844/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=191504 CPUtime=1541.9 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 47648 0 0 0 154159 31 0 0 25 0 1 0 188153574 196100096 45976 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 47876 45976 139 317 0 47555 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 191504 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2184 /proc/meminfo: memFree=1517636/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=198276 CPUtime=1601.89 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 49200 0 0 0 160157 32 0 0 25 0 1 0 188153574 203034624 47528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 49569 47528 139 317 0 49248 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 198276 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2184 /proc/meminfo: memFree=1510980/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=205808 CPUtime=1661.87 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 50864 0 0 0 166154 33 0 0 25 0 1 0 188153574 210747392 49192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 51452 49192 139 317 0 51131 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 205808 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2184 /proc/meminfo: memFree=1506052/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=210584 CPUtime=1721.86 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 52080 0 0 0 172152 34 0 0 25 0 1 0 188153574 215638016 50408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 52646 50408 139 317 0 52325 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 210584 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2184 /proc/meminfo: memFree=1500676/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=216144 CPUtime=1781.84 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 53423 0 0 0 178149 35 0 0 25 0 1 0 188153574 221331456 51751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 54036 51751 139 317 0 53715 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 216144 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.91 2/65 2184 /proc/meminfo: memFree=1499076/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=217604 CPUtime=1800.04 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 53813 0 0 0 179969 35 0 0 25 0 1 0 188153574 222826496 52141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 54401 52141 139 317 0 54080 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 217604 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.98 0.91 2/66 2185 /proc/meminfo: memFree=1499068/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=217604 CPUtime=1800.14 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194304 53815 0 0 0 179979 35 0 0 25 0 1 0 188153574 222826496 52143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 54401 52143 139 317 0 54080 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 217604 [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.91 2/66 2185 /proc/meminfo: memFree=1499068/2055920 swapFree=4184544/4192956 [pid=2181] ppid=2179 vsize=0 CPUtime=1800.24 /proc/2181/stat : 2181 (oree) R 2179 2181 1702 0 -1 4194308 53831 0 0 0 179986 38 0 0 25 0 1 0 188153574 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2181/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.71 CPU time (s): 1800.26 CPU user time (s): 1799.86 CPU system time (s): 0.39294 CPU usage (%): 99.9747 Max. virtual memory (cumulated for all children) (KiB): 217604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.86 system time used= 0.39294 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 53831 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= 2703 runsolver used 1.2958 second user time and 3.63545 second system time The end
Begin job on node55 on Tue Apr 24 08:13:55 UTC 2007 IDJOB= 419073 IDBENCH= 47747 IDSOLVER= 172 FILE ID= node55/419073-1177402435 PBS_JOBID= 4675558 Free space on /tmp= 66347 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/crypto/mizh-sha0-35-5.opb COMMAND LINE= oree /tmp/evaluation/419073-1177402435/instance-419073-1177402435.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-419073-1177402435 -o ROOT/results/node55/solver-419073-1177402435 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/419073-1177402435/instance-419073-1177402435.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 30a4aa276f354cb1400ff8ec4e3f19e4 RANDOM SEED= 365064523 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node55.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.216 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.216 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: 1708116 kB Buffers: 41000 kB Cached: 232252 kB SwapCached: 2556 kB Active: 112892 kB Inactive: 171408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1708116 kB SwapTotal: 4192956 kB SwapFree: 4184544 kB Dirty: 8448 kB Writeback: 0 kB Mapped: 17396 kB Slab: 49540 kB Committed_AS: 1255624 kB PageTables: 1384 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= 66347 MiB End job on node55 on Tue Apr 24 08:43:58 UTC 2007