Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | OPT | 0 | 989.457 | 989.908 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-enigma.opb |
MD5SUM | 41834777456d00b1f1bcfadb1f825a87 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.147976 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 21 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 20 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 90 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 9 |
Number of bits for the biggest coefficient in the objective function | 4 |
Sum of the numbers in the objective function | 45 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 49638 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 524340 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.00 c ...done 0.00/0.00 c #vars=100 #constraints=43 hasObjective=yes 0.00/0.00 c res. mode=mod 0.00/0.00 c VSIDS like heuristics 0.00/0.00 c complete search running 0.39/0.47 c restart after 401 decisions 0.59/0.62 c nbDecision=500 #constraints=522 1.29/1.31 c restart after 801 decisions 1.89/1.91 c nbDecision=1000 #constraints=1011 4.19/4.28 c nbDecision=1500 #constraints=1509 4.89/4.97 c restart after 1601 decisions 8.19/8.27 c nbDecision=2000 #constraints=2001 13.99/14.06 c nbDecision=2500 #constraints=2502 22.18/22.26 c nbDecision=3000 #constraints=3001 26.28/26.40 c restart after 3201 decisions 33.18/33.26 c nbDecision=3500 #constraints=3490 47.37/47.43 c nbDecision=4000 #constraints=3990 64.27/64.30 c nbDecision=4500 #constraints=4487 84.16/84.20 c nbDecision=5000 #constraints=4989 107.66/107.73 c nbDecision=5500 #constraints=5488 132.84/132.95 c nbDecision=6000 #constraints=5988 153.80/153.96 c restart after 6401 decisions 159.58/159.71 c nbDecision=6500 #constraints=6480 191.43/191.69 c nbDecision=7000 #constraints=6978 225.22/225.46 c nbDecision=7500 #constraints=7477 261.01/261.23 c nbDecision=8000 #constraints=7979 299.69/299.96 c nbDecision=8500 #constraints=8477 341.68/341.99 c nbDecision=9000 #constraints=8980 384.46/384.74 c nbDecision=9500 #constraints=9478 430.05/430.38 c nbDecision=10000 #constraints=9979 480.13/480.42 c nbDecision=10500 #constraints=10477 530.41/530.77 c nbDecision=11000 #constraints=10978 581.89/582.29 c nbDecision=11500 #constraints=11478 636.37/636.72 c nbDecision=12000 #constraints=11977 698.15/698.59 c nbDecision=12500 #constraints=12477 736.83/737.21 c restart after 12801 decisions 756.33/756.74 c nbDecision=13000 #constraints=12967 820.40/820.85 c nbDecision=13500 #constraints=13466 886.27/886.74 c nbDecision=14000 #constraints=13960 953.05/953.53 c nbDecision=14500 #constraints=14461 988.84/989.32 c nbDecision=14753 #constraints=14714 988.84/989.32 c linear search for optimum 988.84/989.32 o 0 989.34/989.89 989.34/989.89 s OPTIMUM FOUND 989.34/989.89 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 989.34/989.89 v -x30 -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 989.34/989.89 v -x56 -x57 -x58 -x59 x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 989.34/989.89 v -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 989.34/989.89 989.34/989.89 c user time= 989.294 s 989.34/989.89 c system time= 0.149977 s 989.34/989.89 c wall clock time=989.893
OK 0
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-363098-1176850726 -o ROOT/results/node59/solver-363098-1176850726 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363098-1176850726/instance-363098-1176850726.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.71 0.91 0.92 3/64 30482 /proc/meminfo: memFree=1833584/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=1468 CPUtime=0 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132982249 1503232 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 367 175 139 317 0 46 0 [startup+0.03343 s] /proc/loadavg: 0.71 0.91 0.92 3/64 30482 /proc/meminfo: memFree=1833584/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=1600 CPUtime=0.03 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 233 0 0 0 3 0 0 0 18 0 1 0 132982249 1638400 215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712475 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 400 215 139 317 0 79 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1600 [startup+0.101442 s] /proc/loadavg: 0.71 0.91 0.92 3/64 30482 /proc/meminfo: memFree=1833584/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=1992 CPUtime=0.09 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 303 0 0 0 9 0 0 0 18 0 1 0 132982249 2039808 285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 498 286 139 317 0 177 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1992 [startup+0.301479 s] /proc/loadavg: 0.71 0.91 0.92 3/64 30482 /proc/meminfo: memFree=1833584/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=2648 CPUtime=0.29 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 493 0 0 0 29 0 0 0 19 0 1 0 132982249 2711552 475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 662 475 139 317 0 341 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2648 [startup+0.701556 s] /proc/loadavg: 0.71 0.91 0.92 3/64 30482 /proc/meminfo: memFree=1833584/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=3688 CPUtime=0.69 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 750 0 0 0 69 0 0 0 23 0 1 0 132982249 3776512 732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284244 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 922 732 139 317 0 601 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3688 [startup+1.50171 s] /proc/loadavg: 0.71 0.91 0.92 2/65 30483 /proc/meminfo: memFree=1830568/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=5008 CPUtime=1.49 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 1085 0 0 0 149 0 0 0 25 0 1 0 132982249 5128192 1067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715645 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 1252 1067 139 317 0 931 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5008 [startup+3.10201 s] /proc/loadavg: 0.71 0.91 0.92 2/65 30483 /proc/meminfo: memFree=1829096/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=7020 CPUtime=3.09 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 1541 0 0 0 309 0 0 0 25 0 1 0 132982249 7188480 1523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 1755 1523 139 317 0 1434 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7020 [startup+6.30162 s] /proc/loadavg: 0.73 0.91 0.92 2/65 30483 /proc/meminfo: memFree=1826408/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=8868 CPUtime=6.29 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 2019 0 0 0 629 0 0 0 25 0 1 0 132982249 9080832 2001 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712571 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 2217 2001 139 317 0 1896 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8868 [startup+12.7018 s] /proc/loadavg: 0.76 0.91 0.92 2/65 30483 /proc/meminfo: memFree=1823464/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=11792 CPUtime=12.69 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 2690 0 0 0 1268 1 0 0 25 0 1 0 132982249 12075008 2672 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 2948 2672 139 317 0 2627 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11792 [startup+25.5013 s] /proc/loadavg: 0.81 0.91 0.92 2/65 30483 /proc/meminfo: memFree=1820200/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=14896 CPUtime=25.48 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 3455 0 0 0 2547 1 0 0 25 0 1 0 132982249 15253504 3437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 3724 3437 139 317 0 3403 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14896 [startup+51.1011 s] /proc/loadavg: 0.87 0.92 0.92 2/65 30483 /proc/meminfo: memFree=1816488/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=18476 CPUtime=51.07 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 4387 0 0 0 5105 2 0 0 25 0 1 0 132982249 18919424 4369 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 4619 4369 139 317 0 4298 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 18476 [startup+102.306 s] /proc/loadavg: 0.94 0.93 0.92 2/65 30483 /proc/meminfo: memFree=1810920/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=24784 CPUtime=102.26 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 5740 0 0 0 10223 3 0 0 25 0 1 0 132982249 25378816 5722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 6196 5722 139 317 0 5875 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 24784 [startup+162.301 s] /proc/loadavg: 0.98 0.94 0.92 2/71 30621 /proc/meminfo: memFree=1804856/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=29408 CPUtime=162.17 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 6900 0 0 0 16212 5 0 0 25 0 1 0 132982249 30113792 6882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 7352 6882 139 317 0 7031 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 29408 [startup+222.302 s] /proc/loadavg: 0.99 0.95 0.92 2/65 30681 /proc/meminfo: memFree=1802408/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=32752 CPUtime=222.12 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 7795 0 0 0 22206 6 0 0 25 0 1 0 132982249 33538048 7777 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 8188 7777 139 317 0 7867 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (KiB) 32752 [startup+282.301 s] /proc/loadavg: 0.99 0.95 0.92 2/65 30681 /proc/meminfo: memFree=1799144/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=35868 CPUtime=282.1 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 8614 0 0 0 28203 7 0 0 25 0 1 0 132982249 36728832 8596 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 8967 8596 139 317 0 8646 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 35868 [startup+342.302 s] /proc/loadavg: 0.99 0.96 0.92 2/65 30681 /proc/meminfo: memFree=1795624/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=40460 CPUtime=342.08 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 9527 0 0 0 34200 8 0 0 25 0 1 0 132982249 41431040 9452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 10115 9452 139 317 0 9794 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 40460 [startup+402.302 s] /proc/loadavg: 0.99 0.96 0.92 2/65 30681 /proc/meminfo: memFree=1792872/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=43788 CPUtime=402.05 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 10217 0 0 0 40197 8 0 0 25 0 1 0 132982249 44838912 10142 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 10947 10142 139 317 0 10626 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 43788 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30681 /proc/meminfo: memFree=1790312/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=47064 CPUtime=462.03 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 10845 0 0 0 46194 9 0 0 25 0 1 0 132982249 48193536 10770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 11766 10770 139 317 0 11445 0 Current children cumulated CPU time (s) 462.03 Current children cumulated vsize (KiB) 47064 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30681 /proc/meminfo: memFree=1788072/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=49336 CPUtime=522.02 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 11435 0 0 0 52192 10 0 0 25 0 1 0 132982249 50520064 11360 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 12334 11360 139 317 0 12013 0 Current children cumulated CPU time (s) 522.02 Current children cumulated vsize (KiB) 49336 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30681 /proc/meminfo: memFree=1785704/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=51608 CPUtime=581.99 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 12022 0 0 0 58189 10 0 0 25 0 1 0 132982249 52846592 11947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563790 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 12902 11947 139 317 0 12581 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 51608 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30681 /proc/meminfo: memFree=1783464/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=53560 CPUtime=641.97 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 12562 0 0 0 64186 11 0 0 25 0 1 0 132982249 54845440 12487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 13390 12487 139 317 0 13069 0 Current children cumulated CPU time (s) 641.97 Current children cumulated vsize (KiB) 53560 [startup+702.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30681 /proc/meminfo: memFree=1781480/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=55536 CPUtime=701.94 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 13048 0 0 0 70183 11 0 0 25 0 1 0 132982249 56868864 12973 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 13884 12973 139 317 0 13563 0 Current children cumulated CPU time (s) 701.94 Current children cumulated vsize (KiB) 55536 [startup+762.304 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30681 /proc/meminfo: memFree=1779560/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=57380 CPUtime=761.92 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 13562 0 0 0 76180 12 0 0 25 0 1 0 132982249 58757120 13487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 14345 13487 139 317 0 14024 0 Current children cumulated CPU time (s) 761.92 Current children cumulated vsize (KiB) 57380 [startup+822.303 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30681 /proc/meminfo: memFree=1777768/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=59072 CPUtime=821.9 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 14058 0 0 0 82177 13 0 0 25 0 1 0 132982249 60489728 13983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 14768 13983 170 317 0 14447 0 Current children cumulated CPU time (s) 821.9 Current children cumulated vsize (KiB) 59072 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30681 /proc/meminfo: memFree=1775912/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=60760 CPUtime=881.87 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 14504 0 0 0 88174 13 0 0 25 0 1 0 132982249 62218240 14429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 15190 14429 170 317 0 14869 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 60760 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30681 /proc/meminfo: memFree=1774120/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=62584 CPUtime=941.86 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 14949 0 0 0 94172 14 0 0 25 0 1 0 132982249 64086016 14874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712500 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 15646 14874 170 317 0 15325 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 62584 Solver just ended. Dumping a history of the last processes samples [startup+947.106 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30681 /proc/meminfo: memFree=1773864/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=62716 CPUtime=946.66 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 14992 0 0 0 94652 14 0 0 25 0 1 0 132982249 64221184 14917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 15679 14917 170 317 0 15358 0 Current children cumulated CPU time (s) 946.66 Current children cumulated vsize (KiB) 62716 [startup+972.701 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30681 /proc/meminfo: memFree=1773160/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=63364 CPUtime=972.24 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 15167 0 0 0 97210 14 0 0 25 0 1 0 132982249 64884736 15092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 15841 15092 170 317 0 15520 0 Current children cumulated CPU time (s) 972.24 Current children cumulated vsize (KiB) 63364 [startup+979.102 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30681 /proc/meminfo: memFree=1772968/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=63624 CPUtime=978.64 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 15213 0 0 0 97850 14 0 0 25 0 1 0 132982249 65150976 15138 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 15906 15138 170 317 0 15585 0 Current children cumulated CPU time (s) 978.64 Current children cumulated vsize (KiB) 63624 [startup+985.502 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30681 /proc/meminfo: memFree=1772840/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=63888 CPUtime=985.04 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 15261 0 0 0 98490 14 0 0 25 0 1 0 132982249 65421312 15186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 15972 15186 170 317 0 15651 0 Current children cumulated CPU time (s) 985.04 Current children cumulated vsize (KiB) 63888 [startup+987.101 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30681 /proc/meminfo: memFree=1772840/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=63888 CPUtime=986.64 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 15267 0 0 0 98650 14 0 0 25 0 1 0 132982249 65421312 15192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 15972 15192 170 317 0 15651 0 Current children cumulated CPU time (s) 986.64 Current children cumulated vsize (KiB) 63888 [startup+988.701 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30681 /proc/meminfo: memFree=1772776/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=64032 CPUtime=988.24 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 15277 0 0 0 98810 14 0 0 25 0 1 0 132982249 65568768 15202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 16008 15202 170 317 0 15687 0 Current children cumulated CPU time (s) 988.24 Current children cumulated vsize (KiB) 64032 [startup+989.502 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30681 /proc/meminfo: memFree=1772776/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=64032 CPUtime=989.04 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194304 15280 0 0 0 98890 14 0 0 25 0 1 0 132982249 65568768 15205 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 16008 15205 170 317 0 15687 0 Current children cumulated CPU time (s) 989.04 Current children cumulated vsize (KiB) 64032 [startup+989.903 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30681 /proc/meminfo: memFree=1807912/2055920 swapFree=4184740/4192956 [pid=30482] ppid=30480 vsize=0 CPUtime=989.44 /proc/30482/stat : 30482 (oree) R 30480 30482 30425 0 -1 4194308 15296 0 0 0 98929 15 0 0 25 0 1 0 132982249 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30482/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 989.44 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 989.908 CPU time (s): 989.457 CPU user time (s): 989.296 CPU system time (s): 0.160975 CPU usage (%): 99.9544 Max. virtual memory (cumulated for all children) (KiB): 64032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 989.296 system time used= 0.160975 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15296 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= 7 involuntary context switches= 2054 runsolver used 0.681896 second user time and 2.08468 second system time The end
Begin job on node59 on Tue Apr 17 22:58:46 UTC 2007 IDJOB= 363098 IDBENCH= 1734 IDSOLVER= 172 FILE ID= node59/363098-1176850726 PBS_JOBID= 4590238 Free space on /tmp= 66343 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-enigma.opb COMMAND LINE= oree /tmp/evaluation/363098-1176850726/instance-363098-1176850726.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-363098-1176850726 -o ROOT/results/node59/solver-363098-1176850726 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363098-1176850726/instance-363098-1176850726.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 41834777456d00b1f1bcfadb1f825a87 RANDOM SEED= 436871491 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.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.268 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.268 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: 1834056 kB Buffers: 15784 kB Cached: 147000 kB SwapCached: 2252 kB Active: 34460 kB Inactive: 137740 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1834056 kB SwapTotal: 4192956 kB SwapFree: 4184740 kB Dirty: 1452 kB Writeback: 0 kB Mapped: 16436 kB Slab: 35700 kB Committed_AS: 1578472 kB PageTables: 1472 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= 66343 MiB End job on node59 on Tue Apr 17 23:15:16 UTC 2007