Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -10 | 1800.12 | 1800.73 |
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.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/454896-1178033465/instance-454896-1178033465.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.411 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.412 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.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 0 1320 2595 8990 3 7534 14563 3 0 0.41 0.39/0.41 o -4 0.415 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.41 0.39/0.42 o -5 0.416 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 244 0.43 0.39/0.43 o -6 0.432 0.69/0.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.77 c 123 1320 2721 16608 6 7801 14680 129 284 0.43 0.69/0.77 c 223 1320 2821 22369 7 8001 16149 229 501 0.45 0.69/0.77 c 473 1320 3071 37900 12 8501 17764 479 993 0.48 0.69/0.77 c 948 1320 3546 67366 18 9451 19541 954 1812 0.52 0.69/0.77 c 1761 1320 4359 116207 26 11077 21496 1767 2882 0.61 0.69/0.77 o -7 0.772 1.19/1.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.29 c 2952 1320 5551 181797 32 13468 14697 2959 3818 0.77 1.19/1.29 c 3052 1320 5651 187711 33 13668 16167 3059 3873 0.79 1.19/1.29 c 3302 1320 5901 204407 34 14168 17784 3309 4007 0.82 1.19/1.29 c 3777 1320 6376 236587 37 15118 19563 3784 4187 0.90 1.19/1.29 c 4590 1320 7189 287884 40 16744 21520 4597 4309 1.06 1.19/1.29 o -8 1.291 148.74/148.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 148.74/148.85 c 5765 1320 8365 357019 42 19104 14713 5773 4465 1.29 148.74/148.85 c 5865 1320 8465 364830 43 19304 16185 5873 4463 1.31 148.74/148.85 c 6115 1320 8715 382077 43 19804 17804 6123 4463 1.37 148.74/148.85 c 6590 1320 9190 413627 45 20754 19585 6598 4410 1.49 148.74/148.85 c 7403 1320 10003 456598 45 22380 21544 7411 4511 1.64 148.74/148.85 c 8723 1320 11323 529047 46 25020 23699 8731 4612 1.89 148.74/148.85 c 10804 1320 13404 645115 48 29182 26069 10812 4104 2.63 148.74/148.85 c 14027 1320 16627 842384 50 35628 28676 14035 3406 4.12 148.74/148.85 c 18963 1320 21563 1177956 54 45500 31544 18971 2644 7.17 148.74/148.85 c 26469 1320 29069 1675484 57 60512 34699 26477 1925 13.74 148.74/148.85 c 37830 1320 15689 952860 60 33724 38169 13097 1367 27.67 148.74/148.85 c 54974 1320 32833 2039276 62 68012 41986 30241 1525 36.03 148.74/148.85 c 80793 1320 26852 1608142 59 56050 46185 24260 1358 59.45 148.74/148.85 c 119625 1320 29841 1770689 59 62028 50804 27249 1208 98.97 148.74/148.85 o -9 148.792 557.30/557.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 557.30/557.53 c 161885 1320 31604 1952223 61 65563 14580 29012 1087 148.79 557.30/557.53 c 161985 1320 9983 534662 53 22313 16039 7391 1078 150.18 557.30/557.53 c 162235 1320 10233 547734 53 22813 17643 7641 1079 150.23 557.30/557.53 c 162710 1320 10708 573261 53 23763 19408 8116 1081 150.42 557.30/557.53 c 163523 1320 11521 620424 53 25389 21349 8929 1084 150.78 557.30/557.53 c 164843 1320 12841 695834 54 28029 23484 10249 1088 151.44 557.30/557.53 c 166924 1320 14922 815789 54 32191 25833 12330 1094 152.57 557.30/557.53 c 170147 1320 18145 1008485 55 38637 28417 15553 1100 154.65 557.30/557.53 c 175083 1320 23081 1284572 55 48509 31259 20489 1117 156.74 557.30/557.53 c 182590 1320 30588 1715352 56 63523 34385 27996 1135 160.79 557.30/557.53 c 193951 1320 17651 965989 54 37649 37824 15059 1121 172.90 557.30/557.53 c 211095 1320 34795 2090712 60 71937 41607 32203 1130 186.78 557.30/557.53 c 236914 1320 29255 1693789 57 60857 45768 26663 1097 215.90 557.30/557.53 c 275749 1320 32658 1930712 59 67663 50345 30066 1050 262.40 557.30/557.53 c 334101 1320 51106 3418315 66 104559 55380 48514 965 346.02 557.30/557.53 c 421734 1320 49082 3287067 66 100511 60919 46490 841 501.15 557.30/557.53 o -10 557.35 1800.09/1800.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.09/1800.71 c 457303 1320 34380 2055337 59 71117 14597 31788 820 557.35 1800.09/1800.71 c 457403 1320 9992 537217 53 22332 16057 7400 818 559.02 1800.09/1800.71 c 457653 1320 10242 550533 53 22832 17663 7650 818 559.12 1800.09/1800.71 c 458128 1320 10717 577363 53 23782 19430 8125 819 559.37 1800.09/1800.71 c 458941 1320 11530 620987 53 25408 21374 8938 820 559.66 1800.09/1800.71 c 460261 1320 12850 693097 53 28048 23512 10258 821 560.18 1800.09/1800.71 c 462342 1320 14931 808300 54 32210 25864 12339 824 561.05 1800.09/1800.71 c 465565 1320 18154 989074 54 38656 28451 15562 827 562.83 1800.09/1800.71 c 470501 1320 23090 1285420 55 48528 31297 20498 831 565.68 1800.09/1800.71 c 478007 1320 30596 1783571 58 63540 34427 28004 832 574.49 1800.09/1800.71 c 489368 1320 17671 935705 52 37690 37870 15079 831 588.70 1800.09/1800.71 c 506512 1320 34815 1988883 57 71978 41658 32223 843 600.34 1800.09/1800.71 c 532331 1320 29213 1707970 58 60774 45824 26621 851 625.18 1800.09/1800.71 c 571163 1320 32602 1896463 58 67552 50407 30010 846 674.38 1800.09/1800.71 c 629516 1320 51019 3301155 64 104386 55448 48427 826 761.79 1800.09/1800.71 c 717148 1320 48847 3071247 62 100042 60993 46255 801 895.13 1800.09/1800.71 c 848700 1320 29313 1755395 59 60974 67093 26721 756 1122.06 1800.09/1800.71 c 1046132 1320 57583 3740120 64 117514 73803 54991 738 1417.35 1800.09/1800.71 c Caught signal: 15 1800.09/1800.71 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.71 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 1800.09/1800.71 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 1800.09/1800.71 v -x53 -x57 x65 x54 -x88 -x75 -x71 x92 x79 -x95 -x55 x76 -x96 -x56 -x90 -x89 -x98 1800.09/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.71 c 64 1232542 588 1241334 55031 3640513 52439 684 1800.10 1800.09/1800.71 c Objective: -10 1800.09/1800.71 s SATISFIABLE 1800.09/1800.71 c Total time: 1800.1 s
OK -10
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node3/watcher-454896-1178033465 -o ROOT/results/node3/solver-454896-1178033465 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454896-1178033465/instance-454896-1178033465.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.77 0.93 0.98 3/77 22697 /proc/meminfo: memFree=1824608/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=3940 CPUtime=0 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 279384225 4034560 346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 985 346 289 324 0 51 0 [startup+0.0954019 s] /proc/loadavg: 0.77 0.93 0.98 3/77 22697 /proc/meminfo: memFree=1824608/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=4608 CPUtime=0.09 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 561 0 0 0 9 0 0 0 18 0 1 0 279384225 4718592 527 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 1152 527 305 324 0 222 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4608 [startup+0.101403 s] /proc/loadavg: 0.77 0.93 0.98 3/77 22697 /proc/meminfo: memFree=1824608/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=4608 CPUtime=0.09 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 561 0 0 0 9 0 0 0 18 0 1 0 279384225 4718592 527 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 1152 527 305 324 0 222 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4608 [startup+0.301436 s] /proc/loadavg: 0.77 0.93 0.98 3/77 22697 /proc/meminfo: memFree=1824608/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=4608 CPUtime=0.29 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 561 0 0 0 29 0 0 0 19 0 1 0 279384225 4718592 527 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 1152 527 305 324 0 222 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4608 [startup+0.7015 s] /proc/loadavg: 0.77 0.93 0.98 3/77 22697 /proc/meminfo: memFree=1824608/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=6820 CPUtime=0.69 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 1110 0 0 0 69 0 0 0 22 0 1 0 279384225 6983680 1076 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 1705 1076 311 324 0 775 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6820 [startup+1.50163 s] /proc/loadavg: 0.79 0.94 0.98 2/78 22698 /proc/meminfo: memFree=1819864/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=10576 CPUtime=1.49 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 2056 0 0 0 148 1 0 0 25 0 1 0 279384225 10829824 2022 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551424 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 2644 2022 311 324 0 1714 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10576 [startup+3.10189 s] /proc/loadavg: 0.79 0.94 0.98 2/78 22698 /proc/meminfo: memFree=1815320/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=15116 CPUtime=3.09 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 3176 0 0 0 307 2 0 0 25 0 1 0 279384225 15478784 3142 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 3779 3142 311 324 0 2849 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15116 [startup+6.30141 s] /proc/loadavg: 0.79 0.94 0.98 2/78 22698 /proc/meminfo: memFree=1809176/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=20304 CPUtime=6.29 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 4501 0 0 0 626 3 0 0 25 0 1 0 279384225 20791296 4467 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 5076 4467 311 324 0 4146 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20304 [startup+12.7014 s] /proc/loadavg: 0.82 0.94 0.98 2/78 22698 /proc/meminfo: memFree=1800664/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=27928 CPUtime=12.69 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 6398 0 0 0 1264 5 0 0 25 0 1 0 279384225 28598272 6364 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 6982 6364 311 324 0 6052 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27928 [startup+25.5015 s] /proc/loadavg: 0.85 0.94 0.98 2/78 22698 /proc/meminfo: memFree=1789080/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=39028 CPUtime=25.48 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 9193 0 0 0 2541 7 0 0 25 0 1 0 279384225 39964672 9123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 9757 9123 311 324 0 8827 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39028 [startup+51.1017 s] /proc/loadavg: 0.90 0.94 0.98 2/78 22698 /proc/meminfo: memFree=1782040/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=45868 CPUtime=51.07 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 10952 0 0 0 5097 10 0 0 25 0 1 0 279384225 46968832 10839 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 11467 10839 311 324 0 10537 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 45868 [startup+102.306 s] /proc/loadavg: 0.96 0.95 0.98 2/78 22698 /proc/meminfo: memFree=1778776/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=49100 CPUtime=102.25 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 11827 0 0 0 10214 11 0 0 25 0 1 0 279384225 50278400 11667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 12275 11667 311 324 0 11345 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 49100 [startup+162.302 s] /proc/loadavg: 0.98 0.95 0.98 2/78 22700 /proc/meminfo: memFree=1773080/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=54884 CPUtime=162.23 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 13322 0 0 0 16210 13 0 0 25 0 1 0 279384225 56201216 13111 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 13721 13111 311 324 0 12791 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 54884 [startup+222.301 s] /proc/loadavg: 0.99 0.96 0.98 2/78 22700 /proc/meminfo: memFree=1773016/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=54880 CPUtime=222.21 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 13357 0 0 0 22208 13 0 0 25 0 1 0 279384225 56197120 13111 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 13720 13111 311 324 0 12790 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 54880 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22700 /proc/meminfo: memFree=1773016/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=54876 CPUtime=282.19 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 13357 0 0 0 28205 14 0 0 25 0 1 0 279384225 56193024 13111 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 13719 13111 311 324 0 12789 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 54876 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22700 /proc/meminfo: memFree=1773016/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=54876 CPUtime=342.17 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 13357 0 0 0 34203 14 0 0 25 0 1 0 279384225 56193024 13111 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11366117 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 13719 13111 311 324 0 12789 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 54876 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22700 /proc/meminfo: memFree=1766872/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=60948 CPUtime=402.15 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 14912 0 0 0 40199 16 0 0 25 0 1 0 279384225 62410752 14610 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 15237 14610 311 324 0 14307 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 60948 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22700 /proc/meminfo: memFree=1766936/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=60948 CPUtime=462.14 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 14968 0 0 0 46197 17 0 0 25 0 1 0 279384225 62410752 14610 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 15237 14610 311 324 0 14307 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 60948 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22700 /proc/meminfo: memFree=1764952/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=63408 CPUtime=522.12 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 15595 0 0 0 52194 18 0 0 25 0 1 0 279384225 64929792 15237 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 15852 15237 311 324 0 14922 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 63408 [startup+582.303 s] /proc/loadavg: 1.07 0.99 0.98 2/78 22700 /proc/meminfo: memFree=1762520/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=65436 CPUtime=582.1 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 16170 0 0 0 58191 19 0 0 25 0 1 0 279384225 67006464 15751 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 16359 15751 311 324 0 15429 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 65436 [startup+642.302 s] /proc/loadavg: 1.10 1.00 0.99 2/78 22700 /proc/meminfo: memFree=1762392/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=65384 CPUtime=642.08 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 16212 0 0 0 64189 19 0 0 25 0 1 0 279384225 66953216 15739 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 16346 15739 311 324 0 15416 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 65384 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22700 /proc/meminfo: memFree=1762392/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=65372 CPUtime=882.01 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 16309 0 0 0 88180 21 0 0 25 0 1 0 279384225 66940928 15736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 16343 15736 311 324 0 15413 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 65372 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22700 /proc/meminfo: memFree=1762264/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=65372 CPUtime=941.98 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 16370 0 0 0 94177 21 0 0 25 0 1 0 279384225 66940928 15736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 16343 15736 311 324 0 15413 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 65372 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22700 /proc/meminfo: memFree=1762456/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=65372 CPUtime=1001.97 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 16370 0 0 0 100175 22 0 0 25 0 1 0 279384225 66940928 15736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 16343 15736 311 324 0 15413 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 65372 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22700 /proc/meminfo: memFree=1762456/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=65372 CPUtime=1061.95 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 16431 0 0 0 106173 22 0 0 25 0 1 0 279384225 66940928 15736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 16343 15736 311 324 0 15413 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 65372 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22700 /proc/meminfo: memFree=1762200/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=65628 CPUtime=1121.93 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 16544 0 0 0 112170 23 0 0 25 0 1 0 279384225 67203072 15788 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 16407 15788 311 324 0 15477 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 65628 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22700 /proc/meminfo: memFree=1757272/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=70536 CPUtime=1181.91 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 17828 0 0 0 118167 24 0 0 25 0 1 0 279384225 72228864 17005 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 17634 17005 311 324 0 16704 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 70536 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22700 /proc/meminfo: memFree=1757272/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=70536 CPUtime=1241.89 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 17828 0 0 0 124165 24 0 0 25 0 1 0 279384225 72228864 17005 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 17634 17005 311 324 0 16704 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 70536 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22700 /proc/meminfo: memFree=1756696/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=71052 CPUtime=1301.88 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 18025 0 0 0 130163 25 0 0 25 0 1 0 279384225 72757248 17135 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 17763 17135 311 324 0 16833 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 71052 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22700 /proc/meminfo: memFree=1754840/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=72852 CPUtime=1361.85 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 18557 0 0 0 136159 26 0 0 25 0 1 0 279384225 74600448 17600 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 18213 17600 311 324 0 17283 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 72852 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22700 /proc/meminfo: memFree=1754840/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=72852 CPUtime=1421.83 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 18557 0 0 0 142157 26 0 0 25 0 1 0 279384225 74600448 17600 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11366045 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 18213 17600 311 324 0 17283 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 72852 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22700 /proc/meminfo: memFree=1749784/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=77812 CPUtime=1481.81 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 19866 0 0 0 148153 28 0 0 25 0 1 0 279384225 79679488 18835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 19453 18835 311 324 0 18523 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 77812 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22700 /proc/meminfo: memFree=1749784/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=77812 CPUtime=1541.8 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 19866 0 0 0 154151 29 0 0 25 0 1 0 279384225 79679488 18835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 19453 18835 311 324 0 18523 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 77812 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22700 /proc/meminfo: memFree=1747736/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=79868 CPUtime=1601.78 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 20442 0 0 0 160148 30 0 0 25 0 1 0 279384225 81784832 19337 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 19967 19337 311 324 0 19037 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 79868 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22700 /proc/meminfo: memFree=1747736/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=79868 CPUtime=1661.76 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 20442 0 0 0 166146 30 0 0 25 0 1 0 279384225 81784832 19337 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 19967 19337 311 324 0 19037 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 79868 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22700 /proc/meminfo: memFree=1747800/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=79868 CPUtime=1721.74 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 20442 0 0 0 172143 31 0 0 25 0 1 0 279384225 81784832 19337 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 19967 19337 311 324 0 19037 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 79868 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 22700 /proc/meminfo: memFree=1743512/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=83996 CPUtime=1781.72 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 21555 0 0 0 178139 33 0 0 25 0 1 0 279384225 86011904 20376 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 20999 20376 311 324 0 20069 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 83996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.99 2/84 22766 /proc/meminfo: memFree=1742440/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=83996 CPUtime=1800.09 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 21555 0 0 0 179976 33 0 0 25 0 1 0 279384225 86011904 20376 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 20999 20376 311 324 0 20069 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 83996 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.99 2/84 22766 /proc/meminfo: memFree=1742440/2055920 swapFree=4139036/4192956 [pid=22697] ppid=22695 vsize=83996 CPUtime=1800.09 /proc/22697/stat : 22697 (bsolo3.0.17) R 22695 22697 22632 0 -1 4194304 21555 0 0 0 179976 33 0 0 25 0 1 0 279384225 86011904 20376 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22697/statm: 20999 20376 311 324 0 20069 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 83996 Child status: 15 Real time (s): 1800.73 CPU time (s): 1800.12 CPU user time (s): 1799.77 CPU system time (s): 0.352946 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (KiB): 83996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.77 system time used= 0.352946 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= 2284 runsolver used 1.41678 second user time and 3.99539 second system time The end
Begin job on node3 on Tue May 1 15:31:05 UTC 2007 IDJOB= 454896 IDBENCH= 48227 IDSOLVER= 199 FILE ID= node3/454896-1178033465 PBS_JOBID= 4728434 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/bsg/normalized-bsg_50_10_1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454896-1178033465/instance-454896-1178033465.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-454896-1178033465 -o ROOT/results/node3/solver-454896-1178033465 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454896-1178033465/instance-454896-1178033465.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 26861ca996cf8fd2abe5c211e1f47a26 RANDOM SEED= 216399891 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node3.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.270 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.270 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: 1825080 kB Buffers: 47024 kB Cached: 105716 kB SwapCached: 16784 kB Active: 114268 kB Inactive: 61440 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1825080 kB SwapTotal: 4192956 kB SwapFree: 4139036 kB Dirty: 6748 kB Writeback: 0 kB Mapped: 29596 kB Slab: 40584 kB Committed_AS: 8428936 kB PageTables: 1780 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 node3 on Tue May 1 16:01:08 UTC 2007