Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 405.838 | 405.948 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=43-P1=131-P2=257-P3=71-P4=149-P5=223-P6=167-B.opb |
MD5SUM | 29d9c644cbc560d09c0ca2d5a8d36791 |
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.153975 |
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 | 144 |
Total number of constraints | 13 |
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 | 13 |
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) | 384 |
Sum of products size (including duplicates) | 768 |
Number of different products | 384 |
Sum of products size | 768 |
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/429876-1177989138/instance-429876-1177989138.opb 0.00/0.00 c File size is 6827 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: 528 Constr: 787 384/0/403 Lit: 3304 Watch. Lit: 2030 0.00/0.00 c Obj. Vars: 8 (1.51515 % of total variables) 0.00/0.01 c Pre-processing Time: 0.009 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 528 787 3304 4 2838 4431 0 0 0.01 0.00/0.01 c Switching off LPR mode. 10.48/10.57 c 101 528 888 9812 11 2991 4875 101 6312 0.02 10.48/10.57 c 252 528 1039 22885 22 3277 5363 252 5250 0.05 10.48/10.57 c 478 528 1265 38430 30 3713 5900 478 7134 0.07 10.48/10.57 c 816 528 1603 61393 38 4250 6491 816 7626 0.11 10.48/10.57 c 1324 528 2111 92485 43 5254 7141 1324 7653 0.17 10.48/10.57 c 2087 528 2874 137899 47 6788 7856 2087 7297 0.29 10.48/10.57 c 3234 528 4021 209745 52 9131 8642 3234 6613 0.49 10.48/10.57 c 4956 528 5743 328754 57 12633 9507 4956 7009 0.71 10.48/10.57 c 7541 528 8328 498058 59 17761 10458 7541 5919 1.27 10.48/10.57 c 11420 528 6856 375991 54 14850 11504 6069 3734 3.06 10.48/10.57 c 17243 528 6715 404601 60 14524 12655 5928 4035 4.27 10.48/10.57 c 25981 528 8902 550973 61 18871 13921 8115 3397 7.65 10.48/10.57 o 33 10.57 79.26/79.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 79.26/79.30 c 37387 528 12910 928763 71 26926 4447 12123 3537 10.57 79.26/79.30 c 37488 519 3113 160921 51 7313 4892 2326 3518 10.65 79.26/79.30 c 37738 519 3363 177843 52 7790 5382 2576 3526 10.70 79.26/79.30 c 38213 519 3838 211693 55 8801 5921 3051 3551 10.76 79.26/79.30 c 39027 519 4652 261558 56 10485 6514 3865 3596 10.85 79.26/79.30 c 40347 519 5972 338434 56 13119 7166 5185 3636 11.09 79.26/79.30 c 42429 519 4401 218125 49 9983 7883 3614 3657 11.60 79.26/79.30 c 45652 519 7624 401684 52 16436 8672 6837 3517 12.98 79.26/79.30 c 50589 508 7974 478177 59 17085 9540 7187 3698 13.68 79.26/79.30 c 58095 508 5655 282432 49 12417 10495 4868 3558 16.32 79.26/79.30 c 69457 508 6038 353954 58 13217 11545 5251 3634 19.11 79.26/79.30 c 86603 508 10821 623769 57 22786 12700 10034 3360 25.77 79.26/79.30 c 112422 508 10495 634535 60 22113 13971 9708 2705 41.55 79.26/79.30 c 151254 508 13241 772979 58 27679 15369 12454 2158 70.07 79.26/79.30 o 9 79.281 169.14/169.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 169.14/169.25 c 170650 508 8505 524920 61 18164 4443 7718 2152 79.28 169.14/169.25 c 170753 508 3115 158699 50 7398 4888 2328 2152 79.34 169.14/169.25 c 171004 508 3366 175245 52 7945 5377 2579 2154 79.36 169.14/169.25 c 171479 508 3841 204453 53 8862 5915 3054 2159 79.41 169.14/169.25 c 172293 508 4655 253228 54 10507 6507 3868 2166 79.53 169.14/169.25 c 173613 508 5975 331087 55 13118 7158 5188 2175 79.79 169.14/169.25 c 175695 508 4369 237079 54 9893 7874 3582 2191 80.16 169.14/169.25 c 178918 508 7592 458747 60 16365 8662 6805 2216 80.73 169.14/169.25 c 183854 508 7940 456631 57 17055 9529 7153 2238 82.12 169.14/169.25 c 191360 508 10201 625138 61 21571 10482 9414 2274 84.12 169.14/169.25 c 202722 508 10111 537192 53 21343 11531 9324 2279 88.93 169.14/169.25 c 219866 508 9716 519436 53 20547 12685 8929 2229 98.63 169.14/169.25 c 245686 487 8368 517045 61 17857 13954 7581 2215 110.90 169.14/169.25 c 284519 487 11114 671324 60 23383 15350 10327 2040 139.44 169.14/169.25 o 3 169.206 405.79/405.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 405.79/405.94 c 323994 485 11230 653361 58 23571 4439 10443 1914 169.21 405.79/405.94 c 324094 475 3117 135592 43 7405 4883 2330 1914 169.30 405.79/405.94 c 324345 475 3368 151556 44 7916 5372 2581 1915 169.34 405.79/405.94 c 324821 475 3844 181944 47 8842 5910 3057 1917 169.43 405.79/405.94 c 325634 475 4657 232591 49 10474 6502 3870 1920 169.59 405.79/405.94 c 326954 454 5977 318190 53 13118 7153 5190 1925 169.81 405.79/405.94 c 329036 454 4374 237115 54 9897 7869 3587 1932 170.24 405.79/405.94 c 332259 454 7597 467888 61 16316 8656 6810 1944 170.90 405.79/405.94 c 337196 454 7832 472621 60 16908 9522 7045 1955 172.43 405.79/405.94 c 344703 454 5560 298984 53 12313 10475 4773 1946 177.12 405.79/405.94 c 356065 454 6209 321782 51 13596 11523 5422 1931 184.33 405.79/405.94 c 373209 451 10961 669949 61 23062 12676 10174 1946 191.72 405.79/405.94 c 399029 451 10257 637808 62 21661 13944 9470 1914 208.44 405.79/405.94 c 437862 450 13498 833996 61 28161 15339 12711 1875 233.49 405.79/405.94 c 496214 450 8761 500315 57 18707 16873 7974 1775 279.53 405.79/405.94 c 583846 449 10039 555829 55 21283 18561 9252 1617 361.01 405.79/405.94 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 405.79/405.94 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 405.79/405.94 v -x60 -x61 x62 -x63 -x64 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x105 -x106 x107 x108 405.79/405.94 v x109 -x110 -x111 -x112 x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x81 -x82 -x83 -x84 405.79/405.94 v x85 -x86 -x87 x88 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 x89 x90 -x91 -x92 -x93 x94 -x95 -x96 x129 -x130 -x131 -x132 405.79/405.94 v -x133 -x134 x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 405.79/405.94 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 405.79/405.94 c 56 618352 5068 640350 16337 839742 15550 1523 405.83 405.79/405.94 c Objective: 3 405.79/405.94 s OPTIMUM FOUND 405.79/405.94 c Total time: 405.832 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-429876-1177989138 -o ROOT/results/node2/solver-429876-1177989138 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429876-1177989138/instance-429876-1177989138.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.88 0.94 0.98 3/77 31547 /proc/meminfo: memFree=1820856/2055920 swapFree=4148836/4192956 [pid=31547] ppid=31545 vsize=19556 CPUtime=0 /proc/31547/stat : 31547 (bsolo3.0.16) R 31545 31547 29431 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 274951637 20025344 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31547/statm: 983 346 291 324 0 50 0 [startup+0.079106 s] /proc/loadavg: 0.88 0.94 0.98 3/77 31547 /proc/meminfo: memFree=1820856/2055920 swapFree=4148836/4192956 [pid=31547] ppid=31545 vsize=4716 CPUtime=0.07 /proc/31547/stat : 31547 (bsolo3.0.16) R 31545 31547 29431 0 -1 4194304 602 0 0 0 7 0 0 0 18 0 1 0 274951637 4829184 569 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31547/statm: 1179 569 312 324 0 248 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4716 [startup+0.101107 s] /proc/loadavg: 0.88 0.94 0.98 3/77 31547 /proc/meminfo: memFree=1820856/2055920 swapFree=4148836/4192956 [pid=31547] ppid=31545 vsize=4848 CPUtime=0.09 /proc/31547/stat : 31547 (bsolo3.0.16) R 31545 31547 29431 0 -1 4194304 633 0 0 0 9 0 0 0 18 0 1 0 274951637 4964352 600 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31547/statm: 1212 600 312 324 0 281 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4848 [startup+0.301128 s] /proc/loadavg: 0.88 0.94 0.98 3/77 31547 /proc/meminfo: memFree=1820856/2055920 swapFree=4148836/4192956 [pid=31547] ppid=31545 vsize=6140 CPUtime=0.29 /proc/31547/stat : 31547 (bsolo3.0.16) R 31545 31547 29431 0 -1 4194304 958 0 0 0 29 0 0 0 19 0 1 0 274951637 6287360 925 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31547/statm: 1535 925 312 324 0 604 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6140 [startup+0.70117 s] /proc/loadavg: 0.88 0.94 0.98 3/77 31547 /proc/meminfo: memFree=1820856/2055920 swapFree=4148836/4192956 [pid=31547] ppid=31545 vsize=8860 CPUtime=0.69 /proc/31547/stat : 31547 (bsolo3.0.16) R 31545 31547 29431 0 -1 4194304 1614 0 0 0 68 1 0 0 23 0 1 0 274951637 9072640 1581 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31547/statm: 2215 1581 312 324 0 1284 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8860 [startup+1.50125 s] /proc/loadavg: 0.88 0.94 0.98 2/78 31548 /proc/meminfo: memFree=1814320/2055920 swapFree=4148836/4192956 [pid=31547] ppid=31545 vsize=11848 CPUtime=1.49 /proc/31547/stat : 31547 (bsolo3.0.16) R 31545 31547 29431 0 -1 4194304 2362 0 0 0 148 1 0 0 25 0 1 0 274951637 12132352 2329 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31547/statm: 2962 2329 312 324 0 2031 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11848 [startup+3.10142 s] /proc/loadavg: 0.88 0.94 0.98 2/78 31548 /proc/meminfo: memFree=1811440/2055920 swapFree=4148836/4192956 [pid=31547] ppid=31545 vsize=14036 CPUtime=3.08 /proc/31547/stat : 31547 (bsolo3.0.16) R 31545 31547 29431 0 -1 4194304 2928 0 0 0 307 1 0 0 25 0 1 0 274951637 14372864 2895 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31547/statm: 3509 2895 312 324 0 2578 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 14036 [startup+6.30175 s] /proc/loadavg: 0.89 0.94 0.98 2/78 31548 /proc/meminfo: memFree=1809264/2055920 swapFree=4148836/4192956 [pid=31547] ppid=31545 vsize=16508 CPUtime=6.28 /proc/31547/stat : 31547 (bsolo3.0.16) R 31545 31547 29431 0 -1 4194304 3535 0 0 0 625 3 0 0 25 0 1 0 274951637 16904192 3502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31547/statm: 4127 3502 312 324 0 3196 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 16508 [startup+12.7014 s] /proc/loadavg: 0.90 0.94 0.98 2/78 31548 /proc/meminfo: memFree=1805360/2055920 swapFree=4148836/4192956 [pid=31547] ppid=31545 vsize=19088 CPUtime=12.68 /proc/31547/stat : 31547 (bsolo3.0.16) R 31545 31547 29431 0 -1 4194304 4191 0 0 0 1262 6 0 0 25 0 1 0 274951637 19546112 4158 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551015 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31547/statm: 4772 4158 313 324 0 3841 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19088 [startup+25.5017 s] /proc/loadavg: 0.92 0.94 0.98 2/78 31548 /proc/meminfo: memFree=1805488/2055920 swapFree=4148836/4192956 [pid=31547] ppid=31545 vsize=19088 CPUtime=25.48 /proc/31547/stat : 31547 (bsolo3.0.16) R 31545 31547 29431 0 -1 4194304 4191 0 0 0 2538 10 0 0 25 0 1 0 274951637 19546112 4158 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31547/statm: 4772 4158 313 324 0 3841 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19088 [startup+51.1014 s] /proc/loadavg: 0.95 0.95 0.98 2/78 31548 /proc/meminfo: memFree=1805488/2055920 swapFree=4148836/4192956 [pid=31547] ppid=31545 vsize=19088 CPUtime=51.07 /proc/31547/stat : 31547 (bsolo3.0.16) R 31545 31547 29431 0 -1 4194304 4191 0 0 0 5093 14 0 0 25 0 1 0 274951637 19546112 4158 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31547/statm: 4772 4158 313 324 0 3841 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19088 [startup+102.306 s] /proc/loadavg: 0.97 0.95 0.98 2/78 31548 /proc/meminfo: memFree=1804720/2055920 swapFree=4148836/4192956 [pid=31547] ppid=31545 vsize=19872 CPUtime=102.26 /proc/31547/stat : 31547 (bsolo3.0.16) R 31545 31547 29431 0 -1 4194304 4382 0 0 0 10202 24 0 0 25 0 1 0 274951637 20348928 4349 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31547/statm: 4968 4349 313 324 0 4037 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 19872 [startup+162.302 s] /proc/loadavg: 0.99 0.96 0.98 2/78 31548 /proc/meminfo: memFree=1804720/2055920 swapFree=4148836/4192956 [pid=31547] ppid=31545 vsize=19872 CPUtime=162.25 /proc/31547/stat : 31547 (bsolo3.0.16) R 31545 31547 29431 0 -1 4194304 4382 0 0 0 16192 33 0 0 25 0 1 0 274951637 20348928 4349 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31547/statm: 4968 4349 313 324 0 4037 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 19872 [startup+222.301 s] /proc/loadavg: 0.99 0.96 0.98 2/78 31548 /proc/meminfo: memFree=1804656/2055920 swapFree=4148836/4192956 [pid=31547] ppid=31545 vsize=19872 CPUtime=222.23 /proc/31547/stat : 31547 (bsolo3.0.16) R 31545 31547 29431 0 -1 4194304 4382 0 0 0 22179 44 0 0 25 0 1 0 274951637 20348928 4349 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31547/statm: 4968 4349 313 324 0 4037 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 19872 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 31548 /proc/meminfo: memFree=1804656/2055920 swapFree=4148836/4192956 [pid=31547] ppid=31545 vsize=19872 CPUtime=282.21 /proc/31547/stat : 31547 (bsolo3.0.16) R 31545 31547 29431 0 -1 4194304 4382 0 0 0 28169 52 0 0 25 0 1 0 274951637 20348928 4349 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10968820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31547/statm: 4968 4349 313 324 0 4037 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 19872 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 31548 /proc/meminfo: memFree=1804400/2055920 swapFree=4148836/4192956 [pid=31547] ppid=31545 vsize=20128 CPUtime=342.2 /proc/31547/stat : 31547 (bsolo3.0.16) R 31545 31547 29431 0 -1 4194304 4451 0 0 0 34159 61 0 0 25 0 1 0 274951637 20611072 4418 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31547/statm: 5032 4418 313 324 0 4101 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 20128 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 31548 /proc/meminfo: memFree=1802800/2055920 swapFree=4148836/4192956 [pid=31547] ppid=31545 vsize=21680 CPUtime=402.18 /proc/31547/stat : 31547 (bsolo3.0.16) R 31545 31547 29431 0 -1 4194304 4844 0 0 0 40148 70 0 0 25 0 1 0 274951637 22200320 4811 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31547/statm: 5420 4811 313 324 0 4489 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 21680 Solver just ended. Dumping a history of the last processes samples [startup+403.102 s] /proc/loadavg: 0.99 0.97 0.98 3/78 31548 /proc/meminfo: memFree=1802800/2055920 swapFree=4148836/4192956 [pid=31547] ppid=31545 vsize=21680 CPUtime=402.98 /proc/31547/stat : 31547 (bsolo3.0.16) R 31545 31547 29431 0 -1 4194304 4844 0 0 0 40228 70 0 0 25 0 1 0 274951637 22200320 4811 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31547/statm: 5420 4811 313 324 0 4489 0 Current children cumulated CPU time (s) 402.98 Current children cumulated vsize (KiB) 21680 [startup+404.701 s] /proc/loadavg: 0.99 0.97 0.98 2/78 31548 /proc/meminfo: memFree=1802800/2055920 swapFree=4148836/4192956 [pid=31547] ppid=31545 vsize=21680 CPUtime=404.58 /proc/31547/stat : 31547 (bsolo3.0.16) R 31545 31547 29431 0 -1 4194304 4844 0 0 0 40388 70 0 0 25 0 1 0 274951637 22200320 4811 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31547/statm: 5420 4811 313 324 0 4489 0 Current children cumulated CPU time (s) 404.58 Current children cumulated vsize (KiB) 21680 [startup+405.501 s] /proc/loadavg: 0.99 0.97 0.98 2/78 31548 /proc/meminfo: memFree=1802800/2055920 swapFree=4148836/4192956 [pid=31547] ppid=31545 vsize=21680 CPUtime=405.38 /proc/31547/stat : 31547 (bsolo3.0.16) R 31545 31547 29431 0 -1 4194304 4844 0 0 0 40468 70 0 0 25 0 1 0 274951637 22200320 4811 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31547/statm: 5420 4811 313 324 0 4489 0 Current children cumulated CPU time (s) 405.38 Current children cumulated vsize (KiB) 21680 [startup+405.905 s] /proc/loadavg: 0.99 0.97 0.98 2/78 31548 /proc/meminfo: memFree=1802800/2055920 swapFree=4148836/4192956 [pid=31547] ppid=31545 vsize=21680 CPUtime=405.79 /proc/31547/stat : 31547 (bsolo3.0.16) R 31545 31547 29431 0 -1 4194304 4844 0 0 0 40508 71 0 0 25 0 1 0 274951637 22200320 4811 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31547/statm: 5420 4811 313 324 0 4489 0 Current children cumulated CPU time (s) 405.79 Current children cumulated vsize (KiB) 21680 Child status: 0 Real time (s): 405.948 CPU time (s): 405.838 CPU user time (s): 405.122 CPU system time (s): 0.715891 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 21680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 405.122 system time used= 0.715891 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4845 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= 551 runsolver used 0.335948 second user time and 0.84987 second system time The end
Begin job on node2 on Tue May 1 03:12:19 UTC 2007 IDJOB= 429876 IDBENCH= 47940 IDSOLVER= 163 FILE ID= node2/429876-1177989138 PBS_JOBID= 4728143 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=43-P1=131-P2=257-P3=71-P4=149-P5=223-P6=167-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429876-1177989138/instance-429876-1177989138.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-429876-1177989138 -o ROOT/results/node2/solver-429876-1177989138 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429876-1177989138/instance-429876-1177989138.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 29d9c644cbc560d09c0ca2d5a8d36791 RANDOM SEED= 202511235 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.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: 1821456 kB Buffers: 36004 kB Cached: 106920 kB SwapCached: 12320 kB Active: 89392 kB Inactive: 77392 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1821456 kB SwapTotal: 4192956 kB SwapFree: 4148836 kB Dirty: 6752 kB Writeback: 0 kB Mapped: 30912 kB Slab: 52992 kB Committed_AS: 8430472 kB PageTables: 1864 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 node2 on Tue May 1 03:19:05 UTC 2007