Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | UNSAT | 553.477 | 553.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_1.opb |
MD5SUM | 8dbaef61ba32642517e0b17ac09a002e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 117.186 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 31 |
Total number of constraints | 9 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 8 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 30 |
Number of terms in the objective function | 1 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 851 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2553 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680920-1277457990.opb. 0.00/0.00 c Instance file HOME/instance-2680920-1277457990.opb 0.00/0.00 c File size is 2100 bytes. 0.00/0.00 c Highest Coefficient sum: 2553 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 31 | 0.00/0.00 c | Number Clauses: 1 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 8 | 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 | 30 9 236 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 100 | 30 9 236 | 5500 100 15 | 3.333 % | 0.00/0.00 c | 250 | 30 9 236 | 6050 250 15 | 3.333 % | 0.00/0.01 c | 475 | 30 9 236 | 6655 475 14 | 3.333 % | 0.00/0.02 c | 812 | 30 9 236 | 7320 812 14 | 3.333 % | 0.03/0.04 c | 1320 | 30 9 236 | 8052 1320 14 | 3.333 % | 0.03/0.07 c | 2079 | 30 9 236 | 8857 2079 13 | 3.333 % | 0.09/0.13 c | 3218 | 30 9 236 | 9743 3218 13 | 3.333 % | 0.19/0.26 c | 4927 | 30 9 236 | 10717 4927 13 | 3.333 % | 0.39/0.45 c | 7490 | 30 9 236 | 11789 7490 13 | 3.333 % | 0.89/0.92 c | 11334 | 30 9 236 | 12968 11334 13 | 3.333 % | 1.59/1.65 c | 17101 | 30 9 236 | 14265 10607 13 | 3.333 % | 2.59/2.65 c | 25750 | 30 9 236 | 15692 12111 13 | 3.333 % | 4.59/4.68 c | 38725 | 30 9 236 | 17261 9377 13 | 3.333 % | 7.49/7.52 c | 58187 | 30 9 236 | 18987 11559 12 | 3.333 % | 12.18/12.26 c | 87381 | 30 9 236 | 20886 12244 12 | 3.333 % | 19.38/19.49 c | 131170 | 30 9 236 | 22974 14222 12 | 3.333 % | 31.79/31.84 c | 196855 | 30 9 236 | 25272 18614 12 | 3.333 % | 51.78/51.89 c | 295383 | 30 9 236 | 27799 15937 11 | 3.334 % | 86.56/86.69 c | 443172 | 30 9 236 | 30579 11694 12 | 3.337 % | 145.06/145.20 c | 664856 | 30 9 236 | 33637 18047 11 | 3.344 % | 181.84/181.95 c There are 1 assigned variables. 1 in cost function. 182.24/182.36 c ============================[ Search Statistics ]============================== 182.24/182.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.24/182.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.24/182.36 c =============================================================================== 182.24/182.36 c | 0 | 30 12 245 | 5000 0 nan | 0.000 % | 182.24/182.37 c | 100 | 30 12 245 | 5500 100 14 | 3.333 % | 182.24/182.38 c | 250 | 30 12 245 | 6050 250 14 | 3.333 % | 182.34/182.41 c | 476 | 30 12 245 | 6655 476 14 | 3.333 % | 182.34/182.44 c | 814 | 30 12 245 | 7320 814 13 | 3.333 % | 182.34/182.47 c | 1321 | 30 12 245 | 8052 1321 13 | 3.333 % | 182.45/182.52 c | 2081 | 30 12 245 | 8857 2081 13 | 3.333 % | 182.45/182.58 c | 3221 | 30 12 245 | 9743 3221 13 | 3.337 % | 182.64/182.72 c | 4929 | 30 12 245 | 10717 4929 12 | 3.333 % | 182.85/182.96 c | 7491 | 30 12 245 | 11789 7491 12 | 3.333 % | 183.45/183.57 c | 11335 | 30 12 245 | 12968 11335 12 | 3.333 % | 184.45/184.59 c | 17103 | 30 12 245 | 14265 10608 12 | 3.333 % | 186.04/186.19 c | 25752 | 30 12 245 | 15692 12114 12 | 3.333 % | 188.74/188.83 c | 38726 | 30 12 245 | 17261 9377 12 | 3.333 % | 192.64/192.70 c | 58187 | 30 12 245 | 18987 11559 12 | 3.333 % | 198.64/198.72 c | 87381 | 30 12 245 | 20886 12243 12 | 3.333 % | 208.95/209.06 c | 131170 | 30 12 245 | 22974 14220 12 | 3.333 % | 228.64/228.77 c | 196854 | 30 12 245 | 25272 18633 12 | 3.333 % | 260.42/260.51 c | 295380 | 30 12 245 | 27799 15957 12 | 3.337 % | 290.92/291.01 c | 443169 | 30 12 245 | 30579 11727 11 | 3.337 % | 352.90/353.08 c | 664855 | 30 12 245 | 33637 18140 11 | 3.438 % | 457.77/457.98 c | 997381 | 30 12 245 | 37001 12634 10 | 3.750 % | 553.35/553.59 c =============================================================================== 553.35/553.59 c core #1 553.35/553.59 c 553.35/553.59 c 553.35/553.59 c Core size: 4 Core Weight: 2147483647 Total Weight: 2147483647 553.35/553.59 c 553.35/553.59 c 553.35/553.59 c Memory used : 207.78 MB 553.35/553.59 c CPU time : 548.421 s 553.35/553.59 c 553.35/553.59 s UNSATISFIABLE 553.35/553.59 c Total CPU time: 548.421 s
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-2680920-1277457990/watcher-2680920-1277457990 -o /tmp/evaluation-result-2680920-1277457990/solver-2680920-1277457990 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680920-1277457990.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.97 0.91 3/106 28368 /proc/meminfo: memFree=1853960/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=2444 CPUtime=0 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 270 0 0 0 0 0 0 0 20 0 1 0 87091073 2502656 188 1992294400 134512640 135752675 4287016992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 611 188 145 303 0 306 0 [startup+0.037023 s] /proc/loadavg: 0.99 0.97 0.91 3/106 28368 /proc/meminfo: memFree=1853960/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=2576 CPUtime=0.03 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 300 0 0 0 3 0 0 0 20 0 1 0 87091073 2637824 218 1992294400 134512640 135752675 4287016992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 644 218 145 303 0 339 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2576 [startup+0.10103 s] /proc/loadavg: 0.99 0.97 0.91 3/106 28368 /proc/meminfo: memFree=1853960/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=2840 CPUtime=0.09 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 357 0 0 0 9 0 0 0 20 0 1 0 87091073 2908160 275 1992294400 134512640 135752675 4287016992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 710 275 145 303 0 405 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2840 [startup+0.301051 s] /proc/loadavg: 0.99 0.97 0.91 3/106 28368 /proc/meminfo: memFree=1853960/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=3372 CPUtime=0.29 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 473 0 0 0 29 0 0 0 20 0 1 0 87091073 3452928 391 1992294400 134512640 135752675 4287016992 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 843 391 145 303 0 538 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3372 [startup+0.701095 s] /proc/loadavg: 0.99 0.97 0.91 3/106 28368 /proc/meminfo: memFree=1853960/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=3892 CPUtime=0.69 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 632 0 0 0 68 1 0 0 20 0 1 0 87091073 3985408 550 1992294400 134512640 135752675 4287016992 18446744073709551615 134611718 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 973 550 145 303 0 668 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3892 [startup+1.50118 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28369 /proc/meminfo: memFree=1851844/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=4816 CPUtime=1.49 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 844 0 0 0 147 2 0 0 22 0 1 0 87091073 4931584 762 1992294400 134512640 135752675 4287016992 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 1204 762 145 303 0 899 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4816 [startup+3.10036 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28369 /proc/meminfo: memFree=1850480/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=6536 CPUtime=3.08 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 1260 0 0 0 303 5 0 0 25 0 1 0 87091073 6692864 1178 1992294400 134512640 135752675 4287016992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 1634 1178 145 303 0 1329 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 6536 [startup+6.3007 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28369 /proc/meminfo: memFree=1847132/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=9536 CPUtime=6.29 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 2009 0 0 0 618 11 0 0 25 0 1 0 87091073 9764864 1927 1992294400 134512640 135752675 4287016992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 2384 1927 145 303 0 2079 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9536 [startup+12.7004 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28369 /proc/meminfo: memFree=1841924/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=14524 CPUtime=12.69 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 3269 0 0 0 1248 21 0 0 25 0 1 0 87091073 14872576 3187 1992294400 134512640 135752675 4287016992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 3631 3187 145 303 0 3326 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14524 [startup+25.5018 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28369 /proc/meminfo: memFree=1832376/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=23608 CPUtime=25.49 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 5540 0 0 0 2512 37 0 0 25 0 1 0 87091073 24174592 5458 1992294400 134512640 135752675 4287016992 18446744073709551615 134605384 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 5902 5458 145 303 0 5597 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 23608 [startup+51.1016 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28371 /proc/meminfo: memFree=1816628/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=39468 CPUtime=51.07 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 9459 0 0 0 5038 69 0 0 25 0 1 0 87091073 40415232 9377 1992294400 134512640 135752675 4287016992 18446744073709551615 134603340 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 9867 9377 145 303 0 9562 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 39468 [startup+102.309 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28371 /proc/meminfo: memFree=1790588/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=65132 CPUtime=102.28 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 15856 0 0 0 10105 123 0 0 25 0 1 0 87091073 66695168 15774 1992294400 134512640 135752675 4287016992 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 16283 15774 145 303 0 15978 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 65132 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28373 /proc/meminfo: memFree=1764672/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=91232 CPUtime=162.25 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 22377 0 0 0 16049 176 0 0 25 0 1 0 87091073 93421568 22295 1992294400 134512640 135752675 4287016992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 22808 22295 145 303 0 22503 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 91232 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28375 /proc/meminfo: memFree=1756116/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=99380 CPUtime=222.23 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 24476 0 0 0 21999 224 0 0 25 0 1 0 87091073 101765120 24361 1992294400 134512640 135752675 4287016992 18446744073709551615 134603238 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 24845 24361 146 303 0 24540 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 99380 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28377 /proc/meminfo: memFree=1747560/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=108280 CPUtime=282.22 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 26703 0 0 0 27947 275 0 0 25 0 1 0 87091073 110878720 26588 1992294400 134512640 135752675 4287016992 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 27070 26588 146 303 0 26765 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 108280 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28377 /proc/meminfo: memFree=1722388/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=133052 CPUtime=342.2 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 32882 0 0 0 33893 327 0 0 25 0 1 0 87091073 136245248 32767 1992294400 134512640 135752675 4287016992 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 33263 32767 146 303 0 32958 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 133052 [startup+402.301 s] /proc/loadavg: 1.03 0.99 0.91 2/107 28382 /proc/meminfo: memFree=1696720/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=158460 CPUtime=402.19 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 39226 0 0 0 39837 382 0 0 25 0 1 0 87091073 162263040 39111 1992294400 134512640 135752675 4287016992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 39615 39111 146 303 0 39310 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 158460 [startup+462.301 s] /proc/loadavg: 1.01 0.99 0.91 2/107 28384 /proc/meminfo: memFree=1674896/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=180048 CPUtime=462.17 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 44635 0 0 0 45787 430 0 0 25 0 1 0 87091073 184369152 44520 1992294400 134512640 135752675 4287016992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 45012 44520 146 303 0 44707 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 180048 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28386 /proc/meminfo: memFree=1654684/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=200388 CPUtime=522.16 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 49693 0 0 0 51739 477 0 0 25 0 1 0 87091073 205197312 49578 1992294400 134512640 135752675 4287016992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 50097 49578 146 303 0 49792 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 200388 Solver just ended. Dumping a history of the last processes samples [startup+537.501 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28386 /proc/meminfo: memFree=1650964/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=203916 CPUtime=537.35 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 50592 0 0 0 53250 485 0 0 25 0 1 0 87091073 208809984 50477 1992294400 134512640 135752675 4287016992 18446744073709551615 134603238 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 50979 50477 146 303 0 50674 0 Current children cumulated CPU time (s) 537.35 Current children cumulated vsize (KiB) 203916 [startup+543.901 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28386 /proc/meminfo: memFree=1647244/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=207744 CPUtime=543.75 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 51544 0 0 0 53883 492 0 0 25 0 1 0 87091073 212729856 51429 1992294400 134512640 135752675 4287016992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 51936 51429 146 303 0 51631 0 Current children cumulated CPU time (s) 543.75 Current children cumulated vsize (KiB) 207744 [startup+550.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28386 /proc/meminfo: memFree=1645756/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=209328 CPUtime=550.15 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 51934 0 0 0 54520 495 0 0 25 0 1 0 87091073 214351872 51819 1992294400 134512640 135752675 4287016992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 52332 51819 146 303 0 52027 0 Current children cumulated CPU time (s) 550.15 Current children cumulated vsize (KiB) 209328 [startup+551.901 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28386 /proc/meminfo: memFree=1645136/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=210780 CPUtime=551.74 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 52291 0 0 0 54676 498 0 0 25 0 1 0 87091073 215838720 52176 1992294400 134512640 135752675 4287016992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 52695 52176 146 303 0 52390 0 Current children cumulated CPU time (s) 551.74 Current children cumulated vsize (KiB) 210780 [startup+552.701 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28386 /proc/meminfo: memFree=1643896/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=211440 CPUtime=552.55 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 52453 0 0 0 54755 500 0 0 25 0 1 0 87091073 216514560 52338 1992294400 134512640 135752675 4287016992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 52860 52338 146 303 0 52555 0 Current children cumulated CPU time (s) 552.55 Current children cumulated vsize (KiB) 211440 [startup+553.101 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28386 /proc/meminfo: memFree=1643896/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=211704 CPUtime=552.95 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 52517 0 0 0 54794 501 0 0 25 0 1 0 87091073 216784896 52402 1992294400 134512640 135752675 4287016992 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 52926 52402 146 303 0 52621 0 Current children cumulated CPU time (s) 552.95 Current children cumulated vsize (KiB) 211704 [startup+553.501 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28386 /proc/meminfo: memFree=1643028/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=212496 CPUtime=553.35 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202496 52723 0 0 0 54833 502 0 0 25 0 1 0 87091073 217595904 52608 1992294400 134512640 135752675 4287016992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28368/statm: 53124 52608 146 303 0 52819 0 Current children cumulated CPU time (s) 553.35 Current children cumulated vsize (KiB) 212496 [startup+553.601 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28386 /proc/meminfo: memFree=1643028/2059040 swapFree=4136688/4192956 [pid=28368] ppid=28366 vsize=0 CPUtime=553.45 /proc/28368/stat : 28368 (wbo1.4b) R 28366 28368 27934 0 -1 4202500 52787 0 0 0 54842 503 0 0 25 0 1 0 87091073 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28368/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 553.45 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 553.62 CPU time (s): 553.477 CPU user time (s): 548.421 CPU system time (s): 5.05623 CPU usage (%): 99.9741 Max. virtual memory (cumulated for all children) (KiB): 212496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 548.421 system time used= 5.05623 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52787 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= 389 runsolver used 0.906862 second user time and 2.6316 second system time The end
Begin job on node047 at 2010-06-25 11:26:30 IDJOB=2680920 IDBENCH=2905 IDSOLVER=1190 FILE ID=node047/2680920-1277457990 PBS_JOBID= 11188121 Free space on /tmp= 62484 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_1.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680920-1277457990/watcher-2680920-1277457990 -o /tmp/evaluation-result-2680920-1277457990/solver-2680920-1277457990 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680920-1277457990.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8dbaef61ba32642517e0b17ac09a002e RANDOM SEED=1215198665 node047.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.244 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.48 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.244 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1854488 kB Buffers: 32960 kB Cached: 73944 kB SwapCached: 9176 kB Active: 12452 kB Inactive: 107396 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1854488 kB SwapTotal: 4192956 kB SwapFree: 4136688 kB Dirty: 2616 kB Writeback: 0 kB AnonPages: 11624 kB Mapped: 8424 kB Slab: 62616 kB PageTables: 4220 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181380 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62480 MiB End job on node047 at 2010-06-25 11:35:44