Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Pueblo 1.3 | ? (TO) | 1800.49 | 1801.19 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb |
MD5SUM | 3df4b6f92f1f3083d4934635de2b04ef |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.048991 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 2280 |
Total number of constraints | 1636 |
Number of constraints which are clauses | 1558 |
Number of constraints which are cardinality constraints (but not clauses) | 78 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 40 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 41 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.13 c starting to Solve 0.13 c #variables read: 2280 - #constraints read: 1636
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-37367-1149230947 -o ROOT/results/node38/solver-37367-1149230947 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node38/37367-1149230947/instance-37367-1149230947.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.84 0.94 0.90 2/64 2661 /proc/meminfo: memFree=1373064/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=2572 CPUtime=0 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 268 0 0 0 0 0 0 0 18 0 1 0 188760970 2633728 239 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 9072343 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 643 239 199 16 0 84 0 [startup+10.0023 s] /proc/loadavg: 0.87 0.94 0.90 2/64 2661 /proc/meminfo: memFree=1366360/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=9156 CPUtime=9.99 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 1912 0 0 0 998 1 0 0 25 0 1 0 188760970 9375744 1883 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559471 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 2289 1883 205 16 0 1730 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 9156 [startup+20.0082 s] /proc/loadavg: 0.89 0.94 0.90 2/64 2661 /proc/meminfo: memFree=1362136/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=13380 CPUtime=19.99 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 2959 0 0 0 1998 1 0 0 25 0 1 0 188760970 13701120 2930 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 3345 2930 205 16 0 2786 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 13380 [startup+30.0142 s] /proc/loadavg: 0.90 0.94 0.90 2/64 2661 /proc/meminfo: memFree=1361368/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=14176 CPUtime=29.99 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 3169 0 0 0 2998 1 0 0 25 0 1 0 188760970 14516224 3140 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 3544 3140 205 16 0 2985 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 14176 [startup+40.0201 s] /proc/loadavg: 0.92 0.94 0.90 2/64 2661 /proc/meminfo: memFree=1361048/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=14572 CPUtime=39.99 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 3249 0 0 0 3998 1 0 0 25 0 1 0 188760970 14921728 3220 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 3643 3220 205 16 0 3084 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 14572 [startup+50.0261 s] /proc/loadavg: 0.93 0.94 0.90 2/64 2661 /proc/meminfo: memFree=1360280/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=15360 CPUtime=50 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 3454 0 0 0 4999 1 0 0 25 0 1 0 188760970 15728640 3425 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 3840 3425 205 16 0 3281 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 15360 [startup+60.032 s] /proc/loadavg: 0.94 0.95 0.90 2/64 2661 /proc/meminfo: memFree=1360280/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=15360 CPUtime=60 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 3454 0 0 0 5999 1 0 0 25 0 1 0 188760970 15728640 3425 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 3840 3425 205 16 0 3281 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 15360 [startup+70.038 s] /proc/loadavg: 0.95 0.95 0.91 2/64 2661 /proc/meminfo: memFree=1360088/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=15492 CPUtime=70 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 3498 0 0 0 6999 1 0 0 25 0 1 0 188760970 15863808 3469 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 3873 3469 205 16 0 3314 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 15492 [startup+80.0439 s] /proc/loadavg: 0.96 0.95 0.91 2/64 2661 /proc/meminfo: memFree=1358744/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=16916 CPUtime=80 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 3834 0 0 0 7999 1 0 0 25 0 1 0 188760970 17321984 3805 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 4229 3805 205 16 0 3670 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 16916 [startup+90.0499 s] /proc/loadavg: 0.96 0.95 0.91 2/64 2661 /proc/meminfo: memFree=1358744/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=16888 CPUtime=90.01 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 3834 0 0 0 9000 1 0 0 25 0 1 0 188760970 17293312 3805 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 4222 3805 205 16 0 3663 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 16888 [startup+100.056 s] /proc/loadavg: 0.97 0.95 0.91 2/64 2661 /proc/meminfo: memFree=1358744/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=16884 CPUtime=100.01 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 3834 0 0 0 10000 1 0 0 25 0 1 0 188760970 17289216 3805 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 4221 3805 205 16 0 3662 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 16884 [startup+110.062 s] /proc/loadavg: 0.97 0.95 0.91 2/64 2661 /proc/meminfo: memFree=1358744/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=16868 CPUtime=110.01 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 3834 0 0 0 11000 1 0 0 25 0 1 0 188760970 17272832 3805 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 4217 3805 205 16 0 3658 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 16868 [startup+120.068 s] /proc/loadavg: 0.98 0.95 0.91 2/64 2661 /proc/meminfo: memFree=1358040/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=17508 CPUtime=120.01 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 4004 0 0 0 12000 1 0 0 25 0 1 0 188760970 17928192 3975 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 4377 3975 205 16 0 3818 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 17508 [startup+130.074 s] /proc/loadavg: 0.98 0.95 0.91 2/64 2661 /proc/meminfo: memFree=1357848/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=17776 CPUtime=130.01 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 4055 0 0 0 13000 1 0 0 25 0 1 0 188760970 18202624 4026 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 4444 4026 205 16 0 3885 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 17776 [startup+140.08 s] /proc/loadavg: 0.98 0.95 0.91 2/64 2661 /proc/meminfo: memFree=1357784/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=17776 CPUtime=140.02 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 4055 0 0 0 14001 1 0 0 25 0 1 0 188760970 18202624 4026 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 4444 4026 205 16 0 3885 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 17776 [startup+150.087 s] /proc/loadavg: 0.98 0.95 0.91 2/64 2661 /proc/meminfo: memFree=1356632/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=18936 CPUtime=150.02 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 4353 0 0 0 15001 1 0 0 25 0 1 0 188760970 19390464 4324 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 4734 4324 205 16 0 4175 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 18936 [startup+160.093 s] /proc/loadavg: 0.99 0.96 0.91 2/64 2661 /proc/meminfo: memFree=1356632/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=18936 CPUtime=160.02 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 4353 0 0 0 16001 1 0 0 25 0 1 0 188760970 19390464 4324 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 4734 4324 205 16 0 4175 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 18936 [startup+170.098 s] /proc/loadavg: 0.99 0.96 0.91 2/64 2661 /proc/meminfo: memFree=1356632/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=18936 CPUtime=170.03 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 4353 0 0 0 17001 2 0 0 25 0 1 0 188760970 19390464 4324 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 4734 4324 205 16 0 4175 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 18936 [startup+180.104 s] /proc/loadavg: 0.99 0.96 0.91 2/64 2661 /proc/meminfo: memFree=1356568/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=19028 CPUtime=180.04 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 4371 0 0 0 18002 2 0 0 25 0 1 0 188760970 19484672 4342 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 4757 4342 205 16 0 4198 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 19028 [startup+190.112 s] /proc/loadavg: 0.99 0.96 0.91 2/64 2661 /proc/meminfo: memFree=1356568/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=19024 CPUtime=190.04 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 4371 0 0 0 19002 2 0 0 25 0 1 0 188760970 19480576 4342 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 4756 4342 205 16 0 4197 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 19024 [startup+200.118 s] /proc/loadavg: 0.99 0.96 0.91 2/64 2661 /proc/meminfo: memFree=1356568/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=19004 CPUtime=200.04 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 4371 0 0 0 20002 2 0 0 25 0 1 0 188760970 19460096 4342 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517793 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 4751 4342 205 16 0 4192 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 19004 [startup+210.124 s] /proc/loadavg: 0.99 0.96 0.91 2/64 2661 /proc/meminfo: memFree=1356568/2055920 swapFree=4181196/4192956 ################ # More data... # ################ /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 7441 0 0 0 178130 9 0 0 25 0 1 0 188760970 31453184 7266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 7679 7266 205 16 0 7120 0 Current children cumulated CPU time (s) 1781.39 Current children cumulated vsize (Kb) 30716 [startup+1783.09 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2856 /proc/meminfo: memFree=1344472/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=30716 CPUtime=1782.4 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 7441 0 0 0 178231 9 0 0 25 0 1 0 188760970 31453184 7266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 7679 7266 205 16 0 7120 0 Current children cumulated CPU time (s) 1782.4 Current children cumulated vsize (Kb) 30716 [startup+1784.09 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2856 /proc/meminfo: memFree=1344472/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=30716 CPUtime=1783.4 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 7441 0 0 0 178331 9 0 0 25 0 1 0 188760970 31453184 7266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 7679 7266 205 16 0 7120 0 Current children cumulated CPU time (s) 1783.4 Current children cumulated vsize (Kb) 30716 [startup+1785.1 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2856 /proc/meminfo: memFree=1344472/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=30680 CPUtime=1784.41 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 7441 0 0 0 178432 9 0 0 25 0 1 0 188760970 31416320 7266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 7670 7266 205 16 0 7111 0 Current children cumulated CPU time (s) 1784.41 Current children cumulated vsize (Kb) 30680 [startup+1786.1 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2856 /proc/meminfo: memFree=1344472/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=30680 CPUtime=1785.41 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 7441 0 0 0 178532 9 0 0 25 0 1 0 188760970 31416320 7266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 7670 7266 205 16 0 7111 0 Current children cumulated CPU time (s) 1785.41 Current children cumulated vsize (Kb) 30680 [startup+1787.11 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2856 /proc/meminfo: memFree=1344472/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=30680 CPUtime=1786.42 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 7441 0 0 0 178633 9 0 0 25 0 1 0 188760970 31416320 7266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 7670 7266 205 16 0 7111 0 Current children cumulated CPU time (s) 1786.42 Current children cumulated vsize (Kb) 30680 [startup+1788.11 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2856 /proc/meminfo: memFree=1344472/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=30680 CPUtime=1787.42 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 7441 0 0 0 178733 9 0 0 25 0 1 0 188760970 31416320 7266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 7670 7266 205 16 0 7111 0 Current children cumulated CPU time (s) 1787.42 Current children cumulated vsize (Kb) 30680 [startup+1789.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2856 /proc/meminfo: memFree=1344472/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=30680 CPUtime=1788.43 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 7441 0 0 0 178834 9 0 0 25 0 1 0 188760970 31416320 7266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 7670 7266 205 16 0 7111 0 Current children cumulated CPU time (s) 1788.43 Current children cumulated vsize (Kb) 30680 [startup+1790.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2856 /proc/meminfo: memFree=1344472/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=30680 CPUtime=1789.43 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 7441 0 0 0 178934 9 0 0 25 0 1 0 188760970 31416320 7266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 7670 7266 205 16 0 7111 0 Current children cumulated CPU time (s) 1789.43 Current children cumulated vsize (Kb) 30680 [startup+1791.13 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2856 /proc/meminfo: memFree=1344472/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=30680 CPUtime=1790.43 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 7441 0 0 0 179034 9 0 0 25 0 1 0 188760970 31416320 7266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 7670 7266 205 16 0 7111 0 Current children cumulated CPU time (s) 1790.43 Current children cumulated vsize (Kb) 30680 [startup+1792.13 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2856 /proc/meminfo: memFree=1344472/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=30680 CPUtime=1791.44 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 7441 0 0 0 179135 9 0 0 25 0 1 0 188760970 31416320 7266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 7670 7266 205 16 0 7111 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (Kb) 30680 [startup+1793.14 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2856 /proc/meminfo: memFree=1344472/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=30668 CPUtime=1792.44 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 7441 0 0 0 179235 9 0 0 25 0 1 0 188760970 31404032 7266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 7667 7266 205 16 0 7108 0 Current children cumulated CPU time (s) 1792.44 Current children cumulated vsize (Kb) 30668 [startup+1794.14 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2856 /proc/meminfo: memFree=1344472/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=30668 CPUtime=1793.45 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 7441 0 0 0 179336 9 0 0 25 0 1 0 188760970 31404032 7266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 7667 7266 205 16 0 7108 0 Current children cumulated CPU time (s) 1793.45 Current children cumulated vsize (Kb) 30668 [startup+1795.15 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2856 /proc/meminfo: memFree=1344472/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=30668 CPUtime=1794.45 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 7441 0 0 0 179436 9 0 0 25 0 1 0 188760970 31404032 7266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517940 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 7667 7266 205 16 0 7108 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (Kb) 30668 [startup+1796.15 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2856 /proc/meminfo: memFree=1344472/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=30668 CPUtime=1795.46 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 7441 0 0 0 179537 9 0 0 25 0 1 0 188760970 31404032 7266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 7667 7266 205 16 0 7108 0 Current children cumulated CPU time (s) 1795.46 Current children cumulated vsize (Kb) 30668 [startup+1797.16 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2856 /proc/meminfo: memFree=1344472/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=30668 CPUtime=1796.46 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 7441 0 0 0 179637 9 0 0 25 0 1 0 188760970 31404032 7266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 7667 7266 205 16 0 7108 0 Current children cumulated CPU time (s) 1796.46 Current children cumulated vsize (Kb) 30668 [startup+1798.16 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2856 /proc/meminfo: memFree=1344472/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=30668 CPUtime=1797.46 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 7441 0 0 0 179737 9 0 0 25 0 1 0 188760970 31404032 7266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 7667 7266 205 16 0 7108 0 Current children cumulated CPU time (s) 1797.46 Current children cumulated vsize (Kb) 30668 [startup+1799.17 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2856 /proc/meminfo: memFree=1344472/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=30668 CPUtime=1798.47 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 7441 0 0 0 179838 9 0 0 25 0 1 0 188760970 31404032 7266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 7667 7266 205 16 0 7108 0 Current children cumulated CPU time (s) 1798.47 Current children cumulated vsize (Kb) 30668 [startup+1800.17 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2856 /proc/meminfo: memFree=1344472/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=30668 CPUtime=1799.47 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 7441 0 0 0 179938 9 0 0 25 0 1 0 188760970 31404032 7266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 7667 7266 205 16 0 7108 0 Current children cumulated CPU time (s) 1799.47 Current children cumulated vsize (Kb) 30668 [startup+1801.18 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2856 /proc/meminfo: memFree=1344472/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=30656 CPUtime=1800.48 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 7441 0 0 0 180039 9 0 0 25 0 1 0 188760970 31391744 7264 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 7664 7264 205 16 0 7105 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 30656 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2856 /proc/meminfo: memFree=1344472/2055920 swapFree=4181196/4192956 [pid=2661] ppid=2659 vsize=30656 CPUtime=1800.48 /proc/2661/stat : 2661 (Pueblo13) R 2659 2661 2616 0 -1 4194304 7441 0 0 0 180039 9 0 0 25 0 1 0 188760970 31391744 7264 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 7664 7264 205 16 0 7105 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 30656 Sending SIGTERM to -2661 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.19 CPU time (s): 1800.49 CPU user time (s): 1800.4 CPU system time (s): 0.097985 CPU usage (%): 99.9614 Max. virtual memory (cumulated for all children) (Kb): 30716 The end
Begin job on node38 on Fri Jun 2 06:49:07 UTC 2006 FILE ID= 37367-1149230947 PBS_JOBID= 296421 BENCH NAME= ROOT/tmp/node38/37367-1149230947/instance-37367-1149230947.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node38/37367-1149230947/instance-37367-1149230947.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-37367-1149230947 -o ROOT/results/node38/solver-37367-1149230947 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node38/37367-1149230947/instance-37367-1149230947.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 3df4b6f92f1f3083d4934635de2b04ef RANDOM SEED= 789051348 /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.267 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.267 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: 1373272 kB Buffers: 22832 kB Cached: 587776 kB SwapCached: 3636 kB Active: 88880 kB Inactive: 530620 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1373272 kB SwapTotal: 4192956 kB SwapFree: 4181196 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14892 kB Slab: 49116 kB Committed_AS: 237980 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node38 on Fri Jun 2 07:19:08 UTC 2006