Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 12 | 1800.12 | 1800.02 |
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.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/453771-1178155367/instance-453771-1178155367.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.008 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.043 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.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 2598 9036 3 6447 8104 2 0 0.04 0.00/0.04 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.047 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.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 2601 9336 3 6465 8604 5 0 0.05 0.00/0.05 o 94 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 2602 9436 3 6473 8837 6 0 0.05 0.00/0.05 o 93 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 2603 9536 3 6482 9104 7 0 0.05 0.00/0.05 o 92 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 2604 9636 3 6492 9404 8 0 0.05 0.00/0.05 o 91 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 2605 9736 3 6503 9737 9 0 0.05 0.00/0.05 o 90 0.053 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1348 2606 9836 3 6515 10104 10 0 0.05 0.00/0.05 o 89 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 2607 9936 3 6528 10504 11 0 0.05 0.00/0.05 o 88 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 2608 10036 3 6542 10937 12 0 0.06 0.00/0.06 o 87 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 2609 10136 3 6557 11404 13 0 0.06 0.00/0.06 o 86 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 2610 10236 3 6573 11904 14 0 0.06 0.00/0.06 o 82 0.058 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.06 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 16 0.06 0.00/0.06 o 15 0.062 0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.07 c 8 1348 2621 10880 4 6782 12404 25 129 0.06 0.00/0.07 o 14 0.073 7.99/8.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.99/8.01 c 90 1348 2704 15473 5 7034 12404 108 1232 0.07 7.99/8.01 c 191 1348 2805 21476 7 7236 13645 209 2247 0.09 7.99/8.01 c 442 1348 3056 32560 10 7738 15010 460 3745 0.12 7.99/8.01 c 918 1348 3532 59677 16 8690 16512 936 4935 0.19 7.99/8.01 c 1732 1348 4346 99067 22 10318 18164 1750 5697 0.30 7.99/8.01 c 3055 1348 5669 154794 27 12964 19981 3073 5807 0.53 7.99/8.01 c 5136 1348 7750 261356 33 17126 21980 5154 5481 0.94 7.99/8.01 c 8360 1348 10974 438492 39 23574 24179 8378 4600 1.82 7.99/8.01 c 13296 1348 15910 769103 48 33446 26597 13314 3203 4.15 7.99/8.01 c 20803 1348 23417 1126630 48 48460 29257 20821 2637 7.89 7.99/8.01 o 13 8.009 561.72/561.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 561.72/561.73 c 21057 1348 23672 1138469 48 49057 12404 21076 2628 8.01 561.72/561.73 c 21157 1348 8899 312367 35 19133 13645 6303 2530 8.36 561.72/561.73 c 21407 1348 9149 325262 35 19633 15010 6553 2539 8.43 561.72/561.73 c 21883 1348 9625 347866 36 20585 16512 7029 2569 8.52 561.72/561.73 c 22696 1348 10438 383923 36 22211 18164 7842 2595 8.75 561.72/561.73 c 24018 1348 11760 434194 36 24855 19981 9164 2648 9.07 561.72/561.73 c 26100 1348 13842 525249 37 29019 21980 11246 2706 9.64 561.72/561.73 c 29325 1348 17067 675091 39 35469 24179 14471 2754 10.65 561.72/561.73 c 34261 1348 22003 942197 42 45341 26597 19407 2540 13.48 561.72/561.73 c 41769 1348 13786 559578 40 28907 29257 11190 2143 19.48 561.72/561.73 c 53130 1348 25147 1104039 43 51629 32183 22551 2111 25.16 561.72/561.73 c 70274 1348 20525 1112819 54 42385 35402 17929 1658 42.37 561.72/561.73 c 96093 1348 21688 1610042 74 44711 38943 19092 1338 71.77 561.72/561.73 c 134925 1348 32559 1620073 49 66453 42838 29963 1206 111.83 561.72/561.73 c 193279 1348 27571 1137063 41 56477 47122 24975 1120 172.51 561.72/561.73 c 280912 1348 43611 1922864 44 88557 51835 41015 1014 276.84 561.72/561.73 c 412465 1348 14551 511854 35 30437 57019 11955 759 543.16 561.72/561.73 o 12 561.759 1800.10/1800.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.10/1800.00 c 433322 1348 35409 1521764 42 72241 8937 32813 771 561.76 1800.10/1800.00 c 433422 1348 7166 214635 29 15668 9831 4570 769 563.45 1800.10/1800.00 c 433673 1348 7417 223875 30 16170 10815 4821 769 563.51 1800.10/1800.00 c 434148 1348 7892 244819 31 17120 11897 5296 770 563.63 1800.10/1800.00 c 434962 1348 8706 282093 32 18748 13087 6110 771 563.84 1800.10/1800.00 c 436283 1348 10027 338795 33 21390 14396 7431 773 564.20 1800.10/1800.00 c 438364 1348 12108 424800 35 25552 15836 9512 776 564.71 1800.10/1800.00 c 441587 1348 15331 558327 36 31998 17420 12735 780 566.08 1800.10/1800.00 c 446523 1348 11307 453346 40 23950 19163 8711 785 568.57 1800.10/1800.00 c 454030 1348 18814 803782 42 38964 21080 16218 793 572.28 1800.10/1800.00 c 465393 1348 18772 857681 45 38880 23189 16176 801 580.61 1800.10/1800.00 c 482540 1348 22964 1059554 46 47264 25508 20368 812 594.09 1800.10/1800.00 c 508363 1348 19500 842138 43 40336 28059 16904 824 616.32 1800.10/1800.00 c 547196 1348 23406 989030 42 48148 30865 20810 841 650.12 1800.10/1800.00 c 605549 1348 22558 1052647 46 46452 33952 19962 850 712.10 1800.10/1800.00 c 693181 1348 18938 840655 44 39212 37348 16342 860 805.09 1800.10/1800.00 c 824734 1348 20112 656181 32 41560 41083 17516 869 948.39 1800.10/1800.00 c 1022167 1348 40644 1894483 46 82624 45192 38048 830 1230.09 1800.10/1800.00 c 1318421 1348 34721 1439924 41 70778 49712 32125 798 1650.32 1800.10/1800.00 c Caught signal: 15 1800.10/1800.00 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.10/1800.00 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.10/1800.00 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.10/1800.00 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 1800.10/1800.00 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.10/1800.00 c 63 1418976 455289 2291025 19953 885398 17357 788 1800.10 1800.10/1800.00 c Objective: 12 1800.10/1800.00 s SATISFIABLE 1800.10/1800.00 c Total time: 1800.1 s
OK 12
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-453771-1178155367 -o ROOT/results/node16/solver-453771-1178155367 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453771-1178155367/instance-453771-1178155367.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.96 1.01 0.99 3/77 3002 /proc/meminfo: memFree=1802280/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=3944 CPUtime=0 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 263454334 4038656 348 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 986 348 289 324 0 51 0 [startup+0.0942551 s] /proc/loadavg: 0.96 1.01 0.99 3/77 3002 /proc/meminfo: memFree=1802280/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=4880 CPUtime=0.08 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 625 0 0 0 8 0 0 0 18 0 1 0 263454334 4997120 590 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 1220 590 310 324 0 290 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4880 [startup+0.101253 s] /proc/loadavg: 0.96 1.01 0.99 3/77 3002 /proc/meminfo: memFree=1802280/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=4880 CPUtime=0.09 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 635 0 0 0 9 0 0 0 18 0 1 0 263454334 4997120 600 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 1220 600 310 324 0 290 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4880 [startup+0.301213 s] /proc/loadavg: 0.96 1.01 0.99 3/77 3002 /proc/meminfo: memFree=1802280/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=5924 CPUtime=0.29 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 903 0 0 0 29 0 0 0 19 0 1 0 263454334 6066176 868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 1481 868 310 324 0 551 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5924 [startup+0.701126 s] /proc/loadavg: 0.96 1.01 0.99 3/77 3002 /proc/meminfo: memFree=1802280/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=7624 CPUtime=0.69 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 1313 0 0 0 69 0 0 0 23 0 1 0 263454334 7806976 1278 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 1906 1278 310 324 0 976 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7624 [startup+1.50196 s] /proc/loadavg: 0.96 1.01 0.99 2/78 3003 /proc/meminfo: memFree=1797344/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=10236 CPUtime=1.49 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 1967 0 0 0 148 1 0 0 25 0 1 0 263454334 10481664 1932 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 2559 1932 310 324 0 1629 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10236 [startup+3.10262 s] /proc/loadavg: 0.96 1.01 0.99 2/78 3003 /proc/meminfo: memFree=1793760/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=14020 CPUtime=3.1 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 2919 0 0 0 308 2 0 0 25 0 1 0 263454334 14356480 2884 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134573437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 3505 2884 310 324 0 2575 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 14020 [startup+6.30195 s] /proc/loadavg: 0.96 1.01 0.99 2/78 3003 /proc/meminfo: memFree=1787424/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=19484 CPUtime=6.3 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 4272 0 0 0 627 3 0 0 25 0 1 0 263454334 19951616 4237 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 4871 4237 310 324 0 3941 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 19484 [startup+12.7016 s] /proc/loadavg: 0.96 1.01 0.99 2/78 3003 /proc/meminfo: memFree=1784240/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=21544 CPUtime=12.69 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 4801 0 0 0 1266 3 0 0 25 0 1 0 263454334 22061056 4766 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 5386 4766 310 324 0 4456 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21544 [startup+25.5019 s] /proc/loadavg: 0.97 1.01 0.99 2/78 3003 /proc/meminfo: memFree=1781680/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=24104 CPUtime=25.5 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 5446 0 0 0 2546 4 0 0 25 0 1 0 263454334 24682496 5411 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 6026 5411 310 324 0 5096 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 24104 [startup+51.1015 s] /proc/loadavg: 0.98 1.01 0.99 2/78 3003 /proc/meminfo: memFree=1774512/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=31760 CPUtime=51.09 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 7391 0 0 0 5104 5 0 0 25 0 1 0 263454334 32522240 7323 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 7940 7323 310 324 0 7010 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 31760 [startup+102.306 s] /proc/loadavg: 0.99 1.00 0.99 2/78 3003 /proc/meminfo: memFree=1762736/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=43004 CPUtime=102.29 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 10260 0 0 0 10222 7 0 0 25 0 1 0 263454334 44036096 10117 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 10751 10117 310 324 0 9821 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 43004 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 3003 /proc/meminfo: memFree=1762736/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=43020 CPUtime=162.3 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 10264 0 0 0 16222 8 0 0 25 0 1 0 263454334 44052480 10121 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 10755 10121 310 324 0 9825 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 43020 [startup+222.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 3003 /proc/meminfo: memFree=1762736/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=43032 CPUtime=222.3 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 10268 0 0 0 22222 8 0 0 25 0 1 0 263454334 44064768 10125 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 10758 10125 310 324 0 9828 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 43032 [startup+282.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 3003 /proc/meminfo: memFree=1762736/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=43008 CPUtime=282.31 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 10268 0 0 0 28222 9 0 0 25 0 1 0 263454334 44040192 10125 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 10752 10125 310 324 0 9822 0 Current children cumulated CPU time (s) 282.31 Current children cumulated vsize (KiB) 43008 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 3003 /proc/meminfo: memFree=1762800/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=43024 CPUtime=342.31 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 10272 0 0 0 34222 9 0 0 25 0 1 0 263454334 44056576 10129 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 10756 10129 310 324 0 9826 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 43024 [startup+402.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 3003 /proc/meminfo: memFree=1759920/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=45612 CPUtime=402.31 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 10981 0 0 0 40221 10 0 0 25 0 1 0 263454334 46706688 10786 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 11403 10786 310 324 0 10473 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 45612 [startup+462.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 3003 /proc/meminfo: memFree=1759984/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=45612 CPUtime=462.31 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 10981 0 0 0 46221 10 0 0 25 0 1 0 263454334 46706688 10786 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 11403 10786 310 324 0 10473 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 45612 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 3003 /proc/meminfo: memFree=1759984/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=45612 CPUtime=522.31 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 11033 0 0 0 52221 10 0 0 25 0 1 0 263454334 46706688 10786 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 11403 10786 310 324 0 10473 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 45612 [startup+582.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 3003 /proc/meminfo: memFree=1759984/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=45612 CPUtime=582.32 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 11084 0 0 0 58221 11 0 0 25 0 1 0 263454334 46706688 10786 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 11403 10786 310 324 0 10473 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 45612 [startup+642.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 3003 /proc/meminfo: memFree=1759984/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=45612 CPUtime=642.33 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 11084 0 0 0 64222 11 0 0 25 0 1 0 263454334 46706688 10786 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 11403 10786 310 324 0 10473 0 Current children cumulated CPU time (s) 642.33 Current children cumulated vsize (KiB) 45612 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 3005 /proc/meminfo: memFree=1759984/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=45612 CPUtime=822.33 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 11084 0 0 0 82221 12 0 0 25 0 1 0 263454334 46706688 10786 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 11403 10786 310 324 0 10473 0 Current children cumulated CPU time (s) 822.33 Current children cumulated vsize (KiB) 45612 [startup+882.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 3005 /proc/meminfo: memFree=1759984/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=45612 CPUtime=882.34 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 11084 0 0 0 88221 13 0 0 25 0 1 0 263454334 46706688 10786 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 11403 10786 310 324 0 10473 0 Current children cumulated CPU time (s) 882.34 Current children cumulated vsize (KiB) 45612 [startup+942.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 3005 /proc/meminfo: memFree=1760048/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=45612 CPUtime=942.34 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 11084 0 0 0 94221 13 0 0 25 0 1 0 263454334 46706688 10786 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546114 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 11403 10786 310 324 0 10473 0 Current children cumulated CPU time (s) 942.34 Current children cumulated vsize (KiB) 45612 [startup+1002.3 s] /proc/loadavg: 1.06 1.02 1.00 2/78 3005 /proc/meminfo: memFree=1760048/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=45612 CPUtime=1002.35 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 11084 0 0 0 100221 14 0 0 25 0 1 0 263454334 46706688 10786 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 11403 10786 310 324 0 10473 0 Current children cumulated CPU time (s) 1002.35 Current children cumulated vsize (KiB) 45612 [startup+1062.3 s] /proc/loadavg: 1.10 1.03 1.01 2/78 3005 /proc/meminfo: memFree=1760048/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=45612 CPUtime=1062.35 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 11084 0 0 0 106221 14 0 0 25 0 1 0 263454334 46706688 10786 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7646983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 11403 10786 310 324 0 10473 0 Current children cumulated CPU time (s) 1062.35 Current children cumulated vsize (KiB) 45612 [startup+1122.3 s] /proc/loadavg: 1.04 1.02 1.00 2/78 3005 /proc/meminfo: memFree=1760112/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=45612 CPUtime=1122.35 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 11084 0 0 0 112221 14 0 0 25 0 1 0 263454334 46706688 10786 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134559677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 11403 10786 310 324 0 10473 0 Current children cumulated CPU time (s) 1122.35 Current children cumulated vsize (KiB) 45612 [startup+1182.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 3005 /proc/meminfo: memFree=1760112/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=45612 CPUtime=1182.36 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 11084 0 0 0 118221 15 0 0 25 0 1 0 263454334 46706688 10786 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 11403 10786 310 324 0 10473 0 Current children cumulated CPU time (s) 1182.36 Current children cumulated vsize (KiB) 45612 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 3005 /proc/meminfo: memFree=1760112/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=45612 CPUtime=1242.36 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 11084 0 0 0 124221 15 0 0 25 0 1 0 263454334 46706688 10786 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 11403 10786 310 324 0 10473 0 Current children cumulated CPU time (s) 1242.36 Current children cumulated vsize (KiB) 45612 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3005 /proc/meminfo: memFree=1760112/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=45612 CPUtime=1302.37 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 11084 0 0 0 130221 16 0 0 25 0 1 0 263454334 46706688 10786 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 11403 10786 310 324 0 10473 0 Current children cumulated CPU time (s) 1302.37 Current children cumulated vsize (KiB) 45612 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3005 /proc/meminfo: memFree=1760112/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=45612 CPUtime=1362.37 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 11084 0 0 0 136221 16 0 0 25 0 1 0 263454334 46706688 10786 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 11403 10786 310 324 0 10473 0 Current children cumulated CPU time (s) 1362.37 Current children cumulated vsize (KiB) 45612 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3005 /proc/meminfo: memFree=1760112/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=45612 CPUtime=1422.38 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 11084 0 0 0 142221 17 0 0 25 0 1 0 263454334 46706688 10786 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 11403 10786 310 324 0 10473 0 Current children cumulated CPU time (s) 1422.38 Current children cumulated vsize (KiB) 45612 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3005 /proc/meminfo: memFree=1760112/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=45612 CPUtime=1482.37 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 11084 0 0 0 148220 17 0 0 25 0 1 0 263454334 46706688 10786 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 11403 10786 310 324 0 10473 0 Current children cumulated CPU time (s) 1482.37 Current children cumulated vsize (KiB) 45612 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3005 /proc/meminfo: memFree=1760112/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=45612 CPUtime=1542.38 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 11084 0 0 0 154221 17 0 0 25 0 1 0 263454334 46706688 10786 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 11403 10786 310 324 0 10473 0 Current children cumulated CPU time (s) 1542.38 Current children cumulated vsize (KiB) 45612 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3005 /proc/meminfo: memFree=1760048/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=45612 CPUtime=1602.38 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 11084 0 0 0 160220 18 0 0 25 0 1 0 263454334 46706688 10786 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 11403 10786 310 324 0 10473 0 Current children cumulated CPU time (s) 1602.38 Current children cumulated vsize (KiB) 45612 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3005 /proc/meminfo: memFree=1760048/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=45612 CPUtime=1662.38 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 11084 0 0 0 166220 18 0 0 25 0 1 0 263454334 46706688 10786 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 11403 10786 310 324 0 10473 0 Current children cumulated CPU time (s) 1662.38 Current children cumulated vsize (KiB) 45612 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3005 /proc/meminfo: memFree=1760048/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=45612 CPUtime=1722.38 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 11084 0 0 0 172220 18 0 0 25 0 1 0 263454334 46706688 10786 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134573434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 11403 10786 310 324 0 10473 0 Current children cumulated CPU time (s) 1722.38 Current children cumulated vsize (KiB) 45612 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3005 /proc/meminfo: memFree=1760048/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=45612 CPUtime=1782.39 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 11084 0 0 0 178220 19 0 0 25 0 1 0 263454334 46706688 10786 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 11403 10786 310 324 0 10473 0 Current children cumulated CPU time (s) 1782.39 Current children cumulated vsize (KiB) 45612 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3005 /proc/meminfo: memFree=1760048/2055920 swapFree=4148560/4192956 [pid=3002] ppid=3000 vsize=45612 CPUtime=1800.1 /proc/3002/stat : 3002 (bsolo3.0.17) R 3000 3002 2610 0 -1 4194304 11084 0 0 0 179991 19 0 0 25 0 1 0 263454334 46706688 10786 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7638769 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3002/statm: 11403 10786 310 324 0 10473 0 Current children cumulated CPU time (s) 1800.1 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 Child status: 15 Real time (s): 1800.02 CPU time (s): 1800.12 CPU user time (s): 1799.91 CPU system time (s): 0.204968 CPU usage (%): 100.006 Max. virtual memory (cumulated for all children) (KiB): 45820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.91 system time used= 0.204968 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11088 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= 36198 runsolver used 1.43878 second user time and 4.09938 second system time The end
Begin job on node16 on Thu May 3 01:22:47 UTC 2007 IDJOB= 453771 IDBENCH= 48152 IDSOLVER= 199 FILE ID= node16/453771-1178155367 PBS_JOBID= 4751086 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453771-1178155367/instance-453771-1178155367.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-453771-1178155367 -o ROOT/results/node16/solver-453771-1178155367 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453771-1178155367/instance-453771-1178155367.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 55d0299800773493d27ef2c1b95d10c5 RANDOM SEED= 175940430 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node16.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.232 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.232 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: 1802688 kB Buffers: 88868 kB Cached: 81556 kB SwapCached: 12496 kB Active: 118376 kB Inactive: 83676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1802688 kB SwapTotal: 4192956 kB SwapFree: 4148560 kB Dirty: 6636 kB Writeback: 0 kB Mapped: 34984 kB Slab: 36652 kB Committed_AS: 13940784 kB PageTables: 1848 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 node16 on Thu May 3 01:52:49 UTC 2007