Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Signal | 182.737 | 182.815 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=251-P1=139-P2=89-P3=173-P4=107-B.opb |
MD5SUM | 616d60d0b9e17d59a77d69efb2609a49 |
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 | 4.69329 |
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 | 108 |
Total number of constraints | 9 |
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 | 9 |
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) | 324 |
Sum of products size (including duplicates) | 648 |
Number of different products | 324 |
Sum of products size | 648 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2701938-1278546261.opb. 0.00/0.00 c Instance file HOME/instance-2701938-1278546261.opb 0.00/0.00 c File size is 24020 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 432 | 0.00/0.00 c | Number Clauses: 324 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 337 | 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 | 432 661 2763 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 432 661 2763 | 5500 100 66 | 0.005 % | 0.00/0.02 c | 251 | 432 661 2763 | 6050 251 65 | 0.001 % | 0.00/0.04 c | 477 | 432 661 2763 | 6655 477 72 | 0.001 % | 0.00/0.07 c | 815 | 432 661 2763 | 7320 815 74 | 0.005 % | 0.10/0.11 c | 1322 | 432 661 2763 | 8052 1322 66 | 0.001 % | 0.10/0.18 c | 2081 | 432 661 2763 | 8857 2081 67 | 0.001 % | 0.29/0.30 c | 3220 | 432 661 2763 | 9743 3220 66 | 0.001 % | 0.49/0.51 c | 4929 | 432 661 2763 | 10717 4929 64 | 0.001 % | 0.79/0.87 c | 7491 | 432 661 2763 | 11789 7491 60 | 0.001 % | 1.19/1.29 c | 11335 | 432 661 2763 | 12968 11335 59 | 0.001 % | 1.89/1.97 c | 17102 | 432 661 2763 | 14265 10437 58 | 0.001 % | 2.99/3.03 c | 25752 | 432 661 2763 | 15692 11861 56 | 0.001 % | 4.79/4.86 c | 38727 | 432 661 2763 | 17261 9021 42 | 0.001 % | 7.09/7.17 c =============================================================================== 7.09/7.17 c New solution: 41 7.09/7.17 o 41 7.09/7.17 c Elapsed CPU time: 7.02393 s Remaining CPU time: 172.976 s 7.09/7.17 c =============================================================================== 7.09/7.17 c | 57353 | 432 662 2772 | 5000 10049 49 | 0.001 % | 7.19/7.21 c | 57454 | 399 662 2772 | 5500 3795 50 | 7.639 % | 7.19/7.22 c | 57609 | 399 662 2772 | 6050 3950 50 | 7.639 % | 7.19/7.25 c | 57835 | 399 662 2772 | 6655 4176 51 | 7.639 % | 7.19/7.28 c | 58172 | 399 662 2772 | 7320 4513 52 | 7.644 % | 7.29/7.35 c | 58678 | 399 662 2772 | 8052 5019 53 | 7.639 % | 7.39/7.41 c | 59438 | 399 662 2772 | 8857 5779 55 | 7.639 % | 7.49/7.51 c | 60577 | 399 662 2772 | 9743 6918 57 | 7.639 % | 7.59/7.70 c =============================================================================== 7.59/7.70 c New solution: 9 7.59/7.70 o 9 7.59/7.70 c Elapsed CPU time: 7.54585 s Remaining CPU time: 172.454 s 7.59/7.70 c =============================================================================== 7.59/7.70 c | 62060 | 399 663 2781 | 5000 8401 60 | 7.639 % | 7.69/7.74 c | 62160 | 377 663 2781 | 5500 4301 68 | 12.732 % | 7.69/7.78 c | 62310 | 377 663 2781 | 6050 4451 67 | 12.732 % | 7.79/7.81 c | 62536 | 377 663 2781 | 6655 4677 68 | 12.732 % | 7.79/7.86 c | 62873 | 377 663 2781 | 7320 5014 68 | 12.737 % | 7.89/7.97 c | 63381 | 377 663 2781 | 8052 5522 66 | 12.732 % | 7.98/8.05 c | 64141 | 377 663 2781 | 8857 6282 66 | 12.732 % | 8.18/8.24 c | 65281 | 377 663 2781 | 9743 7422 69 | 12.737 % | 8.49/8.50 c | 66990 | 377 663 2781 | 10717 9131 66 | 12.732 % | 8.49/8.56 c =============================================================================== 8.49/8.56 c New solution: 5 8.49/8.56 o 5 8.49/8.56 c Elapsed CPU time: 8.38772 s Remaining CPU time: 171.612 s 8.49/8.56 c =============================================================================== 8.49/8.56 c | 67443 | 377 664 2790 | 5000 9584 67 | 12.732 % | 8.59/8.60 c | 67543 | 366 664 2790 | 5500 4892 66 | 15.283 % | 8.59/8.62 c | 67693 | 366 664 2790 | 6050 5042 66 | 15.278 % | 8.59/8.65 c | 67920 | 366 664 2790 | 6655 5269 66 | 15.278 % | 8.69/8.71 c | 68258 | 366 664 2790 | 7320 5607 65 | 15.278 % | 8.69/8.75 c | 68765 | 366 664 2790 | 8052 6114 65 | 15.278 % | 8.80/8.88 c | 69525 | 366 664 2790 | 8857 6874 65 | 15.278 % | 8.99/9.05 c | 70665 | 366 664 2790 | 9743 8014 63 | 15.278 % | 9.09/9.16 c =============================================================================== 9.09/9.16 c New solution: 3 9.09/9.16 o 3 9.09/9.16 c Elapsed CPU time: 8.97064 s Remaining CPU time: 171.029 s 9.09/9.16 c =============================================================================== 9.09/9.16 c | 71515 | 366 665 2799 | 5000 8864 64 | 15.278 % | 9.09/9.19 c | 71615 | 343 665 2799 | 5500 4532 62 | 20.607 % | 9.18/9.23 c | 71765 | 343 665 2799 | 6050 4682 63 | 20.602 % | 9.18/9.27 c | 71992 | 343 665 2799 | 6655 4909 62 | 20.602 % | 9.29/9.31 c | 72329 | 343 665 2799 | 7320 5246 63 | 20.607 % | 9.39/9.41 c | 72836 | 343 665 2799 | 8052 5753 63 | 20.602 % | 9.48/9.50 c | 73595 | 343 665 2799 | 8857 6512 64 | 20.602 % | 9.58/9.66 c | 74735 | 343 665 2799 | 9743 7652 64 | 20.602 % | 9.80/9.89 c | 76443 | 343 665 2799 | 10717 9360 66 | 20.602 % | 10.39/10.40 c | 79005 | 343 665 2799 | 11789 6376 64 | 20.602 % | 10.79/10.82 c | 82849 | 343 665 2799 | 12968 10220 62 | 20.602 % | 11.48/11.58 c | 88616 | 343 665 2799 | 14265 9388 56 | 20.602 % | 12.69/12.76 c | 97267 | 343 665 2799 | 15692 10818 47 | 20.602 % | 14.68/14.73 c | 110242 | 343 665 2799 | 17261 15758 51 | 20.602 % | 17.28/17.35 c | 129703 | 343 665 2799 | 18987 17614 56 | 20.602 % | 24.48/24.50 c | 158895 | 343 665 2799 | 20886 17861 42 | 20.602 % | 34.18/34.29 c | 202684 | 343 665 2799 | 22974 19181 52 | 20.602 % | 54.17/54.26 c | 268368 | 343 665 2799 | 25272 23252 56 | 20.602 % | 80.46/80.52 c | 366894 | 343 665 2799 | 27799 19291 57 | 20.602 % | 125.95/126.07 c | 514685 | 343 665 2799 | 30579 17605 38 | 20.602 % | 181.93/182.05 c There are 89 assigned variables. 9 in cost function.
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-2701938-1278546261/watcher-2701938-1278546261 -o /tmp/evaluation-result-2701938-1278546261/solver-2701938-1278546261 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701938-1278546261.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.04 0.01 0.00 3/106 26166 /proc/meminfo: memFree=1739392/2059040 swapFree=4139720/4192956 [pid=26166] ppid=26164 vsize=2704 CPUtime=0 /proc/26166/stat : 26166 (wbo1.4b) R 26164 26166 25841 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 22833138 2768896 237 1992294400 134512640 135751879 4290010176 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26166/statm: 676 237 146 303 0 371 0 [startup+0.0959979 s] /proc/loadavg: 0.04 0.01 0.00 3/106 26166 /proc/meminfo: memFree=1739392/2059040 swapFree=4139720/4192956 [pid=26166] ppid=26164 vsize=3092 CPUtime=0.09 /proc/26166/stat : 26166 (wbo1.4b) R 26164 26166 25841 0 -1 4202496 415 0 0 0 9 0 0 0 20 0 1 0 22833138 3166208 328 1992294400 134512640 135751879 4290010176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26166/statm: 773 328 147 303 0 468 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3092 [startup+0.100998 s] /proc/loadavg: 0.04 0.01 0.00 3/106 26166 /proc/meminfo: memFree=1739392/2059040 swapFree=4139720/4192956 [pid=26166] ppid=26164 vsize=3092 CPUtime=0.1 /proc/26166/stat : 26166 (wbo1.4b) R 26164 26166 25841 0 -1 4202496 421 0 0 0 10 0 0 0 20 0 1 0 22833138 3166208 334 1992294400 134512640 135751879 4290010176 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26166/statm: 773 334 147 303 0 468 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3092 [startup+0.300993 s] /proc/loadavg: 0.04 0.01 0.00 3/106 26166 /proc/meminfo: memFree=1739392/2059040 swapFree=4139720/4192956 [pid=26166] ppid=26164 vsize=3868 CPUtime=0.29 /proc/26166/stat : 26166 (wbo1.4b) R 26164 26166 25841 0 -1 4202496 614 0 0 0 29 0 0 0 20 0 1 0 22833138 3960832 527 1992294400 134512640 135751879 4290010176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26166/statm: 967 527 147 303 0 662 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3868 [startup+0.700983 s] /proc/loadavg: 0.04 0.01 0.00 3/106 26166 /proc/meminfo: memFree=1739392/2059040 swapFree=4139720/4192956 [pid=26166] ppid=26164 vsize=5028 CPUtime=0.69 /proc/26166/stat : 26166 (wbo1.4b) R 26164 26166 25841 0 -1 4202496 908 0 0 0 68 1 0 0 21 0 1 0 22833138 5148672 821 1992294400 134512640 135751879 4290010176 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26166/statm: 1257 821 147 303 0 952 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5028 [startup+1.50096 s] /proc/loadavg: 0.04 0.01 0.00 2/107 26167 /proc/meminfo: memFree=1736408/2059040 swapFree=4139720/4192956 [pid=26166] ppid=26164 vsize=7520 CPUtime=1.49 /proc/26166/stat : 26166 (wbo1.4b) R 26164 26166 25841 0 -1 4202496 1532 0 0 0 146 3 0 0 23 0 1 0 22833138 7700480 1445 1992294400 134512640 135751879 4290010176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26166/statm: 1880 1445 147 303 0 1575 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7520 [startup+3.10092 s] /proc/loadavg: 0.04 0.01 0.00 2/107 26167 /proc/meminfo: memFree=1732812/2059040 swapFree=4139720/4192956 [pid=26166] ppid=26164 vsize=11932 CPUtime=3.09 /proc/26166/stat : 26166 (wbo1.4b) R 26164 26166 25841 0 -1 4202496 2641 0 0 0 302 7 0 0 25 0 1 0 22833138 12218368 2554 1992294400 134512640 135751879 4290010176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26166/statm: 2983 2554 148 303 0 2678 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11932 [startup+6.30085 s] /proc/loadavg: 0.12 0.03 0.01 2/107 26167 /proc/meminfo: memFree=1724876/2059040 swapFree=4139720/4192956 [pid=26166] ppid=26164 vsize=18924 CPUtime=6.29 /proc/26166/stat : 26166 (wbo1.4b) R 26164 26166 25841 0 -1 4202496 4376 0 0 0 617 12 0 0 25 0 1 0 22833138 19378176 4289 1992294400 134512640 135751879 4290010176 18446744073709551615 134604797 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26166/statm: 4731 4289 148 303 0 4426 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18924 [startup+12.7007 s] /proc/loadavg: 0.19 0.05 0.01 2/107 26167 /proc/meminfo: memFree=1709748/2059040 swapFree=4139720/4192956 [pid=26166] ppid=26164 vsize=33316 CPUtime=12.69 /proc/26166/stat : 26166 (wbo1.4b) R 26164 26166 25841 0 -1 4202496 7975 0 0 0 1244 25 0 0 25 0 1 0 22833138 34115584 7888 1992294400 134512640 135751879 4290010176 18446744073709551615 134606190 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26166/statm: 8329 7888 148 303 0 8024 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33316 [startup+25.5004 s] /proc/loadavg: 0.37 0.09 0.03 2/107 26168 /proc/meminfo: memFree=1689660/2059040 swapFree=4139720/4192956 [pid=26166] ppid=26164 vsize=52424 CPUtime=25.49 /proc/26166/stat : 26166 (wbo1.4b) R 26164 26166 25841 0 -1 4202496 12729 0 0 0 2506 43 0 0 25 0 1 0 22833138 53682176 12642 1992294400 134512640 135751879 4290010176 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26166/statm: 13106 12642 148 303 0 12801 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 52424 [startup+51.1008 s] /proc/loadavg: 0.58 0.16 0.05 2/107 26168 /proc/meminfo: memFree=1662628/2059040 swapFree=4139720/4192956 [pid=26166] ppid=26164 vsize=79368 CPUtime=51.07 /proc/26166/stat : 26166 (wbo1.4b) R 26164 26166 25841 0 -1 4202496 19467 0 0 0 5035 72 0 0 25 0 1 0 22833138 81272832 19380 1992294400 134512640 135751879 4290010176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26166/statm: 19842 19380 148 303 0 19537 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 79368 [startup+102.309 s] /proc/loadavg: 0.82 0.29 0.10 2/107 26170 /proc/meminfo: memFree=1610176/2059040 swapFree=4139720/4192956 [pid=26166] ppid=26164 vsize=131760 CPUtime=102.26 /proc/26166/stat : 26166 (wbo1.4b) R 26164 26166 25841 0 -1 4202496 32539 0 0 0 10101 125 0 0 25 0 1 0 22833138 134922240 32452 1992294400 134512640 135751879 4290010176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26166/statm: 32940 32452 148 303 0 32635 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 131760 [startup+162.3 s] /proc/loadavg: 0.93 0.42 0.15 2/107 26171 /proc/meminfo: memFree=1563676/2059040 swapFree=4139720/4192956 [pid=26166] ppid=26164 vsize=178784 CPUtime=162.24 /proc/26166/stat : 26166 (wbo1.4b) R 26164 26166 25841 0 -1 4202496 44241 0 0 0 16042 182 0 0 25 0 1 0 22833138 183074816 44154 1992294400 134512640 135751879 4290010176 18446744073709551615 134642069 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26166/statm: 44696 44154 148 303 0 44391 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 178784 Solver just ended. Dumping a history of the last processes samples [startup+166.302 s] /proc/loadavg: 0.94 0.43 0.16 2/107 26171 /proc/meminfo: memFree=1560948/2059040 swapFree=4139720/4192956 [pid=26166] ppid=26164 vsize=180964 CPUtime=166.24 /proc/26166/stat : 26166 (wbo1.4b) R 26164 26166 25841 0 -1 4202496 44786 0 0 0 16440 184 0 0 25 0 1 0 22833138 185307136 44699 1992294400 134512640 135751879 4290010176 18446744073709551615 134602457 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26166/statm: 45241 44699 148 303 0 44936 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 180964 [startup+172.709 s] /proc/loadavg: 0.94 0.43 0.16 2/107 26172 /proc/meminfo: memFree=1554996/2059040 swapFree=4139720/4192956 [pid=26166] ppid=26164 vsize=186888 CPUtime=172.64 /proc/26166/stat : 26166 (wbo1.4b) R 26164 26166 25841 0 -1 4202496 46283 0 0 0 17073 191 0 0 25 0 1 0 22833138 191373312 46196 1992294400 134512640 135751879 4290010176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26166/statm: 46722 46196 148 303 0 46417 0 Current children cumulated CPU time (s) 172.64 Current children cumulated vsize (KiB) 186888 [startup+179.101 s] /proc/loadavg: 0.95 0.44 0.16 2/107 26172 /proc/meminfo: memFree=1551028/2059040 swapFree=4139720/4192956 [pid=26166] ppid=26164 vsize=191296 CPUtime=179.03 /proc/26166/stat : 26166 (wbo1.4b) R 26164 26166 25841 0 -1 4202496 47378 0 0 0 17706 197 0 0 25 0 1 0 22833138 195887104 47291 1992294400 134512640 135751879 4290010176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26166/statm: 47824 47291 148 303 0 47519 0 Current children cumulated CPU time (s) 179.03 Current children cumulated vsize (KiB) 191296 [startup+180.701 s] /proc/loadavg: 0.95 0.45 0.17 2/107 26172 /proc/meminfo: memFree=1550036/2059040 swapFree=4139720/4192956 [pid=26166] ppid=26164 vsize=192112 CPUtime=180.63 /proc/26166/stat : 26166 (wbo1.4b) R 26164 26166 25841 0 -1 4202496 47564 0 0 0 17865 198 0 0 25 0 1 0 22833138 196722688 47477 1992294400 134512640 135751879 4290010176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26166/statm: 48028 47477 148 303 0 47723 0 Current children cumulated CPU time (s) 180.63 Current children cumulated vsize (KiB) 192112 [startup+181.509 s] /proc/loadavg: 0.95 0.45 0.17 2/107 26172 /proc/meminfo: memFree=1549540/2059040 swapFree=4139720/4192956 [pid=26166] ppid=26164 vsize=192368 CPUtime=181.44 /proc/26166/stat : 26166 (wbo1.4b) R 26164 26166 25841 0 -1 4202496 47634 0 0 0 17946 198 0 0 25 0 1 0 22833138 196984832 47547 1992294400 134512640 135751879 4290010176 18446744073709551615 134602695 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26166/statm: 48092 47547 148 303 0 47787 0 Current children cumulated CPU time (s) 181.44 Current children cumulated vsize (KiB) 192368 [startup+182.301 s] /proc/loadavg: 0.95 0.45 0.17 2/107 26172 /proc/meminfo: memFree=1549540/2059040 swapFree=4139720/4192956 [pid=26166] ppid=26164 vsize=192760 CPUtime=182.23 /proc/26166/stat : 26166 (wbo1.4b) R 26164 26166 25841 0 -1 4204032 47729 0 0 0 18000 223 0 0 25 0 1 0 22833138 197386240 47642 1992294400 134512640 135751879 4290010176 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26166/statm: 48190 47642 148 303 0 47885 0 Current children cumulated CPU time (s) 182.23 Current children cumulated vsize (KiB) 192760 [startup+182.701 s] /proc/loadavg: 0.95 0.45 0.17 2/107 26172 /proc/meminfo: memFree=1430440/2059040 swapFree=4139720/4192956 [pid=26166] ppid=26164 vsize=192760 CPUtime=182.62 /proc/26166/stat : 26166 (wbo1.4b) R 26164 26166 25841 0 -1 4204032 47729 0 0 0 18000 262 0 0 25 0 1 0 22833138 197386240 47642 1992294400 134512640 135751879 4290010176 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 0 0 0 1 /proc/26166/statm: 48190 47642 148 303 0 47885 0 Current children cumulated CPU time (s) 182.62 Current children cumulated vsize (KiB) 192760 [startup+182.801 s] /proc/loadavg: 0.95 0.45 0.17 2/107 26172 /proc/meminfo: memFree=1430440/2059040 swapFree=4139720/4192956 [pid=26166] ppid=26164 vsize=0 CPUtime=182.72 /proc/26166/stat : 26166 (wbo1.4b) R 26164 26166 25841 0 -1 4204036 47730 0 0 0 18000 272 0 0 25 0 1 0 22833138 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 1 /proc/26166/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 182.72 Current children cumulated vsize (KiB) 0 Child ended because it received signal 11 (SIGSEGV) Child dumped core Real time (s): 182.815 CPU time (s): 182.737 CPU user time (s): 180.001 CPU system time (s): 2.73658 CPU usage (%): 99.9576 Max. virtual memory (cumulated for all children) (KiB): 192760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.001 system time used= 2.73658 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47730 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= 866 runsolver used 0.367944 second user time and 0.928858 second system time The end
Begin job on node048 at 2010-07-08 01:44:21 IDJOB=2701938 IDBENCH=47904 IDSOLVER=1161 FILE ID=node048/2701938-1278546261 PBS_JOBID= 11239493 Free space on /tmp= 62568 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=251-P1=139-P2=89-P3=173-P4=107-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-2701938-1278546261/watcher-2701938-1278546261 -o /tmp/evaluation-result-2701938-1278546261/solver-2701938-1278546261 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701938-1278546261.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 616d60d0b9e17d59a77d69efb2609a49 RANDOM SEED=1801330230 node048.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.262 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.52 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.262 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 : 5599.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1740416 kB Buffers: 57056 kB Cached: 174408 kB SwapCached: 7028 kB Active: 100868 kB Inactive: 144492 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1740416 kB SwapTotal: 4192956 kB SwapFree: 4139720 kB Dirty: 2880 kB Writeback: 0 kB AnonPages: 11404 kB Mapped: 11864 kB Slab: 51336 kB PageTables: 4144 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180016 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-2701938-1278546261.opb Free space on /tmp at the end= 62380 MiB End job on node048 at 2010-07-08 01:47:24