Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.2 | 1800.66 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=251-P1=257-P2=19-P3=349-P4=257-P5=479-P6=367-B.opb |
MD5SUM | 80881c7fbc3c10cf38784c74294061e5 |
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.283956 |
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 | 162 |
Total number of constraints | 13 |
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 | 13 |
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) | 486 |
Sum of products size (including duplicates) | 972 |
Number of different products | 486 |
Sum of products size | 972 |
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=648 #constraints=992 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.79/0.80 c restart after 401 decisions 0.89/1.00 c nbDecision=500 #constraints=1438 1.69/1.70 c restart after 801 decisions 2.20/2.20 c nbDecision=1000 #constraints=1897 3.39/3.44 c nbDecision=1500 #constraints=2384 3.69/3.78 c restart after 1601 decisions 5.29/5.35 c nbDecision=2000 #constraints=2857 8.28/8.31 c nbDecision=2500 #constraints=3358 10.99/11.03 c nbDecision=3000 #constraints=3850 12.09/12.11 c restart after 3201 decisions 14.78/14.82 c nbDecision=3500 #constraints=4306 19.97/20.01 c nbDecision=4000 #constraints=4811 22.17/22.26 c nbDecision=4500 #constraints=5283 23.17/23.29 c nbDecision=5000 #constraints=5768 24.28/24.31 c nbDecision=5500 #constraints=6236 26.28/26.35 c nbDecision=6000 #constraints=6717 28.17/28.29 c restart after 6401 decisions 28.97/29.04 c nbDecision=6500 #constraints=7110 32.77/32.80 c nbDecision=7000 #constraints=7590 38.27/38.31 c nbDecision=7500 #constraints=8090 46.26/46.31 c nbDecision=8000 #constraints=8586 57.57/57.67 c nbDecision=8500 #constraints=9089 70.56/70.70 c nbDecision=9000 #constraints=9588 85.16/85.25 c nbDecision=9500 #constraints=10080 99.75/99.85 c nbDecision=10000 #constraints=10560 123.15/123.25 c nbDecision=10500 #constraints=11053 148.54/148.62 c nbDecision=11000 #constraints=11557 173.13/173.25 c nbDecision=11500 #constraints=12057 206.33/206.46 c nbDecision=12000 #constraints=12556 231.62/231.75 c nbDecision=12500 #constraints=13039 251.01/251.11 c restart after 12801 decisions 252.71/252.86 c nbDecision=13000 #constraints=13509 262.32/262.43 c nbDecision=13500 #constraints=13998 267.61/267.75 c nbDecision=14000 #constraints=14486 308.71/308.83 c nbDecision=14500 #constraints=14962 376.58/376.73 c nbDecision=15000 #constraints=15465 429.08/429.25 c nbDecision=15500 #constraints=15951 476.86/477.03 c nbDecision=16000 #constraints=16435 541.35/541.55 c nbDecision=16500 #constraints=16915 578.84/579.06 c nbDecision=17000 #constraints=17378 650.42/650.62 c nbDecision=17500 #constraints=17878 690.21/690.41 c nbDecision=18000 #constraints=18370 732.79/733.05 c nbDecision=18500 #constraints=18854 762.79/763.06 c nbDecision=19000 #constraints=19331 811.17/811.42 c nbDecision=19500 #constraints=19822 865.07/865.34 c nbDecision=20000 #constraints=20313 912.25/912.55 c nbDecision=20500 #constraints=20791 963.54/963.85 c nbDecision=21000 #constraints=21287 1022.74/1023.08 c nbDecision=21500 #constraints=21786 1067.62/1067.90 c nbDecision=22000 #constraints=22252 1107.11/1107.46 c nbDecision=22500 #constraints=22687 1173.59/1173.92 c nbDecision=23000 #constraints=23184 1220.69/1221.02 c nbDecision=23500 #constraints=23660 1262.07/1262.46 c nbDecision=24000 #constraints=24124 1326.56/1326.94 c nbDecision=24500 #constraints=24619 1378.44/1378.80 c nbDecision=25000 #constraints=25097 1438.83/1439.26 c nbDecision=25500 #constraints=25590 1452.32/1452.75 c restart after 25601 decisions 1458.13/1458.59 c nbDecision=26000 #constraints=26077 1464.92/1465.38 c nbDecision=26500 #constraints=26559 1475.02/1475.40 c nbDecision=27000 #constraints=27042 1539.30/1539.72 c nbDecision=27500 #constraints=27531 1621.69/1622.11 c nbDecision=28000 #constraints=28015 1717.66/1718.10 c nbDecision=28500 #constraints=28506 1800.05/1800.50 Received signal 15 1800.15/1800.62 1800.15/1800.62 s UNKNOWN 1800.15/1800.62 1800.15/1800.62 c user time= 1799.91 s 1800.15/1800.62 c system time= 0.270958 s 1800.15/1800.62 c wall clock time=1800.63
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/429307-1177982949/instance-429307-1177982949.opb mv /tmp/evaluation/429307-1177982949/instance-429307-1177982949.opb.tmp /tmp/evaluation/429307-1177982949/instance-429307-1177982949.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node51/watcher-429307-1177982949 -o ROOT/results/node51/solver-429307-1177982949 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429307-1177982949/instance-429307-1177982949.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.01 1.02 1.00 3/64 30989 /proc/meminfo: memFree=1838496/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=1468 CPUtime=0 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 153140027 1503232 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134566491 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30989/statm: 367 177 132 317 0 46 0 [startup+0.043117 s] /proc/loadavg: 1.01 1.02 1.00 3/64 30989 /proc/meminfo: memFree=1838496/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=1996 CPUtime=0.04 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 302 0 0 0 4 0 0 0 18 0 1 0 153140027 2043904 285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30989/statm: 499 285 139 317 0 178 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1996 [startup+0.101122 s] /proc/loadavg: 1.01 1.02 1.00 3/64 30989 /proc/meminfo: memFree=1838496/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=2124 CPUtime=0.09 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 335 0 0 0 9 0 0 0 18 0 1 0 153140027 2174976 318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272554 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30989/statm: 531 318 139 317 0 210 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2124 [startup+0.301138 s] /proc/loadavg: 1.01 1.02 1.00 3/64 30989 /proc/meminfo: memFree=1838496/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=2516 CPUtime=0.29 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 448 0 0 0 29 0 0 0 19 0 1 0 153140027 2576384 431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30989/statm: 629 431 139 317 0 308 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2516 [startup+0.701174 s] /proc/loadavg: 1.01 1.02 1.00 3/64 30989 /proc/meminfo: memFree=1838496/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=3304 CPUtime=0.69 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 634 0 0 0 69 0 0 0 23 0 1 0 153140027 3383296 617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30989/statm: 826 617 139 317 0 505 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3304 [startup+1.50124 s] /proc/loadavg: 1.01 1.02 1.00 2/65 30990 /proc/meminfo: memFree=1835992/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=4616 CPUtime=1.49 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 988 0 0 0 149 0 0 0 25 0 1 0 153140027 4726784 971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30989/statm: 1154 971 139 317 0 833 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4616 [startup+3.10139 s] /proc/loadavg: 1.01 1.02 1.00 2/65 30990 /proc/meminfo: memFree=1833944/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=7492 CPUtime=3.09 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 1693 0 0 0 309 0 0 0 25 0 1 0 153140027 7671808 1676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710849 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30989/statm: 1873 1676 139 317 0 1552 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7492 [startup+6.30167 s] /proc/loadavg: 1.01 1.02 1.00 2/65 30990 /proc/meminfo: memFree=1829288/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=11148 CPUtime=6.29 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 2586 0 0 0 629 0 0 0 25 0 1 0 153140027 11415552 2569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30989/statm: 2787 2569 139 317 0 2466 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11148 [startup+12.7013 s] /proc/loadavg: 1.01 1.02 1.00 2/65 30990 /proc/meminfo: memFree=1824112/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=16040 CPUtime=12.68 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 3800 0 0 0 1266 2 0 0 25 0 1 0 153140027 16424960 3783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 4010 3783 139 317 0 3689 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 16040 [startup+25.5012 s] /proc/loadavg: 1.01 1.01 1.00 2/65 30990 /proc/meminfo: memFree=1812720/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=27480 CPUtime=25.47 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 6665 0 0 0 2543 4 0 0 25 0 1 0 153140027 28139520 6604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 6870 6604 170 317 0 6549 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 27480 [startup+51.1015 s] /proc/loadavg: 1.00 1.01 1.00 2/65 30990 /proc/meminfo: memFree=1802416/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=37972 CPUtime=51.07 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 9243 0 0 0 5101 6 0 0 25 0 1 0 153140027 38883328 9182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716120 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 9493 9182 170 317 0 9172 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 37972 [startup+102.305 s] /proc/loadavg: 1.00 1.01 1.00 2/65 30990 /proc/meminfo: memFree=1794352/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=46400 CPUtime=102.26 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 11219 0 0 0 10219 7 0 0 25 0 1 0 153140027 47513600 11158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 11600 11158 170 317 0 11279 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 46400 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1788912/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=51636 CPUtime=162.23 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 12569 0 0 0 16215 8 0 0 25 0 1 0 153140027 52875264 12508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 12909 12508 170 317 0 12588 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 51636 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1784560/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=56612 CPUtime=222.22 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 13731 0 0 0 22213 9 0 0 25 0 1 0 153140027 57970688 13584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 14153 13584 170 317 0 13832 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 56612 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1775472/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=65832 CPUtime=282.2 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 15984 0 0 0 28209 11 0 0 25 0 1 0 153140027 67411968 15837 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 16458 15837 170 317 0 16137 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 65832 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1773680/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=67764 CPUtime=342.19 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 16440 0 0 0 34207 12 0 0 25 0 1 0 153140027 69390336 16293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 16941 16293 170 317 0 16620 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 67764 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1771568/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=70552 CPUtime=402.17 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 16970 0 0 0 40205 12 0 0 25 0 1 0 153140027 72245248 16823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 17638 16823 170 317 0 17317 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 70552 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1769328/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=72928 CPUtime=462.16 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 17510 0 0 0 46203 13 0 0 25 0 1 0 153140027 74678272 17363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 18232 17363 170 317 0 17911 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 72928 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1766768/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=75392 CPUtime=522.15 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 18153 0 0 0 52202 13 0 0 25 0 1 0 153140027 77201408 18006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 18848 18006 170 317 0 18527 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 75392 [startup+582.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1763888/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=78500 CPUtime=582.14 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 18872 0 0 0 58200 14 0 0 25 0 1 0 153140027 80384000 18725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 19625 18725 170 317 0 19304 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 78500 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1762032/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=80324 CPUtime=642.13 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 19322 0 0 0 64198 15 0 0 25 0 1 0 153140027 82251776 19175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 20081 19175 170 317 0 19760 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 80324 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1749680/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=93032 CPUtime=882.06 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 22376 0 0 0 88189 17 0 0 25 0 1 0 153140027 95264768 22229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 23258 22229 170 317 0 22937 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 93032 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1747568/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=95708 CPUtime=942.04 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 22921 0 0 0 94187 17 0 0 25 0 1 0 153140027 98004992 22774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 23927 22774 170 317 0 23606 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 95708 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1744816/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=98384 CPUtime=1002.03 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 23595 0 0 0 100185 18 0 0 25 0 1 0 153140027 100745216 23448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 24596 23448 170 317 0 24275 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 98384 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1742256/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=100896 CPUtime=1062.02 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 24230 0 0 0 106183 19 0 0 25 0 1 0 153140027 103317504 24083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 25224 24083 170 317 0 24903 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 100896 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1739376/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=103780 CPUtime=1122.01 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 24949 0 0 0 112181 20 0 0 25 0 1 0 153140027 106270720 24802 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 25945 24802 170 317 0 25624 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 103780 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1737136/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=106276 CPUtime=1181.98 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 25510 0 0 0 118178 20 0 0 25 0 1 0 153140027 108826624 25363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 26569 25363 170 317 0 26248 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 106276 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1734704/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=108700 CPUtime=1241.98 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 26099 0 0 0 124177 21 0 0 25 0 1 0 153140027 111308800 25952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 27175 25952 170 317 0 26854 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 108700 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1732272/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=111268 CPUtime=1301.97 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 26702 0 0 0 130175 22 0 0 25 0 1 0 153140027 113938432 26555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 27817 26555 170 317 0 27496 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 111268 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1729328/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=114696 CPUtime=1361.94 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 27559 0 0 0 136172 22 0 0 25 0 1 0 153140027 117448704 27241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 28674 27241 170 317 0 28353 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 114696 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1727728/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=116332 CPUtime=1421.94 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 28001 0 0 0 142171 23 0 0 25 0 1 0 153140027 119123968 27683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718671 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 29083 27683 170 317 0 28762 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 116332 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1719792/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=125384 CPUtime=1481.92 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 30223 0 0 0 148167 25 0 0 25 0 1 0 153140027 128393216 29674 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 31346 29674 170 317 0 31025 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 125384 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1718640/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=126592 CPUtime=1541.9 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 30527 0 0 0 154165 25 0 0 25 0 1 0 153140027 129630208 29945 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 31648 29945 170 317 0 31327 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 126592 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1717040/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=128428 CPUtime=1601.88 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 30962 0 0 0 160163 25 0 0 25 0 1 0 153140027 131510272 30347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 32107 30347 170 317 0 31786 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 128428 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1715696/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=129896 CPUtime=1661.87 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 31291 0 0 0 166161 26 0 0 25 0 1 0 153140027 133013504 30676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 32474 30676 170 317 0 32153 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 129896 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1714416/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=131060 CPUtime=1721.86 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 31619 0 0 0 172160 26 0 0 25 0 1 0 153140027 134205440 31004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 32765 31004 170 317 0 32444 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 131060 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1712880/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=132956 CPUtime=1781.84 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 32005 0 0 0 178158 26 0 0 25 0 1 0 153140027 136146944 31390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 33239 31390 170 317 0 32918 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 132956 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30990 /proc/meminfo: memFree=1712432/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=133216 CPUtime=1800.05 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 32103 0 0 0 179978 27 0 0 25 0 1 0 153140027 136413184 31488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 33304 31488 170 317 0 32983 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 133216 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/66 30991 /proc/meminfo: memFree=1712424/2055920 swapFree=4183264/4192956 [pid=30989] ppid=30987 vsize=133216 CPUtime=1800.15 /proc/30989/stat : 30989 (oree) R 30987 30989 16979 0 -1 4194304 32103 0 0 0 179988 27 0 0 25 0 1 0 153140027 136413184 31488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30989/statm: 33304 31488 170 317 0 32983 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 133216 Child status: 0 Real time (s): 1800.66 CPU time (s): 1800.2 CPU user time (s): 1799.91 CPU system time (s): 0.292955 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 133216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.91 system time used= 0.292955 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32119 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= 1145 runsolver used 1.3388 second user time and 3.60045 second system time The end
Begin job on node51 on Tue May 1 01:29:09 UTC 2007 IDJOB= 429307 IDBENCH= 47899 IDSOLVER= 172 FILE ID= node51/429307-1177982949 PBS_JOBID= 4727945 Free space on /tmp= 66563 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=251-P1=257-P2=19-P3=349-P4=257-P5=479-P6=367-B.opb COMMAND LINE= oree /tmp/evaluation/429307-1177982949/instance-429307-1177982949.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node51/convwatcher-429307-1177982949 -o ROOT/results/node51/conversion-429307-1177982949 -C 600 -M 1800 /tmp/evaluation/429307-1177982949/substituteSizeProductKeyword /tmp/evaluation/429307-1177982949/instance-429307-1177982949.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-429307-1177982949 -o ROOT/results/node51/solver-429307-1177982949 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429307-1177982949/instance-429307-1177982949.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 80881c7fbc3c10cf38784c74294061e5 RANDOM SEED= 125230498 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: 1838904 kB Buffers: 21608 kB Cached: 122944 kB SwapCached: 3552 kB Active: 72984 kB Inactive: 81752 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1838904 kB SwapTotal: 4192956 kB SwapFree: 4183264 kB Dirty: 1316 kB Writeback: 0 kB Mapped: 16064 kB Slab: 48388 kB Committed_AS: 4399876 kB PageTables: 1408 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= 66563 MiB End job on node51 on Tue May 1 01:59:12 UTC 2007