Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.36 | 1801.63 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=293-P1=97-P2=163-P3=149-P4=163-P5=457-P6=521-P7=173-P8=431-P9=419-B.opb |
MD5SUM | 3e0f07488272e35b9b674c3d7ccbd7e8 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.301953 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 243 |
Total number of constraints | 19 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 19 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 729 |
Sum of products size (including duplicates) | 1458 |
Number of different products | 729 |
Sum of products size | 1458 |
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=972 #constraints=1487 hasObjective=yes 0.00/0.01 c res. mode=mod 0.00/0.01 c VSIDS like heuristics 0.00/0.01 c complete search running 0.80/0.80 c restart after 401 decisions 0.90/0.97 c nbDecision=500 #constraints=1922 1.59/1.63 c restart after 801 decisions 2.09/2.10 c nbDecision=1000 #constraints=2379 3.60/3.67 c nbDecision=1500 #constraints=2870 4.00/4.06 c restart after 1601 decisions 5.29/5.30 c nbDecision=2000 #constraints=3318 6.58/6.61 c nbDecision=2500 #constraints=3808 8.68/8.73 c nbDecision=3000 #constraints=4308 10.07/10.10 c restart after 3201 decisions 11.67/11.71 c nbDecision=3500 #constraints=4766 15.77/15.87 c nbDecision=4000 #constraints=5266 20.17/20.29 c nbDecision=4500 #constraints=5754 23.67/23.74 c nbDecision=5000 #constraints=6243 29.47/29.56 c nbDecision=5500 #constraints=6744 37.27/37.30 c nbDecision=6000 #constraints=7246 38.56/38.67 c restart after 6401 decisions 39.67/39.72 c nbDecision=6500 #constraints=7683 44.76/44.85 c nbDecision=7000 #constraints=8173 48.37/48.48 c nbDecision=7500 #constraints=8673 54.25/54.37 c nbDecision=8000 #constraints=9149 55.46/55.56 c nbDecision=8500 #constraints=9626 56.25/56.33 c nbDecision=9000 #constraints=10113 58.05/58.13 c nbDecision=9500 #constraints=10616 59.65/59.71 c nbDecision=10000 #constraints=11101 62.25/62.36 c nbDecision=10500 #constraints=11564 65.65/65.77 c nbDecision=11000 #constraints=12045 72.25/72.36 c nbDecision=11500 #constraints=12551 79.74/79.82 c nbDecision=12000 #constraints=13040 88.95/89.08 c nbDecision=12500 #constraints=13516 96.24/96.34 c restart after 12801 decisions 97.73/97.87 c nbDecision=13000 #constraints=13984 102.43/102.57 c nbDecision=13500 #constraints=14484 111.32/111.41 c nbDecision=14000 #constraints=14971 121.01/121.16 c nbDecision=14500 #constraints=15447 127.42/127.54 c nbDecision=15000 #constraints=15941 132.41/132.53 c nbDecision=15500 #constraints=16417 147.57/147.72 c nbDecision=16000 #constraints=16877 164.56/164.76 c nbDecision=16500 #constraints=17357 177.65/177.81 c nbDecision=17000 #constraints=17849 191.94/192.18 c nbDecision=17500 #constraints=18324 213.53/213.79 c nbDecision=18000 #constraints=18822 229.32/229.54 c nbDecision=18500 #constraints=19306 244.41/244.65 c nbDecision=19000 #constraints=19760 275.00/275.28 c nbDecision=19500 #constraints=20255 294.58/294.83 c nbDecision=20000 #constraints=20713 322.36/322.67 c nbDecision=20500 #constraints=21207 344.55/344.87 c nbDecision=21000 #constraints=21645 372.92/373.24 c nbDecision=21500 #constraints=22114 411.10/411.50 c nbDecision=22000 #constraints=22613 446.29/446.69 c nbDecision=22500 #constraints=23115 482.85/483.20 c nbDecision=23000 #constraints=23613 519.13/519.51 c nbDecision=23500 #constraints=24108 580.09/580.57 c nbDecision=24000 #constraints=24610 637.46/637.97 c nbDecision=24500 #constraints=25110 698.51/699.03 c nbDecision=25000 #constraints=25610 733.50/734.06 c nbDecision=25500 #constraints=26077 744.28/744.87 c restart after 25601 decisions 750.78/751.37 c nbDecision=26000 #constraints=26500 756.97/757.52 c nbDecision=26500 #constraints=27002 766.78/767.34 c nbDecision=27000 #constraints=27482 832.13/832.72 c nbDecision=27500 #constraints=27979 893.19/893.82 c nbDecision=28000 #constraints=28480 949.46/950.19 c nbDecision=28500 #constraints=28969 997.12/997.85 c nbDecision=29000 #constraints=29431 1059.48/1060.27 c nbDecision=29500 #constraints=29929 1115.55/1116.31 c nbDecision=30000 #constraints=30418 1172.41/1173.29 c nbDecision=30500 #constraints=30893 1225.48/1226.39 c nbDecision=31000 #constraints=31382 1279.65/1280.53 c nbDecision=31500 #constraints=31855 1316.72/1317.65 c nbDecision=32000 #constraints=32303 1381.19/1382.29 c nbDecision=32500 #constraints=32804 1445.95/1447.05 c nbDecision=33000 #constraints=33302 1492.72/1493.89 c nbDecision=33500 #constraints=33788 1562.98/1564.10 c nbDecision=34000 #constraints=34270 1601.96/1603.15 c nbDecision=34500 #constraints=34756 1693.99/1695.29 c nbDecision=35000 #constraints=35257 1773.94/1775.22 c nbDecision=35500 #constraints=35738 1800.03/1801.30 Received signal 15 1800.22/1801.59 1800.22/1801.59 s UNKNOWN 1800.22/1801.59 1800.22/1801.59 c user time= 1799.81 s 1800.22/1801.59 c system time= 0.518921 s 1800.22/1801.59 c wall clock time=1801.59
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/429363-1177983542/instance-429363-1177983542.opb mv /tmp/evaluation/429363-1177983542/instance-429363-1177983542.opb.tmp /tmp/evaluation/429363-1177983542/instance-429363-1177983542.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node69/watcher-429363-1177983542 -o ROOT/results/node69/solver-429363-1177983542 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429363-1177983542/instance-429363-1177983542.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.03 1.02 1.00 3/64 643 /proc/meminfo: memFree=1904620/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=1468 CPUtime=0 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 188 0 0 0 0 0 0 0 18 0 1 0 274343642 1503232 171 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 367 171 131 317 0 46 0 [startup+0.0643461 s] /proc/loadavg: 1.03 1.02 1.00 3/64 643 /proc/meminfo: memFree=1904620/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=2208 CPUtime=0.06 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 362 0 0 0 6 0 0 0 18 0 1 0 274343642 2260992 345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271317 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 552 345 139 317 0 231 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2208 [startup+0.101352 s] /proc/loadavg: 1.03 1.02 1.00 3/64 643 /proc/meminfo: memFree=1904620/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=2340 CPUtime=0.1 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 383 0 0 0 10 0 0 0 18 0 1 0 274343642 2396160 366 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 585 366 139 317 0 264 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2340 [startup+0.301384 s] /proc/loadavg: 1.03 1.02 1.00 3/64 643 /proc/meminfo: memFree=1904620/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=2728 CPUtime=0.3 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 483 0 0 0 30 0 0 0 20 0 1 0 274343642 2793472 466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284196 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 682 466 139 317 0 361 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 2728 [startup+0.701449 s] /proc/loadavg: 1.03 1.02 1.00 3/64 643 /proc/meminfo: memFree=1904620/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=3508 CPUtime=0.7 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 694 0 0 0 70 0 0 0 24 0 1 0 274343642 3592192 677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 877 677 139 317 0 556 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 3508 [startup+1.50158 s] /proc/loadavg: 1.03 1.02 1.00 2/65 644 /proc/meminfo: memFree=1901796/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=5076 CPUtime=1.49 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 1095 0 0 0 149 0 0 0 25 0 1 0 274343642 5197824 1078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385350 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 1269 1078 139 317 0 948 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5076 [startup+3.10184 s] /proc/loadavg: 1.03 1.02 1.00 2/65 644 /proc/meminfo: memFree=1899684/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=7560 CPUtime=3.09 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 1698 0 0 0 309 0 0 0 25 0 1 0 274343642 7741440 1681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718933 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 1890 1681 139 317 0 1569 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7560 [startup+6.30136 s] /proc/loadavg: 1.03 1.02 1.00 2/65 644 /proc/meminfo: memFree=1895076/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=12176 CPUtime=6.28 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 2856 0 0 0 627 1 0 0 25 0 1 0 274343642 12468224 2839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/643/statm: 3044 2839 139 317 0 2723 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 12176 [startup+12.7014 s] /proc/loadavg: 1.03 1.02 1.00 2/65 644 /proc/meminfo: memFree=1888228/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=17952 CPUtime=12.67 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 4268 0 0 0 1265 2 0 0 25 0 1 0 274343642 18382848 4251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 4488 4251 139 317 0 4167 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 17952 [startup+25.5014 s] /proc/loadavg: 1.02 1.02 1.00 2/65 644 /proc/meminfo: memFree=1881508/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=24780 CPUtime=25.47 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 5929 0 0 0 2543 4 0 0 25 0 1 0 274343642 25374720 5875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 6195 5875 139 317 0 5874 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 24780 [startup+51.1016 s] /proc/loadavg: 1.01 1.02 1.00 2/65 644 /proc/meminfo: memFree=1870180/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=36288 CPUtime=51.06 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 8765 0 0 0 5099 7 0 0 25 0 1 0 274343642 37158912 8711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716198 0 0 4096 17474 0 0 0 17 1 0 0 /proc/643/statm: 9072 8711 139 317 0 8751 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 36288 [startup+102.306 s] /proc/loadavg: 1.00 1.01 1.00 2/65 644 /proc/meminfo: memFree=1845028/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=61860 CPUtime=102.23 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 15135 0 0 0 10211 12 0 0 25 0 1 0 274343642 63344640 15009 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 15465 15009 170 317 0 15144 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 61860 [startup+162.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 646 /proc/meminfo: memFree=1831972/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=75264 CPUtime=162.16 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 18343 0 0 0 16202 14 0 0 25 0 1 0 274343642 77070336 18217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 18816 18217 170 317 0 18495 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 75264 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 646 /proc/meminfo: memFree=1824484/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=82652 CPUtime=222.12 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 20207 0 0 0 22197 15 0 0 25 0 1 0 274343642 84635648 20081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 20663 20081 170 317 0 20342 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (KiB) 82652 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 646 /proc/meminfo: memFree=1817700/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=90212 CPUtime=282.08 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 21921 0 0 0 28190 18 0 0 25 0 1 0 274343642 92377088 21795 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 22553 21795 170 317 0 22232 0 Current children cumulated CPU time (s) 282.08 Current children cumulated vsize (KiB) 90212 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 646 /proc/meminfo: memFree=1812516/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=95712 CPUtime=342.05 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 23327 0 0 0 34185 20 0 0 25 0 1 0 274343642 98009088 23059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 23928 23059 170 317 0 23607 0 Current children cumulated CPU time (s) 342.05 Current children cumulated vsize (KiB) 95712 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 646 /proc/meminfo: memFree=1808612/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=99972 CPUtime=402.01 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 24314 0 0 0 40181 20 0 0 25 0 1 0 274343642 102371328 24046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 24993 24046 170 317 0 24672 0 Current children cumulated CPU time (s) 402.01 Current children cumulated vsize (KiB) 99972 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 646 /proc/meminfo: memFree=1804772/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=104376 CPUtime=461.97 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 25248 0 0 0 46176 21 0 0 25 0 1 0 274343642 106881024 24980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 26094 24980 170 317 0 25773 0 Current children cumulated CPU time (s) 461.97 Current children cumulated vsize (KiB) 104376 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 646 /proc/meminfo: memFree=1801316/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=107996 CPUtime=521.93 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 26120 0 0 0 52171 22 0 0 25 0 1 0 274343642 110587904 25852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 26999 25852 170 317 0 26678 0 Current children cumulated CPU time (s) 521.93 Current children cumulated vsize (KiB) 107996 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 646 /proc/meminfo: memFree=1799140/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=110140 CPUtime=581.89 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 26665 0 0 0 58167 22 0 0 25 0 1 0 274343642 112783360 26397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 27535 26397 170 317 0 27214 0 Current children cumulated CPU time (s) 581.89 Current children cumulated vsize (KiB) 110140 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 646 /proc/meminfo: memFree=1796836/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=112360 CPUtime=641.86 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 27223 0 0 0 64164 22 0 0 25 0 1 0 274343642 115056640 26955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 28090 26955 170 317 0 27769 0 Current children cumulated CPU time (s) 641.86 Current children cumulated vsize (KiB) 112360 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.07 1.02 1.00 2/65 646 /proc/meminfo: memFree=1780132/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=129744 CPUtime=941.67 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 31341 0 0 0 94140 27 0 0 25 0 1 0 274343642 132857856 31073 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 32436 31073 170 317 0 32115 0 Current children cumulated CPU time (s) 941.67 Current children cumulated vsize (KiB) 129744 [startup+1002.3 s] /proc/loadavg: 1.02 1.01 1.00 2/65 646 /proc/meminfo: memFree=1777572/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=132632 CPUtime=1001.62 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 32007 0 0 0 100135 27 0 0 25 0 1 0 274343642 135815168 31739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 33158 31739 170 317 0 32837 0 Current children cumulated CPU time (s) 1001.62 Current children cumulated vsize (KiB) 132632 [startup+1062.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 646 /proc/meminfo: memFree=1775524/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=134732 CPUtime=1061.58 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 32515 0 0 0 106130 28 0 0 25 0 1 0 274343642 137965568 32247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 33683 32247 170 317 0 33362 0 Current children cumulated CPU time (s) 1061.58 Current children cumulated vsize (KiB) 134732 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 646 /proc/meminfo: memFree=1773348/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=137140 CPUtime=1121.55 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 33067 0 0 0 112126 29 0 0 25 0 1 0 274343642 140431360 32799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 34285 32799 170 317 0 33964 0 Current children cumulated CPU time (s) 1121.55 Current children cumulated vsize (KiB) 137140 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 646 /proc/meminfo: memFree=1771044/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=139300 CPUtime=1181.5 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 33635 0 0 0 118121 29 0 0 25 0 1 0 274343642 142643200 33367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 34825 33367 170 317 0 34504 0 Current children cumulated CPU time (s) 1181.5 Current children cumulated vsize (KiB) 139300 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 646 /proc/meminfo: memFree=1768548/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=141644 CPUtime=1241.47 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 34229 0 0 0 124117 30 0 0 25 0 1 0 274343642 145043456 33961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715632 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 35411 33961 170 317 0 35090 0 Current children cumulated CPU time (s) 1241.47 Current children cumulated vsize (KiB) 141644 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 646 /proc/meminfo: memFree=1765476/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=144572 CPUtime=1301.44 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 34984 0 0 0 130113 31 0 0 25 0 1 0 274343642 148041728 34716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 36143 34716 170 317 0 35822 0 Current children cumulated CPU time (s) 1301.44 Current children cumulated vsize (KiB) 144572 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/71 818 /proc/meminfo: memFree=1762156/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=146416 CPUtime=1361.39 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 35445 0 0 0 136095 44 0 0 25 0 1 0 274343642 149929984 35177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 36604 35177 170 317 0 36283 0 Current children cumulated CPU time (s) 1361.39 Current children cumulated vsize (KiB) 146416 [startup+1422.31 s] /proc/loadavg: 1.11 1.04 1.01 2/65 1323 /proc/meminfo: memFree=1733860/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=149148 CPUtime=1421.27 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 36122 0 0 0 142079 48 0 0 25 0 1 0 274343642 152727552 35689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 37287 35689 170 317 0 36966 0 Current children cumulated CPU time (s) 1421.27 Current children cumulated vsize (KiB) 149148 [startup+1482.3 s] /proc/loadavg: 1.04 1.03 1.00 2/65 1323 /proc/meminfo: memFree=1731748/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=152480 CPUtime=1481.23 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 36913 0 0 0 148074 49 0 0 25 0 1 0 274343642 156139520 36315 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 38120 36315 170 317 0 37799 0 Current children cumulated CPU time (s) 1481.23 Current children cumulated vsize (KiB) 152480 [startup+1542.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 1323 /proc/meminfo: memFree=1729636/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=154680 CPUtime=1541.19 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 37417 0 0 0 154069 50 0 0 25 0 1 0 274343642 158392320 36819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 38670 36819 170 317 0 38349 0 Current children cumulated CPU time (s) 1541.19 Current children cumulated vsize (KiB) 154680 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 1323 /proc/meminfo: memFree=1726116/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=159192 CPUtime=1601.16 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 38298 0 0 0 160065 51 0 0 25 0 1 0 274343642 163012608 37700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 39798 37700 170 317 0 39477 0 Current children cumulated CPU time (s) 1601.16 Current children cumulated vsize (KiB) 159192 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 1323 /proc/meminfo: memFree=1724900/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=160472 CPUtime=1661.11 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 38604 0 0 0 166060 51 0 0 25 0 1 0 274343642 164323328 38006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 40118 38006 170 317 0 39797 0 Current children cumulated CPU time (s) 1661.11 Current children cumulated vsize (KiB) 160472 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1323 /proc/meminfo: memFree=1723364/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=162232 CPUtime=1721.07 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 39019 0 0 0 172056 51 0 0 25 0 1 0 274343642 166125568 38388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 40558 38388 170 317 0 40237 0 Current children cumulated CPU time (s) 1721.07 Current children cumulated vsize (KiB) 162232 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1323 /proc/meminfo: memFree=1721828/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=163560 CPUtime=1781.04 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 39373 0 0 0 178053 51 0 0 25 0 1 0 274343642 167485440 38742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 40890 38742 170 317 0 40569 0 Current children cumulated CPU time (s) 1781.04 Current children cumulated vsize (KiB) 163560 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1323 /proc/meminfo: memFree=1721380/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=163952 CPUtime=1800.03 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 39492 0 0 0 179952 51 0 0 25 0 1 0 274343642 167886848 38861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 40988 38861 170 317 0 40667 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 163952 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.41 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1323 /proc/meminfo: memFree=1721380/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=163952 CPUtime=1800.13 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 39493 0 0 0 179962 51 0 0 25 0 1 0 274343642 167886848 38862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 40988 38862 170 317 0 40667 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 163952 [startup+1801.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1323 /proc/meminfo: memFree=1721380/2055920 swapFree=4182928/4192956 [pid=643] ppid=641 vsize=158364 CPUtime=1800.32 /proc/643/stat : 643 (oree) R 641 643 27167 0 -1 4194304 39509 0 0 0 179981 51 0 0 25 0 1 0 274343642 162164736 37921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 0 0 0 /proc/643/statm: 39492 37882 186 317 0 39171 0 Current children cumulated CPU time (s) 1800.32 Current children cumulated vsize (KiB) 158364 Child status: 0 Real time (s): 1801.63 CPU time (s): 1800.36 CPU user time (s): 1799.82 CPU system time (s): 0.544917 CPU usage (%): 99.9297 Max. virtual memory (cumulated for all children) (KiB): 163952 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.82 system time used= 0.544917 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39509 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= 7606 runsolver used 1.9567 second user time and 4.56531 second system time The end
Begin job on node69 on Tue May 1 01:39:02 UTC 2007 IDJOB= 429363 IDBENCH= 47903 IDSOLVER= 172 FILE ID= node69/429363-1177983542 PBS_JOBID= 4728186 Free space on /tmp= 66561 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=293-P1=97-P2=163-P3=149-P4=163-P5=457-P6=521-P7=173-P8=431-P9=419-B.opb COMMAND LINE= oree /tmp/evaluation/429363-1177983542/instance-429363-1177983542.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node69/convwatcher-429363-1177983542 -o ROOT/results/node69/conversion-429363-1177983542 -C 600 -M 1800 /tmp/evaluation/429363-1177983542/substituteSizeProductKeyword /tmp/evaluation/429363-1177983542/instance-429363-1177983542.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-429363-1177983542 -o ROOT/results/node69/solver-429363-1177983542 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429363-1177983542/instance-429363-1177983542.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 3e0f07488272e35b9b674c3d7ccbd7e8 RANDOM SEED= 585756498 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node69.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.264 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 : 5931.00 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.264 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: 1904964 kB Buffers: 10924 kB Cached: 70356 kB SwapCached: 3788 kB Active: 49816 kB Inactive: 41028 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1904964 kB SwapTotal: 4192956 kB SwapFree: 4182928 kB Dirty: 1324 kB Writeback: 0 kB Mapped: 15496 kB Slab: 46016 kB Committed_AS: 3348844 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= 66561 MiB End job on node69 on Tue May 1 02:09:05 UTC 2007