Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 1653.28 | 1653.79 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=127-P1=293-P2=269-P3=7-P4=157-B.opb |
MD5SUM | 5afebeda0ba6ac0761acdbdcd52ef74a |
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.132979 |
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 | 108 |
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 | 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) | 324 |
Sum of products size (including duplicates) | 648 |
Number of different products | 324 |
Sum of products size | 648 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/452887-1177991585/instance-452887-1177991585.opb 0.00/0.00 c File size is 5689 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.003 s 0.00/0.00 c Var: 432 Constr: 661 324/0/337 Lit: 2763 Watch. Lit: 1694 0.00/0.00 c Obj. Vars: 9 (2.08333 % of total variables) 0.00/0.01 c Pre-processing Time: 0.008 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 432 661 2763 4 2377 3689 0 0 0.01 0.00/0.01 c Switching off LPR mode. 8.08/8.12 c 100 432 761 9990 13 2485 4058 100 6250 0.02 8.08/8.12 c 251 432 912 21128 23 2734 4464 251 8366 0.03 8.08/8.12 c 477 432 1138 38846 34 3189 4911 477 9352 0.05 8.08/8.12 c 816 432 1477 65408 44 3826 5403 816 9168 0.09 8.08/8.12 c 1325 432 1986 116951 58 4813 5944 1325 7840 0.17 8.08/8.12 c 2088 432 2749 183971 66 6398 6539 2088 8285 0.25 8.08/8.12 c 3235 432 3896 286108 73 8743 7193 3235 6470 0.50 8.08/8.12 c 4956 432 5617 434413 77 12121 7913 4956 6036 0.82 8.08/8.12 c 7540 432 8201 653348 79 17311 8705 7540 5225 1.44 8.08/8.12 c 11420 432 7388 570894 77 15596 9576 6727 4939 2.31 8.08/8.12 c 17243 432 8127 658612 81 17118 10534 7466 3639 4.74 8.08/8.12 o 5 8.12 26.39/26.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.39/26.41 c 24189 432 9719 718480 73 20346 3707 9058 2978 8.12 26.39/26.41 c 24290 412 2617 144215 55 6172 4078 1956 2960 8.21 26.39/26.41 c 24541 412 2868 164052 57 6693 4486 2207 2980 8.23 26.39/26.41 c 25016 412 3343 201125 60 7624 4935 2682 3007 8.32 26.39/26.41 c 25830 412 4157 261041 62 9228 5429 3496 3040 8.49 26.39/26.41 c 27150 412 5477 361018 65 11868 5972 4816 3068 8.85 26.39/26.41 c 29232 402 4172 288813 69 9240 6570 3511 3160 9.25 26.39/26.41 c 32456 402 3952 260722 65 8840 7228 3291 3274 9.91 26.39/26.41 c 37392 402 5155 336669 65 11201 7951 4494 3132 11.94 26.39/26.41 c 44898 402 8356 654136 78 17566 8747 7695 3168 14.17 26.39/26.41 c 56261 402 5744 380575 66 12412 9622 5083 2941 19.13 26.39/26.41 c 73405 366 7419 551382 74 15834 10585 6758 2869 25.59 26.39/26.41 o 3 26.401 1653.18/1653.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1653.18/1653.78 c 77045 366 11060 849825 76 23094 3695 10399 2918 26.40 1653.18/1653.78 c 77145 366 2616 156570 59 6191 4065 1955 2913 26.48 1653.18/1653.78 c 77395 366 2866 177132 61 6670 4472 2205 2920 26.50 1653.18/1653.78 c 77871 366 3342 214742 64 7630 4920 2681 2930 26.57 1653.18/1653.78 c 78685 366 4156 279624 67 9243 5413 3495 2944 26.73 1653.18/1653.78 c 80006 366 5477 383670 70 11897 5955 4816 2956 27.06 1653.18/1653.78 c 82088 366 4433 298406 67 9807 6551 3772 2970 27.64 1653.18/1653.78 c 85311 366 4042 302313 74 8997 7207 3381 2998 28.45 1653.18/1653.78 c 90248 366 5162 339517 65 11273 7928 4501 3033 29.75 1653.18/1653.78 c 97754 365 8324 649476 78 17619 8721 7663 2986 32.73 1653.18/1653.78 c 109116 343 5738 409810 71 12432 9594 5077 3005 36.31 1653.18/1653.78 c 126260 343 8023 573651 71 16943 10554 7362 2836 44.51 1653.18/1653.78 c 152080 343 6651 448174 67 14200 11610 5990 2643 57.54 1653.18/1653.78 c 190912 343 8954 676967 75 18848 12772 8293 2439 78.27 1653.18/1653.78 c 249265 343 13381 1016974 76 27720 14050 12720 2155 115.64 1653.18/1653.78 c 336898 343 12761 959191 75 26472 15456 12100 1909 176.46 1653.18/1653.78 c 468450 343 14737 1054388 71 30428 17002 14076 1672 280.17 1653.18/1653.78 c 665883 343 17361 1430261 82 35618 18703 16700 1440 462.16 1653.18/1653.78 c 962136 342 15458 1233947 79 31846 20574 14797 1284 749.09 1653.18/1653.78 c 1406618 341 16618 1305234 78 34217 22632 15957 1101 1276.90 1653.18/1653.78 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 1653.18/1653.78 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 -x73 -x74 -x75 1653.18/1653.78 v -x76 -x77 -x78 -x79 -x80 -x81 x55 -x56 x57 x58 -x59 x60 -x61 -x62 -x63 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x64 x65 x66 1653.18/1653.78 v -x67 -x68 -x69 -x70 x71 -x72 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 x106 -x107 -x108 1653.18/1653.78 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1653.18/1653.78 c 43 1697570 5479 1717204 20425 1244745 19764 1026 1653.28 1653.18/1653.78 c Objective: 3 1653.18/1653.78 s OPTIMUM FOUND 1653.18/1653.78 c Total time: 1653.28 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node61/watcher-452887-1177991585 -o ROOT/results/node61/solver-452887-1177991585 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452887-1177991585/instance-452887-1177991585.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.91 0.97 0.97 3/64 7046 /proc/meminfo: memFree=1828600/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=19556 CPUtime=0 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 373 0 0 0 0 0 0 0 18 0 1 0 211122149 20025344 343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 2936 344 289 324 0 2004 0 [startup+0.0970749 s] /proc/loadavg: 0.91 0.97 0.97 3/64 7046 /proc/meminfo: memFree=1828600/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=5092 CPUtime=0.08 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 675 0 0 0 8 0 0 0 18 0 1 0 211122149 5214208 643 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 1273 643 310 324 0 343 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5092 [startup+0.102074 s] /proc/loadavg: 0.91 0.97 0.97 3/64 7046 /proc/meminfo: memFree=1828600/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=5092 CPUtime=0.09 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 686 0 0 0 9 0 0 0 18 0 1 0 211122149 5214208 654 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 1273 655 310 324 0 343 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5092 [startup+0.302106 s] /proc/loadavg: 0.91 0.97 0.97 3/64 7046 /proc/meminfo: memFree=1828600/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=7164 CPUtime=0.29 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 1198 0 0 0 29 0 0 0 19 0 1 0 211122149 7335936 1166 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550814 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 1791 1166 310 324 0 861 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7164 [startup+0.701132 s] /proc/loadavg: 0.91 0.97 0.97 3/64 7046 /proc/meminfo: memFree=1828600/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=9232 CPUtime=0.69 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 1732 0 0 0 68 1 0 0 22 0 1 0 211122149 9453568 1700 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 2308 1700 310 324 0 1378 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9232 [startup+1.50121 s] /proc/loadavg: 0.91 0.97 0.97 2/65 7047 /proc/meminfo: memFree=1821104/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=13352 CPUtime=1.49 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 2751 0 0 0 148 1 0 0 25 0 1 0 211122149 13672448 2719 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551377 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 3338 2719 310 324 0 2408 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13352 [startup+3.10136 s] /proc/loadavg: 0.91 0.97 0.97 2/65 7047 /proc/meminfo: memFree=1817072/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=15148 CPUtime=3.09 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 3197 0 0 0 307 2 0 0 25 0 1 0 211122149 15511552 3165 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 3787 3165 310 324 0 2857 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15148 [startup+6.30166 s] /proc/loadavg: 0.92 0.97 0.97 2/65 7047 /proc/meminfo: memFree=1815856/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=16420 CPUtime=6.28 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 3508 0 0 0 626 2 0 0 25 0 1 0 211122149 16814080 3476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 4105 3476 310 324 0 3175 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 16420 [startup+12.7013 s] /proc/loadavg: 0.93 0.97 0.97 2/65 7047 /proc/meminfo: memFree=1815152/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=16808 CPUtime=12.69 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 3626 0 0 0 1266 3 0 0 25 0 1 0 211122149 17211392 3594 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10813447 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 4202 3594 311 324 0 3272 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16808 [startup+25.5025 s] /proc/loadavg: 0.94 0.97 0.97 2/65 7047 /proc/meminfo: memFree=1815216/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=16808 CPUtime=25.49 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 3626 0 0 0 2546 3 0 0 25 0 1 0 211122149 17211392 3594 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 4202 3594 311 324 0 3272 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 16808 [startup+51.1019 s] /proc/loadavg: 0.96 0.97 0.97 2/65 7047 /proc/meminfo: memFree=1815216/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=16808 CPUtime=51.07 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 3626 0 0 0 5104 3 0 0 25 0 1 0 211122149 17211392 3594 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 4202 3594 311 324 0 3272 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 16808 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.97 2/65 7047 /proc/meminfo: memFree=1812592/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=19456 CPUtime=102.26 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 4271 0 0 0 10223 3 0 0 25 0 1 0 211122149 19922944 4239 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 4864 4239 311 324 0 3934 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 19456 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7047 /proc/meminfo: memFree=1810864/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=21028 CPUtime=162.25 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 4709 0 0 0 16221 4 0 0 25 0 1 0 211122149 21532672 4650 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 5257 4650 311 324 0 4327 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 21028 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7047 /proc/meminfo: memFree=1810032/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=21972 CPUtime=222.23 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 4939 0 0 0 22219 4 0 0 25 0 1 0 211122149 22499328 4880 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 5493 4880 311 324 0 4563 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 21972 [startup+282.303 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7047 /proc/meminfo: memFree=1808496/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=23508 CPUtime=282.21 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 5315 0 0 0 28217 4 0 0 25 0 1 0 211122149 24072192 5256 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10825358 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 5877 5256 311 324 0 4947 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 23508 [startup+342.303 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7047 /proc/meminfo: memFree=1806960/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=24980 CPUtime=342.2 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 5692 0 0 0 34215 5 0 0 25 0 1 0 211122149 25579520 5633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 6245 5633 311 324 0 5315 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 24980 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7047 /proc/meminfo: memFree=1806576/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=25404 CPUtime=402.18 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 5798 0 0 0 40213 5 0 0 25 0 1 0 211122149 26013696 5739 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 6351 5739 311 324 0 5421 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 25404 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7047 /proc/meminfo: memFree=1806512/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=25404 CPUtime=462.16 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 5798 0 0 0 46211 5 0 0 25 0 1 0 211122149 26013696 5739 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10817274 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 6351 5739 311 324 0 5421 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 25404 [startup+522.303 s] /proc/loadavg: 0.99 0.97 0.97 2/71 7221 /proc/meminfo: memFree=1803960/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=26696 CPUtime=522.07 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 6118 0 0 0 52200 7 0 0 25 0 1 0 211122149 27336704 6059 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 6674 6059 311 324 0 5744 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 26696 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7245 /proc/meminfo: memFree=1804976/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=26688 CPUtime=582.05 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 6118 0 0 0 58198 7 0 0 25 0 1 0 211122149 27328512 6059 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 6672 6059 311 324 0 5742 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 26688 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7245 /proc/meminfo: memFree=1804400/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=27448 CPUtime=642.04 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 6301 0 0 0 64196 8 0 0 25 0 1 0 211122149 28106752 6242 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10825452 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 6862 6242 311 324 0 5932 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 27448 ################ # More data... # ################ /proc/meminfo: memFree=1802864/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=29084 CPUtime=1001.94 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 6721 0 0 0 100186 8 0 0 25 0 1 0 211122149 29782016 6653 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 7271 6653 311 324 0 6341 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 29084 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7245 /proc/meminfo: memFree=1802864/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=29068 CPUtime=1061.93 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 6721 0 0 0 106185 8 0 0 25 0 1 0 211122149 29765632 6653 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 7267 6653 311 324 0 6337 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 29068 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7245 /proc/meminfo: memFree=1802864/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=29064 CPUtime=1121.92 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 6721 0 0 0 112183 9 0 0 25 0 1 0 211122149 29761536 6653 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 7266 6653 311 324 0 6336 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 29064 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7245 /proc/meminfo: memFree=1802800/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=29044 CPUtime=1181.9 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 6721 0 0 0 118181 9 0 0 25 0 1 0 211122149 29741056 6653 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 7261 6653 311 324 0 6331 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 29044 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7245 /proc/meminfo: memFree=1802736/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=29032 CPUtime=1241.89 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 6721 0 0 0 124180 9 0 0 25 0 1 0 211122149 29728768 6651 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 7258 6651 311 324 0 6328 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 29032 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7245 /proc/meminfo: memFree=1801264/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=30548 CPUtime=1301.88 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 7090 0 0 0 130178 10 0 0 25 0 1 0 211122149 31281152 7020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 7637 7020 311 324 0 6707 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 30548 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7245 /proc/meminfo: memFree=1801264/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=30532 CPUtime=1361.86 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 7090 0 0 0 136176 10 0 0 25 0 1 0 211122149 31264768 7020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 7633 7020 311 324 0 6703 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 30532 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7245 /proc/meminfo: memFree=1801264/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=30528 CPUtime=1421.84 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 7090 0 0 0 142174 10 0 0 25 0 1 0 211122149 31260672 7020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 7632 7020 311 324 0 6702 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 30528 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7245 /proc/meminfo: memFree=1801264/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=30528 CPUtime=1481.83 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 7090 0 0 0 148173 10 0 0 25 0 1 0 211122149 31260672 7020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10825344 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 7632 7020 311 324 0 6702 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 30528 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7245 /proc/meminfo: memFree=1801200/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=30528 CPUtime=1541.81 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 7090 0 0 0 154171 10 0 0 25 0 1 0 211122149 31260672 7020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 7632 7020 311 324 0 6702 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 30528 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7245 /proc/meminfo: memFree=1801200/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=30528 CPUtime=1601.79 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 7090 0 0 0 160169 10 0 0 25 0 1 0 211122149 31260672 7020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 7632 7020 311 324 0 6702 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 30528 Solver just ended. Dumping a history of the last processes samples [startup+1612.7 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7245 /proc/meminfo: memFree=1801200/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=30528 CPUtime=1612.19 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 7090 0 0 0 161209 10 0 0 25 0 1 0 211122149 31260672 7020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550814 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 7632 7020 311 324 0 6702 0 Current children cumulated CPU time (s) 1612.19 Current children cumulated vsize (KiB) 30528 [startup+1638.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7245 /proc/meminfo: memFree=1801200/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=30528 CPUtime=1637.78 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 7090 0 0 0 163768 10 0 0 25 0 1 0 211122149 31260672 7020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 7632 7020 311 324 0 6702 0 Current children cumulated CPU time (s) 1637.78 Current children cumulated vsize (KiB) 30528 [startup+1644.7 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7245 /proc/meminfo: memFree=1801200/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=30528 CPUtime=1644.18 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 7090 0 0 0 164408 10 0 0 25 0 1 0 211122149 31260672 7020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 7632 7020 311 324 0 6702 0 Current children cumulated CPU time (s) 1644.18 Current children cumulated vsize (KiB) 30528 [startup+1647.9 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7245 /proc/meminfo: memFree=1801200/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=30528 CPUtime=1647.38 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 7090 0 0 0 164728 10 0 0 25 0 1 0 211122149 31260672 7020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 7632 7020 311 324 0 6702 0 Current children cumulated CPU time (s) 1647.38 Current children cumulated vsize (KiB) 30528 [startup+1651.11 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7245 /proc/meminfo: memFree=1801200/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=30528 CPUtime=1650.59 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 7090 0 0 0 165049 10 0 0 25 0 1 0 211122149 31260672 7020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 7632 7020 311 324 0 6702 0 Current children cumulated CPU time (s) 1650.59 Current children cumulated vsize (KiB) 30528 [startup+1652.7 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7245 /proc/meminfo: memFree=1801200/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=30528 CPUtime=1652.18 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 7090 0 0 0 165208 10 0 0 25 0 1 0 211122149 31260672 7020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551646 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 7632 7020 311 324 0 6702 0 Current children cumulated CPU time (s) 1652.18 Current children cumulated vsize (KiB) 30528 [startup+1653.5 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7245 /proc/meminfo: memFree=1801200/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=30528 CPUtime=1652.98 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 7090 0 0 0 165288 10 0 0 25 0 1 0 211122149 31260672 7020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 7632 7020 311 324 0 6702 0 Current children cumulated CPU time (s) 1652.98 Current children cumulated vsize (KiB) 30528 [startup+1653.7 s] /proc/loadavg: 0.99 0.97 0.97 2/65 7245 /proc/meminfo: memFree=1801200/2055920 swapFree=4184156/4192956 [pid=7046] ppid=7044 vsize=30528 CPUtime=1653.18 /proc/7046/stat : 7046 (bsolo3.0.17) R 7044 7046 4374 0 -1 4194304 7090 0 0 0 165308 10 0 0 25 0 1 0 211122149 31260672 7020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7046/statm: 7632 7020 311 324 0 6702 0 Current children cumulated CPU time (s) 1653.18 Current children cumulated vsize (KiB) 30528 Child status: 0 Real time (s): 1653.79 CPU time (s): 1653.28 CPU user time (s): 1653.17 CPU system time (s): 0.113982 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (KiB): 30548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1653.17 system time used= 0.113982 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7094 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= 2700 runsolver used 1.3058 second user time and 3.2615 second system time The end
Begin job on node61 on Tue May 1 03:53:05 UTC 2007 IDJOB= 452887 IDBENCH= 47954 IDSOLVER= 199 FILE ID= node61/452887-1177991585 PBS_JOBID= 4728189 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=127-P1=293-P2=269-P3=7-P4=157-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452887-1177991585/instance-452887-1177991585.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-452887-1177991585 -o ROOT/results/node61/solver-452887-1177991585 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452887-1177991585/instance-452887-1177991585.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 5afebeda0ba6ac0761acdbdcd52ef74a RANDOM SEED= 772457182 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node61.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.240 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.240 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: 1829016 kB Buffers: 23544 kB Cached: 140016 kB SwapCached: 2904 kB Active: 87472 kB Inactive: 86656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1829016 kB SwapTotal: 4192956 kB SwapFree: 4184156 kB Dirty: 6596 kB Writeback: 0 kB Mapped: 16592 kB Slab: 38844 kB Committed_AS: 1156136 kB PageTables: 1392 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 node61 on Tue May 1 04:20:39 UTC 2007