Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (MO) | 1231.43 | 1232.14 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-biella1.opb |
MD5SUM | 8cf2f50dc2f979b0f0b07ffea6d1fd34 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 61130650214400 |
Best CPU time to get the best result obtained on this benchmark | 1804.13 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 61130650214400 |
Optimality of the best value was proved | NO |
Number of variables | 42650 |
Total number of constraints | 1202 |
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 | 1202 |
Minimum length of a constraint | 38 |
Maximum length of a constraint | 42650 |
Number of terms in the objective function | 42650 |
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 | 4779625155602030321168 |
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 | 4779727555602030321168 |
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... 0.69/0.74 c ...done 0.69/0.74 c #vars=42650 #constraints=2400 hasObjective=yes 1.09/1.14 c res. mode=mod 1.09/1.14 c VSIDS like heuristics 1.09/1.14 c complete search running 1.29/1.38 c restart after 401 decisions 1.39/1.43 c nbDecision=500 #constraints=2400 1.49/1.58 c restart after 801 decisions 1.59/1.67 c nbDecision=1000 #constraints=2400 1.89/1.91 c nbDecision=1500 #constraints=2400 1.89/1.96 c restart after 1601 decisions 2.09/2.15 c nbDecision=2000 #constraints=2400 2.29/2.39 c nbDecision=2500 #constraints=2400 2.59/2.63 c nbDecision=3000 #constraints=2400 2.69/2.73 c restart after 3201 decisions 2.79/2.88 c nbDecision=3500 #constraints=2400 3.09/3.12 c nbDecision=4000 #constraints=2400 3.29/3.35 c nbDecision=4500 #constraints=2400 3.49/3.59 c nbDecision=5000 #constraints=2400 3.79/3.83 c nbDecision=5500 #constraints=2400 3.99/4.06 c nbDecision=6000 #constraints=2400 4.19/4.25 c restart after 6401 decisions 4.19/4.30 c nbDecision=6500 #constraints=2400 4.49/4.55 c nbDecision=7000 #constraints=2400 4.69/4.79 c nbDecision=7500 #constraints=2400 4.99/5.03 c nbDecision=8000 #constraints=2400 5.19/5.26 c nbDecision=8500 #constraints=2400 5.39/5.49 c nbDecision=9000 #constraints=2400 5.69/5.72 c nbDecision=9500 #constraints=2400 5.89/5.95 c nbDecision=10000 #constraints=2400 6.09/6.17 c nbDecision=10500 #constraints=2400 6.39/6.40 c nbDecision=11000 #constraints=2400 6.59/6.62 c nbDecision=11500 #constraints=2400 6.79/6.84 c nbDecision=12000 #constraints=2400 6.99/7.05 c nbDecision=12500 #constraints=2400 7.09/7.17 c restart after 12801 decisions 7.19/7.28 c nbDecision=13000 #constraints=2400 7.49/7.52 c nbDecision=13500 #constraints=2400 7.69/7.76 c nbDecision=14000 #constraints=2400 7.99/8.00 c nbDecision=14500 #constraints=2400 8.19/8.24 c nbDecision=15000 #constraints=2400 8.39/8.47 c nbDecision=15500 #constraints=2400 8.59/8.70 c nbDecision=16000 #constraints=2400 8.89/8.92 c nbDecision=16500 #constraints=2400 9.09/9.15 c nbDecision=17000 #constraints=2400 9.29/9.37 c nbDecision=17500 #constraints=2400 9.49/9.59 c nbDecision=18000 #constraints=2400 9.79/9.80 c nbDecision=18500 #constraints=2400 9.99/10.01 c nbDecision=19000 #constraints=2400 10.19/10.22 c nbDecision=19500 #constraints=2400 10.39/10.42 c nbDecision=20000 #constraints=2400 10.59/10.62 c nbDecision=20500 #constraints=2400 10.79/10.81 c nbDecision=21000 #constraints=2400 10.99/11.01 c nbDecision=21500 #constraints=2400 11.19/11.20 c nbDecision=22000 #constraints=2400 11.29/11.38 c nbDecision=22500 #constraints=2400 11.49/11.56 c nbDecision=23000 #constraints=2400 11.69/11.74 c nbDecision=23500 #constraints=2400 11.89/11.91 c nbDecision=24000 #constraints=2400 11.99/12.08 c nbDecision=24500 #constraints=2400 12.19/12.25 c nbDecision=25000 #constraints=2400 12.39/12.42 c nbDecision=25500 #constraints=2400 12.39/12.45 c restart after 25601 decisions 12.59/12.65 c nbDecision=26000 #constraints=2400 12.79/12.89 c nbDecision=26500 #constraints=2400 13.09/13.13 c nbDecision=27000 #constraints=2400 13.28/13.37 c nbDecision=27500 #constraints=2400 13.58/13.62 c nbDecision=28000 #constraints=2400 13.78/13.86 c nbDecision=28500 #constraints=2400 13.98/14.09 c nbDecision=29000 #constraints=2400 14.28/14.33 c nbDecision=29500 #constraints=2400 14.48/14.56 c nbDecision=30000 #constraints=2400 14.68/14.78 c nbDecision=30500 #constraints=2400 14.88/14.99 c nbDecision=31000 #constraints=2400 15.18/15.20 c nbDecision=31500 #constraints=2400 15.38/15.41 c nbDecision=32000 #constraints=2400 15.57/15.60 c nbDecision=32500 #constraints=2400 15.77/15.81 c nbDecision=33000 #constraints=2400 15.97/16.02 c nbDecision=33500 #constraints=2400 16.17/16.22 c nbDecision=34000 #constraints=2400 16.37/16.42 c nbDecision=34500 #constraints=2400 16.57/16.61 c nbDecision=35000 #constraints=2400 16.67/16.79 c nbDecision=35500 #constraints=2400 16.87/16.97 c nbDecision=36000 #constraints=2400 17.07/17.14 c nbDecision=36500 #constraints=2400 17.27/17.30 c nbDecision=37000 #constraints=2400 17.37/17.47 c nbDecision=37500 #constraints=2400 17.57/17.64 c nbDecision=38000 #constraints=2400 17.77/17.80 c nbDecision=38500 #constraints=2400 17.87/17.96 c nbDecision=39000 #constraints=2400 18.07/18.12 c nbDecision=39500 #constraints=2400 18.17/18.27 c nbDecision=40000 #constraints=2400 18.37/18.43 c nbDecision=40500 #constraints=2400 18.47/18.58 c nbDecision=41000 #constraints=2400 18.67/18.72 c nbDecision=41500 #constraints=2400 18.77/18.87 c nbDecision=42000 #constraints=2400 18.97/19.01 c nbDecision=42500 #constraints=2400 19.07/19.15 c nbDecision=43000 #constraints=2400 19.17/19.28 c nbDecision=43500 #constraints=2400 19.37/19.42 c nbDecision=44000 #constraints=2400 19.47/19.55 c nbDecision=44500 #constraints=2400 19.57/19.68 c nbDecision=45000 #constraints=2400 19.77/19.82 c nbDecision=45500 #constraints=2400 19.87/19.95 c nbDecision=46000 #constraints=2400 20.07/20.10 c nbDecision=46500 #constraints=2402 20.17/20.23 c nbDecision=47000 #constraints=2402 20.27/20.37 c nbDecision=47500 #constraints=2403 20.57/20.64 c nbDecision=48000 #constraints=2427 20.78/20.83 c nbDecision=48500 #constraints=2438 20.88/20.96 c nbDecision=49000 #constraints=2438 21.17/21.21 c nbDecision=49500 #constraints=2476 21.87/21.98 c nbDecision=50000 #constraints=2592 22.17/22.21 c nbDecision=50500 #constraints=2626 22.47/22.55 c nbDecision=51000 #constraints=2683 22.57/22.60 c restart after 51201 decisions 22.77/22.81 c nbDecision=51500 #constraints=2683 22.97/23.04 c nbDecision=52000 #constraints=2683 23.17/23.27 c nbDecision=52500 #constraints=2683 23.47/23.51 c nbDecision=53000 #constraints=2683 23.67/23.74 c nbDecision=53500 #constraints=2683 23.87/23.97 c nbDecision=54000 #constraints=2683 24.17/24.20 c nbDecision=54500 #constraints=2683 24.37/24.43 c nbDecision=55000 #constraints=2683 24.57/24.66 c nbDecision=55500 #constraints=2683 24.77/24.88 c nbDecision=56000 #constraints=2683 25.07/25.10 c nbDecision=56500 #constraints=2683 25.27/25.33 c nbDecision=57000 #constraints=2683 25.47/25.54 c nbDecision=57500 #constraints=2683 25.66/25.74 c nbDecision=58000 #constraints=2683 25.86/25.95 c nbDecision=58500 #constraints=2683 26.06/26.15 c nbDecision=59000 #constraints=2683 26.27/26.35 c nbDecision=59500 #constraints=2683 26.46/26.54 c nbDecision=60000 #constraints=2683 26.66/26.73 c nbDecision=60500 #constraints=2683 26.86/26.92 c nbDecision=61000 #constraints=2683 26.96/27.09 c nbDecision=61500 #constraints=2683 27.16/27.26 c nbDecision=62000 #constraints=2683 27.37/27.43 c nbDecision=62500 #constraints=2683 27.47/27.59 c nbDecision=63000 #constraints=2683 27.66/27.76 c nbDecision=63500 #constraints=2683 27.86/27.92 c nbDecision=64000 #constraints=2683 27.96/28.07 c nbDecision=64500 #constraints=2683 28.16/28.22 c nbDecision=65000 #constraints=2683 28.26/28.38 c nbDecision=65500 #constraints=2683 28.47/28.54 c nbDecision=66000 #constraints=2683 28.57/28.69 c nbDecision=66500 #constraints=2683 28.76/28.84 c nbDecision=67000 #constraints=2683 28.86/28.99 c nbDecision=67500 #constraints=2683 29.06/29.13 c nbDecision=68000 #constraints=2683 29.16/29.26 c nbDecision=68500 #constraints=2683 29.36/29.41 c nbDecision=69000 #constraints=2683 29.46/29.55 c nbDecision=69500 #constraints=2683 29.56/29.69 c nbDecision=70000 #constraints=2683 29.76/29.84 c nbDecision=70500 #constraints=2683 29.86/29.98 c nbDecision=71000 #constraints=2683 30.06/30.12 c nbDecision=71500 #constraints=2683 30.16/30.26 c nbDecision=72000 #constraints=2683 30.36/30.40 c nbDecision=72500 #constraints=2683 30.46/30.55 c nbDecision=73000 #constraints=2683 30.66/30.70 c nbDecision=73500 #constraints=2683 30.95/31.09 c nbDecision=74000 #constraints=2742 31.25/31.36 c nbDecision=74500 #constraints=2759 31.45/31.50 c nbDecision=75000 #constraints=2759 33.45/33.50 c nbDecision=75500 #constraints=2928 34.16/34.24 c nbDecision=76000 #constraints=2998 34.85/34.94 c nbDecision=76500 #constraints=3058 35.35/35.45 c nbDecision=77000 #constraints=3104 38.86/38.94 c nbDecision=77500 #constraints=3295 41.15/41.27 c nbDecision=78000 #constraints=3403 42.95/43.01 c nbDecision=78500 #constraints=3471 44.55/44.61 c nbDecision=79000 #constraints=3539 46.05/46.17 c nbDecision=79500 #constraints=3635 47.34/47.48 c nbDecision=80000 #constraints=3742 48.85/48.95 c nbDecision=80500 #constraints=3844 50.75/50.86 c nbDecision=81000 #constraints=3887 52.75/52.86 c nbDecision=81500 #constraints=3983 56.54/56.60 c nbDecision=82000 #constraints=4118 58.55/58.69 c nbDecision=82500 #constraints=4178 62.74/62.83 c nbDecision=83000 #constraints=4278 68.33/68.47 c nbDecision=83500 #constraints=4398 72.24/72.39 c nbDecision=84000 #constraints=4490 73.74/73.89 c nbDecision=84500 #constraints=4525 74.14/74.26 c nbDecision=85000 #constraints=4525 76.63/76.79 c nbDecision=85500 #constraints=4639 84.03/84.17 c nbDecision=86000 #constraints=4889 91.23/91.35 c nbDecision=86500 #constraints=5056 97.12/97.26 c nbDecision=87000 #constraints=5201 98.32/98.40 c nbDecision=87500 #constraints=5213 106.52/106.66 c nbDecision=88000 #constraints=5425 114.91/115.01 c nbDecision=88500 #constraints=5722 126.71/126.81 c nbDecision=89000 #constraints=5922 140.30/140.45 c nbDecision=89500 #constraints=6110 152.79/152.96 c nbDecision=90000 #constraints=6259 169.18/169.37 c nbDecision=90500 #constraints=6461 172.18/172.30 c nbDecision=91000 #constraints=6486 173.88/174.07 c nbDecision=91500 #constraints=6497 177.98/178.13 c nbDecision=92000 #constraints=6553 192.97/193.13 c nbDecision=92500 #constraints=6705 210.46/210.61 c nbDecision=93000 #constraints=6859 233.24/233.48 c nbDecision=93500 #constraints=7045 236.05/236.27 c nbDecision=94000 #constraints=7059 241.55/241.79 c nbDecision=94500 #constraints=7120 242.85/243.09 c nbDecision=95000 #constraints=7133 247.44/247.67 c nbDecision=95500 #constraints=7174 249.34/249.52 c nbDecision=96000 #constraints=7205 258.13/258.38 c nbDecision=96500 #constraints=7301 262.03/262.27 c nbDecision=97000 #constraints=7325 264.43/264.67 c nbDecision=97500 #constraints=7338 296.41/296.60 c nbDecision=98000 #constraints=7616 301.50/301.78 c nbDecision=98500 #constraints=7666 309.20/309.46 c nbDecision=99000 #constraints=7740 315.30/315.52 c nbDecision=99500 #constraints=7827 318.20/318.42 c nbDecision=100000 #constraints=7848 323.30/323.57 c nbDecision=100500 #constraints=7904 335.09/335.33 c nbDecision=101000 #constraints=8019 337.79/338.07 c nbDecision=101500 #constraints=8035 353.37/353.64 c nbDecision=102000 #constraints=8195 367.57/367.89 c restart after 102401 decisions 374.17/374.41 c nbDecision=102500 #constraints=8321 374.37/374.64 c nbDecision=103000 #constraints=8321 374.57/374.88 c nbDecision=103500 #constraints=8321 374.87/375.11 c nbDecision=104000 #constraints=8321 375.17/375.41 c nbDecision=104500 #constraints=8321 375.37/375.70 c nbDecision=105000 #constraints=8321 375.77/376.02 c nbDecision=105500 #constraints=8321 376.07/376.35 c nbDecision=106000 #constraints=8321 376.37/376.62 c nbDecision=106500 #constraints=8321 376.67/376.98 c nbDecision=107000 #constraints=8321 376.97/377.21 c nbDecision=107500 #constraints=8321 377.57/377.82 c nbDecision=108000 #constraints=8321 378.27/378.51 c nbDecision=108500 #constraints=8321 378.67/378.96 c nbDecision=109000 #constraints=8321 379.47/379.72 c nbDecision=109500 #constraints=8321 380.07/380.40 c nbDecision=110000 #constraints=8321 380.67/380.99 c nbDecision=110500 #constraints=8321 380.87/381.18 c nbDecision=111000 #constraints=8321 381.07/381.38 c nbDecision=111500 #constraints=8321 381.26/381.57 c nbDecision=112000 #constraints=8321 381.56/381.81 c nbDecision=112500 #constraints=8321 381.66/381.99 c nbDecision=113000 #constraints=8321 382.06/382.31 c nbDecision=113500 #constraints=8321 382.36/382.64 c nbDecision=114000 #constraints=8321 382.86/383.14 c nbDecision=114500 #constraints=8321 383.16/383.46 c nbDecision=115000 #constraints=8321 383.36/383.64 c nbDecision=115500 #constraints=8321 383.56/383.83 c nbDecision=116000 #constraints=8321 383.66/383.98 c nbDecision=116500 #constraints=8321 384.16/384.49 c nbDecision=117000 #constraints=8321 384.56/384.88 c nbDecision=117500 #constraints=8321 384.96/385.26 c nbDecision=118000 #constraints=8321 385.26/385.55 c nbDecision=118500 #constraints=8321 385.46/385.73 c nbDecision=119000 #constraints=8321 385.56/385.89 c nbDecision=119500 #constraints=8321 385.76/386.09 c nbDecision=120000 #constraints=8321 386.16/386.43 c nbDecision=120500 #constraints=8321 386.26/386.57 c nbDecision=121000 #constraints=8321 386.46/386.73 c nbDecision=121500 #constraints=8321 386.86/387.11 c nbDecision=122000 #constraints=8321 387.36/387.65 c nbDecision=122500 #constraints=8321 387.86/388.16 c nbDecision=123000 #constraints=8321 388.56/388.84 c nbDecision=123500 #constraints=8321 389.25/389.54 c nbDecision=124000 #constraints=8321 390.15/390.47 c nbDecision=124500 #constraints=8321 404.24/404.57 c nbDecision=125000 #constraints=8447 421.94/422.29 c nbDecision=125500 #constraints=8555 437.63/437.95 c nbDecision=126000 #constraints=8704 451.22/451.57 c nbDecision=126500 #constraints=8791 455.42/455.75 c nbDecision=127000 #constraints=8810 486.50/486.89 c nbDecision=127500 #constraints=9046 494.00/494.36 c nbDecision=128000 #constraints=9107 507.09/507.43 c nbDecision=128500 #constraints=9190 507.99/508.36 c nbDecision=129000 #constraints=9190 516.39/516.76 c nbDecision=129500 #constraints=9282 523.58/523.97 c nbDecision=130000 #constraints=9341 527.17/527.54 c nbDecision=130500 #constraints=9376 531.18/531.52 c nbDecision=131000 #constraints=9414 534.08/534.46 c nbDecision=131500 #constraints=9475 536.17/536.56 c nbDecision=132000 #constraints=9498 556.97/557.35 c nbDecision=132500 #constraints=9826 567.55/567.95 c nbDecision=133000 #constraints=9911 579.74/580.18 c nbDecision=133500 #constraints=10020 589.45/589.80 c nbDecision=134000 #constraints=10090 608.54/608.95 c nbDecision=134500 #constraints=10229 615.52/615.92 c nbDecision=135000 #constraints=10269 624.33/624.73 c nbDecision=135500 #constraints=10351 625.32/625.71 c nbDecision=136000 #constraints=10352 635.21/635.67 c nbDecision=136500 #constraints=10454 650.51/650.98 c nbDecision=137000 #constraints=10570 673.40/673.90 c nbDecision=137500 #constraints=10734 679.29/679.78 c nbDecision=138000 #constraints=10774 692.49/692.99 c nbDecision=138500 #constraints=10872 701.68/702.14 c nbDecision=139000 #constraints=10939 711.67/712.14 c nbDecision=139500 #constraints=11014 715.67/716.19 c nbDecision=140000 #constraints=11054 734.86/735.35 c nbDecision=140500 #constraints=11203 754.96/755.40 c nbDecision=141000 #constraints=11357 772.65/773.11 c nbDecision=141500 #constraints=11473 780.14/780.64 c nbDecision=142000 #constraints=11512 790.54/791.04 c nbDecision=142500 #constraints=11596 806.43/806.94 c nbDecision=143000 #constraints=11726 807.83/808.37 c nbDecision=143500 #constraints=11726 818.03/818.57 c nbDecision=144000 #constraints=11793 834.12/834.66 c nbDecision=144500 #constraints=11898 850.80/851.40 c nbDecision=145000 #constraints=12020 863.20/863.72 c nbDecision=145500 #constraints=12115 870.49/871.00 c nbDecision=146000 #constraints=12166 871.59/872.14 c nbDecision=146500 #constraints=12167 888.68/889.28 c nbDecision=147000 #constraints=12288 905.97/906.53 c nbDecision=147500 #constraints=12382 952.55/953.14 c nbDecision=148000 #constraints=12512 972.15/972.70 c nbDecision=148500 #constraints=12565 1000.43/1001.05 c nbDecision=149000 #constraints=12675 1026.30/1026.97 c nbDecision=149500 #constraints=12813 1042.59/1043.25 c nbDecision=150000 #constraints=12900 1084.16/1084.81 c nbDecision=150500 #constraints=13116 1094.66/1095.34 c nbDecision=151000 #constraints=13161 1103.96/1104.65 c nbDecision=151500 #constraints=13230 1115.85/1116.58 c nbDecision=152000 #constraints=13299 1135.84/1136.59 c nbDecision=152500 #constraints=13381 1158.03/1158.79 c nbDecision=153000 #constraints=13492 1185.61/1186.34 c nbDecision=153500 #constraints=13608 1213.49/1214.24 c nbDecision=154000 #constraints=13723 1229.19/1229.90 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/node57/watcher-357297-1176993667 -o ROOT/results/node57/solver-357297-1176993667 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357297-1176993667/instance-357297-1176993667.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.91 0.95 0.96 3/64 20263 /proc/meminfo: memFree=1616848/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=1468 CPUtime=0 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 140502677 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 367 161 127 317 0 46 0 [startup+0.022317 s] /proc/loadavg: 0.91 0.95 0.96 3/64 20263 /proc/meminfo: memFree=1616848/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=1752 CPUtime=0.02 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 238 0 0 0 2 0 0 0 18 0 1 0 140502677 1794048 220 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134542965 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 438 220 127 317 0 117 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1752 [startup+0.101322 s] /proc/loadavg: 0.91 0.95 0.96 3/64 20263 /proc/meminfo: memFree=1616848/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=3440 CPUtime=0.09 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 778 0 0 0 9 0 0 0 18 0 1 0 140502677 3522560 533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 860 533 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301338 s] /proc/loadavg: 0.91 0.95 0.96 3/64 20263 /proc/meminfo: memFree=1616848/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=6080 CPUtime=0.29 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 1463 0 0 0 29 0 0 0 19 0 1 0 140502677 6225920 1218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 1520 1218 131 317 0 1199 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6080 [startup+0.701372 s] /proc/loadavg: 0.91 0.95 0.96 3/64 20263 /proc/meminfo: memFree=1616848/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=13488 CPUtime=0.69 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 3449 0 0 0 67 2 0 0 23 0 1 0 140502677 13811712 2977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 3372 2977 131 317 0 3051 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13488 [startup+1.50144 s] /proc/loadavg: 0.91 0.95 0.96 2/65 20264 /proc/meminfo: memFree=1600200/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=20388 CPUtime=1.49 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 5165 0 0 0 147 2 0 0 25 0 1 0 140502677 20877312 4693 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 5097 4693 138 317 0 4776 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20388 [startup+3.10158 s] /proc/loadavg: 0.92 0.95 0.96 2/65 20264 /proc/meminfo: memFree=1598408/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=20388 CPUtime=3.09 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 5165 0 0 0 307 2 0 0 25 0 1 0 140502677 20877312 4693 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 5097 4693 138 317 0 4776 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20388 [startup+6.30186 s] /proc/loadavg: 0.92 0.95 0.96 2/65 20264 /proc/meminfo: memFree=1598216/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=20388 CPUtime=6.29 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 5166 0 0 0 627 2 0 0 25 0 1 0 140502677 20877312 4694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 5097 4694 138 317 0 4776 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20388 [startup+12.7014 s] /proc/loadavg: 0.93 0.96 0.96 2/65 20264 /proc/meminfo: memFree=1598152/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=20388 CPUtime=12.69 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 5175 0 0 0 1267 2 0 0 25 0 1 0 140502677 20877312 4703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 5097 4703 138 317 0 4776 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20388 [startup+25.5015 s] /proc/loadavg: 0.94 0.96 0.96 2/65 20264 /proc/meminfo: memFree=1590408/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=28728 CPUtime=25.47 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 7170 0 0 0 2544 3 0 0 25 0 1 0 140502677 29417472 6698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 7182 6698 139 317 0 6861 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 28728 [startup+51.1017 s] /proc/loadavg: 0.96 0.96 0.96 2/65 20264 /proc/meminfo: memFree=1462664/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=174648 CPUtime=51.05 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 41166 0 0 0 5090 15 0 0 25 0 1 0 140502677 178839552 39005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 43662 39005 139 317 0 43341 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 174648 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.96 2/65 20264 /proc/meminfo: memFree=1292360/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=366004 CPUtime=102.22 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 83658 0 0 0 10193 29 0 0 25 0 1 0 140502677 374788096 81151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712884 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 91501 81151 139 317 0 91180 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 366004 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 20264 /proc/meminfo: memFree=1144008/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=528820 CPUtime=162.19 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 121827 0 0 0 16175 44 0 0 25 0 1 0 140502677 541511680 118233 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 132205 118233 139 317 0 131884 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 528820 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 20264 /proc/meminfo: memFree=1055560/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=633624 CPUtime=222.15 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 144931 0 0 0 22164 51 0 0 25 0 1 0 140502677 648830976 140149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 158406 140149 139 317 0 158085 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 633624 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 20264 /proc/meminfo: memFree=976136/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=727972 CPUtime=282.12 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 167463 0 0 0 28153 59 0 0 25 0 1 0 140502677 745443328 160029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 181993 160029 139 317 0 181672 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 727972 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 20264 /proc/meminfo: memFree=899080/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=819784 CPUtime=342.09 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 189219 0 0 0 34143 66 0 0 25 0 1 0 140502677 839458816 179140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 204946 179140 139 317 0 204625 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 819784 [startup+402.301 s] /proc/loadavg: 1.04 0.99 0.97 2/65 20264 /proc/meminfo: memFree=834696/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=901132 CPUtime=402.05 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 208389 0 0 0 40133 72 0 0 25 0 1 0 140502677 922759168 195460 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 225283 195460 139 317 0 224962 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 901132 [startup+462.301 s] /proc/loadavg: 1.05 1.00 0.97 2/65 20264 /proc/meminfo: memFree=765448/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=976288 CPUtime=462.02 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 227219 0 0 0 46123 79 0 0 25 0 1 0 140502677 999718912 212481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 244072 212481 139 317 0 243751 0 Current children cumulated CPU time (s) 462.02 Current children cumulated vsize (KiB) 976288 [startup+522.302 s] /proc/loadavg: 1.06 1.01 0.98 2/65 20264 /proc/meminfo: memFree=709000/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=1040996 CPUtime=521.98 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 243690 0 0 0 52112 86 0 0 25 0 1 0 140502677 1065979904 226913 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 260249 226913 139 317 0 259928 0 Current children cumulated CPU time (s) 521.98 Current children cumulated vsize (KiB) 1040996 [startup+582.302 s] /proc/loadavg: 1.02 1.01 0.98 2/65 20264 /proc/meminfo: memFree=603400/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=1166824 CPUtime=581.94 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 272111 0 0 0 58099 95 0 0 25 0 1 0 140502677 1194827776 253006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 291706 253006 139 317 0 291385 0 Current children cumulated CPU time (s) 581.94 Current children cumulated vsize (KiB) 1166824 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 20264 /proc/meminfo: memFree=538568/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=1233536 CPUtime=641.92 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 288585 0 0 0 64092 100 0 0 25 0 1 0 140502677 1263140864 269052 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278952 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 308384 269052 139 317 0 308063 0 Current children cumulated CPU time (s) 641.92 Current children cumulated vsize (KiB) 1233536 [startup+702.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 20264 /proc/meminfo: memFree=474120/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=1304016 CPUtime=701.88 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 305583 0 0 0 70083 105 0 0 25 0 1 0 140502677 1335312384 285088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 326004 285088 139 317 0 325683 0 Current children cumulated CPU time (s) 701.88 Current children cumulated vsize (KiB) 1304016 [startup+762.305 s] /proc/loadavg: 1.00 1.00 0.98 2/65 20264 /proc/meminfo: memFree=384840/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=1429288 CPUtime=761.85 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 330120 0 0 0 76071 114 0 0 25 0 1 0 140502677 1463590912 307401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 357322 307401 139 317 0 357001 0 Current children cumulated CPU time (s) 761.85 Current children cumulated vsize (KiB) 1429288 [startup+822.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 20264 /proc/meminfo: memFree=319176/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=1510672 CPUtime=821.82 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 347577 0 0 0 82060 122 0 0 25 0 1 0 140502677 1546928128 323908 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 377668 323908 139 317 0 377347 0 Current children cumulated CPU time (s) 821.82 Current children cumulated vsize (KiB) 1510672 [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 20264 /proc/meminfo: memFree=258056/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=1582508 CPUtime=881.79 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 364049 0 0 0 88052 127 0 0 25 0 1 0 140502677 1620488192 338978 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 395627 338978 139 317 0 395306 0 Current children cumulated CPU time (s) 881.79 Current children cumulated vsize (KiB) 1582508 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 20264 /proc/meminfo: memFree=221128/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=1625172 CPUtime=941.75 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 374925 0 0 0 94045 130 0 0 25 0 1 0 140502677 1664176128 348209 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 406293 348209 139 317 0 405972 0 Current children cumulated CPU time (s) 941.75 Current children cumulated vsize (KiB) 1625172 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 20264 /proc/meminfo: memFree=182920/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=1674528 CPUtime=1001.72 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 386662 0 0 0 100038 134 0 0 25 0 1 0 140502677 1714716672 357708 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 418632 357708 139 317 0 418311 0 Current children cumulated CPU time (s) 1001.72 Current children cumulated vsize (KiB) 1674528 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 20264 /proc/meminfo: memFree=135560/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=1729208 CPUtime=1061.69 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 399001 0 0 0 106030 139 0 0 25 0 1 0 140502677 1770708992 369684 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 432302 369684 139 317 0 431981 0 Current children cumulated CPU time (s) 1061.69 Current children cumulated vsize (KiB) 1729208 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 20264 /proc/meminfo: memFree=100808/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=1766620 CPUtime=1121.64 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 407895 0 0 0 112022 142 0 0 25 0 1 0 140502677 1809018880 378313 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 441655 378313 139 317 0 441334 0 Current children cumulated CPU time (s) 1121.64 Current children cumulated vsize (KiB) 1766620 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 20264 /proc/meminfo: memFree=72520/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=1799832 CPUtime=1181.62 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 415881 0 0 0 118016 146 0 0 25 0 1 0 140502677 1843027968 385530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 449958 385530 139 317 0 449637 0 Current children cumulated CPU time (s) 1181.62 Current children cumulated vsize (KiB) 1799832 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1229.9 s] /proc/loadavg: 1.00 1.00 0.98 2/71 20430 /proc/meminfo: memFree=34576/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=1843216 CPUtime=1229.19 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 425734 0 0 0 122760 159 0 0 25 0 1 0 140502677 1887453184 394331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 460804 394331 139 317 0 460483 0 Current children cumulated CPU time (s) 1229.19 Current children cumulated vsize (KiB) 1843216 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+1230.2 s] /proc/loadavg: 1.00 1.00 0.98 2/71 20430 /proc/meminfo: memFree=34576/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=1843484 CPUtime=1229.49 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 425802 0 0 0 122790 159 0 0 25 0 1 0 140502677 1887727616 394399 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 460871 394399 139 317 0 460550 0 Current children cumulated CPU time (s) 1229.49 Current children cumulated vsize (KiB) 1843484 [startup+1231 s] /proc/loadavg: 1.00 1.00 0.98 2/72 20433 /proc/meminfo: memFree=33992/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=1843888 CPUtime=1230.28 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 425903 0 0 0 122869 159 0 0 25 0 1 0 140502677 1888141312 394500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 460972 394500 139 317 0 460651 0 Current children cumulated CPU time (s) 1230.28 Current children cumulated vsize (KiB) 1843888 [startup+1231.8 s] /proc/loadavg: 1.00 1.00 0.98 2/72 20433 /proc/meminfo: memFree=33992/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=1844408 CPUtime=1231.08 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4194304 426037 0 0 0 122949 159 0 0 25 0 1 0 140502677 1888673792 394634 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 461102 394634 139 317 0 460781 0 Current children cumulated CPU time (s) 1231.08 Current children cumulated vsize (KiB) 1844408 [startup+1232.01 s] /proc/loadavg: 1.00 1.00 0.98 2/72 20433 /proc/meminfo: memFree=33352/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=0 CPUtime=1231.28 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4195332 426037 0 0 0 122960 168 0 0 25 0 1 0 140502677 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1231.28 Current children cumulated vsize (KiB) 0 [startup+1232.1 s] /proc/loadavg: 1.00 1.00 0.98 2/72 20433 /proc/meminfo: memFree=33352/2055920 swapFree=4183112/4192956 [pid=20263] ppid=20261 vsize=0 CPUtime=1231.38 /proc/20263/stat : 20263 (oree) R 20261 20263 19209 0 -1 4195332 426037 0 0 0 122960 178 0 0 25 0 1 0 140502677 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20263/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1231.38 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1232.14 CPU time (s): 1231.43 CPU user time (s): 1229.61 CPU system time (s): 1.82572 CPU usage (%): 99.9421 Max. virtual memory (cumulated for all children) (KiB): 1844408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1229.61 system time used= 1.82572 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 426037 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= 5278 runsolver used 1.12183 second user time and 3.38848 second system time The end
Begin job on node57 on Thu Apr 19 14:41:07 UTC 2007 IDJOB= 357297 IDBENCH= 2361 IDSOLVER= 172 FILE ID= node57/357297-1176993667 PBS_JOBID= 4630425 Free space on /tmp= 66452 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-biella1.opb COMMAND LINE= oree /tmp/evaluation/357297-1176993667/instance-357297-1176993667.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-357297-1176993667 -o ROOT/results/node57/solver-357297-1176993667 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357297-1176993667/instance-357297-1176993667.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 8cf2f50dc2f979b0f0b07ffea6d1fd34 RANDOM SEED= 40129679 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node57.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.239 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.239 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: 1617256 kB Buffers: 9792 kB Cached: 380724 kB SwapCached: 3544 kB Active: 145884 kB Inactive: 254880 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1617256 kB SwapTotal: 4192956 kB SwapFree: 4183112 kB Dirty: 4320 kB Writeback: 0 kB Mapped: 16280 kB Slab: 23992 kB Committed_AS: 914800 kB PageTables: 1412 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= 66452 MiB End job on node57 on Thu Apr 19 15:01:40 UTC 2007