Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 12 | 1800.09 | 1800.72 |
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.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/453081-1178113716/instance-453081-1178113716.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.03/0.04 c Pre-processing Time: 0.043 s 0.03/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.04 c 0 1360 2620 8920 3 6500 8013 0 0 0.04 0.03/0.04 c Switching off LPR mode. 0.03/0.04 o 99 0.044 0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.05 c 0 1360 2621 9020 3 6503 8080 1 0 0.04 0.03/0.05 o 98 0.046 0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.05 c 0 1360 2622 9120 3 6507 8180 2 0 0.05 0.03/0.05 o 97 0.047 0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.05 c 0 1360 2623 9220 3 6512 8313 3 0 0.05 0.03/0.05 o 96 0.048 0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.05 c 0 1360 2624 9320 3 6518 8480 4 0 0.05 0.03/0.05 o 95 0.049 0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.05 c 0 1360 2625 9420 3 6525 8680 5 0 0.05 0.03/0.05 o 94 0.05 0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.05 c 0 1360 2626 9520 3 6533 8913 6 0 0.05 0.03/0.05 o 93 0.051 0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.05 c 0 1360 2627 9620 3 6542 9180 7 0 0.05 0.03/0.05 o 92 0.052 0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.05 c 1 1360 2629 9813 3 6554 9213 9 19 0.05 0.03/0.05 o 16 0.053 0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.05 c 1 1360 2630 9913 3 6640 9913 10 18 0.05 0.03/0.05 o 15 0.055 0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.06 c 1 1360 2631 10013 3 6727 9913 11 18 0.06 0.03/0.06 o 14 0.056 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 1478 0.07 1.29/1.31 c 353 1360 2984 26926 9 7519 11996 364 3495 0.10 1.29/1.31 c 828 1360 3459 52449 15 8469 13196 839 5079 0.16 1.29/1.31 c 1642 1360 4273 97852 22 10097 14516 1653 5701 0.29 1.29/1.31 c 2963 1360 5594 157581 28 12739 15968 2974 6160 0.48 1.29/1.31 c 5045 1360 7676 278754 36 16903 17565 5056 5327 0.95 1.29/1.31 o 13 1.312 226.73/226.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 226.73/226.82 c 6728 1360 9360 359722 38 20358 9913 6740 5124 1.31 226.73/226.82 c 6830 1360 9462 364562 38 20562 10905 6842 5112 1.34 226.73/226.82 c 7080 1360 9712 375468 38 21062 11996 7092 5035 1.41 226.73/226.82 c 7555 1360 10187 397728 39 22012 13196 7567 4976 1.52 226.73/226.82 c 8369 1360 11001 432623 39 23640 14516 8381 4874 1.72 226.73/226.82 c 9689 1360 12321 493490 40 26280 15968 9701 4529 2.14 226.73/226.82 c 11772 1360 14404 582114 40 30446 17565 11784 4229 2.78 226.73/226.82 c 14995 1360 17627 738786 41 36892 19322 15007 3692 4.06 226.73/226.82 c 19932 1360 12282 466827 38 25911 21255 9662 3071 6.49 226.73/226.82 c 27439 1360 19789 855810 43 40925 23381 17169 2799 9.80 226.73/226.82 c 38800 1360 17966 807088 44 37279 25720 15346 2185 17.75 226.73/226.82 c 55944 1360 19448 877509 45 40243 28293 16828 1878 29.79 226.73/226.82 c 81764 1360 27357 1244534 45 56061 31123 24737 1671 48.91 226.73/226.82 c 120597 1360 25740 1205148 46 52827 34236 23120 1283 93.99 226.73/226.82 c 178950 1360 15524 639320 41 32395 37660 12904 1111 161.00 226.73/226.82 o 12 226.756 1800.07/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.07/1800.70 c 242909 1360 26891 1235249 45 55217 9013 24271 1071 226.76 1800.07/1800.70 c 243009 1360 7228 213486 29 15804 9915 4608 1068 227.49 1800.07/1800.70 c 243259 1360 7478 222636 29 16304 10907 4858 1069 227.54 1800.07/1800.70 c 243736 1360 7955 240984 30 17258 11998 5335 1070 227.66 1800.07/1800.70 c 244549 1360 8768 271889 31 18884 13198 6148 1073 227.87 1800.07/1800.70 c 245869 1360 10088 320923 31 21524 14518 7468 1077 228.19 1800.07/1800.70 c 247950 1360 12169 407809 33 25686 15970 9549 1083 228.77 1800.07/1800.70 c 251173 1360 15392 568259 36 32132 17568 12772 1092 229.95 1800.07/1800.70 c 256109 1360 11405 421770 36 24158 19325 8785 1103 232.13 1800.07/1800.70 c 263617 1360 18913 725051 38 39174 21258 16293 1118 235.75 1800.07/1800.70 c 274979 1360 18772 757893 40 38892 23384 16152 1132 242.72 1800.07/1800.70 c 292123 1360 22962 955036 41 47272 25723 20342 1156 252.67 1800.07/1800.70 c 317942 1360 18320 778725 42 37988 28296 15700 1168 272.15 1800.07/1800.70 c 356774 1360 22429 981186 43 46206 31126 19809 1140 312.90 1800.07/1800.70 c 415126 1360 21317 1061769 49 43982 34239 18697 1112 373.20 1800.07/1800.70 c 502758 1360 15709 606998 38 32766 37663 13089 1073 468.37 1800.07/1800.70 c 634312 1360 16877 727796 43 35102 41430 14257 977 648.77 1800.07/1800.70 c 831744 1360 32191 1404721 43 65730 45574 29571 963 863.16 1800.07/1800.70 c 1127997 1360 20792 925792 44 42932 50132 18172 888 1269.97 1800.07/1800.70 c Caught signal: 15 1800.07/1800.70 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 1800.07/1800.70 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 1800.07/1800.70 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 1800.07/1800.70 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 1800.07/1800.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.07/1800.70 c 51 1492114 465677 2359776 36899 1654424 34279 828 1800.08 1800.07/1800.70 c Objective: 12 1800.07/1800.70 s SATISFIABLE 1800.07/1800.70 c Total time: 1800.08 s
OK 12
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-453081-1178113716 -o ROOT/results/node17/solver-453081-1178113716 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453081-1178113716/instance-453081-1178113716.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.91 0.95 0.83 3/77 9381 /proc/meminfo: memFree=1676448/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=11756 CPUtime=0 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 373 0 0 0 0 0 0 0 18 0 1 0 259289122 12038144 343 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 2939 344 289 324 0 2004 0 [startup+0.0469381 s] /proc/loadavg: 0.91 0.95 0.83 3/77 9381 /proc/meminfo: memFree=1676448/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=4752 CPUtime=0.03 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 595 0 0 0 3 0 0 0 18 0 1 0 259289122 4866048 560 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 1188 560 306 324 0 258 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4752 [startup+0.101943 s] /proc/loadavg: 0.91 0.95 0.83 3/77 9381 /proc/meminfo: memFree=1676448/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=4880 CPUtime=0.09 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 638 0 0 0 9 0 0 0 18 0 1 0 259289122 4997120 603 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 1220 603 310 324 0 290 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4880 [startup+0.301965 s] /proc/loadavg: 0.91 0.95 0.83 3/77 9381 /proc/meminfo: memFree=1676448/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=6048 CPUtime=0.28 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 918 0 0 0 28 0 0 0 19 0 1 0 259289122 6193152 883 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 1512 883 310 324 0 582 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 6048 [startup+0.702006 s] /proc/loadavg: 0.91 0.95 0.83 3/77 9381 /proc/meminfo: memFree=1676448/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=7880 CPUtime=0.69 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 1373 0 0 0 68 1 0 0 22 0 1 0 259289122 8069120 1338 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 1970 1338 310 324 0 1040 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7880 [startup+1.50109 s] /proc/loadavg: 0.91 0.95 0.83 2/78 9382 /proc/meminfo: memFree=1671192/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=10356 CPUtime=1.49 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 2013 0 0 0 148 1 0 0 25 0 1 0 259289122 10604544 1978 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 2589 1978 310 324 0 1659 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10356 [startup+3.10226 s] /proc/loadavg: 0.92 0.95 0.83 2/78 9382 /proc/meminfo: memFree=1668056/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=14020 CPUtime=3.09 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 2899 0 0 0 308 1 0 0 25 0 1 0 259289122 14356480 2864 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 3505 2864 310 324 0 2575 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14020 [startup+6.30159 s] /proc/loadavg: 0.92 0.95 0.83 2/78 9382 /proc/meminfo: memFree=1661912/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=19216 CPUtime=6.29 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 4213 0 0 0 627 2 0 0 25 0 1 0 259289122 19677184 4178 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134552347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 4804 4178 310 324 0 3874 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19216 [startup+12.7013 s] /proc/loadavg: 0.93 0.96 0.83 2/78 9382 /proc/meminfo: memFree=1659696/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=20876 CPUtime=12.69 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 4644 0 0 0 1266 3 0 0 25 0 1 0 259289122 21377024 4609 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 5219 4609 310 324 0 4289 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20876 [startup+25.5016 s] /proc/loadavg: 0.94 0.96 0.83 2/78 9382 /proc/meminfo: memFree=1655344/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=24772 CPUtime=25.49 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 5604 0 0 0 2545 4 0 0 25 0 1 0 259289122 25366528 5569 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 6193 5569 310 324 0 5263 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 24772 [startup+51.1013 s] /proc/loadavg: 0.96 0.96 0.83 2/78 9382 /proc/meminfo: memFree=1652848/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=27020 CPUtime=51.07 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 6177 0 0 0 5103 4 0 0 25 0 1 0 259289122 27668480 6142 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134572624 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 6755 6142 310 324 0 5825 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 27020 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.84 2/78 9382 /proc/meminfo: memFree=1649328/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=30596 CPUtime=102.26 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 7074 0 0 0 10221 5 0 0 25 0 1 0 259289122 31330304 7039 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 7649 7039 310 324 0 6719 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 30596 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.84 2/78 9382 /proc/meminfo: memFree=1646192/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=33572 CPUtime=162.25 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 7914 0 0 0 16218 7 0 0 25 0 1 0 259289122 34377728 7774 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 3294876 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 8393 7774 310 324 0 7463 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 33572 [startup+222.301 s] /proc/loadavg: 1.07 0.99 0.85 2/78 9382 /proc/meminfo: memFree=1644592/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=35152 CPUtime=222.23 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 8370 0 0 0 22215 8 0 0 25 0 1 0 259289122 35995648 8154 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 8788 8154 310 324 0 7858 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 35152 [startup+282.301 s] /proc/loadavg: 1.10 1.00 0.87 2/78 9382 /proc/meminfo: memFree=1644592/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=35152 CPUtime=282.21 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 8393 0 0 0 28213 8 0 0 25 0 1 0 259289122 35995648 8177 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 8788 8177 310 324 0 7858 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 35152 [startup+342.302 s] /proc/loadavg: 1.17 1.03 0.88 2/78 9382 /proc/meminfo: memFree=1644592/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=35152 CPUtime=342.19 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 8393 0 0 0 34210 9 0 0 25 0 1 0 259289122 35995648 8177 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 8788 8177 310 324 0 7858 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 35152 [startup+402.302 s] /proc/loadavg: 1.12 1.04 0.89 2/78 9382 /proc/meminfo: memFree=1644592/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=35152 CPUtime=402.17 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 8393 0 0 0 40208 9 0 0 25 0 1 0 259289122 35995648 8177 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 8788 8177 310 324 0 7858 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 35152 [startup+462.301 s] /proc/loadavg: 1.15 1.06 0.91 2/78 9382 /proc/meminfo: memFree=1644720/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=35152 CPUtime=462.16 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 8393 0 0 0 46206 10 0 0 25 0 1 0 259289122 35995648 8177 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 8788 8177 310 324 0 7858 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 35152 [startup+522.301 s] /proc/loadavg: 1.11 1.06 0.91 2/78 9382 /proc/meminfo: memFree=1644720/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=35152 CPUtime=522.14 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 8393 0 0 0 52204 10 0 0 25 0 1 0 259289122 35995648 8177 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134552776 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 8788 8177 310 324 0 7858 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 35152 [startup+582.302 s] /proc/loadavg: 1.04 1.05 0.91 2/78 9382 /proc/meminfo: memFree=1642096/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=37616 CPUtime=582.13 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 9082 0 0 0 58201 12 0 0 25 0 1 0 259289122 38518784 8790 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 9404 8790 310 324 0 8474 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 37616 [startup+642.302 s] /proc/loadavg: 1.01 1.04 0.91 2/78 9382 /proc/meminfo: memFree=1642160/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=37616 CPUtime=642.11 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 9120 0 0 0 64199 12 0 0 25 0 1 0 259289122 38518784 8790 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 9404 8790 310 324 0 8474 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 37616 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.01 1.02 0.92 2/78 9580 /proc/meminfo: memFree=1638448/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=41000 CPUtime=881.93 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 10252 0 0 0 88177 16 0 0 25 0 1 0 259289122 41984000 9632 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 10250 9632 310 324 0 9320 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 41000 [startup+942.301 s] /proc/loadavg: 1.00 1.02 0.92 2/78 9580 /proc/meminfo: memFree=1638704/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=41008 CPUtime=941.91 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 10346 0 0 0 94174 17 0 0 25 0 1 0 259289122 41992192 9634 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 10252 9634 310 324 0 9322 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 41008 [startup+1002.3 s] /proc/loadavg: 1.00 1.01 0.92 2/78 9580 /proc/meminfo: memFree=1638640/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=41012 CPUtime=1001.89 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 10392 0 0 0 100172 17 0 0 25 0 1 0 259289122 41996288 9634 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 10253 9634 310 324 0 9323 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 41012 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 9580 /proc/meminfo: memFree=1638704/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=41012 CPUtime=1061.88 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 10438 0 0 0 106170 18 0 0 25 0 1 0 259289122 41996288 9634 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 10253 9634 310 324 0 9323 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 41012 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 9580 /proc/meminfo: memFree=1638640/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=41012 CPUtime=1121.86 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 10484 0 0 0 112168 18 0 0 25 0 1 0 259289122 41996288 9634 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 10253 9634 310 324 0 9323 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 41012 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 9580 /proc/meminfo: memFree=1638704/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=41012 CPUtime=1181.84 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 10484 0 0 0 118165 19 0 0 25 0 1 0 259289122 41996288 9634 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 10253 9634 310 324 0 9323 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 41012 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 9580 /proc/meminfo: memFree=1638704/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=41012 CPUtime=1241.82 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 10484 0 0 0 124163 19 0 0 25 0 1 0 259289122 41996288 9634 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 10253 9634 310 324 0 9323 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 41012 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 9580 /proc/meminfo: memFree=1638768/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=41012 CPUtime=1301.81 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 10484 0 0 0 130161 20 0 0 25 0 1 0 259289122 41996288 9634 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 10253 9634 310 324 0 9323 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 41012 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 9580 /proc/meminfo: memFree=1635120/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=44540 CPUtime=1361.79 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 11407 0 0 0 136158 21 0 0 25 0 1 0 259289122 45608960 10507 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 11135 10507 310 324 0 10205 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 44540 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.92 2/78 9580 /proc/meminfo: memFree=1634288/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=45324 CPUtime=1421.78 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 11651 0 0 0 142156 22 0 0 25 0 1 0 259289122 46411776 10701 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 11331 10701 310 324 0 10401 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 45324 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 9580 /proc/meminfo: memFree=1634224/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=45324 CPUtime=1481.76 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 11751 0 0 0 148153 23 0 0 25 0 1 0 259289122 46411776 10701 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 11331 10701 310 324 0 10401 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 45324 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 9580 /proc/meminfo: memFree=1634224/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=45324 CPUtime=1541.74 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 11801 0 0 0 154151 23 0 0 25 0 1 0 259289122 46411776 10701 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 11331 10701 310 324 0 10401 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 45324 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 9580 /proc/meminfo: memFree=1634224/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=45324 CPUtime=1601.73 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 11851 0 0 0 160149 24 0 0 25 0 1 0 259289122 46411776 10701 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 3293535 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 11331 10701 310 324 0 10401 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 45324 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 9580 /proc/meminfo: memFree=1634288/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=45324 CPUtime=1661.71 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 11851 0 0 0 166147 24 0 0 25 0 1 0 259289122 46411776 10701 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 11331 10701 310 324 0 10401 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 45324 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 9580 /proc/meminfo: memFree=1634288/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=45252 CPUtime=1721.7 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 11851 0 0 0 172145 25 0 0 25 0 1 0 259289122 46338048 10701 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 11313 10701 310 324 0 10383 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 45252 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 9580 /proc/meminfo: memFree=1634352/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=45252 CPUtime=1781.67 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 11851 0 0 0 178142 25 0 0 25 0 1 0 259289122 46338048 10701 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 11313 10701 310 324 0 10383 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 45252 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 0.92 2/78 9580 /proc/meminfo: memFree=1634352/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=45252 CPUtime=1800.07 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 11851 0 0 0 179982 25 0 0 25 0 1 0 259289122 46338048 10701 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 11313 10701 310 324 0 10383 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 45252 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 1.00 1.00 0.92 2/78 9580 /proc/meminfo: memFree=1634352/2055920 swapFree=4140116/4192956 [pid=9381] ppid=9379 vsize=45252 CPUtime=1800.07 /proc/9381/stat : 9381 (bsolo3.0.17) R 9379 9381 8581 0 -1 4194304 11851 0 0 0 179982 25 0 0 25 0 1 0 259289122 46338048 10701 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9381/statm: 11313 10701 310 324 0 10383 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 45252 Child status: 15 Real time (s): 1800.72 CPU time (s): 1800.09 CPU user time (s): 1799.83 CPU system time (s): 0.265959 CPU usage (%): 99.9654 Max. virtual memory (cumulated for all children) (KiB): 45524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.83 system time used= 0.265959 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11855 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= 2079 runsolver used 1.43178 second user time and 3.84941 second system time The end
Begin job on node17 on Wed May 2 13:48:36 UTC 2007 IDJOB= 453081 IDBENCH= 48106 IDSOLVER= 199 FILE ID= node17/453081-1178113716 PBS_JOBID= 4751032 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453081-1178113716/instance-453081-1178113716.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-453081-1178113716 -o ROOT/results/node17/solver-453081-1178113716 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453081-1178113716/instance-453081-1178113716.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= f4b87658792e85afbf63fc13ada788f7 RANDOM SEED= 451392609 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.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.240 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.240 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: 1676856 kB Buffers: 79672 kB Cached: 208600 kB SwapCached: 15008 kB Active: 124488 kB Inactive: 188008 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1676856 kB SwapTotal: 4192956 kB SwapFree: 4140116 kB Dirty: 6732 kB Writeback: 0 kB Mapped: 29876 kB Slab: 52072 kB Committed_AS: 9776888 kB PageTables: 1796 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 node17 on Wed May 2 14:18:39 UTC 2007