Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.41 | 1800.87 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-dc1l.opb |
MD5SUM | 1bfc65237e0980827bf136f13870d50e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 997 |
Best CPU time to get the best result obtained on this benchmark | 1782.78 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 997 |
Optimality of the best value was proved | NO |
Number of variables | 85198 |
Total number of constraints | 1652 |
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 | 1652 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 35129 |
Number of terms in the objective function | 85198 |
Biggest coefficient in the objective function | 41346 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 607077 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 607077 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 1.89/1.94 c ...done 1.89/1.94 c #vars=85198 #constraints=3291 hasObjective=yes 2.89/2.92 c res. mode=mod 2.89/2.92 c VSIDS like heuristics 2.89/2.92 c complete search running 3.39/3.46 c restart after 401 decisions 3.49/3.58 c nbDecision=500 #constraints=3291 3.89/3.95 c restart after 801 decisions 4.09/4.19 c nbDecision=1000 #constraints=3291 4.79/4.80 c nbDecision=1500 #constraints=3291 4.89/4.92 c restart after 1601 decisions 5.39/5.41 c nbDecision=2000 #constraints=3291 5.99/6.01 c nbDecision=2500 #constraints=3291 6.59/6.62 c nbDecision=3000 #constraints=3291 6.79/6.86 c restart after 3201 decisions 7.19/7.23 c nbDecision=3500 #constraints=3291 7.79/7.84 c nbDecision=4000 #constraints=3291 8.39/8.44 c nbDecision=4500 #constraints=3291 8.99/9.05 c nbDecision=5000 #constraints=3291 9.59/9.66 c nbDecision=5500 #constraints=3291 10.19/10.26 c nbDecision=6000 #constraints=3291 10.69/10.74 c restart after 6401 decisions 10.79/10.87 c nbDecision=6500 #constraints=3291 11.39/11.48 c nbDecision=7000 #constraints=3291 11.99/12.09 c nbDecision=7500 #constraints=3291 12.69/12.70 c nbDecision=8000 #constraints=3291 13.28/13.31 c nbDecision=8500 #constraints=3291 13.88/13.91 c nbDecision=9000 #constraints=3291 14.48/14.52 c nbDecision=9500 #constraints=3291 15.08/15.12 c nbDecision=10000 #constraints=3291 15.68/15.73 c nbDecision=10500 #constraints=3291 16.28/16.33 c nbDecision=11000 #constraints=3291 16.88/16.93 c nbDecision=11500 #constraints=3291 17.49/17.53 c nbDecision=12000 #constraints=3291 18.08/18.12 c nbDecision=12500 #constraints=3291 18.38/18.48 c restart after 12801 decisions 18.69/18.72 c nbDecision=13000 #constraints=3291 19.28/19.33 c nbDecision=13500 #constraints=3291 19.88/19.92 c nbDecision=14000 #constraints=3291 20.48/20.52 c nbDecision=14500 #constraints=3291 21.08/21.13 c nbDecision=15000 #constraints=3291 21.68/21.73 c nbDecision=15500 #constraints=3291 22.28/22.33 c nbDecision=16000 #constraints=3291 22.89/22.92 c nbDecision=16500 #constraints=3291 23.49/23.52 c nbDecision=17000 #constraints=3291 24.09/24.12 c nbDecision=17500 #constraints=3291 24.69/24.71 c nbDecision=18000 #constraints=3291 25.29/25.30 c nbDecision=18500 #constraints=3291 25.79/25.89 c nbDecision=19000 #constraints=3291 26.39/26.48 c nbDecision=19500 #constraints=3291 26.99/27.06 c nbDecision=20000 #constraints=3291 27.59/27.65 c nbDecision=20500 #constraints=3291 28.19/28.24 c nbDecision=21000 #constraints=3291 28.79/28.83 c nbDecision=21500 #constraints=3291 29.39/29.41 c nbDecision=22000 #constraints=3291 29.99/30.00 c nbDecision=22500 #constraints=3291 30.49/30.58 c nbDecision=23000 #constraints=3291 31.09/31.17 c nbDecision=23500 #constraints=3291 31.69/31.75 c nbDecision=24000 #constraints=3291 32.29/32.32 c nbDecision=24500 #constraints=3291 32.89/32.90 c nbDecision=25000 #constraints=3291 33.39/33.48 c nbDecision=25500 #constraints=3291 33.59/33.60 c restart after 25601 decisions 33.99/34.09 c nbDecision=26000 #constraints=3291 34.69/34.70 c nbDecision=26500 #constraints=3291 35.29/35.31 c nbDecision=27000 #constraints=3291 35.89/35.91 c nbDecision=27500 #constraints=3291 36.49/36.51 c nbDecision=28000 #constraints=3291 37.09/37.12 c nbDecision=28500 #constraints=3291 37.69/37.72 c nbDecision=29000 #constraints=3291 38.29/38.32 c nbDecision=29500 #constraints=3291 38.89/38.91 c nbDecision=30000 #constraints=3291 39.49/39.51 c nbDecision=30500 #constraints=3291 40.09/40.10 c nbDecision=31000 #constraints=3291 40.59/40.69 c nbDecision=31500 #constraints=3291 41.19/41.28 c nbDecision=32000 #constraints=3291 41.79/41.87 c nbDecision=32500 #constraints=3291 42.39/42.46 c nbDecision=33000 #constraints=3291 42.99/43.05 c nbDecision=33500 #constraints=3291 43.59/43.63 c nbDecision=34000 #constraints=3291 44.19/44.21 c nbDecision=34500 #constraints=3291 44.69/44.80 c nbDecision=35000 #constraints=3291 45.29/45.38 c nbDecision=35500 #constraints=3291 45.89/45.95 c nbDecision=36000 #constraints=3291 46.48/46.53 c nbDecision=36500 #constraints=3291 47.08/47.10 c nbDecision=37000 #constraints=3291 47.58/47.68 c nbDecision=37500 #constraints=3291 48.18/48.25 c nbDecision=38000 #constraints=3291 48.78/48.83 c nbDecision=38500 #constraints=3291 49.39/49.40 c nbDecision=39000 #constraints=3291 49.88/49.98 c nbDecision=39500 #constraints=3291 50.49/50.54 c nbDecision=40000 #constraints=3291 51.08/51.11 c nbDecision=40500 #constraints=3291 51.59/51.68 c nbDecision=41000 #constraints=3291 52.18/52.25 c nbDecision=41500 #constraints=3291 52.79/52.82 c nbDecision=42000 #constraints=3291 53.28/53.38 c nbDecision=42500 #constraints=3291 53.89/53.94 c nbDecision=43000 #constraints=3291 54.48/54.50 c nbDecision=43500 #constraints=3291 54.99/55.06 c nbDecision=44000 #constraints=3291 55.58/55.62 c nbDecision=44500 #constraints=3291 56.09/56.18 c nbDecision=45000 #constraints=3291 56.68/56.74 c nbDecision=45500 #constraints=3291 57.19/57.29 c nbDecision=46000 #constraints=3291 57.78/57.84 c nbDecision=46500 #constraints=3291 58.28/58.39 c nbDecision=47000 #constraints=3291 58.88/58.94 c nbDecision=47500 #constraints=3291 59.38/59.48 c nbDecision=48000 #constraints=3291 59.98/60.02 c nbDecision=48500 #constraints=3291 60.48/60.57 c nbDecision=49000 #constraints=3291 61.08/61.11 c nbDecision=49500 #constraints=3291 61.58/61.65 c nbDecision=50000 #constraints=3291 62.08/62.18 c nbDecision=50500 #constraints=3291 62.68/62.72 c nbDecision=51000 #constraints=3291 62.88/62.93 c restart after 51201 decisions 63.28/63.31 c nbDecision=51500 #constraints=3291 63.88/63.92 c nbDecision=52000 #constraints=3291 64.48/64.52 c nbDecision=52500 #constraints=3291 65.08/65.12 c nbDecision=53000 #constraints=3291 65.68/65.73 c nbDecision=53500 #constraints=3291 66.28/66.33 c nbDecision=54000 #constraints=3291 66.88/66.93 c nbDecision=54500 #constraints=3291 67.48/67.52 c nbDecision=55000 #constraints=3291 68.08/68.13 c nbDecision=55500 #constraints=3291 68.68/68.73 c nbDecision=56000 #constraints=3291 69.28/69.33 c nbDecision=56500 #constraints=3291 69.88/69.92 c nbDecision=57000 #constraints=3291 70.48/70.52 c nbDecision=57500 #constraints=3291 71.08/71.12 c nbDecision=58000 #constraints=3291 71.68/71.71 c nbDecision=58500 #constraints=3291 72.28/72.30 c nbDecision=59000 #constraints=3291 72.78/72.89 c nbDecision=59500 #constraints=3291 73.38/73.48 c nbDecision=60000 #constraints=3291 73.98/74.07 c nbDecision=60500 #constraints=3291 74.58/74.65 c nbDecision=61000 #constraints=3291 75.18/75.24 c nbDecision=61500 #constraints=3291 75.78/75.82 c nbDecision=62000 #constraints=3291 76.38/76.40 c nbDecision=62500 #constraints=3291 76.88/76.98 c nbDecision=63000 #constraints=3291 77.48/77.56 c nbDecision=63500 #constraints=3291 78.08/78.13 c nbDecision=64000 #constraints=3291 78.68/78.70 c nbDecision=64500 #constraints=3291 79.18/79.27 c nbDecision=65000 #constraints=3291 79.78/79.83 c nbDecision=65500 #constraints=3291 80.37/80.40 c nbDecision=66000 #constraints=3291 80.87/80.96 c nbDecision=66500 #constraints=3291 81.47/81.52 c nbDecision=67000 #constraints=3291 81.97/82.08 c nbDecision=67500 #constraints=3291 82.57/82.64 c nbDecision=68000 #constraints=3291 83.17/83.20 c nbDecision=68500 #constraints=3291 83.67/83.76 c nbDecision=69000 #constraints=3291 84.27/84.31 c nbDecision=69500 #constraints=3291 84.77/84.87 c nbDecision=70000 #constraints=3291 85.37/85.42 c nbDecision=70500 #constraints=3291 85.87/85.97 c nbDecision=71000 #constraints=3291 86.47/86.52 c nbDecision=71500 #constraints=3291 86.97/87.07 c nbDecision=72000 #constraints=3291 87.57/87.62 c nbDecision=72500 #constraints=3291 88.07/88.17 c nbDecision=73000 #constraints=3291 88.67/88.72 c nbDecision=73500 #constraints=3291 89.17/89.27 c nbDecision=74000 #constraints=3291 89.77/89.81 c nbDecision=74500 #constraints=3291 90.27/90.36 c nbDecision=75000 #constraints=3291 90.87/90.90 c nbDecision=75500 #constraints=3291 91.37/91.45 c nbDecision=76000 #constraints=3291 91.87/91.99 c nbDecision=76500 #constraints=3291 92.47/92.53 c nbDecision=77000 #constraints=3291 92.97/93.07 c nbDecision=77500 #constraints=3291 93.57/93.61 c nbDecision=78000 #constraints=3291 94.07/94.14 c nbDecision=78500 #constraints=3291 94.57/94.68 c nbDecision=79000 #constraints=3291 95.17/95.21 c nbDecision=79500 #constraints=3291 95.67/95.74 c nbDecision=80000 #constraints=3291 96.17/96.27 c nbDecision=80500 #constraints=3291 96.77/96.80 c nbDecision=81000 #constraints=3291 97.27/97.33 c nbDecision=81500 #constraints=3291 97.77/97.86 c nbDecision=82000 #constraints=3291 98.27/98.38 c nbDecision=82500 #constraints=3291 98.87/98.90 c nbDecision=83000 #constraints=3291 99.37/99.43 c nbDecision=83500 #constraints=3291 99.87/99.95 c nbDecision=84000 #constraints=3291 100.37/100.48 c nbDecision=84500 #constraints=3291 100.97/101.00 c nbDecision=85000 #constraints=3291 101.47/101.52 c nbDecision=85500 #constraints=3291 101.97/102.05 c nbDecision=86000 #constraints=3291 102.47/102.57 c nbDecision=86500 #constraints=3291 102.97/103.09 c nbDecision=87000 #constraints=3291 103.57/103.61 c nbDecision=87500 #constraints=3291 104.07/104.13 c nbDecision=88000 #constraints=3291 104.57/104.65 c nbDecision=88500 #constraints=3291 105.07/105.17 c nbDecision=89000 #constraints=3291 105.57/105.69 c nbDecision=89500 #constraints=3291 106.17/106.21 c nbDecision=90000 #constraints=3291 106.67/106.73 c nbDecision=90500 #constraints=3291 107.17/107.24 c nbDecision=91000 #constraints=3291 107.67/107.76 c nbDecision=91500 #constraints=3291 108.17/108.28 c nbDecision=92000 #constraints=3291 108.77/108.80 c nbDecision=92500 #constraints=3291 109.27/109.31 c nbDecision=93000 #constraints=3291 109.77/109.83 c nbDecision=93500 #constraints=3291 110.27/110.35 c nbDecision=94000 #constraints=3291 110.77/110.86 c nbDecision=94500 #constraints=3291 111.27/111.38 c nbDecision=95000 #constraints=3291 111.77/111.89 c nbDecision=95500 #constraints=3291 112.37/112.41 c nbDecision=96000 #constraints=3291 112.87/112.92 c nbDecision=96500 #constraints=3291 113.37/113.43 c nbDecision=97000 #constraints=3291 113.87/113.94 c nbDecision=97500 #constraints=3291 114.37/114.46 c nbDecision=98000 #constraints=3291 114.87/114.97 c nbDecision=98500 #constraints=3291 115.37/115.48 c nbDecision=99000 #constraints=3291 115.86/115.98 c nbDecision=99500 #constraints=3291 116.36/116.49 c nbDecision=100000 #constraints=3291 116.96/117.00 c nbDecision=100500 #constraints=3291 117.46/117.50 c nbDecision=101000 #constraints=3291 117.96/118.01 c nbDecision=101500 #constraints=3291 118.46/118.51 c nbDecision=102000 #constraints=3291 118.86/118.91 c restart after 102401 decisions 119.06/119.16 c nbDecision=102500 #constraints=3291 119.66/119.76 c nbDecision=103000 #constraints=3291 120.26/120.37 c nbDecision=103500 #constraints=3291 120.86/120.97 c nbDecision=104000 #constraints=3291 121.46/121.57 c nbDecision=104500 #constraints=3291 122.06/122.17 c nbDecision=105000 #constraints=3291 122.66/122.77 c nbDecision=105500 #constraints=3291 123.26/123.37 c nbDecision=106000 #constraints=3291 123.86/123.97 c nbDecision=106500 #constraints=3291 124.46/124.57 c nbDecision=107000 #constraints=3291 125.06/125.16 c nbDecision=107500 #constraints=3291 125.66/125.75 c nbDecision=108000 #constraints=3291 126.26/126.34 c nbDecision=108500 #constraints=3291 126.86/126.93 c nbDecision=109000 #constraints=3291 127.46/127.52 c nbDecision=109500 #constraints=3291 128.06/128.11 c nbDecision=110000 #constraints=3291 128.66/128.70 c nbDecision=110500 #constraints=3291 129.16/129.29 c nbDecision=111000 #constraints=3291 129.76/129.88 c nbDecision=111500 #constraints=3291 130.36/130.47 c nbDecision=112000 #constraints=3291 130.96/131.05 c nbDecision=112500 #constraints=3291 131.56/131.64 c nbDecision=113000 #constraints=3291 132.16/132.22 c nbDecision=113500 #constraints=3291 132.76/132.80 c nbDecision=114000 #constraints=3291 133.26/133.38 c nbDecision=114500 #constraints=3291 133.86/133.96 c nbDecision=115000 #constraints=3291 134.46/134.53 c nbDecision=115500 #constraints=3291 135.06/135.10 c nbDecision=116000 #constraints=3291 135.56/135.68 c nbDecision=116500 #constraints=3291 136.16/136.25 c nbDecision=117000 #constraints=3291 136.76/136.81 c nbDecision=117500 #constraints=3291 137.26/137.38 c nbDecision=118000 #constraints=3291 137.86/137.94 c nbDecision=118500 #constraints=3291 138.46/138.50 c nbDecision=119000 #constraints=3291 138.96/139.06 c nbDecision=119500 #constraints=3291 139.56/139.62 c nbDecision=120000 #constraints=3291 140.05/140.17 c nbDecision=120500 #constraints=3291 140.66/140.73 c nbDecision=121000 #constraints=3291 141.15/141.28 c nbDecision=121500 #constraints=3291 141.76/141.83 c nbDecision=122000 #constraints=3291 142.25/142.38 c nbDecision=122500 #constraints=3291 142.86/142.93 c nbDecision=123000 #constraints=3291 143.35/143.48 c nbDecision=123500 #constraints=3291 143.96/144.02 c nbDecision=124000 #constraints=3291 144.45/144.57 c nbDecision=124500 #constraints=3291 145.06/145.11 c nbDecision=125000 #constraints=3291 145.55/145.66 c nbDecision=125500 #constraints=3291 146.16/146.20 c nbDecision=126000 #constraints=3291 146.65/146.74 c nbDecision=126500 #constraints=3291 147.15/147.28 c nbDecision=127000 #constraints=3291 147.75/147.81 c nbDecision=127500 #constraints=3291 148.25/148.36 c nbDecision=128000 #constraints=3291 148.75/148.90 c nbDecision=128500 #constraints=3291 149.35/149.43 c nbDecision=129000 #constraints=3291 149.85/149.97 c nbDecision=129500 #constraints=3291 150.45/150.51 c nbDecision=130000 #constraints=3291 150.95/151.04 c nbDecision=130500 #constraints=3291 151.45/151.57 c nbDecision=131000 #constraints=3291 152.05/152.10 c nbDecision=131500 #constraints=3291 152.55/152.63 c nbDecision=132000 #constraints=3291 153.05/153.16 c nbDecision=132500 #constraints=3291 153.55/153.69 c nbDecision=133000 #constraints=3291 154.15/154.21 c nbDecision=133500 #constraints=3291 154.65/154.75 c nbDecision=134000 #constraints=3291 155.15/155.28 c nbDecision=134500 #constraints=3291 155.75/155.81 c nbDecision=135000 #constraints=3291 156.25/156.34 c nbDecision=135500 #constraints=3291 156.75/156.87 c nbDecision=136000 #constraints=3291 157.25/157.39 c nbDecision=136500 #constraints=3291 157.85/157.92 c nbDecision=137000 #constraints=3291 158.35/158.44 c nbDecision=137500 #constraints=3291 158.85/158.96 c nbDecision=138000 #constraints=3291 159.35/159.49 c nbDecision=138500 #constraints=3291 159.95/160.01 c nbDecision=139000 #constraints=3291 160.45/160.53 c nbDecision=139500 #constraints=3291 160.95/161.04 c nbDecision=140000 #constraints=3291 161.45/161.56 c nbDecision=140500 #constraints=3291 161.95/162.08 c nbDecision=141000 #constraints=3291 162.55/162.60 c nbDecision=141500 #constraints=3291 163.05/163.11 c nbDecision=142000 #constraints=3291 163.55/163.63 c nbDecision=142500 #constraints=3291 164.05/164.14 c nbDecision=143000 #constraints=3291 164.55/164.66 c nbDecision=143500 #constraints=3291 165.05/165.17 c nbDecision=144000 #constraints=3291 165.55/165.69 c nbDecision=144500 #constraints=3291 166.15/166.20 c nbDecision=145000 #constraints=3291 166.65/166.71 c nbDecision=145500 #constraints=3291 167.15/167.22 c nbDecision=146000 #constraints=3291 167.65/167.73 c nbDecision=146500 #constraints=3291 168.15/168.24 c nbDecision=147000 #constraints=3291 168.65/168.76 c nbDecision=147500 #constraints=3291 169.15/169.27 c nbDecision=148000 #constraints=3291 169.65/169.78 c nbDecision=148500 #constraints=3291 170.15/170.29 c nbDecision=149000 #constraints=3291 170.75/170.80 c nbDecision=149500 #constraints=3291 171.25/171.31 c nbDecision=150000 #constraints=3291 171.75/171.82 c nbDecision=150500 #constraints=3291 172.25/172.33 c nbDecision=151000 #constraints=3291 172.75/172.84 c nbDecision=151500 #constraints=3291 173.25/173.34 c nbDecision=152000 #constraints=3291 173.75/173.85 c nbDecision=152500 #constraints=3291 174.25/174.36 c nbDecision=153000 #constraints=3291 174.75/174.86 c nbDecision=153500 #constraints=3291 175.25/175.36 c nbDecision=154000 #constraints=3291 175.74/175.87 c nbDecision=154500 #constraints=3291 176.34/176.43 c nbDecision=155000 #constraints=3297 176.84/176.94 c nbDecision=155500 #constraints=3297 177.34/177.45 c nbDecision=156000 #constraints=3297 177.84/177.95 c nbDecision=156500 #constraints=3297 178.34/178.44 c nbDecision=157000 #constraints=3297 178.84/178.94 c nbDecision=157500 #constraints=3297 179.34/179.44 c nbDecision=158000 #constraints=3297 179.84/179.93 c nbDecision=158500 #constraints=3297 180.35/180.43 c nbDecision=159000 #constraints=3297 180.84/180.92 c nbDecision=159500 #constraints=3297 181.35/181.42 c nbDecision=160000 #constraints=3297 181.84/181.92 c nbDecision=160500 #constraints=3298 182.34/182.41 c nbDecision=161000 #constraints=3298 182.84/182.93 c nbDecision=161500 #constraints=3301 183.34/183.45 c nbDecision=162000 #constraints=3303 183.84/183.95 c nbDecision=162500 #constraints=3303 184.34/184.44 c nbDecision=163000 #constraints=3303 184.94/185.09 c nbDecision=163500 #constraints=3312 185.54/185.69 c nbDecision=164000 #constraints=3320 186.04/186.20 c nbDecision=164500 #constraints=3321 186.74/186.87 c nbDecision=165000 #constraints=3337 187.65/187.72 c nbDecision=165500 #constraints=3345 188.45/188.51 c nbDecision=166000 #constraints=3349 188.95/189.04 c nbDecision=166500 #constraints=3351 189.45/189.56 c nbDecision=167000 #constraints=3352 190.05/190.12 c nbDecision=167500 #constraints=3358 190.85/190.94 c nbDecision=168000 #constraints=3362 191.45/191.51 c nbDecision=168500 #constraints=3369 192.25/192.35 c nbDecision=169000 #constraints=3373 192.75/192.88 c nbDecision=169500 #constraints=3376 193.34/193.43 c nbDecision=170000 #constraints=3380 193.84/193.96 c nbDecision=170500 #constraints=3383 196.44/196.56 c nbDecision=171000 #constraints=3409 199.44/199.58 c nbDecision=171500 #constraints=3428 199.94/200.09 c nbDecision=172000 #constraints=3428 200.54/200.65 c nbDecision=172500 #constraints=3434 201.04/201.18 c nbDecision=173000 #constraints=3436 201.64/201.74 c nbDecision=173500 #constraints=3442 202.14/202.26 c nbDecision=174000 #constraints=3444 202.64/202.79 c nbDecision=174500 #constraints=3447 203.45/203.51 c nbDecision=175000 #constraints=3467 204.14/204.20 c nbDecision=175500 #constraints=3478 204.64/204.74 c nbDecision=176000 #constraints=3484 205.44/205.56 c nbDecision=176500 #constraints=3505 206.44/206.53 c nbDecision=177000 #constraints=3517 207.44/207.54 c nbDecision=177500 #constraints=3534 208.15/208.24 c nbDecision=178000 #constraints=3545 209.24/209.37 c nbDecision=178500 #constraints=3573 209.84/209.96 c nbDecision=179000 #constraints=3579 211.53/211.62 c nbDecision=179500 #constraints=3622 215.24/215.36 c nbDecision=180000 #constraints=3702 221.34/221.45 c nbDecision=180500 #constraints=3789 222.14/222.28 c nbDecision=181000 #constraints=3796 222.74/222.81 c nbDecision=181500 #constraints=3797 223.24/223.36 c nbDecision=182000 #constraints=3803 224.24/224.34 c nbDecision=182500 #constraints=3807 225.44/225.51 c nbDecision=183000 #constraints=3815 227.34/227.45 c nbDecision=183500 #constraints=3827 228.24/228.38 c nbDecision=184000 #constraints=3829 232.33/232.49 c nbDecision=184500 #constraints=3854 236.53/236.67 c nbDecision=185000 #constraints=3878 239.23/239.38 c nbDecision=185500 #constraints=3894 243.43/243.57 c nbDecision=186000 #constraints=3922 245.53/245.66 c nbDecision=186500 #constraints=3933 246.33/246.42 c nbDecision=187000 #constraints=3936 247.13/247.26 c nbDecision=187500 #constraints=3946 247.73/247.85 c nbDecision=188000 #constraints=3948 248.33/248.44 c nbDecision=188500 #constraints=3951 248.93/249.03 c nbDecision=189000 #constraints=3956 249.53/249.65 c nbDecision=189500 #constraints=3960 250.83/250.98 c nbDecision=190000 #constraints=3971 251.42/251.56 c nbDecision=190500 #constraints=3974 252.12/252.26 c nbDecision=191000 #constraints=3980 253.02/253.12 c nbDecision=191500 #constraints=3994 253.72/253.88 c nbDecision=192000 #constraints=4004 254.53/254.64 c nbDecision=192500 #constraints=4017 255.43/255.50 c nbDecision=193000 #constraints=4033 258.23/258.31 c nbDecision=193500 #constraints=4062 259.23/259.38 c nbDecision=194000 #constraints=4068 261.93/262.01 c nbDecision=194500 #constraints=4081 263.13/263.23 c nbDecision=195000 #constraints=4086 265.62/265.75 c nbDecision=195500 #constraints=4104 266.72/266.89 c nbDecision=196000 #constraints=4120 267.72/267.86 c nbDecision=196500 #constraints=4134 268.63/268.72 c nbDecision=197000 #constraints=4147 269.33/269.46 c nbDecision=197500 #constraints=4157 270.23/270.35 c nbDecision=198000 #constraints=4169 271.53/271.68 c nbDecision=198500 #constraints=4193 273.13/273.23 c nbDecision=199000 #constraints=4213 282.22/282.37 c nbDecision=199500 #constraints=4251 289.42/289.59 c nbDecision=200000 #constraints=4282 293.42/293.55 c nbDecision=200500 #constraints=4301 303.72/303.83 c nbDecision=201000 #constraints=4346 311.61/311.77 c nbDecision=201500 #constraints=4382 318.31/318.44 c nbDecision=202000 #constraints=4416 324.11/324.28 c nbDecision=202500 #constraints=4449 332.11/332.25 c nbDecision=203000 #constraints=4487 337.61/337.73 c nbDecision=203500 #constraints=4517 347.51/347.60 c nbDecision=204000 #constraints=4559 353.81/353.90 c nbDecision=204500 #constraints=4590 354.91/355.09 c restart after 204801 decisions 356.60/356.73 c nbDecision=205000 #constraints=4595 357.20/357.39 c nbDecision=205500 #constraints=4595 357.90/358.03 c nbDecision=206000 #constraints=4595 358.51/358.65 c nbDecision=206500 #constraints=4595 359.10/359.26 c nbDecision=207000 #constraints=4595 359.70/359.86 c nbDecision=207500 #constraints=4595 360.30/360.46 c nbDecision=208000 #constraints=4595 360.90/361.07 c nbDecision=208500 #constraints=4595 361.50/361.67 c nbDecision=209000 #constraints=4595 362.10/362.30 c nbDecision=209500 #constraints=4595 362.80/362.92 c nbDecision=210000 #constraints=4595 363.40/363.53 c nbDecision=210500 #constraints=4595 364.00/364.12 c nbDecision=211000 #constraints=4595 364.60/364.72 c nbDecision=211500 #constraints=4595 365.20/365.34 c nbDecision=212000 #constraints=4595 365.80/365.95 c nbDecision=212500 #constraints=4595 366.40/366.55 c nbDecision=213000 #constraints=4595 367.00/367.19 c nbDecision=213500 #constraints=4595 367.60/367.78 c nbDecision=214000 #constraints=4595 368.30/368.40 c nbDecision=214500 #constraints=4595 368.90/369.01 c nbDecision=215000 #constraints=4595 369.50/369.62 c nbDecision=215500 #constraints=4595 370.10/370.20 c nbDecision=216000 #constraints=4595 370.60/370.79 c nbDecision=216500 #constraints=4595 371.20/371.39 c nbDecision=217000 #constraints=4595 371.90/372.06 c nbDecision=217500 #constraints=4595 372.50/372.69 c nbDecision=218000 #constraints=4595 373.10/373.27 c nbDecision=218500 #constraints=4595 373.70/373.86 c nbDecision=219000 #constraints=4595 374.30/374.45 c nbDecision=219500 #constraints=4595 374.90/375.02 c nbDecision=220000 #constraints=4595 375.50/375.60 c nbDecision=220500 #constraints=4595 376.00/376.18 c nbDecision=221000 #constraints=4595 376.60/376.75 c nbDecision=221500 #constraints=4595 377.20/377.32 c nbDecision=222000 #constraints=4595 377.80/377.92 c nbDecision=222500 #constraints=4595 378.30/378.49 c nbDecision=223000 #constraints=4595 378.90/379.05 c nbDecision=223500 #constraints=4595 379.50/379.61 c nbDecision=224000 #constraints=4595 380.10/380.20 c nbDecision=224500 #constraints=4595 380.60/380.76 c nbDecision=225000 #constraints=4595 381.20/381.31 c nbDecision=225500 #constraints=4595 381.70/381.88 c nbDecision=226000 #constraints=4595 382.30/382.42 c nbDecision=226500 #constraints=4595 382.80/382.98 c nbDecision=227000 #constraints=4595 383.39/383.55 c nbDecision=227500 #constraints=4595 383.99/384.12 c nbDecision=228000 #constraints=4595 384.49/384.69 c nbDecision=228500 #constraints=4595 385.19/385.32 c nbDecision=229000 #constraints=4595 385.69/385.86 c nbDecision=229500 #constraints=4595 386.29/386.42 c nbDecision=230000 #constraints=4595 386.79/386.96 c nbDecision=230500 #constraints=4595 387.39/387.50 c nbDecision=231000 #constraints=4595 387.89/388.06 c nbDecision=231500 #constraints=4595 388.49/388.60 c nbDecision=232000 #constraints=4595 388.99/389.16 c nbDecision=232500 #constraints=4595 389.59/389.70 c nbDecision=233000 #constraints=4595 390.09/390.25 c nbDecision=233500 #constraints=4595 390.59/390.79 c nbDecision=234000 #constraints=4595 391.19/391.34 c nbDecision=234500 #constraints=4595 391.69/391.88 c nbDecision=235000 #constraints=4595 392.29/392.42 c nbDecision=235500 #constraints=4595 392.79/392.95 c nbDecision=236000 #constraints=4595 393.39/393.52 c nbDecision=236500 #constraints=4595 393.89/394.07 c nbDecision=237000 #constraints=4595 394.49/394.65 c nbDecision=237500 #constraints=4595 395.09/395.22 c nbDecision=238000 #constraints=4595 395.69/395.80 c nbDecision=238500 #constraints=4595 396.19/396.37 c nbDecision=239000 #constraints=4595 396.79/396.98 c nbDecision=239500 #constraints=4595 397.59/397.71 c nbDecision=240000 #constraints=4595 398.19/398.35 c nbDecision=240500 #constraints=4595 398.79/398.94 c nbDecision=241000 #constraints=4595 399.29/399.49 c nbDecision=241500 #constraints=4595 399.89/400.05 c nbDecision=242000 #constraints=4595 400.49/400.65 c nbDecision=242500 #constraints=4595 401.09/401.20 c nbDecision=243000 #constraints=4595 401.59/401.79 c nbDecision=243500 #constraints=4595 402.19/402.36 c nbDecision=244000 #constraints=4595 402.79/402.90 c nbDecision=244500 #constraints=4595 403.29/403.45 c nbDecision=245000 #constraints=4595 403.89/404.03 c nbDecision=245500 #constraints=4595 404.49/404.60 c nbDecision=246000 #constraints=4595 404.99/405.19 c nbDecision=246500 #constraints=4595 405.59/405.74 c nbDecision=247000 #constraints=4595 406.19/406.30 c nbDecision=247500 #constraints=4595 406.69/406.89 c nbDecision=248000 #constraints=4595 407.29/407.45 c nbDecision=248500 #constraints=4595 407.89/408.01 c nbDecision=249000 #constraints=4595 408.39/408.58 c nbDecision=249500 #constraints=4595 408.99/409.14 c nbDecision=250000 #constraints=4595 409.49/409.70 c nbDecision=250500 #constraints=4595 410.09/410.26 c nbDecision=251000 #constraints=4595 410.69/410.81 c nbDecision=251500 #constraints=4595 411.19/411.35 c nbDecision=252000 #constraints=4595 411.69/411.88 c nbDecision=252500 #constraints=4595 412.29/412.43 c nbDecision=253000 #constraints=4595 412.79/412.99 c nbDecision=253500 #constraints=4595 413.39/413.56 c nbDecision=254000 #constraints=4595 413.99/414.12 c nbDecision=254500 #constraints=4595 414.49/414.67 c nbDecision=255000 #constraints=4595 415.09/415.25 c nbDecision=255500 #constraints=4595 415.69/415.81 c nbDecision=256000 #constraints=4595 416.18/416.37 c nbDecision=256500 #constraints=4595 416.79/416.96 c nbDecision=257000 #constraints=4595 417.38/417.56 c nbDecision=257500 #constraints=4595 417.89/418.09 c nbDecision=258000 #constraints=4595 418.48/418.64 c nbDecision=258500 #constraints=4595 418.99/419.17 c nbDecision=259000 #constraints=4595 419.58/419.72 c nbDecision=259500 #constraints=4595 420.09/420.24 c nbDecision=260000 #constraints=4595 420.58/420.76 c nbDecision=260500 #constraints=4595 421.09/421.30 c nbDecision=261000 #constraints=4595 421.68/421.84 c nbDecision=261500 #constraints=4595 422.19/422.39 c nbDecision=262000 #constraints=4595 422.78/422.95 c nbDecision=262500 #constraints=4595 426.18/426.35 c nbDecision=263000 #constraints=4610 429.38/429.50 c nbDecision=263500 #constraints=4622 438.49/438.62 c nbDecision=264000 #constraints=4662 443.98/444.11 c nbDecision=264500 #constraints=4690 445.48/445.60 c nbDecision=265000 #constraints=4697 446.28/446.44 c nbDecision=265500 #constraints=4702 447.48/447.64 c nbDecision=266000 #constraints=4710 449.37/449.56 c nbDecision=266500 #constraints=4721 450.37/450.54 c nbDecision=267000 #constraints=4724 451.78/451.94 c nbDecision=267500 #constraints=4730 456.08/456.27 c nbDecision=268000 #constraints=4751 460.07/460.22 c nbDecision=268500 #constraints=4768 464.58/464.74 c nbDecision=269000 #constraints=4794 467.57/467.79 c nbDecision=269500 #constraints=4810 469.78/469.92 c nbDecision=270000 #constraints=4823 470.28/470.50 c nbDecision=270500 #constraints=4824 471.18/471.31 c nbDecision=271000 #constraints=4829 471.78/471.98 c nbDecision=271500 #constraints=4832 472.97/473.12 c nbDecision=272000 #constraints=4846 474.37/474.52 c nbDecision=272500 #constraints=4864 475.77/475.97 c nbDecision=273000 #constraints=4882 479.47/479.61 c nbDecision=273500 #constraints=4897 480.27/480.44 c nbDecision=274000 #constraints=4899 482.38/482.59 c nbDecision=274500 #constraints=4910 484.77/484.95 c nbDecision=275000 #constraints=4920 485.87/486.00 c nbDecision=275500 #constraints=4929 486.87/487.02 c nbDecision=276000 #constraints=4950 488.37/488.55 c nbDecision=276500 #constraints=4970 489.57/489.78 c nbDecision=277000 #constraints=4981 491.57/491.71 c nbDecision=277500 #constraints=5001 492.87/493.08 c nbDecision=278000 #constraints=5016 494.77/494.94 c nbDecision=278500 #constraints=5026 504.37/504.53 c nbDecision=279000 #constraints=5061 506.06/506.23 c nbDecision=279500 #constraints=5076 508.37/508.59 c nbDecision=280000 #constraints=5092 509.17/509.34 c nbDecision=280500 #constraints=5094 513.57/513.80 c nbDecision=281000 #constraints=5119 515.36/515.54 c nbDecision=281500 #constraints=5132 518.26/518.49 c nbDecision=282000 #constraints=5146 529.06/529.29 c nbDecision=282500 #constraints=5185 545.25/545.50 c nbDecision=283000 #constraints=5235 549.16/549.33 c nbDecision=283500 #constraints=5251 550.16/550.33 c nbDecision=284000 #constraints=5257 556.95/557.10 c nbDecision=284500 #constraints=5294 561.75/561.97 c nbDecision=285000 #constraints=5322 576.25/576.44 c nbDecision=285500 #constraints=5368 589.65/589.88 c nbDecision=286000 #constraints=5413 596.85/597.04 c nbDecision=286500 #constraints=5445 600.24/600.41 c nbDecision=287000 #constraints=5457 606.84/607.07 c nbDecision=287500 #constraints=5485 612.84/613.06 c nbDecision=288000 #constraints=5507 621.34/621.55 c nbDecision=288500 #constraints=5538 628.13/628.33 c nbDecision=289000 #constraints=5563 635.64/635.84 c nbDecision=289500 #constraints=5591 647.13/647.33 c nbDecision=290000 #constraints=5633 651.83/652.08 c nbDecision=290500 #constraints=5653 663.32/663.59 c nbDecision=291000 #constraints=5700 672.13/672.39 c nbDecision=291500 #constraints=5732 679.43/679.65 c nbDecision=292000 #constraints=5756 692.02/692.23 c nbDecision=292500 #constraints=5799 704.31/704.51 c nbDecision=293000 #constraints=5832 708.52/708.76 c nbDecision=293500 #constraints=5855 716.21/716.47 c nbDecision=294000 #constraints=5897 724.21/724.43 c nbDecision=294500 #constraints=5923 731.50/731.72 c nbDecision=295000 #constraints=5944 749.40/749.62 c nbDecision=295500 #constraints=6006 758.20/758.40 c nbDecision=296000 #constraints=6036 768.00/768.26 c nbDecision=296500 #constraints=6077 782.70/782.95 c nbDecision=297000 #constraints=6125 791.20/791.44 c nbDecision=297500 #constraints=6156 803.09/803.39 c nbDecision=298000 #constraints=6194 814.39/814.62 c nbDecision=298500 #constraints=6228 815.49/815.79 c nbDecision=299000 #constraints=6232 816.48/816.70 c nbDecision=299500 #constraints=6236 818.19/818.43 c nbDecision=300000 #constraints=6242 823.39/823.60 c nbDecision=300500 #constraints=6270 838.89/839.18 c nbDecision=301000 #constraints=6320 839.79/840.04 c nbDecision=301500 #constraints=6321 850.68/850.93 c nbDecision=302000 #constraints=6365 851.88/852.16 c nbDecision=302500 #constraints=6368 858.18/858.41 c nbDecision=303000 #constraints=6394 869.97/870.26 c nbDecision=303500 #constraints=6428 874.28/874.56 c nbDecision=304000 #constraints=6443 878.77/879.03 c nbDecision=304500 #constraints=6462 888.47/888.73 c nbDecision=305000 #constraints=6494 896.57/896.82 c nbDecision=305500 #constraints=6521 904.77/905.04 c nbDecision=306000 #constraints=6549 905.56/905.82 c nbDecision=306500 #constraints=6552 916.26/916.53 c nbDecision=307000 #constraints=6589 924.36/924.65 c nbDecision=307500 #constraints=6616 933.25/933.55 c nbDecision=308000 #constraints=6651 938.96/939.20 c nbDecision=308500 #constraints=6675 941.15/941.43 c nbDecision=309000 #constraints=6682 944.26/944.52 c nbDecision=309500 #constraints=6694 946.06/946.35 c nbDecision=310000 #constraints=6705 949.06/949.34 c nbDecision=310500 #constraints=6720 953.25/953.55 c nbDecision=311000 #constraints=6739 964.75/965.07 c nbDecision=311500 #constraints=6782 975.24/975.52 c nbDecision=312000 #constraints=6817 978.35/978.69 c nbDecision=312500 #constraints=6829 989.04/989.39 c nbDecision=313000 #constraints=6868 1002.04/1002.30 c nbDecision=313500 #constraints=6910 1004.24/1004.51 c nbDecision=314000 #constraints=6916 1016.04/1016.35 c nbDecision=314500 #constraints=6957 1018.64/1018.90 c nbDecision=315000 #constraints=6965 1026.24/1026.56 c nbDecision=315500 #constraints=6998 1038.44/1038.76 c nbDecision=316000 #constraints=7035 1040.14/1040.45 c nbDecision=316500 #constraints=7040 1045.23/1045.54 c nbDecision=317000 #constraints=7060 1049.93/1050.25 c nbDecision=317500 #constraints=7081 1055.13/1055.41 c nbDecision=318000 #constraints=7107 1068.22/1068.58 c nbDecision=318500 #constraints=7159 1069.93/1070.25 c nbDecision=319000 #constraints=7169 1071.72/1072.00 c nbDecision=319500 #constraints=7180 1077.82/1078.14 c nbDecision=320000 #constraints=7213 1089.62/1089.91 c nbDecision=320500 #constraints=7247 1099.11/1099.40 c nbDecision=321000 #constraints=7279 1102.12/1102.44 c nbDecision=321500 #constraints=7294 1116.01/1116.40 c nbDecision=322000 #constraints=7337 1119.81/1120.10 c nbDecision=322500 #constraints=7352 1133.41/1133.77 c nbDecision=323000 #constraints=7397 1134.91/1135.25 c nbDecision=323500 #constraints=7399 1140.21/1140.58 c nbDecision=324000 #constraints=7416 1150.40/1150.71 c nbDecision=324500 #constraints=7444 1162.10/1162.42 c nbDecision=325000 #constraints=7480 1173.60/1173.98 c nbDecision=325500 #constraints=7511 1179.30/1179.63 c nbDecision=326000 #constraints=7528 1190.09/1190.47 c nbDecision=326500 #constraints=7559 1192.29/1192.63 c nbDecision=327000 #constraints=7565 1192.99/1193.39 c nbDecision=327500 #constraints=7566 1199.30/1199.61 c nbDecision=328000 #constraints=7594 1204.49/1204.83 c nbDecision=328500 #constraints=7610 1212.29/1212.68 c nbDecision=329000 #constraints=7642 1221.79/1222.16 c nbDecision=329500 #constraints=7667 1223.28/1223.64 c nbDecision=330000 #constraints=7674 1232.98/1233.38 c nbDecision=330500 #constraints=7706 1237.99/1238.31 c nbDecision=331000 #constraints=7719 1249.38/1249.71 c nbDecision=331500 #constraints=7757 1267.77/1268.12 c nbDecision=332000 #constraints=7803 1284.27/1284.67 c nbDecision=332500 #constraints=7846 1293.27/1293.64 c nbDecision=333000 #constraints=7873 1297.06/1297.45 c nbDecision=333500 #constraints=7886 1303.46/1303.84 c nbDecision=334000 #constraints=7904 1310.16/1310.57 c nbDecision=334500 #constraints=7923 1324.96/1325.32 c nbDecision=335000 #constraints=7968 1339.66/1340.02 c nbDecision=335500 #constraints=8010 1345.96/1346.40 c nbDecision=336000 #constraints=8030 1352.25/1352.69 c nbDecision=336500 #constraints=8046 1361.55/1361.92 c nbDecision=337000 #constraints=8071 1362.35/1362.79 c nbDecision=337500 #constraints=8073 1371.54/1371.90 c nbDecision=338000 #constraints=8095 1381.45/1381.81 c nbDecision=338500 #constraints=8121 1387.75/1388.13 c nbDecision=339000 #constraints=8136 1392.94/1393.39 c nbDecision=339500 #constraints=8151 1407.65/1408.09 c nbDecision=340000 #constraints=8190 1408.54/1408.94 c nbDecision=340500 #constraints=8190 1416.34/1416.72 c nbDecision=341000 #constraints=8212 1422.64/1423.05 c nbDecision=341500 #constraints=8228 1430.53/1430.99 c nbDecision=342000 #constraints=8251 1451.03/1451.42 c nbDecision=342500 #constraints=8301 1468.13/1468.56 c nbDecision=343000 #constraints=8346 1482.12/1482.56 c nbDecision=343500 #constraints=8385 1493.43/1493.81 c nbDecision=344000 #constraints=8413 1500.92/1501.33 c nbDecision=344500 #constraints=8431 1517.52/1517.95 c nbDecision=345000 #constraints=8473 1538.61/1539.08 c nbDecision=345500 #constraints=8524 1557.80/1558.29 c nbDecision=346000 #constraints=8569 1571.60/1572.00 c nbDecision=346500 #constraints=8606 1584.60/1585.07 c nbDecision=347000 #constraints=8633 1604.29/1604.77 c nbDecision=347500 #constraints=8684 1627.29/1627.74 c nbDecision=348000 #constraints=8733 1641.48/1641.92 c nbDecision=348500 #constraints=8764 1657.88/1658.35 c nbDecision=349000 #constraints=8804 1674.98/1675.40 c nbDecision=349500 #constraints=8842 1694.87/1695.32 c nbDecision=350000 #constraints=8886 1721.56/1722.09 c nbDecision=350500 #constraints=8950 1736.76/1737.29 c nbDecision=351000 #constraints=8978 1765.15/1765.65 c nbDecision=351500 #constraints=9037 1786.24/1786.74 c nbDecision=352000 #constraints=9085 1791.64/1792.10 c nbDecision=352500 #constraints=9099 1800.04/1800.50 Received signal 15 1800.04/1800.57 1800.04/1800.57 s UNKNOWN 1800.04/1800.57 1800.04/1800.57 c user time= 1798 s 1800.04/1800.57 c system time= 2.12468 s 1800.04/1800.57 c wall clock time=1800.58
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-356911-1176847776 -o ROOT/results/node60/solver-356911-1176847776 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356911-1176847776/instance-356911-1176847776.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.82 0.98 0.98 3/64 29646 /proc/meminfo: memFree=1856472/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=1620 CPUtime=0 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132687597 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 405 175 126 317 0 84 0 [startup+0.0943299 s] /proc/loadavg: 0.82 0.98 0.98 3/64 29646 /proc/meminfo: memFree=1856472/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=3440 CPUtime=0.09 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 883 0 0 0 9 0 0 0 18 0 1 0 132687597 3522560 638 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 860 638 126 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.10133 s] /proc/loadavg: 0.82 0.98 0.98 3/64 29646 /proc/meminfo: memFree=1856472/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=5756 CPUtime=0.09 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 1007 0 0 0 9 0 0 0 18 0 1 0 132687597 5894144 762 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 1439 765 126 317 0 1118 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5756 [startup+0.301349 s] /proc/loadavg: 0.82 0.98 0.98 3/64 29646 /proc/meminfo: memFree=1856472/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=6976 CPUtime=0.29 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 1854 0 0 0 29 0 0 0 19 0 1 0 132687597 7143424 1352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 1744 1352 131 317 0 1423 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6976 [startup+0.701389 s] /proc/loadavg: 0.82 0.98 0.98 3/64 29646 /proc/meminfo: memFree=1856472/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=16316 CPUtime=0.69 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 4151 0 0 0 67 2 0 0 22 0 1 0 132687597 16707584 3649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 4079 3649 131 317 0 3758 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16316 [startup+1.50147 s] /proc/loadavg: 0.82 0.98 0.98 2/65 29647 /proc/meminfo: memFree=1835280/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=32392 CPUtime=1.49 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 8318 0 0 0 146 3 0 0 25 0 1 0 132687597 33169408 7393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 8098 7393 131 317 0 7777 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32392 [startup+3.10262 s] /proc/loadavg: 0.82 0.98 0.98 2/65 29647 /proc/meminfo: memFree=1808720/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=61740 CPUtime=3.09 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 15600 0 0 0 302 7 0 0 25 0 1 0 132687597 63221760 14675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 15435 14675 138 317 0 15114 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 61740 [startup+6.30194 s] /proc/loadavg: 0.91 0.99 0.99 2/65 29647 /proc/meminfo: memFree=1797840/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=61740 CPUtime=6.29 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 15601 0 0 0 622 7 0 0 25 0 1 0 132687597 63221760 14676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 15435 14676 138 317 0 15114 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 61740 [startup+12.7016 s] /proc/loadavg: 0.92 0.99 0.99 2/65 29647 /proc/meminfo: memFree=1797840/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=61740 CPUtime=12.69 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 15603 0 0 0 1262 7 0 0 25 0 1 0 132687597 63221760 14678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 15435 14678 138 317 0 15114 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 61740 [startup+25.5018 s] /proc/loadavg: 0.94 0.99 0.99 2/65 29647 /proc/meminfo: memFree=1797904/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=61740 CPUtime=25.49 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 15606 0 0 0 2541 8 0 0 25 0 1 0 132687597 63221760 14681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 15435 14681 138 317 0 15114 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 61740 [startup+51.1013 s] /proc/loadavg: 0.96 0.99 0.99 2/65 29647 /proc/meminfo: memFree=1797968/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=61740 CPUtime=51.08 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 15615 0 0 0 5100 8 0 0 25 0 1 0 132687597 63221760 14690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 15435 14690 138 317 0 15114 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 61740 [startup+102.305 s] /proc/loadavg: 0.98 0.99 0.99 2/65 29647 /proc/meminfo: memFree=1798032/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=61836 CPUtime=102.27 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 15635 0 0 0 10219 8 0 0 25 0 1 0 132687597 63320064 14710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 15459 14710 138 317 0 15138 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 61836 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29647 /proc/meminfo: memFree=1797904/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=61948 CPUtime=162.25 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 15652 0 0 0 16217 8 0 0 25 0 1 0 132687597 63434752 14727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 15487 14727 138 317 0 15166 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 61948 [startup+222.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29647 /proc/meminfo: memFree=1701392/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=173788 CPUtime=222.24 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 52399 0 0 0 22202 22 0 0 25 0 1 0 132687597 177958912 38802 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 43447 38802 139 317 0 43126 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 173788 [startup+282.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29647 /proc/meminfo: memFree=1637648/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=246156 CPUtime=282.22 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 70750 0 0 0 28193 29 0 0 25 0 1 0 132687597 252063744 54785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 61539 54785 139 317 0 61218 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 246156 [startup+342.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29647 /proc/meminfo: memFree=1567632/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=324248 CPUtime=342.21 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 93388 0 0 0 34184 37 0 0 25 0 1 0 132687597 332029952 72285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 81062 72285 139 317 0 80741 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 324248 [startup+402.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29647 /proc/meminfo: memFree=1553168/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=339428 CPUtime=402.19 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 97628 0 0 0 40180 39 0 0 25 0 1 0 132687597 347574272 75739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 84857 75739 139 317 0 84536 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 339428 [startup+462.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29647 /proc/meminfo: memFree=1520784/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=378428 CPUtime=462.18 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 108175 0 0 0 46174 44 0 0 25 0 1 0 132687597 387510272 83971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 94607 83971 139 317 0 94286 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 378428 [startup+522.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29647 /proc/meminfo: memFree=1451408/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=459564 CPUtime=522.16 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 130446 0 0 0 52162 54 0 0 25 0 1 0 132687597 470593536 101316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718672 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 114891 101316 139 317 0 114570 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 459564 [startup+582.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29647 /proc/meminfo: memFree=1391376/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=527256 CPUtime=582.15 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 151576 0 0 0 58153 62 0 0 25 0 1 0 132687597 539910144 116199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 131814 116199 139 317 0 131493 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 527256 [startup+642.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29647 /proc/meminfo: memFree=1337232/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=589684 CPUtime=642.13 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 170247 0 0 0 64146 67 0 0 25 0 1 0 132687597 603836416 129557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 147421 129557 139 317 0 147100 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 589684 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29647 /proc/meminfo: memFree=1034832/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=949140 CPUtime=942.05 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 282886 0 0 0 94096 109 0 0 25 0 1 0 132687597 971919360 205101 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 237285 205101 139 317 0 236964 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 949140 [startup+1002.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29647 /proc/meminfo: memFree=988176/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=1000172 CPUtime=1002.04 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 297243 0 0 0 100089 115 0 0 25 0 1 0 132687597 1024176128 216636 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 250043 216636 139 317 0 249722 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 1000172 [startup+1062.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29647 /proc/meminfo: memFree=937424/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=1060624 CPUtime=1062.02 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 313764 0 0 0 106083 119 0 0 25 0 1 0 132687597 1086078976 229620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 265156 229620 139 317 0 264835 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1060624 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29647 /proc/meminfo: memFree=884176/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=1123600 CPUtime=1122.01 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 333780 0 0 0 112075 126 0 0 25 0 1 0 132687597 1150566400 242641 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 280900 242641 139 317 0 280579 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 1123600 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29647 /proc/meminfo: memFree=839248/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=1177748 CPUtime=1182 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 351038 0 0 0 118067 133 0 0 25 0 1 0 132687597 1206013952 254023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 294437 254023 139 317 0 294116 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 1177748 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29647 /proc/meminfo: memFree=789712/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=1234184 CPUtime=1241.98 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 369152 0 0 0 124059 139 0 0 25 0 1 0 132687597 1263804416 266266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 308546 266266 139 317 0 308225 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1234184 [startup+1302.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29647 /proc/meminfo: memFree=739088/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=1297136 CPUtime=1301.97 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 388595 0 0 0 130050 147 0 0 25 0 1 0 132687597 1328267264 278707 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716050 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 324284 278707 139 317 0 323963 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1297136 [startup+1362.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29647 /proc/meminfo: memFree=684432/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=1366224 CPUtime=1361.95 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 409846 0 0 0 136041 154 0 0 25 0 1 0 132687597 1399013376 292374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712582 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 341556 292374 139 317 0 341235 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1366224 [startup+1422.31 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29647 /proc/meminfo: memFree=640016/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=1422272 CPUtime=1421.94 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 425591 0 0 0 142035 159 0 0 25 0 1 0 132687597 1456406528 303543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134549889 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 355568 303543 139 317 0 355247 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1422272 [startup+1482.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29647 /proc/meminfo: memFree=583248/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=1493928 CPUtime=1481.92 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 451691 0 0 0 148022 170 0 0 25 0 1 0 132687597 1529782272 317968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 373482 317968 139 317 0 373161 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1493928 [startup+1542.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29647 /proc/meminfo: memFree=530704/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=1558236 CPUtime=1541.91 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 473638 0 0 0 154013 178 0 0 25 0 1 0 132687597 1595633664 330723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 389559 330723 139 317 0 389238 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1558236 [startup+1602.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29647 /proc/meminfo: memFree=484368/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=1613260 CPUtime=1601.89 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 491771 0 0 0 160004 185 0 0 25 0 1 0 132687597 1651978240 342236 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 403315 342236 139 317 0 402994 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1613260 [startup+1662.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29647 /proc/meminfo: memFree=437328/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=1670740 CPUtime=1661.87 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 510411 0 0 0 165995 192 0 0 25 0 1 0 132687597 1710837760 354008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 417685 354008 139 317 0 417364 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1670740 [startup+1722.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29647 /proc/meminfo: memFree=387728/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=1734224 CPUtime=1721.86 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 532776 0 0 0 171986 200 0 0 25 0 1 0 132687597 1775845376 366559 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 433556 366559 139 317 0 433235 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1734224 [startup+1782.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29649 /proc/meminfo: memFree=346448/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=1783696 CPUtime=1781.85 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 550394 0 0 0 177976 209 0 0 25 0 1 0 132687597 1826504704 376682 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 445924 376682 139 317 0 445603 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1783696 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29649 /proc/meminfo: memFree=330128/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=1803180 CPUtime=1800.04 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 557855 0 0 0 179792 212 0 0 25 0 1 0 132687597 1846456320 380690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 450795 380690 139 317 0 450474 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1803180 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.99 0.99 2/66 29650 /proc/meminfo: memFree=331976/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=1801152 CPUtime=1800.15 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 557871 0 0 0 179803 212 0 0 25 0 1 0 132687597 1844379648 380224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270868 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 450288 380224 155 317 0 449967 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 1801152 [startup+1800.8 s] /proc/loadavg: 0.99 0.99 0.99 2/66 29650 /proc/meminfo: memFree=331976/2055920 swapFree=4179544/4192956 [pid=29646] ppid=29644 vsize=0 CPUtime=1800.34 /proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194308 557871 0 0 0 179804 230 0 0 25 0 1 0 132687597 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29646/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.34 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.87 CPU time (s): 1800.41 CPU user time (s): 1798.05 CPU system time (s): 2.36664 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 1803180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.05 system time used= 2.36664 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 557871 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= 1881 runsolver used 1.35479 second user time and 3.62045 second system time The end
Begin job on node60 on Tue Apr 17 22:09:36 UTC 2007 IDJOB= 356911 IDBENCH= 1624 IDSOLVER= 172 FILE ID= node60/356911-1176847776 PBS_JOBID= 4590221 Free space on /tmp= 66484 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-dc1l.opb COMMAND LINE= oree /tmp/evaluation/356911-1176847776/instance-356911-1176847776.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-356911-1176847776 -o ROOT/results/node60/solver-356911-1176847776 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356911-1176847776/instance-356911-1176847776.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 1bfc65237e0980827bf136f13870d50e RANDOM SEED= 118334266 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 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.214 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: 1856880 kB Buffers: 20284 kB Cached: 134472 kB SwapCached: 7764 kB Active: 91028 kB Inactive: 77180 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1856880 kB SwapTotal: 4192956 kB SwapFree: 4179544 kB Dirty: 7264 kB Writeback: 0 kB Mapped: 15132 kB Slab: 16768 kB Committed_AS: 1497256 kB PageTables: 1464 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= 66484 MiB End job on node60 on Tue Apr 17 22:39:39 UTC 2007