Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.36 | 1800.98 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_3.opb |
MD5SUM | 0278ee4f163393ac33163ff791a7f96d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 19 |
Best CPU time to get the best result obtained on this benchmark | 1802.16 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
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 | 16 |
Minimum length of a constraint | 82 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1782 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5856 |
Number of bits of the biggest sum of numbers | 13 |
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875768-1245175912.opb. 0.00/0.00 c Instance file HOME/instance-1875768-1245175912.opb 0.00/0.00 c File size is 13159 bytes. 0.00/0.00 c Highest Coefficient sum: 5856 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: 198 | 0.00/0.00 c | Number Clauses: 128 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 16 | 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 | 70 144 1354 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 101 | 70 144 1354 | 5500 101 82 | 64.649 % | 0.00/0.03 c | 251 | 70 144 1354 | 6050 251 83 | 64.649 % | 0.03/0.06 c | 476 | 70 144 1354 | 6655 476 82 | 64.649 % | 0.03/0.09 c | 814 | 70 144 1354 | 7320 814 80 | 64.649 % | 0.09/0.15 c | 1320 | 70 144 1354 | 8052 1320 79 | 64.649 % | 0.19/0.24 c | 2079 | 70 144 1354 | 8857 2079 79 | 64.649 % | 0.29/0.38 c | 3218 | 70 144 1354 | 9743 3218 78 | 64.649 % | 0.59/0.60 c | 4926 | 70 144 1354 | 10717 4926 79 | 64.649 % | 0.89/0.99 c | 7488 | 70 144 1354 | 11789 7488 83 | 64.649 % | 1.69/1.72 c | 11332 | 70 144 1354 | 12968 11332 85 | 64.649 % | 2.89/2.99 c | 17098 | 70 144 1354 | 14265 10521 90 | 64.649 % | 4.99/5.04 c | 25749 | 70 144 1354 | 15692 11945 89 | 64.649 % | 7.88/7.93 c | 38723 | 70 144 1354 | 17261 9046 85 | 64.649 % | 12.98/13.01 c | 58184 | 70 144 1354 | 18987 11074 90 | 64.649 % | 21.09/21.12 c | 87376 | 70 144 1354 | 20886 11518 91 | 64.649 % | 35.28/35.38 c | 131165 | 70 144 1354 | 22974 13187 91 | 64.649 % | 55.77/55.86 c | 196849 | 70 144 1354 | 25272 16843 85 | 64.649 % | 88.46/88.52 c | 295375 | 70 144 1354 | 27799 13122 85 | 64.649 % | 147.25/147.31 c | 443164 | 70 144 1354 | 30579 24596 90 | 64.649 % | 241.00/241.10 c | 664849 | 70 144 1354 | 33637 29301 92 | 64.649 % | 406.45/406.65 c | 997374 | 70 144 1354 | 37001 21506 94 | 64.649 % | 661.96/662.20 c | 1496162 | 70 144 1354 | 40701 27162 89 | 64.649 % | 1044.63/1045.02 c | 2244344 | 70 144 1354 | 44771 36342 90 | 64.649 % | 1703.21/1703.85 c | 3366618 | 70 144 1354 | 49248 18595 87 | 64.649 % |
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-1875768-1245175912/watcher-1875768-1245175912 -o /tmp/evaluation-result-1875768-1245175912/solver-1875768-1245175912 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875768-1245175912.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.99 3/64 3884 /proc/meminfo: memFree=1847432/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=2524 CPUtime=0 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 205 0 0 0 0 0 0 0 18 0 1 0 185192139 2584576 185 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 631 185 134 292 0 336 0 [startup+0.0388649 s] /proc/loadavg: 0.99 0.97 0.99 3/64 3884 /proc/meminfo: memFree=1847432/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=2656 CPUtime=0.03 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 243 0 0 0 3 0 0 0 18 0 1 0 185192139 2719744 223 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 664 223 135 292 0 369 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2656 [startup+0.101877 s] /proc/loadavg: 0.99 0.97 0.99 3/64 3884 /proc/meminfo: memFree=1847432/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=2920 CPUtime=0.09 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 314 0 0 0 9 0 0 0 18 0 1 0 185192139 2990080 294 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 730 294 135 292 0 435 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2920 [startup+0.301915 s] /proc/loadavg: 0.99 0.97 0.99 3/64 3884 /proc/meminfo: memFree=1847432/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=3696 CPUtime=0.29 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 521 0 0 0 29 0 0 0 19 0 1 0 185192139 3784704 501 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 924 501 135 292 0 629 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3696 [startup+0.701993 s] /proc/loadavg: 0.99 0.97 0.99 3/64 3884 /proc/meminfo: memFree=1847432/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=5284 CPUtime=0.69 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 912 0 0 0 69 0 0 0 22 0 1 0 185192139 5410816 892 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 1321 892 135 292 0 1026 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5284 [startup+1.50114 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=1843328/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=7768 CPUtime=1.49 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 1534 0 0 0 147 2 0 0 25 0 1 0 185192139 7954432 1514 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 1942 1514 135 292 0 1647 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7768 [startup+3.10145 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=1840192/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=11692 CPUtime=3.09 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 2503 0 0 0 306 3 0 0 25 0 1 0 185192139 11972608 2483 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 2923 2483 135 292 0 2628 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11692 [startup+6.30106 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=1832576/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=19120 CPUtime=6.29 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 4351 0 0 0 623 6 0 0 25 0 1 0 185192139 19578880 4331 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 4780 4331 135 292 0 4485 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19120 [startup+12.7023 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=1818432/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=32076 CPUtime=12.69 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 7605 0 0 0 1257 12 0 0 25 0 1 0 185192139 32845824 7585 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 8019 7585 135 292 0 7724 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32076 [startup+25.5017 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=1794944/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=54940 CPUtime=25.48 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 13326 0 0 0 2525 23 0 0 25 0 1 0 185192139 56258560 13306 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 13735 13307 135 292 0 13440 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 54940 [startup+51.1017 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=1754816/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=95612 CPUtime=51.07 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 23472 0 0 0 5065 42 0 0 25 0 1 0 185192139 97906688 23452 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 23903 23452 135 292 0 23608 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 95612 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=1679872/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=169588 CPUtime=102.26 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 41942 0 0 0 10146 80 0 0 25 0 1 0 185192139 173658112 41922 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 42397 41922 135 292 0 42102 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 169588 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=1605632/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=244544 CPUtime=162.24 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 60668 0 0 0 16103 121 0 0 25 0 1 0 185192139 250413056 60648 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 61136 60648 135 292 0 60841 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 244544 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=1532096/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=317100 CPUtime=222.21 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 78811 0 0 0 22056 165 0 0 25 0 1 0 185192139 324710400 78791 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 79275 78791 135 292 0 78980 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 317100 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=1466048/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=383760 CPUtime=282.19 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 95484 0 0 0 28017 202 0 0 25 0 1 0 185192139 392970240 95464 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 95940 95464 135 292 0 95645 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 383760 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=1402624/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=446296 CPUtime=342.17 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 111109 0 0 0 33978 239 0 0 25 0 1 0 185192139 457007104 111089 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 111574 111089 135 292 0 111279 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 446296 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=1341184/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=507980 CPUtime=402.16 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 126523 0 0 0 39944 272 0 0 25 0 1 0 185192139 520171520 126503 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 126995 126503 135 292 0 126700 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 507980 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=1280832/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=568156 CPUtime=462.13 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 141540 0 0 0 45908 305 0 0 25 0 1 0 185192139 581791744 141520 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 142039 141521 135 292 0 141744 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 568156 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=1221696/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=627340 CPUtime=522.11 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 156337 0 0 0 51875 336 0 0 25 0 1 0 185192139 642396160 156317 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 156835 156317 135 292 0 156540 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 627340 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=1159168/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=689484 CPUtime=582.09 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 171887 0 0 0 57834 375 0 0 25 0 1 0 185192139 706031616 171867 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 172371 171867 135 292 0 172076 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 689484 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=1101376/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=746768 CPUtime=642.08 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 186190 0 0 0 63798 410 0 0 25 0 1 0 185192139 764690432 186170 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 186692 186170 135 292 0 186397 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 746768 [startup+702.302 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=807360/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=1041564 CPUtime=941.97 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 259869 0 0 0 93614 583 0 0 25 0 1 0 185192139 1066561536 259849 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 260391 259849 135 292 0 260096 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 1041564 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=747840/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=1100200 CPUtime=1001.95 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 274516 0 0 0 99579 616 0 0 25 0 1 0 185192139 1126604800 274496 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 275050 274496 135 292 0 274755 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 1100200 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=691008/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=1157056 CPUtime=1061.92 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 288717 0 0 0 105544 648 0 0 25 0 1 0 185192139 1184825344 288697 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 289264 288697 135 292 0 288969 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 1157056 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=638656/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=1208868 CPUtime=1121.9 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 301675 0 0 0 111510 680 0 0 25 0 1 0 185192139 1237880832 301655 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 302217 301655 135 292 0 301922 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 1208868 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=591808/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=1256076 CPUtime=1181.88 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 313485 0 0 0 117478 710 0 0 25 0 1 0 185192139 1286221824 313465 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 314019 313465 135 292 0 313724 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 1256076 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=539584/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=1307884 CPUtime=1241.86 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 326412 0 0 0 123444 742 0 0 25 0 1 0 185192139 1339273216 326392 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 326971 326392 135 292 0 326676 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1307884 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=488192/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=1358692 CPUtime=1301.84 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 339140 0 0 0 129411 773 0 0 25 0 1 0 185192139 1391300608 339120 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 339673 339120 135 292 0 339378 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 1358692 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=436096/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=1411064 CPUtime=1361.82 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 352215 0 0 0 135378 804 0 0 25 0 1 0 185192139 1444929536 352195 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 352766 352195 135 292 0 352471 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 1411064 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=384000/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=1462832 CPUtime=1421.8 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 365157 0 0 0 141345 835 0 0 25 0 1 0 185192139 1497939968 365137 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 365708 365137 135 292 0 365413 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 1462832 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=333312/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=1513788 CPUtime=1481.78 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 377890 0 0 0 147313 865 0 0 25 0 1 0 185192139 1550118912 377870 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 378447 377870 135 292 0 378152 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 1513788 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=278272/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=1568420 CPUtime=1541.76 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 391563 0 0 0 153278 898 0 0 25 0 1 0 185192139 1606062080 391543 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 392105 391543 135 292 0 391810 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 1568420 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=229120/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=1618548 CPUtime=1601.74 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 404076 0 0 0 159246 928 0 0 25 0 1 0 185192139 1657393152 404056 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 404637 404056 135 292 0 404342 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 1618548 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=179648/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=1667196 CPUtime=1661.72 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 416248 0 0 0 165215 957 0 0 25 0 1 0 185192139 1707208704 416228 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 416799 416228 135 292 0 416504 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 1667196 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=127744/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=1718812 CPUtime=1721.69 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 429149 0 0 0 171184 985 0 0 25 0 1 0 185192139 1760063488 429129 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 429703 429129 135 292 0 429408 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 1718812 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=78976/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=1767476 CPUtime=1781.68 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 441314 0 0 0 177154 1014 0 0 25 0 1 0 185192139 1809895424 441294 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 441869 441294 135 292 0 441574 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 1767476 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=67840/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=1778120 CPUtime=1800.08 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4194304 443972 0 0 0 178986 1022 0 0 25 0 1 0 185192139 1820794880 443952 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 444530 443952 135 292 0 444235 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1778120 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=67840/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=0 CPUtime=1800.18 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4195332 443972 0 0 0 178986 1032 0 0 25 0 1 0 185192139 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3885 /proc/meminfo: memFree=67840/2055920 swapFree=4183064/4192956 [pid=3884] ppid=3882 vsize=0 CPUtime=1800.27 /proc/3884/stat : 3884 (wbo) R 3882 3884 3805 0 -1 4195332 443972 0 0 0 178986 1041 0 0 25 0 1 0 185192139 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/3884/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.98 CPU time (s): 1800.36 CPU user time (s): 1789.87 CPU system time (s): 10.4974 CPU usage (%): 99.9656 Max. virtual memory (cumulated for all children) (KiB): 1778120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.87 system time used= 10.4974 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 443972 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= 1906 runsolver used 1.25581 second user time and 3.84941 second system time The end
Begin job on node5 at 2009-06-16 20:11:52 IDJOB=1875768 IDBENCH=2912 IDSOLVER=698 FILE ID=node5/1875768-1245175912 PBS_JOBID= 9363916 Free space on /tmp= 66256 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875768-1245175912/watcher-1875768-1245175912 -o /tmp/evaluation-result-1875768-1245175912/solver-1875768-1245175912 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875768-1245175912.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0278ee4f163393ac33163ff791a7f96d RANDOM SEED=2069419903 node5.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.259 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 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.259 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1847912 kB Buffers: 47052 kB Cached: 81592 kB SwapCached: 3684 kB Active: 47096 kB Inactive: 89384 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1847912 kB SwapTotal: 4192956 kB SwapFree: 4183064 kB Dirty: 2392 kB Writeback: 0 kB Mapped: 14600 kB Slab: 57584 kB Committed_AS: 152188 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875768-1245175912.opb Free space on /tmp at the end= 66256 MiB End job on node5 at 2009-06-16 20:41:55