Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.05 | 1800.52 |
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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/452844-1177985210/instance-452844-1177985210.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.00 c Var: 972 Constr: 1486 729/0/757 Lit: 6228 Watch. Lit: 3809 0.00/0.00 c Obj. Vars: 9 (0.925926 % of total variables) 0.00/0.01 c Pre-processing Time: 0.015 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 972 1486 6228 4 5357 8325 0 0 0.01 0.00/0.01 c Switching off LPR mode. 1800.03/1800.50 c 100 972 1586 15190 9 5461 9158 100 3846 0.03 1800.03/1800.50 c 253 972 1739 28030 16 5488 10074 253 4438 0.06 1800.03/1800.50 c 478 972 1964 45620 23 5953 11082 478 5975 0.08 1800.03/1800.50 c 816 972 2302 71580 31 6649 12191 816 7418 0.11 1800.03/1800.50 c 1328 972 2814 112398 39 7817 13411 1328 7952 0.17 1800.03/1800.50 c 2092 972 3578 182093 50 9342 14753 2092 7635 0.27 1800.03/1800.50 c 3239 972 4725 271243 57 11631 16229 3239 6504 0.50 1800.03/1800.50 c 4960 972 6446 401936 62 15083 17852 4960 5215 0.95 1800.03/1800.50 c 7544 972 9030 623462 69 20189 19638 7544 5097 1.48 1800.03/1800.50 c 11423 972 12909 935631 72 27881 21602 11423 3700 3.09 1800.03/1800.50 c 17245 972 18731 1437090 76 39619 23763 17245 3378 5.11 1800.03/1800.50 c 25982 972 14349 1059271 73 30873 26140 12863 2020 12.86 1800.03/1800.50 c 39092 972 27459 2207737 80 57095 28755 25973 2125 18.39 1800.03/1800.50 c 58763 972 29030 2218514 76 60258 31631 27544 1879 31.27 1800.03/1800.50 c 88273 972 17050 1394965 81 36165 34795 15564 1649 53.50 1800.03/1800.50 c 132543 972 13399 989038 73 28916 38275 11913 1409 94.02 1800.03/1800.50 c 198955 972 26218 1982998 75 54379 42103 24732 988 201.25 1800.03/1800.50 c 298576 972 34067 3040277 89 70222 46314 32581 911 327.63 1800.03/1800.50 c 448012 972 43174 3079327 71 88609 50946 41688 727 616.11 1800.03/1800.50 c 672171 972 28583 2222502 77 59298 56041 27097 608 1104.33 1800.03/1800.50 c Caught signal: 15 1800.03/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.50 c 20 989986 8026 1019623 35270 2954498 33784 549 1800.03 1800.03/1800.50 s UNKNOWN 1800.03/1800.50 c Total time: 1800.03 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-452844-1177985210 -o ROOT/results/node19/solver-452844-1177985210 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452844-1177985210/instance-452844-1177985210.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: 1.00 1.00 1.00 3/77 12558 /proc/meminfo: memFree=1760320/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=3940 CPUtime=0 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 246438398 4034560 346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 985 347 289 324 0 51 0 [startup+0.071648 s] /proc/loadavg: 1.00 1.00 1.00 3/77 12558 /proc/meminfo: memFree=1760320/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=4844 CPUtime=0.06 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 606 0 0 0 6 0 0 0 18 0 1 0 246438398 4960256 572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 1211 572 310 324 0 281 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4844 [startup+0.102649 s] /proc/loadavg: 1.00 1.00 1.00 3/77 12558 /proc/meminfo: memFree=1760320/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=5232 CPUtime=0.09 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 710 0 0 0 9 0 0 0 18 0 1 0 246438398 5357568 676 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 1308 676 310 324 0 378 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5232 [startup+0.301671 s] /proc/loadavg: 1.00 1.00 1.00 3/77 12558 /proc/meminfo: memFree=1760320/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=7032 CPUtime=0.29 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 1154 0 0 0 29 0 0 0 19 0 1 0 246438398 7200768 1120 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 1758 1120 310 324 0 828 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7032 [startup+0.701714 s] /proc/loadavg: 1.00 1.00 1.00 3/77 12558 /proc/meminfo: memFree=1760320/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=9228 CPUtime=0.69 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 1708 0 0 0 69 0 0 0 22 0 1 0 246438398 9449472 1674 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 2307 1674 310 324 0 1377 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9228 [startup+1.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1753912/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=13096 CPUtime=1.49 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 2699 0 0 0 148 1 0 0 25 0 1 0 246438398 13410304 2665 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 3274 2665 310 324 0 2344 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13096 [startup+3.10197 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1748664/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=17492 CPUtime=3.09 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 3789 0 0 0 307 2 0 0 25 0 1 0 246438398 17911808 3755 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 4373 3755 310 324 0 3443 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17492 [startup+6.30132 s] /proc/loadavg: 1.00 1.00 1.00 3/78 12559 /proc/meminfo: memFree=1738680/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=26408 CPUtime=6.29 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 6027 0 0 0 626 3 0 0 25 0 1 0 246438398 27041792 5993 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 6602 5993 310 324 0 5672 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26408 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1731328/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=32392 CPUtime=12.69 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 7513 0 0 0 1264 5 0 0 25 0 1 0 246438398 33169408 7479 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 8098 7479 310 324 0 7168 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32392 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1724416/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=39332 CPUtime=25.49 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 9254 0 0 0 2543 6 0 0 25 0 1 0 246438398 40275968 9220 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 9833 9220 310 324 0 8903 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 39332 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1721920/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=41792 CPUtime=51.07 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 9872 0 0 0 5101 6 0 0 25 0 1 0 246438398 42795008 9838 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 10448 9838 310 324 0 9518 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 41792 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1716800/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=46824 CPUtime=102.27 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 11153 0 0 0 10219 8 0 0 25 0 1 0 246438398 47947776 11084 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 11706 11084 310 324 0 10776 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 46824 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1715456/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=48128 CPUtime=162.24 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 11515 0 0 0 16215 9 0 0 25 0 1 0 246438398 49283072 11408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 12032 11408 310 324 0 11102 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 48128 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1710144/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=53408 CPUtime=222.24 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 12927 0 0 0 22213 11 0 0 25 0 1 0 246438398 54689792 12740 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 13352 12740 310 324 0 12422 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 53408 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1705024/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=58568 CPUtime=282.21 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 14232 0 0 0 28210 11 0 0 25 0 1 0 246438398 59973632 14003 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 14642 14003 310 324 0 13712 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 58568 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1692352/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=71084 CPUtime=342.2 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 17480 0 0 0 34206 14 0 0 25 0 1 0 246438398 72790016 17162 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572639 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 17771 17162 310 324 0 16841 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 71084 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1692352/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=71084 CPUtime=402.18 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 17480 0 0 0 40204 14 0 0 25 0 1 0 246438398 72790016 17162 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 17771 17162 310 324 0 16841 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 71084 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1692352/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=71084 CPUtime=462.17 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 17480 0 0 0 46202 15 0 0 25 0 1 0 246438398 72790016 17162 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 17771 17162 310 324 0 16841 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 71084 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1692352/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=71084 CPUtime=522.15 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 17480 0 0 0 52200 15 0 0 25 0 1 0 246438398 72790016 17162 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 17771 17162 310 324 0 16841 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 71084 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1692352/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=71084 CPUtime=582.14 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 17480 0 0 0 58198 16 0 0 25 0 1 0 246438398 72790016 17162 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 17771 17162 310 324 0 16841 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 71084 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1692352/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=71104 CPUtime=642.13 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 17485 0 0 0 64197 16 0 0 25 0 1 0 246438398 72810496 17167 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 17776 17167 310 324 0 16846 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 71104 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1691200/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=72132 CPUtime=882.06 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 17891 0 0 0 88188 18 0 0 25 0 1 0 246438398 73863168 17420 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 18033 17420 310 324 0 17103 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 72132 [startup+942.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1691200/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=72132 CPUtime=942.05 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 17891 0 0 0 94186 19 0 0 25 0 1 0 246438398 73863168 17420 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521828 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 18033 17420 310 324 0 17103 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 72132 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1691200/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=72132 CPUtime=1002.03 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 17891 0 0 0 100184 19 0 0 25 0 1 0 246438398 73863168 17420 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 18033 17420 310 324 0 17103 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 72132 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1691200/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=72132 CPUtime=1062.02 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 17891 0 0 0 106182 20 0 0 25 0 1 0 246438398 73863168 17420 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7914864 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 18033 17420 310 324 0 17103 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 72132 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1691200/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=72132 CPUtime=1122 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 17891 0 0 0 112180 20 0 0 25 0 1 0 246438398 73863168 17420 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 18033 17420 310 324 0 17103 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 72132 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1691200/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=72148 CPUtime=1181.98 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 17895 0 0 0 118177 21 0 0 25 0 1 0 246438398 73879552 17424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 18037 17424 310 324 0 17107 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 72148 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1691200/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=72148 CPUtime=1241.96 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 17895 0 0 0 124175 21 0 0 25 0 1 0 246438398 73879552 17424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 18037 17424 310 324 0 17107 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 72148 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1691200/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=72148 CPUtime=1301.96 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 17895 0 0 0 130174 22 0 0 25 0 1 0 246438398 73879552 17424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 18037 17424 310 324 0 17107 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 72148 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1691200/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=72148 CPUtime=1361.93 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 17895 0 0 0 136171 22 0 0 25 0 1 0 246438398 73879552 17424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 18037 17424 310 324 0 17107 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 72148 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1691200/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=72148 CPUtime=1421.93 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 17895 0 0 0 142170 23 0 0 25 0 1 0 246438398 73879552 17424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 18037 17424 310 324 0 17107 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 72148 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1691200/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=72148 CPUtime=1481.9 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 17895 0 0 0 148167 23 0 0 25 0 1 0 246438398 73879552 17424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 18037 17424 310 324 0 17107 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 72148 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1691200/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=72148 CPUtime=1541.89 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 17895 0 0 0 154165 24 0 0 25 0 1 0 246438398 73879552 17424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 18037 17424 310 324 0 17107 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 72148 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1691200/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=72148 CPUtime=1601.87 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 17895 0 0 0 160163 24 0 0 25 0 1 0 246438398 73879552 17424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134548044 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 18037 17424 310 324 0 17107 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 72148 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1691200/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=72148 CPUtime=1661.86 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 17895 0 0 0 166161 25 0 0 25 0 1 0 246438398 73879552 17424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551431 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 18037 17424 310 324 0 17107 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 72148 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1691200/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=72148 CPUtime=1721.84 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 17895 0 0 0 172159 25 0 0 25 0 1 0 246438398 73879552 17424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551030 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 18037 17424 310 324 0 17107 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 72148 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 12559 /proc/meminfo: memFree=1691072/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=72148 CPUtime=1781.83 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 17895 0 0 0 178157 26 0 0 25 0 1 0 246438398 73879552 17424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 18037 17424 310 324 0 17107 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 72148 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1691072/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=72148 CPUtime=1800.03 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 17895 0 0 0 179977 26 0 0 25 0 1 0 246438398 73879552 17424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 18037 17424 310 324 0 17107 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 72148 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12559 /proc/meminfo: memFree=1691072/2055920 swapFree=4153644/4192956 [pid=12558] ppid=12556 vsize=72148 CPUtime=1800.03 /proc/12558/stat : 12558 (bsolo3.0.17) R 12556 12558 22967 0 -1 4194304 17895 0 0 0 179977 26 0 0 25 0 1 0 246438398 73879552 17424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12558/statm: 18037 17424 310 324 0 17107 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 72148 Child status: 15 Real time (s): 1800.52 CPU time (s): 1800.05 CPU user time (s): 1799.77 CPU system time (s): 0.276957 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 72336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.77 system time used= 0.276957 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= 2638 runsolver used 1.3258 second user time and 3.9724 second system time The end
Begin job on node19 on Tue May 1 02:06:50 UTC 2007 IDJOB= 452844 IDBENCH= 47911 IDSOLVER= 199 FILE ID= node19/452844-1177985210 PBS_JOBID= 4728145 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 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.17 -m1800 /tmp/evaluation/452844-1177985210/instance-452844-1177985210.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-452844-1177985210 -o ROOT/results/node19/solver-452844-1177985210 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452844-1177985210/instance-452844-1177985210.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= bf07e05475dbb8a26e29c8119be0dea3 RANDOM SEED= 550843877 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.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.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 : 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.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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1760792 kB Buffers: 48044 kB Cached: 156208 kB SwapCached: 7976 kB Active: 89040 kB Inactive: 142668 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1760792 kB SwapTotal: 4192956 kB SwapFree: 4153644 kB Dirty: 6620 kB Writeback: 0 kB Mapped: 33364 kB Slab: 48896 kB Committed_AS: 5622092 kB PageTables: 1800 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 node19 on Tue May 1 02:36:53 UTC 2007