Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.16 | 1800.96 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_3.opb |
MD5SUM | 37c74b9e914d30b1ddfc0838676dd479 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 663.16 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
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 | 1162 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3487 |
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-1875555-1245178329.opb. 0.00/0.00 c Instance file HOME/instance-1875555-1245178329.opb 0.00/0.00 c File size is 3364 bytes. 0.00/0.00 c Highest Coefficient sum: 3487 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 394 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 100 | 40 12 394 | 5500 100 28 | 2.500 % | 0.00/0.01 c | 250 | 40 12 394 | 6050 250 28 | 2.500 % | 0.00/0.02 c | 475 | 40 12 394 | 6655 475 28 | 2.500 % | 0.00/0.03 c | 813 | 40 12 394 | 7320 813 28 | 2.500 % | 0.00/0.06 c | 1320 | 40 12 394 | 8052 1320 28 | 2.500 % | 0.09/0.11 c | 2079 | 40 12 394 | 8857 2079 29 | 2.500 % | 0.09/0.18 c | 3218 | 40 12 394 | 9743 3218 29 | 2.500 % | 0.29/0.32 c | 4926 | 40 12 394 | 10717 4926 29 | 2.500 % | 0.49/0.54 c | 7488 | 40 12 394 | 11789 7488 29 | 2.500 % | 0.99/1.00 c | 11332 | 40 12 394 | 12968 11332 29 | 2.500 % | 1.69/1.77 c | 17099 | 40 12 394 | 14265 10604 29 | 2.500 % | 2.99/3.05 c | 25748 | 40 12 394 | 15692 12107 30 | 2.500 % | 5.09/5.13 c | 38723 | 40 12 394 | 17261 9364 29 | 2.500 % | 8.69/8.71 c | 58184 | 40 12 394 | 18987 11536 29 | 2.500 % | 14.48/14.58 c | 87377 | 40 12 394 | 20886 12207 30 | 2.500 % | 24.69/24.77 c | 131166 | 40 12 394 | 22974 14170 30 | 2.500 % | 40.07/40.10 c | 196851 | 40 12 394 | 25272 18556 30 | 2.500 % | 66.56/66.68 c | 295377 | 40 12 394 | 27799 15819 29 | 2.500 % | 113.74/113.85 c | 443166 | 40 12 394 | 30579 11511 30 | 2.500 % | 192.20/192.32 c | 664850 | 40 12 394 | 33637 17783 30 | 2.500 % | 326.45/326.69 c | 997375 | 40 12 394 | 37001 12127 30 | 2.500 % | 544.54/544.80 c | 1496164 | 40 12 394 | 40701 20515 30 | 2.500 % | 901.59/902.04 c | 2244346 | 40 12 394 | 44771 33202 30 | 2.500 % | 1499.12/1499.83 c | 3366621 | 40 12 394 | 49248 20108 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-1875555-1245178329/watcher-1875555-1245178329 -o /tmp/evaluation-result-1875555-1245178329/solver-1875555-1245178329 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875555-1245178329.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 1.00 1.00 3/65 2541 /proc/meminfo: memFree=1841128/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=2392 CPUtime=0 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 189 0 0 0 0 0 0 0 18 0 1 0 185431607 2449408 172 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 598 172 134 292 0 303 0 [startup+0.10501 s] /proc/loadavg: 0.99 1.00 1.00 3/65 2541 /proc/meminfo: memFree=1841128/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=2912 CPUtime=0.09 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 324 0 0 0 9 0 0 0 18 0 1 0 185431607 2981888 307 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 728 307 135 292 0 433 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2912 [startup+0.202021 s] /proc/loadavg: 0.99 1.00 1.00 3/65 2541 /proc/meminfo: memFree=1841128/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=3304 CPUtime=0.19 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 421 0 0 0 19 0 0 0 18 0 1 0 185431607 3383296 404 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 826 404 135 292 0 531 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3304 [startup+0.301031 s] /proc/loadavg: 0.99 1.00 1.00 3/65 2541 /proc/meminfo: memFree=1841128/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=3696 CPUtime=0.29 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 510 0 0 0 29 0 0 0 19 0 1 0 185431607 3784704 493 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 924 493 135 292 0 629 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3696 [startup+0.701077 s] /proc/loadavg: 0.99 1.00 1.00 3/65 2541 /proc/meminfo: memFree=1841128/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=4888 CPUtime=0.69 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 794 0 0 0 68 1 0 0 23 0 1 0 185431607 5005312 777 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 1222 777 135 292 0 927 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4888 [startup+1.50117 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2542 /proc/meminfo: memFree=1837728/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=6448 CPUtime=1.49 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 1202 0 0 0 147 2 0 0 25 0 1 0 185431607 6602752 1185 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 1612 1185 135 292 0 1317 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6448 [startup+3.10135 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2542 /proc/meminfo: memFree=1835488/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=9456 CPUtime=3.09 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 1937 0 0 0 305 4 0 0 25 0 1 0 185431607 9682944 1920 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 2364 1920 135 292 0 2069 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9456 [startup+6.30171 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2542 /proc/meminfo: memFree=1829728/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=14544 CPUtime=6.29 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 3220 0 0 0 621 8 0 0 25 0 1 0 185431607 14893056 3203 1992294400 134512640 135709839 4294956240 18446744073709551615 134572576 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 3636 3203 135 292 0 3341 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14544 [startup+12.7014 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2542 /proc/meminfo: memFree=1821024/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=23108 CPUtime=12.69 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 5324 0 0 0 1256 13 0 0 25 0 1 0 185431607 23662592 5307 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 5777 5307 135 292 0 5482 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23108 [startup+25.5019 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2544 /proc/meminfo: memFree=1805792/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=37744 CPUtime=25.48 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 8990 0 0 0 2524 24 0 0 25 0 1 0 185431607 38649856 8973 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 9436 8973 135 292 0 9141 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37744 [startup+51.1018 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2544 /proc/meminfo: memFree=1781088/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=62692 CPUtime=51.07 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 15231 0 0 0 5062 45 0 0 25 0 1 0 185431607 64196608 15214 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 15673 15214 135 292 0 15378 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 62692 [startup+102.302 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2544 /proc/meminfo: memFree=1736544/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=106568 CPUtime=102.24 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 26186 0 0 0 10144 80 0 0 25 0 1 0 185431607 109125632 26169 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 26642 26169 135 292 0 26347 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 106568 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2544 /proc/meminfo: memFree=1693792/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=149488 CPUtime=162.22 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 36920 0 0 0 16106 116 0 0 25 0 1 0 185431607 153075712 36903 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 37372 36903 135 292 0 37077 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 149488 [startup+222.305 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2544 /proc/meminfo: memFree=1653088/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=189868 CPUtime=222.19 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 47013 0 0 0 22068 151 0 0 25 0 1 0 185431607 194424832 46996 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 47467 46996 135 292 0 47172 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 189868 [startup+282.302 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2544 /proc/meminfo: memFree=1616928/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=226184 CPUtime=282.16 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 56074 0 0 0 28033 183 0 0 25 0 1 0 185431607 231612416 56057 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 56546 56057 135 292 0 56251 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 226184 [startup+342.302 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2544 /proc/meminfo: memFree=1578400/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=264396 CPUtime=342.14 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 65648 0 0 0 34001 213 0 0 25 0 1 0 185431607 270741504 65631 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 66099 65631 135 292 0 65804 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 264396 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2544 /proc/meminfo: memFree=1543456/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=299484 CPUtime=402.11 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 74400 0 0 0 39966 245 0 0 25 0 1 0 185431607 306671616 74383 1992294400 134512640 135709839 4294956240 18446744073709551615 134517610 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 74871 74383 135 292 0 74576 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 299484 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2544 /proc/meminfo: memFree=1511008/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=331616 CPUtime=462.09 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 82439 0 0 0 45938 271 0 0 25 0 1 0 185431607 339574784 82422 1992294400 134512640 135709839 4294956240 18446744073709551615 134568563 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 82904 82422 135 292 0 82609 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 331616 [startup+522.301 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2544 /proc/meminfo: memFree=1477664/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=365776 CPUtime=522.06 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 90967 0 0 0 51903 303 0 0 25 0 1 0 185431607 374554624 90950 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 91444 90950 135 292 0 91149 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 365776 [startup+582.301 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2550 /proc/meminfo: memFree=1444256/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=398388 CPUtime=582.03 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 99108 0 0 0 57873 330 0 0 25 0 1 0 185431607 407949312 99091 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 99597 99091 135 292 0 99302 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 398388 [startup+642.302 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2550 /proc/meminfo: memFree=1413152/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=430416 CPUtime=642 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 107109 0 0 0 63841 359 0 0 25 0 1 0 185431607 440745984 107092 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 107604 107092 135 292 0 107309 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 430416 [startup+702.302 s] ################ # More data... # ################ [startup+882.305 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2550 /proc/meminfo: memFree=1285664/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=556568 CPUtime=881.9 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 138639 0 0 0 87713 477 0 0 25 0 1 0 185431607 569925632 138622 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 139142 138622 135 292 0 138847 0 Current children cumulated CPU time (s) 881.9 Current children cumulated vsize (KiB) 556568 [startup+942.302 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2550 /proc/meminfo: memFree=1257248/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=585216 CPUtime=941.86 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 145769 0 0 0 93685 501 0 0 25 0 1 0 185431607 599261184 145752 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 146304 145752 135 292 0 146009 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 585216 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2550 /proc/meminfo: memFree=1227040/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=615280 CPUtime=1001.84 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 153289 0 0 0 99656 528 0 0 25 0 1 0 185431607 630046720 153272 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 153820 153272 135 292 0 153525 0 Current children cumulated CPU time (s) 1001.84 Current children cumulated vsize (KiB) 615280 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2550 /proc/meminfo: memFree=1198496/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=643824 CPUtime=1061.82 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 160422 0 0 0 105629 553 0 0 25 0 1 0 185431607 659275776 160405 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 160956 160405 135 292 0 160661 0 Current children cumulated CPU time (s) 1061.82 Current children cumulated vsize (KiB) 643824 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2550 /proc/meminfo: memFree=1168096/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=674100 CPUtime=1121.78 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 167994 0 0 0 111597 581 0 0 25 0 1 0 185431607 690278400 167977 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 168525 167977 135 292 0 168230 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 674100 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2550 /proc/meminfo: memFree=1140640/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=701696 CPUtime=1181.76 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 174882 0 0 0 117568 608 0 0 25 0 1 0 185431607 718536704 174865 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 175424 174865 135 292 0 175129 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 701696 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2550 /proc/meminfo: memFree=1109408/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=732764 CPUtime=1241.73 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 182650 0 0 0 123535 638 0 0 25 0 1 0 185431607 750350336 182633 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 183191 182633 135 292 0 182896 0 Current children cumulated CPU time (s) 1241.73 Current children cumulated vsize (KiB) 732764 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2550 /proc/meminfo: memFree=1083232/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=758856 CPUtime=1301.7 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 189195 0 0 0 129507 663 0 0 25 0 1 0 185431607 777068544 189178 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 189714 189178 135 292 0 189419 0 Current children cumulated CPU time (s) 1301.7 Current children cumulated vsize (KiB) 758856 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2550 /proc/meminfo: memFree=1056544/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=785192 CPUtime=1361.68 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 195773 0 0 0 135479 689 0 0 25 0 1 0 185431607 804036608 195756 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 196298 195756 135 292 0 196003 0 Current children cumulated CPU time (s) 1361.68 Current children cumulated vsize (KiB) 785192 [startup+1422.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2550 /proc/meminfo: memFree=1028576/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=812968 CPUtime=1421.66 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 202719 0 0 0 141451 715 0 0 25 0 1 0 185431607 832479232 202702 1992294400 134512640 135709839 4294956240 18446744073709551615 134573869 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 203242 202702 135 292 0 202947 0 Current children cumulated CPU time (s) 1421.66 Current children cumulated vsize (KiB) 812968 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2550 /proc/meminfo: memFree=1001376/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=840472 CPUtime=1481.63 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 209585 0 0 0 147422 741 0 0 25 0 1 0 185431607 860643328 209568 1992294400 134512640 135709839 4294956240 18446744073709551615 134573823 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 210118 209568 135 292 0 209823 0 Current children cumulated CPU time (s) 1481.63 Current children cumulated vsize (KiB) 840472 [startup+1542.31 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2550 /proc/meminfo: memFree=978336/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=863188 CPUtime=1541.61 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 215256 0 0 0 153401 760 0 0 25 0 1 0 185431607 883904512 215239 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 215797 215239 135 292 0 215502 0 Current children cumulated CPU time (s) 1541.61 Current children cumulated vsize (KiB) 863188 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2550 /proc/meminfo: memFree=952864/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=888868 CPUtime=1601.58 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 221669 0 0 0 159375 783 0 0 25 0 1 0 185431607 910200832 221652 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 222217 221652 135 292 0 221922 0 Current children cumulated CPU time (s) 1601.58 Current children cumulated vsize (KiB) 888868 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2550 /proc/meminfo: memFree=926688/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=914852 CPUtime=1661.55 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 228181 0 0 0 165348 807 0 0 25 0 1 0 185431607 936808448 228164 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 228713 228164 135 292 0 228418 0 Current children cumulated CPU time (s) 1661.55 Current children cumulated vsize (KiB) 914852 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2550 /proc/meminfo: memFree=902752/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=938936 CPUtime=1721.53 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 234171 0 0 0 171326 827 0 0 25 0 1 0 185431607 961470464 234154 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 234734 234154 135 292 0 234439 0 Current children cumulated CPU time (s) 1721.53 Current children cumulated vsize (KiB) 938936 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2550 /proc/meminfo: memFree=877728/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=963588 CPUtime=1781.51 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 240342 0 0 0 177299 852 0 0 25 0 1 0 185431607 986714112 240325 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 240897 240325 135 292 0 240602 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (KiB) 963588 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.81 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2550 /proc/meminfo: memFree=869728/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=971424 CPUtime=1800.01 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4194304 242317 0 0 0 179142 859 0 0 25 0 1 0 185431607 994738176 242300 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 242856 242300 135 292 0 242561 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 971424 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 0.99 1.00 1.00 2/66 2550 /proc/meminfo: memFree=869728/2055920 swapFree=4192948/4192956 [pid=2541] ppid=2539 vsize=0 CPUtime=1800.1 /proc/2541/stat : 2541 (wbo) R 2539 2541 2399 0 -1 4195332 242317 0 0 0 179142 868 0 0 25 0 1 0 185431607 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/2541/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.96 CPU time (s): 1800.16 CPU user time (s): 1791.42 CPU system time (s): 8.73767 CPU usage (%): 99.9559 Max. virtual memory (cumulated for all children) (KiB): 971424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.42 system time used= 8.73767 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 242317 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= 7064 runsolver used 2.10168 second user time and 3.55446 second system time The end
Begin job on node85 at 2009-06-16 20:52:10 IDJOB=1875555 IDBENCH=2931 IDSOLVER=698 FILE ID=node85/1875555-1245178329 PBS_JOBID= 9363922 Free space on /tmp= 126844 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_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-1875555-1245178329/watcher-1875555-1245178329 -o /tmp/evaluation-result-1875555-1245178329/solver-1875555-1245178329 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875555-1245178329.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 37c74b9e914d30b1ddfc0838676dd479 RANDOM SEED=427528177 node85.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.213 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.213 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1841672 kB Buffers: 34648 kB Cached: 97400 kB SwapCached: 8 kB Active: 43228 kB Inactive: 102392 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1841672 kB SwapTotal: 4192956 kB SwapFree: 4192948 kB Dirty: 2380 kB Writeback: 0 kB Mapped: 23364 kB Slab: 54612 kB Committed_AS: 71220 kB PageTables: 1376 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-1875555-1245178329.opb Free space on /tmp at the end= 126844 MiB End job on node85 at 2009-06-16 21:22:13