Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 12 | 1800.04 | 1800.54 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_1.opb |
MD5SUM | 55d0299800773493d27ef2c1b95d10c5 |
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) | 1248 |
Sum of products size (including duplicates) | 2496 |
Number of different products | 1248 |
Sum of products size | 2496 |
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/453765-1178155228/instance-453765-1178155228.opb 0.00/0.00 c File size is 17047 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: 1348 Constr: 2596 1348/0/1248 Lit: 8836 Watch. Lit: 6440 0.00/0.01 c Obj. Vars: 100 (7.4184 % of total variables) 0.00/0.04 c Pre-processing Time: 0.042 s 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 0 1348 2596 8836 3 6440 7937 0 0 0.04 0.00/0.04 c Switching off LPR mode. 0.00/0.04 o 99 0.044 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 0 1348 2597 8936 3 6443 8004 1 0 0.04 0.00/0.04 o 98 0.045 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1348 2598 9036 3 6447 8104 2 0 0.04 0.00/0.05 o 97 0.046 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1348 2599 9136 3 6452 8237 3 0 0.05 0.00/0.05 o 96 0.048 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1348 2600 9236 3 6458 8404 4 0 0.05 0.00/0.05 o 95 0.049 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1348 2601 9336 3 6465 8604 5 0 0.05 0.00/0.05 o 94 0.05 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1348 2602 9436 3 6473 8837 6 0 0.05 0.00/0.05 o 93 0.051 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1348 2603 9536 3 6482 9104 7 0 0.05 0.00/0.05 o 92 0.052 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1348 2604 9636 3 6492 9404 8 0 0.05 0.00/0.05 o 91 0.054 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1348 2605 9736 3 6503 9737 9 0 0.05 0.00/0.05 o 90 0.055 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 1348 2606 9836 3 6515 10104 10 0 0.06 0.00/0.06 o 89 0.056 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 1348 2607 9936 3 6528 10504 11 0 0.06 0.00/0.06 o 88 0.057 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 1348 2608 10036 3 6542 10937 12 0 0.06 0.00/0.06 o 87 0.059 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 1348 2609 10136 3 6557 11404 13 0 0.06 0.00/0.06 o 86 0.06 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 1348 2610 10236 3 6573 11904 14 0 0.06 0.00/0.06 o 82 0.061 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 1 1348 2612 10422 3 6595 12037 16 16 0.06 0.00/0.06 o 16 0.063 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 1 1348 2613 10522 4 6681 12404 17 15 0.06 0.00/0.06 o 15 0.065 0.00/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.08 c 8 1348 2621 10880 4 6782 12404 25 123 0.07 0.00/0.08 o 14 0.076 7.98/8.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.98/8.03 c 90 1348 2704 15473 5 7034 12404 108 1184 0.08 7.98/8.03 c 191 1348 2805 21476 7 7236 13645 209 2146 0.09 7.98/8.03 c 442 1348 3056 32560 10 7738 15010 460 3622 0.12 7.98/8.03 c 918 1348 3532 59677 16 8690 16512 936 4831 0.19 7.98/8.03 c 1732 1348 4346 99067 22 10318 18164 1750 5605 0.31 7.98/8.03 c 3055 1348 5669 154794 27 12964 19981 3073 5731 0.53 7.98/8.03 c 5136 1348 7750 261356 33 17126 21980 5154 5406 0.95 7.98/8.03 c 8360 1348 10974 438492 39 23574 24179 8378 4565 1.83 7.98/8.03 c 13296 1348 15910 769103 48 33446 26597 13314 3183 4.18 7.98/8.03 c 20803 1348 23417 1126630 48 48460 29257 20821 2629 7.91 7.98/8.03 o 13 8.033 563.04/563.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 563.04/563.21 c 21057 1348 23672 1138469 48 49057 12404 21076 2620 8.03 563.04/563.21 c 21157 1348 8899 312367 35 19133 13645 6303 2524 8.38 563.04/563.21 c 21407 1348 9149 325262 35 19633 15010 6553 2533 8.45 563.04/563.21 c 21883 1348 9625 347866 36 20585 16512 7029 2563 8.54 563.04/563.21 c 22696 1348 10438 383923 36 22211 18164 7842 2590 8.76 563.04/563.21 c 24018 1348 11760 434194 36 24855 19981 9164 2644 9.08 563.04/563.21 c 26100 1348 13842 525249 37 29019 21980 11246 2704 9.65 563.04/563.21 c 29325 1348 17067 675091 39 35469 24179 14471 2752 10.65 563.04/563.21 c 34261 1348 22003 942197 42 45341 26597 19407 2538 13.49 563.04/563.21 c 41769 1348 13786 559578 40 28907 29257 11190 2137 19.54 563.04/563.21 c 53130 1348 25147 1104039 43 51629 32183 22551 2104 25.25 563.04/563.21 c 70274 1348 20525 1112819 54 42385 35402 17929 1655 42.45 563.04/563.21 c 96093 1348 21688 1610042 74 44711 38943 19092 1337 71.83 563.04/563.21 c 134925 1348 32559 1620073 49 66453 42838 29963 1204 112.00 563.04/563.21 c 193279 1348 27571 1137063 41 56477 47122 24975 1117 172.89 563.04/563.21 c 280912 1348 43611 1922864 44 88557 51835 41015 1012 277.55 563.04/563.21 c 412465 1348 14551 511854 35 30437 57019 11955 757 544.45 563.04/563.21 o 12 563.054 1800.00/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.00/1800.50 c 433322 1348 35409 1521764 42 72241 8937 32813 769 563.05 1800.00/1800.50 c 433422 1348 7166 214635 29 15668 9831 4570 767 564.73 1800.00/1800.50 c 433673 1348 7417 223875 30 16170 10815 4821 767 564.79 1800.00/1800.50 c 434148 1348 7892 244819 31 17120 11897 5296 768 564.92 1800.00/1800.50 c 434962 1348 8706 282093 32 18748 13087 6110 769 565.13 1800.00/1800.50 c 436283 1348 10027 338795 33 21390 14396 7431 771 565.48 1800.00/1800.50 c 438364 1348 12108 424800 35 25552 15836 9512 774 566.00 1800.00/1800.50 c 441587 1348 15331 558327 36 31998 17420 12735 778 567.37 1800.00/1800.50 c 446523 1348 11307 453346 40 23950 19163 8711 783 569.83 1800.00/1800.50 c 454030 1348 18814 803782 42 38964 21080 16218 791 573.53 1800.00/1800.50 c 465393 1348 18772 857681 45 38880 23189 16176 799 581.95 1800.00/1800.50 c 482540 1348 22964 1059554 46 47264 25508 20368 810 595.42 1800.00/1800.50 c 508363 1348 19500 842138 43 40336 28059 16904 822 617.72 1800.00/1800.50 c 547196 1348 23406 989030 42 48148 30865 20810 839 651.50 1800.00/1800.50 c 605549 1348 22558 1052647 46 46452 33952 19962 848 713.62 1800.00/1800.50 c 693181 1348 18938 840655 44 39212 37348 16342 859 806.90 1800.00/1800.50 c 824734 1348 20112 656181 32 41560 41083 17516 867 950.38 1800.00/1800.50 c 1022167 1348 40644 1894483 46 82624 45192 38048 829 1232.84 1800.00/1800.50 c 1318421 1348 34721 1439924 41 70778 49712 32125 796 1654.50 1800.00/1800.50 c Caught signal: 15 1800.00/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 1800.00/1800.50 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.00/1800.50 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 -x82 1800.00/1800.50 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 1800.00/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.00/1800.50 c 63 1413475 453525 2282282 30159 1372001 27563 785 1800.01 1800.00/1800.50 c Objective: 12 1800.00/1800.50 s SATISFIABLE 1800.00/1800.50 c Total time: 1800.01 s
OK 12
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node11/watcher-453765-1178155228 -o ROOT/results/node11/solver-453765-1178155228 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453765-1178155228/instance-453765-1178155228.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.92 0.98 0.99 3/77 23710 /proc/meminfo: memFree=1795496/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=3944 CPUtime=0 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 379 0 0 0 0 0 0 0 18 0 1 0 256571749 4038656 349 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 986 350 291 324 0 50 0 [startup+0.0908439 s] /proc/loadavg: 0.92 0.98 0.99 3/77 23710 /proc/meminfo: memFree=1795496/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=4880 CPUtime=0.08 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 618 0 0 0 8 0 0 0 18 0 1 0 256571749 4997120 583 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 1220 583 312 324 0 289 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4880 [startup+0.101844 s] /proc/loadavg: 0.92 0.98 0.99 3/77 23710 /proc/meminfo: memFree=1795496/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=4880 CPUtime=0.09 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 631 0 0 0 9 0 0 0 18 0 1 0 256571749 4997120 596 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 1220 596 312 324 0 289 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4880 [startup+0.301868 s] /proc/loadavg: 0.92 0.98 0.99 3/77 23710 /proc/meminfo: memFree=1795496/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=5924 CPUtime=0.29 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 898 0 0 0 29 0 0 0 19 0 1 0 256571749 6066176 863 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 1481 863 312 324 0 550 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5924 [startup+0.701916 s] /proc/loadavg: 0.92 0.98 0.99 3/77 23710 /proc/meminfo: memFree=1795496/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=7624 CPUtime=0.69 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 1308 0 0 0 68 1 0 0 22 0 1 0 256571749 7806976 1273 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 1906 1273 312 324 0 975 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7624 [startup+1.50201 s] /proc/loadavg: 0.93 0.98 0.99 2/78 23711 /proc/meminfo: memFree=1790624/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=10236 CPUtime=1.49 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 1960 0 0 0 148 1 0 0 25 0 1 0 256571749 10481664 1925 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 2559 1925 312 324 0 1628 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10236 [startup+3.1012 s] /proc/loadavg: 0.93 0.98 0.99 2/78 23711 /proc/meminfo: memFree=1787360/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=14020 CPUtime=3.09 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 2910 0 0 0 306 3 0 0 25 0 1 0 256571749 14356480 2875 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 3505 2875 312 324 0 2574 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14020 [startup+6.30158 s] /proc/loadavg: 0.93 0.98 0.99 2/78 23711 /proc/meminfo: memFree=1781024/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=19356 CPUtime=6.29 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 4262 0 0 0 625 4 0 0 25 0 1 0 256571749 19820544 4227 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 4839 4227 312 324 0 3908 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19356 [startup+12.7023 s] /proc/loadavg: 0.94 0.98 0.99 2/78 23711 /proc/meminfo: memFree=1777632/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=21544 CPUtime=12.68 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 4803 0 0 0 1261 7 0 0 25 0 1 0 256571749 22061056 4768 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 5386 4768 312 324 0 4455 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21544 [startup+25.5018 s] /proc/loadavg: 0.95 0.98 0.99 2/78 23711 /proc/meminfo: memFree=1775072/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=24104 CPUtime=25.48 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 5448 0 0 0 2538 10 0 0 25 0 1 0 256571749 24682496 5413 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 6026 5413 312 324 0 5095 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24104 [startup+51.1019 s] /proc/loadavg: 0.97 0.98 0.99 2/78 23711 /proc/meminfo: memFree=1767968/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=31760 CPUtime=51.07 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 7380 0 0 0 5089 18 0 0 25 0 1 0 256571749 32522240 7312 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 7940 7312 312 324 0 7009 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 31760 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 23711 /proc/meminfo: memFree=1756064/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=43004 CPUtime=102.26 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 10262 0 0 0 10197 29 0 0 25 0 1 0 256571749 44036096 10119 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 10751 10119 312 324 0 9820 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 43004 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23711 /proc/meminfo: memFree=1756064/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=43020 CPUtime=162.24 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 10266 0 0 0 16185 39 0 0 25 0 1 0 256571749 44052480 10123 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 10755 10123 312 324 0 9824 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 43020 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23711 /proc/meminfo: memFree=1756064/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=43032 CPUtime=222.22 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 10270 0 0 0 22173 49 0 0 25 0 1 0 256571749 44064768 10127 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 10758 10127 312 324 0 9827 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 43032 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23711 /proc/meminfo: memFree=1756064/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=43008 CPUtime=282.21 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 10270 0 0 0 28163 58 0 0 25 0 1 0 256571749 44040192 10127 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 10752 10127 312 324 0 9821 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 43008 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23711 /proc/meminfo: memFree=1756064/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=43024 CPUtime=342.19 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 10274 0 0 0 34155 64 0 0 25 0 1 0 256571749 44056576 10131 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 10756 10131 312 324 0 9825 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 43024 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23711 /proc/meminfo: memFree=1753184/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=45612 CPUtime=402.17 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 10983 0 0 0 40150 67 0 0 25 0 1 0 256571749 46706688 10788 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 11403 10788 312 324 0 10472 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 45612 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23711 /proc/meminfo: memFree=1753184/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=45612 CPUtime=462.15 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 10983 0 0 0 46141 74 0 0 25 0 1 0 256571749 46706688 10788 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 11403 10788 312 324 0 10472 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 45612 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23711 /proc/meminfo: memFree=1753120/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=45612 CPUtime=522.15 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 11035 0 0 0 52131 84 0 0 25 0 1 0 256571749 46706688 10788 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 11403 10788 312 324 0 10472 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 45612 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23711 /proc/meminfo: memFree=1753120/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=45612 CPUtime=582.13 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 11086 0 0 0 58120 93 0 0 25 0 1 0 256571749 46706688 10788 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 11403 10788 312 324 0 10472 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 45612 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23711 /proc/meminfo: memFree=1753120/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=45612 CPUtime=642.11 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 11086 0 0 0 64105 106 0 0 25 0 1 0 256571749 46706688 10788 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 11403 10788 312 324 0 10472 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 45612 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23711 /proc/meminfo: memFree=1753120/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=45612 CPUtime=882.05 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 11086 0 0 0 88059 146 0 0 25 0 1 0 256571749 46706688 10788 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 11403 10788 312 324 0 10472 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 45612 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23711 /proc/meminfo: memFree=1753120/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=45612 CPUtime=942.03 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 11086 0 0 0 94048 155 0 0 25 0 1 0 256571749 46706688 10788 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 11403 10788 312 324 0 10472 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 45612 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23711 /proc/meminfo: memFree=1753120/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=45612 CPUtime=1002.01 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 11086 0 0 0 100037 164 0 0 25 0 1 0 256571749 46706688 10788 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 11403 10788 312 324 0 10472 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 45612 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23711 /proc/meminfo: memFree=1753056/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=45612 CPUtime=1062 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 11086 0 0 0 106028 172 0 0 25 0 1 0 256571749 46706688 10788 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 11403 10788 312 324 0 10472 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 45612 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23711 /proc/meminfo: memFree=1753056/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=45612 CPUtime=1121.98 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 11086 0 0 0 112018 180 0 0 25 0 1 0 256571749 46706688 10788 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4160527325 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 11403 10788 312 324 0 10472 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 45612 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23711 /proc/meminfo: memFree=1752992/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=45612 CPUtime=1181.96 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 11086 0 0 0 118008 188 0 0 25 0 1 0 256571749 46706688 10788 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 11403 10788 312 324 0 10472 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 45612 [startup+1242.3 s] /proc/loadavg: 1.03 1.00 1.00 2/78 23711 /proc/meminfo: memFree=1752992/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=45612 CPUtime=1241.94 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 11086 0 0 0 124000 194 0 0 25 0 1 0 256571749 46706688 10788 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551670 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 11403 10788 312 324 0 10472 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 45612 [startup+1302.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 23711 /proc/meminfo: memFree=1752992/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=45612 CPUtime=1301.94 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 11086 0 0 0 129990 204 0 0 25 0 1 0 256571749 46706688 10788 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 11403 10788 312 324 0 10472 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 45612 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23711 /proc/meminfo: memFree=1752992/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=45612 CPUtime=1361.92 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 11086 0 0 0 135977 215 0 0 25 0 1 0 256571749 46706688 10788 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 11403 10788 312 324 0 10472 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 45612 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23711 /proc/meminfo: memFree=1752928/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=45612 CPUtime=1421.91 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 11086 0 0 0 141969 222 0 0 25 0 1 0 256571749 46706688 10788 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 11403 10788 312 324 0 10472 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 45612 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 23711 /proc/meminfo: memFree=1752928/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=45612 CPUtime=1481.89 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 11086 0 0 0 147959 230 0 0 25 0 1 0 256571749 46706688 10788 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 11403 10788 312 324 0 10472 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 45612 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23711 /proc/meminfo: memFree=1752992/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=45612 CPUtime=1541.87 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 11086 0 0 0 153950 237 0 0 25 0 1 0 256571749 46706688 10788 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 11403 10788 312 324 0 10472 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 45612 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23713 /proc/meminfo: memFree=1752800/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=45612 CPUtime=1601.84 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 11086 0 0 0 159941 243 0 0 25 0 1 0 256571749 46706688 10788 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551306 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 11403 10788 312 324 0 10472 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 45612 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23713 /proc/meminfo: memFree=1752800/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=45612 CPUtime=1661.84 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 11086 0 0 0 165930 254 0 0 25 0 1 0 256571749 46706688 10788 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 11403 10788 312 324 0 10472 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 45612 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23713 /proc/meminfo: memFree=1752800/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=45612 CPUtime=1721.81 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 11086 0 0 0 171919 262 0 0 25 0 1 0 256571749 46706688 10788 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134572232 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 11403 10788 312 324 0 10472 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 45612 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23713 /proc/meminfo: memFree=1752800/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=45612 CPUtime=1781.8 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 11086 0 0 0 177911 269 0 0 25 0 1 0 256571749 46706688 10788 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 11403 10788 312 324 0 10472 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 45612 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23713 /proc/meminfo: memFree=1752864/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=45612 CPUtime=1800 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 11086 0 0 0 179729 271 0 0 25 0 1 0 256571749 46706688 10788 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 11403 10788 312 324 0 10472 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 45612 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23713 /proc/meminfo: memFree=1752864/2055920 swapFree=4147120/4192956 [pid=23710] ppid=23708 vsize=45612 CPUtime=1800 /proc/23710/stat : 23710 (bsolo3.0.16) R 23708 23710 23234 0 -1 4194304 11086 0 0 0 179729 271 0 0 25 0 1 0 256571749 46706688 10788 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23710/statm: 11403 10788 312 324 0 10472 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 45612 Child status: 15 Real time (s): 1800.54 CPU time (s): 1800.04 CPU user time (s): 1797.32 CPU system time (s): 2.71859 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 45820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.32 system time used= 2.71859 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11087 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= 3911 runsolver used 1.3198 second user time and 3.98439 second system time The end
Begin job on node11 on Thu May 3 01:20:28 UTC 2007 IDJOB= 453765 IDBENCH= 48152 IDSOLVER= 163 FILE ID= node11/453765-1178155228 PBS_JOBID= 4751082 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_1.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453765-1178155228/instance-453765-1178155228.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-453765-1178155228 -o ROOT/results/node11/solver-453765-1178155228 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453765-1178155228/instance-453765-1178155228.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 55d0299800773493d27ef2c1b95d10c5 RANDOM SEED= 627303828 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node11.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.235 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.235 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: 1795968 kB Buffers: 92236 kB Cached: 81792 kB SwapCached: 14264 kB Active: 89048 kB Inactive: 113048 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1795968 kB SwapTotal: 4192956 kB SwapFree: 4147120 kB Dirty: 6680 kB Writeback: 0 kB Mapped: 34772 kB Slab: 43352 kB Committed_AS: 7324424 kB PageTables: 1860 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 node11 on Thu May 3 01:50:31 UTC 2007