Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.66 | 1801.16 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb |
MD5SUM | f8f4f876e372c51b5109e7995e83ce5e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 487 |
Best CPU time to get the best result obtained on this benchmark | 1800.7 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 443 |
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 | 492823 |
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 | 492823 |
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node51/41641-1149388966/instance-41641-1149388966.opb ...... 5.58 c done parsing opb. 5.58 o 9300 5.62 o 9266 5.69 o 9215 5.74 o 9164 5.78 o 9155 83.14 o 9150 83.22 o 9136 91.31 o 9130 99.71 o 9108 124.44 o 9021 155.57 o 8967 184.04 o 8943 405.21 o 8854 422.05 o 8847 1526.59 o 8287
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/node51/watcher-41641-1149388966 -o ROOT/results/node51/solver-41641-1149388966 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node51/41641-1149388966/instance-41641-1149388966.opb 612511294 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 22290 /proc/meminfo: memFree=1665736/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=2340 CPUtime=0 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 223 0 0 0 0 0 0 0 18 0 1 0 204563871 2396160 207 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 585 209 90 232 0 350 0 [startup+10.0031 s] /proc/loadavg: 0.93 0.98 0.99 2/64 22290 /proc/meminfo: memFree=1621448/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=55140 CPUtime=9.99 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 17390 0 0 0 944 55 0 0 25 0 1 0 204563871 56463360 11199 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 13785 11199 108 232 0 13550 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 55140 [startup+20.009 s] /proc/loadavg: 0.94 0.98 0.99 2/64 22290 /proc/meminfo: memFree=1617864/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=73504 CPUtime=19.99 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 18311 0 0 0 1900 99 0 0 25 0 1 0 204563871 75268096 12120 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 18376 12120 108 232 0 18141 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 73504 [startup+30.0149 s] /proc/loadavg: 0.95 0.98 0.99 2/64 22290 /proc/meminfo: memFree=1615304/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=73900 CPUtime=29.99 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 18974 0 0 0 2883 116 0 0 25 0 1 0 204563871 75673600 12783 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 18475 12783 108 232 0 18240 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 73900 [startup+40.0208 s] /proc/loadavg: 0.96 0.98 0.99 2/64 22290 /proc/meminfo: memFree=1612616/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=74164 CPUtime=40 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 19645 0 0 0 3865 135 0 0 25 0 1 0 204563871 75943936 13454 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 18541 13454 108 232 0 18306 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 74164 [startup+50.0267 s] /proc/loadavg: 0.96 0.98 0.99 2/64 22290 /proc/meminfo: memFree=1609224/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=75200 CPUtime=50 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 20500 0 0 0 4848 152 0 0 25 0 1 0 204563871 77004800 14309 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 18800 14309 108 232 0 18565 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 75200 [startup+60.0326 s] /proc/loadavg: 0.97 0.98 0.99 2/64 22290 /proc/meminfo: memFree=1606024/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=76248 CPUtime=60.01 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 21307 0 0 0 5830 171 0 0 25 0 1 0 204563871 78077952 15116 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 19062 15116 108 232 0 18827 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 76248 [startup+70.0396 s] /proc/loadavg: 0.97 0.98 0.99 2/64 22290 /proc/meminfo: memFree=1603016/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=77160 CPUtime=70.01 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 22061 0 0 0 6813 188 0 0 25 0 1 0 204563871 79011840 15870 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 19290 15870 108 232 0 19055 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 77160 [startup+80.0455 s] /proc/loadavg: 0.98 0.98 0.99 2/64 22290 /proc/meminfo: memFree=1600072/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=77820 CPUtime=80.01 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 22795 0 0 0 7796 205 0 0 25 0 1 0 204563871 79687680 16604 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134594604 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 19455 16604 108 232 0 19220 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 77820 [startup+90.0514 s] /proc/loadavg: 0.98 0.98 0.99 2/64 22290 /proc/meminfo: memFree=1598536/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=78808 CPUtime=90.01 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 23168 0 0 0 8738 263 0 0 25 0 1 0 204563871 80699392 16977 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 19702 16977 108 232 0 19467 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 78808 [startup+100.057 s] /proc/loadavg: 0.98 0.98 0.99 2/64 22290 /proc/meminfo: memFree=1597832/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=79544 CPUtime=100.02 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 23357 0 0 0 9693 309 0 0 25 0 1 0 204563871 81453056 17166 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 19886 17166 108 232 0 19651 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 79544 [startup+110.063 s] /proc/loadavg: 0.98 0.98 0.99 2/64 22290 /proc/meminfo: memFree=1597640/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=79676 CPUtime=110.02 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 23401 0 0 0 10650 352 0 0 25 0 1 0 204563871 81588224 17210 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 19919 17210 108 232 0 19684 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 79676 [startup+120.069 s] /proc/loadavg: 0.99 0.98 0.99 2/64 22290 /proc/meminfo: memFree=1596872/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=80456 CPUtime=120.03 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 23583 0 0 0 11586 417 0 0 25 0 1 0 204563871 82386944 17392 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 20114 17392 108 232 0 19879 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 80456 [startup+130.075 s] /proc/loadavg: 0.99 0.98 0.99 2/64 22290 /proc/meminfo: memFree=1596488/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=80796 CPUtime=130.03 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 23672 0 0 0 12527 476 0 0 25 0 1 0 204563871 82735104 17481 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 20199 17481 108 232 0 19964 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 80796 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 22290 /proc/meminfo: memFree=1596424/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=80796 CPUtime=140.03 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 23693 0 0 0 13506 497 0 0 25 0 1 0 204563871 82735104 17502 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 20199 17502 108 232 0 19964 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 80796 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.99 2/64 22290 /proc/meminfo: memFree=1596232/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=81060 CPUtime=150.04 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 23739 0 0 0 14482 522 0 0 25 0 1 0 204563871 83005440 17548 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 20265 17548 108 232 0 20030 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 81060 [startup+160.092 s] /proc/loadavg: 0.99 0.98 0.99 2/64 22290 /proc/meminfo: memFree=1595848/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=81312 CPUtime=160.04 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 23834 0 0 0 15452 552 0 0 25 0 1 0 204563871 83263488 17643 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 20328 17643 108 232 0 20093 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 81312 [startup+170.098 s] /proc/loadavg: 0.99 0.98 0.99 2/64 22290 /proc/meminfo: memFree=1595528/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=81708 CPUtime=170.04 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 23917 0 0 0 16396 608 0 0 25 0 1 0 204563871 83668992 17726 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 20427 17726 108 232 0 20192 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 81708 [startup+180.104 s] /proc/loadavg: 0.99 0.98 0.99 2/64 22290 /proc/meminfo: memFree=1595080/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=82104 CPUtime=180.04 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 24024 0 0 0 17334 670 0 0 25 0 1 0 204563871 84074496 17833 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 20526 17833 108 232 0 20291 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 82104 [startup+190.111 s] /proc/loadavg: 0.99 0.98 0.99 2/64 22290 /proc/meminfo: memFree=1594824/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=82304 CPUtime=190.05 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 24082 0 0 0 18292 713 0 0 25 0 1 0 204563871 84279296 17891 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 20576 17891 108 232 0 20341 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 82304 [startup+200.115 s] /proc/loadavg: 0.99 0.98 0.99 2/64 22290 /proc/meminfo: memFree=1594440/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=82680 CPUtime=200.06 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 24183 0 0 0 19245 761 0 0 25 0 1 0 204563871 84664320 17992 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 20670 17992 108 232 0 20435 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 82680 [startup+210.121 s] /proc/loadavg: 0.99 0.98 0.99 2/64 22290 /proc/meminfo: memFree=1593992/2055920 swapFree=4181388/4192956 ################ # More data... # ################ /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 28415 0 0 0 170450 7705 0 0 25 0 1 0 204563871 99414016 22224 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 24271 22224 108 232 0 24036 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 97084 [startup+1783.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22485 /proc/meminfo: memFree=1577168/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=97148 CPUtime=1782.55 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 28421 0 0 0 170549 7706 0 0 25 0 1 0 204563871 99479552 22230 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 24287 22230 108 232 0 24052 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 97148 [startup+1784.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22485 /proc/meminfo: memFree=1577168/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=97504 CPUtime=1783.55 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 28434 0 0 0 170641 7714 0 0 25 0 1 0 204563871 99844096 22243 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559025 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 24376 22243 108 232 0 24141 0 Current children cumulated CPU time (s) 1783.55 Current children cumulated vsize (Kb) 97504 [startup+1785.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22485 /proc/meminfo: memFree=1577168/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=97504 CPUtime=1784.56 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 28434 0 0 0 170740 7716 0 0 25 0 1 0 204563871 99844096 22243 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 24376 22243 108 232 0 24141 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 97504 [startup+1786.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22485 /proc/meminfo: memFree=1577168/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=97504 CPUtime=1785.56 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 28434 0 0 0 170837 7719 0 0 25 0 1 0 204563871 99844096 22243 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 24376 22243 108 232 0 24141 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (Kb) 97504 [startup+1787.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22485 /proc/meminfo: memFree=1577168/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=97504 CPUtime=1786.56 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 28435 0 0 0 170936 7720 0 0 25 0 1 0 204563871 99844096 22244 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 24376 22244 108 232 0 24141 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 97504 [startup+1788.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22485 /proc/meminfo: memFree=1577168/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=97504 CPUtime=1787.57 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 28435 0 0 0 171034 7723 0 0 25 0 1 0 204563871 99844096 22244 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 24376 22244 108 232 0 24141 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 97504 [startup+1789.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22485 /proc/meminfo: memFree=1577168/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=97504 CPUtime=1788.57 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 28435 0 0 0 171133 7724 0 0 25 0 1 0 204563871 99844096 22244 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 24376 22244 108 232 0 24141 0 Current children cumulated CPU time (s) 1788.57 Current children cumulated vsize (Kb) 97504 [startup+1790.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22485 /proc/meminfo: memFree=1577168/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=97504 CPUtime=1789.58 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 28435 0 0 0 171231 7727 0 0 25 0 1 0 204563871 99844096 22244 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 24376 22244 108 232 0 24141 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 97504 [startup+1791.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22485 /proc/meminfo: memFree=1577168/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=97504 CPUtime=1790.58 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 28435 0 0 0 171329 7729 0 0 25 0 1 0 204563871 99844096 22244 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 24376 22244 108 232 0 24141 0 Current children cumulated CPU time (s) 1790.58 Current children cumulated vsize (Kb) 97504 [startup+1792.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22485 /proc/meminfo: memFree=1577104/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=97504 CPUtime=1791.59 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 28435 0 0 0 171427 7732 0 0 25 0 1 0 204563871 99844096 22244 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 24376 22244 108 232 0 24141 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 97504 [startup+1793.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22485 /proc/meminfo: memFree=1577104/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=97504 CPUtime=1792.59 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 28435 0 0 0 171524 7735 0 0 25 0 1 0 204563871 99844096 22244 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 24376 22244 108 232 0 24141 0 Current children cumulated CPU time (s) 1792.59 Current children cumulated vsize (Kb) 97504 [startup+1794.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22485 /proc/meminfo: memFree=1577104/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=97504 CPUtime=1793.59 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 28435 0 0 0 171622 7737 0 0 25 0 1 0 204563871 99844096 22244 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 24376 22244 108 232 0 24141 0 Current children cumulated CPU time (s) 1793.59 Current children cumulated vsize (Kb) 97504 [startup+1795.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22485 /proc/meminfo: memFree=1577104/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=97504 CPUtime=1794.6 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 28435 0 0 0 171720 7740 0 0 25 0 1 0 204563871 99844096 22244 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 24376 22244 108 232 0 24141 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 97504 [startup+1796.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22485 /proc/meminfo: memFree=1577104/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=97504 CPUtime=1795.61 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 28435 0 0 0 171818 7743 0 0 25 0 1 0 204563871 99844096 22244 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 24376 22244 108 232 0 24141 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 97504 [startup+1797.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22485 /proc/meminfo: memFree=1577104/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=97504 CPUtime=1796.61 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 28435 0 0 0 171915 7746 0 0 25 0 1 0 204563871 99844096 22244 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 24376 22244 108 232 0 24141 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 97504 [startup+1798.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22485 /proc/meminfo: memFree=1577104/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=97504 CPUtime=1797.62 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 28435 0 0 0 172013 7749 0 0 25 0 1 0 204563871 99844096 22244 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 24376 22244 108 232 0 24141 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (Kb) 97504 [startup+1799.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22485 /proc/meminfo: memFree=1577104/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=97504 CPUtime=1798.62 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 28435 0 0 0 172110 7752 0 0 25 0 1 0 204563871 99844096 22244 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 24376 22244 108 232 0 24141 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 97504 [startup+1800.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22485 /proc/meminfo: memFree=1577104/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=97504 CPUtime=1799.63 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 28435 0 0 0 172205 7758 0 0 25 0 1 0 204563871 99844096 22244 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134548441 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 24376 22244 108 232 0 24141 0 Current children cumulated CPU time (s) 1799.63 Current children cumulated vsize (Kb) 97504 [startup+1801.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22485 /proc/meminfo: memFree=1577104/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=97504 CPUtime=1800.63 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 28436 0 0 0 172303 7760 0 0 25 0 1 0 204563871 99844096 22245 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 24376 22245 108 232 0 24141 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 97504 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 22485 /proc/meminfo: memFree=1577104/2055920 swapFree=4181388/4192956 [pid=22290] ppid=22288 vsize=97504 CPUtime=1800.63 /proc/22290/stat : 22290 (PBS4L) R 22288 22290 22244 0 -1 4194304 28436 0 0 0 172303 7760 0 0 25 0 1 0 204563871 99844096 22245 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22290/statm: 24376 22245 108 232 0 24141 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 97504 Sending SIGTERM to -22290 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.16 CPU time (s): 1800.66 CPU user time (s): 1723.04 CPU system time (s): 77.6222 CPU usage (%): 99.972 Max. virtual memory (cumulated for all children) (Kb): 97504 The end
Begin job on node51 on Sun Jun 4 02:42:46 UTC 2006 FILE ID= 41641-1149388966 PBS_JOBID= 313346 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node51/41641-1149388966/instance-41641-1149388966.opb 612511294 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-41641-1149388966 -o ROOT/results/node51/solver-41641-1149388966 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node51/41641-1149388966/instance-41641-1149388966.opb 612511294 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= f8f4f876e372c51b5109e7995e83ce5e RANDOM SEED= 612511294 /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.232 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.232 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: 1665880 kB Buffers: 27360 kB Cached: 299528 kB SwapCached: 3252 kB Active: 109320 kB Inactive: 226216 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1665880 kB SwapTotal: 4192956 kB SwapFree: 4181388 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14916 kB Slab: 40532 kB Committed_AS: 394220 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node51 on Sun Jun 4 03:12:47 UTC 2006