Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.11 | 1800.6 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb |
MD5SUM | 6d3802f2f17c83a21ccf6c0752b41678 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 34 |
Best CPU time to get the best result obtained on this benchmark | 13.048 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 34 |
Optimality of the best value was proved | YES |
Number of variables | 392 |
Total number of constraints | 679 |
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 | 679 |
Minimum length of a constraint | 14 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 128 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 635 |
Number of bits of the biggest sum of numbers | 10 |
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.01/0.04 c ...done 0.01/0.04 c #vars=392 #constraints=680 hasObjective=yes 0.01/0.04 c res. mode=mod 0.01/0.04 c VSIDS like heuristics 0.01/0.04 c complete search running 0.01/0.05 c restart after 401 decisions 0.01/0.05 c nbDecision=500 #constraints=684 0.01/0.06 c restart after 801 decisions 0.01/0.07 c nbDecision=1000 #constraints=690 0.01/0.08 c nbDecision=1500 #constraints=706 0.01/0.08 c restart after 1601 decisions 0.01/0.10 c nbDecision=2000 #constraints=714 0.09/0.12 c nbDecision=2500 #constraints=736 0.09/0.14 c nbDecision=3000 #constraints=765 0.09/0.15 c restart after 3201 decisions 0.09/0.15 c nbDecision=3500 #constraints=779 0.09/0.18 c nbDecision=4000 #constraints=809 0.19/0.21 c nbDecision=4500 #constraints=837 0.19/0.24 c nbDecision=5000 #constraints=870 0.19/0.27 c nbDecision=5500 #constraints=902 0.29/0.30 c nbDecision=6000 #constraints=938 0.29/0.33 c restart after 6401 decisions 0.29/0.33 c nbDecision=6500 #constraints=962 0.29/0.36 c nbDecision=7000 #constraints=981 0.29/0.39 c nbDecision=7500 #constraints=1018 0.39/0.43 c nbDecision=8000 #constraints=1058 0.39/0.46 c nbDecision=8500 #constraints=1080 0.39/0.49 c nbDecision=9000 #constraints=1116 0.49/0.54 c nbDecision=9500 #constraints=1166 0.49/0.58 c nbDecision=10000 #constraints=1202 0.59/0.62 c nbDecision=10500 #constraints=1236 0.59/0.64 c nbDecision=11000 #constraints=1261 0.59/0.69 c nbDecision=11500 #constraints=1297 0.69/0.73 c nbDecision=12000 #constraints=1340 0.69/0.78 c nbDecision=12500 #constraints=1386 0.79/0.80 c restart after 12801 decisions 0.79/0.81 c nbDecision=13000 #constraints=1403 0.79/0.87 c nbDecision=13500 #constraints=1441 0.89/0.91 c nbDecision=14000 #constraints=1472 0.89/0.97 c nbDecision=14500 #constraints=1517 1.00/1.02 c nbDecision=15000 #constraints=1555 1.00/1.08 c nbDecision=15500 #constraints=1596 1.10/1.13 c nbDecision=16000 #constraints=1633 1.10/1.19 c nbDecision=16500 #constraints=1663 1.29/1.30 c nbDecision=17000 #constraints=1710 1.29/1.37 c nbDecision=17500 #constraints=1739 1.49/1.51 c nbDecision=18000 #constraints=1790 1.69/1.70 c nbDecision=18500 #constraints=1859 1.89/1.98 c nbDecision=19000 #constraints=1955 2.20/2.24 c nbDecision=19500 #constraints=2034 2.49/2.52 c nbDecision=20000 #constraints=2116 2.69/2.74 c nbDecision=20500 #constraints=2180 2.99/3.02 c nbDecision=21000 #constraints=2250 3.39/3.42 c nbDecision=21500 #constraints=2354 3.69/3.75 c nbDecision=22000 #constraints=2430 3.99/4.08 c nbDecision=22500 #constraints=2504 4.29/4.38 c nbDecision=23000 #constraints=2567 4.69/4.74 c nbDecision=23500 #constraints=2642 5.09/5.14 c nbDecision=24000 #constraints=2718 5.59/5.63 c nbDecision=24500 #constraints=2793 5.99/6.07 c nbDecision=25000 #constraints=2868 6.39/6.46 c nbDecision=25500 #constraints=2934 6.49/6.57 c restart after 25601 decisions 6.59/6.69 c nbDecision=26000 #constraints=2963 6.79/6.88 c nbDecision=26500 #constraints=3000 7.09/7.12 c nbDecision=27000 #constraints=3045 7.29/7.37 c nbDecision=27500 #constraints=3091 7.60/7.69 c nbDecision=28000 #constraints=3148 7.89/7.99 c nbDecision=28500 #constraints=3191 8.19/8.27 c nbDecision=29000 #constraints=3233 8.39/8.48 c nbDecision=29500 #constraints=3264 8.69/8.72 c nbDecision=30000 #constraints=3297 8.99/9.04 c nbDecision=30500 #constraints=3338 9.29/9.38 c nbDecision=31000 #constraints=3386 9.59/9.60 c nbDecision=31500 #constraints=3420 9.79/9.83 c nbDecision=32000 #constraints=3446 10.09/10.18 c nbDecision=32500 #constraints=3489 10.39/10.48 c nbDecision=33000 #constraints=3527 10.69/10.74 c nbDecision=33500 #constraints=3560 10.99/11.07 c nbDecision=34000 #constraints=3604 11.29/11.35 c nbDecision=34500 #constraints=3639 11.59/11.64 c nbDecision=35000 #constraints=3675 11.89/11.91 c nbDecision=35500 #constraints=3713 12.19/12.29 c nbDecision=36000 #constraints=3762 12.59/12.64 c nbDecision=36500 #constraints=3803 12.89/12.95 c nbDecision=37000 #constraints=3843 13.28/13.33 c nbDecision=37500 #constraints=3890 13.68/13.74 c nbDecision=38000 #constraints=3939 14.08/14.13 c nbDecision=38500 #constraints=3987 14.48/14.53 c nbDecision=39000 #constraints=4033 14.68/14.78 c nbDecision=39500 #constraints=4069 15.08/15.14 c nbDecision=40000 #constraints=4117 15.58/15.60 c nbDecision=40500 #constraints=4172 15.98/16.06 c nbDecision=41000 #constraints=4221 16.39/16.43 c nbDecision=41500 #constraints=4259 16.79/16.82 c nbDecision=42000 #constraints=4302 17.19/17.21 c nbDecision=42500 #constraints=4343 17.79/17.82 c nbDecision=43000 #constraints=4403 18.19/18.26 c nbDecision=43500 #constraints=4450 18.89/18.91 c nbDecision=44000 #constraints=4523 19.59/19.68 c nbDecision=44500 #constraints=4609 20.69/20.70 c nbDecision=45000 #constraints=4714 21.29/21.40 c nbDecision=45500 #constraints=4789 21.99/22.04 c nbDecision=46000 #constraints=4844 22.59/22.68 c nbDecision=46500 #constraints=4900 23.48/23.53 c nbDecision=47000 #constraints=4975 24.58/24.61 c nbDecision=47500 #constraints=5066 25.29/25.31 c nbDecision=48000 #constraints=5124 25.78/25.80 c nbDecision=48500 #constraints=5160 26.29/26.34 c nbDecision=49000 #constraints=5205 26.88/26.93 c nbDecision=49500 #constraints=5257 27.39/27.48 c nbDecision=50000 #constraints=5305 28.08/28.12 c nbDecision=50500 #constraints=5359 28.68/28.76 c nbDecision=51000 #constraints=5410 28.88/28.93 c restart after 51201 decisions 29.08/29.14 c nbDecision=51500 #constraints=5430 29.48/29.60 c nbDecision=52000 #constraints=5469 30.08/30.15 c nbDecision=52500 #constraints=5513 30.58/30.70 c nbDecision=53000 #constraints=5559 31.28/31.35 c nbDecision=53500 #constraints=5610 31.98/32.04 c nbDecision=54000 #constraints=5665 32.78/32.81 c nbDecision=54500 #constraints=5714 33.28/33.38 c nbDecision=55000 #constraints=5752 33.98/34.06 c nbDecision=55500 #constraints=5804 34.68/34.76 c nbDecision=56000 #constraints=5858 35.57/35.66 c nbDecision=56500 #constraints=5943 36.28/36.38 c nbDecision=57000 #constraints=6011 37.07/37.14 c nbDecision=57500 #constraints=6078 37.87/37.99 c nbDecision=58000 #constraints=6152 38.77/38.87 c nbDecision=58500 #constraints=6225 39.58/39.65 c nbDecision=59000 #constraints=6293 40.37/40.49 c nbDecision=59500 #constraints=6364 41.57/41.62 c nbDecision=60000 #constraints=6451 42.37/42.48 c nbDecision=60500 #constraints=6515 43.27/43.33 c nbDecision=61000 #constraints=6574 43.67/43.75 c nbDecision=61500 #constraints=6606 44.97/45.02 c nbDecision=62000 #constraints=6708 45.87/45.95 c nbDecision=62500 #constraints=6769 46.77/46.80 c nbDecision=63000 #constraints=6824 47.67/47.78 c nbDecision=63500 #constraints=6887 48.68/48.77 c nbDecision=64000 #constraints=6934 49.18/49.25 c nbDecision=64500 #constraints=6963 49.98/50.05 c nbDecision=65000 #constraints=7017 50.88/50.91 c nbDecision=65500 #constraints=7072 51.97/52.03 c nbDecision=66000 #constraints=7145 52.97/53.09 c nbDecision=66500 #constraints=7215 53.78/53.88 c nbDecision=67000 #constraints=7271 54.57/54.65 c nbDecision=67500 #constraints=7316 55.57/55.69 c nbDecision=68000 #constraints=7390 56.57/56.68 c nbDecision=68500 #constraints=7447 58.37/58.43 c nbDecision=69000 #constraints=7541 59.57/59.62 c nbDecision=69500 #constraints=7623 60.77/60.81 c nbDecision=70000 #constraints=7690 62.27/62.30 c nbDecision=70500 #constraints=7764 63.17/63.29 c nbDecision=71000 #constraints=7816 63.97/64.00 c nbDecision=71500 #constraints=7851 64.77/64.87 c nbDecision=72000 #constraints=7899 65.97/66.09 c nbDecision=72500 #constraints=7959 67.07/67.10 c nbDecision=73000 #constraints=8010 68.07/68.13 c nbDecision=73500 #constraints=8064 68.67/68.80 c nbDecision=74000 #constraints=8096 69.57/69.67 c nbDecision=74500 #constraints=8133 70.67/70.71 c nbDecision=75000 #constraints=8180 71.56/71.61 c nbDecision=75500 #constraints=8225 72.76/72.85 c nbDecision=76000 #constraints=8292 73.96/74.09 c nbDecision=76500 #constraints=8350 75.26/75.36 c nbDecision=77000 #constraints=8418 76.97/77.02 c nbDecision=77500 #constraints=8504 77.97/78.01 c nbDecision=78000 #constraints=8557 79.06/79.19 c nbDecision=78500 #constraints=8627 80.57/80.66 c nbDecision=79000 #constraints=8704 82.07/82.15 c nbDecision=79500 #constraints=8773 82.97/83.07 c nbDecision=80000 #constraints=8813 84.77/84.81 c nbDecision=80500 #constraints=8894 85.96/86.01 c nbDecision=81000 #constraints=8954 86.96/87.03 c nbDecision=81500 #constraints=9008 88.56/88.63 c nbDecision=82000 #constraints=9085 89.86/89.98 c nbDecision=82500 #constraints=9156 91.66/91.74 c nbDecision=83000 #constraints=9238 93.26/93.33 c nbDecision=83500 #constraints=9309 94.06/94.15 c nbDecision=84000 #constraints=9355 95.76/95.82 c nbDecision=84500 #constraints=9434 97.16/97.24 c nbDecision=85000 #constraints=9504 98.46/98.58 c nbDecision=85500 #constraints=9557 100.36/100.44 c nbDecision=86000 #constraints=9629 103.06/103.13 c nbDecision=86500 #constraints=9706 104.06/104.17 c nbDecision=87000 #constraints=9745 104.96/105.07 c nbDecision=87500 #constraints=9788 106.16/106.25 c nbDecision=88000 #constraints=9840 107.36/107.46 c nbDecision=88500 #constraints=9898 108.46/108.58 c nbDecision=89000 #constraints=9951 110.06/110.14 c nbDecision=89500 #constraints=10008 111.26/111.34 c nbDecision=90000 #constraints=10047 112.55/112.63 c nbDecision=90500 #constraints=10109 113.85/113.93 c nbDecision=91000 #constraints=10168 115.05/115.14 c nbDecision=91500 #constraints=10223 116.05/116.13 c nbDecision=92000 #constraints=10262 117.66/117.70 c nbDecision=92500 #constraints=10331 118.85/118.96 c nbDecision=93000 #constraints=10378 120.45/120.51 c nbDecision=93500 #constraints=10441 122.15/122.25 c nbDecision=94000 #constraints=10518 123.55/123.65 c nbDecision=94500 #constraints=10577 124.95/125.00 c nbDecision=95000 #constraints=10642 126.26/126.39 c nbDecision=95500 #constraints=10698 127.86/127.96 c nbDecision=96000 #constraints=10762 129.56/129.63 c nbDecision=96500 #constraints=10835 130.96/131.04 c nbDecision=97000 #constraints=10892 132.56/132.65 c nbDecision=97500 #constraints=10965 133.86/133.91 c nbDecision=98000 #constraints=11015 135.06/135.18 c nbDecision=98500 #constraints=11062 136.66/136.79 c nbDecision=99000 #constraints=11121 138.15/138.24 c nbDecision=99500 #constraints=11173 139.56/139.63 c nbDecision=100000 #constraints=11225 141.35/141.47 c nbDecision=100500 #constraints=11289 143.05/143.14 c nbDecision=101000 #constraints=11351 144.75/144.85 c nbDecision=101500 #constraints=11427 146.25/146.30 c nbDecision=102000 #constraints=11483 147.55/147.64 c restart after 102401 decisions 147.85/147.94 c nbDecision=102500 #constraints=11524 149.05/149.17 c nbDecision=103000 #constraints=11563 150.44/150.53 c nbDecision=103500 #constraints=11610 151.75/151.82 c nbDecision=104000 #constraints=11659 153.04/153.13 c nbDecision=104500 #constraints=11705 154.74/154.86 c nbDecision=105000 #constraints=11768 156.74/156.85 c nbDecision=105500 #constraints=11832 158.14/158.21 c nbDecision=106000 #constraints=11875 159.24/159.32 c nbDecision=106500 #constraints=11911 161.04/161.14 c nbDecision=107000 #constraints=11969 162.74/162.85 c nbDecision=107500 #constraints=12023 164.44/164.56 c nbDecision=108000 #constraints=12078 166.04/166.10 c nbDecision=108500 #constraints=12128 167.24/167.34 c nbDecision=109000 #constraints=12174 168.84/168.96 c nbDecision=109500 #constraints=12230 170.34/170.41 c nbDecision=110000 #constraints=12286 171.54/171.69 c nbDecision=110500 #constraints=12327 173.25/173.32 c nbDecision=111000 #constraints=12388 174.75/174.85 c nbDecision=111500 #constraints=12447 176.25/176.39 c nbDecision=112000 #constraints=12506 177.94/178.09 c nbDecision=112500 #constraints=12571 179.64/179.79 c nbDecision=113000 #constraints=12630 181.45/181.51 c nbDecision=113500 #constraints=12692 183.44/183.51 c nbDecision=114000 #constraints=12762 184.94/185.03 c nbDecision=114500 #constraints=12811 186.74/186.85 c nbDecision=115000 #constraints=12872 188.64/188.77 c nbDecision=115500 #constraints=12932 190.34/190.46 c nbDecision=116000 #constraints=12976 192.64/192.75 c nbDecision=116500 #constraints=13038 194.04/194.17 c nbDecision=117000 #constraints=13089 195.64/195.73 c nbDecision=117500 #constraints=13145 197.73/197.84 c nbDecision=118000 #constraints=13205 199.83/199.99 c nbDecision=118500 #constraints=13269 201.53/201.66 c nbDecision=119000 #constraints=13323 203.44/203.59 c nbDecision=119500 #constraints=13384 205.33/205.49 c nbDecision=120000 #constraints=13441 207.93/208.00 c nbDecision=120500 #constraints=13510 210.33/210.42 c nbDecision=121000 #constraints=13584 211.84/211.97 c nbDecision=121500 #constraints=13628 213.74/213.86 c nbDecision=122000 #constraints=13679 215.34/215.50 c nbDecision=122500 #constraints=13726 217.14/217.24 c nbDecision=123000 #constraints=13772 219.43/219.58 c nbDecision=123500 #constraints=13842 221.93/222.03 c nbDecision=124000 #constraints=13906 223.33/223.48 c nbDecision=124500 #constraints=13948 225.13/225.22 c nbDecision=125000 #constraints=14009 227.03/227.17 c nbDecision=125500 #constraints=14080 229.03/229.12 c nbDecision=126000 #constraints=14155 230.73/230.80 c nbDecision=126500 #constraints=14217 232.63/232.76 c nbDecision=127000 #constraints=14275 234.42/234.55 c nbDecision=127500 #constraints=14337 236.52/236.65 c nbDecision=128000 #constraints=14401 238.22/238.34 c nbDecision=128500 #constraints=14453 240.02/240.17 c nbDecision=129000 #constraints=14516 241.92/242.04 c nbDecision=129500 #constraints=14580 243.83/243.93 c nbDecision=130000 #constraints=14645 245.73/245.86 c nbDecision=130500 #constraints=14713 247.93/248.01 c nbDecision=131000 #constraints=14780 250.02/250.12 c nbDecision=131500 #constraints=14855 252.12/252.20 c nbDecision=132000 #constraints=14927 254.22/254.38 c nbDecision=132500 #constraints=15000 256.32/256.48 c nbDecision=133000 #constraints=15074 258.22/258.39 c nbDecision=133500 #constraints=15141 259.92/260.01 c nbDecision=134000 #constraints=15200 261.92/262.07 c nbDecision=134500 #constraints=15264 264.52/264.64 c nbDecision=135000 #constraints=15348 267.72/267.83 c nbDecision=135500 #constraints=15418 270.02/270.18 c nbDecision=136000 #constraints=15483 272.92/273.00 c nbDecision=136500 #constraints=15546 275.22/275.31 c nbDecision=137000 #constraints=15604 277.21/277.31 c nbDecision=137500 #constraints=15656 279.51/279.69 c nbDecision=138000 #constraints=15721 282.31/282.46 c nbDecision=138500 #constraints=15797 284.31/284.44 c nbDecision=139000 #constraints=15856 286.51/286.62 c nbDecision=139500 #constraints=15917 288.41/288.52 c nbDecision=140000 #constraints=15962 291.21/291.35 c nbDecision=140500 #constraints=16020 293.01/293.14 c nbDecision=141000 #constraints=16067 295.12/295.26 c nbDecision=141500 #constraints=16131 297.31/297.49 c nbDecision=142000 #constraints=16196 299.41/299.55 c nbDecision=142500 #constraints=16249 302.51/302.65 c nbDecision=143000 #constraints=16313 305.21/305.34 c nbDecision=143500 #constraints=16370 307.21/307.37 c nbDecision=144000 #constraints=16423 309.21/309.31 c nbDecision=144500 #constraints=16471 310.91/311.06 c nbDecision=145000 #constraints=16530 312.81/312.98 c nbDecision=145500 #constraints=16585 315.11/315.26 c nbDecision=146000 #constraints=16638 317.50/317.68 c nbDecision=146500 #constraints=16698 319.70/319.80 c nbDecision=147000 #constraints=16766 322.80/322.90 c nbDecision=147500 #constraints=16833 325.90/326.04 c nbDecision=148000 #constraints=16905 328.30/328.41 c nbDecision=148500 #constraints=16959 331.90/332.07 c nbDecision=149000 #constraints=17039 336.80/336.92 c nbDecision=149500 #constraints=17150 339.30/339.42 c nbDecision=150000 #constraints=17212 341.40/341.54 c nbDecision=150500 #constraints=17267 343.49/343.61 c nbDecision=151000 #constraints=17327 345.60/345.74 c nbDecision=151500 #constraints=17381 347.41/347.58 c nbDecision=152000 #constraints=17428 349.00/349.15 c nbDecision=152500 #constraints=17467 350.60/350.74 c nbDecision=153000 #constraints=17512 353.20/353.31 c nbDecision=153500 #constraints=17577 355.90/356.00 c nbDecision=154000 #constraints=17631 358.00/358.12 c nbDecision=154500 #constraints=17688 359.90/360.05 c nbDecision=155000 #constraints=17737 362.69/362.82 c nbDecision=155500 #constraints=17811 365.89/366.06 c nbDecision=156000 #constraints=17898 368.89/369.05 c nbDecision=156500 #constraints=17980 372.09/372.26 c nbDecision=157000 #constraints=18055 375.39/375.51 c nbDecision=157500 #constraints=18130 377.99/378.17 c nbDecision=158000 #constraints=18193 380.39/380.59 c nbDecision=158500 #constraints=18264 383.80/383.97 c nbDecision=159000 #constraints=18351 388.49/388.64 c nbDecision=159500 #constraints=18474 392.19/392.35 c nbDecision=160000 #constraints=18567 395.99/396.19 c nbDecision=160500 #constraints=18669 400.39/400.57 c nbDecision=161000 #constraints=18778 404.59/404.80 c nbDecision=161500 #constraints=18884 408.78/408.99 c nbDecision=162000 #constraints=18993 413.68/413.80 c nbDecision=162500 #constraints=19105 416.98/417.20 c nbDecision=163000 #constraints=19182 419.88/420.07 c nbDecision=163500 #constraints=19257 422.98/423.12 c nbDecision=164000 #constraints=19314 426.88/427.06 c nbDecision=164500 #constraints=19407 430.88/431.07 c nbDecision=165000 #constraints=19511 434.28/434.42 c nbDecision=165500 #constraints=19597 437.68/437.83 c nbDecision=166000 #constraints=19667 440.37/440.54 c nbDecision=166500 #constraints=19737 443.27/443.40 c nbDecision=167000 #constraints=19793 445.17/445.39 c nbDecision=167500 #constraints=19850 447.17/447.31 c nbDecision=168000 #constraints=19896 448.87/449.05 c nbDecision=168500 #constraints=19948 450.97/451.11 c nbDecision=169000 #constraints=19999 453.27/453.45 c nbDecision=169500 #constraints=20062 455.27/455.44 c nbDecision=170000 #constraints=20120 457.27/457.49 c nbDecision=170500 #constraints=20168 459.46/459.69 c nbDecision=171000 #constraints=20215 462.36/462.54 c nbDecision=171500 #constraints=20268 464.36/464.53 c nbDecision=172000 #constraints=20313 466.66/466.84 c nbDecision=172500 #constraints=20371 468.66/468.84 c nbDecision=173000 #constraints=20425 471.06/471.28 c nbDecision=173500 #constraints=20489 474.06/474.21 c nbDecision=174000 #constraints=20544 477.37/477.51 c nbDecision=174500 #constraints=20608 480.67/480.85 c nbDecision=175000 #constraints=20667 485.16/485.37 c nbDecision=175500 #constraints=20747 488.66/488.81 c nbDecision=176000 #constraints=20818 494.16/494.30 c nbDecision=176500 #constraints=20900 500.27/500.42 c nbDecision=177000 #constraints=20990 508.26/508.42 c nbDecision=177500 #constraints=21103 512.96/513.12 c nbDecision=178000 #constraints=21166 516.35/516.60 c nbDecision=178500 #constraints=21230 518.96/519.15 c nbDecision=179000 #constraints=21285 521.35/521.59 c nbDecision=179500 #constraints=21331 524.15/524.32 c nbDecision=180000 #constraints=21382 526.45/526.65 c nbDecision=180500 #constraints=21430 529.55/529.77 c nbDecision=181000 #constraints=21498 532.95/533.11 c nbDecision=181500 #constraints=21573 535.55/535.74 c nbDecision=182000 #constraints=21631 538.54/538.72 c nbDecision=182500 #constraints=21692 541.74/541.96 c nbDecision=183000 #constraints=21763 544.74/544.92 c nbDecision=183500 #constraints=21826 547.94/548.19 c nbDecision=184000 #constraints=21898 553.25/553.50 c nbDecision=184500 #constraints=21980 555.85/556.08 c nbDecision=185000 #constraints=22032 558.55/558.71 c nbDecision=185500 #constraints=22084 562.05/562.26 c nbDecision=186000 #constraints=22141 564.24/564.41 c nbDecision=186500 #constraints=22186 566.54/566.73 c nbDecision=187000 #constraints=22225 569.44/569.67 c nbDecision=187500 #constraints=22287 571.94/572.17 c nbDecision=188000 #constraints=22334 574.94/575.11 c nbDecision=188500 #constraints=22397 578.34/578.59 c nbDecision=189000 #constraints=22455 580.84/581.04 c nbDecision=189500 #constraints=22499 585.73/585.95 c nbDecision=190000 #constraints=22554 588.24/588.46 c nbDecision=190500 #constraints=22582 590.83/591.07 c nbDecision=191000 #constraints=22627 594.93/595.15 c nbDecision=191500 #constraints=22685 597.93/598.14 c nbDecision=192000 #constraints=22737 600.73/600.91 c nbDecision=192500 #constraints=22783 603.23/603.41 c nbDecision=193000 #constraints=22828 605.83/606.07 c nbDecision=193500 #constraints=22875 610.82/611.00 c nbDecision=194000 #constraints=22936 613.32/613.55 c nbDecision=194500 #constraints=22979 615.83/616.04 c nbDecision=195000 #constraints=23021 618.12/618.32 c nbDecision=195500 #constraints=23057 620.92/621.19 c nbDecision=196000 #constraints=23100 623.22/623.46 c nbDecision=196500 #constraints=23136 625.82/626.02 c nbDecision=197000 #constraints=23176 628.22/628.48 c nbDecision=197500 #constraints=23213 632.23/632.43 c nbDecision=198000 #constraints=23271 636.63/636.81 c nbDecision=198500 #constraints=23342 638.83/639.04 c nbDecision=199000 #constraints=23390 641.52/641.78 c nbDecision=199500 #constraints=23445 644.12/644.31 c nbDecision=200000 #constraints=23496 646.72/646.96 c nbDecision=200500 #constraints=23550 649.52/649.74 c nbDecision=201000 #constraints=23606 652.22/652.46 c nbDecision=201500 #constraints=23664 655.22/655.42 c nbDecision=202000 #constraints=23723 657.52/657.71 c nbDecision=202500 #constraints=23766 660.22/660.41 c nbDecision=203000 #constraints=23816 662.52/662.76 c nbDecision=203500 #constraints=23860 665.01/665.29 c nbDecision=204000 #constraints=23908 667.52/667.79 c nbDecision=204500 #constraints=23958 669.11/669.39 c restart after 204801 decisions 669.91/670.15 c nbDecision=205000 #constraints=23996 676.51/676.76 c nbDecision=205500 #constraints=24072 679.91/680.11 c nbDecision=206000 #constraints=24129 682.70/682.97 c nbDecision=206500 #constraints=24172 685.80/686.04 c nbDecision=207000 #constraints=24220 689.51/689.78 c nbDecision=207500 #constraints=24270 695.20/695.49 c nbDecision=208000 #constraints=24330 699.10/699.31 c nbDecision=208500 #constraints=24394 701.90/702.19 c nbDecision=209000 #constraints=24455 704.60/704.87 c nbDecision=209500 #constraints=24506 707.90/708.13 c nbDecision=210000 #constraints=24567 711.00/711.25 c nbDecision=210500 #constraints=24619 715.91/716.15 c nbDecision=211000 #constraints=24679 718.90/719.12 c nbDecision=211500 #constraints=24730 722.70/722.92 c nbDecision=212000 #constraints=24788 726.00/726.26 c nbDecision=212500 #constraints=24847 733.30/733.51 c nbDecision=213000 #constraints=24939 740.50/740.79 c nbDecision=213500 #constraints=25017 743.00/743.22 c nbDecision=214000 #constraints=25069 745.69/745.91 c nbDecision=214500 #constraints=25120 748.09/748.35 c nbDecision=215000 #constraints=25168 750.89/751.13 c nbDecision=215500 #constraints=25215 753.30/753.58 c nbDecision=216000 #constraints=25265 756.19/756.47 c nbDecision=216500 #constraints=25312 759.39/759.63 c nbDecision=217000 #constraints=25370 762.69/762.90 c nbDecision=217500 #constraints=25432 766.39/766.63 c nbDecision=218000 #constraints=25499 769.88/770.17 c nbDecision=218500 #constraints=25561 773.38/773.67 c nbDecision=219000 #constraints=25629 776.08/776.35 c nbDecision=219500 #constraints=25679 783.19/783.41 c nbDecision=220000 #constraints=25753 789.29/789.57 c nbDecision=220500 #constraints=25824 793.58/793.80 c nbDecision=221000 #constraints=25885 798.18/798.42 c nbDecision=221500 #constraints=25957 801.68/801.93 c nbDecision=222000 #constraints=26015 805.18/805.46 c nbDecision=222500 #constraints=26085 810.48/810.72 c nbDecision=223000 #constraints=26167 816.27/816.58 c nbDecision=223500 #constraints=26253 820.67/820.96 c nbDecision=224000 #constraints=26338 824.57/824.81 c nbDecision=224500 #constraints=26401 828.67/828.96 c nbDecision=225000 #constraints=26472 832.87/833.11 c nbDecision=225500 #constraints=26535 836.66/836.94 c nbDecision=226000 #constraints=26600 840.17/840.45 c nbDecision=226500 #constraints=26654 846.06/846.34 c nbDecision=227000 #constraints=26731 850.37/850.66 c nbDecision=227500 #constraints=26794 853.87/854.14 c nbDecision=228000 #constraints=26849 856.47/856.72 c nbDecision=228500 #constraints=26892 859.47/859.78 c nbDecision=229000 #constraints=26947 862.67/862.96 c nbDecision=229500 #constraints=27010 865.76/866.04 c nbDecision=230000 #constraints=27065 868.67/868.96 c nbDecision=230500 #constraints=27112 871.76/872.02 c nbDecision=231000 #constraints=27169 875.26/875.56 c nbDecision=231500 #constraints=27230 878.66/878.95 c nbDecision=232000 #constraints=27289 882.06/882.36 c nbDecision=232500 #constraints=27351 885.36/885.65 c nbDecision=233000 #constraints=27405 888.76/889.04 c nbDecision=233500 #constraints=27458 892.06/892.38 c nbDecision=234000 #constraints=27510 895.95/896.28 c nbDecision=234500 #constraints=27566 898.65/899.00 c nbDecision=235000 #constraints=27623 902.05/902.38 c nbDecision=235500 #constraints=27686 905.55/905.82 c nbDecision=236000 #constraints=27745 908.95/909.24 c nbDecision=236500 #constraints=27800 911.55/911.87 c nbDecision=237000 #constraints=27850 914.34/914.69 c nbDecision=237500 #constraints=27894 917.24/917.50 c nbDecision=238000 #constraints=27947 920.24/920.58 c nbDecision=238500 #constraints=28007 923.24/923.51 c nbDecision=239000 #constraints=28063 925.74/926.03 c nbDecision=239500 #constraints=28117 929.14/929.45 c nbDecision=240000 #constraints=28173 933.44/933.71 c nbDecision=240500 #constraints=28240 937.44/937.76 c nbDecision=241000 #constraints=28312 941.54/941.87 c nbDecision=241500 #constraints=28395 945.13/945.46 c nbDecision=242000 #constraints=28454 948.44/948.70 c nbDecision=242500 #constraints=28511 952.54/952.86 c nbDecision=243000 #constraints=28576 955.74/956.07 c nbDecision=243500 #constraints=28636 959.14/959.47 c nbDecision=244000 #constraints=28685 964.03/964.36 c nbDecision=244500 #constraints=28747 968.03/968.31 c nbDecision=245000 #constraints=28813 971.83/972.19 c nbDecision=245500 #constraints=28879 975.03/975.35 c nbDecision=246000 #constraints=28925 978.23/978.50 c nbDecision=246500 #constraints=28978 981.83/982.19 c nbDecision=247000 #constraints=29036 985.33/985.60 c nbDecision=247500 #constraints=29093 990.02/990.32 c nbDecision=248000 #constraints=29168 994.03/994.37 c nbDecision=248500 #constraints=29231 998.82/999.14 c nbDecision=249000 #constraints=29295 1003.22/1003.57 c nbDecision=249500 #constraints=29352 1006.02/1006.33 c nbDecision=250000 #constraints=29402 1009.42/1009.73 c nbDecision=250500 #constraints=29457 1012.62/1012.96 c nbDecision=251000 #constraints=29517 1016.02/1016.35 c nbDecision=251500 #constraints=29580 1019.72/1020.08 c nbDecision=252000 #constraints=29650 1022.72/1023.06 c nbDecision=252500 #constraints=29705 1026.71/1027.09 c nbDecision=253000 #constraints=29770 1030.61/1030.94 c nbDecision=253500 #constraints=29831 1034.21/1034.51 c nbDecision=254000 #constraints=29892 1038.21/1038.51 c nbDecision=254500 #constraints=29965 1042.21/1042.52 c nbDecision=255000 #constraints=30028 1045.91/1046.30 c nbDecision=255500 #constraints=30094 1050.01/1050.33 c nbDecision=256000 #constraints=30156 1054.90/1055.26 c nbDecision=256500 #constraints=30234 1058.80/1059.16 c nbDecision=257000 #constraints=30294 1062.40/1062.71 c nbDecision=257500 #constraints=30348 1068.41/1068.76 c nbDecision=258000 #constraints=30436 1072.11/1072.42 c nbDecision=258500 #constraints=30493 1075.10/1075.40 c nbDecision=259000 #constraints=30547 1079.60/1079.93 c nbDecision=259500 #constraints=30616 1083.11/1083.45 c nbDecision=260000 #constraints=30678 1086.80/1087.12 c nbDecision=260500 #constraints=30744 1090.30/1090.61 c nbDecision=261000 #constraints=30802 1095.10/1095.44 c nbDecision=261500 #constraints=30870 1099.30/1099.67 c nbDecision=262000 #constraints=30929 1103.20/1103.56 c nbDecision=262500 #constraints=30992 1107.19/1107.58 c nbDecision=263000 #constraints=31062 1112.49/1112.86 c nbDecision=263500 #constraints=31141 1116.09/1116.49 c nbDecision=264000 #constraints=31196 1120.59/1120.99 c nbDecision=264500 #constraints=31272 1125.29/1125.60 c nbDecision=265000 #constraints=31347 1129.19/1129.52 c nbDecision=265500 #constraints=31405 1133.38/1133.70 c nbDecision=266000 #constraints=31469 1137.98/1138.31 c nbDecision=266500 #constraints=31534 1142.28/1142.62 c nbDecision=267000 #constraints=31605 1147.38/1147.75 c nbDecision=267500 #constraints=31681 1151.09/1151.44 c nbDecision=268000 #constraints=31743 1154.29/1154.69 c nbDecision=268500 #constraints=31803 1157.99/1158.31 c nbDecision=269000 #constraints=31872 1163.58/1163.92 c nbDecision=269500 #constraints=31955 1169.28/1169.69 c nbDecision=270000 #constraints=32038 1174.68/1175.05 c nbDecision=270500 #constraints=32113 1181.57/1181.96 c nbDecision=271000 #constraints=32215 1186.27/1186.68 c nbDecision=271500 #constraints=32284 1190.57/1190.97 c nbDecision=272000 #constraints=32356 1194.77/1195.13 c nbDecision=272500 #constraints=32429 1203.26/1203.63 c nbDecision=273000 #constraints=32547 1210.56/1210.99 c nbDecision=273500 #constraints=32658 1216.97/1217.33 c nbDecision=274000 #constraints=32710 1220.17/1220.52 c nbDecision=274500 #constraints=32762 1223.76/1224.12 c nbDecision=275000 #constraints=32810 1226.87/1227.22 c nbDecision=275500 #constraints=32870 1230.26/1230.65 c nbDecision=276000 #constraints=32929 1233.56/1233.90 c nbDecision=276500 #constraints=32984 1237.06/1237.50 c nbDecision=277000 #constraints=33047 1240.55/1240.91 c nbDecision=277500 #constraints=33094 1243.55/1244.00 c nbDecision=278000 #constraints=33147 1246.96/1247.36 c nbDecision=278500 #constraints=33205 1250.36/1250.76 c nbDecision=279000 #constraints=33260 1253.75/1254.10 c nbDecision=279500 #constraints=33306 1256.75/1257.20 c nbDecision=280000 #constraints=33352 1260.15/1260.52 c nbDecision=280500 #constraints=33402 1263.85/1264.26 c nbDecision=281000 #constraints=33460 1267.85/1268.25 c nbDecision=281500 #constraints=33521 1272.05/1272.40 c nbDecision=282000 #constraints=33576 1275.65/1276.04 c nbDecision=282500 #constraints=33628 1279.25/1279.66 c nbDecision=283000 #constraints=33675 1284.25/1284.60 c nbDecision=283500 #constraints=33751 1288.44/1288.85 c nbDecision=284000 #constraints=33820 1294.04/1294.44 c nbDecision=284500 #constraints=33896 1298.24/1298.63 c nbDecision=285000 #constraints=33973 1302.84/1303.27 c nbDecision=285500 #constraints=34048 1307.54/1307.97 c nbDecision=286000 #constraints=34118 1311.23/1311.67 c nbDecision=286500 #constraints=34187 1315.63/1316.07 c nbDecision=287000 #constraints=34262 1320.13/1320.54 c nbDecision=287500 #constraints=34333 1324.73/1325.12 c nbDecision=288000 #constraints=34424 1329.43/1329.84 c nbDecision=288500 #constraints=34512 1333.32/1333.73 c nbDecision=289000 #constraints=34575 1337.62/1338.02 c nbDecision=289500 #constraints=34649 1341.92/1342.38 c nbDecision=290000 #constraints=34718 1345.62/1346.00 c nbDecision=290500 #constraints=34766 1349.12/1349.53 c nbDecision=291000 #constraints=34818 1353.02/1353.49 c nbDecision=291500 #constraints=34880 1355.93/1356.34 c nbDecision=292000 #constraints=34939 1359.42/1359.81 c nbDecision=292500 #constraints=34994 1363.02/1363.47 c nbDecision=293000 #constraints=35056 1367.12/1367.55 c nbDecision=293500 #constraints=35124 1371.22/1371.63 c nbDecision=294000 #constraints=35189 1374.82/1375.21 c nbDecision=294500 #constraints=35251 1378.22/1378.61 c nbDecision=295000 #constraints=35308 1383.12/1383.54 c nbDecision=295500 #constraints=35379 1387.01/1387.49 c nbDecision=296000 #constraints=35451 1391.31/1391.74 c nbDecision=296500 #constraints=35524 1395.81/1396.25 c nbDecision=297000 #constraints=35600 1400.21/1400.69 c nbDecision=297500 #constraints=35672 1404.91/1405.33 c nbDecision=298000 #constraints=35744 1408.81/1409.22 c nbDecision=298500 #constraints=35807 1413.01/1413.43 c nbDecision=299000 #constraints=35885 1417.61/1418.01 c nbDecision=299500 #constraints=35960 1422.71/1423.11 c nbDecision=300000 #constraints=36037 1426.61/1427.00 c nbDecision=300500 #constraints=36105 1431.51/1431.95 c nbDecision=301000 #constraints=36190 1436.11/1436.54 c nbDecision=301500 #constraints=36276 1441.50/1441.93 c nbDecision=302000 #constraints=36377 1446.70/1447.17 c nbDecision=302500 #constraints=36470 1451.40/1451.90 c nbDecision=303000 #constraints=36547 1457.50/1457.97 c nbDecision=303500 #constraints=36613 1460.60/1461.01 c nbDecision=304000 #constraints=36657 1464.60/1465.03 c nbDecision=304500 #constraints=36711 1468.50/1468.92 c nbDecision=305000 #constraints=36766 1476.19/1476.63 c nbDecision=305500 #constraints=36828 1481.49/1481.97 c nbDecision=306000 #constraints=36879 1485.49/1485.99 c nbDecision=306500 #constraints=36937 1489.09/1489.51 c nbDecision=307000 #constraints=36988 1491.99/1492.46 c nbDecision=307500 #constraints=37028 1494.89/1495.30 c nbDecision=308000 #constraints=37071 1497.88/1498.31 c nbDecision=308500 #constraints=37119 1501.68/1502.11 c nbDecision=309000 #constraints=37172 1506.98/1507.40 c nbDecision=309500 #constraints=37243 1510.68/1511.16 c nbDecision=310000 #constraints=37301 1514.79/1515.22 c nbDecision=310500 #constraints=37359 1518.59/1519.07 c nbDecision=311000 #constraints=37421 1522.99/1523.49 c nbDecision=311500 #constraints=37488 1527.28/1527.70 c nbDecision=312000 #constraints=37557 1531.48/1531.90 c nbDecision=312500 #constraints=37626 1535.88/1536.37 c nbDecision=313000 #constraints=37689 1541.28/1541.74 c nbDecision=313500 #constraints=37763 1546.27/1546.79 c nbDecision=314000 #constraints=37841 1550.58/1551.05 c nbDecision=314500 #constraints=37897 1554.77/1555.25 c nbDecision=315000 #constraints=37956 1559.47/1559.94 c nbDecision=315500 #constraints=38017 1563.17/1563.66 c nbDecision=316000 #constraints=38078 1567.97/1568.43 c nbDecision=316500 #constraints=38144 1572.07/1572.59 c nbDecision=317000 #constraints=38191 1576.46/1576.96 c nbDecision=317500 #constraints=38248 1580.46/1580.96 c nbDecision=318000 #constraints=38312 1584.96/1585.42 c nbDecision=318500 #constraints=38380 1589.06/1589.52 c nbDecision=319000 #constraints=38430 1593.06/1593.50 c nbDecision=319500 #constraints=38483 1599.06/1599.55 c nbDecision=320000 #constraints=38559 1603.56/1604.10 c nbDecision=320500 #constraints=38626 1609.56/1610.09 c nbDecision=321000 #constraints=38728 1614.56/1615.03 c nbDecision=321500 #constraints=38801 1619.86/1620.33 c nbDecision=322000 #constraints=38881 1625.36/1625.85 c nbDecision=322500 #constraints=38966 1631.35/1631.90 c nbDecision=323000 #constraints=39042 1635.55/1636.07 c nbDecision=323500 #constraints=39094 1639.25/1639.71 c nbDecision=324000 #constraints=39140 1644.85/1645.32 c nbDecision=324500 #constraints=39209 1649.25/1649.75 c nbDecision=325000 #constraints=39269 1654.15/1654.60 c nbDecision=325500 #constraints=39322 1659.64/1660.14 c nbDecision=326000 #constraints=39380 1664.14/1664.61 c nbDecision=326500 #constraints=39440 1667.74/1668.27 c nbDecision=327000 #constraints=39491 1671.54/1672.03 c nbDecision=327500 #constraints=39546 1676.04/1676.58 c nbDecision=328000 #constraints=39601 1680.74/1681.29 c nbDecision=328500 #constraints=39666 1685.33/1685.85 c nbDecision=329000 #constraints=39735 1689.63/1690.18 c nbDecision=329500 #constraints=39790 1693.73/1694.29 c nbDecision=330000 #constraints=39845 1697.73/1698.30 c nbDecision=330500 #constraints=39907 1701.83/1702.37 c nbDecision=331000 #constraints=39967 1706.23/1706.79 c nbDecision=331500 #constraints=40032 1710.53/1711.05 c nbDecision=332000 #constraints=40087 1714.73/1715.24 c nbDecision=332500 #constraints=40142 1719.32/1719.87 c nbDecision=333000 #constraints=40206 1724.72/1725.24 c nbDecision=333500 #constraints=40271 1729.62/1730.16 c nbDecision=334000 #constraints=40329 1733.73/1734.28 c nbDecision=334500 #constraints=40375 1737.62/1738.11 c nbDecision=335000 #constraints=40423 1742.62/1743.14 c nbDecision=335500 #constraints=40474 1747.12/1747.63 c nbDecision=336000 #constraints=40531 1752.02/1752.50 c nbDecision=336500 #constraints=40591 1756.42/1756.99 c nbDecision=337000 #constraints=40642 1761.62/1762.16 c nbDecision=337500 #constraints=40714 1767.01/1767.58 c nbDecision=338000 #constraints=40777 1771.91/1772.44 c nbDecision=338500 #constraints=40847 1776.51/1777.01 c nbDecision=339000 #constraints=40899 1781.11/1781.69 c nbDecision=339500 #constraints=40961 1785.91/1786.47 c nbDecision=340000 #constraints=41025 1790.81/1791.36 c nbDecision=340500 #constraints=41090 1795.40/1795.94 c nbDecision=341000 #constraints=41143 1799.50/1800.00 c nbDecision=341500 #constraints=41198 1800.01/1800.50 Received signal 15 1800.01/1800.57 1800.01/1800.57 s UNKNOWN 1800.01/1800.57 1800.01/1800.57 c user time= 1799.81 s 1800.01/1800.57 c system time= 0.279957 s 1800.01/1800.57 c wall clock time=1800.57
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-366152-1176999058 -o ROOT/results/node70/solver-366152-1176999058 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366152-1176999058/instance-366152-1176999058.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.97 3/64 28896 /proc/meminfo: memFree=1463280/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=1468 CPUtime=0 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 139443189 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 367 162 131 317 0 46 0 [startup+0.018639 s] /proc/loadavg: 1.00 1.00 0.97 3/64 28896 /proc/meminfo: memFree=1463280/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=1732 CPUtime=0.01 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 240 0 0 0 1 0 0 0 18 0 1 0 139443189 1773568 222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 433 222 131 317 0 112 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1732 [startup+0.101648 s] /proc/loadavg: 1.00 1.00 0.97 3/64 28896 /proc/meminfo: memFree=1463280/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=2536 CPUtime=0.09 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 440 0 0 0 9 0 0 0 18 0 1 0 139443189 2596864 422 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562864 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 634 422 139 317 0 313 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2536 [startup+0.301667 s] /proc/loadavg: 1.00 1.00 0.97 3/64 28896 /proc/meminfo: memFree=1463280/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=2796 CPUtime=0.29 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 560 0 0 0 29 0 0 0 19 0 1 0 139443189 2863104 542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712503 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 699 542 170 317 0 378 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2796 [startup+0.701708 s] /proc/loadavg: 1.00 1.00 0.97 3/64 28896 /proc/meminfo: memFree=1463280/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=3604 CPUtime=0.69 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 733 0 0 0 69 0 0 0 22 0 1 0 139443189 3690496 715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 901 715 170 317 0 580 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3604 [startup+1.50179 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1460712/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=4540 CPUtime=1.49 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 966 0 0 0 149 0 0 0 25 0 1 0 139443189 4648960 948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 1135 948 170 317 0 814 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4540 [startup+3.10195 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1459560/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=5628 CPUtime=3.09 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 1243 0 0 0 309 0 0 0 25 0 1 0 139443189 5763072 1225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 1407 1225 170 317 0 1086 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5628 [startup+6.30127 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1457640/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=7260 CPUtime=6.29 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 1616 0 0 0 629 0 0 0 25 0 1 0 139443189 7434240 1598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 1815 1598 170 317 0 1494 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7260 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1455528/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=9268 CPUtime=12.69 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 2116 0 0 0 1268 1 0 0 25 0 1 0 139443189 9490432 2098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 2317 2098 170 317 0 1996 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9268 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1452072/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=12676 CPUtime=25.48 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 2938 0 0 0 2546 2 0 0 25 0 1 0 139443189 12980224 2920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 3169 2920 170 317 0 2848 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12676 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1447464/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=17504 CPUtime=51.08 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 4086 0 0 0 5105 3 0 0 25 0 1 0 139443189 17924096 4068 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 4376 4068 170 317 0 4055 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 17504 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1440744/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=24832 CPUtime=102.26 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 5793 0 0 0 10222 4 0 0 25 0 1 0 139443189 25427968 5717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 6208 5717 170 317 0 5887 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 24832 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1435112/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=30744 CPUtime=162.24 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 7217 0 0 0 16219 5 0 0 25 0 1 0 139443189 31481856 7141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 7686 7141 170 317 0 7365 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 30744 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1430440/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=35504 CPUtime=222.23 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 8360 0 0 0 22216 7 0 0 25 0 1 0 139443189 36356096 8284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716050 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 8876 8284 170 317 0 8555 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 35504 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1425832/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=39720 CPUtime=282.21 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 9504 0 0 0 28213 8 0 0 25 0 1 0 139443189 40673280 9428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712496 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 9930 9428 170 317 0 9609 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 39720 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1422120/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=45248 CPUtime=342.19 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 10859 0 0 0 34210 9 0 0 25 0 1 0 139443189 46333952 10372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 11312 10372 170 317 0 10991 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 45248 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1418280/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=49584 CPUtime=402.18 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 12023 0 0 0 40207 11 0 0 25 0 1 0 139443189 50774016 11305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 12396 11305 170 317 0 12075 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 49584 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1414632/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=53468 CPUtime=462.16 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 13005 0 0 0 46205 11 0 0 25 0 1 0 139443189 54751232 12188 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 13367 12188 170 317 0 13046 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 53468 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1412008/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=56252 CPUtime=522.15 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 13776 0 0 0 52203 12 0 0 25 0 1 0 139443189 57602048 12860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 14063 12860 170 317 0 13742 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 56252 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1409128/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=58728 CPUtime=582.14 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 14525 0 0 0 58201 13 0 0 25 0 1 0 139443189 60137472 13543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 14682 13543 170 317 0 14361 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 58728 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1407016/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=61356 CPUtime=642.13 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 15241 0 0 0 64199 14 0 0 25 0 1 0 139443189 62828544 14094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 15339 14094 170 317 0 15018 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 61356 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1397480/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=70116 CPUtime=882.06 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 17687 0 0 0 88189 17 0 0 25 0 1 0 139443189 71798784 16474 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 17529 16474 170 317 0 17208 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 70116 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1394920/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=72320 CPUtime=942.04 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 18337 0 0 0 94187 17 0 0 25 0 1 0 139443189 74055680 17124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 18080 17124 170 317 0 17759 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 72320 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1392552/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=74676 CPUtime=1002.02 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 18980 0 0 0 100184 18 0 0 25 0 1 0 139443189 76468224 17701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 18669 17701 170 317 0 18348 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 74676 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1389928/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=77052 CPUtime=1062 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 19655 0 0 0 106182 18 0 0 25 0 1 0 139443189 78901248 18343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 19263 18343 170 317 0 18942 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 77052 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1387560/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=79148 CPUtime=1121.99 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 20265 0 0 0 112180 19 0 0 25 0 1 0 139443189 81047552 18953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 19787 18953 170 317 0 19466 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 79148 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1385256/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=81496 CPUtime=1181.97 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 20876 0 0 0 118177 20 0 0 25 0 1 0 139443189 83451904 19531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716176 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 20374 19531 170 317 0 20053 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 81496 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1381864/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=85288 CPUtime=1241.95 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 21910 0 0 0 124174 21 0 0 25 0 1 0 139443189 87334912 20305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 21322 20305 170 317 0 21001 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 85288 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1380712/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=89408 CPUtime=1301.94 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 23025 0 0 0 130172 22 0 0 25 0 1 0 139443189 91553792 20640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 22352 20640 170 317 0 22031 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 89408 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1378344/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=92960 CPUtime=1361.92 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 23950 0 0 0 136169 23 0 0 25 0 1 0 139443189 95191040 21240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 23240 21240 170 317 0 22919 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 92960 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1375848/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=96336 CPUtime=1421.91 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 24883 0 0 0 142167 24 0 0 25 0 1 0 139443189 98648064 21848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 24084 21848 170 317 0 23763 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 96336 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1373800/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=98648 CPUtime=1481.89 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 25532 0 0 0 148165 24 0 0 25 0 1 0 139443189 101015552 22367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 24662 22367 170 317 0 24341 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 98648 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1371688/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=100488 CPUtime=1541.88 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 26060 0 0 0 154163 25 0 0 25 0 1 0 139443189 102899712 22895 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 25122 22895 170 317 0 24801 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 100488 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1369704/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=102344 CPUtime=1601.86 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 26593 0 0 0 160160 26 0 0 25 0 1 0 139443189 104800256 23395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 25586 23395 170 317 0 25265 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 102344 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1367784/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=104556 CPUtime=1661.84 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 27195 0 0 0 166158 26 0 0 25 0 1 0 139443189 107065344 23867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 26139 23867 170 317 0 25818 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 104556 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1365864/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=106520 CPUtime=1721.82 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 27685 0 0 0 172156 26 0 0 25 0 1 0 139443189 109076480 24357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 26630 24357 170 317 0 26309 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 106520 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1364136/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=108216 CPUtime=1781.81 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 28179 0 0 0 178154 27 0 0 25 0 1 0 139443189 110813184 24786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604450 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 27054 24786 170 317 0 26733 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 108216 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1363560/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=108736 CPUtime=1800.01 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 28319 0 0 0 179974 27 0 0 25 0 1 0 139443189 111345664 24926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 27184 24926 170 317 0 26863 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 108736 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.97 2/65 28897 /proc/meminfo: memFree=1363560/2055920 swapFree=4183760/4192956 [pid=28896] ppid=28894 vsize=108736 CPUtime=1800.01 /proc/28896/stat : 28896 (oree) R 28894 28896 28596 0 -1 4194304 28319 0 0 0 179974 27 0 0 25 0 1 0 139443189 111345664 24926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28896/statm: 27184 24926 170 317 0 26863 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 108736 Child status: 0 Real time (s): 1800.6 CPU time (s): 1800.11 CPU user time (s): 1799.81 CPU system time (s): 0.297954 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 108736 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.81 system time used= 0.297954 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28335 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= 3337 runsolver used 1.3358 second user time and 3.63445 second system time The end
Begin job on node70 on Thu Apr 19 16:10:59 UTC 2007 IDJOB= 366152 IDBENCH= 2642 IDSOLVER= 172 FILE ID= node70/366152-1176999058 PBS_JOBID= 4630483 Free space on /tmp= 66476 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_8.opb COMMAND LINE= oree /tmp/evaluation/366152-1176999058/instance-366152-1176999058.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-366152-1176999058 -o ROOT/results/node70/solver-366152-1176999058 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366152-1176999058/instance-366152-1176999058.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 6d3802f2f17c83a21ccf6c0752b41678 RANDOM SEED= 905899525 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node70.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.218 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.218 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: 1463752 kB Buffers: 29152 kB Cached: 492716 kB SwapCached: 3092 kB Active: 24404 kB Inactive: 507048 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1463752 kB SwapTotal: 4192956 kB SwapFree: 4183760 kB Dirty: 1516 kB Writeback: 0 kB Mapped: 15504 kB Slab: 46808 kB Committed_AS: 2490764 kB PageTables: 1396 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= 66476 MiB End job on node70 on Thu Apr 19 16:41:01 UTC 2007