Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 233 | 1800.38 | 1800.92 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8a3.opb |
MD5SUM | 5018d2b93ba4422fc03308c57dbd6158 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 191 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 191 |
Optimality of the best value was proved | NO |
Number of variables | 528 |
Total number of constraints | 1816 |
Number of constraints which are clauses | 1816 |
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 | 2 |
Maximum length of a constraint | 8 |
Number of terms in the objective function | 528 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 528 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 528 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.01 c ...done 0.00/0.01 c #vars=528 #constraints=1817 hasObjective=yes 0.00/0.03 c res. mode=mod 0.00/0.03 c VSIDS like heuristics 0.00/0.03 c complete search running 0.00/0.08 c restart after 401 decisions 0.09/0.09 c nbDecision=500 #constraints=1947 0.09/0.12 c nbDecision=567 #constraints=1984 0.09/0.12 c linear search for optimum 0.09/0.12 o 245 0.09/0.17 c nbDecision=597 #constraints=1988 0.09/0.17 o 234 0.19/0.28 c restart after 801 decisions 0.29/0.39 c nbDecision=1000 #constraints=2090 0.59/0.68 c nbDecision=1500 #constraints=2218 0.69/0.74 c restart after 1601 decisions 0.89/1.00 c nbDecision=2000 #constraints=2330 1.29/1.39 c nbDecision=2500 #constraints=2458 1.79/1.83 c nbDecision=3000 #constraints=2580 1.99/2.04 c restart after 3201 decisions 2.29/2.38 c nbDecision=3500 #constraints=2692 2.89/2.96 c nbDecision=4000 #constraints=2818 3.59/3.63 c nbDecision=4500 #constraints=2946 4.29/4.36 c nbDecision=5000 #constraints=3070 5.09/5.17 c nbDecision=5500 #constraints=3196 5.99/6.07 c nbDecision=6000 #constraints=3324 6.79/6.84 c restart after 6401 decisions 7.09/7.17 c nbDecision=6500 #constraints=3432 8.18/8.21 c nbDecision=7000 #constraints=3558 9.28/9.32 c nbDecision=7500 #constraints=3682 10.49/10.55 c nbDecision=8000 #constraints=3812 11.79/11.81 c nbDecision=8500 #constraints=3938 13.09/13.15 c nbDecision=9000 #constraints=4064 14.58/14.62 c nbDecision=9500 #constraints=4181 16.09/16.12 c nbDecision=10000 #constraints=4309 17.59/17.68 c nbDecision=10500 #constraints=4435 19.28/19.32 c nbDecision=11000 #constraints=4563 20.89/20.99 c nbDecision=11500 #constraints=4685 22.78/22.80 c nbDecision=12000 #constraints=4813 24.58/24.66 c nbDecision=12500 #constraints=4937 25.79/25.82 c restart after 12801 decisions 27.09/27.17 c nbDecision=13000 #constraints=5051 29.08/29.11 c nbDecision=13500 #constraints=5169 31.18/31.27 c nbDecision=14000 #constraints=5299 33.38/33.44 c nbDecision=14500 #constraints=5423 35.68/35.76 c nbDecision=15000 #constraints=5553 37.98/38.01 c nbDecision=15500 #constraints=5671 40.38/40.47 c nbDecision=16000 #constraints=5801 42.88/42.94 c nbDecision=16500 #constraints=5925 45.47/45.54 c nbDecision=17000 #constraints=6053 49.08/49.20 c nbDecision=17500 #constraints=6169 51.98/52.01 c nbDecision=18000 #constraints=6299 54.77/54.86 c nbDecision=18500 #constraints=6425 57.78/57.80 c nbDecision=19000 #constraints=6553 60.57/60.70 c nbDecision=19500 #constraints=6673 63.78/63.82 c nbDecision=20000 #constraints=6803 66.87/66.94 c nbDecision=20500 #constraints=6927 70.17/70.23 c nbDecision=21000 #constraints=7055 73.37/73.49 c nbDecision=21500 #constraints=7179 76.87/76.97 c nbDecision=22000 #constraints=7307 80.37/80.42 c nbDecision=22500 #constraints=7433 83.87/83.99 c nbDecision=23000 #constraints=7561 87.47/87.56 c nbDecision=23500 #constraints=7685 91.07/91.14 c nbDecision=24000 #constraints=7805 94.86/94.97 c nbDecision=24500 #constraints=7933 98.77/98.82 c nbDecision=25000 #constraints=8059 102.67/102.78 c nbDecision=25500 #constraints=8187 103.37/103.44 c restart after 25601 decisions 107.77/107.88 c nbDecision=26000 #constraints=8289 111.86/111.96 c nbDecision=26500 #constraints=8415 116.16/116.24 c nbDecision=27000 #constraints=8545 120.26/120.33 c nbDecision=27500 #constraints=8665 124.67/124.74 c nbDecision=28000 #constraints=8795 129.06/129.10 c nbDecision=28500 #constraints=8919 133.56/133.65 c nbDecision=29000 #constraints=9047 137.96/138.01 c nbDecision=29500 #constraints=9167 142.66/142.71 c nbDecision=30000 #constraints=9295 147.36/147.47 c nbDecision=30500 #constraints=9423 152.25/152.37 c nbDecision=31000 #constraints=9551 157.15/157.27 c nbDecision=31500 #constraints=9677 162.05/162.18 c nbDecision=32000 #constraints=9801 167.16/167.24 c nbDecision=32500 #constraints=9929 172.35/172.48 c nbDecision=33000 #constraints=10057 177.45/177.54 c nbDecision=33500 #constraints=10177 183.25/183.39 c nbDecision=34000 #constraints=10302 188.75/188.81 c nbDecision=34500 #constraints=10430 194.14/194.25 c nbDecision=35000 #constraints=10554 199.74/199.81 c nbDecision=35500 #constraints=10682 205.24/205.31 c nbDecision=36000 #constraints=10804 210.93/211.07 c nbDecision=36500 #constraints=10932 216.74/216.84 c nbDecision=37000 #constraints=11058 222.64/222.73 c nbDecision=37500 #constraints=11186 228.34/228.43 c nbDecision=38000 #constraints=11306 234.43/234.52 c nbDecision=38500 #constraints=11434 240.53/240.63 c nbDecision=39000 #constraints=11560 246.73/246.83 c nbDecision=39500 #constraints=11688 252.83/252.97 c nbDecision=40000 #constraints=11810 259.22/259.36 c nbDecision=40500 #constraints=11938 265.52/265.68 c nbDecision=41000 #constraints=12062 272.03/272.18 c nbDecision=41500 #constraints=12188 279.92/280.06 c nbDecision=42000 #constraints=12308 286.62/286.73 c nbDecision=42500 #constraints=12436 293.42/293.57 c nbDecision=43000 #constraints=12564 300.31/300.43 c nbDecision=43500 #constraints=12692 307.01/307.15 c nbDecision=44000 #constraints=12814 314.12/314.29 c nbDecision=44500 #constraints=12944 321.22/321.31 c nbDecision=45000 #constraints=13070 328.31/328.49 c nbDecision=45500 #constraints=13198 335.31/335.41 c nbDecision=46000 #constraints=13316 342.71/342.82 c nbDecision=46500 #constraints=13446 349.91/350.08 c nbDecision=47000 #constraints=13570 357.50/357.62 c nbDecision=47500 #constraints=13698 364.40/364.57 c nbDecision=48000 #constraints=13812 372.09/372.25 c nbDecision=48500 #constraints=13940 379.80/379.91 c nbDecision=49000 #constraints=14066 387.60/387.71 c nbDecision=49500 #constraints=14194 395.19/395.39 c nbDecision=50000 #constraints=14316 403.29/403.45 c nbDecision=50500 #constraints=14446 411.19/411.37 c nbDecision=51000 #constraints=14570 414.49/414.68 c restart after 51201 decisions 421.68/421.88 c nbDecision=51500 #constraints=14678 429.68/429.84 c nbDecision=52000 #constraints=14804 437.99/438.13 c nbDecision=52500 #constraints=14932 446.09/446.30 c nbDecision=53000 #constraints=15058 454.58/454.75 c nbDecision=53500 #constraints=15186 462.68/462.81 c nbDecision=54000 #constraints=15306 472.47/472.62 c nbDecision=54500 #constraints=15426 481.08/481.22 c nbDecision=55000 #constraints=15554 489.67/489.83 c nbDecision=55500 #constraints=15680 498.37/498.53 c nbDecision=56000 #constraints=15806 506.97/507.11 c nbDecision=56500 #constraints=15928 515.87/516.08 c nbDecision=57000 #constraints=16056 524.87/525.04 c nbDecision=57500 #constraints=16184 533.96/534.17 c nbDecision=58000 #constraints=16312 542.76/542.94 c nbDecision=58500 #constraints=16432 552.06/552.29 c nbDecision=59000 #constraints=16562 561.25/561.42 c nbDecision=59500 #constraints=16686 570.56/570.71 c nbDecision=60000 #constraints=16812 579.35/579.56 c nbDecision=60500 #constraints=16928 588.85/589.09 c nbDecision=61000 #constraints=17056 598.55/598.70 c nbDecision=61500 #constraints=17182 608.05/608.29 c nbDecision=62000 #constraints=17308 617.64/617.89 c nbDecision=62500 #constraints=17432 627.54/627.73 c nbDecision=63000 #constraints=17560 637.34/637.59 c nbDecision=63500 #constraints=17686 647.33/647.59 c nbDecision=64000 #constraints=17814 657.23/657.43 c nbDecision=64500 #constraints=17936 667.43/667.60 c nbDecision=65000 #constraints=18064 677.63/677.83 c nbDecision=65500 #constraints=18190 687.82/688.01 c nbDecision=66000 #constraints=18316 697.32/697.58 c nbDecision=66391 #constraints=18396 697.32/697.58 o 233 702.12/702.34 c nbDecision=66500 #constraints=18431 720.82/721.06 c nbDecision=67000 #constraints=18559 739.51/739.70 c nbDecision=67500 #constraints=18685 757.91/758.12 c nbDecision=68000 #constraints=18809 776.90/777.10 c nbDecision=68500 #constraints=18937 795.89/796.14 c nbDecision=69000 #constraints=19065 813.80/814.02 c nbDecision=69500 #constraints=19183 833.19/833.49 c nbDecision=70000 #constraints=19313 852.48/852.72 c nbDecision=70500 #constraints=19441 870.78/871.07 c nbDecision=71000 #constraints=19561 890.78/891.00 c nbDecision=71500 #constraints=19693 909.97/910.20 c nbDecision=72000 #constraints=19819 927.76/928.02 c nbDecision=72500 #constraints=19933 947.86/948.18 c nbDecision=73000 #constraints=20065 967.26/967.59 c nbDecision=73500 #constraints=20191 986.55/986.81 c nbDecision=74000 #constraints=20315 1006.15/1006.44 c nbDecision=74500 #constraints=20441 1025.74/1026.08 c nbDecision=75000 #constraints=20567 1044.93/1045.24 c nbDecision=75500 #constraints=20689 1063.74/1064.07 c nbDecision=76000 #constraints=20807 1083.83/1084.17 c nbDecision=76500 #constraints=20935 1103.83/1104.14 c nbDecision=77000 #constraints=21061 1123.82/1124.17 c nbDecision=77500 #constraints=21187 1143.91/1144.25 c nbDecision=78000 #constraints=21313 1164.51/1164.89 c nbDecision=78500 #constraints=21443 1184.00/1184.34 c nbDecision=79000 #constraints=21563 1204.30/1204.67 c nbDecision=79500 #constraints=21689 1225.00/1225.31 c nbDecision=80000 #constraints=21817 1245.39/1245.72 c nbDecision=80500 #constraints=21943 1265.58/1265.98 c nbDecision=81000 #constraints=22067 1286.18/1286.59 c nbDecision=81500 #constraints=22193 1306.08/1306.48 c nbDecision=82000 #constraints=22313 1326.87/1327.25 c nbDecision=82500 #constraints=22439 1348.17/1348.57 c nbDecision=83000 #constraints=22569 1368.46/1368.89 c nbDecision=83500 #constraints=22691 1388.95/1389.34 c nbDecision=84000 #constraints=22813 1410.44/1410.84 c nbDecision=84500 #constraints=22943 1430.95/1431.34 c nbDecision=85000 #constraints=23054 1452.84/1453.28 c nbDecision=85500 #constraints=23186 1474.13/1474.53 c nbDecision=86000 #constraints=23312 1495.12/1495.55 c nbDecision=86500 #constraints=23436 1516.82/1517.22 c nbDecision=87000 #constraints=23564 1538.22/1538.65 c nbDecision=87500 #constraints=23690 1558.91/1559.34 c nbDecision=88000 #constraints=23810 1581.00/1581.43 c nbDecision=88500 #constraints=23940 1602.40/1602.89 c nbDecision=89000 #constraints=24064 1624.20/1624.61 c nbDecision=89500 #constraints=24190 1646.49/1646.90 c nbDecision=90000 #constraints=24320 1667.99/1668.48 c nbDecision=90500 #constraints=24444 1688.58/1689.07 c nbDecision=91000 #constraints=24560 1710.97/1711.41 c nbDecision=91500 #constraints=24688 1733.57/1734.01 c nbDecision=92000 #constraints=24818 1754.82/1755.39 c nbDecision=92500 #constraints=24938 1777.67/1778.22 c nbDecision=93000 #constraints=25068 1799.95/1800.55 c nbDecision=93500 #constraints=25194 1800.06/1800.60 Received signal 15 1800.25/1800.87 1800.25/1800.87 s SATISFIABLE 1800.25/1800.87 v -x1 -x2 x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 x15 -x16 -x17 x18 x19 -x20 -x21 x22 x23 -x24 x25 -x26 -x27 x28 -x29 -x30 1800.25/1800.87 v x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 x47 -x48 -x49 x50 x51 -x52 -x53 x54 x55 -x56 x57 -x58 1800.25/1800.87 v -x59 x60 -x61 -x62 x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 x79 -x80 -x81 x82 x83 -x84 -x85 x86 1800.25/1800.87 v x87 -x88 x89 -x90 -x91 x92 -x93 -x94 x95 -x96 -x97 x98 x99 -x100 -x101 x102 x103 -x104 x105 -x106 -x107 -x108 x109 -x110 x111 1800.25/1800.87 v -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 x133 -x134 1800.25/1800.87 v x135 -x136 x137 -x138 -x139 x140 -x141 x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 1800.25/1800.87 v -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 -x173 x174 x175 -x176 x177 -x178 x179 -x180 1800.25/1800.87 v x181 -x182 x183 -x184 x185 -x186 -x187 x188 x189 -x190 x191 -x192 -x193 x194 -x195 x196 -x197 x198 -x199 x200 -x201 -x202 x203 1800.25/1800.87 v -x204 -x205 x206 -x207 x208 -x209 x210 -x211 x212 -x213 x214 x215 -x216 -x217 x218 -x219 x220 -x221 x222 -x223 -x224 -x225 1800.25/1800.87 v -x226 x227 -x228 -x229 x230 -x231 x232 -x233 x234 x235 -x236 -x237 x238 -x239 x240 -x241 x242 -x243 x244 -x245 x246 -x247 x248 1800.25/1800.87 v -x249 -x250 x251 -x252 -x253 x254 -x255 x256 -x257 x258 -x259 x260 x261 -x262 -x263 x264 -x265 x266 -x267 x268 -x269 x270 -x271 1800.25/1800.87 v x272 -x273 -x274 x275 -x276 -x277 x278 -x279 x280 -x281 x282 -x283 x284 -x285 -x286 x287 -x288 -x289 x290 -x291 x292 -x293 1800.25/1800.87 v x294 -x295 x296 -x297 x298 x299 -x300 -x301 x302 -x303 x304 -x305 x306 -x307 x308 -x309 x310 x311 -x312 -x313 x314 -x315 x316 1800.25/1800.87 v -x317 x318 -x319 x320 x321 -x322 -x323 x324 -x325 x326 -x327 x328 -x329 x330 -x331 x332 -x333 -x334 x335 -x336 -x337 x338 -x339 1800.25/1800.87 v x340 -x341 x342 x343 -x344 -x345 x346 -x347 x348 -x349 x350 -x351 x352 -x353 x354 -x355 x356 -x357 x358 x359 -x360 -x361 x362 1800.25/1800.87 v -x363 x364 -x365 x366 -x367 x368 -x369 -x370 x371 -x372 -x373 x374 -x375 x376 -x377 x378 -x379 x380 -x381 -x382 x383 -x384 1800.25/1800.87 v -x385 x386 -x387 x388 -x389 x390 -x391 x392 x393 -x394 -x395 x396 -x397 x398 -x399 x400 -x401 x402 -x403 x404 -x405 -x406 x407 1800.25/1800.87 v -x408 -x409 x410 -x411 x412 -x413 x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 x422 -x423 x424 -x425 x426 -x427 x428 -x429 1800.25/1800.87 v -x430 x431 -x432 -x433 x434 -x435 x436 -x437 x438 -x439 x440 x441 -x442 -x443 x444 -x445 x446 -x447 x448 -x449 x450 -x451 x452 1800.25/1800.87 v -x453 x454 x455 -x456 -x457 x458 -x459 x460 -x461 x462 -x463 x464 -x465 x466 x467 -x468 -x469 x470 -x471 x472 -x473 x474 -x475 1800.25/1800.87 v -x476 -x477 -x478 x479 -x480 -x481 x482 -x483 x484 -x485 x486 -x487 x488 -x489 x490 x491 -x492 -x493 x494 -x495 x496 -x497 1800.25/1800.87 v x498 x499 -x500 -x501 x502 -x503 x504 -x505 x506 -x507 x508 -x509 x510 -x511 x512 x513 -x514 -x515 x516 -x517 x518 -x519 x520 1800.25/1800.87 v -x521 x522 -x523 x524 x525 -x526 -x527 x528 1800.25/1800.87 1800.25/1800.87 c user time= 1799.9 s 1800.25/1800.87 c system time= 0.429934 s 1800.25/1800.87 c wall clock time=1800.87
OK 233
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node51/watcher-357162-1176989517 -o ROOT/results/node51/solver-357162-1176989517 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357162-1176989517/instance-357162-1176989517.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.92 0.98 0.99 3/64 17092 /proc/meminfo: memFree=1696024/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=1468 CPUtime=0 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 53796812 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 367 164 130 317 0 46 0 [startup+0.0927649 s] /proc/loadavg: 0.92 0.98 0.99 3/64 17092 /proc/meminfo: memFree=1696024/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=2128 CPUtime=0.09 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 347 0 0 0 9 0 0 0 18 0 1 0 53796812 2179072 329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266283 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 532 330 139 317 0 211 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2128 [startup+0.101765 s] /proc/loadavg: 0.92 0.98 0.99 3/64 17092 /proc/meminfo: memFree=1696024/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=2256 CPUtime=0.09 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 357 0 0 0 9 0 0 0 18 0 1 0 53796812 2310144 339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 564 339 139 317 0 243 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2256 [startup+0.301783 s] /proc/loadavg: 0.92 0.98 0.99 3/64 17092 /proc/meminfo: memFree=1696024/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=3176 CPUtime=0.29 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 626 0 0 0 29 0 0 0 19 0 1 0 53796812 3252224 608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 794 608 170 317 0 473 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3176 [startup+0.701819 s] /proc/loadavg: 0.92 0.98 0.99 3/64 17092 /proc/meminfo: memFree=1696024/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=5016 CPUtime=0.69 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 1088 0 0 0 69 0 0 0 22 0 1 0 53796812 5136384 1070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 1254 1070 170 317 0 933 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5016 [startup+1.50189 s] /proc/loadavg: 0.92 0.98 0.99 2/65 17093 /proc/meminfo: memFree=1690960/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=7908 CPUtime=1.49 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 1809 0 0 0 149 0 0 0 25 0 1 0 53796812 8097792 1791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 1977 1791 170 317 0 1656 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7908 [startup+3.10103 s] /proc/loadavg: 0.92 0.98 0.99 2/65 17093 /proc/meminfo: memFree=1687120/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=12016 CPUtime=3.09 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 2846 0 0 0 308 1 0 0 25 0 1 0 53796812 12304384 2828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278906 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 3004 2828 170 317 0 2683 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12016 [startup+6.30132 s] /proc/loadavg: 0.93 0.98 0.99 2/65 17093 /proc/meminfo: memFree=1680080/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=18500 CPUtime=6.29 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 4381 0 0 0 627 2 0 0 25 0 1 0 53796812 18944000 4363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563469 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 4625 4363 170 317 0 4304 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18500 [startup+12.7019 s] /proc/loadavg: 0.93 0.98 0.99 2/65 17093 /proc/meminfo: memFree=1673112/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=24640 CPUtime=12.69 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 5990 0 0 0 1266 3 0 0 25 0 1 0 53796812 25231360 5972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 6160 5972 170 317 0 5839 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24640 [startup+25.501 s] /proc/loadavg: 0.95 0.98 0.99 2/65 17093 /proc/meminfo: memFree=1660440/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=37436 CPUtime=25.49 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 9049 0 0 0 2544 5 0 0 25 0 1 0 53796812 38334464 9031 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 9359 9031 170 317 0 9038 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 37436 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/65 17093 /proc/meminfo: memFree=1644568/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=56208 CPUtime=51.08 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 13046 0 0 0 5101 7 0 0 25 0 1 0 53796812 57556992 13028 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 14052 13028 170 317 0 13731 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 56208 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 17093 /proc/meminfo: memFree=1624472/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=74684 CPUtime=102.27 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 18023 0 0 0 10216 11 0 0 25 0 1 0 53796812 76476416 17955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 18671 17955 170 317 0 18350 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 74684 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17093 /proc/meminfo: memFree=1608216/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=89512 CPUtime=162.25 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 22115 0 0 0 16212 13 0 0 25 0 1 0 53796812 91660288 22047 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 22378 22047 170 317 0 22057 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 89512 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17093 /proc/meminfo: memFree=1588376/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=115524 CPUtime=222.24 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 27028 0 0 0 22208 16 0 0 25 0 1 0 53796812 118296576 26960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 28881 26960 170 317 0 28560 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 115524 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 17093 /proc/meminfo: memFree=1575832/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=127372 CPUtime=282.22 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 30166 0 0 0 28204 18 0 0 25 0 1 0 53796812 130428928 30098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 31843 30098 170 317 0 31522 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 127372 [startup+342.301 s] /proc/loadavg: 1.05 1.00 1.00 2/65 17093 /proc/meminfo: memFree=1564888/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=137080 CPUtime=342.21 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 32881 0 0 0 34201 20 0 0 25 0 1 0 53796812 140369920 32813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 34270 32813 170 317 0 33949 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 137080 [startup+402.302 s] /proc/loadavg: 1.06 1.01 1.00 2/65 17093 /proc/meminfo: memFree=1553496/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=148660 CPUtime=402.19 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 35748 0 0 0 40198 21 0 0 25 0 1 0 53796812 152227840 35581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 37165 35581 170 317 0 36844 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 148660 [startup+462.301 s] /proc/loadavg: 1.10 1.04 1.01 2/65 17093 /proc/meminfo: memFree=1545560/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=156276 CPUtime=462.18 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 37861 0 0 0 46196 22 0 0 25 0 1 0 53796812 160026624 37694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 39069 37694 170 317 0 38748 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 156276 [startup+522.302 s] /proc/loadavg: 1.04 1.03 1.00 2/65 17093 /proc/meminfo: memFree=1536984/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=163880 CPUtime=522.17 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 39956 0 0 0 52193 24 0 0 25 0 1 0 53796812 167813120 39789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 40970 39789 170 317 0 40649 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 163880 [startup+582.302 s] /proc/loadavg: 1.01 1.02 1.00 2/65 17093 /proc/meminfo: memFree=1528536/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=171356 CPUtime=582.15 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 42062 0 0 0 58189 26 0 0 25 0 1 0 53796812 175468544 41895 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 42839 41895 170 317 0 42518 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 171356 [startup+642.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 17093 /proc/meminfo: memFree=1520856/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=178436 CPUtime=642.14 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 43958 0 0 0 64187 27 0 0 25 0 1 0 53796812 182718464 43791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 44609 43791 170 317 0 44288 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 178436 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17093 /proc/meminfo: memFree=1491416/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=225732 CPUtime=942.06 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 54825 0 0 0 94174 32 0 0 25 0 1 0 53796812 231149568 51127 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 56433 51127 170 317 0 56112 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 225732 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17093 /proc/meminfo: memFree=1487960/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=229148 CPUtime=1002.05 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 55685 0 0 0 100172 33 0 0 25 0 1 0 53796812 234647552 51987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 57287 51987 170 317 0 56966 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 229148 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17093 /proc/meminfo: memFree=1483800/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=232600 CPUtime=1062.04 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 56723 0 0 0 106170 34 0 0 25 0 1 0 53796812 238182400 53025 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 58150 53025 170 317 0 57829 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 232600 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17093 /proc/meminfo: memFree=1479704/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=236028 CPUtime=1122.02 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 57746 0 0 0 112167 35 0 0 25 0 1 0 53796812 241692672 54048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 59007 54048 170 317 0 58686 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 236028 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17093 /proc/meminfo: memFree=1475672/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=239456 CPUtime=1182 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 58760 0 0 0 118165 35 0 0 25 0 1 0 53796812 245202944 55062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718322 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 59864 55062 170 317 0 59543 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 239456 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17093 /proc/meminfo: memFree=1472280/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=242760 CPUtime=1241.99 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 59596 0 0 0 124163 36 0 0 25 0 1 0 53796812 248586240 55898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 60690 55898 170 317 0 60369 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 242760 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17093 /proc/meminfo: memFree=1468248/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=245936 CPUtime=1301.98 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 60587 0 0 0 130161 37 0 0 25 0 1 0 53796812 251838464 56889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 61484 56889 170 317 0 61163 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 245936 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17093 /proc/meminfo: memFree=1464280/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=249236 CPUtime=1361.96 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 61575 0 0 0 136159 37 0 0 25 0 1 0 53796812 255217664 57877 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716218 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 62309 57877 170 317 0 61988 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 249236 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17093 /proc/meminfo: memFree=1460376/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=252404 CPUtime=1421.94 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 62550 0 0 0 142157 37 0 0 25 0 1 0 53796812 258461696 58852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 63101 58852 170 317 0 62780 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 252404 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17093 /proc/meminfo: memFree=1457176/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=255580 CPUtime=1481.93 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 63350 0 0 0 148155 38 0 0 25 0 1 0 53796812 261713920 59652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 63895 59652 170 317 0 63574 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 255580 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17093 /proc/meminfo: memFree=1453400/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=258756 CPUtime=1541.92 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 64301 0 0 0 154153 39 0 0 25 0 1 0 53796812 264966144 60603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 64689 60603 170 317 0 64368 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 258756 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17093 /proc/meminfo: memFree=1448792/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=263908 CPUtime=1601.9 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 65471 0 0 0 160151 39 0 0 25 0 1 0 53796812 270241792 61773 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 65977 61773 170 317 0 65656 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 263908 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17093 /proc/meminfo: memFree=1445656/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=266952 CPUtime=1661.89 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 66245 0 0 0 166149 40 0 0 25 0 1 0 53796812 273358848 62547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 66738 62547 170 317 0 66417 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 266952 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17093 /proc/meminfo: memFree=1441880/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=270260 CPUtime=1721.88 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 67221 0 0 0 172147 41 0 0 25 0 1 0 53796812 276746240 63490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 67565 63490 170 317 0 67244 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 270260 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/71 17261 /proc/meminfo: memFree=1436576/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=273164 CPUtime=1781.77 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 68164 0 0 0 178135 42 0 0 25 0 1 0 53796812 279719936 64433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 68291 64433 170 317 0 67970 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 273164 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17291 /proc/meminfo: memFree=1436632/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=274088 CPUtime=1800.06 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 68391 0 0 0 179964 42 0 0 25 0 1 0 53796812 280666112 64660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 68522 64660 170 317 0 68201 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 274088 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17291 /proc/meminfo: memFree=1436632/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=274088 CPUtime=1800.25 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194304 68394 0 0 0 179983 42 0 0 25 0 1 0 53796812 280666112 64663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 68522 64664 170 317 0 68201 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 274088 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17291 /proc/meminfo: memFree=1436632/2055920 swapFree=4183232/4192956 [pid=17092] ppid=17090 vsize=0 CPUtime=1800.35 /proc/17092/stat : 17092 (oree) R 17090 17092 16519 0 -1 4194308 68411 0 0 0 179991 44 0 0 25 0 1 0 53796812 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17092/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.35 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.92 CPU time (s): 1800.38 CPU user time (s): 1799.91 CPU system time (s): 0.468928 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (KiB): 274088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.91 system time used= 0.468928 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68411 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= 1702 runsolver used 1.38679 second user time and 3.61945 second system time The end
Begin job on node51 on Thu Apr 19 13:31:57 UTC 2007 IDJOB= 357162 IDBENCH= 2200 IDSOLVER= 172 FILE ID= node51/357162-1176989517 PBS_JOBID= 4630419 Free space on /tmp= 66460 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a3.opb COMMAND LINE= oree /tmp/evaluation/357162-1176989517/instance-357162-1176989517.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-357162-1176989517 -o ROOT/results/node51/solver-357162-1176989517 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357162-1176989517/instance-357162-1176989517.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 5018d2b93ba4422fc03308c57dbd6158 RANDOM SEED= 343339424 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node51.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.223 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.223 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: 1696496 kB Buffers: 25176 kB Cached: 285564 kB SwapCached: 3556 kB Active: 209576 kB Inactive: 111568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1696496 kB SwapTotal: 4192956 kB SwapFree: 4183232 kB Dirty: 1360 kB Writeback: 0 kB Mapped: 16352 kB Slab: 24356 kB Committed_AS: 2634532 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= 66460 MiB End job on node51 on Thu Apr 19 14:02:00 UTC 2007