Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | ? (TO) | 1800.51 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-B2C1S1.opb |
MD5SUM | f34eb2d99785ba17979b01527e1f0026 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 107808 |
Total number of constraints | 3904 |
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 | 3904 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1440 |
Number of terms in the objective function | 38688 |
Biggest coefficient in the objective function | 612 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 556800 |
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 | 556800 |
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 4.25 c starting to Solve 4.25 c #variables read: 107808 - #constraints read: 5185
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/node68/watcher-37576-1149270702 -o ROOT/results/node68/solver-37576-1149270702 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node68/37576-1149270702/instance-37576-1149270702.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.71 0.91 0.89 2/64 13342 /proc/meminfo: memFree=1680976/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=2328 CPUtime=0 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 192739781 2383872 129 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10484600 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 582 129 110 16 0 11 0 [startup+10.0015 s] /proc/loadavg: 0.76 0.91 0.89 2/64 13342 /proc/meminfo: memFree=1632928/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=52616 CPUtime=9.98 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 562076 0 0 0 843 155 0 0 25 0 1 0 192739781 53878784 12198 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 13154 12198 206 16 0 12595 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 52616 [startup+20.0072 s] /proc/loadavg: 0.79 0.91 0.89 2/64 13342 /proc/meminfo: memFree=1631648/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=54044 CPUtime=19.99 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 562412 0 0 0 1844 155 0 0 25 0 1 0 192739781 55341056 12534 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 13511 12534 206 16 0 12952 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 54044 [startup+30.0129 s] /proc/loadavg: 0.82 0.91 0.89 2/64 13342 /proc/meminfo: memFree=1629344/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=56372 CPUtime=30 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 563006 0 0 0 2844 156 0 0 25 0 1 0 192739781 57724928 13128 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559204 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 14093 13128 206 16 0 13534 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 56372 [startup+40.0186 s] /proc/loadavg: 0.85 0.92 0.89 2/64 13342 /proc/meminfo: memFree=1628384/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=57280 CPUtime=40 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 563241 0 0 0 3844 156 0 0 25 0 1 0 192739781 58654720 13363 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 14320 13363 206 16 0 13761 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 57280 [startup+50.0244 s] /proc/loadavg: 0.87 0.92 0.89 2/64 13342 /proc/meminfo: memFree=1626784/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=59012 CPUtime=49.99 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 563647 0 0 0 4843 156 0 0 25 0 1 0 192739781 60428288 13769 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528235 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 14753 13769 206 16 0 14194 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 59012 [startup+60.0301 s] /proc/loadavg: 0.89 0.92 0.89 2/64 13342 /proc/meminfo: memFree=1626272/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=59536 CPUtime=60 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 563779 0 0 0 5844 156 0 0 25 0 1 0 192739781 60964864 13901 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 14884 13901 206 16 0 14325 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 59536 [startup+70.0368 s] /proc/loadavg: 0.91 0.92 0.90 2/64 13342 /proc/meminfo: memFree=1623136/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=62632 CPUtime=70 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 564559 0 0 0 6843 157 0 0 25 0 1 0 192739781 64135168 14681 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 15658 14681 206 16 0 15099 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 62632 [startup+80.0435 s] /proc/loadavg: 0.92 0.92 0.90 2/64 13342 /proc/meminfo: memFree=1622112/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=63684 CPUtime=80.01 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 564829 0 0 0 7844 157 0 0 25 0 1 0 192739781 65212416 14951 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559204 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 15921 14951 206 16 0 15362 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 63684 [startup+90.0493 s] /proc/loadavg: 0.93 0.93 0.90 2/64 13342 /proc/meminfo: memFree=1620512/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=65232 CPUtime=90 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 565212 0 0 0 8843 157 0 0 25 0 1 0 192739781 66797568 15334 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 16308 15334 206 16 0 15749 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 65232 [startup+100.055 s] /proc/loadavg: 0.94 0.93 0.90 2/64 13342 /proc/meminfo: memFree=1620192/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=65620 CPUtime=100.01 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 565303 0 0 0 9844 157 0 0 25 0 1 0 192739781 67194880 15425 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 16405 15425 206 16 0 15846 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 65620 [startup+110.061 s] /proc/loadavg: 0.95 0.93 0.90 2/64 13342 /proc/meminfo: memFree=1619872/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=66012 CPUtime=110.02 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 565383 0 0 0 10844 158 0 0 25 0 1 0 192739781 67596288 15505 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 16503 15505 206 16 0 15944 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 66012 [startup+120.066 s] /proc/loadavg: 0.96 0.93 0.90 2/64 13342 /proc/meminfo: memFree=1618784/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=67044 CPUtime=120.02 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 565647 0 0 0 11844 158 0 0 25 0 1 0 192739781 68653056 15769 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 16761 15769 206 16 0 16202 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 67044 [startup+130.072 s] /proc/loadavg: 0.96 0.93 0.90 2/64 13342 /proc/meminfo: memFree=1616736/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=68992 CPUtime=130.02 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 566153 0 0 0 12844 158 0 0 25 0 1 0 192739781 70647808 16275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 17248 16275 206 16 0 16689 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 68992 [startup+140.078 s] /proc/loadavg: 0.97 0.94 0.90 2/64 13342 /proc/meminfo: memFree=1616352/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=69384 CPUtime=140.02 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 566257 0 0 0 13844 158 0 0 25 0 1 0 192739781 71049216 16379 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559204 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 17346 16379 206 16 0 16787 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 69384 [startup+150.084 s] /proc/loadavg: 0.97 0.94 0.90 2/64 13342 /proc/meminfo: memFree=1615840/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=69900 CPUtime=150.02 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 566377 0 0 0 14844 158 0 0 25 0 1 0 192739781 71577600 16499 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559471 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 17475 16499 206 16 0 16916 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 69900 [startup+160.089 s] /proc/loadavg: 0.98 0.94 0.90 2/64 13342 /proc/meminfo: memFree=1615840/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=69900 CPUtime=160.02 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 566378 0 0 0 15844 158 0 0 25 0 1 0 192739781 71577600 16500 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 17475 16500 206 16 0 16916 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 69900 [startup+170.095 s] /proc/loadavg: 0.98 0.94 0.91 2/64 13342 /proc/meminfo: memFree=1615840/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=69900 CPUtime=170.03 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 566378 0 0 0 16845 158 0 0 25 0 1 0 192739781 71577600 16500 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 17475 16500 206 16 0 16916 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 69900 [startup+180.101 s] /proc/loadavg: 0.98 0.94 0.91 2/64 13342 /proc/meminfo: memFree=1615904/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=69900 CPUtime=180.03 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 566378 0 0 0 17845 158 0 0 25 0 1 0 192739781 71577600 16500 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 17475 16500 206 16 0 16916 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 69900 [startup+190.106 s] /proc/loadavg: 0.98 0.94 0.91 2/64 13342 /proc/meminfo: memFree=1615904/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=69900 CPUtime=190.03 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 566378 0 0 0 18845 158 0 0 25 0 1 0 192739781 71577600 16500 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 17475 16500 206 16 0 16916 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 69900 [startup+200.112 s] /proc/loadavg: 0.99 0.94 0.91 2/64 13342 /proc/meminfo: memFree=1615904/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=69900 CPUtime=200.03 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 566378 0 0 0 19845 158 0 0 25 0 1 0 192739781 71577600 16500 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 17475 16500 206 16 0 16916 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 69900 [startup+210.118 s] /proc/loadavg: 0.99 0.95 0.91 2/64 13342 /proc/meminfo: memFree=1615904/2055920 swapFree=4182316/4192956 ################ # More data... # ################ /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 578605 0 0 0 177966 173 0 0 25 0 1 0 192739781 125648896 28650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 30676 28650 206 16 0 30117 0 Current children cumulated CPU time (s) 1781.39 Current children cumulated vsize (Kb) 122704 [startup+1783.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13537 /proc/meminfo: memFree=1566760/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=122704 CPUtime=1782.39 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 578605 0 0 0 178066 173 0 0 25 0 1 0 192739781 125648896 28650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 30676 28650 206 16 0 30117 0 Current children cumulated CPU time (s) 1782.39 Current children cumulated vsize (Kb) 122704 [startup+1784.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13537 /proc/meminfo: memFree=1566760/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=122704 CPUtime=1783.4 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 578605 0 0 0 178167 173 0 0 25 0 1 0 192739781 125648896 28650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519884 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 30676 28650 206 16 0 30117 0 Current children cumulated CPU time (s) 1783.4 Current children cumulated vsize (Kb) 122704 [startup+1785.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13537 /proc/meminfo: memFree=1566760/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=122704 CPUtime=1784.4 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 578605 0 0 0 178267 173 0 0 25 0 1 0 192739781 125648896 28650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 30676 28650 206 16 0 30117 0 Current children cumulated CPU time (s) 1784.4 Current children cumulated vsize (Kb) 122704 [startup+1786.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13537 /proc/meminfo: memFree=1566760/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=122704 CPUtime=1785.41 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 578605 0 0 0 178368 173 0 0 25 0 1 0 192739781 125648896 28650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 30676 28650 206 16 0 30117 0 Current children cumulated CPU time (s) 1785.41 Current children cumulated vsize (Kb) 122704 [startup+1787.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13537 /proc/meminfo: memFree=1566760/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=122704 CPUtime=1786.41 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 578605 0 0 0 178468 173 0 0 25 0 1 0 192739781 125648896 28650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 30676 28650 206 16 0 30117 0 Current children cumulated CPU time (s) 1786.41 Current children cumulated vsize (Kb) 122704 [startup+1788.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13537 /proc/meminfo: memFree=1566760/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=122704 CPUtime=1787.42 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 578605 0 0 0 178569 173 0 0 25 0 1 0 192739781 125648896 28650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519949 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 30676 28650 206 16 0 30117 0 Current children cumulated CPU time (s) 1787.42 Current children cumulated vsize (Kb) 122704 [startup+1789.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13537 /proc/meminfo: memFree=1566760/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=122704 CPUtime=1788.42 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 578605 0 0 0 178669 173 0 0 25 0 1 0 192739781 125648896 28650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 30676 28650 206 16 0 30117 0 Current children cumulated CPU time (s) 1788.42 Current children cumulated vsize (Kb) 122704 [startup+1790.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13537 /proc/meminfo: memFree=1566760/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=122704 CPUtime=1789.43 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 578605 0 0 0 178770 173 0 0 25 0 1 0 192739781 125648896 28650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 30676 28650 206 16 0 30117 0 Current children cumulated CPU time (s) 1789.43 Current children cumulated vsize (Kb) 122704 [startup+1791.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13537 /proc/meminfo: memFree=1566760/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=122704 CPUtime=1790.43 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 578605 0 0 0 178870 173 0 0 25 0 1 0 192739781 125648896 28650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 30676 28650 206 16 0 30117 0 Current children cumulated CPU time (s) 1790.43 Current children cumulated vsize (Kb) 122704 [startup+1792.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13537 /proc/meminfo: memFree=1566760/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=122704 CPUtime=1791.43 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 578605 0 0 0 178970 173 0 0 25 0 1 0 192739781 125648896 28650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517940 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 30676 28650 206 16 0 30117 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (Kb) 122704 [startup+1793.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13537 /proc/meminfo: memFree=1566760/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=122704 CPUtime=1792.44 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 578605 0 0 0 179071 173 0 0 25 0 1 0 192739781 125648896 28650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 30676 28650 206 16 0 30117 0 Current children cumulated CPU time (s) 1792.44 Current children cumulated vsize (Kb) 122704 [startup+1794.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13537 /proc/meminfo: memFree=1566760/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=122704 CPUtime=1793.44 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 578605 0 0 0 179171 173 0 0 25 0 1 0 192739781 125648896 28650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 30676 28650 206 16 0 30117 0 Current children cumulated CPU time (s) 1793.44 Current children cumulated vsize (Kb) 122704 [startup+1795.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13537 /proc/meminfo: memFree=1566760/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=122704 CPUtime=1794.45 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 578605 0 0 0 179272 173 0 0 25 0 1 0 192739781 125648896 28650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 30676 28650 206 16 0 30117 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (Kb) 122704 [startup+1796.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13537 /proc/meminfo: memFree=1566760/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=122704 CPUtime=1795.45 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 578605 0 0 0 179372 173 0 0 25 0 1 0 192739781 125648896 28650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559546 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 30676 28650 206 16 0 30117 0 Current children cumulated CPU time (s) 1795.45 Current children cumulated vsize (Kb) 122704 [startup+1797.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13537 /proc/meminfo: memFree=1566760/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=122704 CPUtime=1796.46 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 578605 0 0 0 179473 173 0 0 25 0 1 0 192739781 125648896 28650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559554 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 30676 28650 206 16 0 30117 0 Current children cumulated CPU time (s) 1796.46 Current children cumulated vsize (Kb) 122704 [startup+1798.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13537 /proc/meminfo: memFree=1566760/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=122704 CPUtime=1797.46 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 578605 0 0 0 179573 173 0 0 25 0 1 0 192739781 125648896 28650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 30676 28650 206 16 0 30117 0 Current children cumulated CPU time (s) 1797.46 Current children cumulated vsize (Kb) 122704 [startup+1799.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13537 /proc/meminfo: memFree=1566760/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=122704 CPUtime=1798.47 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 578605 0 0 0 179674 173 0 0 25 0 1 0 192739781 125648896 28650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 30676 28650 206 16 0 30117 0 Current children cumulated CPU time (s) 1798.47 Current children cumulated vsize (Kb) 122704 [startup+1800.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13537 /proc/meminfo: memFree=1566760/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=122704 CPUtime=1799.47 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 578605 0 0 0 179774 173 0 0 25 0 1 0 192739781 125648896 28650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 30676 28650 206 16 0 30117 0 Current children cumulated CPU time (s) 1799.47 Current children cumulated vsize (Kb) 122704 [startup+1801.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13537 /proc/meminfo: memFree=1566760/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=122704 CPUtime=1800.48 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 578605 0 0 0 179875 173 0 0 25 0 1 0 192739781 125648896 28650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 30676 28650 206 16 0 30117 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 122704 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13537 /proc/meminfo: memFree=1566760/2055920 swapFree=4182316/4192956 [pid=13342] ppid=13340 vsize=122704 CPUtime=1800.48 /proc/13342/stat : 13342 (Pueblo13) R 13340 13342 13296 0 -1 4194304 578605 0 0 0 179875 173 0 0 25 0 1 0 192739781 125648896 28650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/13342/statm: 30676 28650 206 16 0 30117 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 122704 Sending SIGTERM to -13342 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.18 CPU time (s): 1800.51 CPU user time (s): 1798.76 CPU system time (s): 1.75473 CPU usage (%): 99.9627 Max. virtual memory (cumulated for all children) (Kb): 122704 The end
Begin job on node68 on Fri Jun 2 17:51:42 UTC 2006 FILE ID= 37576-1149270702 PBS_JOBID= 298994 BENCH NAME= ROOT/tmp/node68/37576-1149270702/instance-37576-1149270702.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node68/37576-1149270702/instance-37576-1149270702.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-37576-1149270702 -o ROOT/results/node68/solver-37576-1149270702 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node68/37576-1149270702/instance-37576-1149270702.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= f34eb2d99785ba17979b01527e1f0026 RANDOM SEED= 501082776 /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.279 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.279 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: 1681184 kB Buffers: 19016 kB Cached: 292240 kB SwapCached: 2292 kB Active: 52400 kB Inactive: 267472 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1681184 kB SwapTotal: 4192956 kB SwapFree: 4182316 kB Dirty: 256 kB Writeback: 0 kB Mapped: 15580 kB Slab: 40884 kB Committed_AS: 246852 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node68 on Fri Jun 2 18:21:44 UTC 2006