Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | Wrong UNSAT | 237.536 | 237.596 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=61-P1=167-P2=157-P3=13-P4=173-P5=47-P6=47-P7=251-P8=79-B.opb |
MD5SUM | 8f717fbc7f85484ebc0de379ab09a890 |
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 | 9.76751 |
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 | 192 |
Total number of constraints | 17 |
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 | 17 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 512 |
Sum of products size (including duplicates) | 1024 |
Number of different products | 512 |
Sum of products size | 1024 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702091-1278546473.opb. 0.00/0.00 c Instance file HOME/instance-2702091-1278546473.opb 0.00/0.00 c File size is 38507 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 704 | 0.00/0.00 c | Number Clauses: 512 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 537 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 704 1049 4408 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 704 1049 4408 | 5500 100 56 | 0.002 % | 0.00/0.02 c | 250 | 704 1049 4408 | 6050 250 60 | 0.002 % | 0.00/0.03 c | 476 | 704 1049 4408 | 6655 476 61 | 0.000 % | 0.00/0.06 c | 813 | 704 1049 4408 | 7320 813 65 | 0.000 % | 0.00/0.09 c | 1319 | 704 1049 4408 | 8052 1319 62 | 0.000 % | 0.09/0.15 c | 2078 | 704 1049 4408 | 8857 2078 54 | 0.000 % | 0.19/0.24 c | 3218 | 704 1049 4408 | 9743 3218 55 | 0.002 % | 0.29/0.36 c | 4926 | 704 1049 4408 | 10717 4926 53 | 0.000 % | 0.59/0.62 c | 7489 | 704 1049 4408 | 11789 7489 52 | 0.002 % | 0.89/0.98 c | 11333 | 704 1049 4408 | 12968 11333 48 | 0.000 % | 1.59/1.62 c | 17100 | 704 1049 4408 | 14265 10571 37 | 0.000 % | 2.39/2.50 c | 25751 | 704 1049 4408 | 15692 11855 51 | 0.000 % | 4.19/4.26 c | 38725 | 704 1049 4408 | 17261 8769 37 | 0.000 % | 6.29/6.38 c | 58186 | 704 1049 4408 | 18987 10461 52 | 0.000 % | 11.99/12.07 c | 87379 | 704 1049 4408 | 20886 10855 39 | 0.000 % | 18.58/18.65 c | 131168 | 704 1049 4408 | 22974 11946 42 | 0.000 % | 35.19/35.22 c | 196853 | 704 1049 4408 | 25272 17807 44 | 0.000 % | 39.78/39.84 c =============================================================================== 39.78/39.84 c New solution: 141 39.78/39.84 o 141 39.78/39.84 c Elapsed CPU time: 39.246 s Remaining CPU time: 140.754 s 39.78/39.84 c =============================================================================== 39.78/39.84 c | 223021 | 703 1050 4416 | 5000 14607 39 | 0.000 % | 39.78/39.88 c | 223121 | 703 1050 4416 | 5500 3752 51 | 0.144 % | 39.78/39.89 c | 223273 | 703 1050 4416 | 6050 3904 52 | 0.142 % | 39.88/39.91 c | 223498 | 703 1050 4416 | 6655 4129 53 | 0.142 % | 39.88/39.94 c | 223835 | 703 1050 4416 | 7320 4466 54 | 0.142 % | 39.88/39.97 c | 224342 | 703 1050 4416 | 8052 4973 54 | 0.142 % | 39.99/40.04 c | 225101 | 703 1050 4416 | 8857 5732 55 | 0.144 % | 40.18/40.20 c | 226241 | 703 1050 4416 | 9743 6872 54 | 0.142 % | 40.38/40.47 c | 227950 | 703 1050 4416 | 10717 8581 51 | 0.142 % | 40.78/40.84 c | 230512 | 703 1050 4416 | 11789 5750 42 | 0.142 % | 41.58/41.64 c | 234356 | 703 1050 4416 | 12968 9594 46 | 0.144 % | 42.89/42.91 c | 240122 | 703 1050 4416 | 14265 8852 37 | 0.142 % | 44.48/44.57 c | 248771 | 703 1050 4416 | 15692 10260 32 | 0.142 % | 46.78/46.82 c | 261745 | 703 1050 4416 | 17261 15291 41 | 0.142 % | 49.48/49.51 c | 281207 | 703 1050 4416 | 18987 17166 46 | 0.142 % | 53.77/53.86 c | 310399 | 702 1050 4416 | 20886 17439 42 | 0.286 % | 61.88/61.92 c | 354188 | 702 1050 4416 | 22974 18820 55 | 0.284 % | 76.57/76.64 c | 419872 | 701 1050 4416 | 25272 22671 52 | 0.428 % | 93.16/93.21 c =============================================================================== 93.16/93.21 c New solution: 9 93.16/93.21 o 9 93.16/93.21 c Elapsed CPU time: 91.904 s Remaining CPU time: 88.096 s 93.16/93.21 c =============================================================================== 93.16/93.21 c | 499641 | 701 1051 4424 | 5000 15895 46 | 0.428 % | 93.16/93.27 c | 499744 | 661 1051 4424 | 5500 3805 42 | 6.110 % | 93.16/93.27 c | 499894 | 661 1051 4424 | 6050 3955 42 | 6.108 % | 93.16/93.29 c | 500121 | 661 1051 4424 | 6655 4182 43 | 6.108 % | 93.27/93.32 c | 500458 | 661 1051 4424 | 7320 4519 44 | 6.108 % | 93.27/93.36 c | 500965 | 661 1051 4424 | 8052 5026 46 | 6.108 % | 93.37/93.44 c | 501725 | 661 1051 4424 | 8857 5786 47 | 6.108 % | 93.57/93.60 c | 502864 | 661 1051 4424 | 9743 6925 50 | 6.110 % | 93.67/93.73 c | 504572 | 661 1051 4424 | 10717 8633 51 | 6.108 % | 94.07/94.12 c | 507135 | 661 1051 4424 | 11789 5706 57 | 6.108 % | 94.37/94.45 c | 510979 | 661 1051 4424 | 12968 9550 53 | 6.108 % | 95.06/95.13 c | 516746 | 661 1051 4424 | 14265 8528 59 | 6.108 % | 95.97/96.08 c | 525395 | 661 1051 4424 | 15692 9918 45 | 6.108 % | 97.87/98.00 c | 538370 | 661 1051 4424 | 17261 14970 45 | 6.108 % | 100.77/100.81 c | 557832 | 661 1051 4424 | 18987 16552 59 | 6.108 % | 105.76/105.84 c | 587025 | 661 1051 4424 | 20886 16719 40 | 6.108 % | 114.66/114.70 c | 630814 | 660 1051 4424 | 22974 18318 57 | 6.250 % | 115.66/115.78 c =============================================================================== 115.66/115.78 c New solution: 3 115.66/115.78 o 3 115.66/115.78 c Elapsed CPU time: 114.106 s Remaining CPU time: 65.8943 s 115.66/115.78 c =============================================================================== 115.66/115.78 c | 639083 | 660 1052 4432 | 5000 14809 58 | 6.250 % | 115.76/115.82 c | 639184 | 629 1052 4432 | 5500 3804 44 | 10.654 % | 115.76/115.83 c | 639334 | 629 1052 4432 | 6050 3954 44 | 10.654 % | 115.76/115.85 c | 639560 | 629 1052 4432 | 6655 4180 45 | 10.654 % | 115.76/115.88 c | 639897 | 629 1052 4432 | 7320 4517 46 | 10.654 % | 115.86/115.92 c | 640403 | 629 1052 4432 | 8052 5023 47 | 10.654 % | 115.86/115.99 c | 641162 | 629 1052 4432 | 8857 5767 48 | 10.654 % | 116.07/116.13 c | 642302 | 629 1052 4432 | 9743 6907 50 | 10.654 % | 116.16/116.27 c | 644010 | 629 1052 4432 | 10717 8615 49 | 10.654 % | 116.57/116.61 c | 646572 | 629 1052 4432 | 11789 5661 51 | 10.654 % | 116.86/116.97 c | 650416 | 629 1052 4432 | 12968 9505 48 | 10.654 % | 117.46/117.58 c | 656183 | 629 1052 4432 | 14265 8606 47 | 10.654 % | 118.66/118.70 c | 664833 | 629 1052 4432 | 15692 9967 53 | 10.654 % | 121.46/121.58 c | 677807 | 629 1052 4432 | 17261 15020 35 | 10.654 % | 124.27/124.40 c | 697268 | 629 1052 4432 | 18987 16803 45 | 10.654 % | 128.36/128.46 c | 726460 | 629 1052 4432 | 20886 16936 59 | 10.654 % | 139.96/140.06 c | 770249 | 629 1052 4432 | 22974 18216 52 | 10.655 % | 156.45/156.58 c | 835934 | 629 1052 4432 | 25272 12109 55 | 10.655 % | 182.34/182.45 c There are 76 assigned variables. 8 in cost function. 183.04/183.12 c ============================[ Search Statistics ]============================== 183.04/183.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.12 c =============================================================================== 183.04/183.12 c | 0 | 628 1016 3841 | 5000 0 nan | 0.000 % | 183.14/183.23 c | 101 | 628 1016 3841 | 5500 101 58 | 10.796 % | 183.14/183.27 c | 251 | 628 1016 3841 | 6050 251 61 | 10.796 % | 183.14/183.28 c | 477 | 628 1016 3841 | 6655 477 54 | 10.796 % | 183.24/183.31 c | 814 | 628 1016 3841 | 7320 814 53 | 10.797 % | 183.24/183.35 c | 1320 | 628 1016 3841 | 8052 1320 50 | 10.796 % | 183.35/183.42 c | 2079 | 628 1016 3841 | 8857 2079 49 | 10.796 % | 183.44/183.56 c | 3218 | 628 1016 3841 | 9743 3218 53 | 10.796 % | 183.66/183.71 c | 4928 | 628 1016 3841 | 10717 4928 52 | 10.796 % | 184.05/184.11 c | 7490 | 628 1016 3841 | 11789 7490 53 | 10.796 % | 184.55/184.61 c | 11334 | 628 1016 3841 | 12968 11334 48 | 10.796 % | 185.44/185.53 c | 17100 | 628 1016 3841 | 14265 10518 42 | 10.796 % | 186.64/186.77 c | 25750 | 628 1016 3841 | 15692 11896 35 | 10.796 % | 188.74/188.86 c | 38725 | 628 1016 3841 | 17261 9000 30 | 10.796 % | 191.35/191.44 c | 58186 | 628 1016 3841 | 18987 10816 46 | 10.796 % | 196.64/196.74 c | 87379 | 628 1016 3841 | 20886 11213 46 | 10.796 % | 205.65/205.78 c | 131168 | 628 1016 3841 | 22974 12311 30 | 10.796 % | 218.14/218.28 c | 196852 | 627 1016 3841 | 25272 16022 31 | 10.940 % | 237.43/237.57 c =============================================================================== 237.43/237.57 c core #1 237.43/237.57 c 237.43/237.57 c 237.43/237.57 c Core size: 65 Core Weight: 2147483647 Total Weight: -2147483647 237.43/237.57 c 237.43/237.57 c 237.43/237.57 c Memory used : 267.43 MB 237.43/237.57 c CPU time : 234.459 s 237.43/237.57 c 237.43/237.57 s UNSATISFIABLE 237.43/237.57 c Total CPU time: 234.459 s
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702091-1278546473/watcher-2702091-1278546473 -o /tmp/evaluation-result-2702091-1278546473/solver-2702091-1278546473 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702091-1278546473.opb 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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.97 0.53 0.21 3/105 28069 /proc/meminfo: memFree=1723184/2059040 swapFree=4139448/4192956 [pid=28069] ppid=28067 vsize=2840 CPUtime=0 /proc/28069/stat : 28069 (wbo1.4b) R 28067 28069 27594 0 -1 4202496 353 0 0 0 0 0 0 0 25 0 1 0 22855803 2908160 262 1992294400 134512640 135752675 4293766976 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28069/statm: 710 264 142 303 0 405 0 [startup+0.105576 s] /proc/loadavg: 0.97 0.53 0.21 3/105 28069 /proc/meminfo: memFree=1723184/2059040 swapFree=4139448/4192956 [pid=28069] ppid=28067 vsize=3232 CPUtime=0.09 /proc/28069/stat : 28069 (wbo1.4b) R 28067 28069 27594 0 -1 4202496 467 0 0 0 9 0 0 0 18 0 1 0 22855803 3309568 376 1992294400 134512640 135752675 4293766976 18446744073709551615 134612104 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28069/statm: 808 376 145 303 0 503 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3232 [startup+0.200584 s] /proc/loadavg: 0.97 0.53 0.21 3/105 28069 /proc/meminfo: memFree=1723184/2059040 swapFree=4139448/4192956 [pid=28069] ppid=28067 vsize=3624 CPUtime=0.19 /proc/28069/stat : 28069 (wbo1.4b) R 28067 28069 27594 0 -1 4202496 566 0 0 0 19 0 0 0 18 0 1 0 22855803 3710976 475 1992294400 134512640 135752675 4293766976 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28069/statm: 906 475 145 303 0 601 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3624 [startup+0.300594 s] /proc/loadavg: 0.97 0.53 0.21 3/105 28069 /proc/meminfo: memFree=1723184/2059040 swapFree=4139448/4192956 [pid=28069] ppid=28067 vsize=4020 CPUtime=0.29 /proc/28069/stat : 28069 (wbo1.4b) R 28067 28069 27594 0 -1 4202496 669 0 0 0 28 1 0 0 18 0 1 0 22855803 4116480 578 1992294400 134512640 135752675 4293766976 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28069/statm: 1005 578 145 303 0 700 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4020 [startup+0.700634 s] /proc/loadavg: 0.97 0.53 0.21 3/105 28069 /proc/meminfo: memFree=1723184/2059040 swapFree=4139448/4192956 [pid=28069] ppid=28067 vsize=5448 CPUtime=0.69 /proc/28069/stat : 28069 (wbo1.4b) R 28067 28069 27594 0 -1 4202496 1002 0 0 0 68 1 0 0 18 0 1 0 22855803 5578752 911 1992294400 134512640 135752675 4293766976 18446744073709551615 134611639 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28069/statm: 1362 911 145 303 0 1057 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5448 [startup+1.50071 s] /proc/loadavg: 0.97 0.53 0.21 2/106 28070 /proc/meminfo: memFree=1719208/2059040 swapFree=4139448/4192956 [pid=28069] ppid=28067 vsize=7388 CPUtime=1.49 /proc/28069/stat : 28069 (wbo1.4b) R 28067 28069 27594 0 -1 4202496 1490 0 0 0 147 2 0 0 20 0 1 0 22855803 7565312 1399 1992294400 134512640 135752675 4293766976 18446744073709551615 134605381 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28069/statm: 1847 1399 145 303 0 1542 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7388 [startup+3.10087 s] /proc/loadavg: 0.97 0.53 0.21 2/106 28070 /proc/meminfo: memFree=1715860/2059040 swapFree=4139448/4192956 [pid=28069] ppid=28067 vsize=11656 CPUtime=3.09 /proc/28069/stat : 28069 (wbo1.4b) R 28067 28069 27594 0 -1 4202496 2570 0 0 0 303 6 0 0 25 0 1 0 22855803 11935744 2479 1992294400 134512640 135752675 4293766976 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28069/statm: 2914 2479 145 303 0 2609 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11656 [startup+6.30119 s] /proc/loadavg: 0.98 0.54 0.21 2/106 28070 /proc/meminfo: memFree=1707552/2059040 swapFree=4139448/4192956 [pid=28069] ppid=28067 vsize=19920 CPUtime=6.29 /proc/28069/stat : 28069 (wbo1.4b) R 28067 28069 27594 0 -1 4202496 4643 0 0 0 615 14 0 0 25 0 1 0 22855803 20398080 4552 1992294400 134512640 135752675 4293766976 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28069/statm: 4980 4552 145 303 0 4675 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19920 [startup+12.7008 s] /proc/loadavg: 0.98 0.55 0.22 2/106 28070 /proc/meminfo: memFree=1698004/2059040 swapFree=4139448/4192956 [pid=28069] ppid=28067 vsize=28956 CPUtime=12.69 /proc/28069/stat : 28069 (wbo1.4b) R 28067 28069 27594 0 -1 4202496 6890 0 0 0 1245 24 0 0 25 0 1 0 22855803 29650944 6799 1992294400 134512640 135752675 4293766976 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28069/statm: 7239 6799 145 303 0 6934 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28956 [startup+25.5011 s] /proc/loadavg: 0.98 0.57 0.23 2/106 28070 /proc/meminfo: memFree=1676676/2059040 swapFree=4139448/4192956 [pid=28069] ppid=28067 vsize=48916 CPUtime=25.49 /proc/28069/stat : 28069 (wbo1.4b) R 28067 28069 27594 0 -1 4202496 11884 0 0 0 2505 44 0 0 25 0 1 0 22855803 50089984 11793 1992294400 134512640 135752675 4293766976 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28069/statm: 12229 11793 145 303 0 11924 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 48916 [startup+51.1007 s] /proc/loadavg: 0.99 0.60 0.25 2/106 28072 /proc/meminfo: memFree=1645428/2059040 swapFree=4139448/4192956 [pid=28069] ppid=28067 vsize=80508 CPUtime=51.08 /proc/28069/stat : 28069 (wbo1.4b) R 28067 28069 27594 0 -1 4202496 19773 0 0 0 5032 76 0 0 25 0 1 0 22855803 82440192 19682 1992294400 134512640 135752675 4293766976 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28069/statm: 20127 19682 145 303 0 19822 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 80508 [startup+102.301 s] /proc/loadavg: 0.99 0.66 0.29 2/106 28072 /proc/meminfo: memFree=1569788/2059040 swapFree=4139448/4192956 [pid=28069] ppid=28067 vsize=155436 CPUtime=102.28 /proc/28069/stat : 28069 (wbo1.4b) R 28067 28069 27594 0 -1 4202496 38441 0 0 0 10084 144 0 0 25 0 1 0 22855803 159166464 38350 1992294400 134512640 135752675 4293766976 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28069/statm: 38859 38350 145 303 0 38554 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 155436 [startup+162.301 s] /proc/loadavg: 0.99 0.72 0.33 2/106 28074 /proc/meminfo: memFree=1491668/2059040 swapFree=4139448/4192956 [pid=28069] ppid=28067 vsize=234128 CPUtime=162.25 /proc/28069/stat : 28069 (wbo1.4b) R 28067 28069 27594 0 -1 4202496 58110 0 0 0 16002 223 0 0 25 0 1 0 22855803 239747072 58019 1992294400 134512640 135752675 4293766976 18446744073709551615 134518785 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28069/statm: 58532 58019 145 303 0 58227 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 234128 [startup+222.308 s] /proc/loadavg: 0.99 0.77 0.37 2/106 28076 /proc/meminfo: memFree=1454592/2059040 swapFree=4139448/4192956 [pid=28069] ppid=28067 vsize=270148 CPUtime=222.24 /proc/28069/stat : 28069 (wbo1.4b) R 28067 28069 27594 0 -1 4202496 67164 0 0 0 21930 294 0 0 25 0 1 0 22855803 276631552 67073 1992294400 134512640 135752675 4293766976 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28069/statm: 67537 67073 146 303 0 67232 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 270148 Solver just ended. Dumping a history of the last processes samples [startup+230.401 s] /proc/loadavg: 0.99 0.78 0.37 2/106 28076 /proc/meminfo: memFree=1451988/2059040 swapFree=4139448/4192956 [pid=28069] ppid=28067 vsize=272904 CPUtime=230.33 /proc/28069/stat : 28069 (wbo1.4b) R 28067 28069 27594 0 -1 4202496 67841 0 0 0 22733 300 0 0 25 0 1 0 22855803 279453696 67750 1992294400 134512640 135752675 4293766976 18446744073709551615 134611732 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28069/statm: 68226 67750 146 303 0 67921 0 Current children cumulated CPU time (s) 230.33 Current children cumulated vsize (KiB) 272904 [startup+233.601 s] /proc/loadavg: 0.99 0.78 0.38 2/106 28076 /proc/meminfo: memFree=1451492/2059040 swapFree=4139448/4192956 [pid=28069] ppid=28067 vsize=273288 CPUtime=233.53 /proc/28069/stat : 28069 (wbo1.4b) R 28067 28069 27594 0 -1 4202496 67932 0 0 0 23051 302 0 0 25 0 1 0 22855803 279846912 67841 1992294400 134512640 135752675 4293766976 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28069/statm: 68322 67841 146 303 0 68017 0 Current children cumulated CPU time (s) 233.53 Current children cumulated vsize (KiB) 273288 [startup+235.201 s] /proc/loadavg: 0.99 0.78 0.38 2/106 28076 /proc/meminfo: memFree=1451368/2059040 swapFree=4139448/4192956 [pid=28069] ppid=28067 vsize=273716 CPUtime=235.13 /proc/28069/stat : 28069 (wbo1.4b) R 28067 28069 27594 0 -1 4202496 68010 0 0 0 23210 303 0 0 25 0 1 0 22855803 280285184 67919 1992294400 134512640 135752675 4293766976 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28069/statm: 68429 67919 146 303 0 68124 0 Current children cumulated CPU time (s) 235.13 Current children cumulated vsize (KiB) 273716 [startup+236.801 s] /proc/loadavg: 0.99 0.78 0.38 2/106 28076 /proc/meminfo: memFree=1450996/2059040 swapFree=4139448/4192956 [pid=28069] ppid=28067 vsize=273844 CPUtime=236.73 /proc/28069/stat : 28069 (wbo1.4b) R 28067 28069 27594 0 -1 4202496 68048 0 0 0 23369 304 0 0 25 0 1 0 22855803 280416256 67957 1992294400 134512640 135752675 4293766976 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28069/statm: 68461 67957 146 303 0 68156 0 Current children cumulated CPU time (s) 236.73 Current children cumulated vsize (KiB) 273844 [startup+237.201 s] /proc/loadavg: 0.99 0.78 0.38 2/106 28076 /proc/meminfo: memFree=1450996/2059040 swapFree=4139448/4192956 [pid=28069] ppid=28067 vsize=273844 CPUtime=237.13 /proc/28069/stat : 28069 (wbo1.4b) R 28067 28069 27594 0 -1 4202496 68054 0 0 0 23409 304 0 0 25 0 1 0 22855803 280416256 67963 1992294400 134512640 135752675 4293766976 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28069/statm: 68461 67963 146 303 0 68156 0 Current children cumulated CPU time (s) 237.13 Current children cumulated vsize (KiB) 273844 [startup+237.401 s] /proc/loadavg: 0.99 0.78 0.38 2/106 28076 /proc/meminfo: memFree=1450996/2059040 swapFree=4139448/4192956 [pid=28069] ppid=28067 vsize=273844 CPUtime=237.33 /proc/28069/stat : 28069 (wbo1.4b) R 28067 28069 27594 0 -1 4202496 68056 0 0 0 23429 304 0 0 25 0 1 0 22855803 280416256 67965 1992294400 134512640 135752675 4293766976 18446744073709551615 135200872 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28069/statm: 68461 67965 146 303 0 68156 0 Current children cumulated CPU time (s) 237.33 Current children cumulated vsize (KiB) 273844 [startup+237.501 s] /proc/loadavg: 0.99 0.78 0.38 2/106 28076 /proc/meminfo: memFree=1450996/2059040 swapFree=4139448/4192956 [pid=28069] ppid=28067 vsize=273844 CPUtime=237.43 /proc/28069/stat : 28069 (wbo1.4b) R 28067 28069 27594 0 -1 4202496 68056 0 0 0 23439 304 0 0 25 0 1 0 22855803 280416256 67965 1992294400 134512640 135752675 4293766976 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28069/statm: 68461 67965 146 303 0 68156 0 Current children cumulated CPU time (s) 237.43 Current children cumulated vsize (KiB) 273844 Child status: 0 Real time (s): 237.596 CPU time (s): 237.536 CPU user time (s): 234.459 CPU system time (s): 3.07653 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 273844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 234.459 system time used= 3.07653 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68058 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= 3 involuntary context switches= 580 runsolver used 0.423935 second user time and 1.10683 second system time The end
Begin job on node084 at 2010-07-08 01:47:53 IDJOB=2702091 IDBENCH=47980 IDSOLVER=1190 FILE ID=node084/2702091-1278546473 PBS_JOBID= 11239479 Free space on /tmp= 62496 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=61-P1=167-P2=157-P3=13-P4=173-P5=47-P6=47-P7=251-P8=79-B.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702091-1278546473/watcher-2702091-1278546473 -o /tmp/evaluation-result-2702091-1278546473/solver-2702091-1278546473 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702091-1278546473.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8f717fbc7f85484ebc0de379ab09a890 RANDOM SEED=2121601104 node084.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.215 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 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.215 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1724208 kB Buffers: 56020 kB Cached: 175476 kB SwapCached: 22024 kB Active: 145288 kB Inactive: 115704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1724208 kB SwapTotal: 4192956 kB SwapFree: 4139448 kB Dirty: 2712 kB Writeback: 0 kB AnonPages: 12052 kB Mapped: 11940 kB Slab: 52048 kB PageTables: 4100 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182640 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702091-1278546473.opb Free space on /tmp at the end= 62492 MiB End job on node084 at 2010-07-08 01:51:51