Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | ? (TO) | 1800.77 | 1801.27 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3708.opb |
MD5SUM | d44ccf8fb2d5e43b368613290c78fd1e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 8.84366 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 155000 |
Total number of constraints | 5150 |
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 | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 76 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 655014 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 655014 |
Number of bits of the biggest sum of numbers | 20 |
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 7.05 c starting to Solve 7.05 c #variables read: 155000 - #constraints read: 5301
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/node50/watcher-36360-1149251631 -o ROOT/results/node50/solver-36360-1149251631 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node50/36360-1149251631/instance-36360-1149251631.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.97 2/64 32518 /proc/meminfo: memFree=1317392/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=1136 CPUtime=0 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 59 0 0 0 0 0 0 0 18 0 1 0 190830247 1163264 43 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 7918372 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 284 43 33 16 0 8 0 [startup+10.0029 s] /proc/loadavg: 0.93 0.98 0.97 2/64 32518 /proc/meminfo: memFree=1242200/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=87260 CPUtime=9.99 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 825295 0 0 0 761 238 0 0 25 0 1 0 190830247 89354240 18958 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 21815 18958 206 16 0 21256 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 87260 [startup+20.0098 s] /proc/loadavg: 0.94 0.98 0.97 2/64 32518 /proc/meminfo: memFree=1242392/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=87260 CPUtime=19.99 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 825295 0 0 0 1761 238 0 0 25 0 1 0 190830247 89354240 18958 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 21815 18958 206 16 0 21256 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 87260 [startup+30.0157 s] /proc/loadavg: 0.95 0.98 0.97 2/64 32518 /proc/meminfo: memFree=1242456/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=87260 CPUtime=29.99 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 825295 0 0 0 2761 238 0 0 25 0 1 0 190830247 89354240 18958 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 21815 18958 206 16 0 21256 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 87260 [startup+40.0216 s] /proc/loadavg: 0.96 0.98 0.97 2/64 32518 /proc/meminfo: memFree=1242520/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=87260 CPUtime=40 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 825295 0 0 0 3762 238 0 0 25 0 1 0 190830247 89354240 18958 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 21815 18958 206 16 0 21256 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 87260 [startup+50.0275 s] /proc/loadavg: 0.96 0.98 0.97 2/64 32518 /proc/meminfo: memFree=1241560/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=88412 CPUtime=50 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 825583 0 0 0 4762 238 0 0 25 0 1 0 190830247 90533888 19246 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 22103 19246 206 16 0 21544 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 88412 [startup+60.0334 s] /proc/loadavg: 0.97 0.98 0.97 2/64 32518 /proc/meminfo: memFree=1239704/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=90188 CPUtime=60.01 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 826045 0 0 0 5762 239 0 0 25 0 1 0 190830247 92352512 19708 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 8356813 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 22547 19708 206 16 0 21988 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 90188 [startup+70.0393 s] /proc/loadavg: 0.97 0.98 0.97 2/64 32518 /proc/meminfo: memFree=1237528/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=92372 CPUtime=70.01 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 826584 0 0 0 6762 239 0 0 25 0 1 0 190830247 94588928 20247 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527939 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 23093 20247 206 16 0 22534 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 92372 [startup+80.0452 s] /proc/loadavg: 0.98 0.98 0.97 2/64 32518 /proc/meminfo: memFree=1234520/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=95336 CPUtime=80.02 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 827332 0 0 0 7762 240 0 0 25 0 1 0 190830247 97624064 20995 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 23834 20995 206 16 0 23275 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 95336 [startup+90.0511 s] /proc/loadavg: 0.98 0.98 0.97 2/64 32518 /proc/meminfo: memFree=1230424/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=99408 CPUtime=90.02 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 828349 0 0 0 8761 241 0 0 25 0 1 0 190830247 101793792 22012 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 24852 22012 206 16 0 24293 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 99408 [startup+100.057 s] /proc/loadavg: 0.98 0.98 0.97 2/64 32518 /proc/meminfo: memFree=1225880/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=103952 CPUtime=100.02 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 829482 0 0 0 9761 241 0 0 25 0 1 0 190830247 106446848 23145 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 25988 23145 206 16 0 25429 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 103952 [startup+110.063 s] /proc/loadavg: 0.98 0.98 0.97 2/64 32518 /proc/meminfo: memFree=1220440/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=109380 CPUtime=110.03 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 830854 0 0 0 10761 242 0 0 25 0 1 0 190830247 112005120 24517 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 27378 24518 206 16 0 26819 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 109380 [startup+120.069 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32518 /proc/meminfo: memFree=1217240/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=112620 CPUtime=120.03 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 831642 0 0 0 11761 242 0 0 25 0 1 0 190830247 115322880 25305 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 28155 25305 206 16 0 27596 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 112620 [startup+130.075 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32518 /proc/meminfo: memFree=1214744/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=115056 CPUtime=130.03 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 832266 0 0 0 12760 243 0 0 25 0 1 0 190830247 117817344 25929 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 28764 25929 206 16 0 28205 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 115056 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32518 /proc/meminfo: memFree=1212888/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=116956 CPUtime=140.03 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 832731 0 0 0 13760 243 0 0 25 0 1 0 190830247 119762944 26394 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 29239 26394 206 16 0 28680 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 116956 [startup+150.085 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32518 /proc/meminfo: memFree=1211096/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=118692 CPUtime=150.03 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 833175 0 0 0 14760 243 0 0 25 0 1 0 190830247 121540608 26838 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 29673 26838 206 16 0 29114 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 118692 [startup+160.091 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32518 /proc/meminfo: memFree=1207384/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=122424 CPUtime=160.04 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 834095 0 0 0 15760 244 0 0 25 0 1 0 190830247 125362176 27758 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 30606 27758 206 16 0 30047 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 122424 [startup+170.097 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32518 /proc/meminfo: memFree=1202840/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=126912 CPUtime=170.05 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 835230 0 0 0 16760 245 0 0 25 0 1 0 190830247 129957888 28893 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 31728 28893 206 16 0 31169 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 126912 [startup+180.103 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32518 /proc/meminfo: memFree=1198104/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=131656 CPUtime=180.05 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 836400 0 0 0 17759 246 0 0 25 0 1 0 190830247 134815744 30063 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 32914 30063 206 16 0 32355 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 131656 [startup+190.109 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32518 /proc/meminfo: memFree=1193496/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=136240 CPUtime=190.05 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 837562 0 0 0 18758 247 0 0 25 0 1 0 190830247 139509760 31225 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 34060 31225 206 16 0 33501 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 136240 [startup+200.114 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32518 /proc/meminfo: memFree=1188760/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=141028 CPUtime=200.05 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 838749 0 0 0 19758 247 0 0 25 0 1 0 190830247 144412672 32412 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 35257 32412 206 16 0 34698 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 141028 [startup+210.12 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32518 /proc/meminfo: memFree=1186008/2055920 swapFree=4181340/4192956 ################ # More data... # ################ /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 921706 0 0 0 177860 300 0 0 25 0 1 0 190830247 510271488 115365 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 124578 115365 206 16 0 124019 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (Kb) 498312 [startup+1783.1 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32713 /proc/meminfo: memFree=855064/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=499464 CPUtime=1782.6 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 921883 0 0 0 177960 300 0 0 25 0 1 0 190830247 511451136 115542 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 124866 115542 206 16 0 124307 0 Current children cumulated CPU time (s) 1782.6 Current children cumulated vsize (Kb) 499464 [startup+1784.1 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32713 /proc/meminfo: memFree=854296/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=500424 CPUtime=1783.6 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 922070 0 0 0 178060 300 0 0 25 0 1 0 190830247 512434176 115729 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 125106 115729 206 16 0 124547 0 Current children cumulated CPU time (s) 1783.6 Current children cumulated vsize (Kb) 500424 [startup+1785.1 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32713 /proc/meminfo: memFree=853528/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=501572 CPUtime=1784.62 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 922258 0 0 0 178161 301 0 0 25 0 1 0 190830247 513609728 115917 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 125393 115917 206 16 0 124834 0 Current children cumulated CPU time (s) 1784.62 Current children cumulated vsize (Kb) 501572 [startup+1786.11 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32713 /proc/meminfo: memFree=852824/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=502532 CPUtime=1785.62 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 922445 0 0 0 178261 301 0 0 25 0 1 0 190830247 514592768 116104 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 125633 116104 206 16 0 125074 0 Current children cumulated CPU time (s) 1785.62 Current children cumulated vsize (Kb) 502532 [startup+1787.11 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32713 /proc/meminfo: memFree=852120/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=503684 CPUtime=1786.62 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 922620 0 0 0 178361 301 0 0 25 0 1 0 190830247 515772416 116279 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 125921 116279 206 16 0 125362 0 Current children cumulated CPU time (s) 1786.62 Current children cumulated vsize (Kb) 503684 [startup+1788.12 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32713 /proc/meminfo: memFree=851416/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=504644 CPUtime=1787.62 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 922797 0 0 0 178461 301 0 0 25 0 1 0 190830247 516755456 116456 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 126161 116456 206 16 0 125602 0 Current children cumulated CPU time (s) 1787.62 Current children cumulated vsize (Kb) 504644 [startup+1789.12 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32713 /proc/meminfo: memFree=850648/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=505792 CPUtime=1788.63 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 922989 0 0 0 178562 301 0 0 25 0 1 0 190830247 517931008 116648 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 126448 116648 206 16 0 125889 0 Current children cumulated CPU time (s) 1788.63 Current children cumulated vsize (Kb) 505792 [startup+1790.13 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32713 /proc/meminfo: memFree=849880/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=506752 CPUtime=1789.63 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 923173 0 0 0 178662 301 0 0 25 0 1 0 190830247 518914048 116832 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 126688 116832 206 16 0 126129 0 Current children cumulated CPU time (s) 1789.63 Current children cumulated vsize (Kb) 506752 [startup+1791.13 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32713 /proc/meminfo: memFree=849240/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=507712 CPUtime=1790.64 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 923337 0 0 0 178762 302 0 0 25 0 1 0 190830247 519897088 116996 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 126928 116996 206 16 0 126369 0 Current children cumulated CPU time (s) 1790.64 Current children cumulated vsize (Kb) 507712 [startup+1792.14 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32713 /proc/meminfo: memFree=848600/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=508672 CPUtime=1791.65 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 923500 0 0 0 178863 302 0 0 25 0 1 0 190830247 520880128 117159 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 127168 117159 206 16 0 126609 0 Current children cumulated CPU time (s) 1791.65 Current children cumulated vsize (Kb) 508672 [startup+1793.14 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32713 /proc/meminfo: memFree=847960/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=509632 CPUtime=1792.65 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 923656 0 0 0 178963 302 0 0 25 0 1 0 190830247 521863168 117315 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 127408 117315 206 16 0 126849 0 Current children cumulated CPU time (s) 1792.65 Current children cumulated vsize (Kb) 509632 [startup+1794.15 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32713 /proc/meminfo: memFree=847320/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=510396 CPUtime=1793.65 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 923816 0 0 0 179063 302 0 0 25 0 1 0 190830247 522645504 117475 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 127599 117475 206 16 0 127040 0 Current children cumulated CPU time (s) 1793.65 Current children cumulated vsize (Kb) 510396 [startup+1795.15 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32713 /proc/meminfo: memFree=846936/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=510972 CPUtime=1794.66 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 923912 0 0 0 179164 302 0 0 25 0 1 0 190830247 523235328 117571 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 127743 117571 206 16 0 127184 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (Kb) 510972 [startup+1796.16 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32713 /proc/meminfo: memFree=846936/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=510972 CPUtime=1795.66 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 923912 0 0 0 179264 302 0 0 25 0 1 0 190830247 523235328 117571 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 127743 117571 206 16 0 127184 0 Current children cumulated CPU time (s) 1795.66 Current children cumulated vsize (Kb) 510972 [startup+1797.16 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32713 /proc/meminfo: memFree=846936/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=510972 CPUtime=1796.67 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 923912 0 0 0 179365 302 0 0 25 0 1 0 190830247 523235328 117571 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527765 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 127743 117571 206 16 0 127184 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (Kb) 510972 [startup+1798.17 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32713 /proc/meminfo: memFree=846744/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=511088 CPUtime=1797.67 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 923952 0 0 0 179465 302 0 0 25 0 1 0 190830247 523354112 117611 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 127772 117611 206 16 0 127213 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (Kb) 511088 [startup+1799.17 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32713 /proc/meminfo: memFree=846616/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=511344 CPUtime=1798.68 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 923991 0 0 0 179566 302 0 0 25 0 1 0 190830247 523616256 117650 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 127836 117650 206 16 0 127277 0 Current children cumulated CPU time (s) 1798.68 Current children cumulated vsize (Kb) 511344 [startup+1800.18 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32713 /proc/meminfo: memFree=846552/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=511344 CPUtime=1799.68 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 923991 0 0 0 179666 302 0 0 25 0 1 0 190830247 523616256 117650 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 127836 117650 206 16 0 127277 0 Current children cumulated CPU time (s) 1799.68 Current children cumulated vsize (Kb) 511344 [startup+1801.18 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32713 /proc/meminfo: memFree=846232/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=511740 CPUtime=1800.68 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 924079 0 0 0 179766 302 0 0 25 0 1 0 190830247 524021760 117738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 127935 117738 206 16 0 127376 0 Current children cumulated CPU time (s) 1800.68 Current children cumulated vsize (Kb) 511740 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 0.99 0.98 0.97 2/64 32713 /proc/meminfo: memFree=846232/2055920 swapFree=4181340/4192956 [pid=32518] ppid=32516 vsize=511740 CPUtime=1800.69 /proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 924081 0 0 0 179767 302 0 0 25 0 1 0 190830247 524021760 117740 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/32518/statm: 127935 117740 206 16 0 127376 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (Kb) 511740 Sending SIGTERM to -32518 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.27 CPU time (s): 1800.77 CPU user time (s): 1797.67 CPU system time (s): 3.10153 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (Kb): 511740 The end
Begin job on node50 on Fri Jun 2 12:33:51 UTC 2006 FILE ID= 36360-1149251631 PBS_JOBID= 298142 BENCH NAME= ROOT/tmp/node50/36360-1149251631/instance-36360-1149251631.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node50/36360-1149251631/instance-36360-1149251631.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-36360-1149251631 -o ROOT/results/node50/solver-36360-1149251631 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node50/36360-1149251631/instance-36360-1149251631.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= d44ccf8fb2d5e43b368613290c78fd1e RANDOM SEED= 382973118 /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.238 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.238 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: 1317600 kB Buffers: 31112 kB Cached: 634304 kB SwapCached: 3432 kB Active: 61564 kB Inactive: 612792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1317600 kB SwapTotal: 4192956 kB SwapFree: 4181340 kB Dirty: 212 kB Writeback: 0 kB Mapped: 14928 kB Slab: 49976 kB Committed_AS: 239780 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node50 on Fri Jun 2 13:03:52 UTC 2006