Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.17 | 1800.73 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=487-P1=127-P2=347-P3=419-P4=367-P5=149-P6=419-B.opb |
MD5SUM | 79cf27053836a1888aee43ca3805fcdd |
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 | 3.86941 |
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 | 162 |
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 | 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) | 486 |
Sum of products size (including duplicates) | 972 |
Number of different products | 486 |
Sum of products size | 972 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702137-1278546560.opb. 0.00/0.00 c Instance file HOME/instance-2702137-1278546560.opb 0.00/0.00 c File size is 36227 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.01 s | 0.00/0.00 c | Number Variables: 648 | 0.00/0.00 c | Number Clauses: 486 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 505 | 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 | 648 991 4149 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 648 991 4149 | 5500 100 88 | 0.002 % | 0.01/0.02 c | 250 | 648 991 4149 | 6050 250 83 | 0.002 % | 0.01/0.04 c | 476 | 648 991 4149 | 6655 476 80 | 0.000 % | 0.01/0.07 c | 813 | 648 991 4149 | 7320 813 81 | 0.000 % | 0.09/0.12 c | 1321 | 648 991 4149 | 8052 1321 76 | 0.000 % | 0.19/0.25 c | 2080 | 648 991 4149 | 8857 2080 77 | 0.002 % | 0.29/0.38 c | 3221 | 648 991 4149 | 9743 3221 76 | 0.000 % | 0.49/0.53 c | 4929 | 648 991 4149 | 10717 4929 73 | 0.000 % | 0.89/0.92 c | 7491 | 648 991 4149 | 11789 7491 73 | 0.000 % | 1.39/1.41 c | 11335 | 648 991 4149 | 12968 11335 67 | 0.000 % | 2.29/2.39 c | 17101 | 648 991 4149 | 14265 10581 56 | 0.000 % | 3.89/3.96 c | 25750 | 648 991 4149 | 15692 11847 55 | 0.000 % | 5.89/5.99 c | 38724 | 648 991 4149 | 17261 8833 54 | 0.000 % | 8.39/8.49 c | 58185 | 648 991 4149 | 18987 10546 52 | 0.000 % | 13.48/13.50 c | 87377 | 648 991 4149 | 20886 11073 43 | 0.000 % | 15.49/15.55 c =============================================================================== 15.49/15.55 c New solution: 265 15.49/15.55 o 265 15.49/15.55 c Elapsed CPU time: 15.2787 s Remaining CPU time: 164.721 s 15.49/15.55 c =============================================================================== 15.49/15.55 c | 104978 | 648 992 4158 | 5000 18132 53 | 0.000 % | 15.59/15.62 c | 105078 | 648 992 4158 | 5500 4633 59 | 0.000 % | 15.59/15.64 c | 105229 | 648 992 4158 | 6050 4784 60 | 0.000 % | 15.59/15.65 c | 105455 | 648 992 4158 | 6655 5010 60 | 0.000 % | 15.68/15.70 c | 105793 | 648 992 4158 | 7320 5348 60 | 0.000 % | 15.68/15.75 c | 106301 | 648 992 4158 | 8052 5856 62 | 0.000 % | 15.79/15.87 c | 107060 | 648 992 4158 | 8857 6615 62 | 0.000 % | 15.99/16.00 c | 108199 | 648 992 4158 | 9743 7754 63 | 0.000 % | 16.09/16.18 c | 109908 | 648 992 4158 | 10717 9463 67 | 0.000 % | 16.40/16.48 c | 112472 | 648 992 4158 | 11789 6374 72 | 0.000 % | 16.98/17.02 c | 116316 | 648 992 4158 | 12968 10218 73 | 0.000 % | 17.69/17.70 c | 122082 | 648 992 4158 | 14265 9219 77 | 0.002 % | 19.09/19.17 c | 130731 | 648 992 4158 | 15692 10540 56 | 0.002 % | 21.48/21.50 c | 143706 | 648 992 4158 | 17261 15633 35 | 0.000 % | 25.78/25.82 c | 163168 | 648 992 4158 | 18987 8956 59 | 0.000 % | 30.88/30.96 c | 192362 | 648 992 4158 | 20886 18829 65 | 0.000 % | 38.87/38.97 c | 236155 | 648 992 4158 | 22974 19938 36 | 0.002 % | 54.56/54.60 c | 301842 | 648 992 4158 | 25272 11414 52 | 0.000 % | 80.76/80.88 c | 400368 | 648 992 4158 | 27799 22342 47 | 0.000 % | 85.16/85.28 c =============================================================================== 85.16/85.28 c New solution: 137 85.16/85.28 o 137 85.16/85.28 c Elapsed CPU time: 84.0802 s Remaining CPU time: 95.9198 s 85.16/85.28 c =============================================================================== 85.16/85.28 c | 422834 | 648 993 4167 | 5000 27961 62 | 0.000 % | 85.25/85.39 c | 422934 | 637 993 4167 | 5500 2895 74 | 1.700 % | 85.36/85.41 c | 423084 | 637 993 4167 | 6050 3045 74 | 1.698 % | 85.36/85.43 c | 423309 | 637 993 4167 | 6655 3270 73 | 1.698 % | 85.36/85.46 c | 423647 | 637 993 4167 | 7320 3608 73 | 1.698 % | 85.46/85.52 c | 424153 | 637 993 4167 | 8052 4114 72 | 1.698 % | 85.46/85.59 c | 424912 | 637 993 4167 | 8857 4873 74 | 1.700 % | 85.66/85.76 c | 426052 | 637 993 4167 | 9743 6013 71 | 1.698 % | 85.86/85.90 c | 427761 | 637 993 4167 | 10717 7722 72 | 1.698 % | 86.16/86.26 c | 430323 | 637 993 4167 | 11789 10284 70 | 1.698 % | 86.66/86.73 c | 434169 | 637 993 4167 | 12968 8053 69 | 1.698 % | 87.36/87.43 c | 439935 | 637 993 4167 | 14265 7092 58 | 1.698 % | 88.46/88.53 c | 448585 | 637 993 4167 | 15692 8362 62 | 1.698 % | 90.16/90.22 c | 461560 | 637 993 4167 | 17261 13392 53 | 1.698 % | 93.26/93.32 c | 481024 | 637 993 4167 | 18987 15441 44 | 1.698 % | 97.46/97.57 c | 510216 | 637 993 4167 | 20886 15545 63 | 1.698 % | 107.95/108.06 c | 554005 | 637 993 4167 | 22974 16796 49 | 1.698 % | 124.44/124.54 c | 619691 | 637 993 4167 | 25272 19633 39 | 1.698 % | 148.14/148.29 c | 718218 | 637 993 4167 | 27799 16685 61 | 1.698 % | 182.23/182.39 c There are 11 assigned variables. 1 in cost function. 183.03/183.15 c core #1 183.03/183.15 c 183.03/183.15 c 183.03/183.15 c Core size: 9 Core Weight: 1 Total Weight: 1 183.03/183.15 c 183.03/183.15 c 183.03/183.15 c core #2 183.03/183.15 c 183.03/183.15 c 183.03/183.15 c Core size: 8 Core Weight: 1 Total Weight: 2 183.03/183.15 c 183.03/183.15 c 183.03/183.15 c ============================[ Search Statistics ]============================== 183.03/183.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.15 c =============================================================================== 183.03/183.15 c | 0 | 559 1009 3933 | 5000 0 nan | 0.000 % | 183.03/183.16 c | 101 | 559 1009 3933 | 5500 101 90 | 15.687 % | 183.03/183.17 c | 252 | 559 1009 3933 | 6050 252 87 | 15.689 % | 183.03/183.19 c | 477 | 559 1009 3933 | 6655 477 86 | 15.687 % | 183.13/183.22 c | 816 | 559 1009 3933 | 7320 816 81 | 15.687 % | 183.13/183.27 c | 1323 | 559 1009 3933 | 8052 1323 76 | 15.687 % | 183.23/183.36 c | 2083 | 559 1009 3933 | 8857 2083 77 | 15.689 % | 183.33/183.50 c | 3222 | 559 1009 3933 | 9743 3222 73 | 15.687 % | 183.53/183.69 c | 4931 | 559 1009 3933 | 10717 4931 76 | 15.687 % | 184.03/184.11 c | 7493 | 559 1009 3933 | 11789 7493 75 | 15.687 % | 184.53/184.61 c | 11337 | 559 1009 3933 | 12968 11337 66 | 15.687 % | 185.53/185.67 c | 17104 | 559 1009 3933 | 14265 10475 52 | 15.687 % | 186.94/187.02 c | 25753 | 559 1009 3933 | 15692 11872 46 | 15.687 % | 189.14/189.28 c | 38727 | 559 1009 3933 | 17261 8566 64 | 15.687 % | 193.53/193.68 c | 58189 | 559 1009 3933 | 18987 10409 50 | 15.687 % | 198.82/198.98 c | 87381 | 559 1009 3933 | 20886 10543 46 | 15.687 % | 210.33/210.43 c | 131170 | 559 1009 3933 | 22974 11822 40 | 15.687 % | 236.42/236.52 c | 196854 | 559 1009 3933 | 25272 17794 83 | 15.689 % | 266.20/266.32 c | 295381 | 559 1009 3933 | 27799 16109 49 | 15.687 % | 319.29/319.44 c | 443172 | 559 1009 3933 | 30579 16378 71 | 15.687 % | 377.38/377.55 c | 664856 | 559 1009 3933 | 33637 22784 61 | 15.687 % | 507.94/508.20 c | 997381 | 559 1009 3933 | 37001 15913 44 | 15.687 % | 686.68/686.99 c | 1496169 | 558 1009 3933 | 40701 27887 57 | 15.837 % | 1058.65/1059.06 c | 2244352 | 548 1009 3933 | 44771 32380 69 | 17.348 % | 1605.68/1606.29 c | 3366626 | 547 1009 3933 | 49248 22814 54 | 17.499 % |
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-2702137-1278546560/watcher-2702137-1278546560 -o /tmp/evaluation-result-2702137-1278546560/solver-2702137-1278546560 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702137-1278546560.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.94 0.65 0.28 3/106 27237 /proc/meminfo: memFree=1736312/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=2836 CPUtime=0 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 345 0 0 0 0 0 0 0 20 0 1 0 22863489 2904064 255 1992294400 134512640 135752675 4290945728 18446744073709551615 134524508 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 709 258 142 303 0 404 0 [startup+0.0193271 s] /proc/loadavg: 0.94 0.65 0.28 3/106 27237 /proc/meminfo: memFree=1736312/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=2836 CPUtime=0.01 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 352 0 0 0 1 0 0 0 20 0 1 0 22863489 2904064 262 1992294400 134512640 135752675 4290945728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 709 262 145 303 0 404 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2836 [startup+0.101333 s] /proc/loadavg: 0.94 0.65 0.28 3/106 27237 /proc/meminfo: memFree=1736312/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=3224 CPUtime=0.09 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 450 0 0 0 9 0 0 0 20 0 1 0 22863489 3301376 360 1992294400 134512640 135752675 4290945728 18446744073709551615 134638089 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 806 360 145 303 0 501 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3224 [startup+0.301355 s] /proc/loadavg: 0.94 0.65 0.28 3/106 27237 /proc/meminfo: memFree=1736312/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=3736 CPUtime=0.29 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 592 0 0 0 29 0 0 0 20 0 1 0 22863489 3825664 502 1992294400 134512640 135752675 4290945728 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 934 502 145 303 0 629 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3736 [startup+0.701398 s] /proc/loadavg: 0.94 0.65 0.28 3/106 27237 /proc/meminfo: memFree=1736312/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=5164 CPUtime=0.69 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 944 0 0 0 67 2 0 0 21 0 1 0 22863489 5287936 854 1992294400 134512640 135752675 4290945728 18446744073709551615 134611666 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 1291 854 145 303 0 986 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5164 [startup+1.50049 s] /proc/loadavg: 0.94 0.65 0.28 2/107 27238 /proc/meminfo: memFree=1732832/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=7252 CPUtime=1.49 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 1478 0 0 0 146 3 0 0 23 0 1 0 22863489 7426048 1388 1992294400 134512640 135752675 4290945728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 1813 1388 145 303 0 1508 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7252 [startup+3.10066 s] /proc/loadavg: 0.94 0.65 0.28 2/107 27238 /proc/meminfo: memFree=1730476/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=10248 CPUtime=3.09 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 2211 0 0 0 304 5 0 0 25 0 1 0 22863489 10493952 2121 1992294400 134512640 135752675 4290945728 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 2562 2121 145 303 0 2257 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10248 [startup+6.30101 s] /proc/loadavg: 0.94 0.65 0.29 2/107 27238 /proc/meminfo: memFree=1723532/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=17108 CPUtime=6.29 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 3927 0 0 0 617 12 0 0 25 0 1 0 22863489 17518592 3837 1992294400 134512640 135752675 4290945728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 4277 3838 145 303 0 3972 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17108 [startup+12.7007 s] /proc/loadavg: 0.95 0.66 0.29 2/107 27238 /proc/meminfo: memFree=1710264/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=28968 CPUtime=12.69 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 6893 0 0 0 1247 22 0 0 25 0 1 0 22863489 29663232 6803 1992294400 134512640 135752675 4290945728 18446744073709551615 134638107 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 7242 6803 145 303 0 6937 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28968 [startup+25.5011 s] /proc/loadavg: 0.96 0.67 0.30 2/107 27238 /proc/meminfo: memFree=1687820/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=51500 CPUtime=25.48 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 12498 0 0 0 2505 43 0 0 25 0 1 0 22863489 52736000 12408 1992294400 134512640 135752675 4290945728 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 12875 12408 145 303 0 12570 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 51500 [startup+51.1019 s] /proc/loadavg: 0.97 0.70 0.32 2/107 27240 /proc/meminfo: memFree=1652108/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=86804 CPUtime=51.07 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 21317 0 0 0 5032 75 0 0 25 0 1 0 22863489 88887296 21227 1992294400 134512640 135752675 4290945728 18446744073709551615 134603215 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 21701 21227 145 303 0 21396 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 86804 [startup+102.309 s] /proc/loadavg: 0.99 0.74 0.35 2/107 27240 /proc/meminfo: memFree=1579196/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=159160 CPUtime=102.26 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 39378 0 0 0 10081 145 0 0 25 0 1 0 22863489 162979840 39288 1992294400 134512640 135752675 4290945728 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 39790 39288 145 303 0 39485 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 159160 [startup+162.301 s] /proc/loadavg: 0.99 0.79 0.39 2/107 27242 /proc/meminfo: memFree=1507152/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=232168 CPUtime=162.23 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 57561 0 0 0 16009 214 0 0 25 0 1 0 22863489 237740032 57471 1992294400 134512640 135752675 4290945728 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 58042 57471 145 303 0 57737 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 232168 [startup+222.302 s] /proc/loadavg: 0.99 0.82 0.42 2/107 27244 /proc/meminfo: memFree=1460032/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=278012 CPUtime=222.22 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 69178 0 0 0 21943 279 0 0 25 0 1 0 22863489 284684288 69060 1992294400 134512640 135752675 4290945728 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 69503 69060 146 303 0 69198 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 278012 [startup+282.301 s] /proc/loadavg: 0.99 0.85 0.46 2/107 27246 /proc/meminfo: memFree=1406712/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=331896 CPUtime=282.2 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 82606 0 0 0 27886 334 0 0 25 0 1 0 22863489 339861504 82488 1992294400 134512640 135752675 4290945728 18446744073709551615 134602745 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 82974 82488 146 303 0 82669 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 331896 [startup+342.302 s] /proc/loadavg: 0.99 0.88 0.49 2/107 27246 /proc/meminfo: memFree=1346944/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=391292 CPUtime=342.19 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 97449 0 0 0 33825 394 0 0 25 0 1 0 22863489 400683008 97331 1992294400 134512640 135752675 4290945728 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 97823 97331 146 303 0 97518 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 391292 [startup+402.301 s] /proc/loadavg: 0.99 0.90 0.52 2/107 27248 /proc/meminfo: memFree=1285316/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=452948 CPUtime=402.17 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 112859 0 0 0 39764 453 0 0 25 0 1 0 22863489 463818752 112741 1992294400 134512640 135752675 4290945728 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 113237 112741 146 303 0 112932 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 452948 [startup+462.302 s] /proc/loadavg: 0.99 0.91 0.55 2/107 27250 /proc/meminfo: memFree=1241420/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=496680 CPUtime=462.14 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 123737 0 0 0 45710 504 0 0 25 0 1 0 22863489 508600320 123619 1992294400 134512640 135752675 4290945728 18446744073709551615 134607320 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 124170 123619 146 303 0 123865 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 496680 [startup+522.302 s] /proc/loadavg: 0.99 0.92 0.57 2/107 27252 /proc/meminfo: memFree=1202608/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=535360 CPUtime=522.13 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 133384 0 0 0 51660 553 0 0 25 0 1 0 22863489 548208640 133266 1992294400 134512640 135752675 4290945728 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 133840 133266 146 303 0 133535 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 535360 [startup+582.301 s] /proc/loadavg: 0.99 0.94 0.59 2/107 27254 /proc/meminfo: memFree=1136268/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=601672 CPUtime=582.12 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 149916 0 0 0 57596 616 0 0 25 0 1 0 22863489 616112128 149798 1992294400 134512640 135752675 4290945728 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 150418 149798 146 303 0 150113 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 601672 [startup+642.302 s] /proc/loadavg: 0.99 0.94 0.62 2/107 27254 /proc/meminfo: memFree=1079848/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=657760 CPUtime=642.1 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 163924 0 0 0 63541 669 0 0 25 0 1 0 22863489 673546240 163806 1992294400 134512640 135752675 4290945728 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 164440 163806 146 303 0 164135 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 657760 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.69 2/107 27271 /proc/meminfo: memFree=945928/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=791876 CPUtime=882 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 197312 0 0 0 87376 824 0 0 25 0 1 0 22863489 810881024 197194 1992294400 134512640 135752675 4290945728 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 197969 197194 146 303 0 197664 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 791876 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.71 2/107 27271 /proc/meminfo: memFree=914928/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=823012 CPUtime=941.98 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 205067 0 0 0 93334 864 0 0 25 0 1 0 22863489 842764288 204949 1992294400 134512640 135752675 4290945728 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 205753 204949 146 303 0 205448 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 823012 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.73 2/107 27273 /proc/meminfo: memFree=867684/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=869924 CPUtime=1001.96 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 216813 0 0 0 99287 909 0 0 25 0 1 0 22863489 890802176 216695 1992294400 134512640 135752675 4290945728 18446744073709551615 134611612 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 217481 216695 146 303 0 217176 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 869924 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.74 2/107 27275 /proc/meminfo: memFree=837552/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=900736 CPUtime=1061.94 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 224507 0 0 0 105248 946 0 0 25 0 1 0 22863489 922353664 224389 1992294400 134512640 135752675 4290945728 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 225184 224389 146 303 0 224879 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 900736 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.75 2/107 27277 /proc/meminfo: memFree=803328/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=934344 CPUtime=1121.93 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 232881 0 0 0 111210 983 0 0 25 0 1 0 22863489 956768256 232763 1992294400 134512640 135752675 4290945728 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 233586 232763 146 303 0 233281 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 934344 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.76 2/107 27279 /proc/meminfo: memFree=768980/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=968788 CPUtime=1181.91 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 241463 0 0 0 117170 1021 0 0 25 0 1 0 22863489 992038912 241345 1992294400 134512640 135752675 4290945728 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 242197 241345 146 303 0 241892 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 968788 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.77 2/107 27279 /proc/meminfo: memFree=734012/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=1003368 CPUtime=1241.89 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 250102 0 0 0 123126 1063 0 0 25 0 1 0 22863489 1027448832 249984 1992294400 134512640 135752675 4290945728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 250842 249984 146 303 0 250537 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 1003368 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.79 2/107 27281 /proc/meminfo: memFree=689744/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=1047528 CPUtime=1301.88 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 261111 0 0 0 129074 1114 0 0 25 0 1 0 22863489 1072668672 260993 1992294400 134512640 135752675 4290945728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 261882 260993 146 303 0 261577 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1047528 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.80 2/107 27283 /proc/meminfo: memFree=662588/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=1074784 CPUtime=1361.86 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 267926 0 0 0 135038 1148 0 0 25 0 1 0 22863489 1100578816 267808 1992294400 134512640 135752675 4290945728 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 268696 267808 146 303 0 268391 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1074784 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.81 2/107 27285 /proc/meminfo: memFree=627744/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=1109428 CPUtime=1421.85 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 276597 0 0 0 140991 1194 0 0 25 0 1 0 22863489 1136054272 276479 1992294400 134512640 135752675 4290945728 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 277357 276479 146 303 0 277052 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1109428 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.82 2/107 27287 /proc/meminfo: memFree=587692/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=1149780 CPUtime=1481.82 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 286654 0 0 0 146941 1241 0 0 25 0 1 0 22863489 1177374720 286536 1992294400 134512640 135752675 4290945728 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 287445 286536 146 303 0 287140 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1149780 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.83 2/107 27287 /proc/meminfo: memFree=549500/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=1187716 CPUtime=1541.8 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 296115 0 0 0 152897 1283 0 0 25 0 1 0 22863489 1216221184 295997 1992294400 134512640 135752675 4290945728 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 296929 295997 146 303 0 296624 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1187716 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.83 2/107 27289 /proc/meminfo: memFree=522716/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=1214720 CPUtime=1601.78 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 302884 0 0 0 158858 1320 0 0 25 0 1 0 22863489 1243873280 302766 1992294400 134512640 135752675 4290945728 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 303680 302766 146 303 0 303375 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1214720 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.84 2/107 27291 /proc/meminfo: memFree=494320/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=1242640 CPUtime=1661.76 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 309856 0 0 0 164818 1358 0 0 25 0 1 0 22863489 1272463360 309738 1992294400 134512640 135752675 4290945728 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 310660 309738 146 303 0 310355 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 1242640 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.84 2/107 27293 /proc/meminfo: memFree=471752/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=1265944 CPUtime=1721.74 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 315673 0 0 0 170783 1391 0 0 25 0 1 0 22863489 1296326656 315555 1992294400 134512640 135752675 4290945728 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 316486 315556 146 303 0 316181 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 1265944 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.85 2/107 27295 /proc/meminfo: memFree=450548/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=1286200 CPUtime=1781.72 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 320748 0 0 0 176747 1425 0 0 25 0 1 0 22863489 1317068800 320630 1992294400 134512640 135752675 4290945728 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 321550 320630 146 303 0 321245 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 1286200 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.85 2/107 27295 /proc/meminfo: memFree=442984/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=1293724 CPUtime=1800.04 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4202496 322612 0 0 0 178571 1433 0 0 25 0 1 0 22863489 1324773376 322494 1992294400 134512640 135752675 4290945728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27237/statm: 323431 322494 146 303 0 323126 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1293724 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 0.99 0.97 0.85 2/107 27295 /proc/meminfo: memFree=442984/2059040 swapFree=4139756/4192956 [pid=27237] ppid=27235 vsize=0 CPUtime=1800.14 /proc/27237/stat : 27237 (wbo1.4b) R 27235 27237 26473 0 -1 4203524 322612 0 0 0 178571 1443 0 0 25 0 1 0 22863489 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/27237/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.73 CPU time (s): 1800.17 CPU user time (s): 1785.71 CPU system time (s): 14.4558 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 1293724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.71 system time used= 14.4558 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 322612 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= 2 involuntary context switches= 12406 runsolver used 3.15352 second user time and 8.32973 second system time The end
Begin job on node042 at 2010-07-08 01:49:20 IDJOB=2702137 IDBENCH=48003 IDSOLVER=1190 FILE ID=node042/2702137-1278546560 PBS_JOBID= 11239498 Free space on /tmp= 62460 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=487-P1=127-P2=347-P3=419-P4=367-P5=149-P6=419-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-2702137-1278546560/watcher-2702137-1278546560 -o /tmp/evaluation-result-2702137-1278546560/solver-2702137-1278546560 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702137-1278546560.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 79cf27053836a1888aee43ca3805fcdd RANDOM SEED=595810675 node042.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.213 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.42 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.213 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: 1737204 kB Buffers: 57364 kB Cached: 176592 kB SwapCached: 7224 kB Active: 132632 kB Inactive: 115368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1737204 kB SwapTotal: 4192956 kB SwapFree: 4139756 kB Dirty: 2604 kB Writeback: 0 kB AnonPages: 11444 kB Mapped: 11876 kB Slab: 51960 kB PageTables: 4196 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182608 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-2702137-1278546560.opb Free space on /tmp at the end= 62460 MiB End job on node042 at 2010-07-08 02:19:23