Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 569.165 | 569.527 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=263-P1=409-P2=29-P3=379-B.opb |
MD5SUM | 947e947c586d02edcb816b66608818b9 |
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.159974 |
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 | 81 |
Total number of constraints | 7 |
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 | 7 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 243 |
Sum of products size (including duplicates) | 486 |
Number of different products | 243 |
Sum of products size | 486 |
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/429400-1177984391/instance-429400-1177984391.opb 0.00/0.00 c File size is 4315 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 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: 324 Constr: 496 243/0/253 Lit: 2070 Watch. Lit: 1271 0.00/0.00 c Obj. Vars: 9 (2.77778 % of total variables) 0.00/0.00 c Pre-processing Time: 0.005 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 324 496 2070 4 1781 2762 0 0 0.01 0.00/0.00 c Switching off LPR mode. 229.23/229.32 c 100 324 596 8794 14 1905 3039 100 7692 0.01 229.23/229.32 c 250 324 746 20006 26 2174 3343 250 9615 0.03 229.23/229.32 c 475 324 971 37204 38 2601 3678 475 10326 0.05 229.23/229.32 c 814 324 1310 62755 47 3299 4046 814 10049 0.08 229.23/229.32 c 1322 324 1818 104235 57 4385 4451 1322 9649 0.14 229.23/229.32 c 2085 324 2581 162292 62 5907 4897 2085 7750 0.27 229.23/229.32 c 3234 324 3730 260053 69 8182 5387 3234 7366 0.44 229.23/229.32 c 4957 324 5453 389656 71 11628 5926 4957 6180 0.80 229.23/229.32 c 7541 324 4982 340794 68 10621 6519 4486 4496 1.68 229.23/229.32 c 11421 324 5530 378893 68 11758 7171 5034 3617 3.16 229.23/229.32 c 17243 324 7469 589936 78 15636 7889 6973 3785 4.55 229.23/229.32 c 25980 324 7719 576952 74 16109 8678 7223 3441 7.55 229.23/229.32 c 39091 324 7363 584236 79 15369 9546 6867 2912 13.42 229.23/229.32 c 58761 324 7519 531888 70 15679 10501 7023 2733 21.50 229.23/229.32 c 88271 324 9650 760830 78 19972 11552 9154 2382 37.04 229.23/229.32 c 132542 324 6830 469102 68 14315 12708 6334 2200 60.23 229.23/229.32 c 198953 324 7409 586840 79 15483 13979 6913 2058 96.63 229.23/229.32 c 298573 324 12486 875852 70 25711 15377 11990 1732 172.38 229.23/229.32 o 205 229.252 235.82/235.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 235.82/235.96 c 372397 324 8465 593963 70 17578 2780 7969 1624 229.25 235.82/235.96 c 372498 313 1988 129139 64 4758 3059 1492 1624 229.34 235.82/235.96 c 372748 313 2238 149052 66 5227 3365 1742 1625 229.37 235.82/235.96 c 373223 313 2713 187222 69 6193 3702 2217 1626 229.43 235.82/235.96 c 374037 313 3527 250885 71 7810 4073 3031 1629 229.59 235.82/235.96 c 375357 313 2716 174114 64 6206 4481 2220 1632 229.88 235.82/235.96 c 377438 313 4797 335265 69 10355 4930 4301 1637 230.46 235.82/235.96 c 380665 313 2963 203411 68 6706 5424 2467 1646 231.19 235.82/235.96 c 385602 313 4896 364095 74 10547 5967 4400 1659 232.42 235.82/235.96 c 393108 313 6258 455219 72 13190 6564 5762 1673 234.89 235.82/235.96 o 67 235.893 253.22/253.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 253.22/253.37 c 396235 313 6009 430989 71 12768 2778 5513 1679 235.89 253.22/253.37 c 396336 313 1988 116052 58 4739 3056 1492 1679 235.94 253.22/253.37 c 396586 313 2238 135541 60 5229 3362 1742 1680 235.98 253.22/253.37 c 397062 313 2714 171601 63 6199 3699 2218 1682 236.05 253.22/253.37 c 397876 313 3528 229511 65 7818 4069 3032 1684 236.24 253.22/253.37 c 399196 313 2614 163847 62 6005 4476 2118 1687 236.51 253.22/253.37 c 401278 313 4696 346106 73 10080 4924 4200 1693 236.95 253.22/253.37 c 404501 313 5281 402630 76 11322 5417 4785 1701 237.75 253.22/253.37 c 409437 313 4521 322150 71 9817 5959 4025 1712 239.15 253.22/253.37 c 416943 313 5760 399861 69 12271 6555 5264 1727 241.35 253.22/253.37 c 428304 302 7023 480968 68 14781 7211 6527 1743 245.71 253.22/253.37 c 445449 302 4792 344552 71 10360 7933 4296 1761 252.88 253.22/253.37 o 17 253.294 254.32/254.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 254.32/254.45 c 447528 302 6872 492081 71 14498 2776 6376 1766 253.29 254.32/254.45 c 447628 302 1987 105243 52 4685 3054 1491 1766 253.33 254.32/254.45 c 447878 302 2237 124582 55 5186 3360 1741 1767 253.35 254.32/254.45 c 448353 302 2712 160829 59 6121 3697 2216 1769 253.41 254.32/254.45 c 449166 302 3525 221883 62 7740 4067 3029 1771 253.55 254.32/254.45 c 450487 302 2533 162837 64 5803 4474 2037 1775 253.74 254.32/254.45 c 452568 292 4614 324475 70 10004 4922 4118 1780 254.19 254.32/254.45 o 3 254.377 569.13/569.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 569.13/569.52 c 453281 292 5328 374793 70 11397 2774 4832 1781 254.38 569.13/569.52 c 453381 272 1987 107844 54 4749 3052 1491 1782 254.41 569.13/569.52 c 453631 272 2237 126673 56 5223 3358 1741 1782 254.45 569.13/569.52 c 454107 272 2713 160924 59 6153 3694 2217 1784 254.53 569.13/569.52 c 454921 272 3527 225704 63 7819 4064 3031 1786 254.66 569.13/569.52 c 456241 262 2586 163579 63 5914 4471 2090 1789 254.90 569.13/569.52 c 458322 262 4667 312497 66 10071 4919 4171 1794 255.44 569.13/569.52 c 461545 262 5296 348310 65 11331 5411 4800 1799 256.46 569.13/569.52 c 466482 262 4563 290685 63 9866 5953 4067 1807 258.14 569.13/569.52 c 473989 262 5867 393430 67 12473 6549 5371 1819 260.52 569.13/569.52 c 485350 262 7021 484843 69 14772 7204 6525 1836 264.32 569.13/569.52 c 502494 262 5472 378238 69 11612 7925 4976 1858 270.41 569.13/569.52 c 528314 262 6703 465162 69 14108 8718 6207 1887 279.92 569.13/569.52 c 567147 252 9185 705735 76 19059 9590 8689 1904 297.72 569.13/569.52 c 625499 235 7083 487370 68 14889 10550 6587 1917 326.23 569.13/569.52 c 713132 235 6697 497209 74 14100 11606 6201 1913 372.74 569.13/569.52 c 844684 234 6977 509192 72 14668 12767 6481 1835 460.15 569.13/569.52 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 569.13/569.52 v -x31 x32 -x33 x34 -x35 -x36 x37 x38 x39 x40 -x41 -x42 -x43 -x44 -x45 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x46 x47 x48 -x49 569.13/569.52 v -x50 -x51 -x52 x53 -x54 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 x75 -x76 x77 -x78 -x79 -x80 -x81 569.13/569.52 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 569.13/569.52 c 64 999647 4683 1015210 10815 631235 10319 1756 569.16 569.13/569.52 c Objective: 3 569.13/569.52 s OPTIMUM FOUND 569.13/569.52 c Total time: 569.159 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node41/watcher-429400-1177984391 -o ROOT/results/node41/solver-429400-1177984391 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429400-1177984391/instance-429400-1177984391.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.95 0.92 3/77 26082 /proc/meminfo: memFree=1785000/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=3932 CPUtime=0 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 246351012 4026368 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 983 347 291 324 0 50 0 [startup+0.0494839 s] /proc/loadavg: 0.88 0.95 0.92 3/77 26082 /proc/meminfo: memFree=1785000/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=4572 CPUtime=0.04 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 554 0 0 0 4 0 0 0 18 0 1 0 246351012 4681728 521 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 1143 521 312 324 0 212 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4572 [startup+0.102488 s] /proc/loadavg: 0.88 0.95 0.92 3/77 26082 /proc/meminfo: memFree=1785000/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=5088 CPUtime=0.09 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 679 0 0 0 9 0 0 0 18 0 1 0 246351012 5210112 646 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 1272 647 312 324 0 341 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5088 [startup+0.302505 s] /proc/loadavg: 0.88 0.95 0.92 3/77 26082 /proc/meminfo: memFree=1785000/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=6636 CPUtime=0.29 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 1085 0 0 0 29 0 0 0 19 0 1 0 246351012 6795264 1052 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 1659 1052 312 324 0 728 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6636 [startup+0.701545 s] /proc/loadavg: 0.88 0.95 0.92 3/77 26082 /proc/meminfo: memFree=1785000/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=9096 CPUtime=0.69 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 1682 0 0 0 68 1 0 0 22 0 1 0 246351012 9314304 1649 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 2274 1649 312 324 0 1343 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9096 [startup+1.50161 s] /proc/loadavg: 0.89 0.95 0.92 2/78 26083 /proc/meminfo: memFree=1778528/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=10784 CPUtime=1.49 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 2097 0 0 0 148 1 0 0 25 0 1 0 246351012 11042816 2064 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 2696 2064 312 324 0 1765 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10784 [startup+3.10175 s] /proc/loadavg: 0.89 0.95 0.92 2/78 26083 /proc/meminfo: memFree=1777824/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=11168 CPUtime=3.09 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 2205 0 0 0 307 2 0 0 25 0 1 0 246351012 11436032 2172 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 2792 2172 312 324 0 1861 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11168 [startup+6.30102 s] /proc/loadavg: 0.89 0.95 0.92 2/78 26083 /proc/meminfo: memFree=1774688/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=13748 CPUtime=6.29 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 2850 0 0 0 625 4 0 0 25 0 1 0 246351012 14077952 2817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 3437 2817 312 324 0 2506 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13748 [startup+12.7016 s] /proc/loadavg: 0.90 0.95 0.92 2/78 26083 /proc/meminfo: memFree=1774264/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=14764 CPUtime=12.68 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 3095 0 0 0 1263 5 0 0 25 0 1 0 246351012 15118336 3062 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 3691 3062 312 324 0 2760 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14764 [startup+25.5017 s] /proc/loadavg: 0.92 0.95 0.92 2/78 26083 /proc/meminfo: memFree=1773056/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=15504 CPUtime=25.48 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 3282 0 0 0 2540 8 0 0 25 0 1 0 246351012 15876096 3249 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 3876 3249 312 324 0 2945 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15504 [startup+51.1019 s] /proc/loadavg: 0.94 0.96 0.92 2/78 26083 /proc/meminfo: memFree=1770624/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=18016 CPUtime=51.07 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 3918 0 0 0 5093 14 0 0 25 0 1 0 246351012 18448384 3885 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 4504 3885 312 324 0 3573 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 18016 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.92 2/78 26083 /proc/meminfo: memFree=1767936/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=20728 CPUtime=102.26 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4597 0 0 0 10205 21 0 0 25 0 1 0 246351012 21225472 4564 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 5182 4564 312 324 0 4251 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 20728 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 26083 /proc/meminfo: memFree=1767936/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=20728 CPUtime=162.25 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4597 0 0 0 16195 30 0 0 25 0 1 0 246351012 21225472 4564 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2395912 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 5182 4564 312 324 0 4251 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 20728 [startup+222.302 s] /proc/loadavg: 1.05 0.99 0.93 2/78 26083 /proc/meminfo: memFree=1767744/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=20840 CPUtime=222.23 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4637 0 0 0 22185 38 0 0 25 0 1 0 246351012 21340160 4604 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 5210 4604 312 324 0 4279 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 20840 [startup+282.302 s] /proc/loadavg: 1.02 0.99 0.93 2/78 26083 /proc/meminfo: memFree=1767680/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=20840 CPUtime=282.21 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 28169 52 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 5210 4605 313 324 0 4279 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 20840 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.93 2/78 26083 /proc/meminfo: memFree=1767616/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=20840 CPUtime=342.2 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 34158 62 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 5210 4605 313 324 0 4279 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 20840 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.93 2/78 26083 /proc/meminfo: memFree=1767552/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=20840 CPUtime=402.18 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 40146 72 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 5210 4605 313 324 0 4279 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 20840 [startup+462.303 s] /proc/loadavg: 1.00 0.99 0.93 2/78 26083 /proc/meminfo: memFree=1767552/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=20840 CPUtime=462.16 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 46137 79 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 5210 4605 313 324 0 4279 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 20840 [startup+522.303 s] /proc/loadavg: 1.00 0.99 0.93 2/84 26261 /proc/meminfo: memFree=1766216/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=20840 CPUtime=522.06 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 52116 90 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 5210 4605 313 324 0 4279 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 20840 Solver just ended. Dumping a history of the last processes samples [startup+537.501 s] /proc/loadavg: 1.45 1.09 0.96 3/84 26729 /proc/meminfo: memFree=1738792/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=20840 CPUtime=537.14 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 53621 93 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2392150 0 0 4096 16384 0 0 0 17 0 0 0 /proc/26082/statm: 5210 4605 313 324 0 4279 0 Current children cumulated CPU time (s) 537.14 Current children cumulated vsize (KiB) 20840 [startup+550.301 s] /proc/loadavg: 1.38 1.08 0.96 2/78 26770 /proc/meminfo: memFree=1740008/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=20840 CPUtime=549.94 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 54899 95 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 5210 4605 313 324 0 4279 0 Current children cumulated CPU time (s) 549.94 Current children cumulated vsize (KiB) 20840 [startup+563.101 s] /proc/loadavg: 1.29 1.08 0.96 2/78 26770 /proc/meminfo: memFree=1740096/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=20840 CPUtime=562.74 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 56177 97 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 5210 4605 313 324 0 4279 0 Current children cumulated CPU time (s) 562.74 Current children cumulated vsize (KiB) 20840 [startup+566.302 s] /proc/loadavg: 1.29 1.08 0.96 2/78 26770 /proc/meminfo: memFree=1740160/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=20840 CPUtime=565.93 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 56496 97 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 5210 4605 313 324 0 4279 0 Current children cumulated CPU time (s) 565.93 Current children cumulated vsize (KiB) 20840 [startup+567.902 s] /proc/loadavg: 1.27 1.08 0.96 2/78 26770 /proc/meminfo: memFree=1740160/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=20840 CPUtime=567.53 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 56655 98 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 5210 4605 313 324 0 4279 0 Current children cumulated CPU time (s) 567.53 Current children cumulated vsize (KiB) 20840 [startup+568.706 s] /proc/loadavg: 1.27 1.08 0.96 2/78 26770 /proc/meminfo: memFree=1740160/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=20840 CPUtime=568.34 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 56736 98 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 5210 4605 313 324 0 4279 0 Current children cumulated CPU time (s) 568.34 Current children cumulated vsize (KiB) 20840 [startup+569.102 s] /proc/loadavg: 1.27 1.08 0.96 2/78 26770 /proc/meminfo: memFree=1740160/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=20840 CPUtime=568.73 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 56775 98 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 5210 4605 313 324 0 4279 0 Current children cumulated CPU time (s) 568.73 Current children cumulated vsize (KiB) 20840 [startup+569.502 s] /proc/loadavg: 1.27 1.08 0.96 2/78 26770 /proc/meminfo: memFree=1740160/2055920 swapFree=4169244/4192956 [pid=26082] ppid=26080 vsize=20840 CPUtime=569.13 /proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 56815 98 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26082/statm: 5210 4605 313 324 0 4279 0 Current children cumulated CPU time (s) 569.13 Current children cumulated vsize (KiB) 20840 Child status: 0 Real time (s): 569.527 CPU time (s): 569.165 CPU user time (s): 568.179 CPU system time (s): 0.986849 CPU usage (%): 99.9365 Max. virtual memory (cumulated for all children) (KiB): 20900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 568.179 system time used= 0.986849 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4639 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= 2097 runsolver used 0.435933 second user time and 1.2918 second system time The end
Begin job on node41 on Tue May 1 01:53:11 UTC 2007 IDJOB= 429400 IDBENCH= 47906 IDSOLVER= 163 FILE ID= node41/429400-1177984391 PBS_JOBID= 4728011 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=9-P0=263-P1=409-P2=29-P3=379-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429400-1177984391/instance-429400-1177984391.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-429400-1177984391 -o ROOT/results/node41/solver-429400-1177984391 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429400-1177984391/instance-429400-1177984391.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 947e947c586d02edcb816b66608818b9 RANDOM SEED= 793036407 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node41.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1785408 kB Buffers: 27684 kB Cached: 154096 kB SwapCached: 2568 kB Active: 80768 kB Inactive: 124428 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1785408 kB SwapTotal: 4192956 kB SwapFree: 4169244 kB Dirty: 6760 kB Writeback: 0 kB Mapped: 30908 kB Slab: 50592 kB Committed_AS: 3635724 kB PageTables: 2012 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 node41 on Tue May 1 02:02:41 UTC 2007