Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 1662.52 | 1663.22 |
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.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/430072-1177991365/instance-430072-1177991365.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.002 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.007 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 432 661 2763 4 2377 3689 0 0 0.01 0.00/0.01 c Switching off LPR mode. 8.19/8.24 c 100 432 761 9990 13 2485 4058 100 6250 0.02 8.19/8.24 c 251 432 912 21128 23 2734 4464 251 8366 0.03 8.19/8.24 c 477 432 1138 38846 34 3189 4911 477 9352 0.05 8.19/8.24 c 816 432 1477 65408 44 3826 5403 816 9066 0.09 8.19/8.24 c 1325 432 1986 116951 58 4813 5944 1325 7794 0.17 8.19/8.24 c 2088 432 2749 183971 66 6398 6539 2088 8188 0.26 8.19/8.24 c 3235 432 3896 286108 73 8743 7193 3235 6431 0.50 8.19/8.24 c 4956 432 5617 434413 77 12121 7913 4956 5978 0.83 8.19/8.24 c 7540 432 8201 653348 79 17311 8705 7540 5167 1.46 8.19/8.24 c 11420 432 7388 570894 77 15596 9576 6727 4880 2.34 8.19/8.24 c 17243 432 8127 658612 81 17118 10534 7466 3594 4.80 8.19/8.24 o 5 8.243 26.68/26.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.68/26.73 c 24189 432 9719 718480 73 20346 3707 9058 2934 8.24 26.68/26.73 c 24290 412 2617 144215 55 6172 4078 1956 2916 8.33 26.68/26.73 c 24541 412 2868 164052 57 6693 4486 2207 2936 8.36 26.68/26.73 c 25016 412 3343 201125 60 7624 4935 2682 2963 8.44 26.68/26.73 c 25830 412 4157 261041 62 9228 5429 3496 2995 8.62 26.68/26.73 c 27150 412 5477 361018 65 11868 5972 4816 3021 8.99 26.68/26.73 c 29232 402 4172 288813 69 9240 6570 3511 3112 9.39 26.68/26.73 c 32456 402 3952 260722 65 8840 7228 3291 3224 10.06 26.68/26.73 c 37392 402 5155 336669 65 11201 7951 4494 3082 12.13 26.68/26.73 c 44898 402 8356 654136 78 17566 8747 7695 3119 14.39 26.68/26.73 c 56261 402 5744 380575 66 12412 9622 5083 2901 19.39 26.68/26.73 c 73405 366 7419 551382 74 15834 10585 6758 2834 25.90 26.68/26.73 o 3 26.719 1662.50/1663.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1662.50/1663.20 c 77045 366 11060 849825 76 23094 3695 10399 2883 26.72 1662.50/1663.20 c 77145 366 2616 156570 59 6191 4065 1955 2878 26.80 1662.50/1663.20 c 77395 366 2866 177132 61 6670 4472 2205 2885 26.82 1662.50/1663.20 c 77871 366 3342 214742 64 7630 4920 2681 2895 26.89 1662.50/1663.20 c 78685 366 4156 279624 67 9243 5413 3495 2909 27.05 1662.50/1663.20 c 80006 366 5477 383670 70 11897 5955 4816 2921 27.39 1662.50/1663.20 c 82088 366 4433 298406 67 9807 6551 3772 2935 27.96 1662.50/1663.20 c 85311 366 4042 302313 74 8997 7207 3381 2963 28.79 1662.50/1663.20 c 90248 366 5162 339517 65 11273 7928 4501 2998 30.10 1662.50/1663.20 c 97754 365 8324 649476 78 17619 8721 7663 2951 33.12 1662.50/1663.20 c 109116 343 5738 409810 71 12432 9594 5077 2969 36.75 1662.50/1663.20 c 126260 343 8023 573651 71 16943 10554 7362 2803 45.04 1662.50/1663.20 c 152080 343 6651 448174 67 14200 11610 5990 2614 58.17 1662.50/1663.20 c 190912 343 8954 676967 75 18848 12772 8293 2413 79.10 1662.50/1663.20 c 249265 343 13381 1016974 76 27720 14050 12720 2132 116.87 1662.50/1663.20 c 336898 343 12761 959191 75 26472 15456 12100 1890 178.19 1662.50/1663.20 c 468450 343 14737 1054388 71 30428 17002 14076 1656 282.87 1662.50/1663.20 c 665883 343 17361 1430261 82 35618 18703 16700 1429 465.67 1662.50/1663.20 c 962136 342 15458 1233947 79 31846 20574 14797 1276 753.80 1662.50/1663.20 c 1406618 341 16618 1305234 78 34217 22632 15957 1095 1283.86 1662.50/1663.20 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 1662.50/1663.20 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 1662.50/1663.20 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 1662.50/1663.20 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 1662.50/1663.20 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1662.50/1663.20 c 43 1697570 5479 1717204 20425 1244745 19764 1021 1662.51 1662.50/1663.20 c Objective: 3 1662.50/1663.20 s OPTIMUM FOUND 1662.50/1663.20 c Total time: 1662.51 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-430072-1177991365 -o ROOT/results/node38/solver-430072-1177991365 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430072-1177991365/instance-430072-1177991365.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.98 3/77 21360 /proc/meminfo: memFree=1815128/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=3932 CPUtime=0 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 231303182 4026368 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 983 347 291 324 0 50 0 [startup+0.0934909 s] /proc/loadavg: 0.85 0.97 0.98 3/77 21360 /proc/meminfo: memFree=1815128/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=5092 CPUtime=0.08 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 669 0 0 0 8 0 0 0 18 0 1 0 231303182 5214208 636 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 1273 637 312 324 0 342 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5092 [startup+0.101493 s] /proc/loadavg: 0.85 0.97 0.98 3/77 21360 /proc/meminfo: memFree=1815128/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=5092 CPUtime=0.09 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 684 0 0 0 9 0 0 0 18 0 1 0 231303182 5214208 651 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 1273 651 312 324 0 342 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5092 [startup+0.301531 s] /proc/loadavg: 0.85 0.97 0.98 3/77 21360 /proc/meminfo: memFree=1815128/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=7164 CPUtime=0.29 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 1190 0 0 0 29 0 0 0 19 0 1 0 231303182 7335936 1157 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 1791 1157 312 324 0 860 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7164 [startup+0.701608 s] /proc/loadavg: 0.85 0.97 0.98 3/77 21360 /proc/meminfo: memFree=1815128/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=9232 CPUtime=0.69 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 1730 0 0 0 68 1 0 0 22 0 1 0 231303182 9453568 1697 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 2308 1697 312 324 0 1377 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9232 [startup+1.50176 s] /proc/loadavg: 0.85 0.97 0.98 2/78 21361 /proc/meminfo: memFree=1807760/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=13352 CPUtime=1.49 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 2747 0 0 0 147 2 0 0 25 0 1 0 231303182 13672448 2714 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 3338 2714 312 324 0 2407 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13352 [startup+3.10107 s] /proc/loadavg: 0.86 0.97 0.98 2/78 21361 /proc/meminfo: memFree=1803664/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=15020 CPUtime=3.09 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 3176 0 0 0 306 3 0 0 25 0 1 0 231303182 15380480 3143 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 3755 3143 312 324 0 2824 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15020 [startup+6.30168 s] /proc/loadavg: 0.86 0.97 0.98 2/78 21361 /proc/meminfo: memFree=1802464/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=16292 CPUtime=6.29 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 3488 0 0 0 625 4 0 0 25 0 1 0 231303182 16683008 3455 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 4073 3455 312 324 0 3142 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16292 [startup+12.7029 s] /proc/loadavg: 0.88 0.97 0.98 2/78 21361 /proc/meminfo: memFree=1801776/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=16808 CPUtime=12.69 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 3629 0 0 0 1264 5 0 0 25 0 1 0 231303182 17211392 3596 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 4202 3596 313 324 0 3271 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16808 [startup+25.5014 s] /proc/loadavg: 0.90 0.97 0.98 2/78 21361 /proc/meminfo: memFree=1801776/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=16808 CPUtime=25.48 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 3629 0 0 0 2540 8 0 0 25 0 1 0 231303182 17211392 3596 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 4202 3596 313 324 0 3271 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16808 [startup+51.1013 s] /proc/loadavg: 0.93 0.97 0.98 2/78 21361 /proc/meminfo: memFree=1801776/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=16808 CPUtime=51.06 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 3629 0 0 0 5092 14 0 0 25 0 1 0 231303182 17211392 3596 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 4202 3596 313 324 0 3271 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 16808 [startup+102.305 s] /proc/loadavg: 0.97 0.97 0.98 2/78 21361 /proc/meminfo: memFree=1799216/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=19456 CPUtime=102.26 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 4274 0 0 0 10203 23 0 0 25 0 1 0 231303182 19922944 4241 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 4864 4241 313 324 0 3933 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.98 2/78 21361 /proc/meminfo: memFree=1797424/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=21028 CPUtime=162.23 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 4712 0 0 0 16190 33 0 0 25 0 1 0 231303182 21532672 4652 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 5257 4652 313 324 0 4326 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 21028 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21361 /proc/meminfo: memFree=1796592/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=21972 CPUtime=222.21 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 4942 0 0 0 22178 43 0 0 25 0 1 0 231303182 22499328 4882 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 5493 4882 313 324 0 4562 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 21972 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21361 /proc/meminfo: memFree=1796592/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=21964 CPUtime=282.18 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 4942 0 0 0 28168 50 0 0 25 0 1 0 231303182 22491136 4882 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 5491 4882 313 324 0 4560 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 21964 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21361 /proc/meminfo: memFree=1793584/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=24980 CPUtime=342.17 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 5695 0 0 0 34158 59 0 0 25 0 1 0 231303182 25579520 5635 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 6245 5635 313 324 0 5314 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 24980 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21361 /proc/meminfo: memFree=1793136/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=25404 CPUtime=402.14 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 5801 0 0 0 40146 68 0 0 25 0 1 0 231303182 26013696 5741 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 6351 5741 313 324 0 5420 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 25404 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21361 /proc/meminfo: memFree=1793136/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=25404 CPUtime=462.12 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 5801 0 0 0 46136 76 0 0 25 0 1 0 231303182 26013696 5741 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 6351 5741 313 324 0 5420 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 25404 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21361 /proc/meminfo: memFree=1791856/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=26696 CPUtime=522.11 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 6121 0 0 0 52127 84 0 0 25 0 1 0 231303182 27336704 6061 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 6674 6061 313 324 0 5743 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 26696 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21361 /proc/meminfo: memFree=1791856/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=26688 CPUtime=582.09 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 6121 0 0 0 58118 91 0 0 25 0 1 0 231303182 27328512 6061 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 6672 6061 313 324 0 5741 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 26688 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21361 /proc/meminfo: memFree=1791088/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=27448 CPUtime=642.07 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 6304 0 0 0 64106 101 0 0 25 0 1 0 231303182 28106752 6244 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 6862 6244 313 324 0 5931 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 27448 ################ # More data... # ################ /proc/meminfo: memFree=1789424/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=28652 CPUtime=761.92 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 6613 0 0 0 76074 118 0 0 25 0 1 0 231303182 29339648 6546 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 7163 6546 313 324 0 6232 0 Current children cumulated CPU time (s) 761.92 Current children cumulated vsize (KiB) 28652 [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21559 /proc/meminfo: memFree=1789552/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=28600 CPUtime=821.88 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 6613 0 0 0 82063 125 0 0 25 0 1 0 231303182 29286400 6545 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 7150 6545 313 324 0 6219 0 Current children cumulated CPU time (s) 821.88 Current children cumulated vsize (KiB) 28600 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21559 /proc/meminfo: memFree=1789488/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=28600 CPUtime=881.87 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 6613 0 0 0 88054 133 0 0 25 0 1 0 231303182 29286400 6545 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 7150 6545 313 324 0 6219 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 28600 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21559 /proc/meminfo: memFree=1789488/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=28596 CPUtime=941.85 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 6613 0 0 0 94046 139 0 0 25 0 1 0 231303182 29282304 6544 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 7149 6544 313 324 0 6218 0 Current children cumulated CPU time (s) 941.85 Current children cumulated vsize (KiB) 28596 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21559 /proc/meminfo: memFree=1789104/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=29084 CPUtime=1001.82 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 6724 0 0 0 100037 145 0 0 25 0 1 0 231303182 29782016 6655 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 7271 6655 313 324 0 6340 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 29084 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21559 /proc/meminfo: memFree=1789104/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=29084 CPUtime=1061.8 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 6724 0 0 0 106028 152 0 0 25 0 1 0 231303182 29782016 6655 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 7271 6655 313 324 0 6340 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 29084 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21559 /proc/meminfo: memFree=1789104/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=29064 CPUtime=1121.78 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 6724 0 0 0 112019 159 0 0 25 0 1 0 231303182 29761536 6655 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 7266 6655 313 324 0 6335 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 29064 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21559 /proc/meminfo: memFree=1789040/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=29044 CPUtime=1181.76 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 6724 0 0 0 118011 165 0 0 25 0 1 0 231303182 29741056 6655 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9039346 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 7261 6655 313 324 0 6330 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 29044 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21559 /proc/meminfo: memFree=1789040/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=29036 CPUtime=1241.74 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 6724 0 0 0 124001 173 0 0 25 0 1 0 231303182 29732864 6654 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 7259 6654 313 324 0 6328 0 Current children cumulated CPU time (s) 1241.74 Current children cumulated vsize (KiB) 29036 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21559 /proc/meminfo: memFree=1787504/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=30548 CPUtime=1301.73 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 7093 0 0 0 129992 181 0 0 25 0 1 0 231303182 31281152 7022 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 7637 7022 313 324 0 6706 0 Current children cumulated CPU time (s) 1301.73 Current children cumulated vsize (KiB) 30548 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 3/78 21559 /proc/meminfo: memFree=1787568/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=30532 CPUtime=1361.71 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 7093 0 0 0 135983 188 0 0 25 0 1 0 231303182 31264768 7022 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551180 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 7633 7022 313 324 0 6702 0 Current children cumulated CPU time (s) 1361.71 Current children cumulated vsize (KiB) 30532 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21559 /proc/meminfo: memFree=1787504/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=30528 CPUtime=1421.69 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 7093 0 0 0 141973 196 0 0 25 0 1 0 231303182 31260672 7022 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 7632 7022 313 324 0 6701 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 30528 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21559 /proc/meminfo: memFree=1787504/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=30528 CPUtime=1481.66 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 7093 0 0 0 147964 202 0 0 25 0 1 0 231303182 31260672 7022 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9037683 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 7632 7022 313 324 0 6701 0 Current children cumulated CPU time (s) 1481.66 Current children cumulated vsize (KiB) 30528 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 21559 /proc/meminfo: memFree=1787440/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=30528 CPUtime=1541.64 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 7093 0 0 0 153956 208 0 0 25 0 1 0 231303182 31260672 7022 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 7632 7022 313 324 0 6701 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 30528 [startup+1602.3 s] /proc/loadavg: 1.04 0.99 0.99 2/78 21559 /proc/meminfo: memFree=1787440/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=30528 CPUtime=1601.62 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 7093 0 0 0 159948 214 0 0 25 0 1 0 231303182 31260672 7022 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 7632 7022 313 324 0 6701 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 30528 [startup+1662.3 s] /proc/loadavg: 1.01 0.99 0.99 3/78 21559 /proc/meminfo: memFree=1787376/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=30528 CPUtime=1661.6 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 7093 0 0 0 165940 220 0 0 25 0 1 0 231303182 31260672 7022 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 7632 7022 313 324 0 6701 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 30528 Solver just ended. Dumping a history of the last processes samples [startup+1662.7 s] /proc/loadavg: 1.01 0.99 0.99 3/78 21559 /proc/meminfo: memFree=1787376/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=30528 CPUtime=1662 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 7093 0 0 0 165980 220 0 0 25 0 1 0 231303182 31260672 7022 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 7632 7022 313 324 0 6701 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 30528 [startup+1663.1 s] /proc/loadavg: 1.01 0.99 0.99 2/78 21559 /proc/meminfo: memFree=1787376/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=30528 CPUtime=1662.4 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 7093 0 0 0 166020 220 0 0 25 0 1 0 231303182 31260672 7022 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 7632 7022 313 324 0 6701 0 Current children cumulated CPU time (s) 1662.4 Current children cumulated vsize (KiB) 30528 [startup+1663.21 s] /proc/loadavg: 1.01 0.99 0.99 2/78 21559 /proc/meminfo: memFree=1787376/2055920 swapFree=4154564/4192956 [pid=21360] ppid=21358 vsize=30528 CPUtime=1662.5 /proc/21360/stat : 21360 (bsolo3.0.16) R 21358 21360 21111 0 -1 4194304 7093 0 0 0 166030 220 0 0 25 0 1 0 231303182 31260672 7022 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21360/statm: 7632 7022 313 324 0 6701 0 Current children cumulated CPU time (s) 1662.5 Current children cumulated vsize (KiB) 30528 Child status: 0 Real time (s): 1663.22 CPU time (s): 1662.52 CPU user time (s): 1660.31 CPU system time (s): 2.20966 CPU usage (%): 99.9583 Max. virtual memory (cumulated for all children) (KiB): 30548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1660.31 system time used= 2.20966 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= 12 involuntary context switches= 2265 runsolver used 1.2988 second user time and 3.80642 second system time The end
Begin job on node38 on Tue May 1 03:49:25 UTC 2007 IDJOB= 430072 IDBENCH= 47954 IDSOLVER= 163 FILE ID= node38/430072-1177991365 PBS_JOBID= 4728198 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=127-P1=293-P2=269-P3=7-P4=157-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430072-1177991365/instance-430072-1177991365.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-430072-1177991365 -o ROOT/results/node38/solver-430072-1177991365 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430072-1177991365/instance-430072-1177991365.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 5afebeda0ba6ac0761acdbdcd52ef74a RANDOM SEED= 845183678 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node38.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.263 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.263 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: 1815600 kB Buffers: 35160 kB Cached: 123308 kB SwapCached: 6772 kB Active: 30316 kB Inactive: 151220 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1815600 kB SwapTotal: 4192956 kB SwapFree: 4154564 kB Dirty: 6620 kB Writeback: 0 kB Mapped: 29620 kB Slab: 43996 kB Committed_AS: 2855788 kB PageTables: 2060 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 node38 on Tue May 1 04:17:09 UTC 2007