Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.1 | 1800.66 |
Name | normalized-PB07/PURE-SAT/SAT07/crafted/Difficult/contest05/ QG/QG6-gensys-brn007.sat05-2684.reshuffled-07.opb |
MD5SUM | 061d1927e7e07e644145fa1f96750723 |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 235.972 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 1477 |
Total number of constraints | 7809 |
Number of constraints which are clauses | 7809 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 16 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 12 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 28 |
Number of bits of the biggest sum of numbers | 5 |
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.09/0.17 c ...done 0.09/0.17 c #vars=1477 #constraints=7809 hasObjective=no 0.09/0.19 c res. mode=mod 0.09/0.19 c VSIDS like heuristics 0.09/0.19 c complete search running 0.19/0.26 c restart after 401 decisions 0.19/0.29 c nbDecision=500 #constraints=7822 0.39/0.46 c restart after 801 decisions 0.49/0.54 c nbDecision=1000 #constraints=7905 0.69/0.70 c nbDecision=1500 #constraints=7958 0.69/0.71 c restart after 1601 decisions 0.99/1.10 c nbDecision=2000 #constraints=8092 1.10/1.19 c nbDecision=2500 #constraints=8108 1.59/1.65 c nbDecision=3000 #constraints=8248 1.59/1.69 c restart after 3201 decisions 1.99/2.02 c nbDecision=3500 #constraints=8337 1.99/2.09 c nbDecision=4000 #constraints=8341 2.09/2.15 c nbDecision=4500 #constraints=8345 2.09/2.18 c nbDecision=5000 #constraints=8349 2.19/2.24 c nbDecision=5500 #constraints=8357 2.19/2.28 c nbDecision=6000 #constraints=8366 2.29/2.30 c restart after 6401 decisions 2.29/2.34 c nbDecision=6500 #constraints=8372 3.09/3.16 c nbDecision=7000 #constraints=8591 3.19/3.27 c nbDecision=7500 #constraints=8618 3.29/3.33 c nbDecision=8000 #constraints=8628 3.29/3.37 c nbDecision=8500 #constraints=8630 3.39/3.40 c nbDecision=9000 #constraints=8631 3.68/3.79 c nbDecision=9500 #constraints=8723 5.39/5.42 c nbDecision=10000 #constraints=9071 7.49/7.53 c nbDecision=10500 #constraints=9427 9.68/9.78 c nbDecision=11000 #constraints=9755 11.39/11.41 c nbDecision=11500 #constraints=9962 11.39/11.47 c nbDecision=12000 #constraints=9969 13.19/13.26 c nbDecision=12500 #constraints=10168 14.19/14.26 c restart after 12801 decisions 14.69/14.79 c nbDecision=13000 #constraints=10317 16.69/16.79 c nbDecision=13500 #constraints=10574 17.49/17.56 c nbDecision=14000 #constraints=10654 19.79/19.84 c nbDecision=14500 #constraints=10879 22.08/22.16 c nbDecision=15000 #constraints=11106 22.48/22.55 c nbDecision=15500 #constraints=11131 22.58/22.60 c nbDecision=16000 #constraints=11134 22.58/22.66 c nbDecision=16500 #constraints=11136 22.68/22.71 c nbDecision=17000 #constraints=11139 22.68/22.74 c nbDecision=17500 #constraints=11140 22.88/22.90 c nbDecision=18000 #constraints=11161 22.88/22.93 c nbDecision=18500 #constraints=11162 23.58/23.62 c nbDecision=19000 #constraints=11221 23.58/23.65 c nbDecision=19500 #constraints=11222 23.58/23.67 c nbDecision=20000 #constraints=11223 23.58/23.70 c nbDecision=20500 #constraints=11224 23.68/23.72 c nbDecision=21000 #constraints=11225 23.68/23.75 c nbDecision=21500 #constraints=11226 23.68/23.77 c nbDecision=22000 #constraints=11228 23.78/23.81 c nbDecision=22500 #constraints=11232 23.78/23.84 c nbDecision=23000 #constraints=11234 23.78/23.86 c nbDecision=23500 #constraints=11235 23.78/23.89 c nbDecision=24000 #constraints=11237 24.78/24.89 c nbDecision=24500 #constraints=11330 28.99/29.08 c nbDecision=25000 #constraints=11631 29.78/29.85 c nbDecision=25500 #constraints=11685 30.08/30.17 c restart after 25601 decisions 32.58/32.65 c nbDecision=26000 #constraints=11886 33.08/33.10 c nbDecision=26500 #constraints=11920 33.78/33.87 c nbDecision=27000 #constraints=11978 37.18/37.22 c nbDecision=27500 #constraints=12181 37.68/37.71 c nbDecision=28000 #constraints=12208 37.68/37.74 c nbDecision=28500 #constraints=12210 37.68/37.76 c nbDecision=29000 #constraints=12211 37.68/37.79 c nbDecision=29500 #constraints=12213 37.78/37.81 c nbDecision=30000 #constraints=12214 37.78/37.85 c nbDecision=30500 #constraints=12219 37.78/37.87 c nbDecision=31000 #constraints=12220 37.88/37.91 c nbDecision=31500 #constraints=12227 37.88/37.93 c nbDecision=32000 #constraints=12228 37.88/37.96 c nbDecision=32500 #constraints=12231 37.98/38.01 c nbDecision=33000 #constraints=12239 37.98/38.04 c nbDecision=33500 #constraints=12242 38.08/38.10 c nbDecision=34000 #constraints=12253 38.08/38.12 c nbDecision=34500 #constraints=12253 38.08/38.15 c nbDecision=35000 #constraints=12254 38.08/38.18 c nbDecision=35500 #constraints=12255 38.18/38.20 c nbDecision=36000 #constraints=12256 38.18/38.23 c nbDecision=36500 #constraints=12257 38.18/38.25 c nbDecision=37000 #constraints=12257 38.18/38.28 c nbDecision=37500 #constraints=12258 38.28/38.31 c nbDecision=38000 #constraints=12259 38.28/38.34 c nbDecision=38500 #constraints=12260 38.28/38.39 c nbDecision=39000 #constraints=12265 38.38/38.42 c nbDecision=39500 #constraints=12266 41.08/41.16 c nbDecision=40000 #constraints=12414 41.18/41.23 c nbDecision=40500 #constraints=12428 41.38/41.49 c nbDecision=41000 #constraints=12446 43.99/44.07 c nbDecision=41500 #constraints=12584 44.08/44.10 c nbDecision=42000 #constraints=12586 46.48/46.58 c nbDecision=42500 #constraints=12705 51.18/51.29 c nbDecision=43000 #constraints=12937 56.78/56.89 c nbDecision=43500 #constraints=13225 57.38/57.47 c nbDecision=44000 #constraints=13259 57.38/57.49 c nbDecision=44500 #constraints=13259 57.48/57.58 c nbDecision=45000 #constraints=13267 57.58/57.61 c nbDecision=45500 #constraints=13270 57.58/57.64 c nbDecision=46000 #constraints=13272 58.18/58.27 c nbDecision=46500 #constraints=13311 58.28/58.31 c nbDecision=47000 #constraints=13315 58.28/58.36 c nbDecision=47500 #constraints=13322 58.28/58.40 c nbDecision=48000 #constraints=13324 58.37/58.43 c nbDecision=48500 #constraints=13326 58.37/58.46 c nbDecision=49000 #constraints=13327 58.37/58.49 c nbDecision=49500 #constraints=13328 58.47/58.52 c nbDecision=50000 #constraints=13330 58.47/58.55 c nbDecision=50500 #constraints=13331 58.47/58.57 c nbDecision=51000 #constraints=13331 58.67/58.76 c restart after 51201 decisions 60.67/60.72 c nbDecision=51500 #constraints=13449 61.37/61.44 c nbDecision=52000 #constraints=13495 61.37/61.47 c nbDecision=52500 #constraints=13499 61.48/61.50 c nbDecision=53000 #constraints=13504 61.48/61.54 c nbDecision=53500 #constraints=13513 61.48/61.56 c nbDecision=54000 #constraints=13514 61.48/61.59 c nbDecision=54500 #constraints=13520 61.58/61.64 c nbDecision=55000 #constraints=13528 61.58/61.68 c nbDecision=55500 #constraints=13530 61.67/61.71 c nbDecision=56000 #constraints=13531 62.27/62.35 c nbDecision=56500 #constraints=13568 65.67/65.72 c nbDecision=57000 #constraints=13742 65.77/65.81 c nbDecision=57500 #constraints=13744 67.57/67.69 c nbDecision=58000 #constraints=13851 73.27/73.35 c nbDecision=58500 #constraints=14111 73.47/73.58 c nbDecision=59000 #constraints=14121 78.77/78.85 c nbDecision=59500 #constraints=14358 81.47/81.55 c nbDecision=60000 #constraints=14458 84.17/84.26 c nbDecision=60500 #constraints=14558 91.96/92.05 c nbDecision=61000 #constraints=14833 100.06/100.17 c nbDecision=61500 #constraints=15097 105.87/105.90 c nbDecision=62000 #constraints=15288 105.87/105.97 c nbDecision=62500 #constraints=15294 105.97/106.07 c nbDecision=63000 #constraints=15295 106.07/106.17 c nbDecision=63500 #constraints=15296 106.07/106.19 c nbDecision=64000 #constraints=15297 106.17/106.26 c nbDecision=64500 #constraints=15298 106.17/106.28 c nbDecision=65000 #constraints=15298 108.47/108.51 c nbDecision=65500 #constraints=15388 116.86/116.94 c nbDecision=66000 #constraints=15657 125.26/125.38 c nbDecision=66500 #constraints=15965 132.05/132.17 c nbDecision=67000 #constraints=16179 145.16/145.21 c nbDecision=67500 #constraints=16521 158.25/158.32 c nbDecision=68000 #constraints=16865 172.55/172.60 c nbDecision=68500 #constraints=17228 182.64/182.73 c nbDecision=69000 #constraints=17471 196.34/196.47 c nbDecision=69500 #constraints=17799 211.04/211.15 c nbDecision=70000 #constraints=18122 226.94/227.09 c nbDecision=70500 #constraints=18456 233.73/233.81 c nbDecision=71000 #constraints=18591 252.73/252.84 c nbDecision=71500 #constraints=18925 259.43/259.51 c nbDecision=72000 #constraints=19053 266.13/266.20 c nbDecision=72500 #constraints=19169 272.82/272.96 c nbDecision=73000 #constraints=19282 272.82/272.98 c nbDecision=73500 #constraints=19283 282.72/282.89 c nbDecision=74000 #constraints=19477 285.12/285.27 c nbDecision=74500 #constraints=19528 292.91/293.06 c nbDecision=75000 #constraints=19729 312.01/312.11 c nbDecision=75500 #constraints=20092 328.01/328.12 c nbDecision=76000 #constraints=20384 344.21/344.34 c nbDecision=76500 #constraints=20693 352.41/352.54 c nbDecision=77000 #constraints=20847 366.90/367.05 c nbDecision=77500 #constraints=21093 373.30/373.41 c nbDecision=78000 #constraints=21177 373.30/373.47 c nbDecision=78500 #constraints=21182 373.40/373.52 c nbDecision=79000 #constraints=21184 380.59/380.70 c nbDecision=79500 #constraints=21292 383.09/383.28 c nbDecision=80000 #constraints=21325 385.09/385.21 c nbDecision=80500 #constraints=21349 400.79/400.99 c nbDecision=81000 #constraints=21565 422.88/423.08 c nbDecision=81500 #constraints=21889 428.98/429.19 c nbDecision=82000 #constraints=22000 429.08/429.22 c nbDecision=82500 #constraints=22003 429.08/429.26 c nbDecision=83000 #constraints=22004 429.18/429.31 c nbDecision=83500 #constraints=22006 429.18/429.38 c nbDecision=84000 #constraints=22016 438.78/438.95 c nbDecision=84500 #constraints=22170 445.48/445.67 c nbDecision=85000 #constraints=22260 458.77/458.99 c nbDecision=85500 #constraints=22447 483.97/484.11 c nbDecision=86000 #constraints=22755 492.57/492.74 c nbDecision=86500 #constraints=22884 500.26/500.43 c nbDecision=87000 #constraints=23001 521.76/521.95 c nbDecision=87500 #constraints=23319 527.56/527.71 c nbDecision=88000 #constraints=23383 527.76/527.95 c nbDecision=88500 #constraints=23385 527.76/527.97 c nbDecision=89000 #constraints=23385 529.96/530.12 c nbDecision=89500 #constraints=23421 538.45/538.69 c nbDecision=90000 #constraints=23517 539.15/539.36 c nbDecision=90500 #constraints=23525 549.55/549.78 c nbDecision=91000 #constraints=23645 557.26/557.41 c nbDecision=91500 #constraints=23741 561.96/562.14 c nbDecision=92000 #constraints=23793 561.96/562.15 c nbDecision=92500 #constraints=23793 563.85/564.01 c nbDecision=93000 #constraints=23823 563.85/564.04 c nbDecision=93500 #constraints=23824 563.85/564.07 c nbDecision=94000 #constraints=23825 563.85/564.09 c nbDecision=94500 #constraints=23825 563.95/564.12 c nbDecision=95000 #constraints=23827 563.95/564.13 c nbDecision=95500 #constraints=23827 563.95/564.16 c nbDecision=96000 #constraints=23828 563.95/564.19 c nbDecision=96500 #constraints=23829 564.06/564.21 c nbDecision=97000 #constraints=23829 564.06/564.24 c nbDecision=97500 #constraints=23830 564.06/564.26 c nbDecision=98000 #constraints=23831 564.06/564.28 c nbDecision=98500 #constraints=23831 572.45/572.68 c nbDecision=99000 #constraints=23932 576.05/576.25 c nbDecision=99500 #constraints=23976 585.05/585.23 c nbDecision=100000 #constraints=24079 612.83/613.08 c nbDecision=100500 #constraints=24393 629.73/629.95 c nbDecision=101000 #constraints=24591 632.43/632.63 c nbDecision=101500 #constraints=24624 639.82/640.09 c nbDecision=102000 #constraints=24711 639.93/640.11 c restart after 102401 decisions 642.32/642.53 c nbDecision=102500 #constraints=24736 661.93/662.18 c nbDecision=103000 #constraints=24976 681.72/681.98 c nbDecision=103500 #constraints=25191 709.11/709.36 c nbDecision=104000 #constraints=25498 734.71/734.91 c nbDecision=104500 #constraints=25799 739.41/739.63 c nbDecision=105000 #constraints=25857 740.41/740.65 c nbDecision=105500 #constraints=25871 767.00/767.26 c nbDecision=106000 #constraints=26155 804.59/804.82 c nbDecision=106500 #constraints=26520 841.87/842.12 c nbDecision=107000 #constraints=26892 850.57/850.90 c nbDecision=107500 #constraints=26987 881.77/882.03 c nbDecision=108000 #constraints=27297 913.86/914.17 c nbDecision=108500 #constraints=27598 956.25/956.57 c nbDecision=109000 #constraints=27973 987.84/988.12 c nbDecision=109500 #constraints=28247 1002.54/1002.88 c nbDecision=110000 #constraints=28438 1013.33/1013.61 c nbDecision=110500 #constraints=28588 1021.13/1021.45 c nbDecision=111000 #constraints=28690 1027.03/1027.38 c nbDecision=111500 #constraints=28760 1048.53/1048.84 c nbDecision=112000 #constraints=29000 1058.22/1058.52 c nbDecision=112500 #constraints=29089 1078.42/1078.76 c nbDecision=113000 #constraints=29272 1094.32/1094.60 c nbDecision=113500 #constraints=29433 1132.00/1132.37 c nbDecision=114000 #constraints=29776 1170.30/1170.70 c nbDecision=114500 #constraints=30118 1190.49/1190.88 c nbDecision=115000 #constraints=30291 1197.19/1197.54 c nbDecision=115500 #constraints=30348 1201.79/1202.10 c nbDecision=116000 #constraints=30391 1230.58/1230.99 c nbDecision=116500 #constraints=30652 1271.57/1271.94 c nbDecision=117000 #constraints=31006 1288.06/1288.42 c nbDecision=117500 #constraints=31159 1329.26/1329.63 c nbDecision=118000 #constraints=31512 1367.35/1367.71 c nbDecision=118500 #constraints=31823 1406.44/1406.86 c nbDecision=119000 #constraints=32151 1472.52/1472.93 c nbDecision=119500 #constraints=32561 1501.61/1502.07 c nbDecision=120000 #constraints=32773 1533.20/1533.68 c nbDecision=120500 #constraints=33027 1572.89/1573.31 c nbDecision=121000 #constraints=33328 1580.29/1580.79 c nbDecision=121500 #constraints=33380 1584.49/1584.91 c nbDecision=122000 #constraints=33417 1600.49/1600.93 c nbDecision=122500 #constraints=33534 1637.18/1637.67 c nbDecision=123000 #constraints=33801 1669.37/1669.88 c nbDecision=123500 #constraints=34037 1671.57/1672.02 c nbDecision=124000 #constraints=34062 1685.06/1685.57 c nbDecision=124500 #constraints=34173 1685.26/1685.75 c nbDecision=125000 #constraints=34174 1685.26/1685.79 c nbDecision=125500 #constraints=34176 1685.46/1685.98 c nbDecision=126000 #constraints=34178 1685.87/1686.34 c nbDecision=126500 #constraints=34181 1689.07/1689.55 c nbDecision=127000 #constraints=34218 1715.30/1715.82 c nbDecision=127500 #constraints=34407 1747.54/1748.13 c nbDecision=128000 #constraints=34627 1768.14/1768.74 c nbDecision=128500 #constraints=34783 1800.03/1800.61 Received signal 15 1800.03/1800.63 1800.03/1800.63 s UNKNOWN 1800.03/1800.63 1800.03/1800.63 c user time= 1799.71 s 1800.03/1800.63 c system time= 0.359945 s 1800.03/1800.63 c wall clock time=1800.64
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-420823-1177432369 -o ROOT/results/node12/solver-420823-1177432369 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420823-1177432369/instance-420823-1177432369.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 19159 /proc/meminfo: memFree=1829616/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=1468 CPUtime=0 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 219274298 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 367 163 130 317 0 46 0 [startup+0.0479389 s] /proc/loadavg: 1.00 1.00 1.00 3/77 19159 /proc/meminfo: memFree=1829616/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=2260 CPUtime=0.04 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 386 0 0 0 4 0 0 0 18 0 1 0 219274298 2314240 369 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 565 369 130 317 0 244 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2260 [startup+0.101945 s] /proc/loadavg: 1.00 1.00 1.00 3/77 19159 /proc/meminfo: memFree=1829616/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=3316 CPUtime=0.09 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 642 0 0 0 9 0 0 0 18 0 1 0 219274298 3395584 625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 829 625 130 317 0 508 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3316 [startup+0.301963 s] /proc/loadavg: 1.00 1.00 1.00 3/77 19159 /proc/meminfo: memFree=1829616/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=6532 CPUtime=0.29 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 1439 0 0 0 29 0 0 0 19 0 1 0 219274298 6688768 1368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 1633 1368 139 317 0 1312 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6532 [startup+0.702002 s] /proc/loadavg: 1.00 1.00 1.00 3/77 19159 /proc/meminfo: memFree=1829616/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=6532 CPUtime=0.69 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 1440 0 0 0 69 0 0 0 23 0 1 0 219274298 6688768 1369 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604450 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 1633 1369 139 317 0 1312 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6532 [startup+1.50208 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19160 /proc/meminfo: memFree=1824488/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=6944 CPUtime=1.49 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 1532 0 0 0 149 0 0 0 25 0 1 0 219274298 7110656 1461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 1736 1461 139 317 0 1415 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6944 [startup+3.10124 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19160 /proc/meminfo: memFree=1823976/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=7604 CPUtime=3.09 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 1718 0 0 0 309 0 0 0 25 0 1 0 219274298 7786496 1647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711020 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 1901 1647 139 317 0 1580 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7604 [startup+6.30156 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19160 /proc/meminfo: memFree=1821992/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=9452 CPUtime=6.29 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 2182 0 0 0 628 1 0 0 25 0 1 0 219274298 9678848 2111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 2363 2111 139 317 0 2042 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9452 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19160 /proc/meminfo: memFree=1818984/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=12236 CPUtime=12.69 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 2873 0 0 0 1267 2 0 0 25 0 1 0 219274298 12529664 2802 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563761 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 3059 2802 139 317 0 2738 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12236 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1815912/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=15032 CPUtime=25.48 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 3571 0 0 0 2546 2 0 0 25 0 1 0 219274298 15392768 3500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 3758 3500 139 317 0 3437 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15032 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1811880/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=19372 CPUtime=51.08 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 4605 0 0 0 5104 4 0 0 25 0 1 0 219274298 19836928 4534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563414 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 4843 4534 139 317 0 4522 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19372 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1804456/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=26696 CPUtime=102.27 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 6430 0 0 0 10221 6 0 0 25 0 1 0 219274298 27336704 6359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 6674 6359 139 317 0 6353 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 26696 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1797736/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=34568 CPUtime=162.24 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 8226 0 0 0 16217 7 0 0 25 0 1 0 219274298 35397632 8048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 8642 8048 139 317 0 8321 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 34568 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1791976/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=40008 CPUtime=222.23 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 9647 0 0 0 22214 9 0 0 25 0 1 0 219274298 40968192 9469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 10002 9469 139 317 0 9681 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 40008 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1787688/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=44304 CPUtime=282.22 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 10684 0 0 0 28212 10 0 0 25 0 1 0 219274298 45367296 10506 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 11076 10506 139 317 0 10755 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 44304 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1784168/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=48028 CPUtime=342.21 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 11554 0 0 0 34209 12 0 0 25 0 1 0 219274298 49180672 11376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 12007 11376 139 317 0 11686 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 48028 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1781544/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=51116 CPUtime=402.19 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 12192 0 0 0 40206 13 0 0 25 0 1 0 219274298 52342784 12014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 12779 12014 139 317 0 12458 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 51116 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1778984/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=54016 CPUtime=462.18 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 12838 0 0 0 46204 14 0 0 25 0 1 0 219274298 55312384 12660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 13504 12660 139 317 0 13183 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 54016 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1775976/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=57672 CPUtime=522.16 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 13578 0 0 0 52201 15 0 0 25 0 1 0 219274298 59056128 13400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 14418 13400 139 317 0 14097 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 57672 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1773544/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=59984 CPUtime=582.15 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 14180 0 0 0 58199 16 0 0 25 0 1 0 219274298 61423616 14002 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 14996 14002 139 317 0 14675 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 59984 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1770984/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=62636 CPUtime=642.13 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 14810 0 0 0 64197 16 0 0 25 0 1 0 219274298 64139264 14632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 15659 14632 139 317 0 15338 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 62636 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1764264/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=68912 CPUtime=822.08 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 16418 0 0 0 82189 19 0 0 25 0 1 0 219274298 70565888 16240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563407 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 17228 16240 139 317 0 16907 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 68912 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 3/78 19162 /proc/meminfo: memFree=1762280/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=70948 CPUtime=882.07 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 16906 0 0 0 88187 20 0 0 25 0 1 0 219274298 72650752 16728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 17737 16728 139 317 0 17416 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 70948 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1760360/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=72860 CPUtime=942.05 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 17378 0 0 0 94184 21 0 0 25 0 1 0 219274298 74608640 17200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 18215 17200 139 317 0 17894 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 72860 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1758376/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=74796 CPUtime=1002.04 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 17874 0 0 0 100182 22 0 0 25 0 1 0 219274298 76591104 17696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 18699 17696 139 317 0 18378 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 74796 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1755688/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=77368 CPUtime=1062.02 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 18536 0 0 0 106179 23 0 0 25 0 1 0 219274298 79224832 18358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716218 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 19342 18358 139 317 0 19021 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 77368 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1753576/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=79500 CPUtime=1122.01 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 19046 0 0 0 112177 24 0 0 25 0 1 0 219274298 81408000 18868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 19875 18868 139 317 0 19554 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 79500 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1751336/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=81828 CPUtime=1182 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 19603 0 0 0 118175 25 0 0 25 0 1 0 219274298 83791872 19425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 20457 19425 139 317 0 20136 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 81828 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1748968/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=83928 CPUtime=1241.98 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 20157 0 0 0 124172 26 0 0 25 0 1 0 219274298 85942272 19979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 20982 19979 139 317 0 20661 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 83928 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1746728/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=87020 CPUtime=1301.96 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 20972 0 0 0 130170 26 0 0 25 0 1 0 219274298 89108480 20516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 21755 20516 139 317 0 21434 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 87020 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1744872/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=88756 CPUtime=1361.95 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 21426 0 0 0 136167 28 0 0 25 0 1 0 219274298 90886144 20970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718453 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 22189 20970 139 317 0 21868 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 88756 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1742824/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=90916 CPUtime=1421.93 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 21975 0 0 0 142165 28 0 0 25 0 1 0 219274298 93097984 21453 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 22729 21453 139 317 0 22408 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 90916 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1741416/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=92884 CPUtime=1481.91 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 22448 0 0 0 148162 29 0 0 25 0 1 0 219274298 95113216 21794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 23221 21794 139 317 0 22900 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 92884 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1739496/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=95164 CPUtime=1541.9 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 23051 0 0 0 154160 30 0 0 25 0 1 0 219274298 97447936 22265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 23791 22265 139 317 0 23470 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 95164 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1737768/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=96876 CPUtime=1601.89 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 23497 0 0 0 160158 31 0 0 25 0 1 0 219274298 99201024 22678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 24219 22678 139 317 0 23898 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 96876 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19162 /proc/meminfo: memFree=1736232/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=98600 CPUtime=1661.87 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 23881 0 0 0 166155 32 0 0 25 0 1 0 219274298 100966400 23062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563461 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 24650 23062 139 317 0 24329 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 98600 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 19318 /proc/meminfo: memFree=1732912/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=100760 CPUtime=1721.77 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 24400 0 0 0 172143 34 0 0 25 0 1 0 219274298 103178240 23515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/19159/statm: 25190 23515 139 317 0 24869 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 100760 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19360 /proc/meminfo: memFree=1732072/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=102864 CPUtime=1781.73 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 24948 0 0 0 178138 35 0 0 25 0 1 0 219274298 105332736 23997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 25716 23997 139 317 0 25395 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 102864 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19360 /proc/meminfo: memFree=1731560/2055920 swapFree=4160056/4192956 [pid=19159] ppid=19157 vsize=103384 CPUtime=1800.03 /proc/19159/stat : 19159 (oree) R 19157 19159 18403 0 -1 4194304 25083 0 0 0 179968 35 0 0 25 0 1 0 219274298 105865216 24132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19159/statm: 25846 24132 139 317 0 25525 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 103384 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.66 CPU time (s): 1800.1 CPU user time (s): 1799.72 CPU system time (s): 0.376942 CPU usage (%): 99.9687 Max. virtual memory (cumulated for all children) (KiB): 103384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.72 system time used= 0.376942 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25100 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= 37237 runsolver used 1.39379 second user time and 3.9624 second system time The end
Begin job on node12 on Tue Apr 24 16:32:49 UTC 2007 IDJOB= 420823 IDBENCH= 47872 IDSOLVER= 172 FILE ID= node12/420823-1177432369 PBS_JOBID= 4675766 Free space on /tmp= 66385 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Difficult/contest05/QG/QG6-gensys-brn007.sat05-2684.reshuffled-07.opb COMMAND LINE= oree /tmp/evaluation/420823-1177432369/instance-420823-1177432369.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-420823-1177432369 -o ROOT/results/node12/solver-420823-1177432369 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420823-1177432369/instance-420823-1177432369.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 061d1927e7e07e644145fa1f96750723 RANDOM SEED= 815985203 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.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: 1830088 kB Buffers: 24732 kB Cached: 126260 kB SwapCached: 11460 kB Active: 101168 kB Inactive: 75748 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1830088 kB SwapTotal: 4192956 kB SwapFree: 4160056 kB Dirty: 1976 kB Writeback: 0 kB Mapped: 33072 kB Slab: 34460 kB Committed_AS: 6115168 kB PageTables: 1796 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= 66385 MiB End job on node12 on Tue Apr 24 17:02:52 UTC 2007