Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Signal | 182.207 | 182.272 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=263-P1=409-P2=29-P3=379-B.opb |
MD5SUM | 947e947c586d02edcb816b66608818b9 |
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 | 2.6116 |
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 | 81 |
Total number of constraints | 7 |
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 | 7 |
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) | 243 |
Sum of products size (including duplicates) | 486 |
Number of different products | 243 |
Sum of products size | 486 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2701942-1278546261.opb. 0.00/0.00 c Instance file HOME/instance-2701942-1278546261.opb 0.00/0.00 c File size is 17961 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: 324 | 0.00/0.00 c | Number Clauses: 243 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 253 | 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 | 324 496 2070 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 324 496 2070 | 5500 100 67 | 0.010 % | 0.00/0.02 c | 251 | 324 496 2070 | 6050 251 69 | 0.010 % | 0.00/0.04 c | 477 | 324 496 2070 | 6655 477 59 | 0.001 % | 0.05/0.06 c | 814 | 324 496 2070 | 7320 814 70 | 0.001 % | 0.09/0.10 c | 1320 | 324 496 2070 | 8052 1320 69 | 0.010 % | 0.09/0.19 c | 2080 | 324 496 2070 | 8857 2080 64 | 0.001 % | 0.29/0.31 c | 3219 | 324 496 2070 | 9743 3219 66 | 0.010 % | 0.50/0.53 c | 4927 | 324 496 2070 | 10717 4927 63 | 0.001 % | 0.89/0.93 c | 7491 | 324 496 2070 | 11789 7491 62 | 0.010 % | 1.49/1.53 c =============================================================================== 1.49/1.53 c New solution: 13 1.49/1.53 o 13 1.49/1.53 c Elapsed CPU time: 1.49077 s Remaining CPU time: 178.509 s 1.49/1.53 c =============================================================================== 1.49/1.53 c | 11095 | 324 497 2079 | 5000 11095 56 | 0.010 % | 1.49/1.59 c | 11196 | 269 497 2079 | 5500 2866 42 | 16.985 % | 1.59/1.61 c | 11346 | 269 497 2079 | 6050 3016 43 | 16.976 % | 1.59/1.63 c | 11572 | 269 497 2079 | 6655 3242 44 | 16.976 % | 1.59/1.64 c =============================================================================== 1.59/1.64 c New solution: 9 1.59/1.64 o 9 1.59/1.64 c Elapsed CPU time: 1.60176 s Remaining CPU time: 178.398 s 1.59/1.64 c =============================================================================== 1.59/1.64 c | 11609 | 269 498 2088 | 5000 3279 44 | 16.976 % | 1.59/1.65 c | 11709 | 269 498 2088 | 5500 3379 45 | 16.985 % | 1.59/1.67 c | 11859 | 269 498 2088 | 6050 3529 45 | 16.976 % | 1.59/1.68 c | 12084 | 269 498 2088 | 6655 3754 47 | 16.976 % | 1.69/1.73 c | 12422 | 269 498 2088 | 7320 4092 50 | 16.985 % | 1.79/1.85 c | 12928 | 269 498 2088 | 8052 4598 50 | 16.976 % | 1.89/1.99 c | 13688 | 269 498 2088 | 8857 5358 51 | 16.976 % | 2.09/2.12 c | 14827 | 269 498 2088 | 9743 6497 50 | 16.976 % | 2.29/2.36 c =============================================================================== 2.29/2.36 c New solution: 7 2.29/2.36 o 7 2.29/2.36 c Elapsed CPU time: 2.31065 s Remaining CPU time: 177.689 s 2.29/2.36 c =============================================================================== 2.29/2.36 c | 16152 | 269 499 2097 | 5000 7822 50 | 16.976 % | 2.39/2.40 c | 16252 | 258 499 2097 | 5500 4011 51 | 20.380 % | 2.39/2.44 c | 16403 | 258 499 2097 | 6050 4162 51 | 20.371 % | 2.39/2.46 c | 16628 | 258 499 2097 | 6655 4387 52 | 20.371 % | 2.49/2.53 c | 16966 | 258 499 2097 | 7320 4725 53 | 20.371 % | 2.59/2.69 c | 17474 | 258 499 2097 | 8052 5233 53 | 20.371 % | 2.79/2.88 c | 18235 | 258 499 2097 | 8857 5994 51 | 20.371 % | 3.09/3.13 c | 19374 | 258 499 2097 | 9743 7133 50 | 20.371 % | 3.49/3.57 c | 21082 | 258 499 2097 | 10717 8841 47 | 20.371 % | 4.09/4.11 c | 23644 | 258 499 2097 | 11789 5998 36 | 20.371 % | 4.19/4.20 c =============================================================================== 4.19/4.20 c New solution: 3 4.19/4.20 o 3 4.19/4.20 c Elapsed CPU time: 4.13837 s Remaining CPU time: 175.862 s 4.19/4.20 c =============================================================================== 4.19/4.20 c | 23954 | 258 500 2106 | 5000 6308 36 | 20.371 % | 4.19/4.23 c | 24055 | 237 500 2106 | 5500 3255 35 | 27.470 % | 4.19/4.24 c | 24206 | 237 500 2106 | 6050 3406 37 | 27.479 % | 4.19/4.27 c | 24431 | 237 500 2106 | 6655 3631 39 | 27.470 % | 4.30/4.32 c | 24769 | 237 500 2106 | 7320 3969 41 | 27.470 % | 4.30/4.38 c | 25277 | 237 500 2106 | 8052 4477 45 | 27.470 % | 4.40/4.46 c | 26036 | 237 500 2106 | 8857 5236 47 | 27.480 % | 4.59/4.61 c | 27176 | 237 500 2106 | 9743 6376 51 | 27.470 % | 4.79/4.89 c | 28885 | 237 500 2106 | 10717 8085 54 | 27.470 % | 5.19/5.24 c | 31448 | 237 500 2106 | 11789 10648 51 | 27.470 % | 5.79/5.87 c | 35292 | 237 500 2106 | 12968 8508 43 | 27.470 % | 6.50/6.59 c | 41058 | 237 500 2106 | 14265 7661 51 | 27.470 % | 7.89/7.90 c | 49707 | 236 500 2106 | 15692 9042 64 | 27.470 % | 9.59/9.60 c | 62681 | 236 500 2106 | 17261 14079 42 | 27.470 % | 12.59/12.64 c | 82142 | 235 500 2106 | 18987 16017 50 | 27.470 % | 18.19/18.21 c | 111334 | 235 500 2106 | 20886 16410 35 | 27.470 % | 28.39/28.45 c | 155124 | 235 500 2106 | 22974 17879 53 | 27.470 % | 43.38/43.41 c | 220808 | 235 500 2106 | 25272 21917 46 | 27.470 % | 69.78/69.85 c | 319334 | 234 500 2106 | 27799 19446 44 | 27.787 % | 130.86/130.97 c | 467123 | 234 500 2106 | 30579 15769 54 | 27.779 % | 181.55/181.64 c There are 100 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-2701942-1278546261/watcher-2701942-1278546261 -o /tmp/evaluation-result-2701942-1278546261/solver-2701942-1278546261 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701942-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.23 0.07 0.02 2/105 27949 /proc/meminfo: memFree=1726444/2059040 swapFree=4139448/4192956 [pid=27949] ppid=27947 vsize=2576 CPUtime=0 /proc/27949/stat : 27949 (wbo1.4b) R 27947 27949 27594 0 -1 4202496 308 0 0 0 0 0 0 0 25 0 1 0 22834658 2637824 221 1992294400 134512640 135751879 4293691472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27949/statm: 644 221 146 303 0 339 0 [startup+0.06352 s] /proc/loadavg: 0.23 0.07 0.02 2/105 27949 /proc/meminfo: memFree=1726444/2059040 swapFree=4139448/4192956 [pid=27949] ppid=27947 vsize=2832 CPUtime=0.05 /proc/27949/stat : 27949 (wbo1.4b) R 27947 27949 27594 0 -1 4202496 373 0 0 0 5 0 0 0 25 0 1 0 22834658 2899968 286 1992294400 134512640 135751879 4293691472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27949/statm: 708 286 147 303 0 403 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2832 [startup+0.101524 s] /proc/loadavg: 0.23 0.07 0.02 2/105 27949 /proc/meminfo: memFree=1726444/2059040 swapFree=4139448/4192956 [pid=27949] ppid=27947 vsize=3088 CPUtime=0.09 /proc/27949/stat : 27949 (wbo1.4b) R 27947 27949 27594 0 -1 4202496 419 0 0 0 9 0 0 0 25 0 1 0 22834658 3162112 332 1992294400 134512640 135751879 4293691472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27949/statm: 772 332 147 303 0 467 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3088 [startup+0.301543 s] /proc/loadavg: 0.23 0.07 0.02 2/105 27949 /proc/meminfo: memFree=1726444/2059040 swapFree=4139448/4192956 [pid=27949] ppid=27947 vsize=3864 CPUtime=0.29 /proc/27949/stat : 27949 (wbo1.4b) R 27947 27949 27594 0 -1 4202496 606 0 0 0 28 1 0 0 25 0 1 0 22834658 3956736 519 1992294400 134512640 135751879 4293691472 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27949/statm: 966 519 147 303 0 661 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3864 [startup+0.701583 s] /proc/loadavg: 0.23 0.07 0.02 2/105 27949 /proc/meminfo: memFree=1726444/2059040 swapFree=4139448/4192956 [pid=27949] ppid=27947 vsize=4896 CPUtime=0.69 /proc/27949/stat : 27949 (wbo1.4b) R 27947 27949 27594 0 -1 4202496 871 0 0 0 67 2 0 0 25 0 1 0 22834658 5013504 784 1992294400 134512640 135751879 4293691472 18446744073709551615 135221296 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27949/statm: 1224 784 147 303 0 919 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4896 [startup+1.50166 s] /proc/loadavg: 0.23 0.07 0.02 2/106 27950 /proc/meminfo: memFree=1723708/2059040 swapFree=4139448/4192956 [pid=27949] ppid=27947 vsize=6324 CPUtime=1.49 /proc/27949/stat : 27949 (wbo1.4b) R 27947 27949 27594 0 -1 4202496 1230 0 0 0 146 3 0 0 25 0 1 0 22834658 6475776 1143 1992294400 134512640 135751879 4293691472 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27949/statm: 1581 1143 147 303 0 1276 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6324 [startup+3.10182 s] /proc/loadavg: 0.23 0.07 0.02 2/106 27950 /proc/meminfo: memFree=1721352/2059040 swapFree=4139448/4192956 [pid=27949] ppid=27947 vsize=8948 CPUtime=3.09 /proc/27949/stat : 27949 (wbo1.4b) R 27947 27949 27594 0 -1 4202496 1880 0 0 0 304 5 0 0 25 0 1 0 22834658 9162752 1793 1992294400 134512640 135751879 4293691472 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27949/statm: 2237 1793 148 303 0 1932 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8948 [startup+6.30114 s] /proc/loadavg: 0.29 0.09 0.03 2/106 27950 /proc/meminfo: memFree=1716268/2059040 swapFree=4139448/4192956 [pid=27949] ppid=27947 vsize=14384 CPUtime=6.29 /proc/27949/stat : 27949 (wbo1.4b) R 27947 27949 27594 0 -1 4202496 3228 0 0 0 620 9 0 0 21 0 1 0 22834658 14729216 3141 1992294400 134512640 135751879 4293691472 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27949/statm: 3596 3141 148 303 0 3291 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14384 [startup+12.7018 s] /proc/loadavg: 0.34 0.10 0.03 2/106 27950 /proc/meminfo: memFree=1703124/2059040 swapFree=4139448/4192956 [pid=27949] ppid=27947 vsize=26780 CPUtime=12.68 /proc/27949/stat : 27949 (wbo1.4b) R 27947 27949 27594 0 -1 4202496 6344 0 0 0 1249 19 0 0 25 0 1 0 22834658 27422720 6257 1992294400 134512640 135751879 4293691472 18446744073709551615 134616414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27949/statm: 6695 6257 148 303 0 6390 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 26780 [startup+25.5011 s] /proc/loadavg: 0.49 0.14 0.05 2/106 27950 /proc/meminfo: memFree=1684524/2059040 swapFree=4139448/4192956 [pid=27949] ppid=27947 vsize=44688 CPUtime=25.49 /proc/27949/stat : 27949 (wbo1.4b) R 27947 27949 27594 0 -1 4202496 10799 0 0 0 2512 37 0 0 25 0 1 0 22834658 45760512 10712 1992294400 134512640 135751879 4293691472 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27949/statm: 11172 10712 148 303 0 10867 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 44688 [startup+51.1006 s] /proc/loadavg: 0.66 0.21 0.07 2/106 27952 /proc/meminfo: memFree=1657988/2059040 swapFree=4139448/4192956 [pid=27949] ppid=27947 vsize=71492 CPUtime=51.08 /proc/27949/stat : 27949 (wbo1.4b) R 27947 27949 27594 0 -1 4202496 17485 0 0 0 5040 68 0 0 25 0 1 0 22834658 73207808 17398 1992294400 134512640 135751879 4293691472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27949/statm: 17873 17398 148 303 0 17568 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 71492 [startup+102.309 s] /proc/loadavg: 0.85 0.33 0.12 2/106 27952 /proc/meminfo: memFree=1616200/2059040 swapFree=4139448/4192956 [pid=27949] ppid=27947 vsize=112912 CPUtime=102.28 /proc/27949/stat : 27949 (wbo1.4b) R 27947 27949 27594 0 -1 4202496 27788 0 0 0 10118 110 0 0 25 0 1 0 22834658 115621888 27701 1992294400 134512640 135751879 4293691472 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27949/statm: 28228 27701 148 303 0 27923 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 112912 [startup+162.301 s] /proc/loadavg: 0.94 0.45 0.17 2/106 27954 /proc/meminfo: memFree=1581604/2059040 swapFree=4139448/4192956 [pid=27949] ppid=27947 vsize=147820 CPUtime=162.25 /proc/27949/stat : 27949 (wbo1.4b) R 27947 27949 27594 0 -1 4202496 36507 0 0 0 16075 150 0 0 25 0 1 0 22834658 151367680 36420 1992294400 134512640 135751879 4293691472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27949/statm: 36955 36420 148 303 0 36650 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 147820 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.95 0.46 0.17 2/106 27954 /proc/meminfo: memFree=1579372/2059040 swapFree=4139448/4192956 [pid=27949] ppid=27947 vsize=149752 CPUtime=166.25 /proc/27949/stat : 27949 (wbo1.4b) R 27947 27949 27594 0 -1 4202496 36991 0 0 0 16474 151 0 0 25 0 1 0 22834658 153346048 36904 1992294400 134512640 135751879 4293691472 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27949/statm: 37438 36904 148 303 0 37133 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 149752 [startup+172.709 s] /proc/loadavg: 0.95 0.47 0.18 2/106 27954 /proc/meminfo: memFree=1575404/2059040 swapFree=4139448/4192956 [pid=27949] ppid=27947 vsize=153660 CPUtime=172.65 /proc/27949/stat : 27949 (wbo1.4b) R 27947 27949 27594 0 -1 4202496 37954 0 0 0 17110 155 0 0 25 0 1 0 22834658 157347840 37867 1992294400 134512640 135751879 4293691472 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27949/statm: 38415 37867 148 303 0 38110 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 153660 [startup+179.101 s] /proc/loadavg: 0.95 0.48 0.18 2/106 27954 /proc/meminfo: memFree=1573172/2059040 swapFree=4139448/4192956 [pid=27949] ppid=27947 vsize=156092 CPUtime=179.05 /proc/27949/stat : 27949 (wbo1.4b) R 27947 27949 27594 0 -1 4202496 38570 0 0 0 17747 158 0 0 25 0 1 0 22834658 159838208 38483 1992294400 134512640 135751879 4293691472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27949/statm: 39023 38483 148 303 0 38718 0 Current children cumulated CPU time (s) 179.05 Current children cumulated vsize (KiB) 156092 [startup+180.702 s] /proc/loadavg: 0.96 0.48 0.19 2/106 27956 /proc/meminfo: memFree=1572676/2059040 swapFree=4139448/4192956 [pid=27949] ppid=27947 vsize=156860 CPUtime=180.65 /proc/27949/stat : 27949 (wbo1.4b) R 27947 27949 27594 0 -1 4202496 38741 0 0 0 17906 159 0 0 25 0 1 0 22834658 160624640 38654 1992294400 134512640 135751879 4293691472 18446744073709551615 134611155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27949/statm: 39215 38654 148 303 0 38910 0 Current children cumulated CPU time (s) 180.65 Current children cumulated vsize (KiB) 156860 [startup+181.509 s] /proc/loadavg: 0.96 0.48 0.19 2/106 27956 /proc/meminfo: memFree=1571436/2059040 swapFree=4139448/4192956 [pid=27949] ppid=27947 vsize=157756 CPUtime=181.45 /proc/27949/stat : 27949 (wbo1.4b) R 27947 27949 27594 0 -1 4202496 38962 0 0 0 17985 160 0 0 25 0 1 0 22834658 161542144 38875 1992294400 134512640 135751879 4293691472 18446744073709551615 134606342 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27949/statm: 39439 38875 148 303 0 39134 0 Current children cumulated CPU time (s) 181.45 Current children cumulated vsize (KiB) 157756 [startup+181.902 s] /proc/loadavg: 0.96 0.48 0.19 2/106 27956 /proc/meminfo: memFree=1571436/2059040 swapFree=4139448/4192956 [pid=27949] ppid=27947 vsize=157884 CPUtime=181.84 /proc/27949/stat : 27949 (wbo1.4b) R 27947 27949 27594 0 -1 4204032 39004 0 0 0 18000 184 0 0 18 0 1 0 22834658 161673216 38917 1992294400 134512640 135751879 4293691472 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 0 0 0 1 /proc/27949/statm: 39471 38917 148 303 0 39166 0 Current children cumulated CPU time (s) 181.84 Current children cumulated vsize (KiB) 157884 [startup+182.102 s] /proc/loadavg: 0.96 0.48 0.19 2/106 27956 /proc/meminfo: memFree=1571436/2059040 swapFree=4139448/4192956 [pid=27949] ppid=27947 vsize=157884 CPUtime=182.04 /proc/27949/stat : 27949 (wbo1.4b) R 27947 27949 27594 0 -1 4204032 39004 0 0 0 18000 204 0 0 18 0 1 0 22834658 161673216 38917 1992294400 134512640 135751879 4293691472 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 0 0 0 1 /proc/27949/statm: 39471 38917 148 303 0 39166 0 Current children cumulated CPU time (s) 182.04 Current children cumulated vsize (KiB) 157884 [startup+182.202 s] /proc/loadavg: 0.96 0.48 0.19 2/106 27956 /proc/meminfo: memFree=1571436/2059040 swapFree=4139448/4192956 [pid=27949] ppid=27947 vsize=157884 CPUtime=182.14 /proc/27949/stat : 27949 (wbo1.4b) R 27947 27949 27594 0 -1 4204032 39004 0 0 0 18000 214 0 0 18 0 1 0 22834658 161673216 38917 1992294400 134512640 135751879 4293691472 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 0 0 0 1 /proc/27949/statm: 39471 38917 148 303 0 39166 0 Current children cumulated CPU time (s) 182.14 Current children cumulated vsize (KiB) 157884 Child ended because it received signal 11 (SIGSEGV) Child dumped core Real time (s): 182.272 CPU time (s): 182.207 CPU user time (s): 180.001 CPU system time (s): 2.20666 CPU usage (%): 99.9646 Max. virtual memory (cumulated for all children) (KiB): 157884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.001 system time used= 2.20666 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39005 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= 5 involuntary context switches= 585 runsolver used 0.313952 second user time and 0.85387 second system time The end
Begin job on node084 at 2010-07-08 01:44:22 IDJOB=2701942 IDBENCH=47906 IDSOLVER=1161 FILE ID=node084/2701942-1278546261 PBS_JOBID= 11239479 Free space on /tmp= 62496 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=263-P1=409-P2=29-P3=379-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-2701942-1278546261/watcher-2701942-1278546261 -o /tmp/evaluation-result-2701942-1278546261/solver-2701942-1278546261 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701942-1278546261.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 947e947c586d02edcb816b66608818b9 RANDOM SEED=717416051 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: 1727336 kB Buffers: 55476 kB Cached: 172676 kB SwapCached: 21928 kB Active: 141820 kB Inactive: 115788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1727336 kB SwapTotal: 4192956 kB SwapFree: 4139448 kB Dirty: 2984 kB Writeback: 0 kB AnonPages: 12048 kB Mapped: 11920 kB Slab: 52232 kB PageTables: 4064 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-2701942-1278546261.opb Free space on /tmp at the end= 62344 MiB End job on node084 at 2010-07-08 01:47:24