Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.21 | 1800.75 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_4.opb |
MD5SUM | 153ea7f27a80a18c7caefc8ed55018be |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 41 |
Total number of constraints | 11 |
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 | 10 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 40 |
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 | 1207 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3621 |
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 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-1875553-1245178064.opb. 0.00/0.00 c Instance file HOME/instance-1875553-1245178064.opb 0.00/0.00 c File size is 3392 bytes. 0.00/0.00 c Highest Coefficient sum: 3621 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: 41 | 0.00/0.00 c | Number Clauses: 2 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 10 | 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 | 40 12 398 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 101 | 40 12 398 | 5500 101 28 | 2.500 % | 0.00/0.01 c | 251 | 40 12 398 | 6050 251 29 | 2.500 % | 0.00/0.02 c | 476 | 40 12 398 | 6655 476 29 | 2.500 % | 0.00/0.03 c | 813 | 40 12 398 | 7320 813 30 | 2.500 % | 0.00/0.06 c | 1319 | 40 12 398 | 8052 1319 30 | 2.500 % | 0.09/0.11 c | 2079 | 40 12 398 | 8857 2079 30 | 2.500 % | 0.09/0.19 c | 3218 | 40 12 398 | 9743 3218 30 | 2.500 % | 0.29/0.32 c | 4926 | 40 12 398 | 10717 4926 30 | 2.500 % | 0.49/0.57 c | 7488 | 40 12 398 | 11789 7488 30 | 2.500 % | 1.00/1.06 c | 11332 | 40 12 398 | 12968 11332 30 | 2.500 % | 1.89/1.90 c | 17098 | 40 12 398 | 14265 10599 30 | 2.500 % | 3.39/3.43 c | 25747 | 40 12 398 | 15692 12102 30 | 2.500 % | 5.69/5.72 c | 38722 | 40 12 398 | 17261 9355 30 | 2.500 % | 9.69/9.73 c | 58183 | 40 12 398 | 18987 11529 30 | 2.500 % | 16.28/16.39 c | 87375 | 40 12 398 | 20886 12200 30 | 2.500 % | 27.29/27.39 c | 131165 | 40 12 398 | 22974 14168 29 | 2.500 % | 45.88/45.96 c | 196850 | 40 12 398 | 25272 18548 30 | 2.500 % | 77.87/77.98 c | 295376 | 40 12 398 | 27799 15795 30 | 2.500 % | 131.45/131.55 c | 443165 | 40 12 398 | 30579 11521 30 | 2.500 % | 219.03/219.16 c | 664848 | 40 12 398 | 33637 17827 30 | 2.500 % | 367.08/367.20 c | 997373 | 40 12 398 | 37001 12202 30 | 2.500 % | 611.71/611.93 c | 1496161 | 40 12 398 | 40701 20520 30 | 2.500 % | 1033.37/1033.75 c | 2244343 | 40 12 398 | 44771 33255 30 | 2.500 % | 1718.77/1719.37 c | 3366618 | 40 12 398 | 49248 20160 30 | 2.500 % |
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-1875553-1245178064/watcher-1875553-1245178064 -o /tmp/evaluation-result-1875553-1245178064/solver-1875553-1245178064 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875553-1245178064.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.95 3/64 4952 /proc/meminfo: memFree=1857328/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=2392 CPUtime=0 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 188 0 0 0 0 0 0 0 18 0 1 0 185407485 2449408 171 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 598 171 134 292 0 303 0 [startup+0.0666309 s] /proc/loadavg: 0.99 0.97 0.95 3/64 4952 /proc/meminfo: memFree=1857328/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=2784 CPUtime=0.06 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 278 0 0 0 6 0 0 0 18 0 1 0 185407485 2850816 261 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 696 261 135 292 0 401 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2784 [startup+0.101634 s] /proc/loadavg: 0.99 0.97 0.95 3/64 4952 /proc/meminfo: memFree=1857328/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=2916 CPUtime=0.09 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 319 0 0 0 9 0 0 0 18 0 1 0 185407485 2985984 302 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 729 303 135 292 0 434 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2916 [startup+0.301658 s] /proc/loadavg: 0.99 0.97 0.95 3/64 4952 /proc/meminfo: memFree=1857328/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=3704 CPUtime=0.29 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 511 0 0 0 29 0 0 0 19 0 1 0 185407485 3792896 494 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 926 494 135 292 0 631 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3704 [startup+0.701705 s] /proc/loadavg: 0.99 0.97 0.95 3/64 4952 /proc/meminfo: memFree=1857328/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=4880 CPUtime=0.69 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 791 0 0 0 69 0 0 0 22 0 1 0 185407485 4997120 774 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 1220 774 135 292 0 925 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4880 [startup+1.5018 s] /proc/loadavg: 0.99 0.97 0.95 2/65 4953 /proc/meminfo: memFree=1854056/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=6368 CPUtime=1.49 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 1181 0 0 0 147 2 0 0 25 0 1 0 185407485 6520832 1164 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 1592 1164 135 292 0 1297 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6368 [startup+3.10199 s] /proc/loadavg: 0.99 0.97 0.95 2/65 4953 /proc/meminfo: memFree=1851944/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=9020 CPUtime=3.09 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 1829 0 0 0 306 3 0 0 25 0 1 0 185407485 9236480 1812 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 2255 1812 135 292 0 1960 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9020 [startup+6.30137 s] /proc/loadavg: 1.07 0.99 0.96 2/65 4953 /proc/meminfo: memFree=1846824/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=13856 CPUtime=6.29 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 3057 0 0 0 622 7 0 0 25 0 1 0 185407485 14188544 3040 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 3464 3040 135 292 0 3169 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13856 [startup+12.7011 s] /proc/loadavg: 1.07 0.99 0.96 2/65 4953 /proc/meminfo: memFree=1838568/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=21584 CPUtime=12.69 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 4982 0 0 0 1256 13 0 0 25 0 1 0 185407485 22102016 4965 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 5396 4965 135 292 0 5101 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21584 [startup+25.5016 s] /proc/loadavg: 1.05 0.99 0.96 2/65 4953 /proc/meminfo: memFree=1824424/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=35156 CPUtime=25.49 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 8357 0 0 0 2526 23 0 0 25 0 1 0 185407485 35999744 8340 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 8789 8340 135 292 0 8494 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 35156 [startup+51.1017 s] /proc/loadavg: 1.03 0.99 0.96 2/65 4953 /proc/meminfo: memFree=1801192/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=58492 CPUtime=51.07 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 14181 0 0 0 5066 41 0 0 25 0 1 0 185407485 59895808 14164 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 14623 14164 135 292 0 14328 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 58492 [startup+102.306 s] /proc/loadavg: 1.01 0.99 0.96 2/65 4953 /proc/meminfo: memFree=1761960/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=97356 CPUtime=102.27 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 23879 0 0 0 10152 75 0 0 25 0 1 0 185407485 99692544 23862 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 24339 23862 135 292 0 24044 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 97356 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4953 /proc/meminfo: memFree=1722088/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=137296 CPUtime=162.25 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 33859 0 0 0 16114 111 0 0 25 0 1 0 185407485 140591104 33842 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 34324 33842 135 292 0 34029 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 137296 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4953 /proc/meminfo: memFree=1682344/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=176756 CPUtime=222.22 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 43730 0 0 0 22070 152 0 0 25 0 1 0 185407485 180998144 43713 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 44189 43713 135 292 0 43894 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 176756 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4955 /proc/meminfo: memFree=1647272/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=211940 CPUtime=282.21 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 52519 0 0 0 28038 183 0 0 25 0 1 0 185407485 217026560 52502 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 52985 52502 135 292 0 52690 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 211940 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4955 /proc/meminfo: memFree=1611816/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=246996 CPUtime=342.18 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 61294 0 0 0 34004 214 0 0 25 0 1 0 185407485 252923904 61277 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 61749 61277 135 292 0 61454 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 246996 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4955 /proc/meminfo: memFree=1579112/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=279856 CPUtime=402.17 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 69476 0 0 0 39974 243 0 0 25 0 1 0 185407485 286572544 69459 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 69964 69459 135 292 0 69669 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 279856 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4955 /proc/meminfo: memFree=1548136/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=310712 CPUtime=462.15 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 77190 0 0 0 45944 271 0 0 25 0 1 0 185407485 318169088 77173 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 77678 77173 135 292 0 77383 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 310712 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4955 /proc/meminfo: memFree=1518248/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=341528 CPUtime=522.13 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 84908 0 0 0 51911 302 0 0 25 0 1 0 185407485 349724672 84891 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 85382 84891 135 292 0 85087 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 341528 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4955 /proc/meminfo: memFree=1485352/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=373500 CPUtime=582.12 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 92906 0 0 0 57882 330 0 0 25 0 1 0 185407485 382464000 92889 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 93375 92889 135 292 0 93080 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 373500 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4955 /proc/meminfo: memFree=1455656/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=402864 CPUtime=642.11 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 100242 0 0 0 63854 357 0 0 25 0 1 0 185407485 412532736 100225 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 100716 100225 135 292 0 100421 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 402864 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4961 /proc/meminfo: memFree=1345952/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=512448 CPUtime=882.02 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 127614 0 0 0 87740 462 0 0 25 0 1 0 185407485 524746752 127597 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 128112 127597 135 292 0 127817 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 512448 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4961 /proc/meminfo: memFree=1321184/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=537132 CPUtime=942 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 133807 0 0 0 93712 488 0 0 25 0 1 0 185407485 550023168 133790 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 134283 133790 135 292 0 133988 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 537132 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4961 /proc/meminfo: memFree=1292384/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=565756 CPUtime=1001.98 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 140961 0 0 0 99683 515 0 0 25 0 1 0 185407485 579334144 140944 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 141439 140944 135 292 0 141144 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 565756 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4961 /proc/meminfo: memFree=1266272/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=592080 CPUtime=1061.96 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 147493 0 0 0 105655 541 0 0 25 0 1 0 185407485 606289920 147476 1992294400 134512640 135709839 4294956240 18446744073709551615 134573869 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 148020 147476 135 292 0 147725 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 592080 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4961 /proc/meminfo: memFree=1240488/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=617696 CPUtime=1121.94 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 153903 0 0 0 111628 566 0 0 25 0 1 0 185407485 632520704 153886 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 154424 153886 135 292 0 154129 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 617696 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4961 /proc/meminfo: memFree=1215528/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=642684 CPUtime=1181.93 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 160164 0 0 0 117603 590 0 0 25 0 1 0 185407485 658108416 160147 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 160671 160147 135 292 0 160376 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 642684 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4961 /proc/meminfo: memFree=1190504/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=667564 CPUtime=1241.91 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 166359 0 0 0 123577 614 0 0 25 0 1 0 185407485 683585536 166342 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 166891 166342 135 292 0 166596 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 667564 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4961 /proc/meminfo: memFree=1165096/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=692704 CPUtime=1301.9 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 172649 0 0 0 129554 636 0 0 25 0 1 0 185407485 709328896 172632 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 173176 172632 135 292 0 172881 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 692704 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4961 /proc/meminfo: memFree=1139240/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=718800 CPUtime=1361.87 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 179159 0 0 0 135523 664 0 0 25 0 1 0 185407485 736051200 179142 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 179700 179142 135 292 0 179405 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 718800 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4961 /proc/meminfo: memFree=1113768/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=743928 CPUtime=1421.86 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 185458 0 0 0 141498 688 0 0 25 0 1 0 185407485 761782272 185441 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 185982 185441 135 292 0 185687 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 743928 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4961 /proc/meminfo: memFree=1089128/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=768672 CPUtime=1481.84 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 191644 0 0 0 147471 713 0 0 25 0 1 0 185407485 787120128 191627 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 192168 191627 135 292 0 191873 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 768672 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4961 /proc/meminfo: memFree=1065128/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=792548 CPUtime=1541.82 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 197613 0 0 0 153444 738 0 0 25 0 1 0 185407485 811569152 197596 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 198137 197596 135 292 0 197842 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 792548 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4961 /proc/meminfo: memFree=1042024/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=816160 CPUtime=1601.81 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 203521 0 0 0 159420 761 0 0 25 0 1 0 185407485 835747840 203504 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 204040 203504 135 292 0 203745 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 816160 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4961 /proc/meminfo: memFree=1015592/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=842176 CPUtime=1661.79 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 210019 0 0 0 165391 788 0 0 25 0 1 0 185407485 862388224 210002 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 210544 210002 135 292 0 210249 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 842176 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4961 /proc/meminfo: memFree=988264/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=869456 CPUtime=1721.77 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 216863 0 0 0 171363 814 0 0 25 0 1 0 185407485 890322944 216846 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 217364 216846 135 292 0 217069 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 869456 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4961 /proc/meminfo: memFree=965544/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=891740 CPUtime=1781.76 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 222431 0 0 0 177338 838 0 0 25 0 1 0 185407485 913141760 222414 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 222935 222414 135 292 0 222640 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 891740 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4961 /proc/meminfo: memFree=958760/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=898528 CPUtime=1800.05 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4194304 224109 0 0 0 179161 844 0 0 25 0 1 0 185407485 920092672 224092 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 224632 224092 135 292 0 224337 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 898528 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.96 2/65 4961 /proc/meminfo: memFree=958760/2055920 swapFree=4191900/4192956 [pid=4952] ppid=4950 vsize=0 CPUtime=1800.15 /proc/4952/stat : 4952 (wbo) R 4950 4952 4872 0 -1 4195332 224109 0 0 0 179161 854 0 0 25 0 1 0 185407485 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/4952/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.75 CPU time (s): 1800.21 CPU user time (s): 1791.62 CPU system time (s): 8.59269 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 898528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.62 system time used= 8.59269 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 224109 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= 3445 runsolver used 1.37879 second user time and 3.64245 second system time The end
Begin job on node1 at 2009-06-16 20:47:44 IDJOB=1875553 IDBENCH=2929 IDSOLVER=698 FILE ID=node1/1875553-1245178064 PBS_JOBID= 9368270 Free space on /tmp= 66220 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_4.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-1875553-1245178064/watcher-1875553-1245178064 -o /tmp/evaluation-result-1875553-1245178064/solver-1875553-1245178064 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875553-1245178064.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 153ea7f27a80a18c7caefc8ed55018be RANDOM SEED=1944028140 node1.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.245 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 : 5914.62 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.245 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: 1857808 kB Buffers: 43376 kB Cached: 77880 kB SwapCached: 260 kB Active: 41236 kB Inactive: 93252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857808 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2376 kB Writeback: 0 kB Mapped: 22488 kB Slab: 49660 kB Committed_AS: 160112 kB PageTables: 1436 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-1875553-1245178064.opb Free space on /tmp at the end= 66220 MiB End job on node1 at 2009-06-16 21:17:47