Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | ? (TO) | 1800.76 | 1801.3 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3702.opb |
MD5SUM | 923982c51ba218a8e62dc99222f9f8f7 |
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 | 9.16661 |
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 | 654991 |
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 | 654991 |
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.10 c starting to Solve 7.10 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/node21/watcher-37493-1149247963 -o ROOT/results/node21/solver-37493-1149247963 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node21/37493-1149247963/instance-37493-1149247963.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.91 2/64 22040 /proc/meminfo: memFree=1198760/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=2572 CPUtime=0 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 190459382 2633728 231 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8904407 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 643 231 193 16 0 84 0 [startup+10.0031 s] /proc/loadavg: 0.93 0.98 0.91 2/64 22040 /proc/meminfo: memFree=1123568/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=87032 CPUtime=10 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 825249 0 0 0 761 239 0 0 25 0 1 0 190459382 89120768 18912 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 21758 18912 206 16 0 21199 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (Kb) 87032 [startup+20.0102 s] /proc/loadavg: 0.94 0.98 0.91 2/64 22040 /proc/meminfo: memFree=1123760/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=87032 CPUtime=20 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 825260 0 0 0 1761 239 0 0 25 0 1 0 190459382 89120768 18923 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 21758 18923 206 16 0 21199 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 87032 [startup+30.0163 s] /proc/loadavg: 0.95 0.98 0.91 2/64 22040 /proc/meminfo: memFree=1119024/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=92064 CPUtime=30 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 826508 0 0 0 2760 240 0 0 25 0 1 0 190459382 94273536 20171 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 23016 20171 206 16 0 22457 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 92064 [startup+40.0224 s] /proc/loadavg: 0.96 0.98 0.91 2/64 22040 /proc/meminfo: memFree=1114544/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=96416 CPUtime=40.01 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 827617 0 0 0 3760 241 0 0 25 0 1 0 190459382 98729984 21280 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 24104 21280 206 16 0 23545 0 Current children cumulated CPU time (s) 40.01 Current children cumulated vsize (Kb) 96416 [startup+50.0285 s] /proc/loadavg: 0.96 0.98 0.91 2/64 22040 /proc/meminfo: memFree=1107440/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=103596 CPUtime=50 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 829414 0 0 0 4759 241 0 0 25 0 1 0 190459382 106082304 23077 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528312 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 25899 23077 206 16 0 25340 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 103596 [startup+60.0346 s] /proc/loadavg: 0.97 0.98 0.91 2/64 22040 /proc/meminfo: memFree=1101104/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=110024 CPUtime=60.01 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 831003 0 0 0 5759 242 0 0 25 0 1 0 190459382 112664576 24666 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 27506 24666 206 16 0 26947 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 110024 [startup+70.0407 s] /proc/loadavg: 0.97 0.98 0.91 2/64 22040 /proc/meminfo: memFree=1095536/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=115556 CPUtime=70.01 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 832400 0 0 0 6758 243 0 0 25 0 1 0 190459382 118329344 26063 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 28889 26063 206 16 0 28330 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 115556 [startup+80.0468 s] /proc/loadavg: 0.98 0.98 0.91 2/64 22040 /proc/meminfo: memFree=1091440/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=119604 CPUtime=80.02 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 833414 0 0 0 7758 244 0 0 25 0 1 0 190459382 122474496 27077 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8877589 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 29901 27077 206 16 0 29342 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 119604 [startup+90.0529 s] /proc/loadavg: 0.98 0.98 0.91 2/64 22040 /proc/meminfo: memFree=1084464/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=126448 CPUtime=90.02 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 835143 0 0 0 8757 245 0 0 25 0 1 0 190459382 129482752 28806 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 31612 28806 206 16 0 31053 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 126448 [startup+100.059 s] /proc/loadavg: 0.98 0.98 0.91 2/64 22040 /proc/meminfo: memFree=1077104/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=133864 CPUtime=100.02 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 836987 0 0 0 9757 245 0 0 25 0 1 0 190459382 137076736 30650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 33466 30650 206 16 0 32907 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 133864 [startup+110.065 s] /proc/loadavg: 0.98 0.98 0.91 2/64 22040 /proc/meminfo: memFree=1070512/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=140420 CPUtime=110.02 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 838623 0 0 0 10756 246 0 0 25 0 1 0 190459382 143790080 32286 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 35105 32286 206 16 0 34546 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 140420 [startup+120.071 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22040 /proc/meminfo: memFree=1062896/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=148040 CPUtime=120.03 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 840518 0 0 0 11755 248 0 0 25 0 1 0 190459382 151592960 34181 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 37010 34181 206 16 0 36451 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 148040 [startup+130.077 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22040 /proc/meminfo: memFree=1055472/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=155568 CPUtime=130.03 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 842395 0 0 0 12754 249 0 0 25 0 1 0 190459382 159301632 36058 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 38892 36058 206 16 0 38333 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 155568 [startup+140.082 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22042 /proc/meminfo: memFree=1048304/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=162644 CPUtime=140.04 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 844164 0 0 0 13753 251 0 0 25 0 1 0 190459382 166547456 37827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 40661 37827 206 16 0 40102 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 162644 [startup+150.089 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22042 /proc/meminfo: memFree=1042544/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=168396 CPUtime=150.04 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 845603 0 0 0 14752 252 0 0 25 0 1 0 190459382 172437504 39266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8869378 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 42099 39266 206 16 0 41540 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 168396 [startup+160.095 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22042 /proc/meminfo: memFree=1039536/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=171436 CPUtime=160.04 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 846367 0 0 0 15752 252 0 0 25 0 1 0 190459382 175550464 40030 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528220 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 42859 40030 206 16 0 42300 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 171436 [startup+170.101 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22042 /proc/meminfo: memFree=1035312/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=175668 CPUtime=170.04 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 847406 0 0 0 16752 252 0 0 25 0 1 0 190459382 179884032 41069 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 43917 41069 206 16 0 43358 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 175668 [startup+180.107 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22042 /proc/meminfo: memFree=1031280/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=179668 CPUtime=180.05 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 848425 0 0 0 17752 253 0 0 25 0 1 0 190459382 183980032 42088 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527934 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 44917 42088 206 16 0 44358 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 179668 [startup+190.114 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22042 /proc/meminfo: memFree=1026928/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=183984 CPUtime=190.05 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 849497 0 0 0 18752 253 0 0 25 0 1 0 190459382 188399616 43160 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 45996 43160 206 16 0 45437 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 183984 [startup+200.119 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22042 /proc/meminfo: memFree=1021872/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=189060 CPUtime=200.05 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 850766 0 0 0 19751 254 0 0 25 0 1 0 190459382 193597440 44429 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 47265 44429 206 16 0 46706 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 189060 [startup+210.125 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22042 /proc/meminfo: memFree=1016816/2055920 swapFree=4181452/4192956 ################ # More data... # ################ /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 995790 0 0 0 177812 343 0 0 25 0 1 0 190459382 802652160 189453 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 195960 189453 206 16 0 195401 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 783840 [startup+1783.09 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22237 /proc/meminfo: memFree=439728/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=784548 CPUtime=1782.55 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 995960 0 0 0 177912 343 0 0 25 0 1 0 190459382 803377152 189623 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 196137 189623 206 16 0 195578 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 784548 [startup+1784.09 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22237 /proc/meminfo: memFree=439088/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=785252 CPUtime=1783.55 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 996127 0 0 0 178012 343 0 0 25 0 1 0 190459382 804098048 189790 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 196313 189790 206 16 0 195754 0 Current children cumulated CPU time (s) 1783.55 Current children cumulated vsize (Kb) 785252 [startup+1785.1 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22237 /proc/meminfo: memFree=438512/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=785840 CPUtime=1784.55 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 996272 0 0 0 178112 343 0 0 25 0 1 0 190459382 804700160 189935 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 196460 189935 206 16 0 195901 0 Current children cumulated CPU time (s) 1784.55 Current children cumulated vsize (Kb) 785840 [startup+1786.1 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22237 /proc/meminfo: memFree=437744/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=786548 CPUtime=1785.56 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 996464 0 0 0 178213 343 0 0 25 0 1 0 190459382 805425152 190127 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 196637 190127 206 16 0 196078 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (Kb) 786548 [startup+1787.11 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22237 /proc/meminfo: memFree=437040/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=787256 CPUtime=1786.56 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 996634 0 0 0 178313 343 0 0 25 0 1 0 190459382 806150144 190297 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 196814 190297 206 16 0 196255 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 787256 [startup+1788.11 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22237 /proc/meminfo: memFree=436400/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=787844 CPUtime=1787.57 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 996795 0 0 0 178413 344 0 0 25 0 1 0 190459382 806752256 190458 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 196961 190458 206 16 0 196402 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 787844 [startup+1789.12 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22237 /proc/meminfo: memFree=435824/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=788432 CPUtime=1788.58 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 996944 0 0 0 178514 344 0 0 25 0 1 0 190459382 807354368 190607 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 197108 190607 206 16 0 196549 0 Current children cumulated CPU time (s) 1788.58 Current children cumulated vsize (Kb) 788432 [startup+1790.12 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22237 /proc/meminfo: memFree=435312/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=788988 CPUtime=1789.58 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 997064 0 0 0 178614 344 0 0 25 0 1 0 190459382 807923712 190727 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557373 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 197247 190727 206 16 0 196688 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 788988 [startup+1791.13 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22237 /proc/meminfo: memFree=434928/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=789456 CPUtime=1790.58 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 997162 0 0 0 178714 344 0 0 25 0 1 0 190459382 808402944 190825 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 197364 190825 206 16 0 196805 0 Current children cumulated CPU time (s) 1790.58 Current children cumulated vsize (Kb) 789456 [startup+1792.13 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22237 /proc/meminfo: memFree=434544/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=789812 CPUtime=1791.59 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 997264 0 0 0 178815 344 0 0 25 0 1 0 190459382 808767488 190927 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 197453 190927 206 16 0 196894 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 789812 [startup+1793.13 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22237 /proc/meminfo: memFree=434096/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=790164 CPUtime=1792.59 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 997361 0 0 0 178915 344 0 0 25 0 1 0 190459382 809127936 191024 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 197541 191024 206 16 0 196982 0 Current children cumulated CPU time (s) 1792.59 Current children cumulated vsize (Kb) 790164 [startup+1794.14 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22237 /proc/meminfo: memFree=433712/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=790636 CPUtime=1793.6 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 997467 0 0 0 179016 344 0 0 25 0 1 0 190459382 809611264 191130 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 197659 191130 206 16 0 197100 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 790636 [startup+1795.14 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22237 /proc/meminfo: memFree=433264/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=790988 CPUtime=1794.6 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 997569 0 0 0 179116 344 0 0 25 0 1 0 190459382 809971712 191232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 197747 191232 206 16 0 197188 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 790988 [startup+1796.15 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22237 /proc/meminfo: memFree=432880/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=791460 CPUtime=1795.61 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 997668 0 0 0 179217 344 0 0 25 0 1 0 190459382 810455040 191331 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 197865 191331 206 16 0 197306 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 791460 [startup+1797.16 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22237 /proc/meminfo: memFree=432496/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=791812 CPUtime=1796.61 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 997770 0 0 0 179317 344 0 0 25 0 1 0 190459382 810815488 191433 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 197953 191433 206 16 0 197394 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 791812 [startup+1798.16 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22237 /proc/meminfo: memFree=432112/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=792280 CPUtime=1797.62 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 997870 0 0 0 179418 344 0 0 25 0 1 0 190459382 811294720 191533 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 198070 191533 206 16 0 197511 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (Kb) 792280 [startup+1799.17 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22237 /proc/meminfo: memFree=431728/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=792636 CPUtime=1798.62 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 997972 0 0 0 179518 344 0 0 25 0 1 0 190459382 811659264 191635 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 198159 191635 206 16 0 197600 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 792636 [startup+1800.17 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22237 /proc/meminfo: memFree=431344/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=793104 CPUtime=1799.62 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 998075 0 0 0 179618 344 0 0 25 0 1 0 190459382 812138496 191738 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 198276 191738 206 16 0 197717 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 793104 [startup+1801.17 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22237 /proc/meminfo: memFree=430896/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=793456 CPUtime=1800.63 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 998188 0 0 0 179719 344 0 0 25 0 1 0 190459382 812498944 191851 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 198364 191851 206 16 0 197805 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 793456 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 0.99 0.98 0.91 2/64 22237 /proc/meminfo: memFree=430896/2055920 swapFree=4181452/4192956 [pid=22040] ppid=22038 vsize=793572 CPUtime=1800.63 /proc/22040/stat : 22040 (Pueblo13) R 22038 22040 21994 0 -1 4194304 998190 0 0 0 179719 344 0 0 25 0 1 0 190459382 812617728 191853 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/22040/statm: 198393 191853 206 16 0 197834 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 793572 Sending SIGTERM to -22040 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.3 CPU time (s): 1800.76 CPU user time (s): 1797.2 CPU system time (s): 3.56446 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (Kb): 793572 The end
Begin job on node21 on Fri Jun 2 11:32:43 UTC 2006 FILE ID= 37493-1149247963 PBS_JOBID= 297917 BENCH NAME= ROOT/tmp/node21/37493-1149247963/instance-37493-1149247963.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node21/37493-1149247963/instance-37493-1149247963.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-37493-1149247963 -o ROOT/results/node21/solver-37493-1149247963 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node21/37493-1149247963/instance-37493-1149247963.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 923982c51ba218a8e62dc99222f9f8f7 RANDOM SEED= 56299644 /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.240 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.240 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: 1198904 kB Buffers: 46280 kB Cached: 732808 kB SwapCached: 3388 kB Active: 223204 kB Inactive: 564780 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1198904 kB SwapTotal: 4192956 kB SwapFree: 4181452 kB Dirty: 156 kB Writeback: 0 kB Mapped: 14740 kB Slab: 55044 kB Committed_AS: 248916 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node21 on Fri Jun 2 12:02:44 UTC 2006