Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | -10 | 1800.02 | 1800.52 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_1.opb |
MD5SUM | 26861ca996cf8fd2abe5c211e1f47a26 |
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 | -14 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -14 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
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) | 1220 |
Sum of products size (including duplicates) | 2440 |
Number of different products | 610 |
Sum of products size | 1220 |
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/454890-1178033332/instance-454890-1178033332.opb 0.00/0.00 c File size is 16355 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: 1320 Constr: 2592 1270/102/1220 Lit: 8840 Watch. Lit: 7522 0.00/0.01 c Obj. Vars: 50 (3.78788 % of total variables) 0.39/0.41 c Pre-processing Time: 0.409 s 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 0 1320 2592 8840 3 7522 14413 0 0 0.41 0.39/0.41 c Switching off LPR mode. 0.39/0.41 o -1 0.411 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 0 1320 2593 8890 3 7525 14447 1 0 0.41 0.39/0.41 o -2 0.413 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 0 1320 2594 8940 3 7529 14497 2 0 0.41 0.39/0.41 o -3 0.414 0.39/0.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.42 c 0 1320 2595 8990 3 7534 14563 3 0 0.41 0.39/0.42 o -4 0.416 0.39/0.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.42 c 0 1320 2596 9040 3 7540 14647 4 0 0.42 0.39/0.42 o -5 0.418 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 5 1320 2602 9460 3 7557 14663 10 11 0.42 0.39/0.43 c 105 1320 2702 15443 5 7757 16130 110 243 0.43 0.39/0.43 o -6 0.434 0.68/0.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.68/0.78 c 123 1320 2721 16608 6 7801 14680 129 282 0.43 0.68/0.78 c 223 1320 2821 22369 7 8001 16149 229 498 0.45 0.68/0.78 c 473 1320 3071 37900 12 8501 17764 479 987 0.48 0.68/0.78 c 948 1320 3546 67366 18 9451 19541 954 1798 0.53 0.68/0.78 c 1761 1320 4359 116207 26 11077 21496 1767 2863 0.61 0.68/0.78 o -7 0.777 1.29/1.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.30 c 2952 1320 5551 181797 32 13468 14697 2959 3799 0.78 1.29/1.30 c 3052 1320 5651 187711 33 13668 16167 3059 3853 0.79 1.29/1.30 c 3302 1320 5901 204407 34 14168 17784 3309 3983 0.83 1.29/1.30 c 3777 1320 6376 236587 37 15118 19563 3784 4159 0.91 1.29/1.30 c 4590 1320 7189 287884 40 16744 21520 4597 4277 1.07 1.29/1.30 o -8 1.301 149.24/149.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 149.24/149.32 c 5765 1320 8365 357019 42 19104 14713 5773 4427 1.30 149.24/149.32 c 5865 1320 8465 364830 43 19304 16185 5873 4426 1.32 149.24/149.32 c 6115 1320 8715 382077 43 19804 17804 6123 4427 1.38 149.24/149.32 c 6590 1320 9190 413627 45 20754 19585 6598 4378 1.50 149.24/149.32 c 7403 1320 10003 456598 45 22380 21544 7411 4481 1.65 149.24/149.32 c 8723 1320 11323 529047 46 25020 23699 8731 4579 1.91 149.24/149.32 c 10804 1320 13404 645115 48 29182 26069 10812 4080 2.65 149.24/149.32 c 14027 1320 16627 842384 50 35628 28676 14035 3388 4.14 149.24/149.32 c 18963 1320 21563 1177956 54 45500 31544 18971 2629 7.21 149.24/149.32 c 26469 1320 29069 1675484 57 60512 34699 26477 1920 13.78 149.24/149.32 c 37830 1320 15689 952860 60 33724 38169 13097 1360 27.80 149.24/149.32 c 54974 1320 32833 2039276 62 68012 41986 30241 1519 36.18 149.24/149.32 c 80793 1320 26852 1608142 59 56050 46185 24260 1351 59.76 149.24/149.32 c 119625 1320 29841 1770689 59 62028 50804 27249 1204 99.30 149.24/149.32 o -9 149.279 559.04/559.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 559.04/559.25 c 161885 1320 31604 1952223 61 65563 14580 29012 1084 149.28 559.04/559.25 c 161985 1320 9983 534662 53 22313 16039 7391 1075 150.64 559.04/559.25 c 162235 1320 10233 547734 53 22813 17643 7641 1076 150.70 559.04/559.25 c 162710 1320 10708 573261 53 23763 19408 8116 1078 150.88 559.04/559.25 c 163523 1320 11521 620424 53 25389 21349 8929 1081 151.24 559.04/559.25 c 164843 1320 12841 695834 54 28029 23484 10249 1085 151.91 559.04/559.25 c 166924 1320 14922 815789 54 32191 25833 12330 1090 153.03 559.04/559.25 c 170147 1320 18145 1008485 55 38637 28417 15553 1096 155.12 559.04/559.25 c 175083 1320 23081 1284572 55 48509 31259 20489 1113 157.22 559.04/559.25 c 182590 1320 30588 1715352 56 63523 34385 27996 1131 161.32 559.04/559.25 c 193951 1320 17651 965989 54 37649 37824 15059 1118 173.43 559.04/559.25 c 211095 1320 34795 2090712 60 71937 41607 32203 1126 187.40 559.04/559.25 c 236914 1320 29255 1693789 57 60857 45768 26663 1093 216.62 559.04/559.25 c 275749 1320 32658 1930712 59 67663 50345 30066 1046 263.41 559.04/559.25 c 334101 1320 51106 3418315 66 104559 55380 48514 961 347.32 559.04/559.25 c 421734 1320 49082 3287067 66 100511 60919 46490 838 502.74 559.04/559.25 o -10 559.093 1799.99/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.99/1800.50 c 457303 1320 34380 2055337 59 71117 14597 31788 817 559.09 1799.99/1800.50 c 457403 1320 9992 537217 53 22332 16057 7400 815 560.77 1799.99/1800.50 c 457653 1320 10242 550533 53 22832 17663 7650 815 560.87 1799.99/1800.50 c 458128 1320 10717 577363 53 23782 19430 8125 816 561.12 1799.99/1800.50 c 458941 1320 11530 620987 53 25408 21374 8938 817 561.42 1799.99/1800.50 c 460261 1320 12850 693097 53 28048 23512 10258 819 561.94 1799.99/1800.50 c 462342 1320 14931 808300 54 32210 25864 12339 821 562.81 1799.99/1800.50 c 465565 1320 18154 989074 54 38656 28451 15562 824 564.59 1799.99/1800.50 c 470501 1320 23090 1285420 55 48528 31297 20498 829 567.45 1799.99/1800.50 c 478007 1320 30596 1783571 58 63540 34427 28004 829 576.25 1799.99/1800.50 c 489368 1320 17671 935705 52 37690 37870 15079 828 590.44 1799.99/1800.50 c 506512 1320 34815 1988883 57 71978 41658 32223 841 602.15 1799.99/1800.50 c 532331 1320 29213 1707970 58 60774 45824 26621 848 627.10 1799.99/1800.50 c 571163 1320 32602 1896463 58 67552 50407 30010 844 676.49 1799.99/1800.50 c 629516 1320 51019 3301155 64 104386 55448 48427 823 764.29 1799.99/1800.50 c 717148 1320 48847 3071247 62 100042 60993 46255 798 897.94 1799.99/1800.50 c 848700 1320 29313 1755395 59 60974 67093 26721 753 1125.67 1799.99/1800.50 c 1046132 1320 57583 3740120 64 117514 73803 54991 735 1421.83 1799.99/1800.50 c Resources Exceeded 1799.99/1800.50 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 1799.99/1800.50 v -x30 -x31 -x32 x33 -x34 -x35 x36 -x37 -x38 x39 x40 -x41 -x42 -x43 -x44 -x45 x46 x47 -x48 -x49 x50 -x84 x87 -x78 -x66 -x94 -x86 -x93 1799.99/1800.50 v -x100 x72 x63 -x58 -x68 -x85 -x97 -x99 -x51 -x91 -x60 -x64 -x77 -x73 -x62 -x69 -x59 -x61 -x67 -x70 x82 x52 -x80 -x83 -x81 -x74 1799.99/1800.50 v -x53 -x57 x65 x54 -x88 -x75 -x71 x92 x79 -x95 -x55 x76 -x96 -x56 -x90 -x89 -x98 1799.99/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.99/1800.50 c 64 1229858 587 1238649 52347 3450060 49755 683 1800.00 1799.99/1800.50 c Objective: -10 1799.99/1800.50 s SATISFIABLE 1799.99/1800.50 c Total time: 1800 s
OK -10
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node61/watcher-454890-1178033332 -o ROOT/results/node61/solver-454890-1178033332 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454890-1178033332/instance-454890-1178033332.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.86 0.97 0.99 3/64 26646 /proc/meminfo: memFree=1848264/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=11752 CPUtime=0 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 215296865 12034048 345 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 2938 346 291 324 0 2003 0 [startup+0.0509129 s] /proc/loadavg: 0.86 0.97 0.99 3/64 26646 /proc/meminfo: memFree=1848264/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=4608 CPUtime=0.04 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 564 0 0 0 4 0 0 0 18 0 1 0 215296865 4718592 529 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 1152 529 307 324 0 221 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4608 [startup+0.101917 s] /proc/loadavg: 0.86 0.97 0.99 3/64 26646 /proc/meminfo: memFree=1848264/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=4608 CPUtime=0.09 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 564 0 0 0 9 0 0 0 18 0 1 0 215296865 4718592 529 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 1152 529 307 324 0 221 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4608 [startup+0.301936 s] /proc/loadavg: 0.86 0.97 0.99 3/64 26646 /proc/meminfo: memFree=1848264/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=4608 CPUtime=0.29 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 564 0 0 0 29 0 0 0 19 0 1 0 215296865 4718592 529 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 1152 529 307 324 0 221 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4608 [startup+0.701974 s] /proc/loadavg: 0.86 0.97 0.99 3/64 26646 /proc/meminfo: memFree=1848264/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=6820 CPUtime=0.68 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 1109 0 0 0 68 0 0 0 22 0 1 0 215296865 6983680 1074 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 1705 1074 313 324 0 774 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 6820 [startup+1.50105 s] /proc/loadavg: 0.86 0.97 0.99 2/65 26647 /proc/meminfo: memFree=1843456/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=10576 CPUtime=1.49 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 2052 0 0 0 148 1 0 0 25 0 1 0 215296865 10829824 2017 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 2644 2017 313 324 0 1713 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10576 [startup+3.10121 s] /proc/loadavg: 0.86 0.97 0.99 2/65 26647 /proc/meminfo: memFree=1839040/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=14988 CPUtime=3.08 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 3168 0 0 0 306 2 0 0 25 0 1 0 215296865 15347712 3133 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10501236 0 0 4096 16384 0 0 0 17 0 0 0 /proc/26646/statm: 3747 3133 313 324 0 2816 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 14988 [startup+6.30152 s] /proc/loadavg: 0.87 0.97 0.99 2/65 26647 /proc/meminfo: memFree=1832768/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=20304 CPUtime=6.28 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 4490 0 0 0 623 5 0 0 25 0 1 0 215296865 20791296 4455 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 5076 4455 313 324 0 4145 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 20304 [startup+12.7011 s] /proc/loadavg: 0.88 0.97 0.99 2/65 26647 /proc/meminfo: memFree=1824432/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=27928 CPUtime=12.68 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 6395 0 0 0 1260 8 0 0 25 0 1 0 215296865 28598272 6360 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 6982 6360 313 324 0 6051 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 27928 [startup+25.5013 s] /proc/loadavg: 0.91 0.97 0.99 2/65 26647 /proc/meminfo: memFree=1813232/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=39028 CPUtime=25.48 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 9196 0 0 0 2535 13 0 0 25 0 1 0 215296865 39964672 9125 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 9757 9125 313 324 0 8826 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39028 [startup+51.1018 s] /proc/loadavg: 0.94 0.97 0.99 2/65 26647 /proc/meminfo: memFree=1806128/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=45868 CPUtime=51.07 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 10955 0 0 0 5089 18 0 0 25 0 1 0 215296865 46968832 10841 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 11467 10841 313 324 0 10536 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 45868 [startup+102.306 s] /proc/loadavg: 0.97 0.97 0.99 2/65 26647 /proc/meminfo: memFree=1802800/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=49100 CPUtime=102.26 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 11830 0 0 0 10201 25 0 0 25 0 1 0 215296865 50278400 11669 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 12275 11669 313 324 0 11344 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49100 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 26647 /proc/meminfo: memFree=1797104/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=54884 CPUtime=162.24 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 13325 0 0 0 16189 35 0 0 25 0 1 0 215296865 56201216 13113 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 13721 13113 313 324 0 12790 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 54884 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 26649 /proc/meminfo: memFree=1797040/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=54880 CPUtime=222.23 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 13360 0 0 0 22179 44 0 0 25 0 1 0 215296865 56197120 13113 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 13720 13113 313 324 0 12789 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 54880 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 26649 /proc/meminfo: memFree=1797040/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=54876 CPUtime=282.21 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 13360 0 0 0 28171 50 0 0 25 0 1 0 215296865 56193024 13113 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 13719 13113 313 324 0 12788 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 54876 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 26649 /proc/meminfo: memFree=1797040/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=54876 CPUtime=342.19 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 13360 0 0 0 34163 56 0 0 25 0 1 0 215296865 56193024 13113 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 13719 13113 313 324 0 12788 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 54876 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 26649 /proc/meminfo: memFree=1790896/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=60948 CPUtime=402.18 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 14915 0 0 0 40154 64 0 0 25 0 1 0 215296865 62410752 14612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 15237 14612 313 324 0 14306 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 60948 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 26649 /proc/meminfo: memFree=1790960/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=60948 CPUtime=462.16 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 14971 0 0 0 46148 68 0 0 25 0 1 0 215296865 62410752 14612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 15237 14612 313 324 0 14306 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 60948 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 26649 /proc/meminfo: memFree=1789744/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=62760 CPUtime=522.14 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 15416 0 0 0 52139 75 0 0 25 0 1 0 215296865 64266240 15057 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 15690 15057 313 324 0 14759 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 62760 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 26649 /proc/meminfo: memFree=1786480/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=65436 CPUtime=582.12 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 16173 0 0 0 58130 82 0 0 25 0 1 0 215296865 67006464 15753 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 16359 15753 313 324 0 15428 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 65436 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 26649 /proc/meminfo: memFree=1786352/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=65384 CPUtime=642.11 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 16215 0 0 0 64121 90 0 0 25 0 1 0 215296865 66953216 15741 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 16346 15741 313 324 0 15415 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 65384 ################ # More data... # ################ /proc/meminfo: memFree=1786288/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=65372 CPUtime=1061.99 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 16434 0 0 0 106068 131 0 0 25 0 1 0 215296865 66940928 15738 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 16343 15738 313 324 0 15412 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 65372 [startup+1122.3 s] /proc/loadavg: 1.06 0.99 0.99 2/65 26649 /proc/meminfo: memFree=1786032/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=65628 CPUtime=1121.98 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 16547 0 0 0 112061 137 0 0 25 0 1 0 215296865 67203072 15790 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 16407 15790 313 324 0 15476 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 65628 [startup+1182.3 s] /proc/loadavg: 1.08 1.00 1.00 2/65 26649 /proc/meminfo: memFree=1782384/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=69764 CPUtime=1181.96 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 17583 0 0 0 118051 145 0 0 25 0 1 0 215296865 71438336 16826 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550918 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 17441 16826 313 324 0 16510 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 69764 [startup+1242.3 s] /proc/loadavg: 1.09 1.01 1.00 2/65 26649 /proc/meminfo: memFree=1781168/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=70536 CPUtime=1241.94 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 17831 0 0 0 124044 150 0 0 25 0 1 0 215296865 72228864 17007 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 17634 17007 313 324 0 16703 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 70536 [startup+1302.3 s] /proc/loadavg: 1.03 1.01 1.00 2/65 26649 /proc/meminfo: memFree=1780656/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=71052 CPUtime=1301.94 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 18028 0 0 0 130038 156 0 0 25 0 1 0 215296865 72757248 17137 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 17763 17137 313 324 0 16832 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 71052 [startup+1362.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 26649 /proc/meminfo: memFree=1778736/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=72852 CPUtime=1361.92 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 18560 0 0 0 136029 163 0 0 25 0 1 0 215296865 74600448 17602 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 18213 17602 313 324 0 17282 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 72852 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 3/65 26649 /proc/meminfo: memFree=1778800/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=72852 CPUtime=1421.9 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 18560 0 0 0 142021 169 0 0 25 0 1 0 215296865 74600448 17602 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 18213 17602 313 324 0 17282 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 72852 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26649 /proc/meminfo: memFree=1773808/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=77812 CPUtime=1481.88 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 19869 0 0 0 148015 173 0 0 25 0 1 0 215296865 79679488 18837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 19453 18837 313 324 0 18522 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 77812 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26649 /proc/meminfo: memFree=1773808/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=77812 CPUtime=1541.86 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 19869 0 0 0 154008 178 0 0 25 0 1 0 215296865 79679488 18837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 19453 18837 313 324 0 18522 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 77812 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26649 /proc/meminfo: memFree=1773040/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=78968 CPUtime=1601.85 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 20159 0 0 0 160002 183 0 0 25 0 1 0 215296865 80863232 19127 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 19742 19127 313 324 0 18811 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 78968 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26649 /proc/meminfo: memFree=1771696/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=79868 CPUtime=1661.84 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 20445 0 0 0 165998 186 0 0 25 0 1 0 215296865 81784832 19339 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 19967 19339 313 324 0 19036 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 79868 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26649 /proc/meminfo: memFree=1771760/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=79868 CPUtime=1721.82 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 20445 0 0 0 171991 191 0 0 25 0 1 0 215296865 81784832 19339 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 19967 19339 313 324 0 19036 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 79868 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26649 /proc/meminfo: memFree=1767536/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=83996 CPUtime=1781.8 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 21558 0 0 0 177982 198 0 0 25 0 1 0 215296865 86011904 20378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 20999 20378 313 324 0 20068 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 83996 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26649 /proc/meminfo: memFree=1767536/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=83996 CPUtime=1791.4 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 21558 0 0 0 178941 199 0 0 25 0 1 0 215296865 86011904 20378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 20999 20378 313 324 0 20068 0 Current children cumulated CPU time (s) 1791.4 Current children cumulated vsize (KiB) 83996 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26649 /proc/meminfo: memFree=1767536/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=83996 CPUtime=1794.6 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 21558 0 0 0 179261 199 0 0 25 0 1 0 215296865 86011904 20378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 20999 20378 313 324 0 20068 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (KiB) 83996 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26649 /proc/meminfo: memFree=1767536/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=83996 CPUtime=1797.79 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 21558 0 0 0 179580 199 0 0 25 0 1 0 215296865 86011904 20378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 20999 20378 313 324 0 20068 0 Current children cumulated CPU time (s) 1797.79 Current children cumulated vsize (KiB) 83996 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26649 /proc/meminfo: memFree=1767536/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=83996 CPUtime=1799.39 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 21558 0 0 0 179740 199 0 0 25 0 1 0 215296865 86011904 20378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10825473 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 20999 20378 313 324 0 20068 0 Current children cumulated CPU time (s) 1799.39 Current children cumulated vsize (KiB) 83996 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26649 /proc/meminfo: memFree=1767536/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=83996 CPUtime=1799.79 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 21558 0 0 0 179780 199 0 0 25 0 1 0 215296865 86011904 20378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 20999 20378 313 324 0 20068 0 Current children cumulated CPU time (s) 1799.79 Current children cumulated vsize (KiB) 83996 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26649 /proc/meminfo: memFree=1767536/2055920 swapFree=4184092/4192956 [pid=26646] ppid=26644 vsize=83996 CPUtime=1799.99 /proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 21558 0 0 0 179800 199 0 0 25 0 1 0 215296865 86011904 20378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26646/statm: 20999 20378 313 324 0 20068 0 Current children cumulated CPU time (s) 1799.99 Current children cumulated vsize (KiB) 83996 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.02 CPU user time (s): 1798.01 CPU system time (s): 2.01369 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 84292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.01 system time used= 2.01369 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21559 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= 2684 runsolver used 1.42078 second user time and 3.50247 second system time The end
Begin job on node61 on Tue May 1 15:28:52 UTC 2007 IDJOB= 454890 IDBENCH= 48227 IDSOLVER= 163 FILE ID= node61/454890-1178033332 PBS_JOBID= 4728386 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/bsg/normalized-bsg_50_10_1.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454890-1178033332/instance-454890-1178033332.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-454890-1178033332 -o ROOT/results/node61/solver-454890-1178033332 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454890-1178033332/instance-454890-1178033332.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 26861ca996cf8fd2abe5c211e1f47a26 RANDOM SEED= 746468528 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node61.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: 1848672 kB Buffers: 67612 kB Cached: 72220 kB SwapCached: 2628 kB Active: 109708 kB Inactive: 47616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1848672 kB SwapTotal: 4192956 kB SwapFree: 4184092 kB Dirty: 6792 kB Writeback: 0 kB Mapped: 22364 kB Slab: 36064 kB Committed_AS: 4521344 kB PageTables: 1404 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 node61 on Tue May 1 15:58:53 UTC 2007