Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 32 | 1800.14 | 1800.75 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_6.opb |
MD5SUM | a6fbaa86ad104839735089987b256e67 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 17 |
Best CPU time to get the best result obtained on this benchmark | 0.078987 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 17 |
Optimality of the best value was proved | YES |
Number of variables | 141 |
Total number of constraints | 215 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 215 |
Minimum length of a constraint | 12 |
Maximum length of a constraint | 25 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 63 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 64 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 323 |
Number of bits of the biggest sum of numbers | 9 |
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.00/0.01 c ...done 0.00/0.01 c #vars=141 #constraints=216 hasObjective=yes 0.00/0.01 c res. mode=mod 0.00/0.01 c VSIDS like heuristics 0.00/0.01 c complete search running 0.00/0.01 c nbDecision=69 #constraints=216 0.00/0.01 c linear search for optimum 0.00/0.01 o 32 0.00/0.02 c restart after 401 decisions 0.00/0.02 c nbDecision=500 #constraints=250 0.00/0.04 c restart after 801 decisions 0.00/0.05 c nbDecision=1000 #constraints=327 0.09/0.10 c nbDecision=1500 #constraints=438 0.09/0.11 c restart after 1601 decisions 0.09/0.16 c nbDecision=2000 #constraints=580 0.19/0.26 c nbDecision=2500 #constraints=765 0.29/0.35 c nbDecision=3000 #constraints=941 0.39/0.41 c restart after 3201 decisions 0.39/0.48 c nbDecision=3500 #constraints=1110 0.59/0.64 c nbDecision=4000 #constraints=1312 0.69/0.72 c nbDecision=4500 #constraints=1389 0.89/0.96 c nbDecision=5000 #constraints=1609 1.19/1.28 c nbDecision=5500 #constraints=1880 1.59/1.64 c nbDecision=6000 #constraints=2052 1.89/1.91 c restart after 6401 decisions 1.89/1.96 c nbDecision=6500 #constraints=2151 2.19/2.24 c nbDecision=7000 #constraints=2224 2.49/2.58 c nbDecision=7500 #constraints=2310 2.79/2.82 c nbDecision=8000 #constraints=2373 2.89/2.92 c nbDecision=8500 #constraints=2411 3.19/3.23 c nbDecision=9000 #constraints=2468 3.69/3.73 c nbDecision=9500 #constraints=2565 3.89/3.97 c nbDecision=10000 #constraints=2627 3.99/4.03 c nbDecision=10500 #constraints=2675 4.19/4.27 c nbDecision=11000 #constraints=2728 4.40/4.47 c nbDecision=11500 #constraints=2796 4.59/4.66 c nbDecision=12000 #constraints=2866 4.69/4.76 c nbDecision=12500 #constraints=2914 4.79/4.83 c restart after 12801 decisions 4.89/4.98 c nbDecision=13000 #constraints=2989 5.39/5.46 c nbDecision=13500 #constraints=3134 6.19/6.26 c nbDecision=14000 #constraints=3353 7.09/7.12 c nbDecision=14500 #constraints=3522 7.99/8.02 c nbDecision=15000 #constraints=3629 8.39/8.48 c nbDecision=15500 #constraints=3690 10.28/10.31 c nbDecision=16000 #constraints=3898 11.38/11.43 c nbDecision=16500 #constraints=4022 12.79/12.84 c nbDecision=17000 #constraints=4140 14.28/14.38 c nbDecision=17500 #constraints=4320 15.08/15.17 c nbDecision=18000 #constraints=4419 15.88/15.90 c nbDecision=18500 #constraints=4513 16.78/16.87 c nbDecision=19000 #constraints=4621 17.68/17.76 c nbDecision=19500 #constraints=4732 18.98/19.02 c nbDecision=20000 #constraints=4857 20.78/20.81 c nbDecision=20500 #constraints=4994 22.38/22.40 c nbDecision=21000 #constraints=5106 23.48/23.52 c nbDecision=21500 #constraints=5217 24.79/24.86 c nbDecision=22000 #constraints=5334 25.89/25.97 c nbDecision=22500 #constraints=5427 27.49/27.54 c nbDecision=23000 #constraints=5541 28.99/29.00 c nbDecision=23500 #constraints=5649 30.69/30.71 c nbDecision=24000 #constraints=5785 31.38/31.48 c nbDecision=24500 #constraints=5878 32.18/32.28 c nbDecision=25000 #constraints=5994 32.89/32.96 c nbDecision=25500 #constraints=6130 33.18/33.27 c restart after 25601 decisions 34.18/34.21 c nbDecision=26000 #constraints=6226 35.28/35.33 c nbDecision=26500 #constraints=6320 36.78/36.89 c nbDecision=27000 #constraints=6474 38.08/38.16 c nbDecision=27500 #constraints=6621 38.98/39.10 c nbDecision=28000 #constraints=6739 39.68/39.76 c nbDecision=28500 #constraints=6829 41.98/42.10 c nbDecision=29000 #constraints=7009 45.48/45.52 c nbDecision=29500 #constraints=7138 49.58/49.60 c nbDecision=30000 #constraints=7427 54.88/54.99 c nbDecision=30500 #constraints=7624 61.57/61.68 c nbDecision=31000 #constraints=7806 68.17/68.22 c nbDecision=31500 #constraints=7977 74.16/74.23 c nbDecision=32000 #constraints=8158 82.47/82.58 c nbDecision=32500 #constraints=8337 87.86/87.93 c nbDecision=33000 #constraints=8454 89.56/89.65 c nbDecision=33500 #constraints=8527 91.06/91.13 c nbDecision=34000 #constraints=8578 92.86/92.98 c nbDecision=34500 #constraints=8637 94.46/94.56 c nbDecision=35000 #constraints=8691 96.06/96.10 c nbDecision=35500 #constraints=8738 97.76/97.86 c nbDecision=36000 #constraints=8788 99.05/99.17 c nbDecision=36500 #constraints=8833 100.65/100.76 c nbDecision=37000 #constraints=8893 102.85/102.99 c nbDecision=37500 #constraints=8964 105.85/105.94 c nbDecision=38000 #constraints=9052 110.55/110.64 c nbDecision=38500 #constraints=9170 112.95/113.03 c nbDecision=39000 #constraints=9260 116.45/116.57 c nbDecision=39500 #constraints=9357 118.85/118.93 c nbDecision=40000 #constraints=9447 121.25/121.35 c nbDecision=40500 #constraints=9531 124.26/124.39 c nbDecision=41000 #constraints=9647 127.65/127.74 c nbDecision=41500 #constraints=9761 131.55/131.69 c nbDecision=42000 #constraints=9890 134.05/134.13 c nbDecision=42500 #constraints=9967 136.05/136.16 c nbDecision=43000 #constraints=10037 140.54/140.61 c nbDecision=43500 #constraints=10198 146.44/146.54 c nbDecision=44000 #constraints=10311 150.44/150.50 c nbDecision=44500 #constraints=10431 154.44/154.50 c nbDecision=45000 #constraints=10666 159.23/159.39 c nbDecision=45500 #constraints=10819 164.03/164.15 c nbDecision=46000 #constraints=11018 172.13/172.24 c nbDecision=46500 #constraints=11188 177.33/177.44 c nbDecision=47000 #constraints=11313 181.73/181.86 c nbDecision=47500 #constraints=11568 186.93/187.03 c nbDecision=48000 #constraints=11844 193.62/193.70 c nbDecision=48500 #constraints=12028 198.02/198.11 c nbDecision=49000 #constraints=12253 204.13/204.22 c nbDecision=49500 #constraints=12510 210.03/210.14 c nbDecision=50000 #constraints=12797 218.42/218.51 c nbDecision=50500 #constraints=12999 224.61/224.74 c nbDecision=51000 #constraints=13248 226.91/227.06 c restart after 51201 decisions 231.41/231.52 c nbDecision=51500 #constraints=13396 240.61/240.70 c nbDecision=52000 #constraints=13569 248.51/248.63 c nbDecision=52500 #constraints=13799 261.20/261.38 c nbDecision=53000 #constraints=13988 270.50/270.60 c nbDecision=53500 #constraints=14166 282.39/282.50 c nbDecision=54000 #constraints=14365 293.19/293.32 c nbDecision=54500 #constraints=14594 303.08/303.23 c nbDecision=55000 #constraints=14827 310.09/310.27 c nbDecision=55500 #constraints=15106 316.48/316.68 c nbDecision=56000 #constraints=15345 326.59/326.76 c nbDecision=56500 #constraints=15518 340.58/340.73 c nbDecision=57000 #constraints=15744 350.18/350.39 c nbDecision=57500 #constraints=15928 355.67/355.85 c nbDecision=58000 #constraints=16136 361.47/361.60 c nbDecision=58500 #constraints=16389 370.07/370.21 c nbDecision=59000 #constraints=16690 378.77/378.92 c nbDecision=59500 #constraints=16892 385.26/385.46 c nbDecision=60000 #constraints=17175 391.66/391.80 c nbDecision=60500 #constraints=17413 399.06/399.30 c nbDecision=61000 #constraints=17635 407.35/407.50 c nbDecision=61500 #constraints=17857 412.35/412.52 c nbDecision=62000 #constraints=18086 424.35/424.57 c nbDecision=62500 #constraints=18237 434.34/434.52 c nbDecision=63000 #constraints=18359 440.25/440.44 c nbDecision=63500 #constraints=18451 443.35/443.54 c nbDecision=64000 #constraints=18508 450.44/450.61 c nbDecision=64500 #constraints=18617 456.64/456.81 c nbDecision=65000 #constraints=18703 461.24/461.46 c nbDecision=65500 #constraints=18773 464.44/464.68 c nbDecision=66000 #constraints=18810 468.23/468.44 c nbDecision=66500 #constraints=18870 473.23/473.41 c nbDecision=67000 #constraints=18954 478.03/478.21 c nbDecision=67500 #constraints=19039 482.63/482.80 c nbDecision=68000 #constraints=19113 487.63/487.90 c nbDecision=68500 #constraints=19187 492.63/492.89 c nbDecision=69000 #constraints=19249 497.12/497.33 c nbDecision=69500 #constraints=19330 501.52/501.78 c nbDecision=70000 #constraints=19400 507.22/507.46 c nbDecision=70500 #constraints=19499 511.02/511.23 c nbDecision=71000 #constraints=19558 515.41/515.65 c nbDecision=71500 #constraints=19633 519.81/520.01 c nbDecision=72000 #constraints=19712 524.11/524.39 c nbDecision=72500 #constraints=19788 528.91/529.16 c nbDecision=73000 #constraints=19874 534.91/535.14 c nbDecision=73500 #constraints=19990 540.71/540.92 c nbDecision=74000 #constraints=20105 546.11/546.37 c nbDecision=74500 #constraints=20214 550.11/550.38 c nbDecision=75000 #constraints=20277 554.61/554.83 c nbDecision=75500 #constraints=20374 560.40/560.60 c nbDecision=76000 #constraints=20490 568.80/569.05 c nbDecision=76500 #constraints=20664 578.60/578.81 c nbDecision=77000 #constraints=20841 586.29/586.53 c nbDecision=77500 #constraints=20989 596.09/596.33 c nbDecision=78000 #constraints=21190 606.89/607.18 c nbDecision=78500 #constraints=21397 612.09/612.31 c nbDecision=79000 #constraints=21479 618.19/618.49 c nbDecision=79500 #constraints=21570 626.48/626.75 c nbDecision=80000 #constraints=21689 632.88/633.13 c nbDecision=80500 #constraints=21796 640.38/640.68 c nbDecision=81000 #constraints=21935 647.27/647.54 c nbDecision=81500 #constraints=22044 654.47/654.78 c nbDecision=82000 #constraints=22164 661.47/661.71 c nbDecision=82500 #constraints=22292 670.86/671.12 c nbDecision=83000 #constraints=22434 675.66/675.98 c nbDecision=83500 #constraints=22506 681.56/681.86 c nbDecision=84000 #constraints=22586 687.56/687.82 c nbDecision=84500 #constraints=22664 694.16/694.46 c nbDecision=85000 #constraints=22757 699.55/699.86 c nbDecision=85500 #constraints=22842 706.15/706.49 c nbDecision=86000 #constraints=22926 712.55/712.88 c nbDecision=86500 #constraints=23002 718.14/718.43 c nbDecision=87000 #constraints=23075 724.34/724.69 c nbDecision=87500 #constraints=23173 730.74/731.06 c nbDecision=88000 #constraints=23276 737.24/737.53 c nbDecision=88500 #constraints=23371 744.74/745.02 c nbDecision=89000 #constraints=23495 751.13/751.49 c nbDecision=89500 #constraints=23589 759.64/760.00 c nbDecision=90000 #constraints=23712 768.23/768.58 c nbDecision=90500 #constraints=23847 775.24/775.51 c nbDecision=91000 #constraints=23953 783.23/783.51 c nbDecision=91500 #constraints=24073 792.23/792.52 c nbDecision=92000 #constraints=24216 801.12/801.50 c nbDecision=92500 #constraints=24366 814.52/814.84 c nbDecision=93000 #constraints=24566 821.21/821.54 c nbDecision=93500 #constraints=24678 829.11/829.45 c nbDecision=94000 #constraints=24794 835.91/836.23 c nbDecision=94500 #constraints=24884 842.50/842.81 c nbDecision=95000 #constraints=24972 849.21/849.50 c nbDecision=95500 #constraints=25060 856.61/856.91 c nbDecision=96000 #constraints=25170 863.80/864.11 c nbDecision=96500 #constraints=25279 870.90/871.25 c nbDecision=97000 #constraints=25378 877.20/877.50 c nbDecision=97500 #constraints=25464 885.20/885.56 c nbDecision=98000 #constraints=25569 892.19/892.57 c nbDecision=98500 #constraints=25680 900.69/901.10 c nbDecision=99000 #constraints=25798 907.89/908.23 c nbDecision=99500 #constraints=25889 915.48/915.88 c nbDecision=100000 #constraints=25984 935.68/936.06 c nbDecision=100500 #constraints=26136 949.67/950.03 c nbDecision=101000 #constraints=26276 955.97/956.32 c nbDecision=101500 #constraints=26385 968.46/968.82 c nbDecision=102000 #constraints=26523 975.66/976.03 c restart after 102401 decisions 976.56/976.96 c nbDecision=102500 #constraints=26648 981.16/981.58 c nbDecision=103000 #constraints=26856 988.06/988.49 c nbDecision=103500 #constraints=27109 1003.95/1004.39 c nbDecision=104000 #constraints=27285 1018.04/1018.47 c nbDecision=104500 #constraints=27490 1028.45/1028.88 c nbDecision=105000 #constraints=27566 1033.95/1034.30 c nbDecision=105500 #constraints=27636 1040.15/1040.57 c nbDecision=106000 #constraints=27846 1045.84/1046.20 c nbDecision=106500 #constraints=28063 1053.34/1053.73 c nbDecision=107000 #constraints=28308 1066.13/1066.57 c nbDecision=107500 #constraints=28569 1082.03/1082.41 c nbDecision=108000 #constraints=28766 1112.72/1113.15 c nbDecision=108500 #constraints=28943 1120.21/1120.60 c nbDecision=109000 #constraints=29037 1123.71/1124.20 c nbDecision=109500 #constraints=29188 1128.11/1128.59 c nbDecision=110000 #constraints=29361 1133.41/1133.84 c nbDecision=110500 #constraints=29588 1141.00/1141.46 c nbDecision=111000 #constraints=29795 1149.51/1149.91 c nbDecision=111500 #constraints=30050 1163.70/1164.11 c nbDecision=112000 #constraints=30295 1173.80/1174.26 c nbDecision=112500 #constraints=30579 1192.99/1193.41 c nbDecision=113000 #constraints=30815 1218.18/1218.65 c nbDecision=113500 #constraints=31089 1226.27/1226.76 c nbDecision=114000 #constraints=31346 1246.47/1246.99 c nbDecision=114500 #constraints=31589 1272.46/1272.97 c nbDecision=115000 #constraints=31895 1299.56/1300.08 c nbDecision=115500 #constraints=32128 1333.94/1334.47 c nbDecision=116000 #constraints=32338 1356.43/1356.96 c nbDecision=116500 #constraints=32627 1375.23/1375.79 c nbDecision=117000 #constraints=32921 1398.02/1398.57 c nbDecision=117500 #constraints=33251 1442.81/1443.38 c nbDecision=118000 #constraints=33492 1456.70/1457.28 c nbDecision=118500 #constraints=33706 1466.80/1467.36 c nbDecision=119000 #constraints=33980 1483.09/1483.63 c nbDecision=119500 #constraints=34217 1507.49/1508.05 c nbDecision=120000 #constraints=34430 1522.48/1523.05 c nbDecision=120500 #constraints=34665 1537.37/1537.90 c nbDecision=121000 #constraints=34947 1546.17/1546.78 c nbDecision=121500 #constraints=35174 1565.67/1566.22 c nbDecision=122000 #constraints=35431 1576.36/1576.96 c nbDecision=122500 #constraints=35714 1590.96/1591.51 c nbDecision=123000 #constraints=36049 1617.65/1618.23 c nbDecision=123500 #constraints=36288 1653.13/1653.79 c nbDecision=124000 #constraints=36570 1676.93/1677.56 c nbDecision=124500 #constraints=36814 1706.11/1706.75 c nbDecision=125000 #constraints=37046 1758.00/1758.67 c nbDecision=125500 #constraints=37258 1792.19/1792.90 c nbDecision=126000 #constraints=37536 1800.10/1800.71 Received signal 15 1800.10/1800.73 1800.10/1800.73 s SATISFIABLE 1800.10/1800.73 v -x1 -x2 -x3 -x4 -x5 x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 x20 -x21 -x22 -x23 -x24 x25 x26 x27 -x28 -x29 -x30 1800.10/1800.73 v x31 x32 x33 x34 -x35 -x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 1800.10/1800.73 v x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 1800.10/1800.73 v x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 1800.10/1800.73 v x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 1800.10/1800.73 1800.10/1800.73 c user time= 1799.97 s 1800.10/1800.73 c system time= 0.160975 s 1800.10/1800.73 c wall clock time=1800.73
OK 32
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-366096-1176998834 -o ROOT/results/node67/solver-366096-1176998834 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366096-1176998834/instance-366096-1176998834.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.01 1.04 1.00 3/64 10935 /proc/meminfo: memFree=1722856/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=1468 CPUtime=0 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 175872960 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 367 164 131 317 0 46 0 [startup+0.0964881 s] /proc/loadavg: 1.01 1.04 1.00 3/64 10935 /proc/meminfo: memFree=1722856/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=1996 CPUtime=0.09 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 340 0 0 0 9 0 0 0 18 0 1 0 175872960 2043904 322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284244 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 499 322 170 317 0 178 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1996 [startup+0.101487 s] /proc/loadavg: 1.01 1.04 1.00 3/64 10935 /proc/meminfo: memFree=1722856/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=1996 CPUtime=0.09 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 350 0 0 0 9 0 0 0 18 0 1 0 175872960 2043904 332 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563512 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 499 332 170 317 0 178 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1996 [startup+0.301524 s] /proc/loadavg: 1.01 1.04 1.00 3/64 10935 /proc/meminfo: memFree=1722856/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=2656 CPUtime=0.29 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 511 0 0 0 29 0 0 0 19 0 1 0 175872960 2719744 493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 664 493 170 317 0 343 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2656 [startup+0.701596 s] /proc/loadavg: 1.01 1.04 1.00 3/64 10935 /proc/meminfo: memFree=1722856/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=3464 CPUtime=0.69 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 718 0 0 0 69 0 0 0 22 0 1 0 175872960 3547136 700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 866 700 170 317 0 545 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3464 [startup+1.50174 s] /proc/loadavg: 1.01 1.04 1.00 2/65 10936 /proc/meminfo: memFree=1720288/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=4380 CPUtime=1.49 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 937 0 0 0 149 0 0 0 25 0 1 0 175872960 4485120 919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 1095 919 170 317 0 774 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4380 [startup+3.10103 s] /proc/loadavg: 1.01 1.04 1.00 2/65 10936 /proc/meminfo: memFree=1719456/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=5192 CPUtime=3.09 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 1104 0 0 0 309 0 0 0 25 0 1 0 175872960 5316608 1086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 1298 1086 170 317 0 977 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5192 [startup+6.30162 s] /proc/loadavg: 1.01 1.04 1.00 2/65 10936 /proc/meminfo: memFree=1717920/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=6516 CPUtime=6.29 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 1435 0 0 0 628 1 0 0 25 0 1 0 175872960 6672384 1417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718644 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 1629 1417 170 317 0 1308 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6516 [startup+12.7018 s] /proc/loadavg: 1.01 1.04 1.00 2/65 10936 /proc/meminfo: memFree=1716512/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=7584 CPUtime=12.68 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 1715 0 0 0 1267 1 0 0 25 0 1 0 175872960 7766016 1697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718344 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 1896 1697 170 317 0 1575 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 7584 [startup+25.5011 s] /proc/loadavg: 1.01 1.04 1.00 2/65 10936 /proc/meminfo: memFree=1714272/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=10016 CPUtime=25.49 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 2264 0 0 0 2547 2 0 0 25 0 1 0 175872960 10256384 2246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 2504 2246 170 317 0 2183 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 10016 [startup+51.1018 s] /proc/loadavg: 1.00 1.03 1.00 2/65 10936 /proc/meminfo: memFree=1710624/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=13464 CPUtime=51.08 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 3148 0 0 0 5106 2 0 0 25 0 1 0 175872960 13787136 3130 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 3366 3130 170 317 0 3045 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 13464 [startup+102.305 s] /proc/loadavg: 1.00 1.03 1.00 2/65 10936 /proc/meminfo: memFree=1708192/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=16600 CPUtime=102.26 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 3828 0 0 0 10224 2 0 0 25 0 1 0 175872960 16998400 3752 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 4150 3752 170 317 0 3829 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 16600 [startup+162.301 s] /proc/loadavg: 1.06 1.03 1.00 2/65 10936 /proc/meminfo: memFree=1704608/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=20220 CPUtime=162.23 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 4729 0 0 0 16220 3 0 0 25 0 1 0 175872960 20705280 4653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 5055 4653 170 317 0 4734 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 20220 [startup+222.302 s] /proc/loadavg: 1.07 1.04 1.00 2/65 10936 /proc/meminfo: memFree=1701216/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=23432 CPUtime=222.22 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 5567 0 0 0 22218 4 0 0 25 0 1 0 175872960 23994368 5491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 5858 5491 170 317 0 5537 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 23432 [startup+282.301 s] /proc/loadavg: 1.07 1.04 1.00 2/65 10936 /proc/meminfo: memFree=1699040/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=25652 CPUtime=282.19 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 6091 0 0 0 28215 4 0 0 25 0 1 0 175872960 26267648 6015 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 6413 6015 170 317 0 6092 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 25652 [startup+342.301 s] /proc/loadavg: 1.07 1.05 1.00 2/65 10936 /proc/meminfo: memFree=1696928/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=27708 CPUtime=342.18 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 6624 0 0 0 34213 5 0 0 25 0 1 0 175872960 28372992 6548 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 6927 6548 170 317 0 6606 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 27708 [startup+402.301 s] /proc/loadavg: 1.06 1.05 1.00 2/65 10936 /proc/meminfo: memFree=1693856/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=32360 CPUtime=402.15 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 7755 0 0 0 40210 5 0 0 25 0 1 0 175872960 33136640 7301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 8090 7301 170 317 0 7769 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 32360 [startup+462.301 s] /proc/loadavg: 1.06 1.06 1.00 2/65 10936 /proc/meminfo: memFree=1692192/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=34052 CPUtime=462.14 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 8241 0 0 0 46208 6 0 0 25 0 1 0 175872960 34869248 7721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 8513 7721 170 317 0 8192 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 34052 [startup+522.301 s] /proc/loadavg: 1.02 1.04 1.00 2/65 10936 /proc/meminfo: memFree=1690528/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=35760 CPUtime=522.11 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 8678 0 0 0 52205 6 0 0 25 0 1 0 175872960 36618240 8158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 8940 8158 170 317 0 8619 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 35760 [startup+582.301 s] /proc/loadavg: 1.01 1.03 1.00 2/65 10936 /proc/meminfo: memFree=1688096/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=38252 CPUtime=582.09 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 9286 0 0 0 58202 7 0 0 25 0 1 0 175872960 39170048 8733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 9563 8733 170 317 0 9242 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 38252 [startup+642.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 10936 /proc/meminfo: memFree=1685856/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=40508 CPUtime=642.08 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 9854 0 0 0 64200 8 0 0 25 0 1 0 175872960 41480192 9301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 10127 9301 170 317 0 9806 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 40508 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10936 /proc/meminfo: memFree=1678496/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=47404 CPUtime=882 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 11714 0 0 0 88190 10 0 0 25 0 1 0 175872960 48541696 11128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 11851 11128 170 317 0 11530 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 47404 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10936 /proc/meminfo: memFree=1677088/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=49272 CPUtime=941.97 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 12146 0 0 0 94187 10 0 0 25 0 1 0 175872960 50454528 11461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 12318 11461 170 317 0 11997 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 49272 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10936 /proc/meminfo: memFree=1675296/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=50908 CPUtime=1001.95 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 12602 0 0 0 100185 10 0 0 25 0 1 0 175872960 52129792 11917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 12727 11917 170 317 0 12406 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 50908 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10936 /proc/meminfo: memFree=1673568/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=52612 CPUtime=1061.93 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 13072 0 0 0 106182 11 0 0 25 0 1 0 175872960 53874688 12354 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 13153 12354 170 317 0 12832 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 52612 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10936 /proc/meminfo: memFree=1672480/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=53396 CPUtime=1121.91 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 13330 0 0 0 112180 11 0 0 25 0 1 0 175872960 54677504 12612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 13349 12612 170 317 0 13028 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 53396 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10936 /proc/meminfo: memFree=1669984/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=55984 CPUtime=1181.89 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 13956 0 0 0 118177 12 0 0 25 0 1 0 175872960 57327616 13238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 13996 13238 170 317 0 13675 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 55984 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10936 /proc/meminfo: memFree=1668768/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=57040 CPUtime=1241.88 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 14260 0 0 0 124175 13 0 0 25 0 1 0 175872960 58408960 13542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 14260 13542 170 317 0 13939 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 57040 [startup+1302.3 s] /proc/loadavg: 1.06 1.02 1.00 2/65 10936 /proc/meminfo: memFree=1667552/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=58228 CPUtime=1301.86 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 14560 0 0 0 130173 13 0 0 25 0 1 0 175872960 59625472 13842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 14557 13842 170 317 0 14236 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 58228 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 1.00 2/65 10936 /proc/meminfo: memFree=1666528/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=59340 CPUtime=1361.83 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 14824 0 0 0 136170 13 0 0 25 0 1 0 175872960 60764160 14106 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 14835 14106 170 317 0 14514 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 59340 [startup+1422.31 s] /proc/loadavg: 1.01 1.00 1.00 2/65 10936 /proc/meminfo: memFree=1664736/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=61944 CPUtime=1421.82 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 15525 0 0 0 142168 14 0 0 25 0 1 0 175872960 63430656 14547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 15486 14547 170 317 0 15165 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 61944 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10936 /proc/meminfo: memFree=1663776/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=63892 CPUtime=1481.79 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 16080 0 0 0 148165 14 0 0 25 0 1 0 175872960 65425408 14809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 15973 14809 170 317 0 15652 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 63892 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10936 /proc/meminfo: memFree=1662304/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=66360 CPUtime=1541.77 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 16696 0 0 0 154163 14 0 0 25 0 1 0 175872960 67952640 15165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 16590 15165 170 317 0 16269 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 66360 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10936 /proc/meminfo: memFree=1660448/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=68852 CPUtime=1601.75 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 17377 0 0 0 160160 15 0 0 25 0 1 0 175872960 70504448 15617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 17213 15617 170 317 0 16892 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 68852 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10936 /proc/meminfo: memFree=1659616/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=69792 CPUtime=1661.73 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 17611 0 0 0 166158 15 0 0 25 0 1 0 175872960 71467008 15818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 17448 15818 170 317 0 17127 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 69792 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10936 /proc/meminfo: memFree=1658848/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=70568 CPUtime=1721.71 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 17840 0 0 0 172156 15 0 0 25 0 1 0 175872960 72261632 16014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 17642 16014 170 317 0 17321 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 70568 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10936 /proc/meminfo: memFree=1658080/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=71340 CPUtime=1781.7 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 18043 0 0 0 178154 16 0 0 25 0 1 0 175872960 73052160 16184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 17835 16184 170 317 0 17514 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 71340 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10936 /proc/meminfo: memFree=1657952/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=71468 CPUtime=1800.1 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 18100 0 0 0 179994 16 0 0 25 0 1 0 175872960 73183232 16241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 17867 16241 170 317 0 17546 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 71468 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 1.00 2/65 10936 /proc/meminfo: memFree=1657952/2055920 swapFree=4179676/4192956 [pid=10935] ppid=10933 vsize=71468 CPUtime=1800.1 /proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 18100 0 0 0 179994 16 0 0 25 0 1 0 175872960 73183232 16241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10935/statm: 17867 16241 170 317 0 17546 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 71468 Child status: 0 Real time (s): 1800.75 CPU time (s): 1800.14 CPU user time (s): 1799.97 CPU system time (s): 0.170974 CPU usage (%): 99.9663 Max. virtual memory (cumulated for all children) (KiB): 71468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.97 system time used= 0.170974 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18116 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= 1793 runsolver used 1.37379 second user time and 3.60845 second system time The end
Begin job on node67 on Thu Apr 19 16:07:14 UTC 2007 IDJOB= 366096 IDBENCH= 2628 IDSOLVER= 172 FILE ID= node67/366096-1176998834 PBS_JOBID= 4630476 Free space on /tmp= 66455 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_6.opb COMMAND LINE= oree /tmp/evaluation/366096-1176998834/instance-366096-1176998834.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-366096-1176998834 -o ROOT/results/node67/solver-366096-1176998834 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366096-1176998834/instance-366096-1176998834.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= a6fbaa86ad104839735089987b256e67 RANDOM SEED= 402237481 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node67.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.263 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.263 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: 1723328 kB Buffers: 27136 kB Cached: 252476 kB SwapCached: 7008 kB Active: 81876 kB Inactive: 210552 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1723328 kB SwapTotal: 4192956 kB SwapFree: 4179676 kB Dirty: 1336 kB Writeback: 0 kB Mapped: 15436 kB Slab: 26168 kB Committed_AS: 280556 kB PageTables: 1452 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= 66455 MiB End job on node67 on Thu Apr 19 16:37:17 UTC 2007