Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 12 | 1800.01 | 1800.08 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_2.opb |
MD5SUM | f4b87658792e85afbf63fc13ada788f7 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 21 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1260 |
Sum of products size (including duplicates) | 2520 |
Number of different products | 1260 |
Sum of products size | 2520 |
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/453075-1178113710/instance-453075-1178113710.opb 0.00/0.00 c File size is 17171 bytes. 0.00/0.01 c Highest Coefficient sum: 100 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.007 s 0.00/0.01 c Var: 1360 Constr: 2620 1360/0/1260 Lit: 8920 Watch. Lit: 6500 0.00/0.01 c Obj. Vars: 100 (7.35294 % of total variables) 0.00/0.04 c Pre-processing Time: 0.043 s 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 0 1360 2620 8920 3 6500 8013 0 0 0.04 0.00/0.04 c Switching off LPR mode. 0.00/0.04 o 99 0.044 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1360 2621 9020 3 6503 8080 1 0 0.04 0.00/0.05 o 98 0.045 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1360 2622 9120 3 6507 8180 2 0 0.04 0.00/0.05 o 97 0.046 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1360 2623 9220 3 6512 8313 3 0 0.05 0.00/0.05 o 96 0.047 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1360 2624 9320 3 6518 8480 4 0 0.05 0.00/0.05 o 95 0.049 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1360 2625 9420 3 6525 8680 5 0 0.05 0.00/0.05 o 94 0.05 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1360 2626 9520 3 6533 8913 6 0 0.05 0.00/0.05 o 93 0.051 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1360 2627 9620 3 6542 9180 7 0 0.05 0.00/0.05 o 92 0.052 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 1 1360 2629 9813 3 6554 9213 9 18 0.05 0.00/0.05 o 16 0.054 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 1 1360 2630 9913 3 6640 9913 10 18 0.05 0.00/0.06 o 15 0.055 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 1 1360 2631 10013 3 6727 9913 11 17 0.06 0.00/0.06 o 14 0.057 1.29/1.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.31 c 2 1360 2633 10156 3 6817 9913 13 35 0.06 1.29/1.31 c 102 1360 2733 15555 5 7017 10905 113 1457 0.07 1.29/1.31 c 353 1360 2984 26926 9 7519 11996 364 3460 0.10 1.29/1.31 c 828 1360 3459 52449 15 8469 13196 839 5048 0.16 1.29/1.31 c 1642 1360 4273 97852 22 10097 14516 1653 5681 0.29 1.29/1.31 c 2963 1360 5594 157581 28 12739 15968 2974 6147 0.48 1.29/1.31 c 5045 1360 7676 278754 36 16903 17565 5056 5338 0.94 1.29/1.31 o 13 1.307 227.59/227.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 227.59/227.65 c 6728 1360 9360 359722 38 20358 9913 6740 5143 1.31 227.59/227.65 c 6830 1360 9462 364562 38 20562 10905 6842 5127 1.33 227.59/227.65 c 7080 1360 9712 375468 38 21062 11996 7092 5057 1.40 227.59/227.65 c 7555 1360 10187 397728 39 22012 13196 7567 4996 1.51 227.59/227.65 c 8369 1360 11001 432623 39 23640 14516 8381 4894 1.71 227.59/227.65 c 9689 1360 12321 493490 40 26280 15968 9701 4550 2.13 227.59/227.65 c 11772 1360 14404 582114 40 30446 17565 11784 4252 2.77 227.59/227.65 c 14995 1360 17627 738786 41 36892 19322 15007 3708 4.04 227.59/227.65 c 19932 1360 12282 466827 38 25911 21255 9662 3075 6.48 227.59/227.65 c 27439 1360 19789 855810 43 40925 23381 17169 2802 9.79 227.59/227.65 c 38800 1360 17966 807088 44 37279 25720 15346 2189 17.72 227.59/227.65 c 55944 1360 19448 877509 45 40243 28293 16828 1878 29.79 227.59/227.65 c 81764 1360 27357 1244534 45 56061 31123 24737 1669 48.99 227.59/227.66 c 120597 1360 25740 1205148 46 52827 34236 23120 1277 94.40 227.59/227.66 c 178950 1360 15524 639320 41 32395 37660 12904 1107 161.56 227.59/227.66 o 12 227.655 1799.93/1800.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.93/1800.07 c 242909 1360 26891 1235249 45 55217 9013 24271 1067 227.66 1799.93/1800.07 c 243009 1360 7228 213486 29 15804 9915 4608 1064 228.39 1799.93/1800.07 c 243259 1360 7478 222636 29 16304 10907 4858 1064 228.44 1799.93/1800.07 c 243736 1360 7955 240984 30 17258 11998 5335 1066 228.56 1799.93/1800.07 c 244549 1360 8768 271889 31 18884 13198 6148 1069 228.76 1799.93/1800.07 c 245869 1360 10088 320923 31 21524 14518 7468 1073 229.08 1799.93/1800.07 c 247950 1360 12169 407809 33 25686 15970 9549 1079 229.66 1799.93/1800.07 c 251173 1360 15392 568259 36 32132 17568 12772 1088 230.85 1799.93/1800.07 c 256109 1360 11405 421770 36 24158 19325 8785 1099 233.03 1799.93/1800.07 c 263617 1360 18913 725051 38 39174 21258 16293 1113 236.64 1799.93/1800.07 c 274979 1360 18772 757893 40 38892 23384 16152 1128 243.62 1799.93/1800.07 c 292123 1360 22962 955036 41 47272 25723 20342 1151 253.66 1799.93/1800.07 c 317942 1360 18320 778725 42 37988 28296 15700 1163 273.24 1799.93/1800.07 c 356774 1360 22429 981186 43 46206 31126 19809 1135 314.18 1799.93/1800.07 c 415126 1360 21317 1061769 49 43982 34239 18697 1107 374.87 1799.93/1800.07 c 502758 1360 15709 606998 38 32766 37663 13089 1068 470.50 1799.93/1800.07 c 634312 1360 16877 727796 43 35102 41430 14257 973 651.66 1799.93/1800.07 c 831744 1360 32191 1404721 43 65730 45574 29571 959 867.09 1799.93/1800.07 c 1127997 1360 20792 925792 44 42932 50132 18172 884 1275.62 1799.93/1800.07 c Resources Exceeded 1799.93/1800.07 v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 x10 -x11 x12 x13 x14 -x15 -x16 -x17 x18 -x19 x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 1799.93/1800.07 v x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 1799.93/1800.07 v -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 1799.93/1800.07 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 1799.93/1800.07 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.93/1800.07 c 51 1488147 464469 2353491 32932 1484097 30312 826 1800.00 1799.93/1800.07 c Objective: 12 1799.93/1800.07 s SATISFIABLE 1799.93/1800.07 c Total time: 1800 s
OK 12
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-453075-1178113710 -o ROOT/results/node16/solver-453075-1178113710 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453075-1178113710/instance-453075-1178113710.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.82 3/77 30232 /proc/meminfo: memFree=1843376/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=11756 CPUtime=0 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 259288634 12038144 345 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134585258 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 2939 346 291 324 0 2003 0 [startup+0.0911651 s] /proc/loadavg: 0.85 0.97 0.82 3/77 30232 /proc/meminfo: memFree=1843376/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=4880 CPUtime=0.08 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 624 0 0 0 8 0 0 0 18 0 1 0 259288634 4997120 589 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 1220 589 312 324 0 289 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4880 [startup+0.101311 s] /proc/loadavg: 0.85 0.97 0.82 3/77 30232 /proc/meminfo: memFree=1843376/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=4880 CPUtime=0.09 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 637 0 0 0 9 0 0 0 18 0 1 0 259288634 4997120 602 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 1220 602 312 324 0 289 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4880 [startup+0.30112 s] /proc/loadavg: 0.85 0.97 0.82 3/77 30232 /proc/meminfo: memFree=1843376/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=6048 CPUtime=0.29 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 917 0 0 0 29 0 0 0 19 0 1 0 259288634 6193152 882 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 1512 882 312 324 0 581 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6048 [startup+0.701036 s] /proc/loadavg: 0.85 0.97 0.82 3/77 30232 /proc/meminfo: memFree=1843376/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=7880 CPUtime=0.69 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 1373 0 0 0 68 1 0 0 22 0 1 0 259288634 8069120 1338 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 1970 1338 312 324 0 1039 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7880 [startup+1.50187 s] /proc/loadavg: 0.85 0.97 0.82 2/78 30233 /proc/meminfo: memFree=1838376/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=10488 CPUtime=1.5 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 2019 0 0 0 148 2 0 0 25 0 1 0 259288634 10739712 1984 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 2622 1985 312 324 0 1691 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 10488 [startup+3.10153 s] /proc/loadavg: 0.85 0.97 0.82 2/78 30233 /proc/meminfo: memFree=1835432/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=14020 CPUtime=3.09 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 2913 0 0 0 305 4 0 0 25 0 1 0 259288634 14356480 2878 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 3505 2878 312 324 0 2574 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14020 [startup+6.30186 s] /proc/loadavg: 0.86 0.97 0.82 2/78 30233 /proc/meminfo: memFree=1829296/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=19220 CPUtime=6.3 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 4219 0 0 0 624 6 0 0 25 0 1 0 259288634 19681280 4184 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 4805 4184 312 324 0 3874 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 19220 [startup+12.7015 s] /proc/loadavg: 0.87 0.97 0.82 2/78 30233 /proc/meminfo: memFree=1827064/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=21008 CPUtime=12.7 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 4650 0 0 0 1262 8 0 0 25 0 1 0 259288634 21512192 4615 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 5252 4615 312 324 0 4321 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 21008 [startup+25.5018 s] /proc/loadavg: 0.90 0.97 0.82 3/78 30233 /proc/meminfo: memFree=1822776/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=24964 CPUtime=25.5 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 5637 0 0 0 2539 11 0 0 25 0 1 0 259288634 25563136 5602 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134559711 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 6241 5602 312 324 0 5310 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 24964 [startup+51.1014 s] /proc/loadavg: 0.93 0.97 0.82 2/78 30233 /proc/meminfo: memFree=1820216/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=27020 CPUtime=51.08 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 6179 0 0 0 5092 16 0 0 25 0 1 0 259288634 27668480 6144 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 6755 6144 312 324 0 5824 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 27020 [startup+102.306 s] /proc/loadavg: 0.97 0.97 0.83 2/78 30233 /proc/meminfo: memFree=1816632/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=30596 CPUtime=102.29 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 7076 0 0 0 10204 25 0 0 25 0 1 0 259288634 31330304 7041 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 7649 7041 312 324 0 6718 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 30596 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.83 2/78 30233 /proc/meminfo: memFree=1813496/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=33572 CPUtime=162.29 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 7916 0 0 0 16194 35 0 0 25 0 1 0 259288634 34377728 7776 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 8393 7776 312 324 0 7462 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 33572 [startup+222.301 s] /proc/loadavg: 1.04 0.99 0.85 2/78 30233 /proc/meminfo: memFree=1811960/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=35152 CPUtime=222.29 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 8372 0 0 0 22183 46 0 0 25 0 1 0 259288634 35995648 8156 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 8788 8156 312 324 0 7857 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 35152 [startup+282.302 s] /proc/loadavg: 1.01 0.99 0.85 2/78 30233 /proc/meminfo: memFree=1811896/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=35152 CPUtime=282.29 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 8395 0 0 0 28168 61 0 0 25 0 1 0 259288634 35995648 8179 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 8788 8179 312 324 0 7857 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 35152 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.86 2/78 30233 /proc/meminfo: memFree=1811896/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=35152 CPUtime=342.29 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 8395 0 0 0 34158 71 0 0 25 0 1 0 259288634 35995648 8179 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 8788 8179 312 324 0 7857 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 35152 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.86 2/78 30233 /proc/meminfo: memFree=1811832/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=35152 CPUtime=402.29 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 8395 0 0 0 40148 81 0 0 25 0 1 0 259288634 35995648 8179 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 8788 8179 312 324 0 7857 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 35152 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.87 2/78 30233 /proc/meminfo: memFree=1811768/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=35152 CPUtime=462.29 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 8395 0 0 0 46137 92 0 0 25 0 1 0 259288634 35995648 8179 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551301 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 8788 8179 312 324 0 7857 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 35152 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.88 2/78 30233 /proc/meminfo: memFree=1811768/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=35152 CPUtime=522.3 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 8395 0 0 0 52128 102 0 0 25 0 1 0 259288634 35995648 8179 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 8788 8179 312 324 0 7857 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 35152 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.88 2/78 30233 /proc/meminfo: memFree=1809080/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=37616 CPUtime=582.3 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 9084 0 0 0 58119 111 0 0 25 0 1 0 259288634 38518784 8792 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 9404 8792 312 324 0 8473 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 37616 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.89 2/78 30233 /proc/meminfo: memFree=1809080/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=37616 CPUtime=642.31 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 9122 0 0 0 64111 120 0 0 25 0 1 0 259288634 38518784 8792 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 9404 8792 312 324 0 8473 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 37616 ################ # More data... # ################ /proc/meminfo: memFree=1805176/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=41012 CPUtime=1122.2 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 10486 0 0 0 112028 192 0 0 25 0 1 0 259288634 41996288 9636 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 10253 9636 312 324 0 9322 0 Current children cumulated CPU time (s) 1122.2 Current children cumulated vsize (KiB) 41012 [startup+1182.3 s] /proc/loadavg: 1.04 1.01 0.92 2/78 30431 /proc/meminfo: memFree=1805176/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=41012 CPUtime=1182.2 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 10486 0 0 0 118020 200 0 0 25 0 1 0 259288634 41996288 9636 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 10253 9636 312 324 0 9322 0 Current children cumulated CPU time (s) 1182.2 Current children cumulated vsize (KiB) 41012 [startup+1242.3 s] /proc/loadavg: 1.01 1.01 0.92 2/78 30431 /proc/meminfo: memFree=1805048/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=41012 CPUtime=1242.21 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 10486 0 0 0 124011 210 0 0 25 0 1 0 259288634 41996288 9636 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 10253 9636 312 324 0 9322 0 Current children cumulated CPU time (s) 1242.21 Current children cumulated vsize (KiB) 41012 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 30431 /proc/meminfo: memFree=1804984/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=41012 CPUtime=1302.21 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 10486 0 0 0 130002 219 0 0 25 0 1 0 259288634 41996288 9636 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 10253 9636 312 324 0 9322 0 Current children cumulated CPU time (s) 1302.21 Current children cumulated vsize (KiB) 41012 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 30431 /proc/meminfo: memFree=1801336/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=44540 CPUtime=1362.21 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11409 0 0 0 135992 229 0 0 25 0 1 0 259288634 45608960 10509 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 11135 10509 312 324 0 10204 0 Current children cumulated CPU time (s) 1362.21 Current children cumulated vsize (KiB) 44540 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.92 2/78 30431 /proc/meminfo: memFree=1800504/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=45324 CPUtime=1422.21 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11653 0 0 0 141984 237 0 0 25 0 1 0 259288634 46411776 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 11331 10703 312 324 0 10400 0 Current children cumulated CPU time (s) 1422.21 Current children cumulated vsize (KiB) 45324 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 30431 /proc/meminfo: memFree=1800440/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=45324 CPUtime=1482.21 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11753 0 0 0 147977 244 0 0 25 0 1 0 259288634 46411776 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 11331 10703 312 324 0 10400 0 Current children cumulated CPU time (s) 1482.21 Current children cumulated vsize (KiB) 45324 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 30431 /proc/meminfo: memFree=1800440/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=45324 CPUtime=1542.21 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11803 0 0 0 153966 255 0 0 25 0 1 0 259288634 46411776 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 11331 10703 312 324 0 10400 0 Current children cumulated CPU time (s) 1542.21 Current children cumulated vsize (KiB) 45324 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 30431 /proc/meminfo: memFree=1800376/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=45324 CPUtime=1602.21 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11853 0 0 0 159960 261 0 0 25 0 1 0 259288634 46411776 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 11331 10703 312 324 0 10400 0 Current children cumulated CPU time (s) 1602.21 Current children cumulated vsize (KiB) 45324 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 30431 /proc/meminfo: memFree=1800376/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=45324 CPUtime=1662.22 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11853 0 0 0 165950 272 0 0 25 0 1 0 259288634 46411776 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 11331 10703 312 324 0 10400 0 Current children cumulated CPU time (s) 1662.22 Current children cumulated vsize (KiB) 45324 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 30431 /proc/meminfo: memFree=1800376/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=45252 CPUtime=1722.22 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11853 0 0 0 171942 280 0 0 25 0 1 0 259288634 46338048 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 11313 10703 312 324 0 10382 0 Current children cumulated CPU time (s) 1722.22 Current children cumulated vsize (KiB) 45252 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 30431 /proc/meminfo: memFree=1800248/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=45252 CPUtime=1782.23 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11853 0 0 0 177937 286 0 0 25 0 1 0 259288634 46338048 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 11313 10703 312 324 0 10382 0 Current children cumulated CPU time (s) 1782.23 Current children cumulated vsize (KiB) 45252 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.92 2/78 30431 /proc/meminfo: memFree=1800248/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=45252 CPUtime=1791.83 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11853 0 0 0 178895 288 0 0 25 0 1 0 259288634 46338048 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551024 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 11313 10703 312 324 0 10382 0 Current children cumulated CPU time (s) 1791.83 Current children cumulated vsize (KiB) 45252 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.92 2/78 30431 /proc/meminfo: memFree=1800248/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=45252 CPUtime=1795.03 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11853 0 0 0 179214 289 0 0 25 0 1 0 259288634 46338048 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 7634999 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 11313 10703 312 324 0 10382 0 Current children cumulated CPU time (s) 1795.03 Current children cumulated vsize (KiB) 45252 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 30431 /proc/meminfo: memFree=1800248/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=45252 CPUtime=1798.22 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11853 0 0 0 179533 289 0 0 25 0 1 0 259288634 46338048 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 11313 10703 312 324 0 10382 0 Current children cumulated CPU time (s) 1798.22 Current children cumulated vsize (KiB) 45252 [startup+1799.1 s] /proc/loadavg: 1.00 1.00 0.92 2/78 30431 /proc/meminfo: memFree=1800248/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=45252 CPUtime=1799.02 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11853 0 0 0 179613 289 0 0 25 0 1 0 259288634 46338048 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551685 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 11313 10703 312 324 0 10382 0 Current children cumulated CPU time (s) 1799.02 Current children cumulated vsize (KiB) 45252 [startup+1799.5 s] /proc/loadavg: 1.00 1.00 0.92 2/78 30431 /proc/meminfo: memFree=1800248/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=45252 CPUtime=1799.42 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11853 0 0 0 179653 289 0 0 25 0 1 0 259288634 46338048 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 11313 10703 312 324 0 10382 0 Current children cumulated CPU time (s) 1799.42 Current children cumulated vsize (KiB) 45252 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 0.92 2/78 30431 /proc/meminfo: memFree=1800248/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=45252 CPUtime=1799.83 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11853 0 0 0 179693 290 0 0 25 0 1 0 259288634 46338048 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 11313 10703 312 324 0 10382 0 Current children cumulated CPU time (s) 1799.83 Current children cumulated vsize (KiB) 45252 [startup+1800 s] /proc/loadavg: 1.00 1.00 0.92 2/78 30431 /proc/meminfo: memFree=1800248/2055920 swapFree=4148560/4192956 [pid=30232] ppid=30230 vsize=45252 CPUtime=1799.93 /proc/30232/stat : 30232 (bsolo3.0.16) R 30230 30232 29755 0 -1 4194304 11853 0 0 0 179703 290 0 0 25 0 1 0 259288634 46338048 10703 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30232/statm: 11313 10703 312 324 0 10382 0 Current children cumulated CPU time (s) 1799.93 Current children cumulated vsize (KiB) 45252 Child status: 0 Real time (s): 1800.08 CPU time (s): 1800.01 CPU user time (s): 1797.1 CPU system time (s): 2.90956 CPU usage (%): 99.9963 Max. virtual memory (cumulated for all children) (KiB): 45524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.1 system time used= 2.90956 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11854 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= 11 involuntary context switches= 2997 runsolver used 1.45678 second user time and 4.19736 second system time The end
Begin job on node16 on Wed May 2 13:48:30 UTC 2007 IDJOB= 453075 IDBENCH= 48106 IDSOLVER= 163 FILE ID= node16/453075-1178113710 PBS_JOBID= 4751010 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_2.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453075-1178113710/instance-453075-1178113710.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-453075-1178113710 -o ROOT/results/node16/solver-453075-1178113710 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453075-1178113710/instance-453075-1178113710.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= f4b87658792e85afbf63fc13ada788f7 RANDOM SEED= 8974411 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: 1843912 kB Buffers: 68300 kB Cached: 65812 kB SwapCached: 12496 kB Active: 69904 kB Inactive: 91056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1843912 kB SwapTotal: 4192956 kB SwapFree: 4148560 kB Dirty: 6764 kB Writeback: 0 kB Mapped: 30228 kB Slab: 36516 kB Committed_AS: 13918296 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 Wed May 2 14:18:30 UTC 2007