Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1534.35 | 1534.97 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=449-P1=149-P2=137-P3=137-P4=83-B.opb |
MD5SUM | 854cc656dc0682d745f606d1e6722452 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 2.14367 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 108 |
Total number of constraints | 9 |
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 | 9 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 324 |
Sum of products size (including duplicates) | 648 |
Number of different products | 324 |
Sum of products size | 648 |
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-1875188-1245188511.opb. 0.00/0.00 c Instance file HOME/instance-1875188-1245188511.opb 0.00/0.00 c File size is 24019 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 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: 432 | 0.00/0.00 c | Number Clauses: 333 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 337 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 10 Core Weight: 1 Total Weight: 1 0.00/0.00 c Elapsed CPU time: 0.002999 s Remaining CPU time: 1800 s 0.00/0.00 c core #2 0.00/0.00 c Core size: 9 Core Weight: 1 Total Weight: 2 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s 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 | 343 687 2595 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 343 687 2595 | 5500 100 92 | 23.609 % | 0.01/0.02 c | 250 | 343 687 2595 | 6050 250 92 | 23.609 % | 0.01/0.03 c | 475 | 343 687 2595 | 6655 475 88 | 23.613 % | 0.01/0.05 c | 812 | 343 687 2595 | 7320 812 88 | 23.609 % | 0.01/0.09 c | 1318 | 343 687 2595 | 8052 1318 88 | 23.609 % | 0.09/0.15 c | 2077 | 343 687 2595 | 8857 2077 87 | 23.609 % | 0.19/0.23 c | 3216 | 343 687 2595 | 9743 3216 84 | 23.609 % | 0.29/0.38 c | 4926 | 343 687 2595 | 10717 4926 86 | 23.609 % | 0.59/0.64 c | 7488 | 343 687 2595 | 11789 7488 83 | 23.609 % | 1.29/1.31 c | 11333 | 343 687 2595 | 12968 11333 81 | 23.609 % | 1.99/2.04 c | 17100 | 343 687 2595 | 14265 10485 78 | 23.609 % | 3.09/3.15 c | 25749 | 343 687 2595 | 15692 11870 77 | 23.609 % | 5.09/5.10 c | 38723 | 343 687 2595 | 17261 8766 85 | 23.609 % | 7.99/8.04 c | 58184 | 343 687 2595 | 18987 10591 85 | 23.609 % | 14.39/14.46 c | 87376 | 343 687 2595 | 20886 10690 88 | 23.609 % | 26.29/26.32 c | 131165 | 343 687 2595 | 22974 11901 82 | 23.609 % | 44.58/44.65 c | 196851 | 343 687 2595 | 25272 16431 87 | 23.609 % | 67.67/67.74 c | 295378 | 343 687 2595 | 27799 12388 82 | 23.609 % | 113.36/113.48 c | 443167 | 343 687 2595 | 30579 23018 90 | 23.609 % | 179.53/179.60 c | 664850 | 343 687 2595 | 33637 26854 74 | 23.609 % | 329.07/329.21 c | 997375 | 343 687 2595 | 37001 24389 88 | 23.609 % | 533.89/534.10 c | 1496164 | 343 687 2595 | 40701 16904 83 | 23.609 % | 877.03/877.40 c | 2244347 | 333 687 2595 | 44771 30557 82 | 25.840 % | 1461.09/1461.77 c | 3366622 | 333 687 2595 | 49248 13052 83 | 25.836 % |
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-1875188-1245188511/watcher-1875188-1245188511 -o /tmp/evaluation-result-1875188-1245188511/solver-1875188-1245188511 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875188-1245188511.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.98 0.97 3/65 8800 /proc/meminfo: memFree=1839184/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=2524 CPUtime=0 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 229 0 0 0 0 0 0 0 18 0 1 0 186449574 2584576 207 1992294400 134512640 135709839 4294956240 18446744073709551615 135165980 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 631 208 133 292 0 336 0 [startup+0.01896 s] /proc/loadavg: 0.99 0.98 0.97 3/65 8800 /proc/meminfo: memFree=1839184/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=2656 CPUtime=0.01 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 266 0 0 0 1 0 0 0 18 0 1 0 186449574 2719744 244 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 664 244 136 292 0 369 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2656 [startup+0.101969 s] /proc/loadavg: 0.99 0.98 0.97 3/65 8800 /proc/meminfo: memFree=1839184/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=3300 CPUtime=0.09 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 427 0 0 0 9 0 0 0 18 0 1 0 186449574 3379200 405 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 825 406 136 292 0 530 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3300 [startup+0.301992 s] /proc/loadavg: 0.99 0.98 0.97 3/65 8800 /proc/meminfo: memFree=1839184/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=4724 CPUtime=0.29 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 766 0 0 0 29 0 0 0 19 0 1 0 186449574 4837376 744 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 1181 744 136 292 0 886 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4724 [startup+0.701037 s] /proc/loadavg: 0.99 0.98 0.97 3/65 8800 /proc/meminfo: memFree=1839184/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=6804 CPUtime=0.69 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 1278 0 0 0 69 0 0 0 23 0 1 0 186449574 6967296 1256 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 1701 1256 136 292 0 1406 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6804 [startup+1.50113 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8801 /proc/meminfo: memFree=1833800/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=9464 CPUtime=1.49 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 1951 0 0 0 147 2 0 0 25 0 1 0 186449574 9691136 1929 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 2366 1929 136 292 0 2071 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9464 [startup+3.10131 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8801 /proc/meminfo: memFree=1829448/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=15816 CPUtime=3.09 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 3536 0 0 0 305 4 0 0 25 0 1 0 186449574 16195584 3514 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 3954 3514 136 292 0 3659 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15816 [startup+6.30168 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8801 /proc/meminfo: memFree=1816336/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=28516 CPUtime=6.29 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 6717 0 0 0 621 8 0 0 25 0 1 0 186449574 29200384 6695 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 7129 6695 136 292 0 6834 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28516 [startup+12.7014 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8801 /proc/meminfo: memFree=1796568/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=46204 CPUtime=12.68 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 11121 0 0 0 1253 15 0 0 25 0 1 0 186449574 47312896 11099 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 11551 11099 136 292 0 11256 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 46204 [startup+25.5019 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8801 /proc/meminfo: memFree=1771096/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=70488 CPUtime=25.48 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 17206 0 0 0 2521 27 0 0 25 0 1 0 186449574 72179712 17184 1992294400 134512640 135709839 4294956240 18446744073709551615 134573786 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 17622 17184 136 292 0 17327 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 70488 [startup+51.1018 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8801 /proc/meminfo: memFree=1720024/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=122488 CPUtime=51.07 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 30210 0 0 0 5053 54 0 0 25 0 1 0 186449574 125427712 30188 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 30622 30188 136 292 0 30327 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 122488 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8801 /proc/meminfo: memFree=1622168/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=219020 CPUtime=102.26 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 54309 0 0 0 10127 99 0 0 25 0 1 0 186449574 224276480 54287 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 54755 54287 136 292 0 54460 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 219020 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8801 /proc/meminfo: memFree=1518424/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=323148 CPUtime=162.24 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 80344 0 0 0 16073 151 0 0 25 0 1 0 186449574 330903552 80322 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 80787 80322 136 292 0 80492 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 323148 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8801 /proc/meminfo: memFree=1445400/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=395448 CPUtime=222.21 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 98404 0 0 0 22028 193 0 0 25 0 1 0 186449574 404938752 98382 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 98862 98382 136 292 0 98567 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 395448 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8801 /proc/meminfo: memFree=1368856/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=472840 CPUtime=282.19 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 117745 0 0 0 27987 232 0 0 25 0 1 0 186449574 484188160 117723 1992294400 134512640 135709839 4294956240 18446744073709551615 134573775 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 118210 117723 136 292 0 117915 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 472840 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8801 /proc/meminfo: memFree=1295000/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=545540 CPUtime=342.16 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 135912 0 0 0 33946 270 0 0 25 0 1 0 186449574 558632960 135890 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 136385 135890 136 292 0 136090 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 545540 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8801 /proc/meminfo: memFree=1223192/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=617856 CPUtime=402.14 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 153979 0 0 0 39906 308 0 0 25 0 1 0 186449574 632684544 153957 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 154464 153957 136 292 0 154169 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 617856 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8801 /proc/meminfo: memFree=1146584/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=694032 CPUtime=462.12 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 173007 0 0 0 45865 347 0 0 25 0 1 0 186449574 710688768 172985 1992294400 134512640 135709839 4294956240 18446744073709551615 134573873 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 173508 172985 136 292 0 173213 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 694032 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8801 /proc/meminfo: memFree=1072600/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=769628 CPUtime=522.1 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 191900 0 0 0 51823 387 0 0 25 0 1 0 186449574 788099072 191878 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 192407 191879 136 292 0 192112 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 769628 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8801 /proc/meminfo: memFree=1000216/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=840040 CPUtime=582.08 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 209489 0 0 0 57785 423 0 0 25 0 1 0 186449574 860200960 209467 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 210010 209467 136 292 0 209715 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 840040 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8801 /proc/meminfo: memFree=930200/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=909576 CPUtime=642.06 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 226874 0 0 0 63747 459 0 0 25 0 1 0 186449574 931405824 226852 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 227394 226852 136 292 0 227099 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 909576 [startup+702.302 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8803 /proc/meminfo: memFree=847384/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=992856 CPUtime=702.04 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 247689 0 0 0 69703 501 0 0 25 0 1 0 186449574 1016684544 247667 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 248214 247667 136 292 0 247919 0 Current children cumulated CPU time (s) 702.04 Current children cumulated vsize (KiB) 992856 [startup+762.306 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8803 /proc/meminfo: memFree=780184/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=1059492 CPUtime=761.99 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 264326 0 0 0 75664 535 0 0 25 0 1 0 186449574 1084919808 264304 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 264873 264304 136 292 0 264578 0 Current children cumulated CPU time (s) 761.99 Current children cumulated vsize (KiB) 1059492 [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8803 /proc/meminfo: memFree=726488/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=1114000 CPUtime=821.96 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 277935 0 0 0 81629 567 0 0 25 0 1 0 186449574 1140736000 277913 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 278500 277913 136 292 0 278205 0 Current children cumulated CPU time (s) 821.96 Current children cumulated vsize (KiB) 1114000 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8803 /proc/meminfo: memFree=660440/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=1179076 CPUtime=881.93 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 294218 0 0 0 87592 601 0 0 25 0 1 0 186449574 1207373824 294196 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 294769 294196 136 292 0 294474 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 1179076 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8803 /proc/meminfo: memFree=598424/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=1242180 CPUtime=941.91 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 309951 0 0 0 93561 630 0 0 25 0 1 0 186449574 1271992320 309929 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 310545 309929 136 292 0 310250 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 1242180 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8803 /proc/meminfo: memFree=533272/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=1306088 CPUtime=1001.89 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 325949 0 0 0 99527 662 0 0 25 0 1 0 186449574 1337434112 325927 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 326522 325927 136 292 0 326227 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 1306088 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8803 /proc/meminfo: memFree=475096/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=1364260 CPUtime=1061.87 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 340486 0 0 0 105489 698 0 0 25 0 1 0 186449574 1397002240 340464 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 341065 340464 136 292 0 340770 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 1364260 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8803 /proc/meminfo: memFree=411992/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=1427268 CPUtime=1121.83 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 356215 0 0 0 111455 728 0 0 25 0 1 0 186449574 1461522432 356193 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 356817 356193 136 292 0 356522 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 1427268 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8809 /proc/meminfo: memFree=342552/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=1496988 CPUtime=1181.81 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 373658 0 0 0 117412 769 0 0 25 0 1 0 186449574 1532915712 373636 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 374247 373636 136 292 0 373952 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 1496988 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8809 /proc/meminfo: memFree=280152/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=1558700 CPUtime=1241.78 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 389055 0 0 0 123376 802 0 0 25 0 1 0 186449574 1596108800 389033 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 389675 389033 136 292 0 389380 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 1558700 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8809 /proc/meminfo: memFree=230296/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=1608208 CPUtime=1301.76 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 401438 0 0 0 129342 834 0 0 25 0 1 0 186449574 1646804992 401416 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 402052 401416 136 292 0 401757 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 1608208 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8809 /proc/meminfo: memFree=175448/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=1663600 CPUtime=1361.74 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 415296 0 0 0 135309 865 0 0 25 0 1 0 186449574 1703526400 415274 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 415900 415274 136 292 0 415605 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 1663600 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8809 /proc/meminfo: memFree=116312/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=1722132 CPUtime=1421.71 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 429907 0 0 0 141273 898 0 0 25 0 1 0 186449574 1763463168 429885 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 430533 429885 136 292 0 430238 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 1722132 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8809 /proc/meminfo: memFree=47704/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=1791024 CPUtime=1481.69 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 447133 0 0 0 147233 936 0 0 25 0 1 0 186449574 1834008576 447111 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 447756 447111 136 292 0 447461 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 1791024 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1534.7 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8809 /proc/meminfo: memFree=14872/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=1843280 CPUtime=1534.07 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4194304 460200 0 0 0 152442 965 0 0 25 0 1 0 186449574 1887518720 460178 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 460820 460178 136 292 0 460525 0 Current children cumulated CPU time (s) 1534.07 Current children cumulated vsize (KiB) 1843280 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1534.81 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8809 /proc/meminfo: memFree=14872/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=0 CPUtime=1534.17 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4195332 460200 0 0 0 152442 975 0 0 25 0 1 0 186449574 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1534.17 Current children cumulated vsize (KiB) 0 [startup+1534.9 s] /proc/loadavg: 0.99 0.98 0.97 2/66 8809 /proc/meminfo: memFree=14872/2055920 swapFree=4181848/4192956 [pid=8800] ppid=8798 vsize=0 CPUtime=1534.27 /proc/8800/stat : 8800 (wbo) R 8798 8800 7998 0 -1 4195332 460200 0 0 0 152442 985 0 0 25 0 1 0 186449574 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/8800/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1534.27 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1534.97 CPU time (s): 1534.35 CPU user time (s): 1524.43 CPU system time (s): 9.92149 CPU usage (%): 99.9594 Max. virtual memory (cumulated for all children) (KiB): 1843280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1524.43 system time used= 9.92149 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460200 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= 4981 runsolver used 1.82872 second user time and 3.46547 second system time The end
Begin job on node88 at 2009-06-16 23:41:51 IDJOB=1875188 IDBENCH=48028 IDSOLVER=698 FILE ID=node88/1875188-1245188511 PBS_JOBID= 9363938 Free space on /tmp= 66548 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=449-P1=149-P2=137-P3=137-P4=83-B.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-1875188-1245188511/watcher-1875188-1245188511 -o /tmp/evaluation-result-1875188-1245188511/solver-1875188-1245188511 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875188-1245188511.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 854cc656dc0682d745f606d1e6722452 RANDOM SEED=1870937728 node88.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.214 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.214 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: 1839728 kB Buffers: 33536 kB Cached: 111036 kB SwapCached: 5232 kB Active: 51284 kB Inactive: 100576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1839728 kB SwapTotal: 4192956 kB SwapFree: 4181848 kB Dirty: 2380 kB Writeback: 0 kB Mapped: 13104 kB Slab: 50200 kB Committed_AS: 82104 kB PageTables: 1456 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-1875188-1245188511.opb Free space on /tmp at the end= 66548 MiB End job on node88 at 2009-06-17 00:07:28