Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (MO) | 956.276 | 956.509 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_25_4.opb |
MD5SUM | 95a6f76009dbd8a204f015cb008300c0 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -146 |
Best CPU time to get the best result obtained on this benchmark | 1800.22 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -146 |
Optimality of the best value was proved | NO |
Number of variables | 2000 |
Total number of constraints | 3001 |
Number of constraints which are clauses | 1000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2000 |
Number of terms in the objective function | 1000 |
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 | 1000 |
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 | 2000 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 63184 |
Sum of products size (including duplicates) | 126368 |
Number of different products | 31592 |
Sum of products size | 63184 |
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.49/0.52 c ...done 0.49/0.52 c #vars=33592 #constraints=66187 hasObjective=yes 0.79/0.82 c res. mode=mod 0.79/0.82 c VSIDS like heuristics 0.79/0.82 c complete search running 0.99/1.04 c restart after 401 decisions 1.09/1.13 c nbDecision=500 #constraints=66187 1.19/1.28 c restart after 801 decisions 1.39/1.43 c nbDecision=1000 #constraints=66187 3.39/3.48 c nbDecision=1500 #constraints=66386 4.39/4.42 c restart after 1601 decisions 4.79/4.85 c nbDecision=2000 #constraints=66488 7.70/7.74 c nbDecision=2500 #constraints=66768 12.79/12.89 c nbDecision=3000 #constraints=67198 15.19/15.25 c restart after 3201 decisions 16.09/16.18 c nbDecision=3500 #constraints=67400 20.79/20.87 c nbDecision=4000 #constraints=67694 26.69/26.79 c nbDecision=4500 #constraints=68128 33.49/33.54 c nbDecision=5000 #constraints=68615 39.48/39.56 c nbDecision=5500 #constraints=69006 46.38/46.40 c nbDecision=6000 #constraints=69487 51.68/51.75 c restart after 6401 decisions 54.28/54.38 c nbDecision=6500 #constraints=69801 57.67/57.71 c nbDecision=7000 #constraints=69900 64.67/64.73 c nbDecision=7500 #constraints=70356 71.78/71.86 c nbDecision=8000 #constraints=70812 79.08/79.18 c nbDecision=8500 #constraints=71301 86.47/86.54 c nbDecision=9000 #constraints=71761 93.96/94.08 c nbDecision=9500 #constraints=72211 101.57/101.60 c nbDecision=10000 #constraints=72706 109.26/109.34 c nbDecision=10500 #constraints=73151 117.36/117.47 c nbDecision=11000 #constraints=73640 124.66/124.78 c nbDecision=11500 #constraints=74066 132.65/132.76 c nbDecision=12000 #constraints=74514 140.85/140.90 c nbDecision=12500 #constraints=74952 146.45/146.57 c restart after 12801 decisions 154.05/154.13 c nbDecision=13000 #constraints=75142 160.46/160.52 c nbDecision=13500 #constraints=75341 168.65/168.73 c nbDecision=14000 #constraints=75805 177.15/177.28 c nbDecision=14500 #constraints=76249 186.14/186.23 c nbDecision=15000 #constraints=76665 195.14/195.22 c nbDecision=15500 #constraints=77095 203.94/204.08 c nbDecision=16000 #constraints=77546 212.33/212.48 c nbDecision=16500 #constraints=78035 221.94/222.03 c nbDecision=17000 #constraints=78486 230.23/230.33 c nbDecision=17500 #constraints=78952 239.33/239.45 c nbDecision=18000 #constraints=79442 248.23/248.32 c nbDecision=18500 #constraints=79888 257.53/257.64 c nbDecision=19000 #constraints=80344 267.03/267.12 c nbDecision=19500 #constraints=80795 277.03/277.18 c nbDecision=20000 #constraints=81222 286.52/286.65 c nbDecision=20500 #constraints=81687 296.42/296.55 c nbDecision=21000 #constraints=82138 306.12/306.24 c nbDecision=21500 #constraints=82612 315.62/315.78 c nbDecision=22000 #constraints=83089 326.52/326.67 c nbDecision=22500 #constraints=83510 337.90/338.02 c nbDecision=23000 #constraints=83920 349.31/349.45 c nbDecision=23500 #constraints=84332 360.30/360.43 c nbDecision=24000 #constraints=84770 371.20/371.30 c nbDecision=24500 #constraints=85214 382.10/382.26 c nbDecision=25000 #constraints=85661 392.69/392.87 c nbDecision=25500 #constraints=86122 394.60/394.70 c restart after 25601 decisions 416.09/416.30 c nbDecision=26000 #constraints=86224 427.49/427.68 c nbDecision=26500 #constraints=86585 449.79/449.91 c nbDecision=27000 #constraints=86954 461.68/461.88 c nbDecision=27500 #constraints=87100 472.97/473.10 c nbDecision=28000 #constraints=87552 487.18/487.33 c nbDecision=28500 #constraints=87920 497.77/497.99 c nbDecision=29000 #constraints=88395 511.17/511.38 c nbDecision=29500 #constraints=88797 525.76/525.94 c nbDecision=30000 #constraints=89250 536.56/536.77 c nbDecision=30500 #constraints=89639 549.96/550.16 c nbDecision=31000 #constraints=90045 562.46/562.67 c nbDecision=31500 #constraints=90482 577.95/578.13 c nbDecision=32000 #constraints=90844 590.25/590.47 c nbDecision=32500 #constraints=91290 601.75/601.95 c nbDecision=33000 #constraints=91762 615.94/616.15 c nbDecision=33500 #constraints=92169 627.44/627.68 c nbDecision=34000 #constraints=92643 640.04/640.26 c nbDecision=34500 #constraints=93096 651.83/652.06 c nbDecision=35000 #constraints=93568 664.73/664.92 c nbDecision=35500 #constraints=94019 677.63/677.86 c nbDecision=36000 #constraints=94471 691.43/691.65 c nbDecision=36500 #constraints=94906 705.82/706.08 c nbDecision=37000 #constraints=95331 717.92/718.19 c nbDecision=37500 #constraints=95807 730.22/730.41 c nbDecision=38000 #constraints=96282 743.21/743.44 c nbDecision=38500 #constraints=96744 755.51/755.79 c nbDecision=39000 #constraints=97221 772.91/773.10 c nbDecision=39500 #constraints=97602 787.60/787.89 c nbDecision=40000 #constraints=98035 803.60/803.83 c nbDecision=40500 #constraints=98449 820.19/820.41 c nbDecision=41000 #constraints=98854 837.59/837.88 c nbDecision=41500 #constraints=99252 850.09/850.32 c nbDecision=42000 #constraints=99735 864.38/864.68 c nbDecision=42500 #constraints=100187 877.78/878.00 c nbDecision=43000 #constraints=100659 894.08/894.35 c nbDecision=43500 #constraints=101080 914.37/914.68 c nbDecision=44000 #constraints=101437 926.97/927.21 c nbDecision=44500 #constraints=101926 942.06/942.38 c nbDecision=45000 #constraints=102373 955.96/956.20 Received signal 15 955.96/956.21 955.96/956.21 s UNKNOWN 955.96/956.21 955.96/956.21 c user time= 954.098 s 955.96/956.21 c system time= 1.89071 s 955.96/956.21 c wall clock time=956.219
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/454910-1178033603/instance-454910-1178033603.opb mv /tmp/evaluation/454910-1178033603/instance-454910-1178033603.opb.tmp /tmp/evaluation/454910-1178033603/instance-454910-1178033603.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node50/watcher-454910-1178033603 -o ROOT/results/node50/solver-454910-1178033603 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454910-1178033603/instance-454910-1178033603.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.91 0.95 0.94 3/64 26468 /proc/meminfo: memFree=1805800/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=1468 CPUtime=0 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 158205476 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134987035 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 367 165 131 317 0 46 0 [startup+0.0724 s] /proc/loadavg: 0.91 0.95 0.94 3/64 26468 /proc/meminfo: memFree=1805800/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=2920 CPUtime=0.06 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 531 0 0 0 6 0 0 0 18 0 1 0 158205476 2990080 514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 730 514 131 317 0 409 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2920 [startup+0.101401 s] /proc/loadavg: 0.91 0.95 0.94 3/64 26468 /proc/meminfo: memFree=1805800/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=3448 CPUtime=0.09 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 663 0 0 0 9 0 0 0 18 0 1 0 158205476 3530752 646 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 862 646 131 317 0 541 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3448 [startup+0.301418 s] /proc/loadavg: 0.91 0.95 0.94 3/64 26468 /proc/meminfo: memFree=1805800/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=8920 CPUtime=0.29 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 2021 0 0 0 28 1 0 0 19 0 1 0 158205476 9134080 2004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 2230 2004 132 317 0 1909 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8920 [startup+0.701454 s] /proc/loadavg: 0.91 0.95 0.94 3/64 26468 /proc/meminfo: memFree=1805800/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=25764 CPUtime=0.69 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 6306 0 0 0 66 3 0 0 23 0 1 0 158205476 26382336 6191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 6441 6191 137 317 0 6120 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25764 [startup+1.50152 s] /proc/loadavg: 0.91 0.95 0.94 2/65 26469 /proc/meminfo: memFree=1779424/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=27872 CPUtime=1.49 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 6813 0 0 0 146 3 0 0 25 0 1 0 158205476 28540928 6698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 6968 6698 138 317 0 6647 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27872 [startup+3.10266 s] /proc/loadavg: 0.91 0.95 0.94 2/65 26469 /proc/meminfo: memFree=1777312/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=36400 CPUtime=3.09 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 8958 0 0 0 305 4 0 0 25 0 1 0 158205476 37273600 8390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 9100 8390 139 317 0 8779 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 36400 [startup+6.30195 s] /proc/loadavg: 0.92 0.95 0.94 2/65 26469 /proc/meminfo: memFree=1763424/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=49084 CPUtime=6.29 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 12112 0 0 0 624 5 0 0 25 0 1 0 158205476 50262016 11544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 12271 11544 139 317 0 11950 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49084 [startup+12.7015 s] /proc/loadavg: 0.93 0.95 0.94 2/65 26469 /proc/meminfo: memFree=1737824/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=80932 CPUtime=12.69 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 19590 0 0 0 1261 8 0 0 25 0 1 0 158205476 82874368 19022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 20233 19022 139 317 0 19912 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 80932 [startup+25.5016 s] /proc/loadavg: 0.94 0.96 0.94 2/65 26469 /proc/meminfo: memFree=1698592/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=110844 CPUtime=25.49 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 27582 0 0 0 2537 12 0 0 25 0 1 0 158205476 113504256 27014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 27711 27014 139 317 0 27390 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 110844 [startup+51.1019 s] /proc/loadavg: 0.96 0.96 0.94 2/65 26469 /proc/meminfo: memFree=1623072/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=187520 CPUtime=51.08 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 46746 0 0 0 5089 19 0 0 25 0 1 0 158205476 192020480 46178 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 46880 46179 139 317 0 46559 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 187520 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.94 2/65 26469 /proc/meminfo: memFree=1486432/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=326616 CPUtime=102.27 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 80390 0 0 0 10193 34 0 0 25 0 1 0 158205476 334454784 79822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 81654 79822 139 317 0 81333 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 326616 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26469 /proc/meminfo: memFree=1350432/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=488168 CPUtime=162.25 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 114646 0 0 0 16177 48 0 0 25 0 1 0 158205476 499884032 114078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541595 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 122042 114078 139 317 0 121721 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 488168 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26469 /proc/meminfo: memFree=1229344/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=596000 CPUtime=222.24 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 144437 0 0 0 22164 60 0 0 25 0 1 0 158205476 610304000 143869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 149000 143869 139 317 0 148679 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 596000 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26469 /proc/meminfo: memFree=1114144/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=700904 CPUtime=282.22 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 173629 0 0 0 28147 75 0 0 25 0 1 0 158205476 717725696 173061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 175226 173061 139 317 0 174905 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 700904 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26469 /proc/meminfo: memFree=973792/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=925888 CPUtime=342.21 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 225799 0 0 0 34126 95 0 0 25 0 1 0 158205476 948109312 208005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 231472 208005 139 317 0 231151 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 925888 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26469 /proc/meminfo: memFree=883552/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=999980 CPUtime=402.2 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 247874 0 0 0 40117 103 0 0 25 0 1 0 158205476 1023979520 230080 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 249995 230080 139 317 0 249674 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 999980 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26469 /proc/meminfo: memFree=849120/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=1031960 CPUtime=462.18 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 256647 0 0 0 46111 107 0 0 25 0 1 0 158205476 1056727040 238853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 257990 238853 139 317 0 257669 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 1031960 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26469 /proc/meminfo: memFree=760224/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=1107492 CPUtime=522.16 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 278663 0 0 0 52101 115 0 0 25 0 1 0 158205476 1134071808 260869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 276873 260869 139 317 0 276552 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 1107492 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26469 /proc/meminfo: memFree=684768/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=1171200 CPUtime=582.15 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 297691 0 0 0 58090 125 0 0 25 0 1 0 158205476 1199308800 279897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 292800 279897 139 317 0 292479 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 1171200 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26469 /proc/meminfo: memFree=594848/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=1247716 CPUtime=642.14 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 319931 0 0 0 64079 135 0 0 25 0 1 0 158205476 1277661184 302137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 311929 302137 139 317 0 311608 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 1247716 [startup+702.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26469 /proc/meminfo: memFree=513888/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=1317144 CPUtime=702.12 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 340410 0 0 0 70069 143 0 0 25 0 1 0 158205476 1348755456 322616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 329286 322616 139 317 0 328965 0 Current children cumulated CPU time (s) 702.12 Current children cumulated vsize (KiB) 1317144 [startup+762.305 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26469 /proc/meminfo: memFree=423392/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=1393884 CPUtime=762.11 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 362709 0 0 0 76059 152 0 0 25 0 1 0 158205476 1427337216 344915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 348471 344915 139 317 0 348150 0 Current children cumulated CPU time (s) 762.11 Current children cumulated vsize (KiB) 1393884 [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26469 /proc/meminfo: memFree=356960/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=1451944 CPUtime=822.1 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 379541 0 0 0 82052 158 0 0 25 0 1 0 158205476 1486790656 361747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 362986 361747 139 317 0 362665 0 Current children cumulated CPU time (s) 822.1 Current children cumulated vsize (KiB) 1451944 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26469 /proc/meminfo: memFree=250528/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=1773012 CPUtime=882.08 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 456063 0 0 0 88029 179 0 0 25 0 1 0 158205476 1815564288 387959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 443253 387959 139 317 0 442932 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 1773012 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26469 /proc/meminfo: memFree=184224/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=1829460 CPUtime=942.06 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 472904 0 0 0 94019 187 0 0 25 0 1 0 158205476 1873367040 404800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 457365 404800 139 317 0 457044 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 1829460 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+956.201 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26469 /proc/meminfo: memFree=165664/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=1843296 CPUtime=955.96 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194304 477246 0 0 0 95408 188 0 0 25 0 1 0 158205476 1887535104 409142 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 460824 409142 139 317 0 460503 0 Current children cumulated CPU time (s) 955.96 Current children cumulated vsize (KiB) 1843296 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+956.401 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26469 /proc/meminfo: memFree=165664/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=0 CPUtime=956.16 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194308 477262 0 0 0 95412 204 0 0 25 0 1 0 158205476 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 956.16 Current children cumulated vsize (KiB) 0 [startup+956.501 s] /proc/loadavg: 0.99 0.97 0.94 2/65 26469 /proc/meminfo: memFree=165664/2055920 swapFree=4183752/4192956 [pid=26468] ppid=26466 vsize=0 CPUtime=956.26 /proc/26468/stat : 26468 (oree) R 26466 26468 26333 0 -1 4194308 477262 0 0 0 95412 214 0 0 25 0 1 0 158205476 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26468/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 956.26 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 956.509 CPU time (s): 956.276 CPU user time (s): 954.124 CPU system time (s): 2.15167 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 1843296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 954.124 system time used= 2.15167 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 477262 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= 2660 runsolver used 0.743886 second user time and 1.87871 second system time The end
Begin job on node50 on Tue May 1 15:33:23 UTC 2007 IDJOB= 454910 IDBENCH= 48228 IDSOLVER= 172 FILE ID= node50/454910-1178033603 PBS_JOBID= 4728401 Free space on /tmp= 66562 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_25_4.opb COMMAND LINE= oree /tmp/evaluation/454910-1178033603/instance-454910-1178033603.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node50/convwatcher-454910-1178033603 -o ROOT/results/node50/conversion-454910-1178033603 -C 600 -M 1800 /tmp/evaluation/454910-1178033603/substituteSizeProductKeyword /tmp/evaluation/454910-1178033603/instance-454910-1178033603.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-454910-1178033603 -o ROOT/results/node50/solver-454910-1178033603 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454910-1178033603/instance-454910-1178033603.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 95a6f76009dbd8a204f015cb008300c0 RANDOM SEED= 818363529 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node50.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.232 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.232 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: 1806144 kB Buffers: 77944 kB Cached: 102216 kB SwapCached: 3168 kB Active: 118472 kB Inactive: 73416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1806144 kB SwapTotal: 4192956 kB SwapFree: 4183752 kB Dirty: 2224 kB Writeback: 0 kB Mapped: 15400 kB Slab: 43840 kB Committed_AS: 4807328 kB PageTables: 1460 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= 66562 MiB End job on node50 on Tue May 1 15:49:21 UTC 2007