Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.59 | 1801.22 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.00.opb |
MD5SUM | 9e8d546df5cfe52cfb5a29d8ae802e41 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 34 |
Best CPU time to get the best result obtained on this benchmark | 222.519 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 34 |
Optimality of the best value was proved | YES |
Number of variables | 8601 |
Total number of constraints | 386810 |
Number of constraints which are clauses | 384742 |
Number of constraints which are cardinality constraints (but not clauses) | 2068 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 94 |
Number of terms in the objective function | 94 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 94 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 92 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 186 |
Number of bits of the biggest sum of numbers | 8 |
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/node59/50584-1154117048/instance-50584-1154117048.opb ...... 4.06 c done parsing opb. 4.06 o 94 4.06 o 93 4.07 o 92 4.08 o 91 4.08 o 90 4.09 o 89 4.09 o 88 4.10 o 87 4.11 o 86 4.11 o 85 4.12 o 84 4.13 o 83 4.13 o 82 4.14 o 81 4.15 o 80 4.15 o 79 4.16 o 78 4.17 o 77 4.17 o 76 4.18 o 75 4.18 o 74 4.19 o 73 4.20 o 72 4.20 o 71 4.21 o 70 4.22 o 69 4.22 o 68 4.23 o 67 4.24 o 66 4.24 o 65 4.25 o 64 4.26 o 63 4.26 o 62 4.27 o 61 4.27 o 60 4.28 o 59 4.29 o 58 4.29 o 57 4.30 o 56 4.31 o 55 4.33 o 54 4.68 o 53 4.84 o 52 5.26 o 51 5.59 o 50 14.40 o 49 18.05 o 48 19.83 o 47 26.19 o 45 26.24 o 44 26.28 o 43 27.32 o 42 27.41 o 41 33.94 o 40 646.89 o 39 1056.73 o 38
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 runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node59/watcher-50584-1154117048 -o ROOT/results/node59/solver-50584-1154117048 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node59/50584-1154117048/instance-50584-1154117048.opb 650961186 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=897128/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=2208 CPUtime=0 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 162 0 0 0 0 0 0 0 18 0 1 0 158574683 2260992 145 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 552 146 90 232 0 317 0 [startup+10.0027 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=866232/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=37220 CPUtime=9.98 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 10978 0 0 0 983 15 0 0 25 0 1 0 158574683 38113280 7885 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 9305 7885 108 232 0 9070 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 37220 [startup+20.0096 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=860792/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=54124 CPUtime=19.99 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 12356 0 0 0 1971 28 0 0 25 0 1 0 158574683 55422976 9263 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 13531 9263 108 232 0 13296 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 54124 [startup+30.0165 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=857976/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=54380 CPUtime=30 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 13089 0 0 0 2961 39 0 0 25 0 1 0 158574683 55685120 9996 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 13595 9996 108 232 0 13360 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 54380 [startup+40.0225 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=857016/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=54532 CPUtime=39.99 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 13321 0 0 0 3951 48 0 0 25 0 1 0 158574683 55840768 10228 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 13633 10228 108 232 0 13398 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 54532 [startup+50.0294 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=854776/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=54792 CPUtime=50 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 13905 0 0 0 4945 55 0 0 25 0 1 0 158574683 56107008 10812 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 13698 10812 108 232 0 13463 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 54792 [startup+60.0353 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=852664/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=54956 CPUtime=60 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 14432 0 0 0 5939 61 0 0 25 0 1 0 158574683 56274944 11339 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 13739 11339 108 232 0 13504 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 54956 [startup+70.0422 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=850296/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=55268 CPUtime=70 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 15013 0 0 0 6932 68 0 0 25 0 1 0 158574683 56594432 11920 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 13817 11920 108 232 0 13582 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 55268 [startup+80.0482 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=848120/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=55428 CPUtime=80.01 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 15564 0 0 0 7925 76 0 0 25 0 1 0 158574683 56758272 12471 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 13857 12471 108 232 0 13622 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 55428 [startup+90.0541 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=846264/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=55636 CPUtime=90.01 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 16023 0 0 0 8919 82 0 0 25 0 1 0 158574683 56971264 12930 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 13909 12930 108 232 0 13674 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 55636 [startup+100.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=844344/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=88484 CPUtime=100.01 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 16509 0 0 0 9914 87 0 0 25 0 1 0 158574683 90607616 13416 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134585807 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 22121 13416 108 232 0 21886 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 88484 [startup+110.066 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=842680/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=88688 CPUtime=110.02 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 16921 0 0 0 10909 93 0 0 25 0 1 0 158574683 90816512 13828 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 22172 13828 108 232 0 21937 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 88688 [startup+120.073 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=840952/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=88960 CPUtime=120.02 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 17361 0 0 0 11903 99 0 0 25 0 1 0 158574683 91095040 14268 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 22240 14268 108 232 0 22005 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 88960 [startup+130.079 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=838392/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=89136 CPUtime=130.02 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 18018 0 0 0 12897 105 0 0 25 0 1 0 158574683 91275264 14925 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552434 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 22284 14925 108 232 0 22049 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 89136 [startup+140.085 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=836792/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=89408 CPUtime=140.03 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 18431 0 0 0 13892 111 0 0 25 0 1 0 158574683 91553792 15338 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 22352 15338 108 232 0 22117 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 89408 [startup+150.091 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=835512/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=89600 CPUtime=150.03 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 18748 0 0 0 14887 116 0 0 25 0 1 0 158574683 91750400 15655 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550808 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 22400 15655 108 232 0 22165 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 89600 [startup+160.097 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=833400/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=89856 CPUtime=160.02 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 19276 0 0 0 15881 121 0 0 25 0 1 0 158574683 92012544 16183 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 22464 16183 108 232 0 22229 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 89856 [startup+170.102 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=831544/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=90080 CPUtime=170.03 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 19743 0 0 0 16876 127 0 0 25 0 1 0 158574683 92241920 16650 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 22520 16650 108 232 0 22285 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 90080 [startup+180.108 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=830072/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=90200 CPUtime=180.03 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 20101 0 0 0 17871 132 0 0 25 0 1 0 158574683 92364800 17008 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 22550 17008 108 232 0 22315 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 90200 [startup+190.114 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=827768/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=90424 CPUtime=190.04 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 20675 0 0 0 18865 139 0 0 25 0 1 0 158574683 92594176 17582 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 22606 17582 108 232 0 22371 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 90424 [startup+200.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=827128/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=90424 CPUtime=200.04 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 20835 0 0 0 19860 144 0 0 25 0 1 0 158574683 92594176 17742 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 22606 17742 108 232 0 22371 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 90424 [startup+210.126 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 ################ # More data... # ################ /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51976 0 0 0 177396 751 0 0 25 0 1 0 158574683 320856064 45744 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 78334 45744 108 232 0 78099 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (Kb) 313336 [startup+1783.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=714552/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=313336 CPUtime=1782.47 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51977 0 0 0 177496 751 0 0 25 0 1 0 158574683 320856064 45745 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 78334 45745 108 232 0 78099 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (Kb) 313336 [startup+1784.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=714552/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=313336 CPUtime=1783.47 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51978 0 0 0 177596 751 0 0 25 0 1 0 158574683 320856064 45746 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 78334 45746 108 232 0 78099 0 Current children cumulated CPU time (s) 1783.47 Current children cumulated vsize (Kb) 313336 [startup+1785.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=714552/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=313336 CPUtime=1784.48 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51979 0 0 0 177696 752 0 0 25 0 1 0 158574683 320856064 45747 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552627 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 78334 45747 108 232 0 78099 0 Current children cumulated CPU time (s) 1784.48 Current children cumulated vsize (Kb) 313336 [startup+1786.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=714552/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=313336 CPUtime=1785.48 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51981 0 0 0 177796 752 0 0 25 0 1 0 158574683 320856064 45749 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 78334 45749 108 232 0 78099 0 Current children cumulated CPU time (s) 1785.48 Current children cumulated vsize (Kb) 313336 [startup+1787.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=714552/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=313336 CPUtime=1786.48 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51981 0 0 0 177896 752 0 0 25 0 1 0 158574683 320856064 45749 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550847 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 78334 45749 108 232 0 78099 0 Current children cumulated CPU time (s) 1786.48 Current children cumulated vsize (Kb) 313336 [startup+1788.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=714488/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=313336 CPUtime=1787.49 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51986 0 0 0 177997 752 0 0 25 0 1 0 158574683 320856064 45754 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552011 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 78334 45754 108 232 0 78099 0 Current children cumulated CPU time (s) 1787.49 Current children cumulated vsize (Kb) 313336 [startup+1789.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=714488/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=313336 CPUtime=1788.5 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51987 0 0 0 178097 753 0 0 25 0 1 0 158574683 320856064 45755 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 78334 45755 108 232 0 78099 0 Current children cumulated CPU time (s) 1788.5 Current children cumulated vsize (Kb) 313336 [startup+1790.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=714488/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=313336 CPUtime=1789.5 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51987 0 0 0 178197 753 0 0 25 0 1 0 158574683 320856064 45755 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 78334 45755 108 232 0 78099 0 Current children cumulated CPU time (s) 1789.5 Current children cumulated vsize (Kb) 313336 [startup+1791.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=714488/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=313336 CPUtime=1790.5 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51988 0 0 0 178297 753 0 0 25 0 1 0 158574683 320856064 45756 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 78334 45756 108 232 0 78099 0 Current children cumulated CPU time (s) 1790.5 Current children cumulated vsize (Kb) 313336 [startup+1792.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=714488/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=313336 CPUtime=1791.51 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51989 0 0 0 178397 754 0 0 25 0 1 0 158574683 320856064 45757 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 78334 45757 108 232 0 78099 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (Kb) 313336 [startup+1793.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=714488/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=313336 CPUtime=1792.51 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51989 0 0 0 178497 754 0 0 25 0 1 0 158574683 320856064 45757 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 78334 45757 108 232 0 78099 0 Current children cumulated CPU time (s) 1792.51 Current children cumulated vsize (Kb) 313336 [startup+1794.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=714488/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=313336 CPUtime=1793.52 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51990 0 0 0 178598 754 0 0 25 0 1 0 158574683 320856064 45758 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 78334 45758 108 232 0 78099 0 Current children cumulated CPU time (s) 1793.52 Current children cumulated vsize (Kb) 313336 [startup+1795.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=714488/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=313336 CPUtime=1794.52 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51992 0 0 0 178698 754 0 0 25 0 1 0 158574683 320856064 45760 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 78334 45760 108 232 0 78099 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (Kb) 313336 [startup+1796.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=714424/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=313336 CPUtime=1795.53 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 52012 0 0 0 178798 755 0 0 25 0 1 0 158574683 320856064 45780 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 78334 45780 108 232 0 78099 0 Current children cumulated CPU time (s) 1795.53 Current children cumulated vsize (Kb) 313336 [startup+1797.16 s] /proc/loadavg: 1.00 1.00 1.00 3/64 17657 /proc/meminfo: memFree=714232/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=313336 CPUtime=1796.53 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 52049 0 0 0 178898 755 0 0 25 0 1 0 158574683 320856064 45817 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 78334 45817 108 232 0 78099 0 Current children cumulated CPU time (s) 1796.53 Current children cumulated vsize (Kb) 313336 [startup+1798.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=714104/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=313336 CPUtime=1797.53 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 52083 0 0 0 178998 755 0 0 25 0 1 0 158574683 320856064 45851 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 78334 45851 108 232 0 78099 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (Kb) 313336 [startup+1799.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=714040/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=313336 CPUtime=1798.54 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 52108 0 0 0 179098 756 0 0 25 0 1 0 158574683 320856064 45876 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 78334 45876 108 232 0 78099 0 Current children cumulated CPU time (s) 1798.54 Current children cumulated vsize (Kb) 313336 [startup+1800.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=713912/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=313336 CPUtime=1799.55 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 52137 0 0 0 179199 756 0 0 25 0 1 0 158574683 320856064 45905 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550377 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 78334 45905 108 232 0 78099 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (Kb) 313336 [startup+1801.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=713720/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=313336 CPUtime=1800.55 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 52176 0 0 0 179299 756 0 0 25 0 1 0 158574683 320856064 45944 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 78334 45944 108 232 0 78099 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 313336 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17657 /proc/meminfo: memFree=713720/2055920 swapFree=4182992/4192956 [pid=17657] ppid=17655 vsize=313336 CPUtime=1800.55 /proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 52176 0 0 0 179299 756 0 0 25 0 1 0 158574683 320856064 45944 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17657/statm: 78334 45944 108 232 0 78099 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 313336 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.22 CPU time (s): 1800.59 CPU user time (s): 1793 CPU system time (s): 7.59485 CPU usage (%): 99.9651 Max. virtual memory (cumulated for all children) (Kb): 313336 The end
Begin job on node59 on Fri Jul 28 20:04:09 UTC 2006 FILE ID= 50584-1154117048 PBS_JOBID= 886762 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-unif-100_100.00.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node59/50584-1154117048/instance-50584-1154117048.opb 650961186 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-50584-1154117048 -o ROOT/results/node59/solver-50584-1154117048 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node59/50584-1154117048/instance-50584-1154117048.opb 650961186 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 9e8d546df5cfe52cfb5a29d8ae802e41 RANDOM SEED= 650961186 TIMEOUT= 1800 seconds /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.263 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.263 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: 897400 kB Buffers: 43868 kB Cached: 1030828 kB SwapCached: 3852 kB Active: 258828 kB Inactive: 824520 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 897400 kB SwapTotal: 4192956 kB SwapFree: 4182992 kB Dirty: 192 kB Writeback: 0 kB Mapped: 14756 kB Slab: 61196 kB Committed_AS: 1111588 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node59 on Fri Jul 28 20:34:10 UTC 2006