Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 12 | 1800.11 | 1800.92 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_3.opb |
MD5SUM | 8decd85a4aebca069c2c72faa547de31 |
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 | 11 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 11 |
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 | 19 |
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) | 1244 |
Sum of products size (including duplicates) | 2488 |
Number of different products | 1244 |
Sum of products size | 2488 |
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/453696-1178149841/instance-453696-1178149841.opb 0.00/0.00 c File size is 16989 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.01 s 0.00/0.01 c Var: 1344 Constr: 2588 1344/0/1244 Lit: 8808 Watch. Lit: 6420 0.00/0.01 c Obj. Vars: 100 (7.44048 % of total variables) 0.03/0.05 c Pre-processing Time: 0.045 s 0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.05 c 0 1344 2588 8808 3 6420 7912 0 0 0.04 0.03/0.05 c Switching off LPR mode. 0.03/0.05 o 99 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 1344 2589 8908 3 6423 7978 1 0 0.05 0.03/0.05 o 98 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 1344 2590 9008 3 6427 8078 2 0 0.05 0.03/0.05 o 97 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 1344 2591 9108 3 6432 8212 3 0 0.05 0.03/0.05 o 96 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 1344 2592 9208 3 6438 8378 4 0 0.05 0.03/0.05 o 95 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 1344 2593 9308 3 6445 8578 5 0 0.05 0.03/0.05 o 94 0.052 0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.05 c 0 1344 2594 9408 3 6453 8812 6 0 0.05 0.03/0.05 o 93 0.053 0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.05 c 0 1344 2595 9508 3 6462 9078 7 0 0.05 0.03/0.05 o 92 0.054 0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.05 c 0 1344 2596 9608 3 6472 9378 8 0 0.05 0.03/0.05 o 91 0.055 0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.06 c 0 1344 2597 9708 3 6483 9712 9 0 0.06 0.03/0.06 o 90 0.056 0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.06 c 0 1344 2598 9808 3 6495 10078 10 0 0.06 0.03/0.06 o 89 0.057 0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.06 c 0 1344 2599 9908 3 6508 10478 11 0 0.06 0.03/0.06 o 88 0.058 0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.06 c 1 1344 2601 10097 3 6524 10512 13 17 0.06 0.03/0.06 o 16 0.059 0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.06 c 1 1344 2602 10197 3 6610 11078 14 16 0.06 0.03/0.06 o 14 0.061 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 1 1344 2603 10297 3 6698 11078 15 16 0.06 0.49/0.58 c 102 1344 2704 15592 5 6900 12186 116 1378 0.07 0.49/0.58 c 352 1344 2954 30748 10 7400 13405 366 3417 0.10 0.49/0.58 c 827 1344 3429 55136 16 8350 14746 841 4780 0.17 0.49/0.58 c 1640 1344 4242 96436 22 9976 16221 1654 5795 0.28 0.49/0.58 c 2960 1344 5562 163773 29 12616 17844 2974 6053 0.49 0.49/0.58 o 13 0.579 1422.23/1422.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1422.23/1422.99 c 3490 1344 6093 187135 30 13765 11078 3505 6027 0.58 1422.23/1422.99 c 3591 1344 6194 190783 30 13967 12186 3606 6005 0.60 1422.23/1422.99 c 3842 1344 6445 201553 31 14469 13405 3857 5947 0.65 1422.23/1422.99 c 4318 1344 6921 222519 32 15421 14746 4333 5858 0.74 1422.23/1422.99 c 5131 1344 7734 269726 34 17047 16221 5146 5778 0.89 1422.23/1422.99 c 6452 1344 9055 326910 36 19689 17844 6467 5481 1.18 1422.23/1422.99 c 8533 1344 11136 427311 38 23851 19629 8548 5067 1.68 1422.23/1422.99 c 11756 1344 14359 572061 39 30297 21592 11771 4416 2.66 1422.23/1422.99 c 16692 1344 19295 857734 44 40169 23752 16707 3654 4.57 1422.23/1422.99 c 24198 1344 13856 580453 41 29043 26128 11268 2663 9.09 1422.23/1422.99 c 35560 1344 25218 1142091 45 51767 28741 22630 2195 16.20 1422.23/1422.99 c 52705 1344 24284 1165307 47 49899 31616 21696 1885 27.96 1422.23/1422.99 c 78524 1344 28897 1294603 44 59125 34778 26309 1653 47.48 1422.23/1422.99 c 117357 1344 20068 816920 40 41467 38256 17480 1308 89.69 1422.23/1422.99 c 175710 1344 25531 1277088 50 52393 42082 22943 1021 172.00 1422.23/1422.99 c 263342 1344 20820 896350 43 42971 46291 18232 946 278.16 1422.23/1422.99 c 394894 1344 14758 610135 41 30847 50921 12170 834 473.25 1422.23/1422.99 c 592326 1344 15889 664138 41 33109 56014 13301 722 820.05 1422.23/1422.99 c 888579 1344 47613 2144325 45 96557 61616 45025 661 1344.14 1422.23/1422.99 o 12 1422.33 1800.09/1800.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.09/1800.90 c 925788 1344 34367 1387517 40 70153 8912 31779 650 1422.33 1800.09/1800.90 c 925890 1344 7147 212722 29 15626 9804 4559 647 1430.89 1800.09/1800.90 c 926141 1344 7398 222515 30 16128 10785 4810 647 1430.94 1800.09/1800.90 c 926616 1344 7873 245215 31 17078 11864 5285 647 1431.06 1800.09/1800.90 c 927429 1344 8686 276003 31 18704 13051 6098 647 1431.23 1800.09/1800.90 c 928749 1344 10006 341712 34 21344 14357 7418 648 1431.66 1800.09/1800.90 c 930830 1344 12087 435867 36 25506 15793 9499 649 1432.22 1800.09/1800.90 c 934054 1344 15311 595760 38 31954 17373 12723 651 1433.35 1800.09/1800.90 c 938990 1344 11276 409043 36 23884 19111 8688 654 1435.76 1800.09/1800.90 c 946497 1344 18783 791383 42 38898 21023 16195 657 1439.42 1800.09/1800.90 c 957859 1344 18772 752745 40 38876 23126 16184 662 1445.99 1800.09/1800.90 c 975005 1344 23090 946087 40 47512 25439 20502 668 1458.33 1800.09/1800.90 c 1000824 1344 18746 699473 37 38824 27983 16158 678 1475.17 1800.09/1800.90 c 1039656 1344 22965 996716 43 47262 30782 20377 688 1511.12 1800.09/1800.90 c 1098010 1344 21485 974247 45 44302 33861 18897 698 1571.69 1800.09/1800.90 c 1185642 1344 18433 789819 42 38198 37248 15845 709 1672.19 1800.09/1800.90 c 1317195 1344 18817 658820 35 38966 40973 16229 734 1793.85 1800.09/1800.90 c Caught signal: 15 1800.09/1800.90 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 1800.09/1800.90 v -x30 -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 1800.09/1800.90 v -x56 -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 1800.09/1800.90 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 1800.09/1800.90 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.90 c 55 1325206 423838 2129098 26828 1014891 24240 736 1800.10 1800.09/1800.90 c Objective: 12 1800.09/1800.90 s SATISFIABLE 1800.09/1800.90 c Total time: 1800.1 s
OK 12
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-453696-1178149841 -o ROOT/results/node20/solver-453696-1178149841 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453696-1178149841/instance-453696-1178149841.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.87 1.00 0.96 3/77 14265 /proc/meminfo: memFree=1644200/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=11756 CPUtime=0 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 373 0 0 0 0 0 0 0 18 0 1 0 262901469 12038144 343 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 2939 344 290 324 0 2004 0 [startup+0.041952 s] /proc/loadavg: 0.87 1.00 0.96 3/77 14265 /proc/meminfo: memFree=1644200/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=4740 CPUtime=0.03 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 572 0 0 0 3 0 0 0 18 0 1 0 262901469 4853760 537 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 1185 539 304 324 0 255 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4740 [startup+0.101951 s] /proc/loadavg: 0.87 1.00 0.96 3/77 14265 /proc/meminfo: memFree=1644200/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=4876 CPUtime=0.09 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 640 0 0 0 9 0 0 0 18 0 1 0 262901469 4993024 605 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 1219 605 309 324 0 289 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4876 [startup+0.301991 s] /proc/loadavg: 0.87 1.00 0.96 3/77 14265 /proc/meminfo: memFree=1644200/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=6056 CPUtime=0.29 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 916 0 0 0 29 0 0 0 19 0 1 0 262901469 6201344 881 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 1514 881 310 324 0 584 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6056 [startup+0.701071 s] /proc/loadavg: 0.87 1.00 0.96 3/77 14265 /proc/meminfo: memFree=1644200/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=7764 CPUtime=0.69 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 1341 0 0 0 69 0 0 0 22 0 1 0 262901469 7950336 1306 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 1941 1306 310 324 0 1011 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7764 [startup+1.50123 s] /proc/loadavg: 0.88 1.00 0.96 2/78 14266 /proc/meminfo: memFree=1638880/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=10388 CPUtime=1.48 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 2020 0 0 0 148 0 0 0 25 0 1 0 262901469 10637312 1985 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 2597 1985 310 324 0 1667 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10388 [startup+3.10256 s] /proc/loadavg: 0.88 1.00 0.96 2/78 14266 /proc/meminfo: memFree=1635744/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=14460 CPUtime=3.09 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 3018 0 0 0 308 1 0 0 25 0 1 0 262901469 14807040 2983 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134574234 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 3615 2984 310 324 0 2685 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14460 [startup+6.3012 s] /proc/loadavg: 0.88 1.00 0.96 2/78 14266 /proc/meminfo: memFree=1628960/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=19800 CPUtime=6.29 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 4367 0 0 0 627 2 0 0 25 0 1 0 262901469 20275200 4332 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 8052428 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 4950 4332 310 324 0 4020 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19800 [startup+12.7015 s] /proc/loadavg: 0.90 1.00 0.96 2/78 14266 /proc/meminfo: memFree=1624736/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=22856 CPUtime=12.69 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 5132 0 0 0 1266 3 0 0 25 0 1 0 262901469 23404544 5097 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 5714 5097 310 324 0 4784 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22856 [startup+25.5011 s] /proc/loadavg: 0.92 1.00 0.96 2/78 14266 /proc/meminfo: memFree=1620512/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=27072 CPUtime=25.48 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 6191 0 0 0 2544 4 0 0 25 0 1 0 262901469 27721728 6156 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550829 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 6768 6156 310 324 0 5838 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27072 [startup+51.1012 s] /proc/loadavg: 0.94 1.00 0.96 2/78 14266 /proc/meminfo: memFree=1617760/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=29812 CPUtime=51.06 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 6879 0 0 0 5101 5 0 0 25 0 1 0 262901469 30527488 6844 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 7453 6844 310 324 0 6523 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 29812 [startup+102.305 s] /proc/loadavg: 0.98 1.00 0.96 2/78 14266 /proc/meminfo: memFree=1613472/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=33960 CPUtime=102.25 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 7978 0 0 0 10218 7 0 0 25 0 1 0 262901469 34775040 7873 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 8490 7873 310 324 0 7560 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 33960 [startup+162.302 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14266 /proc/meminfo: memFree=1611168/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=36304 CPUtime=162.22 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 8622 0 0 0 16214 8 0 0 25 0 1 0 262901469 37175296 8439 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 9076 8439 310 324 0 8146 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 36304 [startup+222.302 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14266 /proc/meminfo: memFree=1606688/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=40728 CPUtime=222.2 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 9776 0 0 0 22210 10 0 0 25 0 1 0 262901469 41705472 9551 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 10182 9551 310 324 0 9252 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 40728 [startup+282.303 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14266 /proc/meminfo: memFree=1606688/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=40728 CPUtime=282.17 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 9860 0 0 0 28207 10 0 0 25 0 1 0 262901469 41705472 9551 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 10182 9551 310 324 0 9252 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 40728 [startup+342.302 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14266 /proc/meminfo: memFree=1606112/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=41248 CPUtime=342.15 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 10034 0 0 0 34204 11 0 0 25 0 1 0 262901469 42237952 9678 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 8052506 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 10312 9678 310 324 0 9382 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 41248 [startup+402.302 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14266 /proc/meminfo: memFree=1603808/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=43588 CPUtime=402.13 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 10664 0 0 0 40200 13 0 0 25 0 1 0 262901469 44634112 10262 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 10897 10262 310 324 0 9967 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 43588 [startup+462.302 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14266 /proc/meminfo: memFree=1603872/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=43588 CPUtime=462.1 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 10711 0 0 0 46197 13 0 0 25 0 1 0 262901469 44634112 10262 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 10897 10262 310 324 0 9967 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 43588 [startup+522.302 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14266 /proc/meminfo: memFree=1601248/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=46072 CPUtime=522.09 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 11452 0 0 0 52195 14 0 0 25 0 1 0 262901469 47177728 10906 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 11518 10906 310 324 0 10588 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 46072 [startup+582.302 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14266 /proc/meminfo: memFree=1579936/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=67456 CPUtime=582.06 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 16823 0 0 0 58187 19 0 0 25 0 1 0 262901469 69074944 16226 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 16864 16226 310 324 0 15934 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 67456 [startup+642.302 s] /proc/loadavg: 0.99 1.00 0.96 2/84 14388 /proc/meminfo: memFree=1578856/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=67456 CPUtime=641.98 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 16874 0 0 0 64178 20 0 0 25 0 1 0 262901469 69074944 16226 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 16864 16226 310 324 0 15934 0 Current children cumulated CPU time (s) 641.98 Current children cumulated vsize (KiB) 67456 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14464 /proc/meminfo: memFree=1579936/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=67476 CPUtime=881.83 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 16930 0 0 0 88162 21 0 0 25 0 1 0 262901469 69095424 16231 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 16869 16231 310 324 0 15939 0 Current children cumulated CPU time (s) 881.83 Current children cumulated vsize (KiB) 67476 [startup+942.301 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14464 /proc/meminfo: memFree=1580000/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=67476 CPUtime=941.81 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 16930 0 0 0 94159 22 0 0 25 0 1 0 262901469 69095424 16231 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 16869 16231 310 324 0 15939 0 Current children cumulated CPU time (s) 941.81 Current children cumulated vsize (KiB) 67476 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14464 /proc/meminfo: memFree=1580000/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=67476 CPUtime=1001.79 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 16930 0 0 0 100157 22 0 0 25 0 1 0 262901469 69095424 16231 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 16869 16231 310 324 0 15939 0 Current children cumulated CPU time (s) 1001.79 Current children cumulated vsize (KiB) 67476 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14464 /proc/meminfo: memFree=1580000/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=67476 CPUtime=1061.77 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 16930 0 0 0 106154 23 0 0 25 0 1 0 262901469 69095424 16231 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 16869 16231 310 324 0 15939 0 Current children cumulated CPU time (s) 1061.77 Current children cumulated vsize (KiB) 67476 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14464 /proc/meminfo: memFree=1580000/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=67388 CPUtime=1121.74 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 16930 0 0 0 112151 23 0 0 25 0 1 0 262901469 69005312 16231 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134572040 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 16847 16231 310 324 0 15917 0 Current children cumulated CPU time (s) 1121.74 Current children cumulated vsize (KiB) 67388 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14464 /proc/meminfo: memFree=1580000/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=67388 CPUtime=1181.72 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 16930 0 0 0 118149 23 0 0 25 0 1 0 262901469 69005312 16231 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 16847 16231 310 324 0 15917 0 Current children cumulated CPU time (s) 1181.72 Current children cumulated vsize (KiB) 67388 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14464 /proc/meminfo: memFree=1580000/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=67388 CPUtime=1241.7 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 16930 0 0 0 124146 24 0 0 25 0 1 0 262901469 69005312 16231 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 16847 16231 310 324 0 15917 0 Current children cumulated CPU time (s) 1241.7 Current children cumulated vsize (KiB) 67388 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14464 /proc/meminfo: memFree=1580000/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=67388 CPUtime=1301.67 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 16930 0 0 0 130143 24 0 0 25 0 1 0 262901469 69005312 16231 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 16847 16231 310 324 0 15917 0 Current children cumulated CPU time (s) 1301.67 Current children cumulated vsize (KiB) 67388 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14464 /proc/meminfo: memFree=1580064/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=67388 CPUtime=1361.66 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 16930 0 0 0 136141 25 0 0 25 0 1 0 262901469 69005312 16231 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 16847 16231 310 324 0 15917 0 Current children cumulated CPU time (s) 1361.66 Current children cumulated vsize (KiB) 67388 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14464 /proc/meminfo: memFree=1580000/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=67408 CPUtime=1421.63 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 16935 0 0 0 142138 25 0 0 25 0 1 0 262901469 69025792 16236 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160521804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 16852 16236 310 324 0 15922 0 Current children cumulated CPU time (s) 1421.63 Current children cumulated vsize (KiB) 67408 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14464 /proc/meminfo: memFree=1580064/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=67388 CPUtime=1481.61 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 16935 0 0 0 148135 26 0 0 25 0 1 0 262901469 69005312 16236 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 16847 16236 310 324 0 15917 0 Current children cumulated CPU time (s) 1481.61 Current children cumulated vsize (KiB) 67388 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14464 /proc/meminfo: memFree=1580000/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=67388 CPUtime=1541.58 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 16935 0 0 0 154132 26 0 0 25 0 1 0 262901469 69005312 16236 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 16847 16236 310 324 0 15917 0 Current children cumulated CPU time (s) 1541.58 Current children cumulated vsize (KiB) 67388 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 0.96 3/78 14464 /proc/meminfo: memFree=1580064/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=67384 CPUtime=1601.57 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 16935 0 0 0 160130 27 0 0 25 0 1 0 262901469 69001216 16236 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 8052507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 16846 16236 310 324 0 15916 0 Current children cumulated CPU time (s) 1601.57 Current children cumulated vsize (KiB) 67384 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14464 /proc/meminfo: memFree=1580064/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=67384 CPUtime=1661.54 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 16935 0 0 0 166127 27 0 0 25 0 1 0 262901469 69001216 16236 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 16846 16236 310 324 0 15916 0 Current children cumulated CPU time (s) 1661.54 Current children cumulated vsize (KiB) 67384 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14464 /proc/meminfo: memFree=1580064/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=67384 CPUtime=1721.51 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 16935 0 0 0 172124 27 0 0 25 0 1 0 262901469 69001216 16236 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 16846 16236 310 324 0 15916 0 Current children cumulated CPU time (s) 1721.51 Current children cumulated vsize (KiB) 67384 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14464 /proc/meminfo: memFree=1580064/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=67384 CPUtime=1781.5 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 16935 0 0 0 178122 28 0 0 25 0 1 0 262901469 69001216 16236 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 16846 16236 310 324 0 15916 0 Current children cumulated CPU time (s) 1781.5 Current children cumulated vsize (KiB) 67384 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14464 /proc/meminfo: memFree=1580064/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=67384 CPUtime=1800.09 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 16935 0 0 0 179981 28 0 0 25 0 1 0 262901469 69001216 16236 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 16846 16236 310 324 0 15916 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 67384 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 0.99 1.00 0.96 2/78 14464 /proc/meminfo: memFree=1580064/2055920 swapFree=4154924/4192956 [pid=14265] ppid=14263 vsize=67384 CPUtime=1800.09 /proc/14265/stat : 14265 (bsolo3.0.17) R 14263 14265 14200 0 -1 4194304 16935 0 0 0 179981 28 0 0 25 0 1 0 262901469 69001216 16236 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14265/statm: 16846 16236 310 324 0 15916 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 67384 Child status: 15 Real time (s): 1800.92 CPU time (s): 1800.11 CPU user time (s): 1799.82 CPU system time (s): 0.295955 CPU usage (%): 99.9552 Max. virtual memory (cumulated for all children) (KiB): 67660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.82 system time used= 0.295955 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16939 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= 3585 runsolver used 1.39779 second user time and 3.9344 second system time The end
Begin job on node20 on Wed May 2 23:50:41 UTC 2007 IDJOB= 453696 IDBENCH= 48147 IDSOLVER= 199 FILE ID= node20/453696-1178149841 PBS_JOBID= 4751076 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_3.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453696-1178149841/instance-453696-1178149841.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-453696-1178149841 -o ROOT/results/node20/solver-453696-1178149841 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453696-1178149841/instance-453696-1178149841.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 8decd85a4aebca069c2c72faa547de31 RANDOM SEED= 796755488 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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.265 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.265 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: 1644608 kB Buffers: 216756 kB Cached: 82480 kB SwapCached: 16828 kB Active: 203096 kB Inactive: 119840 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1644608 kB SwapTotal: 4192956 kB SwapFree: 4154924 kB Dirty: 6824 kB Writeback: 0 kB Mapped: 29744 kB Slab: 73932 kB Committed_AS: 6515896 kB PageTables: 1744 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 node20 on Thu May 3 00:20:44 UTC 2007