Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 294.629 | 294.744 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=79-P1=163-P2=61-P3=127-P4=163-P5=211-B.opb |
MD5SUM | 0b0d874eaa404001e586f84b413e6897 |
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.187971 |
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 | 120 |
Total number of constraints | 11 |
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 | 11 |
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) | 320 |
Sum of products size (including duplicates) | 640 |
Number of different products | 320 |
Sum of products size | 640 |
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/432102-1178013685/instance-432102-1178013685.opb 0.00/0.00 c File size is 5712 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.003 s 0.00/0.00 c Var: 440 Constr: 656 320/0/336 Lit: 2752 Watch. Lit: 1692 0.00/0.00 c Obj. Vars: 8 (1.81818 % of total variables) 0.00/0.01 c Pre-processing Time: 0.007 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 440 656 2752 4 2364 3690 0 0 0.01 0.00/0.01 c Switching off LPR mode. 4.98/5.06 c 103 440 759 8504 11 2513 4060 103 6437 0.02 4.98/5.06 c 253 440 909 18432 20 2759 4467 253 9035 0.03 4.98/5.06 c 478 440 1134 34294 30 3176 4914 478 9372 0.05 4.98/5.06 c 817 440 1473 55370 37 3846 5406 817 9390 0.09 4.98/5.06 c 1326 440 1982 84901 42 4846 5947 1326 8339 0.16 4.98/5.06 c 2090 440 2746 136378 49 6433 6542 2090 8636 0.24 4.98/5.06 c 3237 440 3893 206193 52 8775 7197 3237 7598 0.43 4.98/5.06 c 4958 440 5614 306102 54 12189 7917 4958 5460 0.91 4.98/5.06 c 7543 440 8199 455348 55 17345 8709 7543 3945 1.91 4.98/5.06 c 11423 440 7661 416214 54 16256 9580 7005 3819 2.99 4.98/5.06 c 17246 440 8379 493853 58 17701 10539 7723 3667 4.70 4.98/5.06 o 147 5.052 12.57/12.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.57/12.63 c 19678 440 10812 654567 60 22559 3706 10156 3895 5.05 12.57/12.63 c 19778 440 2610 132233 50 6079 4077 1954 3868 5.11 12.57/12.63 c 20028 440 2860 153051 53 6662 4485 2204 3891 5.15 12.57/12.63 c 20503 440 3335 188105 56 7572 4934 2679 3946 5.20 12.57/12.63 c 21317 440 4149 247653 59 9284 5428 3493 4015 5.31 12.57/12.63 c 22637 440 5469 337865 61 11813 5971 4813 4034 5.61 12.57/12.63 c 24718 440 4195 275321 65 9328 6569 3539 4031 6.13 12.57/12.63 c 27941 440 3942 209159 53 8876 7226 3286 4205 6.64 12.57/12.63 c 32878 440 5113 274854 53 11169 7949 4457 4172 7.88 12.57/12.63 c 40385 440 8547 451960 52 18017 8744 7891 4028 10.03 12.57/12.63 o 3 12.612 294.58/294.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 294.58/294.73 c 49899 440 8966 551879 61 18888 3706 8310 3956 12.61 294.58/294.73 c 49999 440 2610 139727 53 6224 4077 1954 3948 12.66 294.58/294.73 c 50250 431 2861 157165 54 6651 4485 2205 3958 12.69 294.58/294.73 c 50726 411 3337 188529 56 7625 4934 2681 3982 12.74 294.58/294.73 c 51539 411 4150 241446 58 9225 5428 3494 4021 12.81 294.58/294.73 c 52860 411 5471 321490 58 11874 5971 4815 4072 12.98 294.58/294.73 c 54941 411 4473 231875 51 9860 6569 3817 4057 13.54 294.58/294.73 c 58164 411 4324 213457 49 9549 7226 3668 3935 14.78 294.58/294.73 c 63101 411 5553 303778 54 12021 7949 4897 3912 16.13 294.58/294.73 c 70607 411 4888 247367 50 10663 8744 4232 3718 18.99 294.58/294.73 c 81968 411 7336 379026 51 15571 9619 6680 3480 23.55 294.58/294.73 c 99113 401 9237 571374 61 19360 10581 8581 3431 28.89 294.58/294.73 c 124933 368 7211 411946 57 15411 11640 6555 3327 37.54 294.58/294.73 c 163765 368 9034 568248 62 19018 12805 8378 2628 62.30 294.58/294.73 c 222118 366 7070 445930 63 15125 14086 6414 2470 89.90 294.58/294.73 c 309750 365 7711 456645 59 16412 15495 7055 1998 154.99 294.58/294.73 c 441303 364 12083 705609 58 25154 17045 11427 1702 259.17 294.58/294.73 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 294.58/294.73 v -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 -x56 -x81 -x82 294.58/294.73 v -x83 -x84 -x85 -x86 -x87 -x88 x57 -x58 -x59 -x60 x61 -x62 x63 -x64 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x65 -x66 -x67 -x68 -x69 294.58/294.73 v -x70 -x71 -x72 -x97 -x98 -x99 x100 x101 x102 -x103 -x104 x73 -x74 x75 x76 -x77 -x78 -x79 -x80 -x105 -x106 -x107 -x108 -x109 -x110 294.58/294.73 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 294.58/294.73 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 294.58/294.74 c 38 477503 4696 495793 13673 662652 13017 1620 294.62 294.58/294.74 c Objective: 3 294.58/294.74 s OPTIMUM FOUND 294.58/294.74 c Total time: 294.622 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-432102-1178013685 -o ROOT/results/node12/solver-432102-1178013685 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/432102-1178013685/instance-432102-1178013685.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.85 0.97 0.99 3/83 11956 /proc/meminfo: memFree=1816472/2055920 swapFree=4160052/4192956 [pid=11956] ppid=11954 vsize=3932 CPUtime=0 /proc/11956/stat : 11956 (bsolo3.0.16) R 11954 11956 10695 0 -1 4194304 383 0 0 0 0 0 0 0 18 0 1 0 277405902 4026368 352 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11956/statm: 983 352 292 324 0 50 0 [startup+0.0833849 s] /proc/loadavg: 0.85 0.97 0.99 3/83 11956 /proc/meminfo: memFree=1816472/2055920 swapFree=4160052/4192956 [pid=11956] ppid=11954 vsize=4840 CPUtime=0.08 /proc/11956/stat : 11956 (bsolo3.0.16) R 11954 11956 10695 0 -1 4194304 623 0 0 0 8 0 0 0 18 0 1 0 277405902 4956160 590 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11956/statm: 1210 590 312 324 0 279 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4840 [startup+0.101387 s] /proc/loadavg: 0.85 0.97 0.99 3/83 11956 /proc/meminfo: memFree=1816472/2055920 swapFree=4160052/4192956 [pid=11956] ppid=11954 vsize=4968 CPUtime=0.09 /proc/11956/stat : 11956 (bsolo3.0.16) R 11954 11956 10695 0 -1 4194304 648 0 0 0 9 0 0 0 18 0 1 0 277405902 5087232 615 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11956/statm: 1242 615 312 324 0 311 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4968 [startup+0.301408 s] /proc/loadavg: 0.85 0.97 0.99 3/83 11956 /proc/meminfo: memFree=1816472/2055920 swapFree=4160052/4192956 [pid=11956] ppid=11954 vsize=6520 CPUtime=0.29 /proc/11956/stat : 11956 (bsolo3.0.16) R 11954 11956 10695 0 -1 4194304 1030 0 0 0 29 0 0 0 19 0 1 0 277405902 6676480 997 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11956/statm: 1630 997 312 324 0 699 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6520 [startup+0.701447 s] /proc/loadavg: 0.85 0.97 0.99 3/83 11956 /proc/meminfo: memFree=1816472/2055920 swapFree=4160052/4192956 [pid=11956] ppid=11954 vsize=7932 CPUtime=0.69 /proc/11956/stat : 11956 (bsolo3.0.16) R 11954 11956 10695 0 -1 4194304 1403 0 0 0 68 1 0 0 22 0 1 0 277405902 8122368 1370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11956/statm: 1983 1370 312 324 0 1052 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7932 [startup+1.50153 s] /proc/loadavg: 0.85 0.97 0.99 2/84 11973 /proc/meminfo: memFree=1811408/2055920 swapFree=4160052/4192956 [pid=11956] ppid=11954 vsize=9756 CPUtime=1.49 /proc/11956/stat : 11956 (bsolo3.0.16) R 11954 11956 10695 0 -1 4194304 1850 0 0 0 148 1 0 0 25 0 1 0 277405902 9990144 1817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11956/statm: 2439 1817 312 324 0 1508 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9756 [startup+3.10169 s] /proc/loadavg: 0.85 0.97 0.99 2/84 11973 /proc/meminfo: memFree=1808848/2055920 swapFree=4160052/4192956 [pid=11956] ppid=11954 vsize=11836 CPUtime=3.09 /proc/11956/stat : 11956 (bsolo3.0.16) R 11954 11956 10695 0 -1 4194304 2366 0 0 0 308 1 0 0 25 0 1 0 277405902 12120064 2333 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11956/statm: 2959 2333 312 324 0 2028 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11836 [startup+6.30301 s] /proc/loadavg: 0.86 0.97 0.99 2/84 11991 /proc/meminfo: memFree=1806224/2055920 swapFree=4160052/4192956 [pid=11956] ppid=11954 vsize=13640 CPUtime=6.28 /proc/11956/stat : 11956 (bsolo3.0.16) R 11954 11956 10695 0 -1 4194304 2826 0 0 0 625 3 0 0 25 0 1 0 277405902 13967360 2793 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134573136 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11956/statm: 3410 2793 313 324 0 2479 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 13640 [startup+12.7016 s] /proc/loadavg: 0.87 0.97 0.99 2/84 12001 /proc/meminfo: memFree=1806176/2055920 swapFree=4160052/4192956 [pid=11956] ppid=11954 vsize=13640 CPUtime=12.67 /proc/11956/stat : 11956 (bsolo3.0.16) R 11954 11956 10695 0 -1 4194304 2826 0 0 0 1262 5 0 0 25 0 1 0 277405902 13967360 2793 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11956/statm: 3410 2793 313 324 0 2479 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 13640 [startup+25.5019 s] /proc/loadavg: 0.90 0.97 0.99 2/84 12011 /proc/meminfo: memFree=1806368/2055920 swapFree=4160052/4192956 [pid=11956] ppid=11954 vsize=13640 CPUtime=25.46 /proc/11956/stat : 11956 (bsolo3.0.16) R 11954 11956 10695 0 -1 4194304 2826 0 0 0 2537 9 0 0 25 0 1 0 277405902 13967360 2793 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11956/statm: 3410 2793 313 324 0 2479 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 13640 [startup+51.1015 s] /proc/loadavg: 0.93 0.97 0.99 2/78 12033 /proc/meminfo: memFree=1805592/2055920 swapFree=4160052/4192956 [pid=11956] ppid=11954 vsize=15644 CPUtime=51.04 /proc/11956/stat : 11956 (bsolo3.0.16) R 11954 11956 10695 0 -1 4194304 3333 0 0 0 5088 16 0 0 25 0 1 0 277405902 16019456 3300 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11956/statm: 3911 3300 313 324 0 2980 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 15644 [startup+102.306 s] /proc/loadavg: 0.97 0.97 0.99 2/78 12033 /proc/meminfo: memFree=1802392/2055920 swapFree=4160052/4192956 [pid=11956] ppid=11954 vsize=18828 CPUtime=102.23 /proc/11956/stat : 11956 (bsolo3.0.16) R 11954 11956 10695 0 -1 4194304 4118 0 0 0 10197 26 0 0 25 0 1 0 277405902 19279872 4085 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11956/statm: 4707 4085 313 324 0 3776 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 18828 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 12033 /proc/meminfo: memFree=1802264/2055920 swapFree=4160052/4192956 [pid=11956] ppid=11954 vsize=18908 CPUtime=162.21 /proc/11956/stat : 11956 (bsolo3.0.16) R 11954 11956 10695 0 -1 4194304 4150 0 0 0 16187 34 0 0 25 0 1 0 277405902 19361792 4117 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11956/statm: 4727 4117 313 324 0 3796 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 18908 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 12033 /proc/meminfo: memFree=1802200/2055920 swapFree=4160052/4192956 [pid=11956] ppid=11954 vsize=19044 CPUtime=222.2 /proc/11956/stat : 11956 (bsolo3.0.16) R 11954 11956 10695 0 -1 4194304 4178 0 0 0 22177 43 0 0 25 0 1 0 277405902 19501056 4145 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11956/statm: 4761 4145 313 324 0 3830 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 19044 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 12033 /proc/meminfo: memFree=1800920/2055920 swapFree=4160052/4192956 [pid=11956] ppid=11954 vsize=20304 CPUtime=282.18 /proc/11956/stat : 11956 (bsolo3.0.16) R 11954 11956 10695 0 -1 4194304 4489 0 0 0 28166 52 0 0 25 0 1 0 277405902 20791296 4456 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11956/statm: 5076 4456 313 324 0 4145 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 20304 Solver just ended. Dumping a history of the last processes samples [startup+287.901 s] /proc/loadavg: 0.99 0.97 0.99 2/78 12033 /proc/meminfo: memFree=1800920/2055920 swapFree=4160052/4192956 [pid=11956] ppid=11954 vsize=20304 CPUtime=287.78 /proc/11956/stat : 11956 (bsolo3.0.16) R 11954 11956 10695 0 -1 4194304 4489 0 0 0 28726 52 0 0 25 0 1 0 277405902 20791296 4456 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11956/statm: 5076 4456 313 324 0 4145 0 Current children cumulated CPU time (s) 287.78 Current children cumulated vsize (KiB) 20304 [startup+291.102 s] /proc/loadavg: 0.99 0.97 0.99 2/78 12033 /proc/meminfo: memFree=1800920/2055920 swapFree=4160052/4192956 [pid=11956] ppid=11954 vsize=20304 CPUtime=290.98 /proc/11956/stat : 11956 (bsolo3.0.16) R 11954 11956 10695 0 -1 4194304 4489 0 0 0 29045 53 0 0 25 0 1 0 277405902 20791296 4456 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11956/statm: 5076 4456 313 324 0 4145 0 Current children cumulated CPU time (s) 290.98 Current children cumulated vsize (KiB) 20304 [startup+292.702 s] /proc/loadavg: 0.99 0.97 0.99 2/78 12033 /proc/meminfo: memFree=1800920/2055920 swapFree=4160052/4192956 [pid=11956] ppid=11954 vsize=20304 CPUtime=292.58 /proc/11956/stat : 11956 (bsolo3.0.16) R 11954 11956 10695 0 -1 4194304 4489 0 0 0 29205 53 0 0 25 0 1 0 277405902 20791296 4456 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11956/statm: 5076 4456 313 324 0 4145 0 Current children cumulated CPU time (s) 292.58 Current children cumulated vsize (KiB) 20304 [startup+293.502 s] /proc/loadavg: 0.99 0.97 0.99 2/78 12033 /proc/meminfo: memFree=1800920/2055920 swapFree=4160052/4192956 [pid=11956] ppid=11954 vsize=20304 CPUtime=293.38 /proc/11956/stat : 11956 (bsolo3.0.16) R 11954 11956 10695 0 -1 4194304 4489 0 0 0 29285 53 0 0 25 0 1 0 277405902 20791296 4456 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11956/statm: 5076 4456 313 324 0 4145 0 Current children cumulated CPU time (s) 293.38 Current children cumulated vsize (KiB) 20304 [startup+294.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 12033 /proc/meminfo: memFree=1800920/2055920 swapFree=4160052/4192956 [pid=11956] ppid=11954 vsize=20304 CPUtime=294.18 /proc/11956/stat : 11956 (bsolo3.0.16) R 11954 11956 10695 0 -1 4194304 4489 0 0 0 29365 53 0 0 25 0 1 0 277405902 20791296 4456 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551563 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11956/statm: 5076 4456 313 324 0 4145 0 Current children cumulated CPU time (s) 294.18 Current children cumulated vsize (KiB) 20304 [startup+294.702 s] /proc/loadavg: 0.99 0.97 0.99 2/78 12033 /proc/meminfo: memFree=1800920/2055920 swapFree=4160052/4192956 [pid=11956] ppid=11954 vsize=20304 CPUtime=294.58 /proc/11956/stat : 11956 (bsolo3.0.16) R 11954 11956 10695 0 -1 4194304 4489 0 0 0 29405 53 0 0 25 0 1 0 277405902 20791296 4456 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11956/statm: 5076 4456 313 324 0 4145 0 Current children cumulated CPU time (s) 294.58 Current children cumulated vsize (KiB) 20304 Child status: 0 Real time (s): 294.744 CPU time (s): 294.629 CPU user time (s): 294.089 CPU system time (s): 0.539917 CPU usage (%): 99.961 Max. virtual memory (cumulated for all children) (KiB): 20304 getrusage(RUSAGE_CHILDREN,...) data: user time used= 294.089 system time used= 0.539917 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4490 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= 11 involuntary context switches= 312 runsolver used 0.232964 second user time and 0.6549 second system time The end
Begin job on node12 on Tue May 1 10:01:25 UTC 2007 IDJOB= 432102 IDBENCH= 48099 IDSOLVER= 163 FILE ID= node12/432102-1178013685 PBS_JOBID= 4728313 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=79-P1=163-P2=61-P3=127-P4=163-P5=211-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/432102-1178013685/instance-432102-1178013685.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-432102-1178013685 -o ROOT/results/node12/solver-432102-1178013685 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/432102-1178013685/instance-432102-1178013685.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 0b0d874eaa404001e586f84b413e6897 RANDOM SEED= 894663159 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.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.239 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.239 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: 1816880 kB Buffers: 50464 kB Cached: 99460 kB SwapCached: 11372 kB Active: 98916 kB Inactive: 75888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1816880 kB SwapTotal: 4192956 kB SwapFree: 4160052 kB Dirty: 6768 kB Writeback: 0 kB Mapped: 31756 kB Slab: 49288 kB Committed_AS: 7150288 kB PageTables: 2024 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 node12 on Tue May 1 10:06:20 UTC 2007