Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1802.29 | 1802.86 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-dc1l.opb |
MD5SUM | b626c8307376f19de1f1e51bf91eca4f |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 322124995065185536000 |
Best CPU time to get the best result obtained on this benchmark | 1804.19 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 17540679175205888 |
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 | 536870912000000000000 |
Number of bits for the biggest coefficient in the objective function | 69 |
Sum of the numbers in the objective function | 6796468271401867858547 |
Number of bits of the sum of numbers in the objective function | 73 |
Biggest number in a constraint | 536870912000000000000 |
Number of bits of the biggest number in a constraint | 69 |
Biggest sum of numbers in a constraint | 6796468271401867858547 |
Number of bits of the biggest sum of numbers | 73 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 2.29/2.37 c ...done 2.29/2.37 c #vars=85198 #constraints=3291 hasObjective=yes 3.29/3.37 c res. mode=mod 3.29/3.37 c VSIDS like heuristics 3.29/3.37 c complete search running 3.89/3.92 c restart after 401 decisions 3.99/4.05 c nbDecision=500 #constraints=3291 4.39/4.41 c restart after 801 decisions 4.58/4.66 c nbDecision=1000 #constraints=3291 5.18/5.27 c nbDecision=1500 #constraints=3291 5.28/5.39 c restart after 1601 decisions 5.78/5.88 c nbDecision=2000 #constraints=3291 6.39/6.50 c nbDecision=2500 #constraints=3291 7.08/7.11 c nbDecision=3000 #constraints=3291 7.28/7.36 c restart after 3201 decisions 7.69/7.73 c nbDecision=3500 #constraints=3291 8.28/8.35 c nbDecision=4000 #constraints=3291 8.88/8.97 c nbDecision=4500 #constraints=3291 9.48/9.58 c nbDecision=5000 #constraints=3291 10.08/10.19 c nbDecision=5500 #constraints=3291 10.78/10.80 c nbDecision=6000 #constraints=3291 11.18/11.29 c restart after 6401 decisions 11.38/11.42 c nbDecision=6500 #constraints=3291 11.99/12.03 c nbDecision=7000 #constraints=3291 12.58/12.65 c nbDecision=7500 #constraints=3291 13.19/13.25 c nbDecision=8000 #constraints=3291 13.78/13.86 c nbDecision=8500 #constraints=3291 14.38/14.47 c nbDecision=9000 #constraints=3291 14.99/15.07 c nbDecision=9500 #constraints=3291 15.59/15.67 c nbDecision=10000 #constraints=3291 16.19/16.28 c nbDecision=10500 #constraints=3291 16.79/16.88 c nbDecision=11000 #constraints=3291 17.39/17.48 c nbDecision=11500 #constraints=3291 17.99/18.07 c nbDecision=12000 #constraints=3291 18.59/18.67 c nbDecision=12500 #constraints=3291 18.99/19.03 c restart after 12801 decisions 19.19/19.27 c nbDecision=13000 #constraints=3291 19.79/19.88 c nbDecision=13500 #constraints=3291 20.39/20.49 c nbDecision=14000 #constraints=3291 21.09/21.10 c nbDecision=14500 #constraints=3291 21.69/21.71 c nbDecision=15000 #constraints=3291 22.29/22.31 c nbDecision=15500 #constraints=3291 22.89/22.92 c nbDecision=16000 #constraints=3291 23.49/23.52 c nbDecision=16500 #constraints=3291 24.09/24.13 c nbDecision=17000 #constraints=3291 24.69/24.73 c nbDecision=17500 #constraints=3291 25.29/25.32 c nbDecision=18000 #constraints=3291 25.89/25.93 c nbDecision=18500 #constraints=3291 26.49/26.53 c nbDecision=19000 #constraints=3291 27.09/27.12 c nbDecision=19500 #constraints=3291 27.69/27.72 c nbDecision=20000 #constraints=3291 28.29/28.32 c nbDecision=20500 #constraints=3291 28.89/28.91 c nbDecision=21000 #constraints=3291 29.49/29.50 c nbDecision=21500 #constraints=3291 29.99/30.10 c nbDecision=22000 #constraints=3291 30.59/30.69 c nbDecision=22500 #constraints=3291 31.19/31.28 c nbDecision=23000 #constraints=3291 31.79/31.86 c nbDecision=23500 #constraints=3291 32.39/32.45 c nbDecision=24000 #constraints=3291 32.98/33.02 c nbDecision=24500 #constraints=3291 33.48/33.60 c nbDecision=25000 #constraints=3291 34.08/34.17 c nbDecision=25500 #constraints=3291 34.17/34.29 c restart after 25601 decisions 34.67/34.79 c nbDecision=26000 #constraints=3291 35.27/35.40 c nbDecision=26500 #constraints=3291 35.97/36.00 c nbDecision=27000 #constraints=3291 36.47/36.59 c nbDecision=27500 #constraints=3291 37.07/37.19 c nbDecision=28000 #constraints=3291 37.77/37.80 c nbDecision=28500 #constraints=3291 38.27/38.40 c nbDecision=29000 #constraints=3291 38.97/39.00 c nbDecision=29500 #constraints=3291 39.57/39.60 c nbDecision=30000 #constraints=3291 40.17/40.20 c nbDecision=30500 #constraints=3291 40.77/40.80 c nbDecision=31000 #constraints=3291 41.26/41.40 c nbDecision=31500 #constraints=3291 41.86/41.99 c nbDecision=32000 #constraints=3291 42.46/42.59 c nbDecision=32500 #constraints=3291 43.06/43.18 c nbDecision=33000 #constraints=3291 43.66/43.77 c nbDecision=33500 #constraints=3291 44.26/44.37 c nbDecision=34000 #constraints=3291 44.86/44.96 c nbDecision=34500 #constraints=3291 45.46/45.55 c nbDecision=35000 #constraints=3291 46.07/46.14 c nbDecision=35500 #constraints=3291 46.66/46.73 c nbDecision=36000 #constraints=3291 47.27/47.32 c nbDecision=36500 #constraints=3291 47.86/47.90 c nbDecision=37000 #constraints=3291 48.37/48.48 c nbDecision=37500 #constraints=3291 48.96/49.06 c nbDecision=38000 #constraints=3291 49.56/49.64 c nbDecision=38500 #constraints=3291 50.16/50.22 c nbDecision=39000 #constraints=3291 50.66/50.80 c nbDecision=39500 #constraints=3291 51.26/51.37 c nbDecision=40000 #constraints=3291 51.86/51.94 c nbDecision=40500 #constraints=3291 52.46/52.51 c nbDecision=41000 #constraints=3291 52.96/53.08 c nbDecision=41500 #constraints=3291 53.56/53.65 c nbDecision=42000 #constraints=3291 54.16/54.21 c nbDecision=42500 #constraints=3291 54.66/54.77 c nbDecision=43000 #constraints=3291 55.26/55.33 c nbDecision=43500 #constraints=3291 55.76/55.88 c nbDecision=44000 #constraints=3291 56.36/56.44 c nbDecision=44500 #constraints=3291 56.86/56.99 c nbDecision=45000 #constraints=3291 57.46/57.54 c nbDecision=45500 #constraints=3291 57.96/58.10 c nbDecision=46000 #constraints=3291 58.56/58.65 c nbDecision=46500 #constraints=3291 59.06/59.19 c nbDecision=47000 #constraints=3291 59.66/59.74 c nbDecision=47500 #constraints=3291 60.16/60.28 c nbDecision=48000 #constraints=3291 60.76/60.83 c nbDecision=48500 #constraints=3291 61.26/61.37 c nbDecision=49000 #constraints=3291 61.86/61.91 c nbDecision=49500 #constraints=3291 62.36/62.45 c nbDecision=50000 #constraints=3291 62.86/62.98 c nbDecision=50500 #constraints=3291 63.46/63.52 c nbDecision=51000 #constraints=3291 63.66/63.73 c restart after 51201 decisions 64.06/64.12 c nbDecision=51500 #constraints=3291 64.66/64.73 c nbDecision=52000 #constraints=3291 65.26/65.35 c nbDecision=52500 #constraints=3291 65.86/65.96 c nbDecision=53000 #constraints=3291 66.46/66.57 c nbDecision=53500 #constraints=3291 67.06/67.18 c nbDecision=54000 #constraints=3291 67.65/67.79 c nbDecision=54500 #constraints=3291 68.35/68.40 c nbDecision=55000 #constraints=3291 68.95/69.00 c nbDecision=55500 #constraints=3291 69.55/69.61 c nbDecision=56000 #constraints=3291 70.15/70.21 c nbDecision=56500 #constraints=3291 70.75/70.82 c nbDecision=57000 #constraints=3291 71.36/71.42 c nbDecision=57500 #constraints=3291 71.95/72.02 c nbDecision=58000 #constraints=3291 72.56/72.61 c nbDecision=58500 #constraints=3291 73.15/73.21 c nbDecision=59000 #constraints=3291 73.75/73.80 c nbDecision=59500 #constraints=3291 74.25/74.39 c nbDecision=60000 #constraints=3291 74.85/74.98 c nbDecision=60500 #constraints=3291 75.45/75.56 c nbDecision=61000 #constraints=3291 76.05/76.14 c nbDecision=61500 #constraints=3291 76.65/76.72 c nbDecision=62000 #constraints=3291 77.25/77.30 c nbDecision=62500 #constraints=3291 77.75/77.88 c nbDecision=63000 #constraints=3291 78.35/78.45 c nbDecision=63500 #constraints=3291 78.95/79.03 c nbDecision=64000 #constraints=3291 79.55/79.60 c nbDecision=64500 #constraints=3291 80.05/80.17 c nbDecision=65000 #constraints=3291 80.65/80.74 c nbDecision=65500 #constraints=3291 81.25/81.31 c nbDecision=66000 #constraints=3291 81.75/81.87 c nbDecision=66500 #constraints=3291 82.35/82.44 c nbDecision=67000 #constraints=3291 82.95/83.00 c nbDecision=67500 #constraints=3291 83.46/83.57 c nbDecision=68000 #constraints=3291 84.05/84.13 c nbDecision=68500 #constraints=3291 84.55/84.69 c nbDecision=69000 #constraints=3291 85.15/85.25 c nbDecision=69500 #constraints=3291 85.75/85.82 c nbDecision=70000 #constraints=3291 86.25/86.38 c nbDecision=70500 #constraints=3291 86.85/86.93 c nbDecision=71000 #constraints=3291 87.35/87.49 c nbDecision=71500 #constraints=3291 87.95/88.04 c nbDecision=72000 #constraints=3291 88.55/88.60 c nbDecision=72500 #constraints=3291 89.05/89.15 c nbDecision=73000 #constraints=3291 89.65/89.70 c nbDecision=73500 #constraints=3291 90.15/90.25 c nbDecision=74000 #constraints=3291 90.75/90.80 c nbDecision=74500 #constraints=3291 91.25/91.34 c nbDecision=75000 #constraints=3291 91.75/91.89 c nbDecision=75500 #constraints=3291 92.35/92.43 c nbDecision=76000 #constraints=3291 92.85/92.97 c nbDecision=76500 #constraints=3291 93.35/93.50 c nbDecision=77000 #constraints=3291 93.95/94.03 c nbDecision=77500 #constraints=3291 94.45/94.56 c nbDecision=78000 #constraints=3291 94.95/95.09 c nbDecision=78500 #constraints=3291 95.55/95.61 c nbDecision=79000 #constraints=3291 96.05/96.14 c nbDecision=79500 #constraints=3291 96.54/96.66 c nbDecision=80000 #constraints=3291 97.04/97.18 c nbDecision=80500 #constraints=3291 97.64/97.70 c nbDecision=81000 #constraints=3291 98.14/98.23 c nbDecision=81500 #constraints=3291 98.64/98.76 c nbDecision=82000 #constraints=3291 99.14/99.28 c nbDecision=82500 #constraints=3291 99.74/99.81 c nbDecision=83000 #constraints=3291 100.24/100.33 c nbDecision=83500 #constraints=3291 100.74/100.86 c nbDecision=84000 #constraints=3291 101.24/101.38 c nbDecision=84500 #constraints=3291 101.84/101.90 c nbDecision=85000 #constraints=3291 102.34/102.42 c nbDecision=85500 #constraints=3291 102.84/102.94 c nbDecision=86000 #constraints=3291 103.35/103.47 c nbDecision=86500 #constraints=3291 103.84/103.99 c nbDecision=87000 #constraints=3291 104.45/104.52 c nbDecision=87500 #constraints=3291 104.94/105.04 c nbDecision=88000 #constraints=3291 105.44/105.56 c nbDecision=88500 #constraints=3291 105.94/106.09 c nbDecision=89000 #constraints=3291 106.54/106.61 c nbDecision=89500 #constraints=3291 107.04/107.13 c nbDecision=90000 #constraints=3291 107.54/107.65 c nbDecision=90500 #constraints=3291 108.04/108.17 c nbDecision=91000 #constraints=3291 108.54/108.69 c nbDecision=91500 #constraints=3291 109.14/109.20 c nbDecision=92000 #constraints=3291 109.64/109.72 c nbDecision=92500 #constraints=3291 110.14/110.24 c nbDecision=93000 #constraints=3291 110.64/110.75 c nbDecision=93500 #constraints=3291 111.14/111.27 c nbDecision=94000 #constraints=3291 111.64/111.78 c nbDecision=94500 #constraints=3291 112.14/112.29 c nbDecision=95000 #constraints=3291 112.74/112.81 c nbDecision=95500 #constraints=3291 113.24/113.32 c nbDecision=96000 #constraints=3291 113.74/113.82 c nbDecision=96500 #constraints=3291 114.24/114.33 c nbDecision=97000 #constraints=3291 114.74/114.83 c nbDecision=97500 #constraints=3291 115.24/115.34 c nbDecision=98000 #constraints=3291 115.74/115.84 c nbDecision=98500 #constraints=3291 116.24/116.34 c nbDecision=99000 #constraints=3291 116.74/116.85 c nbDecision=99500 #constraints=3291 117.24/117.35 c nbDecision=100000 #constraints=3291 117.74/117.85 c nbDecision=100500 #constraints=3291 118.24/118.35 c nbDecision=101000 #constraints=3291 118.74/118.85 c nbDecision=101500 #constraints=3291 119.24/119.35 c nbDecision=102000 #constraints=3291 119.74/119.82 c restart after 102401 decisions 119.94/120.08 c nbDecision=102500 #constraints=3297 120.54/120.69 c nbDecision=103000 #constraints=3297 121.14/121.30 c nbDecision=103500 #constraints=3297 121.84/121.90 c nbDecision=104000 #constraints=3297 122.44/122.51 c nbDecision=104500 #constraints=3297 123.04/123.12 c nbDecision=105000 #constraints=3297 123.63/123.73 c nbDecision=105500 #constraints=3297 124.24/124.34 c nbDecision=106000 #constraints=3297 124.83/124.95 c nbDecision=106500 #constraints=3297 125.43/125.55 c nbDecision=107000 #constraints=3297 126.03/126.16 c nbDecision=107500 #constraints=3297 126.63/126.76 c nbDecision=108000 #constraints=3297 127.23/127.36 c nbDecision=108500 #constraints=3297 127.83/127.96 c nbDecision=109000 #constraints=3297 128.43/128.56 c nbDecision=109500 #constraints=3297 129.03/129.16 c nbDecision=110000 #constraints=3297 129.64/129.75 c nbDecision=110500 #constraints=3297 130.23/130.34 c nbDecision=111000 #constraints=3297 130.84/130.94 c nbDecision=111500 #constraints=3297 131.43/131.53 c nbDecision=112000 #constraints=3297 132.03/132.11 c nbDecision=112500 #constraints=3297 132.53/132.70 c nbDecision=113000 #constraints=3297 133.13/133.28 c nbDecision=113500 #constraints=3297 133.73/133.86 c nbDecision=114000 #constraints=3297 134.33/134.43 c nbDecision=114500 #constraints=3297 134.93/135.01 c nbDecision=115000 #constraints=3297 135.43/135.58 c nbDecision=115500 #constraints=3297 136.03/136.15 c nbDecision=116000 #constraints=3297 136.63/136.72 c nbDecision=116500 #constraints=3297 137.13/137.29 c nbDecision=117000 #constraints=3297 137.73/137.85 c nbDecision=117500 #constraints=3297 138.33/138.42 c nbDecision=118000 #constraints=3297 138.83/138.98 c nbDecision=118500 #constraints=3297 139.43/139.54 c nbDecision=119000 #constraints=3297 140.03/140.10 c nbDecision=119500 #constraints=3297 140.53/140.66 c nbDecision=120000 #constraints=3297 141.13/141.21 c nbDecision=120500 #constraints=3297 141.63/141.77 c nbDecision=121000 #constraints=3297 142.23/142.32 c nbDecision=121500 #constraints=3297 142.73/142.88 c nbDecision=122000 #constraints=3297 143.33/143.43 c nbDecision=122500 #constraints=3297 143.83/143.99 c nbDecision=123000 #constraints=3297 144.42/144.54 c nbDecision=123500 #constraints=3297 144.92/145.10 c nbDecision=124000 #constraints=3297 145.52/145.65 c nbDecision=124500 #constraints=3297 146.02/146.20 c nbDecision=125000 #constraints=3297 146.62/146.74 c nbDecision=125500 #constraints=3297 147.12/147.29 c nbDecision=126000 #constraints=3297 147.72/147.84 c nbDecision=126500 #constraints=3297 148.22/148.38 c nbDecision=127000 #constraints=3297 148.82/148.92 c nbDecision=127500 #constraints=3297 149.32/149.45 c nbDecision=128000 #constraints=3297 149.82/149.99 c nbDecision=128500 #constraints=3297 150.42/150.52 c nbDecision=129000 #constraints=3297 150.92/151.06 c nbDecision=129500 #constraints=3297 151.42/151.59 c nbDecision=130000 #constraints=3297 152.02/152.12 c nbDecision=130500 #constraints=3297 152.52/152.65 c nbDecision=131000 #constraints=3297 153.02/153.17 c nbDecision=131500 #constraints=3297 153.52/153.69 c nbDecision=132000 #constraints=3297 154.12/154.22 c nbDecision=132500 #constraints=3297 154.62/154.75 c nbDecision=133000 #constraints=3297 155.12/155.27 c nbDecision=133500 #constraints=3297 155.62/155.79 c nbDecision=134000 #constraints=3297 156.22/156.32 c nbDecision=134500 #constraints=3297 156.72/156.84 c nbDecision=135000 #constraints=3297 157.22/157.36 c nbDecision=135500 #constraints=3297 157.72/157.89 c nbDecision=136000 #constraints=3297 158.32/158.41 c nbDecision=136500 #constraints=3297 158.82/158.93 c nbDecision=137000 #constraints=3297 159.32/159.45 c nbDecision=137500 #constraints=3297 159.82/159.98 c nbDecision=138000 #constraints=3297 160.32/160.50 c nbDecision=138500 #constraints=3297 160.92/161.02 c nbDecision=139000 #constraints=3297 161.42/161.53 c nbDecision=139500 #constraints=3297 161.92/162.05 c nbDecision=140000 #constraints=3297 162.42/162.57 c nbDecision=140500 #constraints=3297 162.92/163.08 c nbDecision=141000 #constraints=3297 163.52/163.60 c nbDecision=141500 #constraints=3297 164.02/164.12 c nbDecision=142000 #constraints=3297 164.52/164.64 c nbDecision=142500 #constraints=3297 165.01/165.16 c nbDecision=143000 #constraints=3297 165.51/165.68 c nbDecision=143500 #constraints=3297 166.02/166.19 c nbDecision=144000 #constraints=3297 166.61/166.71 c nbDecision=144500 #constraints=3297 167.12/167.22 c nbDecision=145000 #constraints=3297 167.61/167.74 c nbDecision=145500 #constraints=3297 168.12/168.25 c nbDecision=146000 #constraints=3297 168.61/168.76 c nbDecision=146500 #constraints=3297 169.11/169.28 c nbDecision=147000 #constraints=3297 169.61/169.79 c nbDecision=147500 #constraints=3297 170.21/170.30 c nbDecision=148000 #constraints=3297 170.71/170.81 c nbDecision=148500 #constraints=3297 171.21/171.32 c nbDecision=149000 #constraints=3297 171.71/171.83 c nbDecision=149500 #constraints=3297 172.21/172.34 c nbDecision=150000 #constraints=3297 172.71/172.84 c nbDecision=150500 #constraints=3297 173.21/173.35 c nbDecision=151000 #constraints=3297 173.72/173.85 c nbDecision=151500 #constraints=3297 174.21/174.35 c nbDecision=152000 #constraints=3297 174.72/174.85 c nbDecision=152500 #constraints=3297 175.21/175.35 c nbDecision=153000 #constraints=3297 175.71/175.86 c nbDecision=153500 #constraints=3297 176.21/176.36 c nbDecision=154000 #constraints=3297 176.71/176.85 c nbDecision=154500 #constraints=3297 177.21/177.35 c nbDecision=155000 #constraints=3297 177.71/177.85 c nbDecision=155500 #constraints=3297 178.21/178.34 c nbDecision=156000 #constraints=3297 178.71/178.84 c nbDecision=156500 #constraints=3297 179.21/179.33 c nbDecision=157000 #constraints=3297 179.71/179.83 c nbDecision=157500 #constraints=3297 180.21/180.32 c nbDecision=158000 #constraints=3297 180.71/180.82 c nbDecision=158500 #constraints=3298 181.21/181.30 c nbDecision=159000 #constraints=3298 181.71/181.83 c nbDecision=159500 #constraints=3301 182.21/182.36 c nbDecision=160000 #constraints=3303 182.71/182.85 c nbDecision=160500 #constraints=3303 183.21/183.34 c nbDecision=161000 #constraints=3303 183.91/184.01 c nbDecision=161500 #constraints=3312 184.51/184.62 c nbDecision=162000 #constraints=3320 185.01/185.13 c nbDecision=162500 #constraints=3321 185.71/185.83 c nbDecision=163000 #constraints=3337 186.61/186.78 c nbDecision=163500 #constraints=3349 187.41/187.58 c nbDecision=164000 #constraints=3353 187.91/188.09 c nbDecision=164500 #constraints=3354 188.51/188.61 c nbDecision=165000 #constraints=3355 189.01/189.16 c nbDecision=165500 #constraints=3360 189.81/189.99 c nbDecision=166000 #constraints=3365 190.41/190.52 c nbDecision=166500 #constraints=3368 191.31/191.41 c nbDecision=167000 #constraints=3377 191.80/191.92 c nbDecision=167500 #constraints=3377 192.31/192.50 c nbDecision=168000 #constraints=3384 192.90/193.01 c nbDecision=168500 #constraints=3386 194.80/194.97 c nbDecision=169000 #constraints=3405 197.51/197.60 c nbDecision=169500 #constraints=3424 199.11/199.20 c nbDecision=170000 #constraints=3432 199.61/199.73 c nbDecision=170500 #constraints=3434 200.11/200.27 c nbDecision=171000 #constraints=3438 200.70/200.82 c nbDecision=171500 #constraints=3443 201.21/201.37 c nbDecision=172000 #constraints=3448 201.80/201.90 c nbDecision=172500 #constraints=3451 202.31/202.46 c nbDecision=173000 #constraints=3457 203.10/203.27 c nbDecision=173500 #constraints=3482 203.80/203.94 c nbDecision=174000 #constraints=3490 204.41/204.58 c nbDecision=174500 #constraints=3507 205.61/205.76 c nbDecision=175000 #constraints=3525 206.50/206.69 c nbDecision=175500 #constraints=3538 207.30/207.45 c nbDecision=176000 #constraints=3551 208.60/208.70 c nbDecision=176500 #constraints=3582 209.10/209.25 c nbDecision=177000 #constraints=3584 209.91/210.08 c nbDecision=177500 #constraints=3608 212.40/212.59 c nbDecision=178000 #constraints=3667 218.70/218.86 c nbDecision=178500 #constraints=3767 223.70/223.82 c nbDecision=179000 #constraints=3818 224.49/224.70 c nbDecision=179500 #constraints=3825 225.09/225.26 c nbDecision=180000 #constraints=3826 225.69/225.84 c nbDecision=180500 #constraints=3832 226.69/226.85 c nbDecision=181000 #constraints=3836 227.89/228.09 c nbDecision=181500 #constraints=3843 229.50/229.63 c nbDecision=182000 #constraints=3864 230.30/230.46 c nbDecision=182500 #constraints=3879 231.20/231.33 c nbDecision=183000 #constraints=3889 231.80/231.94 c nbDecision=183500 #constraints=3891 233.79/233.92 c nbDecision=184000 #constraints=3901 238.19/238.31 c nbDecision=184500 #constraints=3927 241.49/241.64 c nbDecision=185000 #constraints=3949 245.59/245.72 c nbDecision=185500 #constraints=3972 246.89/247.06 c nbDecision=186000 #constraints=3984 251.89/252.09 c nbDecision=186500 #constraints=4015 253.59/253.73 c nbDecision=187000 #constraints=4025 254.39/254.55 c nbDecision=187500 #constraints=4028 255.29/255.47 c nbDecision=188000 #constraints=4038 255.89/256.05 c nbDecision=188500 #constraints=4039 256.49/256.69 c nbDecision=189000 #constraints=4043 257.19/257.31 c nbDecision=189500 #constraints=4048 257.79/257.93 c nbDecision=190000 #constraints=4052 259.08/259.29 c nbDecision=190500 #constraints=4063 259.78/259.95 c nbDecision=191000 #constraints=4066 260.49/260.65 c nbDecision=191500 #constraints=4072 261.28/261.42 c nbDecision=192000 #constraints=4080 262.19/262.31 c nbDecision=192500 #constraints=4096 262.89/263.06 c nbDecision=193000 #constraints=4107 263.89/264.01 c nbDecision=193500 #constraints=4125 266.79/266.94 c nbDecision=194000 #constraints=4154 267.68/267.86 c nbDecision=194500 #constraints=4157 270.69/270.82 c nbDecision=195000 #constraints=4173 271.99/272.10 c nbDecision=195500 #constraints=4178 274.58/274.74 c nbDecision=196000 #constraints=4197 275.78/275.96 c nbDecision=196500 #constraints=4213 276.88/277.00 c nbDecision=197000 #constraints=4227 277.68/277.83 c nbDecision=197500 #constraints=4238 278.48/278.62 c nbDecision=198000 #constraints=4249 279.28/279.48 c nbDecision=198500 #constraints=4259 281.08/281.20 c nbDecision=199000 #constraints=4286 282.78/282.99 c nbDecision=199500 #constraints=4304 292.18/292.39 c nbDecision=200000 #constraints=4343 297.78/297.91 c nbDecision=200500 #constraints=4369 301.28/301.46 c nbDecision=201000 #constraints=4388 312.67/312.85 c nbDecision=201500 #constraints=4435 315.27/315.49 c nbDecision=202000 #constraints=4453 321.97/322.14 c nbDecision=202500 #constraints=4490 330.66/330.85 c nbDecision=203000 #constraints=4526 338.46/338.61 c nbDecision=203500 #constraints=4559 349.16/349.31 c nbDecision=204000 #constraints=4604 354.46/354.65 c nbDecision=204500 #constraints=4632 357.86/358.03 c restart after 204801 decisions 359.56/359.73 c nbDecision=205000 #constraints=4652 360.16/360.39 c nbDecision=205500 #constraints=4652 360.86/361.04 c nbDecision=206000 #constraints=4652 361.46/361.66 c nbDecision=206500 #constraints=4652 362.06/362.28 c nbDecision=207000 #constraints=4652 362.65/362.89 c nbDecision=207500 #constraints=4652 363.25/363.49 c nbDecision=208000 #constraints=4652 363.96/364.10 c nbDecision=208500 #constraints=4652 364.55/364.72 c nbDecision=209000 #constraints=4652 365.15/365.35 c nbDecision=209500 #constraints=4652 365.76/365.98 c nbDecision=210000 #constraints=4652 366.35/366.59 c nbDecision=210500 #constraints=4652 366.95/367.19 c nbDecision=211000 #constraints=4652 367.65/367.83 c nbDecision=211500 #constraints=4652 368.26/368.45 c nbDecision=212000 #constraints=4652 368.85/369.07 c nbDecision=212500 #constraints=4652 369.55/369.72 c nbDecision=213000 #constraints=4652 370.15/370.32 c nbDecision=213500 #constraints=4652 370.75/370.95 c nbDecision=214000 #constraints=4652 371.35/371.57 c nbDecision=214500 #constraints=4652 371.95/372.18 c nbDecision=215000 #constraints=4652 372.55/372.77 c nbDecision=215500 #constraints=4652 373.15/373.36 c nbDecision=216000 #constraints=4652 373.76/373.97 c nbDecision=216500 #constraints=4652 374.45/374.64 c nbDecision=217000 #constraints=4652 375.05/375.27 c nbDecision=217500 #constraints=4652 375.65/375.85 c nbDecision=218000 #constraints=4652 376.25/376.44 c nbDecision=218500 #constraints=4652 376.85/377.01 c nbDecision=219000 #constraints=4652 377.35/377.58 c nbDecision=219500 #constraints=4652 377.95/378.17 c nbDecision=220000 #constraints=4652 378.55/378.74 c nbDecision=220500 #constraints=4652 379.15/379.30 c nbDecision=221000 #constraints=4652 379.65/379.89 c nbDecision=221500 #constraints=4652 380.25/380.47 c nbDecision=222000 #constraints=4652 380.85/381.03 c nbDecision=222500 #constraints=4652 381.35/381.60 c nbDecision=223000 #constraints=4652 381.95/382.19 c nbDecision=223500 #constraints=4652 382.55/382.76 c nbDecision=224000 #constraints=4652 383.15/383.32 c nbDecision=224500 #constraints=4652 383.65/383.89 c nbDecision=225000 #constraints=4652 384.25/384.45 c nbDecision=225500 #constraints=4652 384.85/385.02 c nbDecision=226000 #constraints=4652 385.45/385.62 c nbDecision=226500 #constraints=4652 385.95/386.19 c nbDecision=227000 #constraints=4652 386.55/386.76 c nbDecision=227500 #constraints=4652 387.15/387.39 c nbDecision=228000 #constraints=4652 387.75/387.95 c nbDecision=228500 #constraints=4652 388.35/388.51 c nbDecision=229000 #constraints=4652 388.85/389.06 c nbDecision=229500 #constraints=4652 389.45/389.61 c nbDecision=230000 #constraints=4652 389.94/390.17 c nbDecision=230500 #constraints=4652 390.54/390.72 c nbDecision=231000 #constraints=4652 391.04/391.26 c nbDecision=231500 #constraints=4652 391.65/391.81 c nbDecision=232000 #constraints=4652 392.14/392.36 c nbDecision=232500 #constraints=4652 392.74/392.90 c nbDecision=233000 #constraints=4652 393.24/393.44 c nbDecision=233500 #constraints=4652 393.74/393.98 c nbDecision=234000 #constraints=4652 394.34/394.51 c nbDecision=234500 #constraints=4652 394.84/395.08 c nbDecision=235000 #constraints=4652 395.44/395.62 c nbDecision=235500 #constraints=4652 396.04/396.20 c nbDecision=236000 #constraints=4652 396.54/396.79 c nbDecision=236500 #constraints=4652 397.14/397.34 c nbDecision=237000 #constraints=4652 397.74/397.92 c nbDecision=237500 #constraints=4652 398.34/398.56 c nbDecision=238000 #constraints=4652 399.05/399.28 c nbDecision=238500 #constraints=4652 399.74/399.94 c nbDecision=239000 #constraints=4652 400.34/400.51 c nbDecision=239500 #constraints=4652 400.84/401.06 c nbDecision=240000 #constraints=4652 401.44/401.62 c nbDecision=240500 #constraints=4652 402.04/402.23 c nbDecision=241000 #constraints=4652 402.54/402.79 c nbDecision=241500 #constraints=4652 403.14/403.39 c nbDecision=242000 #constraints=4652 403.74/403.94 c nbDecision=242500 #constraints=4652 404.24/404.49 c nbDecision=243000 #constraints=4652 404.84/405.07 c nbDecision=243500 #constraints=4652 405.44/405.64 c nbDecision=244000 #constraints=4652 406.04/406.22 c nbDecision=244500 #constraints=4652 406.64/406.82 c nbDecision=245000 #constraints=4652 407.14/407.38 c nbDecision=245500 #constraints=4652 407.74/407.95 c nbDecision=246000 #constraints=4652 408.34/408.55 c nbDecision=246500 #constraints=4652 408.94/409.12 c nbDecision=247000 #constraints=4652 409.44/409.69 c nbDecision=247500 #constraints=4652 410.04/410.26 c nbDecision=248000 #constraints=4652 410.64/410.82 c nbDecision=248500 #constraints=4652 411.14/411.39 c nbDecision=249000 #constraints=4652 411.74/411.96 c nbDecision=249500 #constraints=4652 412.34/412.51 c nbDecision=250000 #constraints=4652 412.84/413.05 c nbDecision=250500 #constraints=4652 413.34/413.59 c nbDecision=251000 #constraints=4652 413.94/414.13 c nbDecision=251500 #constraints=4652 414.44/414.70 c nbDecision=252000 #constraints=4652 415.04/415.26 c nbDecision=252500 #constraints=4652 415.64/415.82 c nbDecision=253000 #constraints=4652 416.14/416.38 c nbDecision=253500 #constraints=4652 416.74/416.96 c nbDecision=254000 #constraints=4652 417.34/417.52 c nbDecision=254500 #constraints=4652 417.84/418.08 c nbDecision=255000 #constraints=4652 418.44/418.68 c nbDecision=255500 #constraints=4652 419.04/419.26 c nbDecision=256000 #constraints=4652 419.64/419.80 c nbDecision=256500 #constraints=4652 420.14/420.36 c nbDecision=257000 #constraints=4652 420.74/420.90 c nbDecision=257500 #constraints=4652 421.24/421.44 c nbDecision=258000 #constraints=4652 421.74/421.96 c nbDecision=258500 #constraints=4652 422.24/422.47 c nbDecision=259000 #constraints=4652 422.84/423.03 c nbDecision=259500 #constraints=4652 423.34/423.57 c nbDecision=260000 #constraints=4652 423.94/424.13 c nbDecision=260500 #constraints=4652 424.54/424.77 c nbDecision=261000 #constraints=4652 428.84/429.09 c nbDecision=261500 #constraints=4672 431.84/432.08 c nbDecision=262000 #constraints=4684 439.14/439.35 c nbDecision=262500 #constraints=4716 443.44/443.65 c nbDecision=263000 #constraints=4732 449.83/450.06 c nbDecision=263500 #constraints=4763 451.33/451.60 c nbDecision=264000 #constraints=4770 452.94/453.16 c nbDecision=264500 #constraints=4783 453.53/453.75 c nbDecision=265000 #constraints=4783 455.53/455.71 c nbDecision=265500 #constraints=4794 456.93/457.16 c nbDecision=266000 #constraints=4800 458.33/458.57 c nbDecision=266500 #constraints=4806 463.93/464.13 c nbDecision=267000 #constraints=4832 466.63/466.85 c nbDecision=267500 #constraints=4842 473.03/473.25 c nbDecision=268000 #constraints=4877 475.13/475.37 c nbDecision=268500 #constraints=4888 477.03/477.24 c nbDecision=269000 #constraints=4898 477.63/477.86 c nbDecision=269500 #constraints=4899 478.43/478.69 c nbDecision=270000 #constraints=4904 479.23/479.43 c nbDecision=270500 #constraints=4908 480.43/480.68 c nbDecision=271000 #constraints=4925 481.72/481.99 c nbDecision=271500 #constraints=4939 483.33/483.52 c nbDecision=272000 #constraints=4957 486.83/487.00 c nbDecision=272500 #constraints=4972 489.73/489.92 c nbDecision=273000 #constraints=4986 492.42/492.63 c nbDecision=273500 #constraints=4997 493.52/493.74 c nbDecision=274000 #constraints=5006 494.52/494.71 c nbDecision=274500 #constraints=5021 495.92/496.10 c nbDecision=275000 #constraints=5041 497.03/497.26 c nbDecision=275500 #constraints=5050 499.42/499.65 c nbDecision=276000 #constraints=5075 500.42/500.61 c nbDecision=276500 #constraints=5084 501.02/501.28 c nbDecision=277000 #constraints=5087 508.82/509.01 c nbDecision=277500 #constraints=5119 510.52/510.78 c nbDecision=278000 #constraints=5129 512.92/513.16 c nbDecision=278500 #constraints=5140 516.72/516.96 c nbDecision=279000 #constraints=5157 518.01/518.20 c nbDecision=279500 #constraints=5165 528.02/528.21 c nbDecision=280000 #constraints=5205 536.01/536.21 c nbDecision=280500 #constraints=5235 546.61/546.86 c nbDecision=281000 #constraints=5275 548.81/549.07 c nbDecision=281500 #constraints=5284 549.61/549.88 c nbDecision=282000 #constraints=5289 555.80/556.01 c nbDecision=282500 #constraints=5322 560.61/560.85 c nbDecision=283000 #constraints=5347 579.40/579.63 c nbDecision=283500 #constraints=5400 590.20/590.40 c nbDecision=284000 #constraints=5445 593.99/594.22 c nbDecision=284500 #constraints=5459 599.30/599.57 c nbDecision=285000 #constraints=5481 606.80/607.05 c nbDecision=285500 #constraints=5508 614.79/615.08 c nbDecision=286000 #constraints=5537 620.59/620.88 c nbDecision=286500 #constraints=5558 628.08/628.30 c nbDecision=287000 #constraints=5587 633.99/634.28 c nbDecision=287500 #constraints=5606 647.28/647.58 c nbDecision=288000 #constraints=5653 654.08/654.34 c nbDecision=288500 #constraints=5686 664.19/664.42 c nbDecision=289000 #constraints=5722 674.17/674.45 c nbDecision=289500 #constraints=5757 687.38/687.62 c nbDecision=290000 #constraints=5795 702.47/702.70 c nbDecision=290500 #constraints=5838 706.97/707.22 c nbDecision=291000 #constraints=5860 714.57/714.89 c nbDecision=291500 #constraints=5898 723.87/724.18 c nbDecision=292000 #constraints=5928 731.36/731.67 c nbDecision=292500 #constraints=5953 739.06/739.35 c nbDecision=293000 #constraints=5978 749.86/750.19 c nbDecision=293500 #constraints=6019 762.26/762.54 c nbDecision=294000 #constraints=6062 776.75/777.04 c nbDecision=294500 #constraints=6110 782.65/782.96 c nbDecision=295000 #constraints=6131 792.85/793.18 c nbDecision=295500 #constraints=6169 801.75/802.07 c nbDecision=296000 #constraints=6202 816.34/816.69 c nbDecision=296500 #constraints=6245 826.44/826.76 c nbDecision=297000 #constraints=6278 827.95/828.27 c nbDecision=297500 #constraints=6282 828.74/829.09 c nbDecision=298000 #constraints=6287 830.64/830.94 c nbDecision=298500 #constraints=6294 831.74/832.09 c nbDecision=299000 #constraints=6300 840.14/840.42 c nbDecision=299500 #constraints=6336 845.13/845.48 c nbDecision=300000 #constraints=6360 849.63/849.92 c nbDecision=300500 #constraints=6375 851.73/852.07 c nbDecision=301000 #constraints=6383 860.03/860.34 c nbDecision=301500 #constraints=6416 867.23/867.50 c nbDecision=302000 #constraints=6440 868.03/868.30 c nbDecision=302500 #constraints=6443 877.53/877.86 c nbDecision=303000 #constraints=6477 887.81/888.11 c nbDecision=303500 #constraints=6514 891.60/891.99 c nbDecision=304000 #constraints=6526 892.40/892.78 c nbDecision=304500 #constraints=6529 901.69/902.09 c nbDecision=305000 #constraints=6566 910.57/910.90 c nbDecision=305500 #constraints=6599 918.25/918.69 c nbDecision=306000 #constraints=6633 920.36/920.79 c nbDecision=306500 #constraints=6640 922.95/923.34 c nbDecision=307000 #constraints=6650 924.45/924.88 c nbDecision=307500 #constraints=6655 926.25/926.63 c nbDecision=308000 #constraints=6665 929.35/929.70 c nbDecision=308500 #constraints=6680 934.95/935.36 c nbDecision=309000 #constraints=6707 950.64/951.07 c nbDecision=309500 #constraints=6763 956.13/956.58 c nbDecision=310000 #constraints=6781 965.03/965.46 c nbDecision=310500 #constraints=6816 969.32/969.78 c nbDecision=311000 #constraints=6828 983.43/983.80 c nbDecision=311500 #constraints=6877 989.92/990.40 c nbDecision=312000 #constraints=6900 1002.62/1003.00 c nbDecision=312500 #constraints=6943 1003.52/1003.90 c nbDecision=313000 #constraints=6943 1006.92/1007.34 c nbDecision=313500 #constraints=6956 1020.12/1020.56 c nbDecision=314000 #constraints=7000 1022.82/1023.22 c nbDecision=314500 #constraints=7009 1028.61/1029.05 c nbDecision=315000 #constraints=7033 1031.82/1032.25 c nbDecision=315500 #constraints=7047 1037.51/1037.95 c nbDecision=316000 #constraints=7076 1046.82/1047.20 c nbDecision=316500 #constraints=7114 1058.21/1058.61 c nbDecision=317000 #constraints=7147 1067.01/1067.48 c nbDecision=317500 #constraints=7176 1078.00/1078.40 c nbDecision=318000 #constraints=7215 1081.80/1082.25 c nbDecision=318500 #constraints=7231 1095.40/1095.85 c nbDecision=319000 #constraints=7276 1096.20/1096.69 c nbDecision=319500 #constraints=7276 1102.20/1102.65 c nbDecision=320000 #constraints=7299 1104.40/1104.89 c nbDecision=320500 #constraints=7304 1117.89/1118.33 c nbDecision=321000 #constraints=7343 1130.68/1131.15 c nbDecision=321500 #constraints=7382 1141.29/1141.77 c nbDecision=322000 #constraints=7409 1149.69/1150.19 c nbDecision=322500 #constraints=7435 1156.18/1156.62 c nbDecision=323000 #constraints=7454 1158.28/1158.75 c nbDecision=323500 #constraints=7460 1159.08/1159.53 c nbDecision=324000 #constraints=7461 1164.98/1165.44 c nbDecision=324500 #constraints=7485 1167.28/1167.72 c nbDecision=325000 #constraints=7500 1178.97/1179.45 c nbDecision=325500 #constraints=7535 1181.18/1181.68 c nbDecision=326000 #constraints=7542 1192.98/1193.40 c nbDecision=326500 #constraints=7581 1208.37/1208.87 c nbDecision=327000 #constraints=7620 1222.37/1222.88 c nbDecision=327500 #constraints=7659 1238.36/1238.90 c nbDecision=328000 #constraints=7709 1239.26/1239.70 c nbDecision=328500 #constraints=7709 1242.96/1243.41 c nbDecision=329000 #constraints=7724 1248.26/1248.70 c nbDecision=329500 #constraints=7738 1251.86/1252.39 c nbDecision=330000 #constraints=7751 1267.76/1268.21 c nbDecision=330500 #constraints=7792 1274.05/1274.51 c nbDecision=331000 #constraints=7810 1288.55/1289.06 c nbDecision=331500 #constraints=7850 1305.35/1305.84 c nbDecision=332000 #constraints=7899 1308.74/1309.26 c nbDecision=332500 #constraints=7907 1320.14/1320.63 c nbDecision=333000 #constraints=7943 1329.24/1329.78 c nbDecision=333500 #constraints=7968 1330.14/1330.65 c nbDecision=334000 #constraints=7970 1335.04/1335.55 c nbDecision=334500 #constraints=7984 1343.24/1343.71 c nbDecision=335000 #constraints=8004 1354.74/1355.21 c nbDecision=335500 #constraints=8036 1356.94/1357.44 c nbDecision=336000 #constraints=8042 1364.53/1365.10 c nbDecision=336500 #constraints=8061 1375.43/1375.95 c nbDecision=337000 #constraints=8090 1377.03/1377.57 c nbDecision=337500 #constraints=8095 1380.33/1380.87 c nbDecision=338000 #constraints=8104 1389.73/1390.24 c nbDecision=338500 #constraints=8131 1397.53/1398.08 c nbDecision=339000 #constraints=8154 1420.02/1420.58 c nbDecision=339500 #constraints=8211 1434.22/1434.77 c nbDecision=340000 #constraints=8250 1446.21/1446.77 c nbDecision=340500 #constraints=8287 1458.81/1459.39 c nbDecision=341000 #constraints=8317 1476.71/1477.24 c nbDecision=341500 #constraints=8361 1491.10/1491.68 c nbDecision=342000 #constraints=8397 1499.40/1499.97 c nbDecision=342500 #constraints=8424 1511.50/1512.04 c nbDecision=343000 #constraints=8449 1527.30/1527.83 c nbDecision=343500 #constraints=8491 1540.19/1540.73 c nbDecision=344000 #constraints=8528 1553.09/1553.68 c nbDecision=344500 #constraints=8558 1579.78/1580.37 c nbDecision=345000 #constraints=8628 1595.08/1595.61 c nbDecision=345500 #constraints=8661 1608.27/1608.84 c nbDecision=346000 #constraints=8694 1622.36/1622.98 c nbDecision=346500 #constraints=8737 1636.46/1637.07 c nbDecision=347000 #constraints=8774 1658.16/1658.79 c nbDecision=347500 #constraints=8829 1663.36/1663.98 c nbDecision=348000 #constraints=8848 1689.85/1690.41 c nbDecision=348500 #constraints=8917 1704.65/1705.27 c nbDecision=349000 #constraints=8959 1720.65/1721.25 c nbDecision=349500 #constraints=8999 1737.15/1737.71 c nbDecision=350000 #constraints=9037 1758.93/1759.53 c nbDecision=350500 #constraints=9090 1775.94/1776.59 c nbDecision=351000 #constraints=9133 1793.23/1793.86 c nbDecision=351500 #constraints=9177 1800.03/1800.60 Received signal 15
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node52/watcher-357306-1176993978 -o ROOT/results/node52/solver-357306-1176993978 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357306-1176993978/instance-357306-1176993978.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.97 0.98 0.95 3/64 13593 /proc/meminfo: memFree=1805780/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=1468 CPUtime=0 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 54242947 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 367 160 127 317 0 46 0 [startup+0.077721 s] /proc/loadavg: 0.97 0.98 0.95 3/64 13593 /proc/meminfo: memFree=1805780/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=2400 CPUtime=0.07 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 484 0 0 0 7 0 0 0 18 0 1 0 54242947 2457600 368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 600 368 127 317 0 279 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2400 [startup+0.101721 s] /proc/loadavg: 0.97 0.98 0.95 3/64 13593 /proc/meminfo: memFree=1805780/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=3692 CPUtime=0.09 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 629 0 0 0 9 0 0 0 18 0 1 0 54242947 3780608 513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 923 515 127 317 0 602 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3692 [startup+0.301735 s] /proc/loadavg: 0.97 0.98 0.95 3/64 13593 /proc/meminfo: memFree=1805780/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=5520 CPUtime=0.29 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 1490 0 0 0 29 0 0 0 19 0 1 0 54242947 5652480 988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 1380 988 128 317 0 1059 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5520 [startup+0.701763 s] /proc/loadavg: 0.97 0.98 0.95 3/64 13593 /proc/meminfo: memFree=1805780/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=11668 CPUtime=0.69 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 3004 0 0 0 68 1 0 0 22 0 1 0 54242947 11948032 2502 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 2917 2502 131 317 0 2596 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11668 [startup+1.50182 s] /proc/loadavg: 0.97 0.98 0.95 2/65 13594 /proc/meminfo: memFree=1790156/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=26668 CPUtime=1.48 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 6777 0 0 0 145 3 0 0 25 0 1 0 54242947 27308032 6112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 6667 6112 131 317 0 6346 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 26668 [startup+3.10192 s] /proc/loadavg: 0.97 0.98 0.95 2/65 13594 /proc/meminfo: memFree=1771916/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=56200 CPUtime=3.08 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 14191 0 0 0 301 7 0 0 25 0 1 0 54242947 57548800 13299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 14050 13300 137 317 0 13729 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 56200 [startup+6.30114 s] /proc/loadavg: 0.97 0.98 0.95 2/65 13594 /proc/meminfo: memFree=1747020/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=61744 CPUtime=6.28 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 15583 0 0 0 620 8 0 0 25 0 1 0 54242947 63225856 14691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 15436 14691 138 317 0 15115 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 61744 [startup+12.7016 s] /proc/loadavg: 0.97 0.98 0.95 2/65 13594 /proc/meminfo: memFree=1747084/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=61744 CPUtime=12.68 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 15586 0 0 0 1260 8 0 0 25 0 1 0 54242947 63225856 14694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 15436 14694 138 317 0 15115 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 61744 [startup+25.5014 s] /proc/loadavg: 0.98 0.98 0.95 2/65 13594 /proc/meminfo: memFree=1747212/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=61744 CPUtime=25.49 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 15589 0 0 0 2540 9 0 0 25 0 1 0 54242947 63225856 14697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 15436 14697 138 317 0 15115 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 61744 [startup+51.1012 s] /proc/loadavg: 0.98 0.98 0.95 2/65 13594 /proc/meminfo: memFree=1747340/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=61744 CPUtime=51.06 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 15597 0 0 0 5097 9 0 0 25 0 1 0 54242947 63225856 14705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 15436 14705 138 317 0 15115 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 61744 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.95 2/65 13594 /proc/meminfo: memFree=1747276/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=61840 CPUtime=102.25 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 15617 0 0 0 10216 9 0 0 25 0 1 0 54242947 63324160 14725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 15460 14725 138 317 0 15139 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 61840 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.95 2/65 13594 /proc/meminfo: memFree=1747020/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=62148 CPUtime=162.22 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 15665 0 0 0 16213 9 0 0 25 0 1 0 54242947 63639552 14773 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 15537 14773 139 317 0 15216 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 62148 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.95 2/65 13594 /proc/meminfo: memFree=1636748/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=190344 CPUtime=222.2 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 60446 0 0 0 22195 25 0 0 25 0 1 0 54242947 194912256 42770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710866 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 47586 42770 139 317 0 47265 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 190344 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.95 2/65 13594 /proc/meminfo: memFree=1576844/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=257952 CPUtime=282.18 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 77339 0 0 0 28186 32 0 0 25 0 1 0 54242947 264142848 57667 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606624 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 64488 57667 139 317 0 64167 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 257952 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.95 2/65 13594 /proc/meminfo: memFree=1505356/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=334520 CPUtime=342.17 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 99212 0 0 0 34177 40 0 0 25 0 1 0 54242947 342548480 75060 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 83630 75060 139 317 0 83309 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 334520 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.95 2/65 13594 /proc/meminfo: memFree=1487308/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=354052 CPUtime=402.14 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 104884 0 0 0 40173 41 0 0 25 0 1 0 54242947 362549248 79502 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606624 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 88513 79502 139 317 0 88192 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 354052 [startup+462.302 s] /proc/loadavg: 1.05 1.00 0.95 2/65 13594 /proc/meminfo: memFree=1456140/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=390964 CPUtime=462.13 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 114945 0 0 0 46169 44 0 0 25 0 1 0 54242947 400347136 87368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 97741 87368 139 317 0 97420 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 390964 [startup+522.302 s] /proc/loadavg: 1.07 1.01 0.96 2/65 13594 /proc/meminfo: memFree=1392140/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=466024 CPUtime=522.11 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 134933 0 0 0 52159 52 0 0 25 0 1 0 54242947 477208576 103475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712475 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 116506 103475 139 317 0 116185 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 466024 [startup+582.301 s] /proc/loadavg: 1.02 1.01 0.96 2/65 13594 /proc/meminfo: memFree=1334028/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=530928 CPUtime=582.1 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 154792 0 0 0 58151 59 0 0 25 0 1 0 54242947 543670272 117915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 132732 117915 139 317 0 132411 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 530928 [startup+642.301 s] /proc/loadavg: 1.01 1.00 0.96 2/65 13594 /proc/meminfo: memFree=1279948/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=591912 CPUtime=642.09 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 173076 0 0 0 64143 66 0 0 25 0 1 0 54242947 606117888 131211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 147978 131211 139 317 0 147657 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 591912 ################ # More data... # ################ /proc/meminfo: memFree=887884/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=1052952 CPUtime=1061.9 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 311308 0 0 0 106072 118 0 0 25 0 1 0 54242947 1078222848 228980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 263238 228980 139 317 0 262917 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 1052952 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 13792 /proc/meminfo: memFree=836044/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=1112908 CPUtime=1121.89 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 329342 0 0 0 112065 124 0 0 25 0 1 0 54242947 1139617792 241996 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 278227 241996 139 317 0 277906 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 1112908 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 13792 /proc/meminfo: memFree=791052/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=1166360 CPUtime=1181.88 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 346090 0 0 0 118059 129 0 0 25 0 1 0 54242947 1194352640 253366 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 291590 253366 139 317 0 291269 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 1166360 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 13792 /proc/meminfo: memFree=744972/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=1216084 CPUtime=1241.86 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 362334 0 0 0 124051 135 0 0 25 0 1 0 54242947 1245270016 264593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606624 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 304021 264593 139 317 0 303700 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1216084 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 13794 /proc/meminfo: memFree=690956/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=1282216 CPUtime=1301.86 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 382216 0 0 0 130042 144 0 0 25 0 1 0 54242947 1312989184 278027 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 320554 278027 139 317 0 320233 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1282216 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 13794 /proc/meminfo: memFree=646092/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=1336244 CPUtime=1361.83 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 399038 0 0 0 136034 149 0 0 25 0 1 0 54242947 1368313856 289299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270612 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 334061 289299 139 317 0 333740 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1336244 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.96 2/65 13794 /proc/meminfo: memFree=591052/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=1405564 CPUtime=1421.82 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 421815 0 0 0 142025 157 0 0 25 0 1 0 54242947 1439297536 302932 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 351391 302932 139 317 0 351070 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 1405564 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 13794 /proc/meminfo: memFree=531980/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=1478852 CPUtime=1481.8 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 447470 0 0 0 148012 168 0 0 25 0 1 0 54242947 1514344448 317736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 369713 317736 139 317 0 369392 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1478852 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 13794 /proc/meminfo: memFree=482316/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=1536036 CPUtime=1541.79 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 464973 0 0 0 154005 174 0 0 25 0 1 0 54242947 1572900864 330086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134559049 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 384009 330086 139 317 0 383688 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 1536036 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 13794 /proc/meminfo: memFree=430156/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=1597356 CPUtime=1601.78 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 485587 0 0 0 159996 182 0 0 25 0 1 0 54242947 1635692544 343175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 399339 343175 139 317 0 399018 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1597356 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 13794 /proc/meminfo: memFree=368204/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=1675900 CPUtime=1661.76 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 510998 0 0 0 165986 190 0 0 25 0 1 0 54242947 1716121600 358666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 418975 358666 139 317 0 418654 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 1675900 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 13794 /proc/meminfo: memFree=322572/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=1728104 CPUtime=1721.74 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 527223 0 0 0 171977 197 0 0 25 0 1 0 54242947 1769578496 369940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 432026 369940 139 317 0 431705 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 1728104 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 13794 /proc/meminfo: memFree=282956/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=1773360 CPUtime=1781.73 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 541716 0 0 0 177971 202 0 0 25 0 1 0 54242947 1815920640 379892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 443340 379892 139 317 0 443019 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 1773360 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.96 2/65 13794 /proc/meminfo: memFree=268428/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=1789760 CPUtime=1800.03 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 547769 0 0 0 179799 204 0 0 25 0 1 0 54242947 1832714240 383410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 447440 383410 139 317 0 447119 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1789760 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 0.96 2/65 13794 /proc/meminfo: memFree=268428/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=1790508 CPUtime=1800.83 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 548089 0 0 0 179879 204 0 0 25 0 1 0 54242947 1833480192 383636 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 447627 383636 139 317 0 447306 0 Current children cumulated CPU time (s) 1800.83 Current children cumulated vsize (KiB) 1790508 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 0.96 2/66 13795 /proc/meminfo: memFree=267140/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=1791520 CPUtime=1801.62 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 548367 0 0 0 179958 204 0 0 25 0 1 0 54242947 1834516480 383850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 447880 383850 139 317 0 447559 0 Current children cumulated CPU time (s) 1801.62 Current children cumulated vsize (KiB) 1791520 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 0.96 2/66 13795 /proc/meminfo: memFree=267140/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=1791784 CPUtime=1802.02 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 548495 0 0 0 179998 204 0 0 25 0 1 0 54242947 1834786816 383946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 447946 383946 139 317 0 447625 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 1791784 [startup+1802.8 s] /proc/loadavg: 1.00 1.00 0.96 2/65 13795 /proc/meminfo: memFree=1483916/2055920 swapFree=4182956/4192956 [pid=13593] ppid=13591 vsize=0 CPUtime=1802.23 /proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4195332 548495 0 0 0 179999 224 0 0 25 0 1 0 54242947 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13593/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.23 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.86 CPU time (s): 1802.29 CPU user time (s): 1800 CPU system time (s): 2.29165 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 1791784 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800 system time used= 2.29165 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 548495 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= 4142 runsolver used 1.2968 second user time and 3.73843 second system time The end
Begin job on node52 on Thu Apr 19 14:46:19 UTC 2007 IDJOB= 357306 IDBENCH= 2370 IDSOLVER= 172 FILE ID= node52/357306-1176993978 PBS_JOBID= 4630454 Free space on /tmp= 66304 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1l.opb COMMAND LINE= oree /tmp/evaluation/357306-1176993978/instance-357306-1176993978.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-357306-1176993978 -o ROOT/results/node52/solver-357306-1176993978 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357306-1176993978/instance-357306-1176993978.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= b626c8307376f19de1f1e51bf91eca4f RANDOM SEED= 566860177 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node52.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.236 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.236 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: 1806188 kB Buffers: 11212 kB Cached: 189364 kB SwapCached: 3832 kB Active: 72828 kB Inactive: 137248 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1806188 kB SwapTotal: 4192956 kB SwapFree: 4182956 kB Dirty: 9468 kB Writeback: 0 kB Mapped: 15484 kB Slab: 25540 kB Committed_AS: 1630172 kB PageTables: 1484 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= 66304 MiB End job on node52 on Thu Apr 19 15:16:22 UTC 2007