Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 684.304 | 684.486 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=89-P1=181-P2=233-P3=19-P4=167-P5=113-P6=191-P7=61-P8=59-B.opb |
MD5SUM | a6d214cc283b484f5cca285d86c4d8bb |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.319951 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 192 |
Total number of constraints | 17 |
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 | 17 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 512 |
Sum of products size (including duplicates) | 1024 |
Number of different products | 512 |
Sum of products size | 1024 |
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/430996-1178001690/instance-430996-1178001690.opb 0.00/0.00 c File size is 9292 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.004 s 0.00/0.00 c Var: 704 Constr: 1049 512/0/537 Lit: 4408 Watch. Lit: 2706 0.00/0.00 c Obj. Vars: 8 (1.13636 % of total variables) 0.00/0.01 c Pre-processing Time: 0.011 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 704 1049 4408 4 3786 5914 0 0 0.01 0.00/0.01 c Switching off LPR mode. 410.48/410.67 c 101 704 1150 10433 9 3905 6506 101 4809 0.02 410.48/410.67 c 252 704 1301 19823 15 4223 7157 252 7636 0.03 410.48/410.67 c 479 704 1528 35785 23 4694 7873 479 9580 0.05 410.48/410.67 c 818 704 1867 59546 31 5348 8661 818 10225 0.08 410.48/410.67 c 1326 704 2375 92319 38 6369 9528 1326 10200 0.13 410.48/410.67 c 2089 704 3138 145401 46 7761 10481 2089 9761 0.21 410.48/410.67 c 3235 704 4284 221124 51 9968 11530 3235 8513 0.38 410.48/410.67 c 4957 704 6006 349595 58 13426 12684 4957 7982 0.62 410.48/410.67 c 7541 704 8590 511421 59 18718 13953 7541 6450 1.17 410.48/410.67 c 11421 704 12470 755624 60 26459 15349 11421 4463 2.56 410.48/410.67 c 17244 704 10382 575280 55 22242 16884 9333 2638 6.54 410.48/410.67 c 25982 704 10647 565324 53 22737 18573 9598 1821 14.27 410.48/410.67 c 39093 704 13857 935006 67 29269 20431 12808 1945 20.10 410.48/410.67 c 58763 704 12384 720261 58 26255 22475 11335 1918 30.63 410.48/410.68 c 88273 703 18341 1039039 56 38164 24723 17292 1875 47.06 410.48/410.68 c 132543 703 20042 1318446 65 41617 27196 18993 1607 82.43 410.48/410.68 c 198953 701 21568 1531218 70 44652 29916 20519 1280 155.43 410.48/410.68 c 298573 698 24819 1588478 64 51137 32908 23770 1192 250.46 410.48/410.68 o 67 410.567 577.54/577.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 577.54/577.77 c 412801 697 29016 1988282 68 59488 5930 27967 1005 410.57 577.54/577.77 c 412903 697 4126 227791 55 9825 6524 3077 1004 411.03 577.54/577.77 c 413154 697 4377 245479 56 10282 7177 3328 1005 411.06 577.54/577.77 c 413629 697 4852 278256 57 11211 7895 3803 1006 411.12 577.54/577.77 c 414442 697 5665 332925 58 12855 8685 4616 1007 411.24 577.54/577.77 c 415763 697 6986 420633 60 15497 9554 5937 1010 411.47 577.54/577.77 c 417844 697 9067 556795 61 19633 10510 8018 1013 412.11 577.54/577.77 c 421067 697 6965 388681 55 15435 11562 5916 1017 413.63 577.54/577.77 c 426003 697 11901 719102 60 25334 12719 10852 1024 415.77 577.54/577.77 c 433509 697 12658 750401 59 26793 13991 11609 1028 421.39 577.54/577.77 c 444871 697 9922 556903 56 21407 15391 8873 1033 430.40 577.54/577.77 c 462015 697 11051 640306 57 23647 16931 10002 1035 446.16 577.54/577.77 c 487835 697 10577 674598 63 22684 18625 9528 1052 463.57 577.54/577.77 c 526667 694 11512 674772 58 24545 20488 10463 1059 497.09 577.54/577.77 c 585019 684 17032 980608 57 35660 22537 15983 1027 569.27 577.54/577.77 o 65 577.618 578.14/578.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 578.14/578.33 c 593087 681 13369 761737 56 28367 5928 12320 1026 577.62 578.14/578.33 c 593187 681 4128 208382 50 9878 6521 3079 1026 577.76 578.14/578.33 c 593437 681 4378 225151 51 10317 7174 3329 1027 577.79 578.14/578.33 c 593912 681 4853 258264 53 11298 7892 3804 1027 577.84 578.14/578.33 c 594725 681 5666 315311 55 12880 8682 4617 1028 577.98 578.14/578.33 o 5 578.182 591.73/591.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 591.73/591.94 c 595937 681 6879 394345 57 15289 5928 5830 1030 578.18 591.73/591.94 c 596038 672 6980 404882 58 15580 6521 5931 1030 578.20 591.73/591.94 c 596288 672 7230 422178 58 16029 7174 6181 1031 578.26 591.73/591.94 c 596764 672 7706 454833 59 16984 7892 6657 1031 578.41 591.73/591.94 c 597577 672 8519 508148 59 18599 8682 7470 1032 578.76 591.73/591.94 c 598897 672 5416 296737 54 12398 9551 4367 1033 579.47 591.73/591.94 c 600979 653 7498 439341 58 16538 10507 6449 1036 579.96 591.73/591.94 c 604203 653 10722 649688 60 23028 11558 9673 1037 582.24 591.73/591.94 c 609139 653 9762 569781 58 21107 12714 8713 1040 585.66 591.73/591.94 c 616645 641 10661 655002 61 22854 13986 9612 1043 591.10 591.73/591.94 o 3 591.79 684.21/684.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 684.21/684.47 c 618475 641 12492 780180 62 26543 5920 11443 1045 591.79 684.21/684.47 c 618576 641 4128 210527 50 9765 6513 3079 1044 591.97 684.21/684.47 c 618826 641 4378 224981 51 10287 7165 3329 1045 592.04 684.21/684.47 c 619301 641 4853 254904 52 11198 7882 3804 1045 592.15 684.21/684.47 c 620115 641 5667 305321 53 12823 8671 4618 1046 592.39 684.21/684.47 c 621436 641 6988 388826 55 15484 9539 5939 1048 592.93 684.21/684.47 c 623518 641 9070 521643 57 19689 10493 8021 1049 593.95 684.21/684.47 c 626742 641 6940 374111 53 15404 11543 5891 1051 595.81 684.21/684.47 c 631679 641 11877 680970 57 25266 12698 10828 1054 598.83 684.21/684.47 c 639186 641 12920 739546 57 27365 13968 11871 1056 604.98 684.21/684.47 c 650547 620 10051 556041 55 21687 15365 9002 1057 615.08 684.21/684.47 c 667691 620 11268 651081 57 24086 16902 10219 1067 625.23 684.21/684.47 c 693511 617 10760 605798 56 23166 18593 9711 1082 640.68 684.21/684.47 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 -x30 -x31 684.21/684.47 v -x32 x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 x41 x42 -x43 -x44 -x45 x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 684.21/684.47 v -x60 -x61 -x62 x63 x64 x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x129 -x130 -x131 -x132 -x133 684.21/684.47 v -x134 -x135 -x136 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x137 -x138 x139 x140 x141 -x142 -x143 -x144 x89 -x90 x91 -x92 -x93 -x94 684.21/684.47 v -x95 -x96 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x97 -x98 -x99 x100 x101 -x102 -x103 -x104 -x153 -x154 -x155 -x156 684.21/684.47 v -x157 -x158 -x159 -x160 x105 x106 -x107 x108 -x109 x110 x111 -x112 x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 x113 -x114 684.21/684.47 v -x115 -x116 -x117 -x118 x119 -x120 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x121 -x122 -x123 -x124 -x125 -x126 -x127 684.21/684.47 v -x128 x177 -x178 -x179 -x180 x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 684.21/684.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 684.21/684.47 c 61 728188 7038 764840 17161 909252 16112 1064 684.30 684.21/684.47 c Objective: 3 684.21/684.47 s OPTIMUM FOUND 684.21/684.47 c Total time: 684.296 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-430996-1178001690 -o ROOT/results/node44/solver-430996-1178001690 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430996-1178001690/instance-430996-1178001690.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.86 0.93 0.97 3/77 16249 /proc/meminfo: memFree=1828320/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=3936 CPUtime=0 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 248080710 4030464 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 984 348 291 324 0 50 0 [startup+0.0540351 s] /proc/loadavg: 0.86 0.93 0.97 3/77 16249 /proc/meminfo: memFree=1828320/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=4716 CPUtime=0.04 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 594 0 0 0 4 0 0 0 18 0 1 0 248080710 4829184 560 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 1179 560 312 324 0 248 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4716 [startup+0.10104 s] /proc/loadavg: 0.86 0.93 0.97 3/77 16249 /proc/meminfo: memFree=1828320/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=5236 CPUtime=0.09 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 723 0 0 0 9 0 0 0 18 0 1 0 248080710 5361664 689 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 1309 689 312 324 0 378 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5236 [startup+0.30106 s] /proc/loadavg: 0.86 0.93 0.97 3/77 16249 /proc/meminfo: memFree=1828320/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=6788 CPUtime=0.28 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 1118 0 0 0 28 0 0 0 19 0 1 0 248080710 6950912 1084 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 1697 1084 312 324 0 766 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 6788 [startup+0.701101 s] /proc/loadavg: 0.86 0.93 0.97 3/77 16249 /proc/meminfo: memFree=1828320/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=9632 CPUtime=0.69 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 1835 0 0 0 68 1 0 0 22 0 1 0 248080710 9863168 1801 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 2408 1801 312 324 0 1477 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9632 [startup+1.50118 s] /proc/loadavg: 0.86 0.93 0.97 2/78 16250 /proc/meminfo: memFree=1821080/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=12224 CPUtime=1.48 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 2454 0 0 0 147 1 0 0 25 0 1 0 248080710 12517376 2420 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 3056 2420 312 324 0 2125 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 12224 [startup+3.10135 s] /proc/loadavg: 0.86 0.93 0.97 2/78 16250 /proc/meminfo: memFree=1818328/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=15984 CPUtime=3.09 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 3424 0 0 0 306 3 0 0 25 0 1 0 248080710 16367616 3390 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 3996 3390 312 324 0 3065 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15984 [startup+6.30168 s] /proc/loadavg: 0.87 0.93 0.97 2/78 16250 /proc/meminfo: memFree=1813152/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=18824 CPUtime=6.28 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 4128 0 0 0 624 4 0 0 25 0 1 0 248080710 19275776 4094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 4706 4094 312 324 0 3775 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 18824 [startup+12.7013 s] /proc/loadavg: 0.88 0.93 0.97 2/78 16250 /proc/meminfo: memFree=1812920/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=18828 CPUtime=12.68 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 4129 0 0 0 1263 5 0 0 25 0 1 0 248080710 19279872 4095 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 4707 4095 312 324 0 3776 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18828 [startup+25.5016 s] /proc/loadavg: 0.90 0.93 0.97 2/78 16250 /proc/meminfo: memFree=1807104/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=25600 CPUtime=25.48 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 5816 0 0 0 2539 9 0 0 25 0 1 0 248080710 26214400 5782 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 6400 5782 312 324 0 5469 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25600 [startup+51.1013 s] /proc/loadavg: 0.94 0.94 0.97 2/78 16250 /proc/meminfo: memFree=1804672/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=27260 CPUtime=51.07 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 6235 0 0 0 5094 13 0 0 25 0 1 0 248080710 27914240 6201 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 6815 6201 312 324 0 5884 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 27260 [startup+102.306 s] /proc/loadavg: 0.97 0.94 0.97 2/78 16250 /proc/meminfo: memFree=1799552/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=32368 CPUtime=102.26 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 7516 0 0 0 10203 23 0 0 25 0 1 0 248080710 33144832 7482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 8092 7482 312 324 0 7161 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 32368 [startup+162.302 s] /proc/loadavg: 0.99 0.95 0.97 2/78 16250 /proc/meminfo: memFree=1795008/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=36876 CPUtime=162.25 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 8645 0 0 0 16192 33 0 0 25 0 1 0 248080710 37761024 8611 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 9219 8611 312 324 0 8288 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 36876 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.97 3/78 16250 /proc/meminfo: memFree=1794944/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=36872 CPUtime=222.23 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 8645 0 0 0 22184 39 0 0 25 0 1 0 248080710 37756928 8611 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11722524 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 9218 8611 312 324 0 8287 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 36872 [startup+282.301 s] /proc/loadavg: 0.99 0.96 0.97 2/78 16250 /proc/meminfo: memFree=1794944/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=36872 CPUtime=282.21 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 8648 0 0 0 28175 46 0 0 25 0 1 0 248080710 37756928 8612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 9218 8612 312 324 0 8287 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 36872 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16250 /proc/meminfo: memFree=1793408/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=38412 CPUtime=342.19 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9068 0 0 0 34166 53 0 0 25 0 1 0 248080710 39333888 8966 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 9603 8966 312 324 0 8672 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 38412 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16250 /proc/meminfo: memFree=1793408/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=38396 CPUtime=402.18 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9068 0 0 0 40159 59 0 0 25 0 1 0 248080710 39317504 8966 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551548 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 9599 8966 312 324 0 8668 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 38396 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16250 /proc/meminfo: memFree=1793408/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=38260 CPUtime=462.17 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9069 0 0 0 46149 68 0 0 25 0 1 0 248080710 39178240 8960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551273 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 9565 8960 313 324 0 8634 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 38260 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16250 /proc/meminfo: memFree=1793408/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=38260 CPUtime=522.15 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9069 0 0 0 52139 76 0 0 25 0 1 0 248080710 39178240 8960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572879 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 9565 8960 313 324 0 8634 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 38260 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16250 /proc/meminfo: memFree=1793408/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=38120 CPUtime=582.14 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9069 0 0 0 58130 84 0 0 25 0 1 0 248080710 39034880 8925 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 9530 8925 313 324 0 8599 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 38120 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16250 /proc/meminfo: memFree=1793792/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=37768 CPUtime=642.12 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9069 0 0 0 64117 95 0 0 25 0 1 0 248080710 38674432 8837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 9442 8837 313 324 0 8511 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 37768 Solver just ended. Dumping a history of the last processes samples [startup+665.505 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16250 /proc/meminfo: memFree=1793728/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=37768 CPUtime=665.31 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9069 0 0 0 66434 97 0 0 25 0 1 0 248080710 38674432 8837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 9442 8837 313 324 0 8511 0 Current children cumulated CPU time (s) 665.31 Current children cumulated vsize (KiB) 37768 [startup+671.901 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16250 /proc/meminfo: memFree=1793728/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=37768 CPUtime=671.72 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9069 0 0 0 67073 99 0 0 25 0 1 0 248080710 38674432 8837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 9442 8837 313 324 0 8511 0 Current children cumulated CPU time (s) 671.72 Current children cumulated vsize (KiB) 37768 [startup+678.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16250 /proc/meminfo: memFree=1793728/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=37768 CPUtime=678.11 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9069 0 0 0 67712 99 0 0 25 0 1 0 248080710 38674432 8837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 9442 8837 313 324 0 8511 0 Current children cumulated CPU time (s) 678.11 Current children cumulated vsize (KiB) 37768 [startup+681.501 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16250 /proc/meminfo: memFree=1793728/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=37768 CPUtime=681.31 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9069 0 0 0 68032 99 0 0 25 0 1 0 248080710 38674432 8837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 9442 8837 313 324 0 8511 0 Current children cumulated CPU time (s) 681.31 Current children cumulated vsize (KiB) 37768 [startup+683.105 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16250 /proc/meminfo: memFree=1793728/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=37768 CPUtime=682.92 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9069 0 0 0 68192 100 0 0 25 0 1 0 248080710 38674432 8837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 9442 8837 313 324 0 8511 0 Current children cumulated CPU time (s) 682.92 Current children cumulated vsize (KiB) 37768 [startup+683.902 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16250 /proc/meminfo: memFree=1793728/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=37768 CPUtime=683.71 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9069 0 0 0 68271 100 0 0 25 0 1 0 248080710 38674432 8837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11715145 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 9442 8837 313 324 0 8511 0 Current children cumulated CPU time (s) 683.71 Current children cumulated vsize (KiB) 37768 [startup+684.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16250 /proc/meminfo: memFree=1793728/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=37768 CPUtime=684.11 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9069 0 0 0 68311 100 0 0 25 0 1 0 248080710 38674432 8837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 9442 8837 313 324 0 8511 0 Current children cumulated CPU time (s) 684.11 Current children cumulated vsize (KiB) 37768 [startup+684.401 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16250 /proc/meminfo: memFree=1793728/2055920 swapFree=4156220/4192956 [pid=16249] ppid=16247 vsize=37768 CPUtime=684.21 /proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9069 0 0 0 68321 100 0 0 25 0 1 0 248080710 38674432 8837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 9442 8837 313 324 0 8511 0 Current children cumulated CPU time (s) 684.21 Current children cumulated vsize (KiB) 37768 Child status: 0 Real time (s): 684.486 CPU time (s): 684.304 CPU user time (s): 683.295 CPU system time (s): 1.00885 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 38544 getrusage(RUSAGE_CHILDREN,...) data: user time used= 683.295 system time used= 1.00885 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9070 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= 10 involuntary context switches= 1116 runsolver used 0.512922 second user time and 1.55176 second system time The end
Begin job on node44 on Tue May 1 06:41:30 UTC 2007 IDJOB= 430996 IDBENCH= 48020 IDSOLVER= 163 FILE ID= node44/430996-1178001690 PBS_JOBID= 4728243 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=89-P1=181-P2=233-P3=19-P4=167-P5=113-P6=191-P7=61-P8=59-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430996-1178001690/instance-430996-1178001690.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-430996-1178001690 -o ROOT/results/node44/solver-430996-1178001690 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430996-1178001690/instance-430996-1178001690.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= a6d214cc283b484f5cca285d86c4d8bb RANDOM SEED= 511753998 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.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.234 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.234 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: 1828792 kB Buffers: 28244 kB Cached: 107412 kB SwapCached: 13740 kB Active: 95372 kB Inactive: 65356 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1828792 kB SwapTotal: 4192956 kB SwapFree: 4156220 kB Dirty: 6752 kB Writeback: 0 kB Mapped: 33060 kB Slab: 51908 kB Committed_AS: 1569208 kB PageTables: 1740 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 node44 on Tue May 1 06:52:55 UTC 2007