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=509-P1=457-P2=223-P3=127-P4=431-P5=67-P6=17-P7=479-B.opb |
MD5SUM | 0f650891245dab338bc3d2f3a3dc10c7 |
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 | 16.7774 |
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 | 189 |
Total number of constraints | 15 |
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 | 15 |
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) | 567 |
Sum of products size (including duplicates) | 1134 |
Number of different products | 567 |
Sum of products size | 1134 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702219-1278546933.opb. 0.00/0.00 c Instance file HOME/instance-2702219-1278546933.opb 0.00/0.00 c File size is 42576 bytes. 0.00/0.01 c Highest Coefficient sum: 523264 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 756 | 0.00/0.01 c | Number Clauses: 567 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 589 | 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 | 756 1156 4842 | 5000 0 nan | 0.000 % | 0.00/0.02 c | 100 | 756 1156 4842 | 5500 100 68 | 0.002 % | 0.00/0.03 c | 251 | 756 1156 4842 | 6050 251 77 | 0.002 % | 0.00/0.04 c | 476 | 756 1156 4842 | 6655 476 72 | 0.000 % | 0.00/0.08 c | 814 | 756 1156 4842 | 7320 814 68 | 0.000 % | 0.09/0.13 c | 1320 | 756 1156 4842 | 8052 1320 67 | 0.000 % | 0.09/0.19 c | 2079 | 756 1156 4842 | 8857 2079 75 | 0.000 % | 0.19/0.29 c | 3218 | 756 1156 4842 | 9743 3218 74 | 0.002 % | 0.39/0.45 c | 4927 | 756 1156 4842 | 10717 4927 79 | 0.000 % | 0.79/0.80 c | 7490 | 756 1156 4842 | 11789 7490 72 | 0.000 % | 1.19/1.22 c | 11334 | 756 1156 4842 | 12968 11334 71 | 0.000 % | 2.20/2.23 c | 17100 | 756 1156 4842 | 14265 10478 57 | 0.000 % | 3.20/3.29 c | 25750 | 756 1156 4842 | 15692 11898 50 | 0.000 % | 5.19/5.28 c | 38725 | 756 1156 4842 | 17261 9046 50 | 0.000 % | 7.79/7.84 c | 58187 | 756 1156 4842 | 18987 10660 58 | 0.000 % | 11.99/12.07 c | 87380 | 756 1156 4842 | 20886 10424 83 | 0.000 % | 21.38/21.43 c | 131170 | 756 1156 4842 | 22974 11704 56 | 0.000 % | 35.88/35.92 c | 196854 | 756 1156 4842 | 25272 16546 44 | 0.002 % | 61.37/61.48 c | 295380 | 756 1156 4842 | 27799 11337 41 | 0.000 % | 102.96/103.02 c | 443170 | 756 1156 4842 | 30579 24119 48 | 0.000 % | 159.04/159.11 c | 664854 | 756 1156 4842 | 33637 28518 64 | 0.000 % | 182.04/182.18 c There are 0 assigned variables. 0 in cost function. 182.74/182.87 c core #1 182.74/182.87 c 182.74/182.87 c 182.74/182.87 c Core size: 10 Core Weight: 1 Total Weight: 1 182.74/182.87 c 182.74/182.87 c 182.74/182.87 c core #2 182.74/182.87 c 182.74/182.87 c 182.74/182.87 c Core size: 9 Core Weight: 1 Total Weight: 2 182.74/182.87 c 182.74/182.87 c 182.74/182.87 c ============================[ Search Statistics ]============================== 182.74/182.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.87 c =============================================================================== 182.74/182.87 c | 0 | 667 1182 4674 | 5000 0 nan | 0.000 % | 182.74/182.88 c | 101 | 667 1182 4674 | 5500 101 66 | 13.713 % | 182.74/182.89 c | 252 | 667 1182 4674 | 6050 252 68 | 13.715 % | 182.84/182.92 c | 477 | 667 1182 4674 | 6655 477 64 | 13.713 % | 182.84/182.95 c | 815 | 667 1182 4674 | 7320 815 66 | 13.713 % | 182.94/183.02 c | 1321 | 667 1182 4674 | 8052 1321 62 | 13.713 % | 182.94/183.09 c | 2081 | 667 1182 4674 | 8857 2081 63 | 13.713 % | 183.14/183.21 c | 3221 | 667 1182 4674 | 9743 3221 69 | 13.713 % | 183.34/183.44 c | 4931 | 667 1182 4674 | 10717 4931 66 | 13.714 % | 183.74/183.86 c | 7493 | 667 1182 4674 | 11789 7493 64 | 13.713 % | 184.53/184.63 c | 11337 | 667 1182 4674 | 12968 11337 63 | 13.713 % | 185.24/185.36 c | 17103 | 667 1182 4674 | 14265 10413 57 | 13.713 % | 187.04/187.11 c | 25752 | 667 1182 4674 | 15692 11733 58 | 13.713 % | 189.23/189.33 c | 38727 | 667 1182 4674 | 17261 8467 52 | 13.713 % | 194.33/194.42 c | 58188 | 667 1182 4674 | 18987 10198 64 | 13.713 % | 200.93/201.02 c | 87381 | 667 1182 4674 | 20886 10394 47 | 13.713 % | 210.23/210.31 c | 131172 | 667 1182 4674 | 22974 11316 67 | 13.713 % | 226.72/226.89 c | 196856 | 667 1182 4674 | 25272 13811 53 | 13.713 % | 252.82/252.98 c | 295382 | 666 1182 4674 | 27799 24861 78 | 13.844 % | 316.49/316.65 c | 443172 | 666 1182 4674 | 30579 19412 61 | 13.844 % | 411.86/412.06 c | 664856 | 666 1182 4674 | 33637 23370 59 | 13.842 % | 575.81/576.05 c | 997382 | 666 1182 4674 | 37001 17390 45 | 13.842 % | 761.35/761.64 c | 1496170 | 666 1182 4674 | 40701 13925 63 | 13.842 % | 1115.35/1115.78 c | 2244352 | 666 1182 4674 | 44771 23193 43 | 13.844 % | 1682.37/1682.93 c | 3366626 | 666 1182 4674 | 49248 11828 37 | 13.842 % |
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-2702219-1278546933/watcher-2702219-1278546933 -o /tmp/evaluation-result-2702219-1278546933/solver-2702219-1278546933 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702219-1278546933.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.99 0.88 0.49 3/106 25485 /proc/meminfo: memFree=1664692/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=2748 CPUtime=0 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 306 0 0 0 0 0 0 0 19 0 1 0 22906841 2813952 224 1992294400 134512640 135752675 4293017520 18446744073709551615 134564867 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 687 224 138 303 0 371 0 [startup+0.098361 s] /proc/loadavg: 0.99 0.88 0.49 3/106 25485 /proc/meminfo: memFree=1664692/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=3096 CPUtime=0.09 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 444 0 0 0 9 0 0 0 20 0 1 0 22906841 3170304 351 1992294400 134512640 135752675 4293017520 18446744073709551615 134638739 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 774 351 145 303 0 469 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3096 [startup+0.10136 s] /proc/loadavg: 0.99 0.88 0.49 3/106 25485 /proc/meminfo: memFree=1664692/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=3096 CPUtime=0.09 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 448 0 0 0 9 0 0 0 20 0 1 0 22906841 3170304 355 1992294400 134512640 135752675 4293017520 18446744073709551615 134638322 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 774 355 145 303 0 469 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3096 [startup+0.301381 s] /proc/loadavg: 0.99 0.88 0.49 3/106 25485 /proc/meminfo: memFree=1664692/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=4128 CPUtime=0.29 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 689 0 0 0 28 1 0 0 20 0 1 0 22906841 4227072 596 1992294400 134512640 135752675 4293017520 18446744073709551615 134638340 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 1032 596 145 303 0 727 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4128 [startup+0.701422 s] /proc/loadavg: 0.99 0.88 0.49 3/106 25485 /proc/meminfo: memFree=1664692/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=5544 CPUtime=0.69 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 1045 0 0 0 67 2 0 0 20 0 1 0 22906841 5677056 952 1992294400 134512640 135752675 4293017520 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 1386 952 145 303 0 1081 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5544 [startup+1.50151 s] /proc/loadavg: 0.99 0.88 0.49 2/107 25486 /proc/meminfo: memFree=1660840/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=7792 CPUtime=1.49 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 1608 0 0 0 146 3 0 0 23 0 1 0 22906841 7979008 1515 1992294400 134512640 135752675 4293017520 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 1948 1515 145 303 0 1643 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7792 [startup+3.10067 s] /proc/loadavg: 0.99 0.88 0.49 2/107 25486 /proc/meminfo: memFree=1658112/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=11268 CPUtime=3.08 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 2490 0 0 0 302 6 0 0 25 0 1 0 22906841 11538432 2397 1992294400 134512640 135752675 4293017520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 2817 2397 145 303 0 2512 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 11268 [startup+6.30101 s] /proc/loadavg: 0.99 0.88 0.50 2/107 25486 /proc/meminfo: memFree=1651168/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=17844 CPUtime=6.29 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 4110 0 0 0 617 12 0 0 25 0 1 0 22906841 18272256 4017 1992294400 134512640 135752675 4293017520 18446744073709551615 134637949 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 4461 4017 145 303 0 4156 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17844 [startup+12.7007 s] /proc/loadavg: 0.99 0.88 0.50 2/107 25488 /proc/meminfo: memFree=1633684/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=35260 CPUtime=12.68 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 8478 0 0 0 1243 25 0 0 25 0 1 0 22906841 36106240 8385 1992294400 134512640 135752675 4293017520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 8815 8385 145 303 0 8510 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 35260 [startup+25.501 s] /proc/loadavg: 0.99 0.89 0.51 2/107 25488 /proc/meminfo: memFree=1611364/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=55684 CPUtime=25.49 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 13564 0 0 0 2507 42 0 0 25 0 1 0 22906841 57020416 13471 1992294400 134512640 135752675 4293017520 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 13921 13471 145 303 0 13616 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 55684 [startup+51.1017 s] /proc/loadavg: 0.99 0.90 0.52 2/107 25488 /proc/meminfo: memFree=1582472/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=84936 CPUtime=51.08 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 20829 0 0 0 5038 70 0 0 25 0 1 0 22906841 86974464 20736 1992294400 134512640 135752675 4293017520 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 21234 20736 145 303 0 20929 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 84936 [startup+102.308 s] /proc/loadavg: 0.99 0.91 0.54 2/107 25490 /proc/meminfo: memFree=1538824/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=128216 CPUtime=102.27 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 31578 0 0 0 10107 120 0 0 25 0 1 0 22906841 131293184 31485 1992294400 134512640 135752675 4293017520 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 32054 31485 145 303 0 31749 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 128216 [startup+162.301 s] /proc/loadavg: 0.99 0.92 0.57 2/107 25492 /proc/meminfo: memFree=1458844/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=208604 CPUtime=162.24 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 51673 0 0 0 16032 192 0 0 25 0 1 0 22906841 213610496 51580 1992294400 134512640 135752675 4293017520 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 52151 51580 145 303 0 51846 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 208604 [startup+222.302 s] /proc/loadavg: 0.99 0.93 0.59 2/107 25492 /proc/meminfo: memFree=1410856/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=255456 CPUtime=222.23 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 63540 0 0 0 21962 261 0 0 25 0 1 0 22906841 261586944 63413 1992294400 134512640 135752675 4293017520 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 63864 63413 146 303 0 63559 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 255456 [startup+282.301 s] /proc/loadavg: 0.99 0.94 0.61 2/107 25494 /proc/meminfo: memFree=1364356/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=302328 CPUtime=282.2 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 75210 0 0 0 27900 320 0 0 25 0 1 0 22906841 309583872 75083 1992294400 134512640 135752675 4293017520 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 75582 75083 146 303 0 75277 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 302328 [startup+342.301 s] /proc/loadavg: 0.99 0.95 0.64 2/107 25505 /proc/meminfo: memFree=1313144/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=352500 CPUtime=342.18 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 87767 0 0 0 33845 373 0 0 25 0 1 0 22906841 360960000 87640 1992294400 134512640 135752675 4293017520 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 88125 87640 146 303 0 87820 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 352500 [startup+402.301 s] /proc/loadavg: 0.99 0.96 0.66 2/107 25507 /proc/meminfo: memFree=1275200/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=391384 CPUtime=402.16 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 97427 0 0 0 39802 414 0 0 25 0 1 0 22906841 400777216 97300 1992294400 134512640 135752675 4293017520 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 97846 97300 146 303 0 97541 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 391384 [startup+462.302 s] /proc/loadavg: 0.99 0.96 0.67 2/107 25509 /proc/meminfo: memFree=1243208/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=422992 CPUtime=462.14 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 105323 0 0 0 45762 452 0 0 25 0 1 0 22906841 433143808 105196 1992294400 134512640 135752675 4293017520 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 105748 105196 146 303 0 105443 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 422992 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.69 2/107 25509 /proc/meminfo: memFree=1209356/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=457728 CPUtime=522.13 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 113967 0 0 0 51722 491 0 0 25 0 1 0 22906841 468713472 113840 1992294400 134512640 135752675 4293017520 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 114432 113840 146 303 0 114127 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 457728 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.71 2/107 25511 /proc/meminfo: memFree=1176620/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=489620 CPUtime=582.1 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 121946 0 0 0 57676 534 0 0 25 0 1 0 22906841 501370880 121819 1992294400 134512640 135752675 4293017520 18446744073709551615 134611718 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 122405 121819 146 303 0 122100 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 489620 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.73 2/107 25513 /proc/meminfo: memFree=1146364/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=519768 CPUtime=642.1 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 129439 0 0 0 63634 576 0 0 25 0 1 0 22906841 532242432 129312 1992294400 134512640 135752675 4293017520 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 129942 129312 146 303 0 129637 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 519768 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.77 2/107 25519 /proc/meminfo: memFree=931844/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=733944 CPUtime=882.02 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 182934 0 0 0 87419 783 0 0 25 0 1 0 22906841 751558656 182807 1992294400 134512640 135752675 4293017520 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 183486 182807 146 303 0 183181 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 733944 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.79 2/107 25521 /proc/meminfo: memFree=900472/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=765608 CPUtime=942 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 190813 0 0 0 93380 820 0 0 25 0 1 0 22906841 783982592 190686 1992294400 134512640 135752675 4293017520 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 191402 190686 146 303 0 191097 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 765608 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.80 2/107 25523 /proc/meminfo: memFree=869968/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=795916 CPUtime=1001.98 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 198362 0 0 0 99336 862 0 0 25 0 1 0 22906841 815017984 198235 1992294400 134512640 135752675 4293017520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 198979 198235 146 303 0 198674 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 795916 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.81 2/107 25525 /proc/meminfo: memFree=831156/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=834924 CPUtime=1061.96 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 208113 0 0 0 105283 913 0 0 25 0 1 0 22906841 854962176 207986 1992294400 134512640 135752675 4293017520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 208731 207986 146 303 0 208426 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 834924 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.82 2/107 25525 /proc/meminfo: memFree=796188/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=869952 CPUtime=1121.95 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 216849 0 0 0 111236 959 0 0 25 0 1 0 22906841 890830848 216722 1992294400 134512640 135752675 4293017520 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 217488 216722 146 303 0 217183 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 869952 [startup+1182.3 s] /proc/loadavg: 1.04 0.99 0.83 2/107 25527 /proc/meminfo: memFree=748572/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=917880 CPUtime=1181.93 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 228802 0 0 0 117184 1009 0 0 25 0 1 0 22906841 939909120 228675 1992294400 134512640 135752675 4293017520 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 229470 228675 146 303 0 229165 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 917880 [startup+1242.3 s] /proc/loadavg: 1.01 0.99 0.84 2/107 25529 /proc/meminfo: memFree=706660/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=959756 CPUtime=1241.9 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 239285 0 0 0 123138 1052 0 0 25 0 1 0 22906841 982790144 239158 1992294400 134512640 135752675 4293017520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 239939 239158 146 303 0 239634 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 959756 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.84 2/107 25531 /proc/meminfo: memFree=651976/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=1013484 CPUtime=1301.9 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 252679 0 0 0 129084 1106 0 0 25 0 1 0 22906841 1037807616 252552 1992294400 134512640 135752675 4293017520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 253371 252552 146 303 0 253066 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1013484 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.85 2/107 25533 /proc/meminfo: memFree=623456/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=1042168 CPUtime=1361.87 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 259864 0 0 0 135046 1141 0 0 25 0 1 0 22906841 1067180032 259737 1992294400 134512640 135752675 4293017520 18446744073709551615 134639210 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 260542 259737 146 303 0 260237 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1042168 [startup+1422.31 s] /proc/loadavg: 1.05 1.00 0.86 2/107 25536 /proc/meminfo: memFree=595060/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=1069836 CPUtime=1421.87 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 266785 0 0 0 141010 1177 0 0 25 0 1 0 22906841 1095512064 266658 1992294400 134512640 135752675 4293017520 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 267459 266658 146 303 0 267154 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1069836 [startup+1482.3 s] /proc/loadavg: 1.02 1.00 0.87 2/107 25538 /proc/meminfo: memFree=560216/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=1105148 CPUtime=1481.83 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 275605 0 0 0 146966 1217 0 0 25 0 1 0 22906841 1131671552 275478 1992294400 134512640 135752675 4293017520 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 276287 275478 146 303 0 275982 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1105148 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.87 2/107 25540 /proc/meminfo: memFree=521900/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=1143200 CPUtime=1541.82 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 285082 0 0 0 152921 1261 0 0 25 0 1 0 22906841 1170636800 284955 1992294400 134512640 135752675 4293017520 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 285800 284955 146 303 0 285495 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1143200 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.88 2/107 25542 /proc/meminfo: memFree=497224/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=1168056 CPUtime=1601.79 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 291300 0 0 0 158885 1294 0 0 25 0 1 0 22906841 1196089344 291173 1992294400 134512640 135752675 4293017520 18446744073709551615 134603238 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 292014 291173 146 303 0 291709 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1168056 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.88 2/107 25544 /proc/meminfo: memFree=467216/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=1198056 CPUtime=1661.78 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 298782 0 0 0 164844 1334 0 0 25 0 1 0 22906841 1226809344 298655 1992294400 134512640 135752675 4293017520 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 299514 298655 146 303 0 299209 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1198056 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.89 2/107 25544 /proc/meminfo: memFree=438324/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=1227956 CPUtime=1721.75 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 306266 0 0 0 170802 1373 0 0 25 0 1 0 22906841 1257426944 306139 1992294400 134512640 135752675 4293017520 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 306989 306139 146 303 0 306684 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 1227956 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.89 2/107 25546 /proc/meminfo: memFree=403728/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=1261544 CPUtime=1781.74 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 314644 0 0 0 176758 1416 0 0 25 0 1 0 22906841 1291821056 314517 1992294400 134512640 135752675 4293017520 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 315386 314517 146 303 0 315081 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1261544 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.90 2/107 25546 /proc/meminfo: memFree=387856/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=1277052 CPUtime=1800.04 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4202496 318539 0 0 0 178572 1432 0 0 25 0 1 0 22906841 1307701248 318412 1992294400 134512640 135752675 4293017520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25485/statm: 319263 318412 146 303 0 318958 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1277052 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: 1.00 1.00 0.90 2/107 25546 /proc/meminfo: memFree=387856/2059040 swapFree=4161224/4192956 [pid=25485] ppid=25483 vsize=0 CPUtime=1800.14 /proc/25485/stat : 25485 (wbo1.4b) R 25483 25485 24705 0 -1 4203524 318539 0 0 0 178572 1442 0 0 25 0 1 0 22906841 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/25485/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.73 CPU system time (s): 14.4468 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 1277052 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.73 system time used= 14.4468 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 318539 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= 7514 runsolver used 2.84457 second user time and 8.63969 second system time The end
Begin job on node007 at 2010-07-08 01:55:33 IDJOB=2702219 IDBENCH=48044 IDSOLVER=1190 FILE ID=node007/2702219-1278546933 PBS_JOBID= 11239523 Free space on /tmp= 62492 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=509-P1=457-P2=223-P3=127-P4=431-P5=67-P6=17-P7=479-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-2702219-1278546933/watcher-2702219-1278546933 -o /tmp/evaluation-result-2702219-1278546933/solver-2702219-1278546933 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702219-1278546933.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0f650891245dab338bc3d2f3a3dc10c7 RANDOM SEED=329449057 node007.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.256 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.51 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.256 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.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1665468 kB Buffers: 68552 kB Cached: 207504 kB SwapCached: 1860 kB Active: 127900 kB Inactive: 178116 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1665468 kB SwapTotal: 4192956 kB SwapFree: 4161224 kB Dirty: 2744 kB Writeback: 4 kB AnonPages: 28116 kB Mapped: 13044 kB Slab: 65608 kB PageTables: 4176 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182100 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-2702219-1278546933.opb Free space on /tmp at the end= 62488 MiB End job on node007 at 2010-07-08 02:25:36