Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | ? (TO) | 1800.48 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos14.opb |
MD5SUM | 908b859aa6cb5be1c335ba1e4149146b |
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 | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 240 |
Optimality of the best value was proved | NO |
Number of variables | 17840 |
Total number of constraints | 656 |
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 | 656 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 150 |
Number of terms in the objective function | 10640 |
Biggest coefficient in the objective function | 3638 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 534104 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261895 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 534104 |
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 0.28 c starting to Solve 0.28 c #variables read: 17840 - #constraints read: 897
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/node82/watcher-37526-1149255192 -o ROOT/results/node82/solver-37526-1149255192 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node82/37526-1149255192/instance-37526-1149255192.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.91 2/68 15545 /proc/meminfo: memFree=1073720/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=916 CPUtime=0 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 43 0 0 0 0 0 0 0 18 0 1 0 182708451 937984 28 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 7713211 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 229 28 20 16 0 8 0 [startup+10.003 s] /proc/loadavg: 0.93 0.95 0.91 2/68 15545 /proc/meminfo: memFree=1063800/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=13508 CPUtime=9.98 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 2704 0 0 0 998 0 0 0 25 0 1 0 182708451 13832192 2676 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8144818 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 3377 2676 206 16 0 2817 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 13508 [startup+20.0089 s] /proc/loadavg: 0.94 0.96 0.91 2/68 15545 /proc/meminfo: memFree=1063672/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=13636 CPUtime=19.99 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 2732 0 0 0 1999 0 0 0 25 0 1 0 182708451 13963264 2704 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8144818 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 3409 2704 206 16 0 2849 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 13636 [startup+30.0148 s] /proc/loadavg: 0.95 0.96 0.91 2/68 15545 /proc/meminfo: memFree=1063416/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=13896 CPUtime=29.99 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 2794 0 0 0 2999 0 0 0 25 0 1 0 182708451 14229504 2766 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 3474 2766 206 16 0 2914 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 13896 [startup+40.0207 s] /proc/loadavg: 0.95 0.96 0.91 2/68 15545 /proc/meminfo: memFree=1061688/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=15588 CPUtime=40 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 3229 0 0 0 3999 1 0 0 25 0 1 0 182708451 15962112 3201 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516725 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 3897 3201 206 16 0 3337 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 15588 [startup+50.0276 s] /proc/loadavg: 0.96 0.96 0.91 2/68 15545 /proc/meminfo: memFree=1061304/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=16112 CPUtime=50 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 3341 0 0 0 4999 1 0 0 25 0 1 0 182708451 16498688 3313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 4028 3313 206 16 0 3468 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 16112 [startup+60.0335 s] /proc/loadavg: 0.97 0.96 0.91 2/68 15545 /proc/meminfo: memFree=1061304/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=16112 CPUtime=60.01 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 3341 0 0 0 6000 1 0 0 25 0 1 0 182708451 16498688 3313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 4028 3313 206 16 0 3468 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 16112 [startup+70.0394 s] /proc/loadavg: 0.97 0.96 0.91 2/68 15545 /proc/meminfo: memFree=1057976/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=19384 CPUtime=70.01 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 4173 0 0 0 7000 1 0 0 25 0 1 0 182708451 19849216 4145 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559502 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 4846 4145 206 16 0 4286 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 19384 [startup+80.0453 s] /proc/loadavg: 0.98 0.96 0.91 2/68 15545 /proc/meminfo: memFree=1057784/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=19464 CPUtime=80.01 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 4207 0 0 0 8000 1 0 0 25 0 1 0 182708451 19931136 4179 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 4866 4179 206 16 0 4306 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 19464 [startup+90.0512 s] /proc/loadavg: 0.98 0.96 0.91 2/68 15545 /proc/meminfo: memFree=1057784/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=19464 CPUtime=90.01 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 4207 0 0 0 9000 1 0 0 25 0 1 0 182708451 19931136 4179 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 4866 4179 206 16 0 4306 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 19464 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.91 2/68 15545 /proc/meminfo: memFree=1057784/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=19464 CPUtime=100.02 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 4207 0 0 0 10001 1 0 0 25 0 1 0 182708451 19931136 4179 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 4866 4179 206 16 0 4306 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 19464 [startup+110.063 s] /proc/loadavg: 0.98 0.96 0.91 2/68 15545 /proc/meminfo: memFree=1057784/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=19464 CPUtime=110.02 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 4207 0 0 0 11001 1 0 0 25 0 1 0 182708451 19931136 4179 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 4866 4179 206 16 0 4306 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 19464 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15545 /proc/meminfo: memFree=1057784/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=19464 CPUtime=120.02 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 4207 0 0 0 12001 1 0 0 25 0 1 0 182708451 19931136 4179 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 4866 4179 206 16 0 4306 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 19464 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15545 /proc/meminfo: memFree=1057784/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=19464 CPUtime=130.02 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 4207 0 0 0 13001 1 0 0 25 0 1 0 182708451 19931136 4179 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 4866 4179 206 16 0 4306 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 19464 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15545 /proc/meminfo: memFree=1057784/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=19464 CPUtime=140.03 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 4207 0 0 0 14002 1 0 0 25 0 1 0 182708451 19931136 4179 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8144818 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 4866 4179 206 16 0 4306 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 19464 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15545 /proc/meminfo: memFree=1057784/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=19464 CPUtime=150.03 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 4207 0 0 0 15002 1 0 0 25 0 1 0 182708451 19931136 4179 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 4866 4179 206 16 0 4306 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 19464 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15545 /proc/meminfo: memFree=1056696/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=20624 CPUtime=160.03 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 4477 0 0 0 16002 1 0 0 25 0 1 0 182708451 21118976 4449 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528207 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 5156 4449 206 16 0 4596 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 20624 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15545 /proc/meminfo: memFree=1056504/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=20672 CPUtime=170.03 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 4526 0 0 0 17002 1 0 0 25 0 1 0 182708451 21168128 4480 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 5168 4480 206 16 0 4608 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 20672 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15545 /proc/meminfo: memFree=1056504/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=20672 CPUtime=180.03 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 4526 0 0 0 18002 1 0 0 25 0 1 0 182708451 21168128 4480 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 5168 4480 206 16 0 4608 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 20672 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15545 /proc/meminfo: memFree=1054456/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=22872 CPUtime=190.03 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 5054 0 0 0 19002 1 0 0 25 0 1 0 182708451 23420928 5008 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 5718 5008 206 16 0 5158 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 22872 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15545 /proc/meminfo: memFree=1054456/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=22872 CPUtime=200.03 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 5054 0 0 0 20002 1 0 0 25 0 1 0 182708451 23420928 5008 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528207 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 5718 5008 206 16 0 5158 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 22872 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15545 /proc/meminfo: memFree=1053752/2055892 swapFree=4087504/4096564 ################ # More data... # ################ /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 16625 0 0 0 178128 9 0 0 25 0 1 0 182708451 71168000 16313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 17375 16313 206 16 0 16815 0 Current children cumulated CPU time (s) 1781.37 Current children cumulated vsize (Kb) 69500 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15740 /proc/meminfo: memFree=1008888/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=69500 CPUtime=1782.37 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 16625 0 0 0 178228 9 0 0 25 0 1 0 182708451 71168000 16313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 17375 16313 206 16 0 16815 0 Current children cumulated CPU time (s) 1782.37 Current children cumulated vsize (Kb) 69500 [startup+1784.08 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15740 /proc/meminfo: memFree=1008888/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=69500 CPUtime=1783.38 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 16625 0 0 0 178329 9 0 0 25 0 1 0 182708451 71168000 16313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 17375 16313 206 16 0 16815 0 Current children cumulated CPU time (s) 1783.38 Current children cumulated vsize (Kb) 69500 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15740 /proc/meminfo: memFree=1008888/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=69500 CPUtime=1784.38 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 16625 0 0 0 178429 9 0 0 25 0 1 0 182708451 71168000 16313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 17375 16313 206 16 0 16815 0 Current children cumulated CPU time (s) 1784.38 Current children cumulated vsize (Kb) 69500 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15740 /proc/meminfo: memFree=1008888/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=69500 CPUtime=1785.39 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 16625 0 0 0 178530 9 0 0 25 0 1 0 182708451 71168000 16313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528319 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 17375 16313 206 16 0 16815 0 Current children cumulated CPU time (s) 1785.39 Current children cumulated vsize (Kb) 69500 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15740 /proc/meminfo: memFree=1008888/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=69500 CPUtime=1786.39 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 16625 0 0 0 178630 9 0 0 25 0 1 0 182708451 71168000 16313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134563534 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 17375 16313 206 16 0 16815 0 Current children cumulated CPU time (s) 1786.39 Current children cumulated vsize (Kb) 69500 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15740 /proc/meminfo: memFree=1008888/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=69500 CPUtime=1787.4 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 16625 0 0 0 178731 9 0 0 25 0 1 0 182708451 71168000 16313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 17375 16313 206 16 0 16815 0 Current children cumulated CPU time (s) 1787.4 Current children cumulated vsize (Kb) 69500 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15740 /proc/meminfo: memFree=1008888/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=69500 CPUtime=1788.4 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 16625 0 0 0 178831 9 0 0 25 0 1 0 182708451 71168000 16313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 17375 16313 206 16 0 16815 0 Current children cumulated CPU time (s) 1788.4 Current children cumulated vsize (Kb) 69500 [startup+1790.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15740 /proc/meminfo: memFree=1008888/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=69500 CPUtime=1789.41 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 16625 0 0 0 178932 9 0 0 25 0 1 0 182708451 71168000 16313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134554355 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 17375 16313 206 16 0 16815 0 Current children cumulated CPU time (s) 1789.41 Current children cumulated vsize (Kb) 69500 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15740 /proc/meminfo: memFree=1008888/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=69500 CPUtime=1790.41 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 16625 0 0 0 179032 9 0 0 25 0 1 0 182708451 71168000 16313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527202 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 17375 16313 206 16 0 16815 0 Current children cumulated CPU time (s) 1790.41 Current children cumulated vsize (Kb) 69500 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15740 /proc/meminfo: memFree=1008888/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=69500 CPUtime=1791.42 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 16625 0 0 0 179133 9 0 0 25 0 1 0 182708451 71168000 16313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 17375 16313 206 16 0 16815 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (Kb) 69500 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15740 /proc/meminfo: memFree=1008888/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=69500 CPUtime=1792.42 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 16625 0 0 0 179233 9 0 0 25 0 1 0 182708451 71168000 16313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 17375 16313 206 16 0 16815 0 Current children cumulated CPU time (s) 1792.42 Current children cumulated vsize (Kb) 69500 [startup+1794.13 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15740 /proc/meminfo: memFree=1008888/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=69500 CPUtime=1793.43 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 16625 0 0 0 179334 9 0 0 25 0 1 0 182708451 71168000 16313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 17375 16313 206 16 0 16815 0 Current children cumulated CPU time (s) 1793.43 Current children cumulated vsize (Kb) 69500 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15740 /proc/meminfo: memFree=1008888/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=69500 CPUtime=1794.43 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 16625 0 0 0 179434 9 0 0 25 0 1 0 182708451 71168000 16313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 17375 16313 206 16 0 16815 0 Current children cumulated CPU time (s) 1794.43 Current children cumulated vsize (Kb) 69500 [startup+1796.14 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15740 /proc/meminfo: memFree=1008888/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=69500 CPUtime=1795.43 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 16625 0 0 0 179534 9 0 0 25 0 1 0 182708451 71168000 16313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 17375 16313 206 16 0 16815 0 Current children cumulated CPU time (s) 1795.43 Current children cumulated vsize (Kb) 69500 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15740 /proc/meminfo: memFree=1008888/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=69500 CPUtime=1796.44 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 16625 0 0 0 179635 9 0 0 25 0 1 0 182708451 71168000 16313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 17375 16313 206 16 0 16815 0 Current children cumulated CPU time (s) 1796.44 Current children cumulated vsize (Kb) 69500 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15740 /proc/meminfo: memFree=1008888/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=69500 CPUtime=1797.44 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 16625 0 0 0 179735 9 0 0 25 0 1 0 182708451 71168000 16313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8144740 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 17375 16313 206 16 0 16815 0 Current children cumulated CPU time (s) 1797.44 Current children cumulated vsize (Kb) 69500 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15740 /proc/meminfo: memFree=1008888/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=69500 CPUtime=1798.45 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 16625 0 0 0 179836 9 0 0 25 0 1 0 182708451 71168000 16313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 17375 16313 206 16 0 16815 0 Current children cumulated CPU time (s) 1798.45 Current children cumulated vsize (Kb) 69500 [startup+1800.16 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15740 /proc/meminfo: memFree=1008888/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=69500 CPUtime=1799.45 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 16625 0 0 0 179936 9 0 0 25 0 1 0 182708451 71168000 16313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 17375 16313 206 16 0 16815 0 Current children cumulated CPU time (s) 1799.45 Current children cumulated vsize (Kb) 69500 [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15740 /proc/meminfo: memFree=1008888/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=69500 CPUtime=1800.46 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 16625 0 0 0 180037 9 0 0 25 0 1 0 182708451 71168000 16313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 17375 16313 206 16 0 16815 0 Current children cumulated CPU time (s) 1800.46 Current children cumulated vsize (Kb) 69500 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.91 2/68 15740 /proc/meminfo: memFree=1008888/2055892 swapFree=4087504/4096564 [pid=15545] ppid=15543 vsize=69500 CPUtime=1800.46 /proc/15545/stat : 15545 (Pueblo13) R 15543 15545 15499 0 -1 4194304 16625 0 0 0 180037 9 0 0 25 0 1 0 182708451 71168000 16313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/15545/statm: 17375 16313 206 16 0 16815 0 Current children cumulated CPU time (s) 1800.46 Current children cumulated vsize (Kb) 69500 Sending SIGTERM to -15545 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.18 CPU time (s): 1800.48 CPU user time (s): 1800.38 CPU system time (s): 0.100984 CPU usage (%): 99.9608 Max. virtual memory (cumulated for all children) (Kb): 69520 The end
Begin job on node82 on Fri Jun 2 13:33:12 UTC 2006 FILE ID= 37526-1149255192 PBS_JOBID= 298353 BENCH NAME= ROOT/tmp/node82/37526-1149255192/instance-37526-1149255192.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node82/37526-1149255192/instance-37526-1149255192.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node82/watcher-37526-1149255192 -o ROOT/results/node82/solver-37526-1149255192 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node82/37526-1149255192/instance-37526-1149255192.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 908b859aa6cb5be1c335ba1e4149146b RANDOM SEED= 553730349 /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.265 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 : 6006.17 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.265 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 : 5999.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1073928 kB Buffers: 45460 kB Cached: 858268 kB SwapCached: 2848 kB Active: 133468 kB Inactive: 779044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1073928 kB SwapTotal: 4096564 kB SwapFree: 4087504 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14560 kB Slab: 55764 kB Committed_AS: 262164 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node82 on Fri Jun 2 14:03:13 UTC 2006