Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.06 | 1800.02 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=173-P1=23-P2=211-P3=199-P4=389-P5=269-P6=383-P7=211-P8=347-B.opb |
MD5SUM | 98317fc891a56a06b9f6f284bcd4ad38 |
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.51992 |
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 | 216 |
Total number of constraints | 17 |
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 | 17 |
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) | 648 |
Sum of products size (including duplicates) | 1296 |
Number of different products | 648 |
Sum of products size | 1296 |
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/452830-1177982792/instance-452830-1177982792.opb 0.00/0.00 c File size is 11660 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.004 s 0.00/0.00 c Var: 864 Constr: 1321 648/0/673 Lit: 5535 Watch. Lit: 3386 0.00/0.00 c Obj. Vars: 9 (1.04167 % 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 864 1321 5535 4 4761 7398 0 0 0.01 0.00/0.01 c Switching off LPR mode. 1800.03/1800.00 c 104 864 1425 13827 9 4906 8138 104 3999 0.03 1800.03/1800.00 c 254 864 1575 26187 16 4867 8952 254 3848 0.07 1800.03/1800.00 c 480 864 1801 44579 24 5369 9848 480 5393 0.09 1800.03/1800.00 c 819 864 2140 72805 34 6230 10833 819 6825 0.12 1800.03/1800.00 c 1327 864 2648 114026 43 7221 11917 1327 7760 0.17 1800.03/1800.00 c 2090 864 3411 175641 51 8757 13109 2090 7916 0.26 1800.03/1800.00 c 3236 864 4557 264752 58 10992 14420 3236 5667 0.57 1800.03/1800.00 c 4957 864 6278 398572 63 14443 15863 4957 4211 1.18 1800.03/1800.00 c 7541 864 8862 600246 67 19589 17450 7541 3096 2.44 1800.03/1800.00 c 11421 864 12742 902538 70 27382 19196 11421 2331 4.90 1800.03/1800.00 c 17243 864 18564 1350388 72 39001 21116 17243 1464 11.77 1800.03/1800.00 c 25980 864 16664 1180891 70 35218 23228 15343 1070 24.27 1800.03/1800.00 c 39091 864 17094 1291675 75 36010 25551 15773 1082 36.12 1800.03/1800.00 c 58761 864 22011 1567809 71 45888 28107 20690 1046 56.13 1800.03/1800.00 c 88272 864 17252 1196628 69 36306 30918 15931 831 106.20 1800.03/1800.00 c 132543 864 21512 1652519 76 44913 34010 20191 855 154.95 1800.03/1800.00 c 198954 864 19091 1332588 69 40092 37412 17770 808 246.09 1800.03/1800.00 c 298574 864 12654 1377310 108 27233 41154 11333 656 455.08 1800.03/1800.00 c 448010 864 41187 3075443 74 84156 45270 39866 669 668.77 1800.03/1800.00 c 672168 864 26711 2101845 78 55346 49798 25390 580 1158.89 1800.03/1800.00 c Caught signal: 15 1800.03/1800.00 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.00 c 20 980571 4157 1000722 28913 2276142 27592 544 1800.04 1800.03/1800.00 s UNKNOWN 1800.03/1800.00 c Total time: 1800.04 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-452830-1177982792 -o ROOT/results/node16/solver-452830-1177982792 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452830-1177982792/instance-452830-1177982792.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.92 0.97 0.91 3/77 23870 /proc/meminfo: memFree=1847808/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=19560 CPUtime=0 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 246196891 20029440 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7585584 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 4890 341 288 324 0 3957 0 [startup+0.067944 s] /proc/loadavg: 0.92 0.97 0.91 3/77 23870 /proc/meminfo: memFree=1847808/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=4592 CPUtime=0.06 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 566 0 0 0 6 0 0 0 18 0 1 0 246196891 4702208 533 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 1148 533 310 324 0 218 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4592 [startup+0.101937 s] /proc/loadavg: 0.92 0.97 0.91 3/77 23870 /proc/meminfo: memFree=1847808/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=4980 CPUtime=0.09 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 659 0 0 0 9 0 0 0 18 0 1 0 246196891 5099520 626 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 1245 626 310 324 0 315 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4980 [startup+0.301894 s] /proc/loadavg: 0.92 0.97 0.91 3/77 23870 /proc/meminfo: memFree=1847808/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=6916 CPUtime=0.29 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 1143 0 0 0 29 0 0 0 19 0 1 0 246196891 7081984 1110 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 1729 1110 310 324 0 799 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6916 [startup+0.701809 s] /proc/loadavg: 0.92 0.97 0.91 3/77 23870 /proc/meminfo: memFree=1847808/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=8592 CPUtime=0.69 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 1544 0 0 0 69 0 0 0 23 0 1 0 246196891 8798208 1511 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 2148 1511 310 324 0 1218 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8592 [startup+1.50164 s] /proc/loadavg: 0.92 0.97 0.91 2/78 23871 /proc/meminfo: memFree=1841912/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=10656 CPUtime=1.49 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 2057 0 0 0 148 1 0 0 25 0 1 0 246196891 10911744 2024 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 2664 2024 310 324 0 1734 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10656 [startup+3.10131 s] /proc/loadavg: 0.92 0.97 0.91 2/78 23871 /proc/meminfo: memFree=1839480/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=14136 CPUtime=3.09 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 2930 0 0 0 308 1 0 0 25 0 1 0 246196891 14475264 2897 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527358 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 3534 2897 310 324 0 2604 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14136 [startup+6.30163 s] /proc/loadavg: 0.93 0.97 0.91 2/78 23871 /proc/meminfo: memFree=1833784/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=18156 CPUtime=6.28 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 3961 0 0 0 626 2 0 0 25 0 1 0 246196891 18591744 3928 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7646991 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 4539 3928 310 324 0 3609 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 18156 [startup+12.7013 s] /proc/loadavg: 0.93 0.97 0.91 2/78 23871 /proc/meminfo: memFree=1827576/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=24096 CPUtime=12.68 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 5441 0 0 0 1265 3 0 0 25 0 1 0 246196891 24674304 5408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 6024 5408 310 324 0 5094 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24096 [startup+25.5016 s] /proc/loadavg: 0.95 0.97 0.91 2/78 23871 /proc/meminfo: memFree=1823480/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=27724 CPUtime=25.49 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 6349 0 0 0 2544 5 0 0 25 0 1 0 246196891 28389376 6316 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572643 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 6931 6316 310 324 0 6001 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 27724 [startup+51.1012 s] /proc/loadavg: 0.96 0.97 0.91 2/78 23871 /proc/meminfo: memFree=1817976/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=33152 CPUtime=51.08 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 7705 0 0 0 5102 6 0 0 25 0 1 0 246196891 33947648 7672 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 8288 7672 310 324 0 7358 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 33152 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.91 2/78 23871 /proc/meminfo: memFree=1816440/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=34696 CPUtime=102.28 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 8098 0 0 0 10222 6 0 0 25 0 1 0 246196891 35528704 8065 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 8674 8065 310 324 0 7744 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 34696 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 23871 /proc/meminfo: memFree=1808824/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=42472 CPUtime=162.28 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 10039 0 0 0 16220 8 0 0 25 0 1 0 246196891 43491328 10005 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 10618 10005 310 324 0 9688 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 42472 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 23871 /proc/meminfo: memFree=1807864/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=43112 CPUtime=222.28 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 10215 0 0 0 22220 8 0 0 25 0 1 0 246196891 44146688 10147 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7638732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 10778 10147 310 324 0 9848 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 43112 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 23871 /proc/meminfo: memFree=1800056/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=50820 CPUtime=282.28 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 12222 0 0 0 28218 10 0 0 25 0 1 0 246196891 52039680 12079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 12705 12079 310 324 0 11775 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 50820 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 23871 /proc/meminfo: memFree=1799928/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=51076 CPUtime=342.28 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 12298 0 0 0 34218 10 0 0 25 0 1 0 246196891 52301824 12155 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 12769 12155 310 324 0 11839 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 51076 [startup+402.301 s] /proc/loadavg: 1.06 0.99 0.91 2/78 23871 /proc/meminfo: memFree=1789624/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=61120 CPUtime=402.28 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 14850 0 0 0 40214 14 0 0 25 0 1 0 246196891 62586880 14669 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 15280 14669 310 324 0 14350 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 61120 [startup+462.302 s] /proc/loadavg: 1.02 0.99 0.91 2/78 23871 /proc/meminfo: memFree=1783992/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=66780 CPUtime=462.29 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 16278 0 0 0 46213 16 0 0 25 0 1 0 246196891 68382720 16059 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 16695 16059 310 324 0 15765 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 66780 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 23873 /proc/meminfo: memFree=1783992/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=66796 CPUtime=522.29 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 16282 0 0 0 52213 16 0 0 25 0 1 0 246196891 68399104 16063 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 16699 16063 310 324 0 15769 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 66796 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 23873 /proc/meminfo: memFree=1784056/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=66796 CPUtime=582.29 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 16282 0 0 0 58213 16 0 0 25 0 1 0 246196891 68399104 16063 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 16699 16063 310 324 0 15769 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 66796 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 23873 /proc/meminfo: memFree=1784056/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=66796 CPUtime=642.3 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 16282 0 0 0 64213 17 0 0 25 0 1 0 246196891 68399104 16063 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 16699 16063 310 324 0 15769 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 66796 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 23873 /proc/meminfo: memFree=1783864/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=66808 CPUtime=822.3 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 16285 0 0 0 82212 18 0 0 25 0 1 0 246196891 68411392 16066 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 16702 16066 310 324 0 15772 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 66808 [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 23873 /proc/meminfo: memFree=1783928/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=66808 CPUtime=882.3 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 16285 0 0 0 88212 18 0 0 25 0 1 0 246196891 68411392 16066 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7638524 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 16702 16066 310 324 0 15772 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 66808 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 23873 /proc/meminfo: memFree=1783928/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=66808 CPUtime=942.3 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 16285 0 0 0 94212 18 0 0 25 0 1 0 246196891 68411392 16066 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 16702 16066 310 324 0 15772 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 66808 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 23873 /proc/meminfo: memFree=1783864/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=66808 CPUtime=1002.31 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 16285 0 0 0 100212 19 0 0 25 0 1 0 246196891 68411392 16066 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 16702 16066 310 324 0 15772 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 66808 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 23873 /proc/meminfo: memFree=1783928/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=66808 CPUtime=1062.3 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 16285 0 0 0 106211 19 0 0 25 0 1 0 246196891 68411392 16066 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 16702 16066 310 324 0 15772 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 66808 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 23873 /proc/meminfo: memFree=1783864/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=66808 CPUtime=1122.31 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 16285 0 0 0 112211 20 0 0 25 0 1 0 246196891 68411392 16066 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 16702 16066 310 324 0 15772 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 66808 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 23873 /proc/meminfo: memFree=1783864/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=66820 CPUtime=1182.31 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 16288 0 0 0 118211 20 0 0 25 0 1 0 246196891 68423680 16069 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521818 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 16705 16069 310 324 0 15775 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 66820 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 23873 /proc/meminfo: memFree=1783864/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=66828 CPUtime=1242.31 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 16290 0 0 0 124211 20 0 0 25 0 1 0 246196891 68431872 16071 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 16707 16071 310 324 0 15777 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 66828 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 23873 /proc/meminfo: memFree=1783288/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=67084 CPUtime=1302.32 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 16428 0 0 0 130211 21 0 0 25 0 1 0 246196891 68694016 16160 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 16771 16160 310 324 0 15841 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 67084 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 23873 /proc/meminfo: memFree=1783288/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=67084 CPUtime=1362.31 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 16428 0 0 0 136210 21 0 0 25 0 1 0 246196891 68694016 16160 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 16771 16160 310 324 0 15841 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 67084 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.91 2/78 23873 /proc/meminfo: memFree=1783288/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=67084 CPUtime=1422.32 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 16477 0 0 0 142210 22 0 0 25 0 1 0 246196891 68694016 16160 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 16771 16160 310 324 0 15841 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 67084 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 23873 /proc/meminfo: memFree=1783224/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=67084 CPUtime=1482.31 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 16526 0 0 0 148209 22 0 0 25 0 1 0 246196891 68694016 16160 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551315 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 16771 16160 310 324 0 15841 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 67084 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 23873 /proc/meminfo: memFree=1783288/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=67084 CPUtime=1542.32 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 16526 0 0 0 154209 23 0 0 25 0 1 0 246196891 68694016 16160 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551469 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 16771 16160 310 324 0 15841 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 67084 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 23873 /proc/meminfo: memFree=1783288/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=67084 CPUtime=1602.33 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 16526 0 0 0 160209 24 0 0 25 0 1 0 246196891 68694016 16160 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7638759 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 16771 16160 310 324 0 15841 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 67084 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 23873 /proc/meminfo: memFree=1783288/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=67084 CPUtime=1662.32 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 16526 0 0 0 166208 24 0 0 25 0 1 0 246196891 68694016 16160 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 16771 16160 310 324 0 15841 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 67084 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 23873 /proc/meminfo: memFree=1783288/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=67084 CPUtime=1722.32 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 16526 0 0 0 172208 24 0 0 25 0 1 0 246196891 68694016 16160 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 16771 16160 310 324 0 15841 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 67084 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 23873 /proc/meminfo: memFree=1783288/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=67084 CPUtime=1782.33 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 16526 0 0 0 178208 25 0 0 25 0 1 0 246196891 68694016 16160 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 16771 16160 310 324 0 15841 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 67084 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.00 0.99 0.91 2/78 23873 /proc/meminfo: memFree=1783288/2055920 swapFree=4148612/4192956 [pid=23870] ppid=23868 vsize=67084 CPUtime=1800.03 /proc/23870/stat : 23870 (bsolo3.0.17) R 23868 23870 23396 0 -1 4194304 16526 0 0 0 179978 25 0 0 25 0 1 0 246196891 68694016 16160 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23870/statm: 16771 16160 310 324 0 15841 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 67084 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.02 CPU time (s): 1800.06 CPU user time (s): 1799.79 CPU system time (s): 0.269958 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 67280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.79 system time used= 0.269958 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16530 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= 14897 runsolver used 1.36479 second user time and 4.05338 second system time The end
Begin job on node16 on Tue May 1 01:26:33 UTC 2007 IDJOB= 452830 IDBENCH= 47897 IDSOLVER= 199 FILE ID= node16/452830-1177982792 PBS_JOBID= 4728141 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=173-P1=23-P2=211-P3=199-P4=389-P5=269-P6=383-P7=211-P8=347-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452830-1177982792/instance-452830-1177982792.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-452830-1177982792 -o ROOT/results/node16/solver-452830-1177982792 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452830-1177982792/instance-452830-1177982792.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 98317fc891a56a06b9f6f284bcd4ad38 RANDOM SEED= 514797866 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node16.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: 1848224 kB Buffers: 26704 kB Cached: 94324 kB SwapCached: 11980 kB Active: 84412 kB Inactive: 59736 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1848224 kB SwapTotal: 4192956 kB SwapFree: 4148612 kB Dirty: 6604 kB Writeback: 0 kB Mapped: 30140 kB Slab: 49028 kB Committed_AS: 7671928 kB PageTables: 1836 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 node16 on Tue May 1 01:56:35 UTC 2007