Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Signal | 183.134 | 183.206 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=197-P1=97-P2=163-P3=151-P4=53-P5=139-P6=107-B.opb |
MD5SUM | c4232b649086935e0cf725c77927c83f |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.51892 |
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 | 144 |
Total number of constraints | 13 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 13 |
Minimum length of a constraint | 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) | 384 |
Sum of products size (including duplicates) | 768 |
Number of different products | 384 |
Sum of products size | 768 |
0.00/0.01 c wbo 1.4 beta - 20100517 0.00/0.01 c Parsing opb file format. File HOME/instance-2701968-1278546274.opb. 0.00/0.01 c Instance file HOME/instance-2701968-1278546274.opb 0.00/0.01 c File size is 28515 bytes. 0.00/0.01 c Highest Coefficient sum: 130560 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.00 s | 0.00/0.01 c | Number Variables: 528 | 0.00/0.01 c | Number Clauses: 384 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 403 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 528 787 3304 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 101 | 528 787 3304 | 5500 101 63 | 0.003 % | 0.00/0.02 c | 251 | 528 787 3304 | 6050 251 68 | 0.003 % | 0.00/0.04 c | 479 | 528 787 3304 | 6655 479 65 | 0.000 % | 0.00/0.06 c | 817 | 528 787 3304 | 7320 817 64 | 0.000 % | 0.00/0.09 c | 1323 | 528 787 3304 | 8052 1323 62 | 0.000 % | 0.09/0.15 c | 2083 | 528 787 3304 | 8857 2083 63 | 0.000 % | 0.19/0.27 c | 3223 | 528 787 3304 | 9743 3223 61 | 0.000 % | 0.39/0.42 c | 4933 | 528 787 3304 | 10717 4933 58 | 0.000 % | 0.59/0.67 c | 7495 | 528 787 3304 | 11789 7495 58 | 0.003 % | 1.00/1.04 c | 11339 | 528 787 3304 | 12968 11339 54 | 0.000 % | 1.69/1.78 c | 17105 | 528 787 3304 | 14265 10464 40 | 0.000 % | 2.69/2.74 c | 25754 | 528 787 3304 | 15692 11911 40 | 0.000 % | 4.89/4.94 c | 38729 | 528 787 3304 | 17261 8978 40 | 0.000 % | 7.19/7.21 c | 58192 | 528 787 3304 | 18987 10979 44 | 0.000 % | 11.79/11.85 c | 87384 | 528 787 3304 | 20886 11255 48 | 0.000 % | 19.18/19.30 c | 131173 | 528 787 3304 | 22974 12497 53 | 0.000 % | 33.57/33.65 c | 196858 | 528 787 3304 | 25272 18202 44 | 0.000 % | 54.88/54.95 c | 295384 | 528 787 3304 | 27799 19023 47 | 0.000 % | 56.58/56.65 c =============================================================================== 56.58/56.65 c New solution: 83 56.58/56.65 o 83 56.58/56.65 c Elapsed CPU time: 55.8195 s Remaining CPU time: 124.18 s 56.58/56.65 c =============================================================================== 56.58/56.65 c | 309499 | 527 788 3312 | 5000 16480 37 | 0.000 % | 56.67/56.71 c | 309599 | 517 788 3312 | 5500 4220 44 | 2.084 % | 56.67/56.72 c | 309749 | 517 788 3312 | 6050 4370 44 | 2.084 % | 56.67/56.74 c | 309974 | 517 788 3312 | 6655 4595 45 | 2.084 % | 56.67/56.78 c | 310312 | 517 788 3312 | 7320 4933 46 | 2.087 % | 56.77/56.84 c | 310819 | 517 788 3312 | 8052 5440 46 | 2.084 % | 56.87/56.93 c | 311578 | 517 788 3312 | 8857 6199 45 | 2.084 % | 56.97/57.06 c | 312718 | 517 788 3312 | 9743 7339 43 | 2.084 % | 57.18/57.23 c | 314427 | 517 788 3312 | 10717 9048 45 | 2.084 % | 57.57/57.66 c | 316990 | 517 788 3312 | 11789 6144 46 | 2.084 % | 58.18/58.26 c | 320834 | 517 788 3312 | 12968 9988 43 | 2.084 % | 59.38/59.46 c | 326601 | 517 788 3312 | 14265 9103 44 | 2.084 % | 59.97/60.01 c =============================================================================== 59.97/60.01 c New solution: 21 59.97/60.01 o 21 59.97/60.01 c Elapsed CPU time: 59.102 s Remaining CPU time: 120.898 s 59.97/60.01 c =============================================================================== 59.97/60.01 c | 332400 | 517 789 3320 | 5000 7530 46 | 2.084 % | 59.97/60.04 c | 332501 | 497 789 3320 | 5500 3866 48 | 5.872 % | 59.97/60.05 c | 332652 | 497 789 3320 | 6050 4017 48 | 5.872 % | 59.97/60.07 c | 332877 | 497 789 3320 | 6655 4242 49 | 5.872 % | 60.08/60.11 c | 333214 | 497 789 3320 | 7320 4579 49 | 5.872 % | 60.08/60.18 c | 333720 | 497 789 3320 | 8052 5085 49 | 5.872 % | 60.17/60.27 c | 334480 | 497 789 3320 | 8857 5845 48 | 5.872 % | 60.38/60.42 c | 335620 | 497 789 3320 | 9743 6985 47 | 5.872 % | 60.47/60.59 c | 337329 | 497 789 3320 | 10717 8694 49 | 5.872 % | 60.97/61.00 c | 339891 | 497 789 3320 | 11789 5764 51 | 5.872 % | 61.67/61.72 c | 343735 | 497 789 3320 | 12968 9608 44 | 5.872 % | 62.47/62.58 c | 349502 | 497 789 3320 | 14265 8779 35 | 5.872 % | 63.87/63.92 c | 358151 | 497 789 3320 | 15692 10227 39 | 5.872 % | 64.77/64.83 c =============================================================================== 64.77/64.83 c New solution: 9 64.77/64.83 o 9 64.77/64.83 c Elapsed CPU time: 63.8373 s Remaining CPU time: 116.163 s 64.77/64.83 c =============================================================================== 64.77/64.83 c | 364177 | 497 790 3328 | 5000 8196 50 | 5.872 % | 64.77/64.87 c | 364278 | 487 790 3328 | 5500 4199 63 | 7.766 % | 64.77/64.88 c | 364428 | 487 790 3328 | 6050 4349 63 | 7.768 % | 64.77/64.90 c | 364654 | 487 790 3328 | 6655 4575 63 | 7.768 % | 64.87/64.92 c | 364991 | 487 790 3328 | 7320 4912 63 | 7.768 % | 64.87/64.97 c | 365497 | 487 790 3328 | 8052 5418 61 | 7.766 % | 64.98/65.04 c | 366256 | 487 790 3328 | 8857 6177 58 | 7.766 % | 65.07/65.19 c | 367396 | 487 790 3328 | 9743 7317 54 | 7.766 % | 65.27/65.38 c | 369104 | 487 790 3328 | 10717 9025 53 | 7.766 % | 65.67/65.75 c | 371666 | 487 790 3328 | 11789 6100 41 | 7.766 % | 66.17/66.28 c | 375511 | 487 790 3328 | 12968 9945 44 | 7.766 % | 66.87/66.98 c | 381277 | 487 790 3328 | 14265 9114 45 | 7.766 % | 68.47/68.55 c | 389927 | 487 790 3328 | 15692 10493 46 | 7.766 % | 70.97/71.00 c | 402902 | 487 790 3328 | 17261 15562 24 | 7.766 % | 73.87/73.97 c | 422363 | 487 790 3328 | 18987 17489 44 | 7.766 % | 78.17/78.20 c =============================================================================== 78.17/78.20 c New solution: 3 78.17/78.20 o 3 78.17/78.20 c Elapsed CPU time: 76.9683 s Remaining CPU time: 103.032 s 78.17/78.20 c =============================================================================== 78.17/78.20 c | 448747 | 486 791 3336 | 5000 14666 41 | 7.766 % | 78.17/78.24 c | 448848 | 456 791 3336 | 5500 3768 56 | 13.829 % | 78.17/78.26 c | 448999 | 456 791 3336 | 6050 3919 56 | 13.826 % | 78.17/78.28 c | 449224 | 456 791 3336 | 6655 4144 57 | 13.826 % | 78.27/78.31 c | 449563 | 456 791 3336 | 7320 4483 57 | 13.826 % | 78.27/78.37 c | 450070 | 456 791 3336 | 8052 4990 58 | 13.826 % | 78.37/78.46 c | 450829 | 456 791 3336 | 8857 5749 57 | 13.829 % | 78.56/78.60 c | 451968 | 456 791 3336 | 9743 6888 59 | 13.826 % | 78.77/78.80 c | 453676 | 456 791 3336 | 10717 8596 60 | 13.829 % | 79.17/79.21 c | 456240 | 456 791 3336 | 11789 5729 54 | 13.826 % | 79.57/79.68 c | 460084 | 455 791 3336 | 12968 9573 48 | 13.826 % | 80.66/80.76 c | 465851 | 455 791 3336 | 14265 8740 49 | 13.826 % | 81.86/81.93 c | 474501 | 455 791 3336 | 15692 10069 41 | 13.826 % | 84.07/84.12 c | 487475 | 455 791 3336 | 17261 15023 42 | 13.826 % | 87.37/87.47 c | 506936 | 453 791 3336 | 18987 12735 44 | 14.205 % | 93.66/93.78 c | 536130 | 453 791 3336 | 20886 13049 33 | 14.205 % | 105.06/105.13 c | 579920 | 453 791 3336 | 22974 14338 45 | 14.205 % | 125.16/125.24 c | 645604 | 452 791 3336 | 25272 18025 48 | 14.394 % | 154.35/154.41 c | 744130 | 450 791 3336 | 27799 17215 37 | 14.773 % | 182.24/182.35 c There are 88 assigned variables. 8 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-2701968-1278546274/watcher-2701968-1278546274 -o /tmp/evaluation-result-2701968-1278546274/solver-2701968-1278546274 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701968-1278546274.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.57 0.18 0.06 3/106 30086 /proc/meminfo: memFree=1578788/2059040 swapFree=4192956/4192956 [pid=30086] ppid=30084 vsize=2708 CPUtime=0 /proc/30086/stat : 30086 (wbo1.4b) R 30084 30086 29671 0 -1 4202496 335 0 0 0 0 0 0 0 19 0 1 0 22841045 2772992 247 1992294400 134512640 135751879 4294473280 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30086/statm: 677 247 146 303 0 372 0 [startup+0.011312 s] /proc/loadavg: 0.57 0.18 0.06 3/106 30086 /proc/meminfo: memFree=1578788/2059040 swapFree=4192956/4192956 [pid=30086] ppid=30084 vsize=2708 CPUtime=0 /proc/30086/stat : 30086 (wbo1.4b) R 30084 30086 29671 0 -1 4202496 335 0 0 0 0 0 0 0 19 0 1 0 22841045 2772992 247 1992294400 134512640 135751879 4294473280 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30086/statm: 677 247 146 303 0 372 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2708 [startup+0.100317 s] /proc/loadavg: 0.57 0.18 0.06 3/106 30086 /proc/meminfo: memFree=1578788/2059040 swapFree=4192956/4192956 [pid=30086] ppid=30084 vsize=3092 CPUtime=0.09 /proc/30086/stat : 30086 (wbo1.4b) R 30084 30086 29671 0 -1 4202496 439 0 0 0 9 0 0 0 19 0 1 0 22841045 3166208 351 1992294400 134512640 135751879 4294473280 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30086/statm: 773 351 147 303 0 468 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3092 [startup+0.300337 s] /proc/loadavg: 0.57 0.18 0.06 3/106 30086 /proc/meminfo: memFree=1578788/2059040 swapFree=4192956/4192956 [pid=30086] ppid=30084 vsize=3884 CPUtime=0.28 /proc/30086/stat : 30086 (wbo1.4b) R 30084 30086 29671 0 -1 4202496 633 0 0 0 28 0 0 0 20 0 1 0 22841045 3977216 545 1992294400 134512640 135751879 4294473280 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30086/statm: 971 545 147 303 0 666 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 3884 [startup+0.700374 s] /proc/loadavg: 0.57 0.18 0.06 3/106 30086 /proc/meminfo: memFree=1578788/2059040 swapFree=4192956/4192956 [pid=30086] ppid=30084 vsize=5304 CPUtime=0.69 /proc/30086/stat : 30086 (wbo1.4b) R 30084 30086 29671 0 -1 4202496 981 0 0 0 68 1 0 0 21 0 1 0 22841045 5431296 893 1992294400 134512640 135751879 4294473280 18446744073709551615 134616475 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30086/statm: 1326 893 147 303 0 1021 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5304 [startup+1.50045 s] /proc/loadavg: 0.57 0.18 0.06 2/107 30087 /proc/meminfo: memFree=1575060/2059040 swapFree=4192956/4192956 [pid=30086] ppid=30084 vsize=7272 CPUtime=1.48 /proc/30086/stat : 30086 (wbo1.4b) R 30084 30086 29671 0 -1 4202496 1472 0 0 0 146 2 0 0 23 0 1 0 22841045 7446528 1384 1992294400 134512640 135751879 4294473280 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30086/statm: 1818 1384 148 303 0 1513 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 7272 [startup+3.1006 s] /proc/loadavg: 0.57 0.18 0.06 2/107 30087 /proc/meminfo: memFree=1572332/2059040 swapFree=4192956/4192956 [pid=30086] ppid=30084 vsize=10924 CPUtime=3.09 /proc/30086/stat : 30086 (wbo1.4b) R 30084 30086 29671 0 -1 4202496 2372 0 0 0 303 6 0 0 25 0 1 0 22841045 11186176 2284 1992294400 134512640 135751879 4294473280 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30086/statm: 2731 2284 148 303 0 2426 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10924 [startup+6.3009 s] /proc/loadavg: 0.60 0.19 0.06 2/107 30087 /proc/meminfo: memFree=1566380/2059040 swapFree=4192956/4192956 [pid=30086] ppid=30084 vsize=16600 CPUtime=6.28 /proc/30086/stat : 30086 (wbo1.4b) R 30084 30086 29671 0 -1 4202496 3811 0 0 0 618 10 0 0 25 0 1 0 22841045 16998400 3723 1992294400 134512640 135751879 4294473280 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30086/statm: 4150 3723 148 303 0 3845 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 16600 [startup+12.7015 s] /proc/loadavg: 0.64 0.20 0.07 2/107 30087 /proc/meminfo: memFree=1553112/2059040 swapFree=4192956/4192956 [pid=30086] ppid=30084 vsize=29352 CPUtime=12.69 /proc/30086/stat : 30086 (wbo1.4b) R 30084 30086 29671 0 -1 4202496 7001 0 0 0 1247 22 0 0 25 0 1 0 22841045 30056448 6913 1992294400 134512640 135751879 4294473280 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30086/statm: 7338 6913 148 303 0 7033 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29352 [startup+25.5007 s] /proc/loadavg: 0.72 0.24 0.08 2/107 30087 /proc/meminfo: memFree=1533148/2059040 swapFree=4192956/4192956 [pid=30086] ppid=30084 vsize=48164 CPUtime=25.48 /proc/30086/stat : 30086 (wbo1.4b) R 30084 30086 29671 0 -1 4202496 11690 0 0 0 2508 40 0 0 25 0 1 0 22841045 49319936 11602 1992294400 134512640 135751879 4294473280 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30086/statm: 12041 11602 148 303 0 11736 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 48164 [startup+51.1002 s] /proc/loadavg: 0.81 0.30 0.11 2/107 30087 /proc/meminfo: memFree=1501652/2059040 swapFree=4192956/4192956 [pid=30086] ppid=30084 vsize=80264 CPUtime=51.07 /proc/30086/stat : 30086 (wbo1.4b) R 30084 30086 29671 0 -1 4202496 19705 0 0 0 5034 73 0 0 25 0 1 0 22841045 82190336 19617 1992294400 134512640 135751879 4294473280 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30086/statm: 20066 19617 148 303 0 19761 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 80264 [startup+102.308 s] /proc/loadavg: 0.92 0.41 0.15 2/107 30089 /proc/meminfo: memFree=1429360/2059040 swapFree=4192956/4192956 [pid=30086] ppid=30084 vsize=151736 CPUtime=102.26 /proc/30086/stat : 30086 (wbo1.4b) R 30084 30086 29671 0 -1 4202496 37520 0 0 0 10075 151 0 0 25 0 1 0 22841045 155377664 37432 1992294400 134512640 135751879 4294473280 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30086/statm: 37934 37432 148 303 0 37629 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 151736 [startup+162.301 s] /proc/loadavg: 0.97 0.51 0.20 2/107 30091 /proc/meminfo: memFree=1382116/2059040 swapFree=4192956/4192956 [pid=30086] ppid=30084 vsize=199488 CPUtime=162.24 /proc/30086/stat : 30086 (wbo1.4b) R 30084 30086 29671 0 -1 4202496 49415 0 0 0 16012 212 0 0 25 0 1 0 22841045 204275712 49327 1992294400 134512640 135751879 4294473280 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30086/statm: 49872 49327 148 303 0 49567 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 199488 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.97 0.52 0.20 2/107 30091 /proc/meminfo: memFree=1377280/2059040 swapFree=4192956/4192956 [pid=30086] ppid=30084 vsize=203872 CPUtime=166.24 /proc/30086/stat : 30086 (wbo1.4b) R 30084 30086 29671 0 -1 4202496 50513 0 0 0 16406 218 0 0 25 0 1 0 22841045 208764928 50425 1992294400 134512640 135751879 4294473280 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30086/statm: 50968 50425 148 303 0 50663 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 203872 [startup+172.709 s] /proc/loadavg: 0.97 0.53 0.21 2/107 30091 /proc/meminfo: memFree=1374056/2059040 swapFree=4192956/4192956 [pid=30086] ppid=30084 vsize=207080 CPUtime=172.65 /proc/30086/stat : 30086 (wbo1.4b) R 30084 30086 29671 0 -1 4202496 51295 0 0 0 17042 223 0 0 25 0 1 0 22841045 212049920 51207 1992294400 134512640 135751879 4294473280 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30086/statm: 51770 51207 148 303 0 51465 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 207080 [startup+179.101 s] /proc/loadavg: 0.97 0.54 0.21 2/107 30091 /proc/meminfo: memFree=1370956/2059040 swapFree=4192956/4192956 [pid=30086] ppid=30084 vsize=210320 CPUtime=179.04 /proc/30086/stat : 30086 (wbo1.4b) R 30084 30086 29671 0 -1 4202496 52125 0 0 0 17677 227 0 0 25 0 1 0 22841045 215367680 52037 1992294400 134512640 135751879 4294473280 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30086/statm: 52580 52037 148 303 0 52275 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 210320 [startup+180.7 s] /proc/loadavg: 0.98 0.54 0.22 2/107 30091 /proc/meminfo: memFree=1369592/2059040 swapFree=4192956/4192956 [pid=30086] ppid=30084 vsize=211736 CPUtime=180.64 /proc/30086/stat : 30086 (wbo1.4b) R 30084 30086 29671 0 -1 4202496 52478 0 0 0 17835 229 0 0 25 0 1 0 22841045 216817664 52390 1992294400 134512640 135751879 4294473280 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30086/statm: 52934 52390 148 303 0 52629 0 Current children cumulated CPU time (s) 180.64 Current children cumulated vsize (KiB) 211736 [startup+182.301 s] /proc/loadavg: 0.98 0.54 0.22 2/107 30091 /proc/meminfo: memFree=1368848/2059040 swapFree=4192956/4192956 [pid=30086] ppid=30084 vsize=212672 CPUtime=182.24 /proc/30086/stat : 30086 (wbo1.4b) R 30084 30086 29671 0 -1 4202496 52681 0 0 0 17994 230 0 0 25 0 1 0 22841045 217776128 52593 1992294400 134512640 135751879 4294473280 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30086/statm: 53168 52593 148 303 0 52863 0 Current children cumulated CPU time (s) 182.24 Current children cumulated vsize (KiB) 212672 [startup+182.701 s] /proc/loadavg: 0.98 0.54 0.22 2/107 30091 /proc/meminfo: memFree=1330408/2059040 swapFree=4192956/4192956 [pid=30086] ppid=30084 vsize=212672 CPUtime=182.63 /proc/30086/stat : 30086 (wbo1.4b) R 30084 30086 29671 0 -1 4204032 52705 0 0 0 18000 263 0 0 18 0 1 0 22841045 217776128 52617 1992294400 134512640 135751879 4294473280 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 0 0 0 1 /proc/30086/statm: 53168 52617 148 303 0 52863 0 Current children cumulated CPU time (s) 182.63 Current children cumulated vsize (KiB) 212672 [startup+183.101 s] /proc/loadavg: 0.98 0.54 0.22 2/107 30091 /proc/meminfo: memFree=1330408/2059040 swapFree=4192956/4192956 [pid=30086] ppid=30084 vsize=212672 CPUtime=183.03 /proc/30086/stat : 30086 (wbo1.4b) R 30084 30086 29671 0 -1 4204032 52705 0 0 0 18000 303 0 0 18 0 1 0 22841045 217776128 52617 1992294400 134512640 135751879 4294473280 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 0 0 0 1 /proc/30086/statm: 53168 52617 148 303 0 52863 0 Current children cumulated CPU time (s) 183.03 Current children cumulated vsize (KiB) 212672 [startup+183.201 s] /proc/loadavg: 0.98 0.54 0.22 2/107 30091 /proc/meminfo: memFree=1330408/2059040 swapFree=4192956/4192956 [pid=30086] ppid=30084 vsize=0 CPUtime=183.12 /proc/30086/stat : 30086 (wbo1.4b) R 30084 30086 29671 0 -1 4204036 52706 0 0 0 18000 312 0 0 18 0 1 0 22841045 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 1 /proc/30086/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 183.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 11 (SIGSEGV) Child dumped core Real time (s): 183.206 CPU time (s): 183.134 CPU user time (s): 180.001 CPU system time (s): 3.13352 CPU usage (%): 99.9607 Max. virtual memory (cumulated for all children) (KiB): 212672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.001 system time used= 3.13352 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52706 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= 4 involuntary context switches= 582 runsolver used 0.299954 second user time and 0.876866 second system time The end
Begin job on node004 at 2010-07-08 01:44:34 IDJOB=2701968 IDBENCH=47919 IDSOLVER=1161 FILE ID=node004/2701968-1278546274 PBS_JOBID= 11239526 Free space on /tmp= 62436 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=197-P1=97-P2=163-P3=151-P4=53-P5=139-P6=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-2701968-1278546274/watcher-2701968-1278546274 -o /tmp/evaluation-result-2701968-1278546274/solver-2701968-1278546274 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701968-1278546274.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c4232b649086935e0cf725c77927c83f RANDOM SEED=1410510307 node004.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.219 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.219 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1579688 kB Buffers: 62028 kB Cached: 267956 kB SwapCached: 0 kB Active: 137000 kB Inactive: 252796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1579688 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3024 kB Writeback: 0 kB AnonPages: 59748 kB Mapped: 14412 kB Slab: 67812 kB PageTables: 4104 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182328 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-2701968-1278546274.opb Free space on /tmp at the end= 62228 MiB End job on node004 at 2010-07-08 01:47:37