Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 155.595 | 155.64 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=149-P1=19-P2=137-P3=191-P4=223-B.opb |
MD5SUM | 9b762ab9d310cdc754a8481e0a3342a1 |
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.099984 |
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 | 96 |
Total number of constraints | 9 |
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 | 9 |
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) | 256 |
Sum of products size (including duplicates) | 512 |
Number of different products | 256 |
Sum of products size | 512 |
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/431052-1178002231/instance-431052-1178002231.opb 0.00/0.00 c File size is 4596 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.002 s 0.00/0.00 c Var: 352 Constr: 525 256/0/269 Lit: 2200 Watch. Lit: 1354 0.00/0.00 c Obj. Vars: 8 (2.27273 % of total variables) 0.00/0.01 c Pre-processing Time: 0.006 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 352 525 2200 4 1890 2949 0 0 0.01 0.00/0.01 c Switching off LPR mode. 4.59/4.63 c 100 352 625 8289 13 2039 3244 100 7692 0.01 4.59/4.63 c 250 352 775 18697 24 2273 3569 250 10869 0.02 4.59/4.63 c 476 352 1001 36379 36 2767 3926 476 10818 0.04 4.59/4.63 c 815 352 1340 59284 44 3413 4319 815 10866 0.07 4.59/4.63 c 1325 352 1850 93871 50 4444 4751 1325 11228 0.12 4.59/4.63 c 2089 352 2614 146683 56 5905 5227 2089 9243 0.23 4.59/4.63 c 3235 352 3760 225124 59 8260 5750 3235 8887 0.36 4.59/4.63 c 4956 352 5481 342133 62 11706 6326 4956 7955 0.62 4.59/4.63 c 7541 352 4669 275569 59 10048 6959 4144 7147 1.05 4.59/4.63 c 11422 352 4924 299859 60 10513 7655 4399 6234 1.83 4.59/4.63 c 17244 352 6812 378476 55 14306 8421 6287 5355 3.22 4.59/4.63 o 37 4.627 46.77/46.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 46.77/46.89 c 21068 352 6365 354499 55 13488 2965 5840 4553 4.63 46.77/46.89 c 21170 343 2111 105735 50 5002 3262 1586 4526 4.68 46.77/46.89 c 21422 343 2363 120966 51 5471 3589 1838 4553 4.71 46.77/46.89 c 21899 343 2840 151115 53 6421 3948 2315 4603 4.76 46.77/46.89 c 22713 343 3654 208769 57 8084 4343 3129 4642 4.89 46.77/46.89 c 24033 343 2699 149843 55 6164 4778 2174 4737 5.07 46.77/46.89 c 26114 343 4780 283563 59 10327 5256 4255 4806 5.43 46.77/46.89 c 29339 343 5216 308267 59 11166 5782 4691 4812 6.10 46.77/46.89 c 34275 343 4185 217388 51 9082 6361 3660 4786 7.16 46.77/46.89 c 41781 343 5004 299743 59 10734 6998 4479 4570 9.14 46.77/46.89 c 53142 332 5176 311957 60 11127 7698 4651 4356 12.20 46.77/46.89 c 70287 332 6260 395600 63 13300 8468 5735 3784 18.57 46.77/46.89 c 96106 332 4822 251223 52 10439 9315 4297 3234 29.71 46.77/46.89 c 134938 329 5188 318813 61 11167 10247 4663 2914 46.30 46.77/46.89 o 7 46.874 56.27/56.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 56.27/56.35 c 137897 329 8148 496347 60 17107 2961 7623 2941 46.87 56.27/56.35 c 137999 328 2113 105164 49 5041 3258 1588 2940 46.93 56.27/56.35 c 138249 328 2363 122115 51 5550 3584 1838 2944 46.95 56.27/56.35 c 138724 299 2838 153676 54 6462 3943 2313 2949 47.03 56.27/56.35 c 139538 299 3652 210971 57 8067 4338 3127 2958 47.16 56.27/56.35 c 140858 299 2703 150742 55 6231 4772 2178 2966 47.48 56.27/56.35 c 142940 299 4785 284016 59 10356 5250 4260 2977 48.00 56.27/56.35 c 146163 299 5269 306311 58 11347 5776 4744 2979 49.06 56.27/56.35 c 151099 299 4207 238852 56 9191 6354 3682 2976 50.77 56.27/56.35 c 158606 299 5137 289441 56 11063 6990 4612 2957 53.62 56.27/56.35 o 5 56.33 61.67/61.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 61.67/61.71 c 165997 299 5325 305375 57 11435 2955 4800 2946 56.33 61.67/61.71 c 166098 299 2113 100218 47 4992 3251 1588 2946 56.36 61.67/61.71 c 166348 299 2363 116309 49 5495 3577 1838 2949 56.40 61.67/61.71 c 166824 299 2839 148010 52 6470 3935 2314 2953 56.48 61.67/61.71 c 167638 299 3653 199184 54 8072 4329 3128 2960 56.63 61.67/61.71 c 168958 299 2706 139322 51 6156 4762 2181 2965 56.98 61.67/61.71 c 171040 299 4788 276998 57 10329 5239 4263 2986 57.28 61.67/61.71 c 174263 299 5206 318563 61 11201 5763 4681 3002 58.04 61.67/61.71 c 179199 299 4163 230548 55 9118 6340 3638 3000 59.73 61.67/61.71 o 3 61.694 155.54/155.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 155.54/155.63 c 185786 299 3861 210061 54 8533 2955 3336 3011 61.69 155.54/155.63 c 185887 290 2114 100449 47 4968 3251 1589 3011 61.72 155.54/155.63 c 186138 290 2365 117778 49 5456 3577 1840 3015 61.74 155.54/155.63 c 186614 290 2841 149104 52 6428 3935 2316 3019 61.79 155.54/155.63 c 187428 290 3655 201926 55 8031 4329 3130 3026 61.94 155.54/155.63 c 188748 290 2701 141006 52 6145 4762 2176 3031 62.27 155.54/155.63 c 190830 290 4783 272869 57 10269 5239 4258 3034 62.89 155.54/155.63 c 194054 290 5276 302391 57 11282 5763 4751 3032 63.99 155.54/155.63 c 198992 290 4223 240071 56 9195 6340 3698 3034 65.57 155.54/155.63 c 206499 290 5164 291641 56 11081 6975 4639 3026 68.22 155.54/155.63 c 217860 278 5555 320714 57 11841 7673 5030 2997 72.67 155.54/155.63 c 235004 278 6237 362262 58 13196 8441 5712 2971 79.08 155.54/155.63 c 260824 278 5629 334970 59 11986 9286 5104 2957 88.18 155.54/155.63 c 299656 278 5205 295106 56 11202 10215 4680 2865 104.58 155.54/155.63 c 358009 277 5649 331772 58 12090 11237 5124 2696 132.77 155.54/155.63 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 155.54/155.63 v -x32 x33 -x34 x35 x36 -x37 -x38 -x39 x40 x41 -x42 -x43 x44 x45 -x46 -x47 -x48 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 x49 -x50 -x51 155.54/155.63 v -x52 -x53 -x54 -x55 -x56 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x81 -x82 -x83 -x84 -x85 155.54/155.63 v -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 155.54/155.63 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 155.54/155.63 c 59 394978 2488 406901 8158 378125 7633 2538 155.59 155.54/155.63 c Objective: 3 155.54/155.63 s OPTIMUM FOUND 155.54/155.63 c Total time: 155.59 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node43/watcher-431052-1178002231 -o ROOT/results/node43/solver-431052-1178002231 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431052-1178002231/instance-431052-1178002231.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: 1.15 1.07 1.02 3/77 8138 /proc/meminfo: memFree=1616192/2055920 swapFree=4158588/4192956 [pid=8138] ppid=8136 vsize=11744 CPUtime=0 /proc/8138/stat : 8138 (bsolo3.0.16) R 8136 8138 7029 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 248134949 12025856 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8138/statm: 2936 346 291 324 0 2003 0 [startup+0.065514 s] /proc/loadavg: 1.15 1.07 1.02 3/77 8138 /proc/meminfo: memFree=1616192/2055920 swapFree=4158588/4192956 [pid=8138] ppid=8136 vsize=4716 CPUtime=0.06 /proc/8138/stat : 8138 (bsolo3.0.16) R 8136 8138 7029 0 -1 4194304 605 0 0 0 6 0 0 0 18 0 1 0 248134949 4829184 572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551024 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8138/statm: 1179 572 312 324 0 248 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4716 [startup+0.102517 s] /proc/loadavg: 1.15 1.07 1.02 3/77 8138 /proc/meminfo: memFree=1616192/2055920 swapFree=4158588/4192956 [pid=8138] ppid=8136 vsize=5232 CPUtime=0.09 /proc/8138/stat : 8138 (bsolo3.0.16) R 8136 8138 7029 0 -1 4194304 707 0 0 0 9 0 0 0 18 0 1 0 248134949 5357568 674 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160521828 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8138/statm: 1308 675 312 324 0 377 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5232 [startup+0.301534 s] /proc/loadavg: 1.15 1.07 1.02 3/77 8138 /proc/meminfo: memFree=1616192/2055920 swapFree=4158588/4192956 [pid=8138] ppid=8136 vsize=6788 CPUtime=0.29 /proc/8138/stat : 8138 (bsolo3.0.16) R 8136 8138 7029 0 -1 4194304 1112 0 0 0 29 0 0 0 19 0 1 0 248134949 6950912 1079 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8138/statm: 1697 1079 312 324 0 766 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6788 [startup+0.701569 s] /proc/loadavg: 1.15 1.07 1.02 3/77 8138 /proc/meminfo: memFree=1616192/2055920 swapFree=4158588/4192956 [pid=8138] ppid=8136 vsize=9492 CPUtime=0.69 /proc/8138/stat : 8138 (bsolo3.0.16) R 8136 8138 7029 0 -1 4194304 1785 0 0 0 68 1 0 0 22 0 1 0 248134949 9719808 1752 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8138/statm: 2373 1752 312 324 0 1442 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9492 [startup+1.50164 s] /proc/loadavg: 1.15 1.07 1.02 2/78 8139 /proc/meminfo: memFree=1609336/2055920 swapFree=4158588/4192956 [pid=8138] ppid=8136 vsize=10528 CPUtime=1.49 /proc/8138/stat : 8138 (bsolo3.0.16) R 8136 8138 7029 0 -1 4194304 2039 0 0 0 148 1 0 0 25 0 1 0 248134949 10780672 2006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8138/statm: 2632 2006 312 324 0 1701 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10528 [startup+3.10178 s] /proc/loadavg: 1.13 1.07 1.02 2/78 8139 /proc/meminfo: memFree=1608760/2055920 swapFree=4158588/4192956 [pid=8138] ppid=8136 vsize=11416 CPUtime=3.09 /proc/8138/stat : 8138 (bsolo3.0.16) R 8136 8138 7029 0 -1 4194304 2257 0 0 0 307 2 0 0 25 0 1 0 248134949 11689984 2224 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8138/statm: 2854 2224 312 324 0 1923 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11416 [startup+6.30106 s] /proc/loadavg: 1.13 1.07 1.02 2/78 8139 /proc/meminfo: memFree=1607864/2055920 swapFree=4158588/4192956 [pid=8138] ppid=8136 vsize=11544 CPUtime=6.29 /proc/8138/stat : 8138 (bsolo3.0.16) R 8136 8138 7029 0 -1 4194304 2299 0 0 0 626 3 0 0 25 0 1 0 248134949 11821056 2266 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8138/statm: 2886 2266 313 324 0 1955 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11544 [startup+12.7016 s] /proc/loadavg: 1.11 1.07 1.02 2/78 8139 /proc/meminfo: memFree=1608016/2055920 swapFree=4158588/4192956 [pid=8138] ppid=8136 vsize=11532 CPUtime=12.68 /proc/8138/stat : 8138 (bsolo3.0.16) R 8136 8138 7029 0 -1 4194304 2299 0 0 0 1264 4 0 0 25 0 1 0 248134949 11808768 2266 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8138/statm: 2883 2266 313 324 0 1952 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 11532 [startup+25.5027 s] /proc/loadavg: 1.10 1.06 1.02 2/78 8139 /proc/meminfo: memFree=1606992/2055920 swapFree=4158588/4192956 [pid=8138] ppid=8136 vsize=12656 CPUtime=25.49 /proc/8138/stat : 8138 (bsolo3.0.16) R 8136 8138 7029 0 -1 4194304 2572 0 0 0 2542 7 0 0 25 0 1 0 248134949 12959744 2539 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8138/statm: 3164 2539 313 324 0 2233 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 12656 [startup+51.103 s] /proc/loadavg: 1.06 1.06 1.02 2/78 8139 /proc/meminfo: memFree=1605520/2055920 swapFree=4158588/4192956 [pid=8138] ppid=8136 vsize=14132 CPUtime=51.07 /proc/8138/stat : 8138 (bsolo3.0.16) R 8136 8138 7029 0 -1 4194304 2952 0 0 0 5094 13 0 0 25 0 1 0 248134949 14471168 2919 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8138/statm: 3533 2919 313 324 0 2602 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 14132 [startup+102.305 s] /proc/loadavg: 1.02 1.05 1.01 2/78 8139 /proc/meminfo: memFree=1605648/2055920 swapFree=4158588/4192956 [pid=8138] ppid=8136 vsize=13836 CPUtime=102.27 /proc/8138/stat : 8138 (bsolo3.0.16) R 8136 8138 7029 0 -1 4194304 2952 0 0 0 10202 25 0 0 25 0 1 0 248134949 14168064 2854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8138/statm: 3459 2854 313 324 0 2528 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 13836 Solver just ended. Dumping a history of the last processes samples [startup+127.902 s] /proc/loadavg: 1.01 1.04 1.01 2/78 8139 /proc/meminfo: memFree=1605648/2055920 swapFree=4158588/4192956 [pid=8138] ppid=8136 vsize=13964 CPUtime=127.86 /proc/8138/stat : 8138 (bsolo3.0.16) R 8136 8138 7029 0 -1 4194304 2970 0 0 0 12756 30 0 0 25 0 1 0 248134949 14299136 2872 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8138/statm: 3491 2872 313 324 0 2560 0 Current children cumulated CPU time (s) 127.86 Current children cumulated vsize (KiB) 13964 [startup+140.702 s] /proc/loadavg: 1.01 1.04 1.01 2/78 8139 /proc/meminfo: memFree=1604752/2055920 swapFree=4158588/4192956 [pid=8138] ppid=8136 vsize=14988 CPUtime=140.65 /proc/8138/stat : 8138 (bsolo3.0.16) R 8136 8138 7029 0 -1 4194304 3219 0 0 0 14034 31 0 0 25 0 1 0 248134949 15347712 3121 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8138/statm: 3747 3121 313 324 0 2816 0 Current children cumulated CPU time (s) 140.65 Current children cumulated vsize (KiB) 14988 [startup+147.101 s] /proc/loadavg: 1.01 1.04 1.01 2/78 8139 /proc/meminfo: memFree=1604752/2055920 swapFree=4158588/4192956 [pid=8138] ppid=8136 vsize=14972 CPUtime=147.05 /proc/8138/stat : 8138 (bsolo3.0.16) R 8136 8138 7029 0 -1 4194304 3219 0 0 0 14673 32 0 0 25 0 1 0 248134949 15331328 3121 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8138/statm: 3743 3121 313 324 0 2812 0 Current children cumulated CPU time (s) 147.05 Current children cumulated vsize (KiB) 14972 [startup+150.302 s] /proc/loadavg: 1.01 1.04 1.01 2/78 8139 /proc/meminfo: memFree=1604752/2055920 swapFree=4158588/4192956 [pid=8138] ppid=8136 vsize=14972 CPUtime=150.25 /proc/8138/stat : 8138 (bsolo3.0.16) R 8136 8138 7029 0 -1 4194304 3219 0 0 0 14992 33 0 0 25 0 1 0 248134949 15331328 3121 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8138/statm: 3743 3121 313 324 0 2812 0 Current children cumulated CPU time (s) 150.25 Current children cumulated vsize (KiB) 14972 [startup+153.502 s] /proc/loadavg: 1.01 1.04 1.00 2/78 8139 /proc/meminfo: memFree=1604752/2055920 swapFree=4158588/4192956 [pid=8138] ppid=8136 vsize=14972 CPUtime=153.45 /proc/8138/stat : 8138 (bsolo3.0.16) R 8136 8138 7029 0 -1 4194304 3219 0 0 0 15311 34 0 0 25 0 1 0 248134949 15331328 3121 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8138/statm: 3743 3121 313 324 0 2812 0 Current children cumulated CPU time (s) 153.45 Current children cumulated vsize (KiB) 14972 [startup+154.302 s] /proc/loadavg: 1.01 1.04 1.00 2/78 8139 /proc/meminfo: memFree=1604752/2055920 swapFree=4158588/4192956 [pid=8138] ppid=8136 vsize=14972 CPUtime=154.24 /proc/8138/stat : 8138 (bsolo3.0.16) R 8136 8138 7029 0 -1 4194304 3219 0 0 0 15390 34 0 0 25 0 1 0 248134949 15331328 3121 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8138/statm: 3743 3121 313 324 0 2812 0 Current children cumulated CPU time (s) 154.24 Current children cumulated vsize (KiB) 14972 [startup+155.106 s] /proc/loadavg: 1.01 1.04 1.00 2/78 8139 /proc/meminfo: memFree=1604752/2055920 swapFree=4158588/4192956 [pid=8138] ppid=8136 vsize=14972 CPUtime=155.05 /proc/8138/stat : 8138 (bsolo3.0.16) R 8136 8138 7029 0 -1 4194304 3219 0 0 0 15471 34 0 0 25 0 1 0 248134949 15331328 3121 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8138/statm: 3743 3121 313 324 0 2812 0 Current children cumulated CPU time (s) 155.05 Current children cumulated vsize (KiB) 14972 [startup+155.501 s] /proc/loadavg: 1.01 1.04 1.00 2/78 8139 /proc/meminfo: memFree=1604752/2055920 swapFree=4158588/4192956 [pid=8138] ppid=8136 vsize=14972 CPUtime=155.44 /proc/8138/stat : 8138 (bsolo3.0.16) R 8136 8138 7029 0 -1 4194304 3219 0 0 0 15510 34 0 0 25 0 1 0 248134949 15331328 3121 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8138/statm: 3743 3121 313 324 0 2812 0 Current children cumulated CPU time (s) 155.44 Current children cumulated vsize (KiB) 14972 [startup+155.601 s] /proc/loadavg: 1.01 1.04 1.00 2/78 8139 /proc/meminfo: memFree=1604752/2055920 swapFree=4158588/4192956 [pid=8138] ppid=8136 vsize=14972 CPUtime=155.54 /proc/8138/stat : 8138 (bsolo3.0.16) R 8136 8138 7029 0 -1 4194304 3219 0 0 0 15520 34 0 0 25 0 1 0 248134949 15331328 3121 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8138/statm: 3743 3121 313 324 0 2812 0 Current children cumulated CPU time (s) 155.54 Current children cumulated vsize (KiB) 14972 Child status: 0 Real time (s): 155.64 CPU time (s): 155.595 CPU user time (s): 155.243 CPU system time (s): 0.351946 CPU usage (%): 99.9713 Max. virtual memory (cumulated for all children) (KiB): 14988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 155.243 system time used= 0.351946 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3220 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= 145 runsolver used 0.12698 second user time and 0.336948 second system time The end
Begin job on node43 on Tue May 1 06:50:31 UTC 2007 IDJOB= 431052 IDBENCH= 48024 IDSOLVER= 163 FILE ID= node43/431052-1178002231 PBS_JOBID= 4728252 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=149-P1=19-P2=137-P3=191-P4=223-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431052-1178002231/instance-431052-1178002231.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-431052-1178002231 -o ROOT/results/node43/solver-431052-1178002231 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431052-1178002231/instance-431052-1178002231.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 9b762ab9d310cdc754a8481e0a3342a1 RANDOM SEED= 476180953 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node43.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.218 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.218 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: 1616536 kB Buffers: 35732 kB Cached: 310688 kB SwapCached: 2624 kB Active: 105336 kB Inactive: 265296 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1616536 kB SwapTotal: 4192956 kB SwapFree: 4158588 kB Dirty: 6744 kB Writeback: 0 kB Mapped: 32176 kB Slab: 54072 kB Committed_AS: 2866236 kB PageTables: 1900 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 node43 on Tue May 1 06:53:07 UTC 2007