Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | Signal | 1429.22 | 1429.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb |
MD5SUM | 13c1b3915f4d316b882a7e551b1f0496 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 505 |
Best CPU time to get the best result obtained on this benchmark | 1800.51 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 502 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 656900 |
Number of constraints which are clauses | 656900 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 99 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 498884 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 99 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 498884 |
Number of bits of the biggest sum of numbers | 19 |
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 18.06 c starting to Solve 18.07 c #variables read: 10000 - #constraints read: 656901 24.46 o 7088 24.62 o 6996 24.81 o 6981 24.99 o 6932 27.05 o 6920 27.21 o 6892 27.38 o 6891 27.60 o 6886 27.78 o 6879 28.00 o 6857 28.20 o 6844 28.36 o 6833 29.34 o 6828 29.51 o 6826 29.66 o 6800 29.83 o 6798 30.01 o 6796 30.18 o 6743 32.39 o 6151 32.54 o 6072 32.71 o 6068 39.94 o 5967 40.23 o 5931 42.41 o 5930 42.56 o 5902 42.70 o 5894 148.22 o 5859 148.36 o 5853 148.51 o 5811 151.85 o 5800 152.01 o 5786 190.08 o 5780 190.22 o 5775 190.37 o 5751 190.52 o 5732 190.66 o 5727 190.84 o 5712 194.42 o 5704 194.58 o 5699 194.73 o 5684 205.06 o 5677 212.64 o 5671 947.88 o 5669 948.06 o 5656 951.15 o 5647 960.60 o 5632 965.06 o 5629 965.22 o 5624 1429.35 Pueblo13: Global.h:70: T* xrealloc(T*, unsigned int) [with T = Lit]: Assertion `size == 0 || tmp != __null' failed.
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/node11/watcher-37921-1149391890 -o ROOT/results/node11/solver-37921-1149391890 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node11/37921-1149391890/instance-37921-1149391890.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 14041 /proc/meminfo: memFree=1433880/2055920 swapFree=4181380/4192956 [pid=14041] ppid=14039 vsize=2540 CPUtime=0 /proc/14041/stat : 14041 (Pueblo13) D 14039 14041 13995 0 -1 4194304 242 0 0 0 0 0 0 0 18 0 1 0 204851575 2600960 213 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/14041/statm: 635 213 187 16 0 76 0 [startup+10.0026 s] /proc/loadavg: 0.93 0.98 0.99 2/64 14041 /proc/meminfo: memFree=1352472/2055920 swapFree=4181380/4192956 [pid=14041] ppid=14039 vsize=84472 CPUtime=9.99 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 20618 0 0 0 990 9 0 0 25 0 1 0 204851575 86499328 20589 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532420 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 21118 20589 204 16 0 20559 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 84472 [startup+20.0098 s] /proc/loadavg: 0.94 0.98 0.99 2/64 14041 /proc/meminfo: memFree=1342816/2055920 swapFree=4181380/4192956 [pid=14041] ppid=14039 vsize=95468 CPUtime=19.99 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 23022 0 0 0 1989 10 0 0 25 0 1 0 204851575 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 95468 [startup+30.0159 s] /proc/loadavg: 0.95 0.98 0.99 2/64 14041 /proc/meminfo: memFree=1342880/2055920 swapFree=4181380/4192956 [pid=14041] ppid=14039 vsize=95468 CPUtime=29.99 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 23022 0 0 0 2989 10 0 0 25 0 1 0 204851575 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 95468 [startup+40.0211 s] /proc/loadavg: 0.96 0.98 0.99 2/64 14041 /proc/meminfo: memFree=1342944/2055920 swapFree=4181380/4192956 [pid=14041] ppid=14039 vsize=95468 CPUtime=40 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 23022 0 0 0 3989 11 0 0 25 0 1 0 204851575 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 95468 [startup+50.0273 s] /proc/loadavg: 0.96 0.98 0.99 2/64 14041 /proc/meminfo: memFree=1342944/2055920 swapFree=4181380/4192956 [pid=14041] ppid=14039 vsize=95468 CPUtime=50 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 23022 0 0 0 4989 11 0 0 25 0 1 0 204851575 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517930 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 95468 [startup+60.0335 s] /proc/loadavg: 0.97 0.98 0.99 2/64 14041 /proc/meminfo: memFree=1343008/2055920 swapFree=4181380/4192956 [pid=14041] ppid=14039 vsize=95468 CPUtime=60 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 23022 0 0 0 5989 11 0 0 25 0 1 0 204851575 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 95468 [startup+70.0397 s] /proc/loadavg: 0.97 0.98 0.99 2/64 14041 /proc/meminfo: memFree=1343008/2055920 swapFree=4181380/4192956 [pid=14041] ppid=14039 vsize=95468 CPUtime=70 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 23022 0 0 0 6989 11 0 0 25 0 1 0 204851575 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 95468 [startup+80.0459 s] /proc/loadavg: 0.98 0.98 0.99 2/64 14041 /proc/meminfo: memFree=1338528/2055920 swapFree=4181380/4192956 [pid=14041] ppid=14039 vsize=99912 CPUtime=80.01 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 24130 0 0 0 7989 12 0 0 25 0 1 0 204851575 102309888 24101 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 24978 24101 206 16 0 24419 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 99912 [startup+90.0511 s] /proc/loadavg: 0.98 0.98 0.99 2/64 14041 /proc/meminfo: memFree=1325088/2055920 swapFree=4181380/4192956 [pid=14041] ppid=14039 vsize=113288 CPUtime=90.01 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 27489 0 0 0 8987 14 0 0 25 0 1 0 204851575 116006912 27460 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 28322 27460 206 16 0 27763 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 113288 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.99 2/64 14041 /proc/meminfo: memFree=1309664/2055920 swapFree=4181380/4192956 [pid=14041] ppid=14039 vsize=128716 CPUtime=100.02 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 31328 0 0 0 9985 17 0 0 25 0 1 0 204851575 131805184 31299 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 32179 31299 206 16 0 31620 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 128716 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.99 2/64 14041 /proc/meminfo: memFree=1294688/2055920 swapFree=4181380/4192956 [pid=14041] ppid=14039 vsize=143624 CPUtime=110.02 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 35062 0 0 0 10982 20 0 0 25 0 1 0 204851575 147070976 35033 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 35906 35033 206 16 0 35347 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 143624 [startup+120.069 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14041 /proc/meminfo: memFree=1287648/2055920 swapFree=4181380/4192956 [pid=14041] ppid=14039 vsize=150768 CPUtime=120.02 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 36828 0 0 0 11982 20 0 0 25 0 1 0 204851575 154386432 36799 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 37692 36799 206 16 0 37133 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 150768 [startup+130.075 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14041 /proc/meminfo: memFree=1282976/2055920 swapFree=4181380/4192956 [pid=14041] ppid=14039 vsize=155464 CPUtime=130.03 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 38002 0 0 0 12982 21 0 0 25 0 1 0 204851575 159195136 37973 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557243 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 38866 37973 206 16 0 38307 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 155464 [startup+140.082 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14041 /proc/meminfo: memFree=1275936/2055920 swapFree=4181380/4192956 [pid=14041] ppid=14039 vsize=162520 CPUtime=140.03 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 39767 0 0 0 13982 21 0 0 25 0 1 0 204851575 166420480 39738 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 40630 39738 206 16 0 40071 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 162520 [startup+150.088 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14041 /proc/meminfo: memFree=1262432/2055920 swapFree=4181380/4192956 [pid=14041] ppid=14039 vsize=175900 CPUtime=150.04 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 43119 0 0 0 14980 24 0 0 25 0 1 0 204851575 180121600 43090 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 43975 43090 206 16 0 43416 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 175900 [startup+160.094 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14041 /proc/meminfo: memFree=1247968/2055920 swapFree=4181380/4192956 [pid=14041] ppid=14039 vsize=190352 CPUtime=160.04 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 46727 0 0 0 15979 25 0 0 25 0 1 0 204851575 194920448 46698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 47588 46698 206 16 0 47029 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 190352 [startup+170.101 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14041 /proc/meminfo: memFree=1233888/2055920 swapFree=4181380/4192956 [pid=14041] ppid=14039 vsize=204292 CPUtime=170.04 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 50239 0 0 0 16977 27 0 0 25 0 1 0 204851575 209195008 50210 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 51073 50210 206 16 0 50514 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 204292 [startup+180.107 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14041 /proc/meminfo: memFree=1221600/2055920 swapFree=4181380/4192956 [pid=14041] ppid=14039 vsize=216808 CPUtime=180.04 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 53318 0 0 0 17976 28 0 0 25 0 1 0 204851575 222011392 53289 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 54202 53289 206 16 0 53643 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 216808 [startup+190.113 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14041 /proc/meminfo: memFree=1207776/2055920 swapFree=4181380/4192956 [pid=14041] ppid=14039 vsize=230488 CPUtime=190.04 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 56754 0 0 0 18974 30 0 0 25 0 1 0 204851575 236019712 56725 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134531523 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 57622 56725 206 16 0 57063 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 230488 [startup+200.119 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14041 /proc/meminfo: memFree=1194976/2055920 swapFree=4181380/4192956 [pid=14041] ppid=14039 vsize=243224 CPUtime=200.05 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 59943 0 0 0 19973 32 0 0 25 0 1 0 204851575 249061376 59914 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 60806 59914 206 16 0 60247 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 243224 [startup+210.125 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14041 /proc/meminfo: memFree=1181088/2055920 swapFree=4181380/4192956 ################ # More data... # ################ Current children cumulated CPU time (s) 1210.4 Current children cumulated vsize (Kb) 1619696 [startup+1220.75 s] /proc/loadavg: 1.00 1.00 1.00 2/64 14043 /proc/meminfo: memFree=16224/2055920 swapFree=4181336/4192956 [pid=14041] ppid=14039 vsize=1630108 CPUtime=1220.41 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 406368 0 0 0 121771 270 0 0 25 0 1 0 204851575 1669230592 406339 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 407527 406339 206 16 0 406968 0 Current children cumulated CPU time (s) 1220.41 Current children cumulated vsize (Kb) 1630108 [startup+1230.76 s] /proc/loadavg: 1.00 1.00 1.00 2/64 14043 /proc/meminfo: memFree=15968/2055920 swapFree=4181336/4192956 [pid=14041] ppid=14039 vsize=1641212 CPUtime=1230.41 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 409123 0 0 0 122770 271 0 0 25 0 1 0 204851575 1680601088 409094 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 410303 409094 206 16 0 409744 0 Current children cumulated CPU time (s) 1230.41 Current children cumulated vsize (Kb) 1641212 [startup+1240.76 s] /proc/loadavg: 1.00 1.00 1.00 2/64 14043 /proc/meminfo: memFree=15008/2055920 swapFree=4181336/4192956 [pid=14041] ppid=14039 vsize=1651324 CPUtime=1240.42 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 411667 0 0 0 123769 273 0 0 25 0 1 0 204851575 1690955776 411638 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 412831 411638 206 16 0 412272 0 Current children cumulated CPU time (s) 1240.42 Current children cumulated vsize (Kb) 1651324 [startup+1250.77 s] /proc/loadavg: 1.00 1.00 1.00 2/64 14043 /proc/meminfo: memFree=15968/2055920 swapFree=4181336/4192956 [pid=14041] ppid=14039 vsize=1661180 CPUtime=1250.42 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 414125 0 0 0 124767 275 0 0 25 0 1 0 204851575 1701048320 414096 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 415295 414096 206 16 0 414736 0 Current children cumulated CPU time (s) 1250.42 Current children cumulated vsize (Kb) 1661180 [startup+1260.77 s] /proc/loadavg: 1.00 1.00 1.00 2/64 14043 /proc/meminfo: memFree=16160/2055920 swapFree=4181336/4192956 [pid=14041] ppid=14039 vsize=1671752 CPUtime=1260.42 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 416757 0 0 0 125765 277 0 0 25 0 1 0 204851575 1711874048 416728 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 417938 416728 206 16 0 417379 0 Current children cumulated CPU time (s) 1260.42 Current children cumulated vsize (Kb) 1671752 [startup+1270.78 s] /proc/loadavg: 1.00 1.00 1.00 2/64 14043 /proc/meminfo: memFree=14880/2055920 swapFree=4181336/4192956 [pid=14041] ppid=14039 vsize=1682164 CPUtime=1270.43 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 419368 0 0 0 126763 280 0 0 25 0 1 0 204851575 1722535936 419339 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 420541 419339 206 16 0 419982 0 Current children cumulated CPU time (s) 1270.43 Current children cumulated vsize (Kb) 1682164 [startup+1280.79 s] /proc/loadavg: 1.00 1.00 1.00 2/64 14043 /proc/meminfo: memFree=15328/2055920 swapFree=4181336/4192956 [pid=14041] ppid=14039 vsize=1694040 CPUtime=1280.43 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 422331 0 0 0 127761 282 0 0 25 0 1 0 204851575 1734696960 422302 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 423510 422302 206 16 0 422951 0 Current children cumulated CPU time (s) 1280.43 Current children cumulated vsize (Kb) 1694040 [startup+1290.79 s] /proc/loadavg: 1.00 1.00 1.00 2/64 14043 /proc/meminfo: memFree=15200/2055920 swapFree=4181336/4192956 [pid=14041] ppid=14039 vsize=1704868 CPUtime=1290.43 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 425045 0 0 0 128759 284 0 0 25 0 1 0 204851575 1745784832 425016 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 426217 425016 206 16 0 425658 0 Current children cumulated CPU time (s) 1290.43 Current children cumulated vsize (Kb) 1704868 [startup+1300.8 s] /proc/loadavg: 1.00 1.00 1.00 2/64 14043 /proc/meminfo: memFree=15008/2055920 swapFree=4181336/4192956 [pid=14041] ppid=14039 vsize=1715904 CPUtime=1300.43 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 427790 0 0 0 129757 286 0 0 25 0 1 0 204851575 1757085696 427761 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8413535 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 428976 427761 206 16 0 428417 0 Current children cumulated CPU time (s) 1300.43 Current children cumulated vsize (Kb) 1715904 [startup+1310.81 s] /proc/loadavg: 1.00 1.00 1.00 2/64 14043 /proc/meminfo: memFree=15008/2055920 swapFree=4181336/4192956 [pid=14041] ppid=14039 vsize=1726632 CPUtime=1310.44 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 430488 0 0 0 130756 288 0 0 25 0 1 0 204851575 1768071168 430459 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 431658 430459 206 16 0 431099 0 Current children cumulated CPU time (s) 1310.44 Current children cumulated vsize (Kb) 1726632 [startup+1320.81 s] /proc/loadavg: 1.00 1.00 1.00 2/64 14043 /proc/meminfo: memFree=14880/2055920 swapFree=4181336/4192956 [pid=14041] ppid=14039 vsize=1737840 CPUtime=1320.44 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 433240 0 0 0 131754 290 0 0 25 0 1 0 204851575 1779548160 433211 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8418253 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 434460 433211 206 16 0 433901 0 Current children cumulated CPU time (s) 1320.44 Current children cumulated vsize (Kb) 1737840 [startup+1330.82 s] /proc/loadavg: 1.00 1.00 1.00 2/64 14043 /proc/meminfo: memFree=14944/2055920 swapFree=4181336/4192956 [pid=14041] ppid=14039 vsize=1749960 CPUtime=1330.45 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 436285 0 0 0 132753 292 0 0 25 0 1 0 204851575 1791959040 436256 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8413535 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 437490 436256 206 16 0 436931 0 Current children cumulated CPU time (s) 1330.45 Current children cumulated vsize (Kb) 1749960 [startup+1340.82 s] /proc/loadavg: 1.00 1.00 1.00 2/64 14043 /proc/meminfo: memFree=15968/2055920 swapFree=4181336/4192956 [pid=14041] ppid=14039 vsize=1761284 CPUtime=1340.45 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 439107 0 0 0 133750 295 0 0 25 0 1 0 204851575 1803554816 439078 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527731 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 440321 439078 206 16 0 439762 0 Current children cumulated CPU time (s) 1340.45 Current children cumulated vsize (Kb) 1761284 [startup+1350.83 s] /proc/loadavg: 1.00 1.00 1.00 2/64 14043 /proc/meminfo: memFree=15904/2055920 swapFree=4181336/4192956 [pid=14041] ppid=14039 vsize=1772132 CPUtime=1350.46 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 441817 0 0 0 134748 298 0 0 25 0 1 0 204851575 1814663168 441788 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 443033 441788 206 16 0 442474 0 Current children cumulated CPU time (s) 1350.46 Current children cumulated vsize (Kb) 1772132 [startup+1360.84 s] /proc/loadavg: 1.00 1.00 1.00 2/64 14043 /proc/meminfo: memFree=16032/2055920 swapFree=4181336/4192956 [pid=14041] ppid=14039 vsize=1784176 CPUtime=1360.45 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 444838 0 0 0 135745 300 0 0 25 0 1 0 204851575 1826996224 444809 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 446044 444809 206 16 0 445485 0 Current children cumulated CPU time (s) 1360.45 Current children cumulated vsize (Kb) 1784176 [startup+1370.84 s] /proc/loadavg: 1.00 1.00 1.00 2/64 14043 /proc/meminfo: memFree=15392/2055920 swapFree=4181336/4192956 [pid=14041] ppid=14039 vsize=1794016 CPUtime=1370.46 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 447301 0 0 0 136744 302 0 0 25 0 1 0 204851575 1837072384 447272 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528590 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 448504 447272 206 16 0 447945 0 Current children cumulated CPU time (s) 1370.46 Current children cumulated vsize (Kb) 1794016 [startup+1380.85 s] /proc/loadavg: 1.00 1.00 1.00 2/64 14043 /proc/meminfo: memFree=15584/2055920 swapFree=4181336/4192956 [pid=14041] ppid=14039 vsize=1801492 CPUtime=1380.47 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 449184 0 0 0 137744 303 0 0 25 0 1 0 204851575 1844727808 449155 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 450373 449155 206 16 0 449814 0 Current children cumulated CPU time (s) 1380.47 Current children cumulated vsize (Kb) 1801492 [startup+1390.86 s] /proc/loadavg: 1.00 1.00 1.00 2/64 14043 /proc/meminfo: memFree=16288/2055920 swapFree=4181336/4192956 [pid=14041] ppid=14039 vsize=1810084 CPUtime=1390.47 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 451323 0 0 0 138742 305 0 0 25 0 1 0 204851575 1853526016 451294 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 452521 451294 206 16 0 451962 0 Current children cumulated CPU time (s) 1390.47 Current children cumulated vsize (Kb) 1810084 [startup+1400.86 s] /proc/loadavg: 1.00 1.00 1.00 2/64 14043 /proc/meminfo: memFree=15392/2055920 swapFree=4181336/4192956 [pid=14041] ppid=14039 vsize=1818712 CPUtime=1400.47 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 453486 0 0 0 139741 306 0 0 25 0 1 0 204851575 1862361088 453457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 454678 453457 206 16 0 454119 0 Current children cumulated CPU time (s) 1400.47 Current children cumulated vsize (Kb) 1818712 [startup+1410.87 s] /proc/loadavg: 1.00 1.00 1.00 2/64 14043 /proc/meminfo: memFree=14880/2055920 swapFree=4181336/4192956 [pid=14041] ppid=14039 vsize=1826932 CPUtime=1410.47 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 455533 0 0 0 140740 307 0 0 25 0 1 0 204851575 1870778368 455504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 456733 455504 206 16 0 456174 0 Current children cumulated CPU time (s) 1410.47 Current children cumulated vsize (Kb) 1826932 [startup+1420.87 s] /proc/loadavg: 1.00 1.00 1.00 2/64 14043 /proc/meminfo: memFree=15584/2055920 swapFree=4181336/4192956 [pid=14041] ppid=14039 vsize=1835332 CPUtime=1420.48 /proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 457658 0 0 0 141739 309 0 0 25 0 1 0 204851575 1879379968 457629 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517497 0 0 4096 0 0 0 0 17 1 0 0 /proc/14041/statm: 458833 457629 206 16 0 458274 0 Current children cumulated CPU time (s) 1420.48 Current children cumulated vsize (Kb) 1835332 Child ended because it received signal 6 (SIGABRT) Real time (s): 1429.62 CPU time (s): 1429.22 CPU user time (s): 1425.84 CPU system time (s): 3.38349 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (Kb): 1835332 The end
Begin job on node11 on Sun Jun 4 03:31:30 UTC 2006 FILE ID= 37921-1149391890 PBS_JOBID= 313485 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node11/37921-1149391890/instance-37921-1149391890.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-37921-1149391890 -o ROOT/results/node11/solver-37921-1149391890 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node11/37921-1149391890/instance-37921-1149391890.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 13c1b3915f4d316b882a7e551b1f0496 RANDOM SEED= 519223457 /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.222 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 : 5931.00 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.222 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: 1434088 kB Buffers: 29040 kB Cached: 520132 kB SwapCached: 3260 kB Active: 126604 kB Inactive: 431240 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1434088 kB SwapTotal: 4192956 kB SwapFree: 4181380 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14740 kB Slab: 49912 kB Committed_AS: 409760 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node11 on Sun Jun 4 03:55:20 UTC 2006