Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? | 1800.02 | 1800.5 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=11-P1=331-P2=7-P3=107-P4=137-P5=439-P6=409-P7=421-P8=491-P9=293-B.opb |
MD5SUM | bf07e05475dbb8a26e29c8119be0dea3 |
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 | 0.301953 |
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 | 243 |
Total number of constraints | 19 |
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 | 19 |
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) | 729 |
Sum of products size (including duplicates) | 1458 |
Number of different products | 729 |
Sum of products size | 1458 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/429470-1177985150/instance-429470-1177985150.opb 0.00/0.00 c File size is 13213 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.005 s 0.00/0.01 c Var: 972 Constr: 1486 729/0/757 Lit: 6228 Watch. Lit: 3809 0.00/0.01 c Obj. Vars: 9 (0.925926 % of total variables) 0.00/0.02 c Pre-processing Time: 0.016 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 972 1486 6228 4 5357 8325 0 0 0.02 0.00/0.02 c Switching off LPR mode. 1799.91/1800.48 c 100 972 1586 15190 9 5461 9158 100 3703 0.03 1799.91/1800.48 c 253 972 1739 28030 16 5488 10074 253 4362 0.06 1799.91/1800.48 c 478 972 1964 45620 23 5953 11082 478 5759 0.08 1799.91/1800.48 c 816 972 2302 71580 31 6649 12191 816 7221 0.11 1799.91/1800.48 c 1328 972 2814 112398 39 7817 13411 1328 7720 0.17 1799.91/1800.48 c 2092 972 3578 182093 50 9342 14753 2092 7471 0.28 1799.91/1800.48 c 3239 972 4725 271243 57 11631 16229 3239 6401 0.51 1799.91/1800.48 c 4960 972 6446 401936 62 15083 17852 4960 5150 0.96 1799.91/1800.48 c 7544 972 9030 623462 69 20189 19638 7544 5025 1.50 1799.91/1800.48 c 11423 972 12909 935631 72 27881 21602 11423 3677 3.11 1799.91/1800.48 c 17245 972 18731 1437090 76 39619 23763 17245 3358 5.13 1799.91/1800.48 c 25982 972 14349 1059271 73 30873 26140 12863 2016 12.89 1799.91/1800.48 c 39092 972 27459 2207737 80 57095 28755 25973 2110 18.52 1799.91/1800.48 c 58763 972 29030 2218514 76 60258 31631 27544 1865 31.49 1799.91/1800.48 c 88273 972 17050 1394965 81 36165 34795 15564 1637 53.92 1799.91/1800.48 c 132543 972 13399 989038 73 28916 38275 11913 1399 94.69 1799.91/1800.48 c 198955 972 26218 1982998 75 54379 42103 24732 981 202.79 1799.91/1800.48 c 298576 972 34067 3040277 89 70222 46314 32581 905 329.64 1799.91/1800.48 c 448012 972 43174 3079327 71 88609 50946 41688 723 619.52 1799.91/1800.48 c 672171 972 28583 2222502 77 59298 56041 27097 605 1110.45 1799.91/1800.48 c Resources Exceeded 1799.91/1800.48 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.91/1800.48 c 20 985141 8026 1014778 30425 2558196 28939 547 1800.00 1799.91/1800.48 s UNKNOWN 1799.91/1800.48 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node35/watcher-429470-1177985150 -o ROOT/results/node35/solver-429470-1177985150 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429470-1177985150/instance-429470-1177985150.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.91 3/77 323 /proc/meminfo: memFree=1821552/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=11752 CPUtime=0 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 246430468 12034048 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1898107 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 985 346 291 324 0 50 0 [startup+0.033575 s] /proc/loadavg: 0.85 0.97 0.91 3/77 323 /proc/meminfo: memFree=1821552/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=4588 CPUtime=0.02 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 549 0 0 0 2 0 0 0 18 0 1 0 246430468 4698112 514 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 1147 514 312 324 0 216 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4588 [startup+0.101582 s] /proc/loadavg: 0.85 0.97 0.91 3/77 323 /proc/meminfo: memFree=1821552/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=5104 CPUtime=0.09 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 701 0 0 0 9 0 0 0 18 0 1 0 246430468 5226496 666 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1898107 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 1276 666 312 324 0 345 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5104 [startup+0.301606 s] /proc/loadavg: 0.85 0.97 0.91 3/77 323 /proc/meminfo: memFree=1821552/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=6904 CPUtime=0.29 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 1150 0 0 0 28 1 0 0 19 0 1 0 246430468 7069696 1115 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1898107 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 1726 1115 312 324 0 795 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6904 [startup+0.701652 s] /proc/loadavg: 0.85 0.97 0.91 3/77 323 /proc/meminfo: memFree=1821552/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=9100 CPUtime=0.69 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 1695 0 0 0 68 1 0 0 23 0 1 0 246430468 9318400 1660 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1898107 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 2275 1660 312 324 0 1344 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9100 [startup+1.50174 s] /proc/loadavg: 0.85 0.97 0.91 2/78 324 /proc/meminfo: memFree=1815080/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=13096 CPUtime=1.49 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 2676 0 0 0 147 2 0 0 25 0 1 0 246430468 13410304 2641 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 3274 2641 312 324 0 2343 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13096 [startup+3.10193 s] /proc/loadavg: 0.85 0.97 0.91 2/78 324 /proc/meminfo: memFree=1809896/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=17492 CPUtime=3.09 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 3785 0 0 0 305 4 0 0 25 0 1 0 246430468 17911808 3750 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 4373 3750 312 324 0 3442 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17492 [startup+6.3013 s] /proc/loadavg: 0.86 0.97 0.91 2/78 324 /proc/meminfo: memFree=1799920/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=26408 CPUtime=6.29 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 6023 0 0 0 623 6 0 0 25 0 1 0 246430468 27041792 5988 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1898107 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 6602 5988 312 324 0 5671 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26408 [startup+12.701 s] /proc/loadavg: 0.87 0.97 0.91 2/78 324 /proc/meminfo: memFree=1792432/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=32392 CPUtime=12.69 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 7516 0 0 0 1261 8 0 0 25 0 1 0 246430468 33169408 7481 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134573624 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 8098 7481 312 324 0 7167 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32392 [startup+25.5015 s] /proc/loadavg: 0.90 0.97 0.91 2/78 324 /proc/meminfo: memFree=1785456/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=39332 CPUtime=25.48 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 9257 0 0 0 2538 10 0 0 25 0 1 0 246430468 40275968 9222 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 9833 9222 312 324 0 8902 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39332 [startup+51.1015 s] /proc/loadavg: 0.93 0.97 0.91 2/78 324 /proc/meminfo: memFree=1783536/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=41792 CPUtime=51.08 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 9875 0 0 0 5094 14 0 0 25 0 1 0 246430468 42795008 9840 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546377 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 10448 9840 312 324 0 9517 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 41792 [startup+102.305 s] /proc/loadavg: 0.97 0.97 0.91 2/78 324 /proc/meminfo: memFree=1778040/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=46824 CPUtime=102.27 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 11156 0 0 0 10205 22 0 0 25 0 1 0 246430468 47947776 11086 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 11706 11086 312 324 0 10775 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 46824 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 324 /proc/meminfo: memFree=1776696/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=48128 CPUtime=162.24 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 11518 0 0 0 16197 27 0 0 25 0 1 0 246430468 49283072 11410 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 12032 11410 312 324 0 11101 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 48128 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 324 /proc/meminfo: memFree=1771320/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=53408 CPUtime=222.23 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 12930 0 0 0 22189 34 0 0 25 0 1 0 246430468 54689792 12742 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 13352 12742 312 324 0 12421 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 53408 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 324 /proc/meminfo: memFree=1766328/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=58568 CPUtime=282.22 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 14235 0 0 0 28180 42 0 0 25 0 1 0 246430468 59973632 14005 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 14642 14005 312 324 0 13711 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 58568 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 324 /proc/meminfo: memFree=1753656/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=71084 CPUtime=342.2 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17483 0 0 0 34169 51 0 0 25 0 1 0 246430468 72790016 17164 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 17771 17164 312 324 0 16840 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 71084 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 324 /proc/meminfo: memFree=1753656/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=71084 CPUtime=402.19 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17483 0 0 0 40162 57 0 0 25 0 1 0 246430468 72790016 17164 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 17771 17164 312 324 0 16840 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 71084 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 324 /proc/meminfo: memFree=1753720/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=71084 CPUtime=462.16 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17483 0 0 0 46154 62 0 0 25 0 1 0 246430468 72790016 17164 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1904412 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 17771 17164 312 324 0 16840 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 71084 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 324 /proc/meminfo: memFree=1753720/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=71084 CPUtime=522.15 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17483 0 0 0 52148 67 0 0 25 0 1 0 246430468 72790016 17164 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 17771 17164 312 324 0 16840 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 71084 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 324 /proc/meminfo: memFree=1753784/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=71084 CPUtime=582.14 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17483 0 0 0 58141 73 0 0 25 0 1 0 246430468 72790016 17164 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 17771 17164 312 324 0 16840 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 71084 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 324 /proc/meminfo: memFree=1753784/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=71104 CPUtime=642.12 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17488 0 0 0 64134 78 0 0 25 0 1 0 246430468 72810496 17169 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 17776 17169 312 324 0 16845 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 71104 ################ # More data... # ################ /proc/meminfo: memFree=1752696/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=72132 CPUtime=1121.99 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17894 0 0 0 112081 118 0 0 25 0 1 0 246430468 73863168 17422 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1893685 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 18033 17422 312 324 0 17102 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 72132 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 324 /proc/meminfo: memFree=1752760/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=72148 CPUtime=1181.98 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17898 0 0 0 118074 124 0 0 25 0 1 0 246430468 73879552 17426 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 18037 17426 312 324 0 17106 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 72148 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 324 /proc/meminfo: memFree=1752696/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=72148 CPUtime=1241.96 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17898 0 0 0 124067 129 0 0 25 0 1 0 246430468 73879552 17426 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 18037 17426 312 324 0 17106 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 72148 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 324 /proc/meminfo: memFree=1752760/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=72148 CPUtime=1301.95 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17898 0 0 0 130060 135 0 0 25 0 1 0 246430468 73879552 17426 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 18037 17426 312 324 0 17106 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 72148 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 324 /proc/meminfo: memFree=1752696/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=72148 CPUtime=1361.92 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17898 0 0 0 136053 139 0 0 25 0 1 0 246430468 73879552 17426 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 18037 17426 312 324 0 17106 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 72148 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/78 324 /proc/meminfo: memFree=1752760/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=72148 CPUtime=1421.91 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17898 0 0 0 142047 144 0 0 25 0 1 0 246430468 73879552 17426 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1895932 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 18037 17426 312 324 0 17106 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 72148 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 324 /proc/meminfo: memFree=1752696/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=72148 CPUtime=1481.89 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17898 0 0 0 148040 149 0 0 25 0 1 0 246430468 73879552 17426 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 18037 17426 312 324 0 17106 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 72148 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 324 /proc/meminfo: memFree=1752760/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=72148 CPUtime=1541.88 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17898 0 0 0 154033 155 0 0 25 0 1 0 246430468 73879552 17426 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 18037 17426 312 324 0 17106 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 72148 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 324 /proc/meminfo: memFree=1752760/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=72148 CPUtime=1601.86 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17898 0 0 0 160027 159 0 0 25 0 1 0 246430468 73879552 17426 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 18037 17426 312 324 0 17106 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 72148 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 324 /proc/meminfo: memFree=1752760/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=72148 CPUtime=1661.85 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17898 0 0 0 166022 163 0 0 25 0 1 0 246430468 73879552 17426 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 18037 17426 312 324 0 17106 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 72148 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 324 /proc/meminfo: memFree=1752696/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=72148 CPUtime=1721.82 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17898 0 0 0 172014 168 0 0 25 0 1 0 246430468 73879552 17426 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 18037 17426 312 324 0 17106 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 72148 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 324 /proc/meminfo: memFree=1752760/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=72148 CPUtime=1781.81 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17898 0 0 0 178008 173 0 0 25 0 1 0 246430468 73879552 17426 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551581 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 18037 17426 312 324 0 17106 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 72148 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.07 0.99 0.91 2/78 324 /proc/meminfo: memFree=1752760/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=72148 CPUtime=1791.42 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17898 0 0 0 178967 175 0 0 25 0 1 0 246430468 73879552 17426 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 18037 17426 312 324 0 17106 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (KiB) 72148 [startup+1795.1 s] /proc/loadavg: 1.06 0.99 0.91 2/78 324 /proc/meminfo: memFree=1752760/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=72148 CPUtime=1794.61 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17898 0 0 0 179286 175 0 0 25 0 1 0 246430468 73879552 17426 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 18037 17426 312 324 0 17106 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (KiB) 72148 [startup+1798.3 s] /proc/loadavg: 1.06 0.99 0.91 2/78 324 /proc/meminfo: memFree=1752760/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=72148 CPUtime=1797.81 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17898 0 0 0 179605 176 0 0 25 0 1 0 246430468 73879552 17426 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 18037 17426 312 324 0 17106 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 72148 [startup+1799.1 s] /proc/loadavg: 1.06 0.99 0.91 2/78 324 /proc/meminfo: memFree=1752760/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=72148 CPUtime=1798.61 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17898 0 0 0 179685 176 0 0 25 0 1 0 246430468 73879552 17426 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 18037 17426 312 324 0 17106 0 Current children cumulated CPU time (s) 1798.61 Current children cumulated vsize (KiB) 72148 [startup+1799.9 s] /proc/loadavg: 1.06 0.99 0.91 2/78 324 /proc/meminfo: memFree=1752760/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=72148 CPUtime=1799.41 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17898 0 0 0 179765 176 0 0 25 0 1 0 246430468 73879552 17426 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 18037 17426 312 324 0 17106 0 Current children cumulated CPU time (s) 1799.41 Current children cumulated vsize (KiB) 72148 [startup+1800.3 s] /proc/loadavg: 1.06 0.99 0.91 2/78 324 /proc/meminfo: memFree=1752760/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=72148 CPUtime=1799.81 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17898 0 0 0 179805 176 0 0 25 0 1 0 246430468 73879552 17426 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 18037 17426 312 324 0 17106 0 Current children cumulated CPU time (s) 1799.81 Current children cumulated vsize (KiB) 72148 [startup+1800.4 s] /proc/loadavg: 1.06 0.99 0.91 2/78 324 /proc/meminfo: memFree=1752760/2055920 swapFree=4151252/4192956 [pid=323] ppid=321 vsize=72148 CPUtime=1799.91 /proc/323/stat : 323 (bsolo3.0.16) R 321 323 30569 0 -1 4194304 17898 0 0 0 179815 176 0 0 25 0 1 0 246430468 73879552 17426 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/323/statm: 18037 17426 312 324 0 17106 0 Current children cumulated CPU time (s) 1799.91 Current children cumulated vsize (KiB) 72148 Child status: 0 Real time (s): 1800.5 CPU time (s): 1800.02 CPU user time (s): 1798.24 CPU system time (s): 1.77773 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 72336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.24 system time used= 1.77773 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17899 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= 12 involuntary context switches= 37476 runsolver used 1.46078 second user time and 3.82642 second system time The end
Begin job on node35 on Tue May 1 02:05:50 UTC 2007 IDJOB= 429470 IDBENCH= 47911 IDSOLVER= 163 FILE ID= node35/429470-1177985150 PBS_JOBID= 4728117 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=11-P1=331-P2=7-P3=107-P4=137-P5=439-P6=409-P7=421-P8=491-P9=293-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429470-1177985150/instance-429470-1177985150.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-429470-1177985150 -o ROOT/results/node35/solver-429470-1177985150 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429470-1177985150/instance-429470-1177985150.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= bf07e05475dbb8a26e29c8119be0dea3 RANDOM SEED= 219522230 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node35.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.232 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.232 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: 1821896 kB Buffers: 35744 kB Cached: 109508 kB SwapCached: 8972 kB Active: 104912 kB Inactive: 64780 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1821896 kB SwapTotal: 4192956 kB SwapFree: 4151252 kB Dirty: 6756 kB Writeback: 0 kB Mapped: 31384 kB Slab: 49612 kB Committed_AS: 2745116 kB PageTables: 2000 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node35 on Tue May 1 02:35:51 UTC 2007